) a multiple of 12?
True
Let w = 15 + -10. Suppose -b - w*t = -4, -12 = 5*b + t - 32. Suppose 80 = u + b*u. Does 16 divide u?
True
Suppose 5*l - 4*f + f + 6 = 0, 4*l = 3*f - 3. Let x = 6 - 15. Is l*x*(-2 - -3) a multiple of 14?
False
Let c be 0 - -19 - (-12)/(-3). Suppose -7 = 2*p + 2*p - 5*v, -p + 4*v - 10 = 0. Suppose -5*u = p*b - 31, 0 = -0*u + 5*u + c. Is 10 a factor of b?
False
Let v = -2315 - 201. Is 21 a factor of (-4)/22 + v/(-44)?
False
Let i(l) be the first derivative of l**2 - 1. Let y be i(2). Suppose y*x = -1 + 37. Does 9 divide x?
True
Let v = 238 + -13. Is v a multiple of 14?
False
Suppose 6 = a - 8. Is a a multiple of 8?
False
Let y(r) = -15*r**3 - 1. Suppose -z = 5*q - 3 - 6, q = 3*z + 5. Is y(z) a multiple of 14?
True
Let o(j) = -j**2 + 9*j + 4. Suppose -24 = -4*k - 2*f, -5*f - 31 = -4*k + k. Suppose 40 = k*h - 2*h. Does 6 divide o(h)?
True
Let h be (-9 - -2)*(-2)/7. Suppose 105 = 5*t - x, 33 + 36 = h*t + 5*x. Is t a multiple of 6?
False
Suppose -4*n - 2*a = -n - 42, -n + 10 = 2*a. Let i be 4/22 - 6/33. Suppose i*m = -2*m + n. Does 3 divide m?
False
Suppose -2*j - 1400 = -4*u, -2*u - 3 + 687 = 3*j. Is u a multiple of 58?
True
Suppose 4*h + 2*c - 16 = -6, 5*c = 2*h + 1. Suppose 19 = -h*t + 49. Suppose -6*x + t = -x. Is 3 a factor of x?
True
Is 3 a factor of (9/(-2))/((-5)/10)?
True
Let a = 710 - 415. Suppose 4*l + 27 = 3*x - 146, 5*l + a = 5*x. Is 17 a factor of x?
False
Suppose 0 = -5*w + 303 + 97. Is w a multiple of 16?
True
Let g be 50/4 - 6/(-4). Suppose g = 2*h + 6. Is (-7)/((-2)/h - 0) a multiple of 14?
True
Let x = 14 - 11. Let f be (-19)/3 - 2/3. Let t = x - f. Is 7 a factor of t?
False
Suppose z + 6 - 75 = 0. Does 23 divide z?
True
Let t(l) = l**2 - 7*l + 4. Is 6 a factor of t(9)?
False
Let v = 40 - 15. Is v a multiple of 5?
True
Suppose 0*q = 2*q - 14. Suppose 0 = -z + q + 9. Does 8 divide z?
True
Let q = -2 + 6. Let h = -2 + q. Suppose -h*k = -2*o + 6, 4 = o - 3*k + 3. Is o a multiple of 4?
True
Let o = -9 + 17. Does 8 divide o?
True
Let l(f) = -f**2 - 23*f + 2. Is 26 a factor of l(-19)?
True
Let x = 2 - 2. Suppose -4*o + m + 51 = x, -2*o - m + 25 = -2*m. Is o a multiple of 7?
False
Suppose 2*k - 3*s + 6*s = -10, 4*s + 17 = k. Let w be 18*2*k/(-4). Is (-6)/w*(-1 - -31) a multiple of 14?
False
Let q(d) = 3*d**2 + 5*d - 4. Let a = 0 + 3. Does 10 divide q(a)?
False
Let t(a) = 4*a - 1 - a**2 - 2*a**2 - 2 + 5*a**2. Let y be 7/3 - 2/6. Does 13 divide t(y)?
True
Let b(t) = 2*t**2 + 3*t - 4. Suppose 2*m - m - 8 = -2*i, -3*m = -3*i - 6. Is b(m) a multiple of 20?
True
Does 27 divide (81/(-1))/(-2 + (-3)/(-6))?
True
Let x(l) = l**3 + 16*l**2 - l - 11. Does 5 divide x(-16)?
True
Let v = 11 + -2. Let w = 19 - 18. Suppose v - w = y. Does 3 divide y?
False
Let a = 11 - 11. Suppose -53 = -n - d, n + a*n + 4*d = 59. Is n a multiple of 17?
True
Let a = 4 + -4. Suppose 38 = -0*s + s + 5*p, -188 = -4*s - 2*p. Suppose 4*w + a*w - s = 0. Does 12 divide w?
True
Suppose 2*p + 6 = 0, r - 2*p = -5*p + 3. Let w(t) = -t**2 + 15*t + 2. Is w(r) a multiple of 18?
False
Suppose 2*q - 20 = -2*c, 0 = -c - c - 4*q + 28. Let k = c - 8. Let p(o) = 8*o**2 - 2*o. Is p(k) a multiple of 18?
True
Suppose -m - 3 = -2. Let q be (m - -3 - -129) + -2. Does 20 divide (1 - -1)*q/6?
False
Let s = -81 - -144. Is s a multiple of 24?
False
Does 7 divide ((2295/12)/15)/(6/16)?
False
Suppose 16 = 3*g + g. Suppose 4*y = s - 32, 7 = g*y - 9. Suppose 4*p + s = -2*o + 6*o, 0 = -5*p - 20. Is 3 a factor of o?
False
Suppose -4*m = -0*c + c - 13, 0 = -5*c - m - 30. Let j(h) be the third derivative of -5*h**4/24 - 4*h**3/3 - 4*h**2. Is j(c) a multiple of 9?
True
Let a = -117 + 169. Suppose -2*u + u - a = 0. Let i = -35 - u. Is i a multiple of 17?
True
Suppose 2*w + 2*z + 24 = 4*w, -3 = -3*z. Suppose -153 + w = -4*i. Does 13 divide i?
False
Let x(z) = 3*z**2 + 7*z + 50. Let m(w) = -w**2 - 3*w - 25. Let i(a) = -5*m(a) - 2*x(a). Let t be i(0). Suppose t = 2*s - 31. Is s a multiple of 14?
True
Is 6 a factor of 91/6 - (-2)/(-12)?
False
Let w be (-2)/(-1)*-2*-1. Let q = 4 - w. Suppose -4*j + 8 + 0 = q. Is j even?
True
Let b(x) = 8*x + 3. Let z = -3 + 8. Does 11 divide b(z)?
False
Suppose f + 96 = 3*j, 8*j + 5*f - 128 = 4*j. Is 16 a factor of j?
True
Suppose 4*i + 4 = 5*i. Does 4 divide i?
True
Suppose -4*t + 292 - 62 = -z, -t = -2*z - 61. Let m = t + -37. Is 9 a factor of (-2)/(1 + 1) + m?
False
Let i(f) = f**2 - 6*f - 5. Let z be i(6). Is 10 a factor of 20/1 - (z - -7)?
False
Let k(x) = -72*x + 10. Let f be k(-8). Does 12 divide f/14 - (-4)/28?
False
Suppose -3*u = u - 2*s - 58, 4*u - 3*s = 59. Is 7 a factor of u?
True
Let a = -1 + 157. Is a a multiple of 13?
True
Suppose -6*j = 107 - 1097. Does 43 divide j?
False
Let s(n) = 4*n**2 + 2*n + 2. Let w(v) = -15*v**2 - 9*v - 9. Let j(c) = 9*s(c) + 2*w(c). Let t be j(-2). Suppose q - t = -q. Is 6 a factor of q?
True
Let b(i) = -i**3 + 9*i**2 + 8*i - 3. Let f = 14 + -5. Does 23 divide b(f)?
True
Let b = 6 - 4. Let s = -11 + 1. Let i = b - s. Is 6 a factor of i?
True
Let p(n) = -4*n - 14. Let l be p(-9). Suppose 0*y + 2*h = -2*y + l, 2*h - 36 = -3*y. Does 14 divide y?
True
Is (2/(-5))/(3/(-600)) a multiple of 8?
True
Suppose -4*r + 121 + 23 = 0. Suppose -n - r = -5*n. Suppose 0 = v - 4*a - n, -a = 0. Is 9 a factor of v?
True
Let n(j) = -9*j**3 - 2*j**2 + 2*j. Let s = 22 + -24. Is n(s) a multiple of 20?
True
Suppose -3*g = 3*k - 1 + 7, -5*k - 2*g = -2. Let w(d) = 10*d**2 - 2*d + 3. Is 13 a factor of w(k)?
True
Suppose 2*d + 3*x - x + 6 = 0, 4*d + 3*x = -9. Suppose d = -s - s. Suppose 4*r + s*r = 28. Does 3 divide r?
False
Let u(t) = 3*t**2 + 33*t + 17. Does 25 divide u(-13)?
False
Suppose -4*r = -r - 51. Let z = 83 - r. Does 22 divide z?
True
Let t(x) be the third derivative of -x**6/15 - x**5/60 - x**4/24 - x**3/6 - 3*x**2. Does 3 divide t(-1)?
False
Let u(p) = 46 - p**2 + 2*p + 11*p - p**3 - 13*p. Is 23 a factor of u(0)?
True
Let a be (2 - 4)/(2/(-57)). Suppose 0 = 4*p - 23 - a. Is 12 a factor of p?
False
Suppose -4*y + 303 = 63. Does 12 divide y?
True
Let u(q) = q**3 + 2*q**2 - q. Let v be u(-2). Let w = 1 - -6. Is 12 a factor of -24*(v + w/(-2))?
True
Let x(u) = -u**2 - 8*u + 3*u + 4*u + 12. Is 5 a factor of x(0)?
False
Let x(k) = k. Let d be x(3). Let q = -3 - -6. Suppose q*o + 8*n - d*n = 27, -2*n = 2*o - 14. Does 3 divide o?
False
Let t(o) = o**3 - 6*o**2 + 3*o + 10. Let v be t(5). Is 28 a factor of -2 + 77 + v + 2?
False
Suppose -16 = -q - 3*q + 2*l, l = -5*q + 6. Suppose -u + 68 = -m + 5*m, q*u + 24 = 2*m. Does 8 divide m?
True
Let j(z) = -3*z + 12. Let f be j(5). Does 10 divide (-2 - 46)/f + -1?
False
Let l(d) be the second derivative of 1/3*d**3 + 0 + d - 3/2*d**2 + 1/12*d**4. Does 4 divide l(-4)?
False
Let k(a) = -a - 2. Let y be k(-4). Suppose y*s - 7 = 1. Is s a multiple of 4?
True
Let u = 247 + -143. Is 13 a factor of u?
True
Does 16 divide 4/(-18) - 2513/(-9)?
False
Is (-11)/(308/(-3648)) + (-4)/14 a multiple of 13?
True
Let f = 2 + 14. Is 8 a factor of f?
True
Let r be 38 + 1/(-2)*2. Let l = r + 0. Let t = l - 21. Does 6 divide t?
False
Suppose 6*j - 357 + 27 = 0. Is j a multiple of 11?
True
Let a(f) = f**3 + 3*f**2 + 2*f - 4. Is a(3) a multiple of 28?
True
Suppose -3*z + 2 + 4 = -4*j, -4*z = 3*j - 33. Does 16 divide (z/(-3) + 6)*10?
False
Does 8 divide (-2)/13 - (-483)/13?
False
Let x(w) = -3*w + 10. Let o be -2 + 1 + -2 + 12. Let p(t) = 7*t - 20. Let l(c) = o*x(c) + 4*p(c). Is 11 a factor of l(9)?
False
Suppose 5*r - 30 = -r. Does 5 divide r?
True
Let c(i) = 7 + 2*i**2 + 4*i**2 - 2*i**3 - 6*i - 1. Let y be c(4). Let q = -32 - y. Does 14 divide q?
False
Let x be (4 + -2)/((-4)/4). Let i be (-3)/(x + 41/21). Suppose 5*u = 2*u + i. Does 19 divide u?
False
Suppose -i = 3*i - 204. Is i a multiple of 17?
True
Let p = -9 - -12. Suppose 72 = 2*u - 4*s, -p*s + 78 + 76 = 5*u. Does 10 divide u?
False
Suppose 104 + 360 = 4*l - 4*g, 308 = 3*l + 5*g. Is l a multiple of 15?
False
Let n(b) = -b**3 - 6*b**2 + 6*b - 5. Let k be n(-7). Suppose 24 = 3*a + k*u, -2*a + 3*u + 3 = -0. Is a a multiple of 6?
True
Suppose -15*k = -18*k + 54. Is k a multiple of 7?
False
Let o be ((-84)/3 + 0)/(-1). Suppose 2*k + 3 = -1, 0 = m + 4*k - o. Is m a multiple of 27?
False
Suppose 2*n - 14 - 30 = 0. Suppose c - n = -4*p + 3, 0 = -3*p + 2*c + 5. Is 9 a f