. Does 6 divide j?
True
Let q = 14 - -119. Does 30 divide q?
False
Suppose 2*h + 0*h - 236 = 0. Does 31 divide h?
False
Suppose -4 = -3*o + 5. Suppose 0*c + 5 = -c, y + o*c = 188. Suppose 0 = 4*k + 2*f - 158, 5*k + 0*k = 3*f + y. Is k a multiple of 20?
True
Let d(g) = 16*g - 4. Does 13 divide d(5)?
False
Suppose 9 = -v + 85. Does 22 divide v?
False
Let v = -30 - -78. Is 8 a factor of v?
True
Let l = -205 + 379. Is l a multiple of 38?
False
Let n = -14 - -18. Suppose -115 = -n*i - 43. Is i a multiple of 13?
False
Suppose -25 = -5*f, f - 77 = -v - 3*v. Is v a multiple of 18?
True
Is -4 + (-65)/(4 - 5) a multiple of 21?
False
Suppose 2*f = f - 4, x + 3*f = 52. Does 32 divide x?
True
Is 15 a factor of 0/(-1) - 34/(-1)?
False
Suppose -2*n - 18 = -0*n. Does 6 divide (-128)/n - (-6)/(-27)?
False
Let r = -25 - -29. Suppose -r*o + 58 = -5*g, -4*g = -3*o - 2*o + 77. Does 10 divide o?
False
Suppose 1 + 1 = 2*j. Suppose -p - 5*k - j = -14, -5*k - 35 = 5*p. Let w = 22 + p. Is 5 a factor of w?
True
Let o = -15 + 24. Does 3 divide o?
True
Let k(y) = -y**3 - y**2 - 3. Let n be k(0). Is 19 a factor of 38/12*-4*n?
True
Let f = 109 + -102. Does 2 divide f?
False
Suppose 4*d = -5*p + 134, 0 = 4*p + d + 2*d - 108. Let r(o) = 2*o**2 + 5*o + 2. Let u be r(-3). Suppose -5*x + 0*c = 3*c - 30, u*x - p = c. Does 6 divide x?
True
Let b(p) = -p**3 - p**2 - 15. Let i be b(0). Let k = i - -43. Does 14 divide k?
True
Let y = 9 - 3. Suppose -120 = 2*f - y*f. Is 10 a factor of f?
True
Is 18/4*(-308)/(-33) a multiple of 21?
True
Let s(c) be the first derivative of 13*c**3/3 + c**2 + c - 1. Does 6 divide s(-1)?
True
Suppose -15*k + 1287 + 813 = 0. Is k a multiple of 47?
False
Is (-36)/(-2) - (-1 - 3) a multiple of 2?
True
Let s = -18 - -6. Let x = s + 29. Is 6 a factor of x?
False
Let j(y) = y - 5. Let n be 5/((-3)/12*-2). Let d be j(n). Suppose -d*c - 14 = -49. Does 4 divide c?
False
Let x(r) = r**3 + 25*r**2 + 19*r + 1. Does 11 divide x(-24)?
True
Let p = -59 - -91. Let o = -58 + p. Let a = o + 48. Does 18 divide a?
False
Suppose -25 = 4*s + 3. Let t = -4 - s. Suppose -d - 8 = -t*d. Is 4 a factor of d?
True
Suppose 3*n + 4 = n. Let b be (-5)/n*6/15. Let m(g) = 19*g**3 - 1. Does 18 divide m(b)?
True
Let j = -4 - -3. Let o be 13/5 + (-3)/5. Does 7 divide o/2*(j + 16)?
False
Let d = 252 - 159. Suppose -d = u - 4*u. Does 13 divide u?
False
Let p be (-2 - -4)/((-4)/(-6)). Suppose 2*d + 16 = p*d. Does 16 divide d?
True
Suppose -40*d + 38*d = -162. Is d a multiple of 35?
False
Let k be -1*(2 + -2)*1. Suppose -4*r + 4*s = -32, 3*r - 2*s - 5 - 19 = 0. Suppose -2*h + 2 + r = k. Is 2 a factor of h?
False
Let o(f) be the second derivative of -7*f**3/6 - 5*f**2/2 + 4*f. Is 15 a factor of o(-4)?
False
Is 7 a factor of (1 - -2)/((-24)/(-128))?
False
Suppose -9 = -i + 39. Is i a multiple of 12?
True
Suppose -49 = 3*l - 2*p, 4*p = 2*p - 2. Let x = 9 + l. Does 6 divide 0 - x - (3 - 1)?
True
Suppose -2*w - 5 = -3*q, -4*q - 3*w = -w - 16. Suppose -4*a + q*a = -81. Is a a multiple of 27?
True
Suppose -4*c + 126 = -126. Is c a multiple of 21?
True
Let r(b) = 11*b + 67. Does 30 divide r(10)?
False
Suppose -12*o + 3*o = -351. Is o a multiple of 5?
False
Let r = -8 - -16. Does 4 divide r?
True
Let c be 2 - (-2 - -5) - -1. Suppose 0 = 5*t - 2*q - 25, c = -t - 0*t - q + 12. Is 2 a factor of t?
False
Let u(p) = -p**2 - 24*p - 28. Is 3 a factor of u(-22)?
False
Suppose 0 = -6*h + h + 4*w + 132, -2*h + 42 = 2*w. Is 6 a factor of h?
True
Suppose -6*w + 36 = -2*w. Let u = 2 + -1. Let z = u + w. Is 6 a factor of z?
False
Suppose -15 = -5*s - 0. Suppose s*u - u = 162. Does 27 divide u?
True
Let v = -56 - -83. Is v a multiple of 9?
True
Let a(j) = 8*j**3 + 4*j**2 - 3*j. Let d be a(3). Suppose -4*k - d = -7*k. Suppose 3*v - 33 = k. Is 10 a factor of v?
False
Let a = -18 + 26. Is 13 a factor of (2 - (-4 + a)) + 28?
True
Let v(g) = -g**3 - 12*g**2 + 1. Let r be v(-12). Is 27 a factor of 489/6 + r/(-2)?
True
Suppose -2*p - 3*p = 35. Let h = p + 7. Suppose 0*a + 4*a + d - 54 = h, -57 = -5*a + 4*d. Is a a multiple of 5?
False
Suppose 4 + 21 = 5*n. Suppose n = 3*i - 79. Does 23 divide i?
False
Suppose 2*a = -a + 60. Let g = -30 + a. Let m(i) = -3*i - 15. Does 5 divide m(g)?
True
Suppose -4*a = -4*r - 3*a + 578, 5*a = 4*r - 570. Does 6 divide r?
False
Suppose 2*o - 2 - 2 = 0. Suppose 2*s + 3*s = 4*a - o, -4 = -2*s. Is a even?
False
Let h(d) = -3 + 3*d - 2*d + 4*d**2 + 0. Let j(l) = -l. Let v be j(3). Is 15 a factor of h(v)?
True
Let m(z) = -31*z - 1. Is m(-1) a multiple of 5?
True
Let l(x) = -x**2 - x + 4. Let c(m) be the second derivative of -m**4/12 + 3*m**2/2 - 3*m. Let u(p) = 3*c(p) - 4*l(p). Does 5 divide u(-6)?
True
Suppose -2*i = -0*i. Let q(k) = -k**3 - k + 8. Is q(i) a multiple of 3?
False
Suppose 9 + 21 = 2*k - 4*j, -4*j = k - 3. Is 5 a factor of k?
False
Let v = 6 + -4. Suppose 0 = 3*l + 3, 5*c = v*l - l + 26. Let x = c + 1. Is 4 a factor of x?
False
Let b(u) = -u**3 - 6*u**2 - 6*u. Let m be b(-5). Let y = m - 5. Suppose y*n - n = -10. Does 7 divide n?
False
Suppose 0 = -3*v + 5*c - 4 + 13, 0 = 5*v - 3*c - 15. Suppose -3*b + 89 = -6*p + p, v*p = 5*b - 175. Is b a multiple of 19?
True
Let d be 129/9 + 2/3. Suppose -v - i = -d, -3*v + 2*v = -i - 21. Does 8 divide v?
False
Let t(f) = f**3 + 10*f**2 - 16*f + 1. Let x(p) = -p**2 - 4*p + 5. Let k be x(-5). Suppose k*i + 2*i = -22. Is 18 a factor of t(i)?
False
Let b be 92/10 + 2/(-10). Let y = 13 - b. Let i(t) = 6*t - 2. Is 17 a factor of i(y)?
False
Let t(h) = -h**2 + 6*h + 7. Let y be t(7). Let v(o) = o**3 - o**2 + o. Let b be v(y). Suppose 79 = u - 3*a - 2*a, 5*u + 2*a - 314 = b. Is 23 a factor of u?
False
Let b(o) = 5*o**2 - 45*o - 29. Let n(a) = a**2 - 11*a - 7. Let z(w) = -2*b(w) + 9*n(w). Does 9 divide z(-7)?
True
Suppose k - 4*z - 102 = 74, 3*k = -5*z + 511. Is (0 - (-3)/12)*k a multiple of 12?
False
Let t = 86 - 37. Is t a multiple of 22?
False
Suppose k = -2*k + 288. Does 16 divide k?
True
Let n be -2 + 3 - (1 - 0). Suppose -113 = -2*r - 3*r - 4*j, -2*j + 4 = n. Is 7 a factor of r?
True
Let t = 81 - 3. Does 13 divide t?
True
Let n = -18 - -41. Let r = -2 + n. Does 6 divide r?
False
Suppose 0 = 4*c - 2*g + 5*g - 303, -3*c = -3*g - 201. Suppose -2*w = -c - 18. Is w a multiple of 15?
True
Let j(o) = -o**3 + 6*o**2 - 2*o - 3. Let i(z) = -z**3 - 2*z**2 - z - 1. Let d(k) = k**2. Let m(q) = -6*d(q) - i(q). Let a be m(4). Is 12 a factor of j(a)?
True
Let c = -52 + 73. Does 7 divide c?
True
Is 12 a factor of 19/((-2)/(1 + -3))?
False
Is (-12)/9 - (-5)/(-3) - -24 even?
False
Suppose -7 = -y + 5. Let z be y + 1 + (8 - 8). Suppose 3 = -2*g + z. Is g a multiple of 2?
False
Suppose 4*c + 8 = -4*w, -7 + 1 = 3*c. Suppose -5*b = -w - 10. Suppose 2*x = -5*p - b*x + 213, 0 = p + 5*x - 51. Is 17 a factor of p?
False
Let h = 75 - 39. Is 12 a factor of h?
True
Suppose -35*y + 2220 = -29*y. Does 10 divide y?
True
Suppose -s - 1 = -36. Is 8 a factor of s?
False
Let h = -181 - -262. Is 27 a factor of h?
True
Let u(i) = -7*i**2 + 14*i - 4. Let r(m) = -3*m**2 + 7*m - 2. Let d(z) = 5*r(z) - 2*u(z). Does 4 divide d(5)?
True
Suppose -w - 2142 = -8*w. Is w a multiple of 19?
False
Suppose -y = -2, 4*i - 3*y = y + 4. Suppose 0 = -i*v + 100 - 16. Is 9 a factor of v?
False
Let y = -9 + 7. Let a(d) = -6*d**3 - 4*d**2 - d + 2. Is 12 a factor of a(y)?
True
Let z = -44 + 53. Is z a multiple of 7?
False
Suppose j + 2*b - 51 = 0, 3*j + 4*b = 3*b + 173. Let y = j + -38. Is y a multiple of 7?
True
Suppose 4*j - 32 = 4*q, -10 = -2*q + 4*q. Suppose -4*i + 0*f + 48 = 4*f, -4*i + 47 = j*f. Let z = 31 - i. Is 10 a factor of z?
True
Suppose 0 = 5*h - 2*h - 234. Does 18 divide h?
False
Let j = 2 + 0. Suppose -j*i = y - 6, -3*y = -2*i - 0*y + 14. Is (6 - 2) + (i - 3) a multiple of 2?
False
Let c = -94 + 103. Is 3 a factor of c?
True
Let k(g) = -25*g**2 - 2*g - 4. Let t be k(-4). Is 9 a factor of 3/(3 - t/(-136))?
False
Let x be 0 - -1 - (1 + -5). Suppose g + 4*v = 16, -v + 0 + x = 0. Let z(r) = r**2 + 2*r - 2. Is z(g) a multiple of 4?
False
Let m(x) = -x**3 - 3*x**2 + 3*x + 6. Let d be m(-4). Suppose 3*b + 0*b + d = -5*o, 4*b - 3*o = -23. Let i = b - -11. Does 6 divide i?
True
Let h(s) = -17*s**2 + s + 1. Let g be h(2). Let t = g - -175. Is 28 a factor of t?
False
Let g = 15 - 2. Does 8 divide g?
Fa