se -4 - 6 = -5*z. Suppose -5*i + i = -q - 17, 0 = -i + q + 2. Suppose 5*g - 21 + 85 = z*p, 0 = -p - i*g + 2. Does 11 divide p?
True
Suppose -27 = -u - 0*u - 4*b, -3*u + 91 = 2*b. Does 8 divide u?
False
Suppose -5*d = 3*t - 222, 3*d - 4*t - 131 = -21. Does 13 divide (-3)/(-6)*-6 + d?
True
Suppose 5*n + 3*g = 130, 0 = -4*n + 2*g - 7*g + 91. Let v = n - 18. Does 10 divide v?
False
Let y be 2463/4 - (-2)/8. Suppose 2*l - 136 = l + 4*u, -5*l = -4*u - y. Suppose -6*b + b = -l. Is b a multiple of 12?
True
Does 2 divide (22/(-33))/(2/(-6))?
True
Let w = 1 + 6. Let s be (-2)/1 + (0 - w). Is 2 a factor of (-6)/s + (-7)/(-3)?
False
Let b = -14 + 34. Does 6 divide b?
False
Let j(n) = 44*n**2 - 7*n + 7. Let p(h) = -22*h**2 + 3*h - 3. Let k(m) = -2*j(m) - 5*p(m). Let w(i) = i**3 + 3*i**2 - 1. Let v be w(-1). Does 8 divide k(v)?
False
Let d(b) be the second derivative of b**6/360 + b**5/40 + b**4/6 + 3*b. Let r(t) be the third derivative of d(t). Does 6 divide r(7)?
False
Let w = 2 - -2. Let s = 6 - w. Suppose s*j - 46 = -5*q + 62, j = 3*q - 67. Does 8 divide q?
False
Let c = 10 + 7. Let k = c + -1. Suppose 3*m + k = 4*m. Is 6 a factor of m?
False
Let q(p) = -p**3 + 4*p**2 - p + 5. Does 25 divide q(-4)?
False
Let k be (-2)/9 + 4868/36. Suppose 5 = q - 5*w, 3*q - 3*w = -2*q + k. Does 12 divide q?
False
Let n = -34 + 16. Let v = n - -39. Is 6 a factor of v?
False
Suppose -5*t - 23 + 8 = 0. Let d(r) = 6*r**2 + 4*r - 1. Is d(t) a multiple of 12?
False
Let s = -15 + 19. Is 4 a factor of s?
True
Let u = -45 + 95. Is 21 a factor of u?
False
Let f = -17 + -3. Let h = f + 41. Is h a multiple of 6?
False
Suppose -4*x = 2*v + 312, 89 - 4 = -x - 4*v. Is x/(-4) + (-1)/4 a multiple of 19?
True
Let i(u) = -u + 13. Let o be i(7). Let g be 1/(1*2/o). Suppose 2*k + g*k = 25. Is k a multiple of 2?
False
Let j(w) = 4*w**2 - 2*w - 1. Let f = 41 + -12. Suppose -3*c + 2 = -5*n, 3*c + 7 = -5*n + f. Is 7 a factor of j(n)?
False
Suppose 0*x + 2*x + 12 = 0. Let q(p) = -6*p + 3. Is 13 a factor of q(x)?
True
Let n = -1 - -3. Suppose -5*s - 11 = -n*f, 0 = 4*s - 0*s + 4. Suppose 0 = -2*z - 5*l + 27, 4*z - l = f*z + 3. Does 5 divide z?
False
Let c = 292 - -28. Does 40 divide c?
True
Let v(f) = f**3 + 5*f**2 - 3*f + 5. Does 20 divide v(-5)?
True
Let t(f) = 3*f**2 - 5*f + 7. Let d be t(7). Let j(m) = -m + 35. Let v be j(0). Suppose -3*u + d = v. Is u a multiple of 24?
False
Suppose 3*k + 2 = 5. Let w = k - -9. Does 5 divide w?
True
Let t(n) = 62*n**2 - 4*n + 2. Is 4 a factor of t(1)?
True
Let z be ((-1)/(-1))/1*1. Let r(o) = 8*o**2 + o - 1. Let a be r(z). Let n(k) = k**2 - 3*k - 10. Is 14 a factor of n(a)?
False
Suppose 4*a - 131 = -q, 3*a = -4*q + 58 + 50. Is a a multiple of 4?
True
Let x be (-1)/(-3) + (-268)/(-6). Let j = x + 4. Suppose 3*k = 3*t + 5*k - 31, 0 = -5*t - 2*k + j. Is t a multiple of 8?
False
Let i = 26 - 0. Does 13 divide i?
True
Let r be (2 - 95*1)*-1. Does 4 divide (-3)/(-12) + r/12?
True
Let z = 0 + 177. Suppose -z + 13 = -4*i. Does 9 divide i?
False
Suppose -5*l + 438 = 2*d, -3*l + 3*d + 176 = -70. Does 21 divide l?
False
Let i be 0 - (-15)/((-3)/(-1)). Suppose 5*u - i*w - 41 = -1, 5*u - 32 = -3*w. Is u even?
False
Let c = -22 + 47. Let t(g) = g - 7. Let u be t(4). Let i = u + c. Is i a multiple of 11?
True
Suppose 128 = 2*u - 3*o + 2*o, 0 = 4*u - 5*o - 268. Is u a multiple of 31?
True
Suppose 6*c = 12*c - 426. Is c a multiple of 27?
False
Let v = -20 + 42. Let w = v - 8. Is 8 a factor of w?
False
Let x = -8 + 22. Is x a multiple of 9?
False
Let u(j) be the third derivative of j**4/24 + j**3/3 + 3*j**2. Let x = 11 - 4. Does 9 divide u(x)?
True
Suppose -17 + 245 = p. Does 19 divide p?
True
Is (-2)/18*-6*312 a multiple of 27?
False
Suppose 2*o + 8 + 10 = 0. Let n(v) = 243*v - 3. Let j be n(-1). Is 15 a factor of (-2)/(-3) + j/o?
False
Suppose -3*g + 0*g - 2 = 4*p, 4*g = -4*p + 4. Is g a multiple of 2?
True
Let q be 0 + 46*3/(-3). Let p = -21 - q. Suppose -p = -2*l - 3*l. Is l even?
False
Let d(l) = -l + 4. Let n be d(6). Is 6 a factor of 1/(n - 147/(-72))?
True
Let n(i) = 42*i**2 - 3*i + 3. Does 10 divide n(2)?
False
Let k(i) = -8*i - 82. Is 44 a factor of k(-16)?
False
Suppose -4*o + 185 = k, -o + 3*k - 1 = -31. Let y(u) = -16*u**3 + 2*u**2 - u. Let n be y(1). Let t = n + o. Does 10 divide t?
True
Let h = 179 + -95. Is h a multiple of 18?
False
Let q(t) = -9*t**3 - 2*t**2 + 1. Is 4 a factor of q(-1)?
True
Let j(c) = c**3 - 10*c**2 + 13*c - 12. Let l be j(9). Suppose l = 3*n + 3*g, -5*n + g + 20 = -50. Is 5 a factor of n?
False
Suppose -5*h = -9*h + 72. Is h a multiple of 18?
True
Let b = -22 + 9. Let n be (-3)/(3*(-2)/56). Let u = b + n. Does 10 divide u?
False
Let h(f) = f**2 + f + 1. Let q be h(-2). Let a be 1/1 + q + -19. Is 13 a factor of (-10)/a*(-114)/(-4)?
False
Suppose 0*c - 3*c = 0. Is 3 a factor of (5 - c)*(-1 - -2)?
False
Suppose 7*l - 724 - 116 = 0. Does 17 divide l?
False
Suppose 6*b - 628 - 314 = 0. Is 36 a factor of b?
False
Does 27 divide (972/42)/((-1)/7*-1)?
True
Is 4/(-8)*8 - -34 a multiple of 20?
False
Suppose -4*u + 2*u + 6 = 0. Suppose -2*l = -u*x + 200, x + 3*l = 5*x - 266. Is x a multiple of 15?
False
Suppose 2*n = -n. Suppose 4*z - 104 = -n. Is z a multiple of 13?
True
Let k(j) = j**2 + 2*j. Let v be k(-2). Suppose -2*p - 2*x + 45 = 3*p, v = -2*p - 5*x + 18. Is 9 a factor of p?
True
Let c(q) = 3*q - 32. Let w(i) = -5*i + 64. Let l(j) = 7*c(j) + 4*w(j). Let y be l(0). Suppose y = 3*f - 4. Does 6 divide f?
True
Let v be (-10)/(-2)*(0 - -1). Suppose 4*p - v*k - 147 = 0, p = -4*k + 26 + 16. Is 14 a factor of p?
False
Suppose -85 = -6*m + 155. Is m a multiple of 7?
False
Is 12 a factor of 60 - (0 - 0)/(-1)?
True
Let b(c) = -2*c + 1. Does 5 divide b(-4)?
False
Let k = 42 - -29. Is k a multiple of 19?
False
Let o = 2 + -5. Let i = -3 - o. Suppose i = n - 3*y - 31, -137 = -0*n - 5*n - 3*y. Does 14 divide n?
True
Suppose 4*j = -2*p + 80, -3*p + 5*j + 35 = -30. Suppose p = -5*w - 5. Let c(k) = -k**3 - 8*k**2 - 9*k + 8. Is c(w) a multiple of 12?
False
Suppose 0 = -k - 3*i - 11, k - 2*i = -i + 1. Is 1/((-2)/(-38 + k)) a multiple of 10?
True
Let t(o) = -3*o + 1. Suppose -7 = -3*h + 2, -k + 18 = 4*h. Suppose -3*w - k = -w. Is t(w) a multiple of 6?
False
Let s(x) = -x**3 - 2*x**2 - x + 4. Is 6 a factor of s(-2)?
True
Let r = 20 - 13. Let l(k) = -15 + 8*k + k + 12. Does 24 divide l(r)?
False
Is 4/(-10) + (810/25 - -1) a multiple of 5?
False
Suppose -2*r + 44 = -4*q - 4*r, 3*q + 2*r = -32. Let n = 27 + q. Is 6 a factor of n?
False
Suppose -31 = -4*r + 5*j - 0*j, -4*r + j = -51. Let q = 34 - r. Is q a multiple of 10?
True
Let g be 4/(-18) - (-20)/9. Suppose -5*i - 4*v = -306 + 78, v - 93 = -g*i. Is i a multiple of 16?
True
Let r = 1 - -37. Let w = 95 - r. Does 19 divide w?
True
Let t(q) be the second derivative of q**5/20 - q**4/4 + q**3/6 + q**2 + 3*q. Is t(4) a multiple of 10?
False
Let u = -15 + 25. Let b = u + 6. Is 7 a factor of b?
False
Let j(m) = -15*m + 1. Does 23 divide j(-3)?
True
Is (-251)/(-3) + (3 - (-22)/(-6)) a multiple of 13?
False
Suppose 0 = 6*p - 2*p + 76. Let q = p - -10. Let j = q + 19. Is j a multiple of 5?
True
Let w be (-372)/(-3) + 0 + 0. Let t be 2/3 + w/(-6). Let u = 28 + t. Is u a multiple of 8?
True
Let x(m) = -16*m**3 + 50*m**2 + 86*m + 1. Let l(d) = -3*d**3 + 10*d**2 + 17*d. Let f(c) = 11*l(c) - 2*x(c). Is 15 a factor of f(11)?
False
Suppose -4*m + 1336 = 4*u, -2*u = 2*m + 3*m - 1673. Suppose -5*d - 115 = -m. Is 10 a factor of d?
False
Suppose 2*i = -2*z - 2, z + i - 5*i - 14 = 0. Let j = z - -3. Suppose -j*d - 78 + 278 = 0. Is 20 a factor of d?
True
Suppose -r = -t - 4*t + 24, 3*t + 2*r - 17 = 0. Suppose t*u - 5*i - 155 = 0, 3*i + 0*i + 57 = 2*u. Is 8 a factor of u?
False
Let g = 3 - 7. Let x = -19 - g. Does 14 divide (0 + -21)/(x/10)?
True
Let r be 7/3 - (-3)/(-9). Let k = -2 - r. Let g(y) = -2*y - 4. Is g(k) a multiple of 2?
True
Suppose 5*n + 0 = -5. Let b be n - -3 - (1 - -21). Is 0 + -1 - (b + 3) a multiple of 6?
False
Let b(m) = -m**3 + 4*m**2 - m. Let a(t) = -t - 3. Let p be a(-6). Is b(p) even?
True
Let j(k) = k. Is j(7) a multiple of 4?
False
Let c(i) = 3*i**2 - i - 2*i**2 + 5 + 0*i**2. Does 11 divide c(5)?
False
Is ((-644)/70)/(1/(-5)) a multiple of 23?
True
Suppose 6*z - 2*z = 8, -1028 = -4*f + 4*z. Is f a multiple of