2 + 6*a + 3. Suppose -2*x - 21 = -4*s - x, 5*x = -5. Let k be t(s). Let j = k + -3. Is j a multiple of 4?
False
Let s = 122 + -2. Is s a multiple of 24?
True
Suppose 5*c + 0*x - 77 = -2*x, 3*x = 3. Let h(u) = 4*u - 21. Let j be h(11). Let r = j - c. Is 8 a factor of r?
True
Suppose 0 - 4 = s. Let f be s/6 - 38/(-3). Is (-646)/(-26) + f/78 a multiple of 16?
False
Does 16 divide (-59)/(-2)*(-2 - -4)?
False
Let f = -7 - -11. Suppose 5*t = 2*t - 5*m, t - m = 0. Suppose -n - f*c + 56 = n, 3*n + c - 79 = t. Is 13 a factor of n?
True
Suppose 52 = 4*g - 3*p + 7*p, -g = 4*p - 1. Does 7 divide g?
False
Suppose 6*m = q + 4*m + 3, -q - 3 = 3*m. Let l(t) = -t**3 - t**2 - 4*t - 3. Does 9 divide l(q)?
True
Let o(r) = -r**2 - 3*r - 2. Let t be o(-2). Suppose t = -2*s - 0*s + 62. Does 18 divide s?
False
Suppose 53*a - 78 = 52*a. Is 24 a factor of a?
False
Let k = -138 - -85. Let l = 93 + k. Does 13 divide l?
False
Let x = 88 + -25. Is x a multiple of 18?
False
Suppose 8*r - 4*r = 20. Let x = -57 + 82. Suppose -n + 73 = 4*y, r*n + 18 = 4*y - x. Is y a multiple of 13?
False
Let z(v) = v**3 - v**2 - 4*v + 5. Let u be z(2). Let t = u + 18. Is t a multiple of 4?
False
Let d be (-298)/4 - (-5)/(-10). Let x = -45 - d. Does 15 divide x?
True
Let o be 2/(-2) + (-9)/(-3). Let c(q) = 95*q + 3 + 4 - 91*q - 5. Is 6 a factor of c(o)?
False
Let p be ((-522)/4)/((-6)/8). Suppose 5*b = -34 + p. Let c = -10 + b. Is c a multiple of 9?
True
Suppose -5*g + 15 = -0*g. Suppose z + 3*z = g*f - 162, f - 38 = -4*z. Is 22 a factor of f?
False
Let t = 9 + -4. Suppose 0 = -b + t*q + 61, 4*b - 2*q - 106 = 48. Does 6 divide b?
True
Let o(b) be the second derivative of -b**4/12 + 19*b**3/6 - 15*b**2/2 - 4*b. Does 27 divide o(14)?
False
Suppose 5*a + 4*m = 144, 2*a + a - 5*m - 116 = 0. Is a a multiple of 4?
True
Suppose 5*b = b + 16. Suppose -5*n - 2*m - 21 = 0, -b*m - 14 = 5*n + 3. Let a(f) = -f**3 - 5*f**2 - f + 5. Is a(n) a multiple of 5?
True
Suppose 0 = -3*l - 5*y + 73, 2*l + 3*l + 3*y - 127 = 0. Does 7 divide l?
False
Suppose o - 4 = -5, 0 = 5*r + 5*o + 50. Does 8 divide 2/r - 74/(-9)?
True
Let y(c) = -c**3 + 6*c**2 - 3. Let p = -29 - -52. Suppose 0 = -4*b + p - 7. Is 11 a factor of y(b)?
False
Suppose -2*l - 272 = -6*l. Let o = -60 - -112. Suppose o = 4*w - l. Is w a multiple of 15?
True
Let d = -5 + 9. Let y(t) = -5*t + 2. Let x be y(d). Does 5 divide 9/(6/(-2)) - x?
True
Is 4 a factor of ((-15)/(-5))/(12/80)?
True
Suppose 3*k + 9 - 40 = -5*f, f = -4*k + 13. Suppose -k*l + 6*l - 48 = 0. Is 4 a factor of l?
True
Let m = 14 + -9. Suppose 4*u - 3*u = o - 18, u = -m*o + 120. Is 8 a factor of o?
False
Suppose 0*k - 4*t + 14 = -2*k, k - 5*t = -19. Let f be (0 + 0 + 1)/k. Is (21 - f) + 0/(-2) a multiple of 9?
False
Suppose 0 = -s + 2*s + 3, 0 = -3*p + 3*s + 195. Is p a multiple of 62?
True
Let m(x) = -x + 6. Does 5 divide m(0)?
False
Suppose 40 = 2*u - 4*k, 29 = 4*u - 2*k - 51. Let i = u - 34. Is -93*(i/6 + 2) a multiple of 10?
False
Suppose 4*o + 18 = 2*o. Does 5 divide (0 - -1 - o) + 3?
False
Suppose 2*i - 5*i = -108. Does 14 divide (-4)/(-18) + 496/i?
True
Suppose 5*s + 72 = 5*z - 8, z - 32 = 2*s. Let r = 55 + s. Does 13 divide r?
True
Suppose -4 = -f - f. Let g(p) = 7*p - 3*p**2 - 3*p + 3 + 3 + 4*p**f. Does 11 divide g(-6)?
False
Let u = 3 + 1. Suppose -4*w - 26 = -u*b + 54, 2*b - 31 = 5*w. Is 13 a factor of b?
False
Let m = -10 - -14. Suppose 0 = -m*z - 5*f + 170, -f + 162 = 4*z - 0*z. Is 10 a factor of z?
True
Let a(w) = w**2 + 4*w + 2. Let x be a(-4). Let g = x - 0. Suppose 0 = g*k - 4*o - 68, 0*k + 62 = 2*k + 2*o. Is k a multiple of 12?
False
Suppose -11 = -5*t - 1. Does 11 divide (t - -2)*1*7?
False
Suppose -5*m + 6*m = -4*h + 34, 5*h = 0. Suppose 12 = 6*s - 4*s. Let y = m - s. Does 14 divide y?
True
Let y(j) be the second derivative of j**3/6 - j**2 - 3*j. Let w be y(4). Is 11*w - (5 - 4) a multiple of 6?
False
Let t be ((-8)/6)/(10/(-15)). Is 17 + (-1 - t - 0) a multiple of 7?
True
Let z = -3 - -5. Suppose w - 2*o + 10 = 0, z*w = -2*w - 4*o + 20. Suppose 0 = -w*j + 4*j + 4, 2*j + 11 = i. Is 8 a factor of i?
False
Let a be (3 - 2)/1 + 2. Let t(j) = -2 - 3*j - j + a. Does 9 divide t(-5)?
False
Let p = 4 - 2. Let n(f) = 9*f**3 - 3*f**2 + 3*f - 1. Is 21 a factor of n(p)?
False
Is 7 a factor of (4/10)/((-2)/(-60))?
False
Let t = -11 + 13. Suppose -g = -4*w - 23, 0 = 3*g - t*w - 0*w - 109. Is g a multiple of 11?
False
Suppose -2*n + 0*n + 4*s = -264, 0 = -2*n + s + 252. Does 9 divide (-4)/(-14) - n/(-7)?
True
Let o = -11 - -37. Does 5 divide o?
False
Let x(w) = w - 1 + 2*w - 12. Does 14 divide x(9)?
True
Suppose 0 = -n - 6*n - 21. Does 14 divide 46 - (n - -11)/2?
True
Let m be 62/4 + (-2)/4. Let p = m + -24. Is (-375)/p + (-1)/(-3) a multiple of 15?
False
Let q be 1 + -3 + -2 + 9. Let z(f) = -f + 9. Let c be z(q). Suppose -35 = -c*m - o - 0, 2*o + 11 = m. Is 3 a factor of m?
True
Let o(u) = -u**3 - 2*u**2 - u - 2. Let a(c) = -c**2 - c - 3. Let y(g) = -2*a(g) + 3*o(g). Let v be y(-3). Suppose 4*k - v = -0*k. Is 12 a factor of k?
True
Suppose 0 = -a + 4*m + 32, -2*a = -0*a + m - 73. Does 26 divide a?
False
Let v be (-7 - -31)*2/(-4). Is (1*v)/(-1 + 0) a multiple of 3?
True
Let t(h) = -h**2 + 17*h - 12. Does 16 divide t(9)?
False
Suppose -2*j = 5*j - 63. Is j a multiple of 3?
True
Let s = 213 + -63. Does 50 divide s?
True
Let h be (-2 + 5)/(3/16). Suppose 2*o + 94 = 5*j, -j - 5*o = -h - 19. Is 8 a factor of j?
False
Suppose -5*p + 155 = 2*t + 31, 17 = p + 3*t. Does 13 divide p?
True
Suppose -3*u = -6, -73 = -2*r - 3*u + 51. Is r a multiple of 5?
False
Suppose 3*b = 45 + 45. Suppose -5*y = 5*j - b, -3*y = -4*y + 2. Suppose 2*s - 48 = 4*u, -j*s - 13 + 91 = u. Does 10 divide s?
True
Let w = 22 - 18. Suppose -136 = -0*t - w*t. Is 17 a factor of t?
True
Does 6 divide 39 + -45 - 152/(-1)?
False
Suppose 4*u = 2 + 6. Suppose 0 = u*v + 2*v - 112. Is v a multiple of 24?
False
Let o be (-3)/15 + 48/15. Let h = o + 2. Suppose d = -3*d - h*w + 88, -w - 58 = -2*d. Is d a multiple of 11?
False
Let k be (-3 - (-120 - 0)) + 0. Suppose 2*u = -l + 94, -140 = -3*l - u + k. Suppose -d + l = 2*d. Does 14 divide d?
True
Suppose 20*g + 127 = 21*g. Is g a multiple of 7?
False
Let s = 112 - 89. Is 18 a factor of s?
False
Let w(z) = -57*z - 9. Does 21 divide w(-2)?
True
Let a = 8 + -6. Suppose 3*k = a*k - n + 21, k - 11 = 4*n. Does 19 divide k?
True
Suppose 5*n = 2*n + 1560. Suppose -q = -6*q + n. Suppose -4*x + 4*i + q = 0, 3*x - 2*i + 36 = 5*x. Is x a multiple of 8?
False
Let j = 4 + -2. Suppose 0 = p - 0*p - 4. Suppose 2*n - 4*y - 28 = 0, -j*n - 4*y = -n + p. Is 5 a factor of n?
False
Suppose -3*w = -69 - 12. Let d = -11 + w. Does 9 divide d?
False
Is (4 + 27/(-6))*-44 a multiple of 11?
True
Let n = -74 + 105. Let c(w) = -w**3 - 4*w**2 + 2*w - 2. Let d be c(-3). Let a = d + n. Is 12 a factor of a?
False
Let q(k) = -k + 4. Let s be q(4). Suppose 4*b - b - 36 = s. Is 12 a factor of b?
True
Let o(t) = -t**2 + 12*t + 8. Suppose j + 10 = 6*j. Suppose 0 = -2*h + j*l + 16, -2*h - 2*l + 6 = l. Does 13 divide o(h)?
False
Suppose -5*q + 4*t - 115 = 0, -4*q - 2*t - 21 = 97. Let g = 6 - q. Is 12 a factor of g?
False
Let l = 68 + -38. Does 3 divide l?
True
Suppose 15 - 37 = -2*o. Let g = o - -14. Does 19 divide g?
False
Suppose 0 = 3*s - 0*s - 6. Is 7 a factor of ((-5)/s + -3)*-2?
False
Suppose -41 = -2*w + 39. Is w a multiple of 20?
True
Let c = -4 - -28. Does 12 divide c?
True
Let b(c) = c**3 + 4*c**2 - 6*c - 7. Let m be b(-5). Let w be -6*(-1)/m*-59. Suppose -4*p = -0*p - 5*d - w, 0 = 4*p - d - 157. Is p a multiple of 14?
False
Suppose -80 = g - 2*g. Suppose -g = -5*v + 5*p, 5*v + 4*p + 15 = 95. Does 16 divide v?
True
Let k(j) = 1 + 2 + 0*j**2 - j - 2 + j**2. Let r be k(2). Suppose 0 = -5*m + r*o + 2*o + 110, -o - 88 = -4*m. Is 8 a factor of m?
False
Let q(z) = 29*z - 3. Does 34 divide q(4)?
False
Let v = 67 + -27. Let t = 2 + v. Does 14 divide t?
True
Let f(t) = t**3 - 7*t**2 - 6*t - 4. Let k be f(7). Let g = 104 + k. Suppose 19 = s + 2*p, 4*s = -0*s - 2*p + g. Is s a multiple of 5?
False
Suppose k = 3*f - 1, -2*f - 1 = -2*k + f. Suppose 0 = k*l - 129 - 71. Suppose -3*m = m - l. Is m a multiple of 25?
True
Suppose 4*k - 15 = -k. Suppose -2*x = -0*x, -3*x = -k*h - 3. Let g = h + 21. Does 7 divide g?
False
Let n(w) = -