True
Suppose z + 0*z = 57. Let i be -24 + (-1 - -3) + 2. Let w = z + i. Does 14 divide w?
False
Suppose 5*g + 5 = 3*w, -w - w + 14 = 2*g. Suppose 9*b - 4*b = -3*f + w, 5*b + 2*f = 0. Is (-9)/b*(-20)/(-3) a multiple of 14?
False
Let t = 1 + 4. Suppose t*v = 1 - 96. Let h = -9 - v. Does 6 divide h?
False
Let o(n) = n**3 + n**2 + n + 4. Let d be o(0). Suppose 2*c - 20 = -5*h, 4*h - d*c - 24 = 20. Does 2 divide h?
True
Let p(w) = w**3 - 6*w**2 - 6*w - 2. Let c be p(7). Let s(i) = i - 2. Let k be s(c). Suppose -n + k*n = 20. Is n a multiple of 6?
False
Let d(h) = -5*h + 12. Let o be d(-10). Let f = -33 + o. Suppose -f = -2*w + a + 33, w - 5*a = 13. Does 18 divide w?
False
Suppose -4*t - 2 = -2*m - 0*m, 5*m + 2*t = 17. Let g(r) be the third derivative of r**4/8 + r**2. Is g(m) a multiple of 7?
False
Let t = 42 + -34. Is t a multiple of 4?
True
Let u(c) = c**2 + 7*c - 4. Let i = 10 + -19. Let z be u(i). Suppose q = -4*s + z, -31 + 5 = -5*q + 2*s. Does 6 divide q?
True
Suppose 5*b - 2*y = 90, 2*b - 5*y = -2*b + 72. Is 18 a factor of b?
True
Let x(m) = 36*m - 13. Is x(3) a multiple of 7?
False
Suppose x - 2*x = 0. Suppose 4*a - a = -k + 102, x = a - 3*k - 34. Does 17 divide a?
True
Let b = 174 - -67. Does 35 divide b?
False
Let b be (-6)/(0 - -3) - -82. Suppose 2*s = -b + 224. Is s a multiple of 24?
True
Let w = 4 + -8. Is (w/(-3))/(2/24) a multiple of 16?
True
Suppose -20 = -6*n + 2*n, -2*x = -3*n + 13. Let a be ((-2)/(-6))/(x/6). Suppose 29 + 21 = a*l. Does 17 divide l?
False
Suppose -3*x + 24 = -3*p, 5*x - 5 = -5*p + x. Is 10 a factor of p - -38 - (3 - 7)?
False
Let g(c) = 24*c**2 - c. Suppose 2*n + 5 = -3*n. Does 25 divide g(n)?
True
Let r(m) = -m**2 - 7*m + 4. Let l be r(-6). Does 23 divide (-1140)/(-25) + 4/l?
True
Let q(m) = m**3 + 4*m - 3*m**2 - 3*m**2 + 0*m**2 + 4 + 0*m**2. Let x be q(4). Is 16 a factor of 24/(0 + (-9)/x)?
True
Let t(m) = -m**2 + 10*m + 8. Let y be t(10). Let l(g) = g**2 - 4*g - 10. Is 4 a factor of l(y)?
False
Suppose 0 = -3*a + 6 + 6. Suppose 4*x - a*y = -4, 2 = 5*x - 0*y + 2*y. Suppose 3*g + 2*g - 55 = x. Does 11 divide g?
True
Let d be (-2)/6 - 28/(-12). Suppose 0 = -5*a + d*n + 2*n - 22, -5*n = a - 13. Does 3 divide (-15)/6*a/1?
False
Let v = -942 + 2503. Let s = v + -1060. Does 14 divide s/12 - 3/(-12)?
True
Suppose y = 4*y + 18. Let m(s) = 11*s**2 - 2*s - 8. Let r(z) = -32*z**2 + 6*z + 23. Let j(u) = y*r(u) - 17*m(u). Is j(-2) a multiple of 11?
True
Let r be (-4)/(5/(10/4)). Suppose 2*f = f + 37. Is f + r/1 + 1 a multiple of 12?
True
Let f = 7 - 13. Let v be ((-2)/f)/(1/3). Suppose 5*k - 61 = -v. Is k a multiple of 12?
True
Let b(y) = -y**3 + 5*y**2 - 3*y - 3. Let j be b(4). Let a be (-9)/(j/(80/(-6))). Suppose -2*p + 4*c + 72 = 0, -2*p - 2*c = -5*p + a. Is p a multiple of 21?
True
Let p(s) = s**2 + 7*s - 13. Let j be p(-9). Suppose t = j*t - 64. Is t a multiple of 16?
True
Is 11 a factor of (1 + -8)/(12/(-132))?
True
Let h(y) = -3*y + 3. Is h(0) even?
False
Suppose -2 = u - 2*z, u = 2*z - 4*z - 18. Let h = 14 + u. Suppose 5*o - 5*n - 45 = 0, -h*o + n + n + 42 = 0. Is 5 a factor of o?
False
Suppose 0 = 3*r - 0*r. Suppose 5*s - 45 = -5*y, 4*y + r*s = -2*s + 28. Does 2 divide y?
False
Let j(c) = c**3 - 2*c**2 - 2*c + 1. Suppose -2*v = -3*v + 3. Let w be j(v). Suppose 3*y = w*y - 22. Is 10 a factor of y?
False
Let q be 10 - (1 + 4/2). Let w = -2 + q. Does 5 divide w?
True
Suppose -y + 72 = 2*y. Suppose -u - 3 = y. Does 6 divide (u - -3)*(-3)/6?
True
Let s(l) = 2*l**3 - 6*l**2 + 4*l + 5. Does 21 divide s(4)?
False
Let u(o) = 8*o + 4. Let p(y) = -7*y - 4. Let z(m) = -7*p(m) - 6*u(m). Is z(4) a multiple of 6?
False
Let z = -13 + 7. Let u = 50 + -66. Let j = z - u. Is 9 a factor of j?
False
Suppose 3*n + n = -u - 15, -9 = 3*u. Let r be (-6)/(-8)*(n - -11). Suppose -r - 14 = -d. Is d a multiple of 8?
False
Suppose 0 = -12*b + 15*b - 432. Is b a multiple of 24?
True
Let m(k) = 32*k + 1. Let q be m(-2). Let d = 95 + q. Is 14 a factor of d?
False
Let b be 47/5 - (-6)/(-15). Suppose 0 = 7*x - b*x + 122. Does 17 divide x?
False
Let r = -12 + 39. Is (-18)/r*87/(-2) a multiple of 11?
False
Suppose 4*w + 2*w = 66. Is 5 a factor of w?
False
Suppose 3*b = 4 + 5. Does 19 divide (b + 17/(-5))*-95?
True
Suppose -3*i = -7*i. Suppose i = 4*k - 43 + 7. Is 3 a factor of k?
True
Let h(c) = c**3 - 5*c**2 + 4*c - 7. Let x(s) = -2*s**3 + 5*s**2 - 5*s + 7. Let z(g) = -3*h(g) - 2*x(g). Let o be z(-5). Let a = 27 - o. Is 7 a factor of a?
False
Suppose 2*t + 5*q = 84, 4*t - q - 190 = -0*q. Let m = -13 + -18. Let i = m + t. Does 8 divide i?
True
Let g(l) = 7*l**3 - 13*l**2 + l - 3. Let h(d) = -10*d**3 + 20*d**2 - 2*d + 4. Let m(b) = 7*g(b) + 5*h(b). Is m(8) a multiple of 12?
False
Let b = 8 + -14. Suppose -36 = 2*g + g. Let u = b - g. Is 3 a factor of u?
True
Let r = -75 - -146. Is r a multiple of 12?
False
Let m(w) = 24*w**2 + 11*w + 19. Does 31 divide m(-2)?
True
Let z be (-16)/20*(-825)/6. Let r = -74 + z. Is 18 a factor of r?
True
Let k = 37 - 7. Does 6 divide k?
True
Suppose 5*o - 18 = 3*i, o + 2 = -5*i - 0. Let f = 15 + i. Is f a multiple of 14?
True
Suppose 4*b - 71 - 143 = -g, 3*b + 3*g - 156 = 0. Does 9 divide b?
True
Let a(g) = -g**3 - 15*g**2 + 22*g - 28. Is a(-17) a multiple of 8?
True
Does 3 divide 4 - -1 - (-5 - -1)?
True
Let m be (-233)/11 - (-6)/33. Suppose 4 = 3*f + 5*r + 81, 2*f - 4*r + 88 = 0. Let s = m - f. Does 13 divide s?
True
Suppose -3*k = 2*s - 54 - 20, 0 = -k - s + 25. Is 12 a factor of k?
True
Let h = -201 + 302. Is 28 a factor of h?
False
Suppose 2 = -3*u + 5. Is 14 a factor of 40 - 4*u/(-2)?
True
Let t(j) = -j**2 - 1. Let s(p) be the third derivative of p**5/30 - p**4/24 + p**3/3 + 2*p**2. Let u(k) = -2*s(k) - 6*t(k). Is 6 a factor of u(-2)?
True
Let j(t) = -3*t**3 - t**2 + 2*t - 1. Is 15 a factor of j(-2)?
True
Suppose 0*s + 2*s = -12. Let b(o) = 0 - 7*o - 1 - 7*o**2 + 7 - o**3. Is 4 a factor of b(s)?
True
Suppose 15 + 9 = 3*s. Is s a multiple of 2?
True
Let b(r) = r**2 - 3*r - 3. Let p(j) = j**2 - 4*j - 3. Let h(q) = 6*b(q) - 7*p(q). Let x = 34 + -25. Does 6 divide h(x)?
True
Suppose 4 = y + 1. Does 2 divide y?
False
Let z(w) be the first derivative of -w**3/3 - 5*w**2 - 6*w + 5. Is 9 a factor of z(-4)?
True
Let h = 48 - 29. Is 7 a factor of h?
False
Let o = 113 - 81. Is o a multiple of 16?
True
Let b(s) = 3*s**3 - 20*s**2 - 2*s - 5. Is 17 a factor of b(7)?
False
Suppose 3*a + s - 67 = 20, -3*s - 69 = -2*a. Does 30 divide a?
True
Suppose -3*a + 8 = -7. Let v = a - 2. Suppose -v*r - 2*r + 200 = 0. Is r a multiple of 20?
True
Let j be 36 + 0 - (2 - 1). Let p = j - 50. Does 9 divide 3/p - (-66)/5?
False
Let w(f) = f**2 - 8*f - 5. Let q be w(9). Let h = q + -7. Is 7 a factor of (-21)/(-2)*(-2)/h?
True
Let h = 81 - -24. Let o = h + -41. Does 18 divide o?
False
Suppose 0 = 3*w - 15, -3*g + 21 = -0*w + 3*w. Suppose z - g*q - 20 = -q, 3*z + 5*q - 44 = 0. Is 18 a factor of z?
True
Let u = 1 - 17. Let i = 13 - u. Suppose 0 = 3*j - 10 - i. Does 13 divide j?
True
Let o(v) = -v**2 - 12*v + 6. Does 14 divide o(-6)?
True
Let g(h) = h**2 + 15 + h**2 - h**2 + h**3. Is g(0) a multiple of 9?
False
Let v = 10 - 6. Suppose 3*b = -b + 5*i + 125, 122 = v*b - 2*i. Does 17 divide b?
False
Suppose -a - a = 18. Let g(x) = x**2 + 11*x + 11. Let n be g(a). Let j = 12 + n. Does 5 divide j?
True
Let w be (-12)/(((-3)/(-3))/(-4)). Let h = -4 + 9. Suppose -i = h*q - w, -5*q - 4*i + i = -54. Is q a multiple of 3?
True
Suppose 0 = -4*p + 5*c + 205, -4*c - 54 = -0*p - p. Does 15 divide p?
False
Suppose 4*x + y - 112 = 75, 5*x - 5*y - 215 = 0. Is 17 a factor of x?
False
Let b be (0 + (-1 - -3))/(-1). Let j = b - -7. Suppose j*k = k + 4*q + 68, -q = -5*k + 77. Does 15 divide k?
True
Let j = 5 - 3. Suppose -3*h = -j*h - 175. Suppose h - 43 = 4*b. Does 13 divide b?
False
Is (-190)/4*(-1 - (3 - 2)) a multiple of 39?
False
Let m(y) = y**3 + 6*y**2 - 4*y + 2. Is 26 a factor of m(-6)?
True
Let q be (-3)/6*(11 - 1). Let n = q - -8. Let i(s) = s**2 + 1. Is i(n) a multiple of 10?
True
Let q(j) = 6*j + 1. Suppose 0 = 2*w + 4 - 14. Suppose 0 = -4*m - 2*h - 2, -w*m + 4*h + 17 = -0*h. Is q(m) a multiple of 7?
True
Let a = 5 - 5. Suppose -2*q + r = -0*r - 22, 4*q - 4*r - 40 = a. Is 12 a factor of q?
True
Suppose 0 = -3*x + 3*g + 399, -g + 527 = 2*x + 2*x. Is 28 a fact