?
False
Let r = 20 - 34. Let q = 31 + r. Let o = q - 10. Is 5 a factor of o?
False
Let l(d) = -3*d**2 + d - 4. Let h be l(4). Let b = 27 - h. Is b a multiple of 27?
False
Let p(v) = -v**3 - 7*v**2 - 6*v + 1. Let w be p(-6). Suppose 5*u - 19 = w. Suppose -u*j + j = -27. Is j a multiple of 9?
True
Let s(d) = -d - 4. Let h be (-34)/5 - 6/30. Let a be s(h). Suppose a*y - 37 = -4. Does 11 divide y?
True
Let q = 22 + -14. Is q a multiple of 3?
False
Suppose 0 = 5*u + 3*j - 169 - 61, u = -3*j + 34. Is 7 a factor of u?
True
Let x(m) = 11*m - 7. Let s be x(5). Suppose 2*d - d - s = 0. Let v = d + -22. Is v a multiple of 13?
True
Is 11 a factor of (-2)/8 - 399/(-12)?
True
Let v be (-428)/(-6) - (-4)/6. Let d = -44 + v. Suppose -k - k = -d. Does 10 divide k?
False
Let b(y) = -y**3 + 6*y**2 - 5*y. Let f be b(5). Let v(c) = -c + 43. Does 11 divide v(f)?
False
Let f(k) = -k**3 - k**2 - k. Let v(z) = -3*z**3 - 7*z**2 + z - 2. Let g(q) = 2*f(q) - v(q). Is 14 a factor of g(-5)?
False
Let v(u) = -u - 6. Suppose h + 10 = -0*h. Let x be v(h). Suppose -z - x*z = -145. Does 8 divide z?
False
Is 23 a factor of (2 + 10/(-4))*-62?
False
Let h(y) = y**2 + 4. Does 5 divide h(-3)?
False
Does 9 divide (-10)/5 + (-38)/(-1)?
True
Let u(x) = -x + 8. Let a be u(4). Is a/(-18) + (-218)/(-9) a multiple of 12?
True
Let h be (-30)/(-4)*(-2)/(-3). Suppose -h*n + 130 = 15. Is n a multiple of 8?
False
Let b(p) = p**3 - 4*p**2 + 4*p + 1. Let s(i) = -2*i - 12. Let r be s(-8). Let d be b(r). Suppose -w = -d + 5. Is 12 a factor of w?
True
Let q = 3 - -32. Is 8 a factor of q?
False
Suppose -4*u + 24 = -2*u. Suppose 0 = -4*t - 4*l - u, 24 = 2*t - 4*l - 0*l. Suppose 4*i = t*i + 32. Is 9 a factor of i?
False
Let o(l) = 2*l**2 + 5*l + 2. Let x be o(-3). Suppose -5*p + 0*c - x*c + 15 = 0, -c - 22 = -4*p. Let h = p + 43. Does 16 divide h?
True
Suppose -3*b - b = -28. Is 2 a factor of b?
False
Let j be (3/9)/(2/24). Let s(d) = 2*d**3 - 7*d**2 + 4*d + 2. Let c be s(j). Suppose -c = -2*x + 30. Is x a multiple of 16?
True
Let v = 0 - 0. Suppose c + c - 20 = v. Suppose c = -2*l, -u - l - 12 = 2*l. Is 3 a factor of u?
True
Let y = 11 - 14. Let x(v) = -5*v**2 + 2*v + 10. Let z(j) = -j**2 - j + 1. Let q(h) = -x(h) + 6*z(h). Does 11 divide q(y)?
True
Suppose 0 = r + r - 4. Suppose -r*a + 4*a - 66 = 0. Does 11 divide a?
True
Let f(s) = 2*s**2 + 10*s + 7. Suppose 94 - 2 = 4*v. Suppose 7 + v = -5*z. Is f(z) a multiple of 13?
False
Is 1/2 + 2511/18 a multiple of 31?
False
Let s = -5 + 7. Let f(p) = -p**2 - 6*p - 5. Let u be f(-4). Suppose -3*d = 5*q + 11, -s*d + 3*q + 27 = u*d. Does 3 divide d?
True
Let a = 66 - 46. Is 9 a factor of -1*18*(-10)/a?
True
Let w = -44 + 53. Does 2 divide w?
False
Let c(x) = -x**3 + 7*x**2 - 7*x + 6. Let p be c(6). Suppose m = 0, -2*u - m - 6 + 22 = p. Does 8 divide u?
True
Suppose 3*p - 4*j - 3 + 2 = 0, 5*j + 3 = 4*p. Is 6 a factor of 60/(-25)*(2 - p)?
True
Suppose 2*g + 20 - 4 = 0. Suppose 3*l + 3*r - 45 = 0, l - 5*r - 115 = -4*l. Let t = g + l. Is 11 a factor of t?
True
Let a = 34 - -3. Is a a multiple of 7?
False
Suppose -3*d + 91 - 19 = 0. Suppose 3*f = -0 + d. Suppose f = 3*y - 70. Does 13 divide y?
True
Suppose 0 = 4*f + 5 - 53. Let m be (-2)/8 + (-45)/f. Is (-123)/(-6) + (-6)/m a multiple of 13?
False
Let p = 29 - 31. Suppose 3 + 32 = -5*b. Let a = p - b. Is 5 a factor of a?
True
Let w = 4 - 1. Suppose q - 6 = -w. Is q a multiple of 2?
False
Let i(d) = -d**2 - 4*d + 6. Let b be i(-5). Suppose 8 - b = -p - 4*m, p = -5*m - 5. Does 3 divide p/6*-2 - 2?
True
Suppose -j = 1 + 1. Let w be (-4*(-3)/6)/j. Is (1 - w)*11 + -2 a multiple of 20?
True
Suppose -44 = -4*p + 68. Is p a multiple of 4?
True
Let m(s) = 2*s**2 + 10*s + 13. Suppose -i + 36 = -6*i + 3*q, -3*q = -6. Is 9 a factor of m(i)?
False
Let a(m) be the second derivative of m**4/6 - 4*m**3/3 - 2*m**2 + 3*m. Is a(6) a multiple of 10?
True
Let b(y) = y**3 - 10*y**2 - 16*y - 6. Does 30 divide b(12)?
True
Let n = 1 + -1. Let l(j) = 38*j - 8. Let g be l(5). Suppose n = -5*z + g - 67. Does 14 divide z?
False
Suppose 3*d - 636 = -2*z, 282 = d + 4*z + 60. Does 42 divide d?
True
Suppose 137 = -5*o - 18. Suppose -10 = 3*p + w, -11 = -2*w - 1. Let k = p - o. Is k a multiple of 12?
False
Let v = -3 - -5. Suppose -6 = v*r + 2. Is ((-10)/4)/(2/r) a multiple of 5?
True
Suppose 21*g = 19*g + 548. Is g a multiple of 41?
False
Let q(d) = -4*d**2 - 6*d + 4. Let g(l) = 9*l**2 + 11*l - 8. Let c(u) = 3*g(u) + 7*q(u). Let r be c(-9). Suppose r = -n + 10. Does 4 divide n?
False
Let t = -28 + 35. Is t a multiple of 2?
False
Let m(j) = -j**3 - 7*j**2 - 2*j - 9. Let l be m(-7). Suppose -25 = -3*d - k, -l*k + 15 = -d + 2. Is 4 a factor of d?
False
Suppose a - 328 = -2*t + 3*a, -164 = -t - a. Let s = t - 106. Suppose -2*j = -5*u - s, 0*j + 128 = 5*j - 4*u. Is 9 a factor of j?
False
Suppose 5*o - 2*o = -p + 79, -o = -3. Does 29 divide p?
False
Suppose 5*v = 10*v - 400. Suppose -a = 2*z - 7 - 15, 0 = 4*a + 4*z - v. Is 12 a factor of a?
False
Suppose -14 = -i + 76. Is i a multiple of 36?
False
Suppose 92 = 3*l - 28. Is l a multiple of 20?
True
Suppose 2*j = -3*j - 295. Suppose -r - 271 = -5*f + 2*f, f - 73 = -4*r. Let v = j + f. Does 11 divide v?
False
Let o(m) be the second derivative of m**3/6 - m**2/2 + m. Is o(6) a multiple of 5?
True
Let g = 16 - 5. Suppose 4*l - 4*q = g + 21, 34 = 5*l - 3*q. Is l a multiple of 2?
False
Let k(n) = -n**3 - 3*n**2 - 4*n + 5. Let a(h) = 9*h**2 + 3*h**3 - 12 - 2 + 12*h + 0*h. Let v(d) = -4*a(d) - 11*k(d). Is v(-3) a multiple of 10?
False
Let d(t) = -t**2 + 3*t - 1. Let b be d(1). Is 13 a factor of b/(-1) + (0 - -20)?
False
Is 0/(8/(-4)) - -12 a multiple of 3?
True
Let s = -292 + 470. Does 8 divide s?
False
Let y be 256/5 - (-2)/(-10). Let a = 69 - 102. Let i = a + y. Is i a multiple of 9?
True
Let b = -3 - -13. Suppose 3*l - 5 = b. Is 4 a factor of l?
False
Does 13 divide (-12)/9*(-111)/4?
False
Suppose u + 37 = x - u, -119 = -2*x - 5*u. Is x a multiple of 18?
False
Suppose -38 = -l + j, 2*l - 77 = -0*l + j. Does 11 divide l?
False
Suppose 57*r = 52*r + 500. Is 20 a factor of r?
True
Let z(t) = -t - 4. Let i be z(-8). Suppose -i*v + 39 = -45. Does 6 divide v?
False
Suppose -i + 8 = -6. Does 5 divide i?
False
Let s be (2 - 1 - 0)/(-1). Let t(w) = -w**3 + w**2 + 3. Let n be t(0). Let k = n + s. Does 2 divide k?
True
Let j = -3 - -36. Is 11 a factor of j?
True
Suppose 0 = 5*m + w - 20 - 10, 4*m - 4*w = 0. Suppose m*t - u + 8 = 0, -1 = 3*t - 4*u - 3. Let l = 22 + t. Does 7 divide l?
False
Suppose 499 = 5*y - 3*w, -y + w = -0*w - 101. Is 18 a factor of y?
False
Let d be (-66)/(-17) + 6/51. Let p = -1 + 12. Suppose 5*u - p - 14 = 0, 98 = d*k + 2*u. Is k a multiple of 11?
True
Let i = 7 - 2. Suppose i*k - 57 = -4*f + 27, -2*k = 2*f - 44. Does 13 divide f?
True
Suppose 5*j - 2*t + 3 = -12, -4*j + 3*t - 12 = 0. Is 16 a factor of (-93)/(-2)*(-2)/j?
False
Let g = -9 + 19. Let b(i) = i**2 - 11*i + 10. Let d be b(g). Suppose -3*a - a + 60 = d. Is 15 a factor of a?
True
Let x(b) = 6*b**2 - 12. Does 34 divide x(6)?
True
Suppose 4*c = -16, 4*t + c - 364 = -0*c. Let l = -36 + t. Is l a multiple of 14?
True
Let p be -1 + -2 - (-2)/(-1). Let x be -1*(2 + -4 + p). Suppose -13 - x = -4*w. Is 4 a factor of w?
False
Let d(t) = t**3 + 6*t**2 - 5*t + 21. Does 8 divide d(-6)?
False
Let a(b) = -b**2 + 4*b. Let n be a(4). Suppose n*j - 26 = -2*j. Is j a multiple of 13?
True
Suppose -8 = 4*w - 4*p, -2*w - 14 = -5*p + p. Suppose 5*a - w*b = 199 - 30, 2*a - 78 = -4*b. Does 14 divide a?
False
Suppose -6*y + 539 = -49. Is 7 a factor of y?
True
Suppose -4*i = -i + 5*g - 154, -4*i + 4*g = -184. Is i a multiple of 16?
True
Suppose -2*c - 4 = -5*v, 5*c = 2*v - 4*v + 19. Suppose -5*t + 75 = -10*t + c*n, -4*t - 5*n = 60. Let g = 11 - t. Is 10 a factor of g?
False
Let y(x) = x**2 + 4*x + 2. Let v be y(-3). Let w(q) = -5*q - 1. Let l be w(v). Suppose 63 = 4*f + 3*g - l*g, 0 = 4*f + g - 73. Is 5 a factor of f?
False
Let k(w) = w**3 - 10*w**2 + 12*w - 3. Does 5 divide k(9)?
False
Let v = 7 + -7. Suppose -4*n + 474 - 114 = v. Is n a multiple of 30?
True
Let l = 266 + -158. Let f(z) = -5*z + 1. Let v be f(-3). Is 3 a factor of l/11 - v/(-88)?
False
Let y(z) = -2*z**3 - z**2 - 5*z + 1. Let b be y(4). Let s = b + 237. Let f = s - 53. Is f a multiple of 11?
