d(x) = x**3 + 7*x**2 + 6*x + 4. Let u be d(-6). Suppose -2*l - l = -u*z + 51, -3*z - 3*l + 33 = 0. Does 6 divide z?
True
Let g(r) = 2*r**2 - 6*r + 3. Let i be g(4). Let s = 0 + i. Suppose 0 = -4*p + 9 + s. Is p even?
False
Suppose -2*z - 2*y - 4 = -0*z, 0 = -3*z + y + 14. Is 7 a factor of z/((-23)/26 + 1)?
False
Suppose 3*x - 991 + 304 = 0. Suppose -5*t + x + 111 = 0. Is t a multiple of 21?
False
Let k = -57 - -121. Does 8 divide k?
True
Suppose 0 = l + l - 10. Suppose n - l*n = -4. Suppose -j + 3*t - 15 = -2*j, t = j + n. Is 2 a factor of j?
False
Suppose -3*o = 18 + 12. Suppose -4*d = -1 + 21. Is 13 a factor of (-37)/(-2) + d/o?
False
Let g(s) = 3*s**3 + 2*s**2 - s. Let o = -3 + 4. Let v be g(o). Suppose v*i - 3*b = -i + 80, -5*b = -i + 16. Is i a multiple of 16?
True
Suppose 0 = -2*k + 52 + 70. Is 19 a factor of k?
False
Let v = -5 - -9. Suppose v*b + 90 = -22. Let r = 48 + b. Is r a multiple of 15?
False
Let a = 108 - 59. Let l = -34 + a. Does 5 divide l?
True
Suppose 5*d + 115 = 5*p, -3*p - 3*d = -d - 59. Does 21 divide p?
True
Suppose -5*q = s - 27, 5*q - 10 = 4*s + 7. Suppose c = -2*o + 8, 0 = s*o - 5*c + 2*c - 24. Is o even?
True
Suppose -5*t + 237 + 68 = 0. Is t a multiple of 23?
False
Let g = 6 + -1. Suppose g*u + 0*u = 150. Is 10 a factor of u?
True
Let y(q) = -q**3 - 10*q**2 + 10*q - 11. Let x be y(-11). Let s = 8 + x. Is s a multiple of 7?
False
Let u = 11 - -13. Does 8 divide u?
True
Let v be (1/2 + 0)*4. Suppose l = -v*l. Suppose 4*q + q - 170 = l. Is 17 a factor of q?
True
Let i(y) = -2*y - 2. Let l be -3 - (3 - (-3 - -4)). Is i(l) a multiple of 3?
False
Suppose 49 = 3*w + 5*v, 11 = w + v - 6. Suppose -u + 2*u = w. Is 15 a factor of u?
False
Let j(z) = 6*z - 1. Let b be j(2). Suppose 0 = -2*v - 3 + b. Suppose -2*w + l - v*l + 48 = 0, 5*w - 120 = -4*l. Is w a multiple of 8?
True
Suppose -3*y = -0*y - 4*l - 151, 4 = 2*l. Is y a multiple of 4?
False
Let d be 54 - ((-2)/1)/1. Let i = d - 40. Suppose t = 2*x - x - 8, -t = 3*x - i. Does 6 divide x?
True
Let w(m) = -m**3 - 2*m**2. Let j be w(-1). Let v = 5 + j. Suppose v*b - 51 = b. Is b a multiple of 14?
False
Suppose -3*c - 144 = -6*c. Is c a multiple of 24?
True
Suppose -2*c + 3*l = -162, -c - 3*l + 82 = -4*l. Is c a multiple of 14?
True
Suppose -3*a - 20 = a. Let p(f) = f**2 - 2*f + 1. Is 19 a factor of p(a)?
False
Let u = -16 + 12. Is 78/1 - 8/u a multiple of 35?
False
Let f be 2/(4/6*1). Suppose -1 = 4*r - f*r. Is r/(-2) - (-93)/2 a multiple of 18?
False
Let x(l) = l**2 - 4*l + 8. Does 3 divide x(6)?
False
Let y(f) = 4*f**2 - 7*f + 5. Let o be y(4). Let m(s) = 2*s - 6. Let c be m(-7). Let h = o + c. Does 7 divide h?
True
Let j = 125 + -74. Does 17 divide j?
True
Let u(x) = 23*x**2. Let t be u(-2). Let i = t + -62. Is i a multiple of 10?
True
Let t = 208 - 352. Let a be t/4 + 0 + 1. Does 3 divide 5*1*(-42)/a?
True
Suppose g = 3*g - 22. Let n(y) = -y**3 + 11*y**2 + 2*y. Is 14 a factor of n(g)?
False
Suppose 0*o = -2*o + 4*t + 38, 22 = o - t. Is 16 a factor of (-42)/5*o/(-10)?
False
Let s = 62 - 34. Suppose -n + 20 = -s. Is n a multiple of 16?
True
Let s = 21 - 15. Suppose s = -3*g + 120. Does 12 divide g?
False
Suppose 3*p + 4*b = 883, p = -2*p - 2*b + 881. Does 17 divide p?
False
Let a(d) = 6*d**2 + 5*d + 3. Does 9 divide a(-3)?
False
Let l(a) = -a**2 + a + 22. Let t(y) = -6*y**2 - 1. Let v be t(1). Let i = v + 7. Is 12 a factor of l(i)?
False
Let y(b) = 4*b**2 + 6*b + 8. Is y(-2) a multiple of 4?
True
Let v(p) = 2*p - 9. Let w be v(6). Suppose -3*s + 186 = s + d, 3*s - 132 = w*d. Is s a multiple of 10?
False
Let p = 108 + -74. Suppose -3*v + 3*f + 9 = 0, 15 = 3*v - 3*f + 6*f. Suppose -p = -v*n + 138. Does 11 divide n?
False
Let d(k) = -2*k + 2. Does 7 divide d(-11)?
False
Suppose 8*m = 3*m + 20. Let g be 1 + (2 - m - -12). Is 5 a factor of (-8)/(-44) - (-64)/g?
False
Let m = 73 + -11. Does 31 divide m?
True
Let t = 123 + -48. Is t a multiple of 5?
True
Suppose 0 = r - 29 - 91. Is r a multiple of 20?
True
Let o = 188 + -76. Is 16 a factor of o?
True
Suppose l = -2*l + 87. Is l a multiple of 10?
False
Let k(l) = 2*l**2 + 4*l. Let v be k(-3). Let d(y) = -6*y + 0*y + y + y**2. Does 6 divide d(v)?
True
Let f(j) = j**3 + 13*j**2 + 2*j + 10. Let z be f(-8). Suppose -g = -4*n + z, n - 3*n = 5*g - 168. Is n a multiple of 18?
False
Let m(l) = -90*l - 1. Does 15 divide m(-2)?
False
Suppose -6 = 4*m - h - 2, -3*m - 20 = -5*h. Let s(v) = -v**3 + 2*v**2 + 2*v - 1. Let l be s(2). Suppose -z = -m - l. Is z a multiple of 2?
False
Let u(m) be the second derivative of 11/2*m**2 - 2*m + 0 + 1/6*m**3. Is 11 a factor of u(0)?
True
Let q be -2 - (-3 - -1 - -1). Is 19 a factor of 38 - (q - 3/(-3))?
True
Suppose 3*z + 20 = 4*z. Let q be z/(-6)*(-9)/6. Suppose q*r - 106 = -16. Is 8 a factor of r?
False
Suppose 0*q + 12 = 3*q. Suppose 25 = x + 2*n, -q*x - n = -86 + 14. Does 15 divide x?
False
Let r(j) = -2*j + 9. Is r(0) even?
False
Does 12 divide ((-13)/(-65))/(2/1030)?
False
Let r = -17 + 12. Let c(p) = 12*p**2 - 2*p - 1. Let z be c(-1). Let i = z + r. Is 5 a factor of i?
False
Let s(b) = -b**3 + 6*b**2 - 5*b - 3. Suppose 4*m - 8 - 8 = 0. Is s(m) a multiple of 5?
False
Suppose 0 = -5*m + 2*v + 318, 2*m - 255 = -2*m + v. Is m a multiple of 15?
False
Suppose 12 = c - 4*y - 1, 4*c + y = 18. Does 3 divide c?
False
Suppose 2*g - 16*i - 76 = -14*i, -4*g = -5*i - 150. Does 2 divide g?
True
Let n = -3 + 6. Suppose 13 = -n*h + 79. Is h a multiple of 22?
True
Let z(g) = 5*g + 3. Let r be (6/5)/(8/20). Does 14 divide z(r)?
False
Let s = 98 + -164. Let u = 93 + s. Does 16 divide u?
False
Suppose 4 = 3*k - 2. Suppose 18 = 2*l + 4*i, -k*i + 33 = 4*l - 33. Does 10 divide l?
False
Let i = 232 - 137. Does 19 divide i?
True
Let c(x) = -4*x**3 + x**2 - x + 2. Let l be c(-2). Suppose 12 - l = -i. Suppose b = -b + i. Is 5 a factor of b?
False
Suppose 8 = 4*i - 8. Suppose 3*f + 24 = 3*x, 9*f = -4*x + i*f + 23. Is x a multiple of 7?
True
Suppose -2*c - 11 = z + 3*c, 2*z = -2*c + 2. Suppose 3*j + s - 249 = 0, -371 = -z*j + 2*s - 29. Is 23 a factor of j?
False
Is 20 - ((-2 - -3) + -1 + -1) a multiple of 21?
True
Suppose 0 = 4*j - 3*x - 9, 5*x - 2*x + 6 = 3*j. Suppose -i - 2*q - 21 = j*q, 2*i + 17 = -5*q. Is i a multiple of 4?
True
Let a = -14 + 16. Let w be 0/((-1)/1) + 1. Suppose 0*z + 5*p + w = -a*z, 2*p - 2 = -2*z. Is z even?
True
Let m = -16 + 56. Does 8 divide m?
True
Let s = 68 + -36. Is s a multiple of 16?
True
Let q = 37 - -10. Suppose -2*h = 5*x - 69, -3*x + q + 70 = 4*h. Is 20 a factor of h?
False
Let v(j) = -5*j**3 - 2*j**2 - j + 2. Does 19 divide v(-2)?
False
Let l = -9 + -2. Let o = l - -120. Let p = o - 73. Is p a multiple of 18?
True
Does 39 divide (-1076)/(-3) + (-27)/(-81)?
False
Suppose 5*b - 19 = -139. Let w = -10 - b. Is w a multiple of 7?
True
Suppose 2*j + 6 = 5*j. Suppose 4*v = -5*x + 40, -j*v - 4*x + 13 = -7. Is v a multiple of 4?
False
Suppose 2*s - 5*f - 65 = 51, -3*f = s - 36. Is s a multiple of 8?
True
Let v(s) = 12*s**2 - 3*s + 2. Let o be v(1). Let b = 2 - 1. Let u = o + b. Is u a multiple of 10?
False
Is 4/(8 + -4) - -39 a multiple of 11?
False
Let y be (-191)/9 - 16/(-72). Is 6/y + (-256)/(-14) a multiple of 9?
True
Is -3 + 42 + -2 + -2 a multiple of 21?
False
Let s = -9 - -31. Does 11 divide s?
True
Suppose -3 = -2*x + 1. Suppose 0 = -2*y - 3*n - x*n + 69, -y = 4*n - 39. Does 7 divide y?
False
Suppose 5*h + f - 28 - 17 = 0, 0 = -5*h - 4*f + 30. Is h a multiple of 10?
True
Let j be (4 - 3) + 1 + 1. Let c(n) = n. Let k(d) = 8*d + 1. Let t(v) = -12*c(v) + 3*k(v). Does 14 divide t(j)?
False
Suppose -3*g + 2*g = -4*a + 822, 0 = 4*g + 8. Is a a multiple of 31?
False
Let j(n) = -n**3 - 6*n**2 + 2. Let v be j(-6). Suppose -3*m = 2*x - v*m - 46, -x = -5*m - 34. Suppose 5*c = 76 + x. Is c a multiple of 10?
True
Suppose 4*x - 6*u + u - 22 = 0, x + 4*u = 16. Suppose 2*f + f - x = -4*d, 0 = -4*f. Suppose -15 = -z - d*z. Does 2 divide z?
False
Let u = 1 + 3. Suppose -u*i = 8, -i - 77 - 30 = -5*o. Is 8 a factor of o?
False
Let y be (-248)/(-14) + (-6)/(-21). Let i = y + -11. Does 7 divide i?
True
Let f = -8 + 10. Suppose -3*d - 5*p = -f*p, 21 = -5*d + 2*p. Is 14 a factor of 26*((-18)/(-4) + d)?
False
Suppose 3*y + 4*v - 56 = y, 0 = -3*y + 3*v + 102. Is 8 a factor of y?
True
Suppose -180 = -g - g. Does 30 