of 14?
True
Suppose 4*y = -5*t + 5, -t + 5*t - 2*y = -22. Let o = -1 - t. Suppose -u + 32 = -2*v, -5*v + o = 2*u - 17. Is u a multiple of 11?
True
Let l = 0 + -2. Does 3 divide l*9/(-6) - -2?
False
Let n be (-6)/21 + 32/14. Suppose 4*r + 3*l + l - 72 = 0, n*r - 36 = l. Suppose -r = -2*g + g. Is g a multiple of 9?
True
Suppose p + 0*p + 3*q + 10 = 0, -3*p + 20 = -q. Is p even?
False
Is (-725)/(-10) - 1/2 a multiple of 8?
True
Does 3 divide 10*((-54)/(-15) + -2)?
False
Suppose -3*b = -n - 7*b + 56, -12 = 3*b. Is n a multiple of 28?
False
Let s be (-3)/(-5) + (-6)/(-15). Is 6 a factor of (s*2)/((-3)/(-18))?
True
Let f = 47 - 25. Is f a multiple of 8?
False
Does 3 divide ((-4)/(-6))/((-16)/(-168))?
False
Suppose k = -2*k. Suppose k*c + 3 = c. Suppose 10 = -c*j + 43. Is 6 a factor of j?
False
Let w(r) = -r**2 + 2*r + 44. Let s = -15 - -15. Is 22 a factor of w(s)?
True
Suppose 5*l - 36 = 9. Is 3 a factor of l?
True
Suppose -4*k = 20, 2*h + 25 = k - 2*k. Let n = h - -27. Is 17 a factor of n?
True
Let n be 3 - (2 - 0/1). Let j be 66/(-24) - n/4. Does 6 divide (2/3)/(j/(-54))?
True
Suppose w - 25 = -8*g + 3*g, 3*g - 22 = -2*w. Let k(s) = -s**3 + 5*s**2 + 6. Let y be k(w). Is 10 a factor of (-4)/y - (-70)/6?
False
Let o(v) = 3*v - 9. Is 13 a factor of o(17)?
False
Let u be (-15)/2*184/(-10). Is 15 a factor of (u/(-9))/(-2)*3?
False
Let x(j) = -j**3 + 5*j + 2. Let d = -7 - -4. Is 14 a factor of x(d)?
True
Let t(m) = -2*m**2 - 1 - 1 + 0*m**2 - m**3 - 2*m. Let d be t(-2). Suppose 0 = -3*a - a + d*h + 24, 4*a - 4*h = 32. Is a a multiple of 4?
True
Suppose z + 2*z = 0. Suppose 4*t + u - 174 = z, 5*u = -0*u - 10. Does 22 divide t?
True
Let g(o) = -o**3 + 10*o**2 - 2*o - 4. Does 17 divide g(7)?
False
Let s(a) = a**2 - a - 1. Let m = -16 + 10. Does 14 divide s(m)?
False
Let j = 11 + 5. Is 8 a factor of j?
True
Let f(j) = j + 72. Let x be f(0). Suppose 4*c + 2*z = -0*z + x, 4*z = 0. Is c a multiple of 6?
True
Let v(q) = -15*q - 12. Is v(-6) a multiple of 18?
False
Let w = -2 - -4. Suppose 0 = 5*k - w + 12. Does 14 divide (-2)/k*(-104)/(-4)?
False
Let b(o) = 10*o + 1. Let p be b(-2). Is 22 a factor of 1 + 5 - 3 - p?
True
Let i(c) = 2*c + 18. Let n be i(-11). Suppose 6 = -w - 4*y - 5, 14 = 2*w - 4*y. Does 13 divide n*w - -2 - -15?
True
Let u = 19 + -10. Let a(r) = -3*r**3 - 2*r**2 + 22. Let b(d) = 13*d**3 + 9*d**2 - 87. Let s(k) = u*a(k) + 2*b(k). Is s(0) a multiple of 12?
True
Suppose 10 = 5*j - 0. Suppose -2*x - j*z = -30, -14 = -x - 0*x - 2*z. Does 15 divide x?
False
Suppose -3*i - 2*i - 6 = -3*r, -5*r = -2*i + 9. Suppose -4*z = -5*z + 2. Does 8 divide -2 + z - (-14 + r)?
False
Let t(v) = 32*v + 5. Let g be t(6). Suppose 0 = 5*p - g - 18. Is 10 a factor of p?
False
Suppose 3*r = 12, 0 = -3*l + r - 17 - 26. Let b = l + 37. Is b a multiple of 12?
True
Let t(w) be the first derivative of 7*w**4/6 - w**3/6 + w + 1. Let v(f) be the first derivative of t(f). Is 11 a factor of v(-1)?
False
Suppose -4*h = h - 55. Is 2 a factor of h?
False
Let c = 58 + -18. Is 10 a factor of c?
True
Let l = 170 - 107. Does 9 divide l?
True
Let l(j) = -j**2 + 9*j - 6. Let o be l(8). Suppose 0 = -o*s + 3*s - 2*k + 1, 0 = -s + k - 5. Let f = s - -24. Is f a multiple of 15?
True
Suppose 1 - 4 = -n. Suppose -2*r = -n*r + 32. Is r a multiple of 16?
True
Suppose 0 = 3*i - 2*a - 172, -5*i + 108 = -a - 181. Does 5 divide i?
False
Let h be (1 + -3)/((-7)/70). Does 6 divide 1/1 + -3 + h?
True
Suppose b + 11 = 3*b - 3*r, 15 = -5*r. Let m(p) = 6*p**3 + p**2 - p. Is m(b) even?
True
Suppose 4*p + 4*g - 7 = -g, -3*g - 9 = -2*p. Let b(y) = y**2 + 6*y - 1. Let u be b(7). Suppose -u = -6*n + p*n. Does 10 divide n?
True
Let d(f) = f**3 - 7*f**2 + 4*f - 8. Let a be d(6). Let m = a - -28. Is m a multiple of 4?
True
Let v(c) = 33*c**2. Let a = 24 + -23. Is v(a) a multiple of 11?
True
Let r(w) be the first derivative of w**4/4 + w**3/3 + w**2/2 + 16*w + 2. Is 8 a factor of r(0)?
True
Let n(j) = j**3 - j**2 - 1. Let d be n(-4). Let k = -45 - d. Does 17 divide k?
False
Let b(m) = -m**2 + 12. Is b(0) a multiple of 3?
True
Let g be (45/(-9))/(-1 - 0). Let j(x) = 10*x + 5. Is 22 a factor of j(g)?
False
Let l(y) = 6*y**3 - y**2 + 1. Suppose 3*n = 5*n - 6, -5*i + 20 = 5*n. Is 6 a factor of l(i)?
True
Suppose -10*k - 468 = -13*k. Does 16 divide k?
False
Suppose -3*r - 4*p = -50, 3*r = -p - p + 52. Suppose 7 - r = -z. Does 11 divide z?
True
Suppose o - 3*o + 8 = 0. Suppose 0 = -0*r - o*r + 72. Does 10 divide r?
False
Let b(x) = 4*x - 37. Is 25 a factor of b(16)?
False
Suppose -5*h + 3 = 2*f - 3*f, 5 = 5*h. Suppose -f*y + 53 - 5 = 0. Is 11 a factor of y?
False
Suppose -3*g + 8*g - 60 = 0. Let x(z) = -z**2 - z + 1. Let n be x(0). Let c = g + n. Is c a multiple of 9?
False
Suppose 413 = 6*s + 107. Is s a multiple of 51?
True
Let d = 3 + 1. Suppose 0 = 3*t + 3*y - 37 - 53, 0 = t + d*y - 33. Does 10 divide t?
False
Suppose 4*q = 5*q - 2. Suppose -q*b - 47 - 19 = 0. Let f = 50 + b. Is f a multiple of 12?
False
Let k(g) = 2 + 0 - g - 1. Let q be k(1). Suppose q*u - 40 = -4*u. Is u a multiple of 10?
True
Suppose 2*m = -3*k + 115, k - 4*m - 52 = -9. Is k/2 - (-1)/2 a multiple of 10?
True
Let i = -6 + 2. Does 15 divide -2 - (i - -2)*11?
False
Suppose 5*q + 155 = 5*w, -5*q = 2*w - 32 - 2. Suppose 0*h + h - w = 0. Suppose 26 = j - 3*s, -2*j + h = -0*j - s. Does 11 divide j?
True
Suppose 3*k + 2*c + 104 = 0, 0 = -0*k - 2*k + 3*c - 65. Let p = 70 + k. Is p a multiple of 18?
True
Suppose 0*u - 4*g = u - 7, 0 = -3*u - 5*g + 14. Suppose 4 = 4*f, u*m = -m - 5*f + 73. Is m a multiple of 17?
True
Does 32 divide 4/30 - 4918/45*-3?
False
Let n = -6 - -23. Let k = n - -41. Is 12 a factor of k?
False
Suppose 2*b - 4 = b. Suppose -3*z = 3*j + 33 - 159, -b = 2*z. Does 22 divide j?
True
Let u(s) = -15*s + 5. Let f be u(-5). Suppose 120 = -4*v + v + 4*t, f = -2*v - t. Let a = v + 72. Does 16 divide a?
True
Suppose -5*z - 10 = 0, -6*c - 4*z - 17 = -3*c. Let s = -7 - c. Let d = s + 13. Is 5 a factor of d?
False
Let r = 24 - 10. Is 14 a factor of r?
True
Suppose r - 4 = -3*f, 2*f = 4*f - 2*r - 16. Suppose -5*l = f*t - 24 - 21, t + l - 17 = 0. Does 5 divide t?
True
Let w = 3 - 3. Let j(a) = a**3 - a + 17. Is j(w) a multiple of 17?
True
Let q be (-32)/(-5) - (-4)/(-10). Let i = -4 + q. Suppose -5*x + 32 = -i*d, d = x + 2*x - 19. Is 6 a factor of x?
True
Let u(o) = 4*o + 2. Suppose -3*v = -2*y - 14, -v + 0*v = 2*y + 6. Is 10 a factor of u(v)?
True
Let y be (4 - (4 - 2)) + 14. Suppose -4*z = 12, -y = -2*r + 3*z + 21. Does 12 divide r?
False
Let x(r) = 2*r**3 + 6*r**2 - 3*r - 2. Let a be x(4). Suppose -2*v + a = 3*v. Does 6 divide v/8*8/3?
False
Let n(u) be the first derivative of -u**3/3 + 7*u**2/2 - 5*u + 3. Let x be n(5). Suppose -36 = -x*m - 2*s, -4*m + s + 21 = -0*s. Is m a multiple of 6?
True
Suppose -9*w + 312 = -5*w. Is 13 a factor of w?
True
Suppose -3*d - 11 = -5*z, -z + 5*d = -0*z - 11. Let m be (17*(-1 - -3))/z. Let u = m + -18. Is 8 a factor of u?
True
Is 14 a factor of (-3 - 4)/(2/(-12))?
True
Let k(j) = 3*j + 3*j + j - 3*j. Does 8 divide k(4)?
True
Let q(o) = -1 - 2*o + 5*o + 4 + 2*o**2. Let a be q(-2). Suppose 28 = a*k - 12. Does 4 divide k?
True
Is 270/(-4)*8/(-6) a multiple of 19?
False
Let w = 28 + -2. Is 13 a factor of w?
True
Let l = -180 + 128. Let h = l - -8. Let w = -27 - h. Is 11 a factor of w?
False
Let u(d) = d + 6. Let x be u(-4). Suppose -5*l + 5*k = 20, -k + 0 = 2*l + x. Is 9 a factor of 4/8 - 27/l?
False
Suppose -5*d - 25 = -5*z, 0*d - 4 = -4*d. Does 6 divide z?
True
Suppose -2*f + 0*k + 48 = -2*k, 0 = f + 3*k - 32. Does 9 divide f?
False
Let b(v) = -4*v - 2 - 2*v**2 - 2*v**2 + 5*v**2. Let s be b(5). Suppose 6 = 3*j, 3*i - s*j = -j + 2. Is i a multiple of 2?
True
Let x = 39 + -20. Let b = x + -11. Is b a multiple of 8?
True
Suppose -5*q - 424 + 24 = 0. Does 17 divide (q/12)/((-2)/15)?
False
Suppose -2*a + 2 = -s - a, 4*s = -5*a + 37. Suppose s*q = 4 + 5. Suppose -3*n + 0*n = -3, 0 = -q*c - 4*n + 31. Does 6 divide c?
False
Suppose 5*u = 4*h + 38 - 264, 2*h - 112 = 2*u. Is (h/(-12))/(2/(-20)) a multiple of 15?
True
Suppose -3*f + 0*f + 153 = 0. Is 18 a factor of f?
False
Suppose -490 = -8*o + o. Is 15 a factor of o?
False
Is 0 + (-11)/((-22)/36) a multiple of 6?
True
Let h be 78/21 + 2/7. Suppose -5*i + 6 = 4*m - 7*m, 0 