 multiple of 18?
False
Suppose -5*t = -253 - 507. Suppose 3*f - t = -f. Is f a multiple of 19?
True
Let v(t) = -t - 9. Let s be v(-6). Let w be 2 + s*(-3)/9. Suppose 2*f = -3*u - w*f + 71, 3*f + 143 = 4*u. Does 16 divide u?
True
Suppose -5*b + 34 = 2*w, 3 = 4*w - 5. Is b a multiple of 4?
False
Let n = 232 + -36. Suppose -n = -5*x - 21. Is x a multiple of 12?
False
Let m(v) = -9*v - 5. Is m(-10) a multiple of 17?
True
Let o(n) = n + 7. Let t be o(-5). Suppose -93 - t = -5*w. Is 17 a factor of w?
False
Let p = -60 - -89. Is 6 a factor of p?
False
Let k be 43/(-5) + (-6)/(-10). Let q = 23 + k. Let c = 2 + q. Is 11 a factor of c?
False
Let o(m) = 20*m**2 + m + 1. Let x = -3 + 2. Let w be o(x). Suppose -5 + w = 5*j. Does 3 divide j?
True
Let z = 24 + 6. Does 14 divide z?
False
Let o = 147 + -76. Does 15 divide o?
False
Let a(j) be the first derivative of j**3/3 + 3*j**2 - 16*j + 11. Is a(-12) a multiple of 28?
True
Suppose 0 = 2*j + 3*n - 176, -263 = -3*j - 2*n - 3*n. Suppose -3*c + 80 = -j. Does 19 divide c?
True
Suppose 8*m - 10*m = -114. Is m a multiple of 16?
False
Let c(b) be the first derivative of -b**4/12 + 3*b**3/2 - 3*b**2/2 + b - 1. Let i(k) be the first derivative of c(k). Is i(6) a multiple of 15?
True
Let j(x) = x**3 + 6*x**2 - 11*x - 7. Let w be j(-7). Suppose 5*r - 7 = m, 0 = -3*m - r + 2*r + w. Is 4 a factor of m?
True
Let i(c) = 2*c**3 - 8*c**2 + 2*c + 4. Let l be i(6). Suppose -b + 5*b = l. Is b a multiple of 10?
True
Suppose -9*b + 10*b = 31. Suppose -5*x + 94 + b = 0. Is x a multiple of 25?
True
Let z(k) = 4*k - 2. Let h = 8 - 4. Let y be z(h). Let j = 7 + y. Is j a multiple of 13?
False
Suppose 0 = 3*p - 3*o - 129, 3*p + 14 = 5*o + 147. Is p a multiple of 15?
False
Suppose 9*a - 210 = 4*a. Let z be 28/5 + 21/(-35). Suppose m - x = 2*m - a, -m = -z*x - 24. Is m a multiple of 13?
True
Let m be (-12)/(-8)*(-2)/3. Let j be (3/6)/(m/(-2)). Let f = 4 - j. Does 2 divide f?
False
Suppose -2*d = -14 - 6. Is 10 a factor of (15/d)/(3/40)?
True
Let d(x) = x**3 + 5*x**2 - 6*x + 8. Let i = -9 - -3. Let h be d(i). Suppose 0*n = -4*n + h. Does 2 divide n?
True
Does 21 divide 28/(-8)*6*-1?
True
Suppose 0 = -8*c + 1120 - 120. Is c a multiple of 25?
True
Let a = -4 + 35. Is 27 a factor of a?
False
Let r(x) = -x**2 + 7*x - 3. Let i be r(4). Does 20 divide (1 - -1)*(i + 1)?
True
Is 10 a factor of 3*(-5)/30*-76?
False
Let g(c) = c**3 + 4*c**2 + 3*c. Let d be g(-3). Suppose 2*a + q + 33 = d, 3*a + 2*q - 5*q = -63. Is (-6)/(-4)*(-276)/a a multiple of 9?
False
Suppose -x + 5*x = 12. Suppose 6*j = 2*j + 12, -3*f + x*j = 0. Suppose -24 = -l - f*l. Is l a multiple of 5?
False
Suppose 2*o + 6 = 3*q + q, 4*o - 36 = -4*q. Suppose -2*v + k = 2*k - 56, 4*v - q*k = 100. Does 11 divide v?
False
Does 17 divide 4*-1 + 30 + -5?
False
Suppose 0*k - k = -42. Does 14 divide k?
True
Let a(v) = -29*v - 5. Let t(s) = -15*s - 3. Let k(l) = -4*a(l) + 7*t(l). Does 10 divide k(1)?
True
Let s(g) = g**3 + 4*g**2 - 7*g + 8. Let c be s(-6). Let m be c/(-8) + 2/8. Suppose x = 0, m*z + z - 3*x = 12. Does 3 divide z?
True
Let c(m) = m**3 - 5*m**2 - 10*m - 12. Is 20 a factor of c(9)?
False
Let x(a) = a + 1. Let v be x(-3). Is v + (-3)/3*-44 a multiple of 14?
True
Let t = 136 + -30. Let g = -75 + t. Is g a multiple of 4?
False
Let d = -23 - -279. Does 17 divide d?
False
Suppose 2*r + 2*r + 5*u = 140, 0 = u. Does 4 divide r?
False
Is 6/9 - (-2)/6 - -323 a multiple of 36?
True
Let v be 0 - -139 - (-4)/4. Suppose v = 5*p - 0*p. Is 9 a factor of p?
False
Let j = 63 - 43. Suppose 4*f - j = -f. Suppose 0 = -f*d - 10 + 82. Is 10 a factor of d?
False
Suppose y + 92 = 290. Does 13 divide y?
False
Let h(l) = 4 + 4 - 3 + l. Let i be h(0). Suppose i*s - 30 = -0. Is 6 a factor of s?
True
Let w = -13 + 67. Is w a multiple of 23?
False
Let b(i) = -i - 2. Let k be b(-7). Suppose -u + 116 = 3*o, -k*u + o + 4*o = -640. Suppose -4*p = -u + 13. Does 14 divide p?
True
Let h(k) = -4*k**3 + k**2 - k + 46. Suppose 1 - 4 = -m. Let a(l) = -3*l**3 + l**2 - l + 45. Let w(x) = m*a(x) - 2*h(x). Is w(0) a multiple of 11?
False
Let q = 98 + -26. Is 6 a factor of q?
True
Suppose -5*w = -0*v + v - 52, 5*v - 260 = 5*w. Is 26 a factor of v?
True
Suppose 0*b - b + 44 = 4*j, 0 = -b + j + 69. Is 16 a factor of b?
True
Is (2 + 1)/((-3)/(-25)) a multiple of 4?
False
Let i(h) = -3*h**3 - 21*h**2 + 11*h + 16. Let s(o) = 5*o**3 + 32*o**2 - 17*o - 24. Let r(a) = 8*i(a) + 5*s(a). Let g = 37 - 29. Is r(g) a multiple of 14?
False
Suppose -4*u + 0*u + 896 = 0. Is 14 a factor of u?
True
Let k(y) = -9*y - 2. Is 3 a factor of k(-1)?
False
Suppose 5*x = 4*y - 423, -3*y + x + 351 = 4*x. Does 33 divide y?
False
Suppose 369 - 1423 = -2*d. Suppose -203 = 2*b - d. Is (b/(-15))/((-4)/10) a multiple of 9?
True
Is 3 a factor of 15 + 0 + (-6)/(-3)?
False
Let x = -17 + 32. Suppose 3*u - 3 = x. Is 6 a factor of u?
True
Let m(w) = -7*w + 40. Is 3 a factor of m(-5)?
True
Let v = 156 - 105. Is 2 a factor of v?
False
Let g(z) = 2 - 5 + 25*z - 4. Is 8 a factor of g(2)?
False
Let i(d) = d**3 - d**2 - 4*d - 4. Is i(4) a multiple of 15?
False
Let l = -2 - -7. Suppose 4*m = -w + 6, 3*m + 9 = -l*w + 5. Is m even?
True
Does 44 divide (-25954)/(-209) + 2/(-11)?
False
Suppose 6*h = 2*h + 16. Suppose h*q = q. Suppose 0*d = -4*u + 3*d + 22, q = 3*u - 4*d - 13. Is u a multiple of 2?
False
Let m(f) = 7*f**2 - 1. Let x be m(-1). Let h(c) = c**3 - 5*c**2 - 2. Is h(x) a multiple of 19?
False
Suppose 0 = -3*j + 5*j. Suppose 0 = 4*l + g - 19, -5*l + 4*g + 24 = 5*g. Suppose -l*x + j*x = -55. Is x a multiple of 9?
False
Suppose 5*g = 3*g + 14. Suppose 2*z = 37 + g. Does 7 divide z?
False
Let a(i) = i**2 - 24*i - 33. Is 19 a factor of a(26)?
True
Suppose -39 = 5*m - 5*o + 11, -5 = 2*m + 3*o. Let d = -1 - m. Let i = d - -12. Is 6 a factor of i?
True
Suppose 7*h + 77 = 623. Is 24 a factor of h?
False
Suppose 5*s = i + s - 147, 0 = -3*i - s + 376. Does 26 divide i?
False
Suppose -6*k + 800 = -k. Does 16 divide k?
True
Does 13 divide 3/(-6) - 158/(-4)?
True
Let k = -3 - 0. Is 5 a factor of (4/(-6) + -2)*k?
False
Let m be 56/(-12)*(-1 - -4). Let o = -8 - m. Is 3 a factor of o?
True
Let w = -22 - -34. Let f(n) = -n**2 + 0*n**2 + w*n - 3*n - 4. Is f(8) a multiple of 4?
True
Suppose 0*t - 3*p = -5*t + 203, -38 = -t - 2*p. Is 20 a factor of t?
True
Suppose 2*g - 19 = 13. Is g a multiple of 15?
False
Let j(p) = p**2 - 16*p + 23. Is j(17) a multiple of 8?
True
Suppose 3*q + 4*x = -8 - 17, 0 = 3*q + x + 13. Let y = q + 5. Suppose -54 = -3*k - 3*f, 5*k = y*f + f + 58. Is 7 a factor of k?
True
Suppose -2*v = -5*v. Let j be -2 + v + (-1 - -3). Suppose -s + 77 = 4*f - 0*s, j = -2*f - 2*s + 46. Is f a multiple of 18?
True
Let u = -5 - -5. Does 6 divide -13*(0 - 1) + u?
False
Suppose 2*h - 2*s - 16 = s, -2 = 3*h + 2*s. Suppose h*c - 24 = -2*c. Is 6 a factor of c?
True
Let b(a) = -a**3 + 7*a**2 + 4. Let w be b(7). Suppose 0 = 2*h - w*h. Suppose -4*y + h*y = -24. Does 3 divide y?
True
Suppose 5*r - 82 = 3*r. Let w = -18 + r. Is w a multiple of 8?
False
Let w = 40 - -104. Does 18 divide w?
True
Let q = -117 - -61. Let u = 78 + q. Is 9 a factor of u?
False
Let g(h) = h**3 + h**2 - 2*h + 2. Let q be g(2). Suppose 2*f = q + 68. Is f a multiple of 10?
False
Let j = 133 - 78. Does 16 divide j?
False
Is 15 a factor of (2 - -6)/(2/60)?
True
Let f be (-4)/(-8) + 5/2. Suppose 0 = -5*g - a + 65, -4*a + f*a = -2*g + 26. Is 5 a factor of g?
False
Let j = 33 - 54. Is 3 a factor of ((-51)/j - 3)*-7?
False
Suppose 5*a + 3*d = -477 - 100, a - d = -117. Let b be 2/(-3) - (-244)/(-3). Let x = b - a. Is x a multiple of 13?
False
Suppose 5*t = -2*z + 499 + 830, 0 = 3*z + 9. Suppose -4*l + 320 = 5*k, -t = -6*k + 2*k - l. Is k a multiple of 17?
True
Let s = -7 - -12. Suppose 0 = 3*y - 4*y - 2*n + s, -5*n + 5 = 0. Is y even?
False
Suppose 3 = -x + 2. Let m(q) be the first derivative of -15*q**4/4 + 2*q**3/3 + q**2 + q + 1. Does 5 divide m(x)?
False
Let g(v) = -4*v - 16. Does 8 divide g(-6)?
True
Let g(m) = m**3 - 6*m**2 + 5*m + 2. Let d be g(5). Suppose -4*x + 5*x + 80 = 0. Does 18 divide (x/(-6))/(d/6)?
False
Let v = 37 + -56. Let n = v - -60. Suppose -3*d + 63 = u, -2*d = -u + 2*u - n. Does 8 divide d?
False
Let z(o) = -o**2 + 2*o + 2. Let l be z(7). Let p = 12 - l. Suppose -n + p = 4*n. Is 3 a factor of n