i = -b*i - 15. Is i even?
False
Let f(t) = -2*t**2 + 23*t. Is f(10) a multiple of 13?
False
Suppose 0*v = v - 3, 4*q = 2*v + 30. Let b be (-9)/q + (-1 - -4). Suppose -b*n + p + 29 = -n, 0 = n - 3*p - 25. Is 23 a factor of n?
False
Let a = 97 + -59. Does 16 divide a?
False
Let x be (-1)/4 - 26/(-8). Suppose -96 = -5*y + 3*n, -2*y - x*y + 4*n + 98 = 0. Let b = -2 + y. Is b a multiple of 8?
True
Let l = 21 + -36. Let i = 34 - l. Is 14 a factor of i?
False
Is 3 a factor of (-222)/(-10) - 2/10?
False
Let g(v) = v**2 - 2*v - 3. Let o be g(-8). Suppose 3*u + 64 = 4*b, 3*b + 5*u = -0*b + o. Let z = b + 3. Does 11 divide z?
True
Let d(u) = u + 5. Let v be d(0). Let h(m) = m**3 - 4*m**2 - m + 7. Is 9 a factor of h(v)?
True
Suppose 8*d - 66 = 190. Is d a multiple of 5?
False
Let t(a) = 12*a + 2. Is t(10) a multiple of 34?
False
Is 8 a factor of 3/21*2 - 444/(-14)?
True
Suppose -h + 4*u = -0*u - 76, -2*h = 5*u - 139. Does 3 divide (1/(-3))/((-3)/h)?
False
Let n(c) = 3*c**2 + 1. Suppose r + 25 = -4*r. Let g = r - -6. Is n(g) a multiple of 2?
True
Let z(j) = 2*j**2 + 2*j. Let f be z(4). Is f + (2 + -3 - -1) a multiple of 16?
False
Suppose -o - 4*m + 181 = -0*m, -5*o - m = -829. Does 11 divide o?
True
Let h = 25 + 26. Does 17 divide h?
True
Let h be (-51)/(-15) - 3/(-5). Suppose -5*d + 49 = -151. Suppose 4*o = -h*j + d, 29 = -2*o + 4*o + 5*j. Is 3 a factor of o?
False
Suppose 0 = 5*o - 10 - 0. Suppose o*z = -0*z + 54. Is 14 a factor of z?
False
Does 3 divide 8/(2 + 7/(-4))?
False
Let m be (3/(-1) - 1)/2. Let s = m - -2. Suppose 0 = 4*o - s*o - n - 100, -4*o = -4*n - 112. Does 7 divide o?
False
Suppose 0 = v + 4*v - 40. Let m(s) = -s**2 + 8*s + 5. Let f be m(v). Suppose -g + 2*l + 20 = 0, 5*g - 88 = f*l - l. Is 8 a factor of g?
True
Let r(g) = 55*g**2 + 8*g - 8. Does 4 divide r(1)?
False
Suppose 3*t + 4*t - 210 = 0. Does 30 divide t?
True
Suppose 0*i = -2*i + 40. Is 5 a factor of i?
True
Suppose 2*b - 146 = -2*b - 2*t, 0 = -b + 3*t + 33. Is 14 a factor of b?
False
Suppose -5*i = k - 117, -i + 7*k + 39 = 2*k. Does 10 divide i?
False
Suppose 0*t = t - 60. Is 6 a factor of t?
True
Suppose 7*h - 1380 = 4*h. Suppose -5*f + h = 2*t, 4*f + 2*t = 3*t + 355. Is 21 a factor of f?
False
Let o(y) = y**2 + 4*y - 4. Let f be o(-5). Let u(s) = 5*s. Does 3 divide u(f)?
False
Suppose -4*q = 2 - 26. Is 3 a factor of q?
True
Suppose 0*m - 3*m = 12. Does 6 divide m + 3 + 3*6?
False
Suppose 108 - 30 = 2*z. Let d = -5 + z. Does 22 divide d?
False
Let b be 2/(-8) - (-3185)/(-28). Let f = b + 163. Is f a multiple of 10?
False
Let j(w) = -3*w - 8. Is 7 a factor of j(-5)?
True
Let z = 9 - 4. Let o(v) = -v**3 + 4*v**2 + 5*v + 4. Let y be o(z). Suppose y*p = 2*p + 24. Does 5 divide p?
False
Suppose -252 + 77 = -5*u. Is u a multiple of 12?
False
Let p be (-5 + 0 - -2) + -47. Let r = -4 - p. Is r a multiple of 26?
False
Let w = -2 + 2. Suppose w*o = -o + 11. Is o a multiple of 11?
True
Let r(x) = x - 3. Is 2 a factor of r(6)?
False
Let l = -47 + 71. Does 11 divide l?
False
Let h(u) = -u**3 + 4*u**2 + u - 1. Let t be h(4). Let x(d) = 5*d**2 + 2*d + d**3 - t + 0*d**3 + 4. Is 9 a factor of x(-2)?
True
Suppose a + 2*t = 43, -t = 5*a + 4*t - 220. Is a a multiple of 12?
False
Let s = 42 + -23. Let z be (s - 7)/(2 - 1). Suppose 8*k = 5*k + z. Is 4 a factor of k?
True
Let z(g) = -g**3 - 5*g**2 - 6*g - 4. Let y be z(-4). Let r(l) = 6*l. Is 19 a factor of r(y)?
False
Let j(l) = -l**3 + 3*l**2 + l + 1. Let v be j(3). Let t(n) = 4*n - 5. Is 6 a factor of t(v)?
False
Suppose 2*m - 126 = -5*q + 92, 4*m = -q + 58. Suppose -5*w = -28 - q. Is 7 a factor of w?
True
Let b(n) = n + 17. Let t(s) = 2*s + 35. Let f(a) = -5*b(a) + 3*t(a). Does 10 divide f(0)?
True
Let l = 8 + 49. Is 19 a factor of l?
True
Suppose 2*u = -4*f + 392, u = 3*f - f - 204. Is 5 a factor of f?
True
Let a be 8/(-4) + 1 + -3. Let k(w) = -w - 1. Is 2 a factor of k(a)?
False
Suppose 0 = x - 3*z - 57, 2*x - 13 = -2*z + 69. Is 9 a factor of x?
True
Suppose -2 = 3*m - 11. Suppose k - m*a = 21, 2*k + 2 = -4*a + 4. Is 4 a factor of k?
False
Suppose -2*y + 3*y = 0. Let u(o) = -o**3 + 6. Let g be u(y). Suppose g + 0 = v. Is 4 a factor of v?
False
Suppose 113 = 5*a + 4*s, 5*a + 0*s - 137 = 4*s. Does 25 divide a?
True
Let f(k) = -k + 7. Let v = -32 + 17. Is 8 a factor of f(v)?
False
Let s(t) = -6*t**3 - t**2 - 5*t - 7. Is s(-2) a multiple of 20?
False
Let u(s) = s**2 - 7*s + 8. Let i be u(6). Is 5 a factor of 21 + (2 - 10/i)?
False
Let n be (-3)/12 + (-9)/(-4). Let u be 1/(1/70*n). Suppose -8 = -i - 3, 3*c + i - u = 0. Is 10 a factor of c?
True
Let w = -9 - -13. Does 2 divide ((-6)/9)/(w/(-18))?
False
Suppose -5*f + 85 = -240. Let n = -32 + f. Suppose -5*g + n = -32. Is g a multiple of 13?
True
Suppose -4*v - 76 = -4*o, -v = -4 - 1. Does 12 divide o?
True
Suppose 4*m - 3*m = 27. Does 3 divide m?
True
Let v = -41 - -61. Let z = v + -1. Does 12 divide z?
False
Let n = 69 - 29. Suppose 5*c = n + 225. Is c a multiple of 11?
False
Let l(x) be the second derivative of -1/3*x**3 + 2*x - 1/20*x**5 + 0*x**2 + 0 + 1/2*x**4. Does 4 divide l(5)?
False
Suppose -5*p - 44 = -4*b, -5*p + 20 = 4*b + 96. Let y = -8 - -5. Let u = y - p. Does 9 divide u?
True
Let n(m) = 5*m**2 - 14*m + 3. Let v(w) = 9*w**2 - 28*w + 6. Let d = -25 - -14. Let r(j) = d*n(j) + 6*v(j). Does 13 divide r(-9)?
False
Suppose 0 = s - 65. Does 13 divide s?
True
Let q = 84 - 24. Does 20 divide q?
True
Suppose 5*d + 37 = 122. Let m = 28 - d. Does 7 divide m?
False
Let s = -70 + 47. Let m = s + 41. Is 9 a factor of m?
True
Let y = -42 - -76. Is 16 a factor of y?
False
Let u(c) = -4*c**3 - 2*c**2 + 2. Let d = 2 - 1. Let h = d + -3. Is 7 a factor of u(h)?
False
Let z = 34 + -12. Let t = z - 16. Suppose 2*n - t*n + 32 = 0. Does 8 divide n?
True
Suppose 0 = u, -4*u + 8 = -5*g + g. Let s(v) = v**3 + 5*v**2 - 6*v + 1. Let c be s(-6). Is 4/(c/g - -1) a multiple of 6?
False
Suppose 5*i + 12 = 3*i. Is 14 a factor of i/(-9) - (-273)/9?
False
Suppose -11 = 2*n - 3*n. Let h = n + -7. Let p = 10 - h. Does 3 divide p?
True
Suppose -5*a - 202 = -4*u, -a = -5*u + 132 + 110. Is u a multiple of 24?
True
Suppose 0 = 6*s - s - 10. Suppose h = s - 20. Does 3 divide h/(-4) - (-9)/(-6)?
True
Suppose -7*b + 4*b = -k - 128, -3*b + 122 = 2*k. Is 25 a factor of b?
False
Suppose 4*b - 8 = 4*l - 0*b, 5*b = 2*l + 16. Is 17 a factor of 0/(6/l) + 34?
True
Let u(t) = -20*t. Let r be u(-5). Let f = -57 + r. Is 19 a factor of f?
False
Let s = 6 + -6. Suppose -4*h + 288 = -s*h. Suppose 4*q - 4*k - h = 204, -5*q + 331 = 2*k. Is 18 a factor of q?
False
Let g(y) = -y**3 - 2*y**2 + y. Let r be g(-2). Let l(z) = -7*z. Is 14 a factor of l(r)?
True
Let h = 22 + -4. Does 6 divide h?
True
Let f(y) = -y + 1. Let c be f(-6). Let d = c - 4. Suppose a = -2*x - 0*x + 14, -x + 7 = d*a. Is x a multiple of 4?
False
Let l = -13 + 13. Suppose l = -b + 45 - 11. Does 17 divide b?
True
Is ((-466)/10)/((-5)/25) a multiple of 45?
False
Suppose j - 11 = -h, 0 = -2*j + 3*h - 2*h + 37. Is j a multiple of 13?
False
Let x = 309 + -182. Is 16 a factor of x?
False
Suppose 0 = -5*i - 6 - 4. Let n be -2 + (-1)/1 + 3. Does 11 divide (-11)/(-1) - n/i?
True
Let t(d) be the second derivative of -5*d**4/6 - d**3/6 + d**2/2 + d. Let i be t(1). Let b = i - -22. Does 6 divide b?
True
Suppose f - 24 = 2*r, -4*f + 144 = -2*r + 48. Does 8 divide f?
True
Suppose 2*i = -3*j - 0*j + 128, 5*j = 3*i + 188. Is j a multiple of 19?
False
Let g be 46/10 + 6/15. Suppose 0*t - g*t = -125. Is 10 a factor of t?
False
Let h = 0 - -15. Is h a multiple of 8?
False
Let r be (-9)/(1/(-1 + 0)). Suppose -h = -u + r, 2*u + 4*h + 0*h - 24 = 0. Is u a multiple of 5?
True
Suppose 0 = 6*h - 0*h - 372. Is h a multiple of 31?
True
Let n = -2 - -2. Is 12 a factor of (4 + n)/(2/8)?
False
Suppose 0 = 4*t - 2*t. Let a be (t/(-1))/(-2 + 1). Suppose -2*x - 1 + 13 = a. Is 6 a factor of x?
True
Suppose 6*x - 2*x = -2*t + 1260, 4*t + 630 = 2*x. Suppose -3*d - 2*d + 5*c + x = 0, 2*d + 2*c - 134 = 0. Does 21 divide d?
False
Let s be -5 + 0 + 1 + 0. Is 7 a factor of 104/16 + (-2)/s?
True
Let s = 346 - 18. Suppose 4*j - s = -4*b, 4*b + 2*j = 3*b + 79. Suppose -c + 6*c - b = 0. Is 13 a factor of c?
False
Suppose 11*u + 88 = 15*u. Does 11 divide u?
True
Suppose -4*h + n = -4, h + h - 20 = -4*n. Suppose -3*k + 15 =