 k?
True
Suppose 36 = -p + 148. Let k = p - 70. Does 14 divide k?
True
Suppose 13 = -r + 53. Let v = r - 17. Is v a multiple of 10?
False
Let a be (0 - 3/(-6))*-2. Let j be 1*((-3)/a)/3. Suppose k - j - 8 = 0. Is 8 a factor of k?
False
Does 11 divide 1 - (4 - 11) - -3?
True
Suppose 0*w - w = -3. Suppose -5*i - 3*c = -0 + 6, 3*c = -6. Suppose i = w*a - 30. Does 5 divide a?
True
Let n = 4 + -3. Is (5/((-10)/(-48)))/n a multiple of 8?
True
Let h be (-21)/(-5) + 3/(-15). Does 37 divide (-65 + -9)*(-2)/h?
True
Suppose -3*m + 4*f = -15, -2*f + 9 = 3*m - 4*f. Suppose -3 = -h - m. Is 6 a factor of 4/8 + 31/h?
False
Let q(k) be the third derivative of 7*k**5/20 - k**4/8 - k**3/6 + 3*k**2. Let h be q(3). Let c = h - 127. Is 21 a factor of c?
False
Is (-9)/2*4/(-3) a multiple of 6?
True
Suppose 8*v + 27 = 5*v. Suppose -12 - 14 = -2*j. Let o = v + j. Does 4 divide o?
True
Let f(x) = -2*x**2 - 15*x - 3. Is 4 a factor of f(-7)?
True
Let q = -205 - -368. Is 18 a factor of q?
False
Is 24 a factor of (-190)/(-133)*(2 - -33)?
False
Let a = 131 + -74. Is 19 a factor of a?
True
Let k(v) = -3 + 6*v - 3*v - v + 0. Let j be k(3). Suppose -5*n + 48 = j*c, 3*c - 24 = -2*n - n. Is 12 a factor of n?
True
Let i(o) = o**2 + 16*o + 12. Let m be i(-15). Let y(x) = -x**3 + 7*x**2 + 3*x + 9. Let p be y(7). Let w = p - m. Is 11 a factor of w?
True
Suppose -3*f + 2 = -7, g - 107 = -f. Let i be g/10 + (-6)/15. Does 9 divide (-4)/i + 94/10?
True
Suppose 0 = 4*l - 311 - 101. Is l a multiple of 4?
False
Let f = -6 - -16. Let i(b) = b + 4. Is i(f) a multiple of 7?
True
Suppose a - 5*a + 144 = 0. Does 18 divide a?
True
Suppose 2*x - 5*l = -x + 28, 2*x + 5*l - 2 = 0. Is (18/12)/(x/64) a multiple of 16?
True
Let x(z) = 2*z**2 + 5*z + 13. Does 18 divide x(-6)?
False
Suppose -2 = y - 7. Let j(t) = t**2 - 4*t - 3. Let c be j(y). Suppose 5*r + 5*f - 3*f = 76, c*f = 6. Is r a multiple of 5?
False
Let c(t) = 22*t**2. Let w be ((-14)/3)/(1/(-3)). Let u be (-10)/w + 2/(-7). Does 22 divide c(u)?
True
Let v = 5 + 118. Is v a multiple of 13?
False
Is 9 a factor of (-960)/(-21) - (-2)/7?
False
Suppose u + 3*u + 216 = 0. Let d = -15 - u. Is 17 a factor of d?
False
Does 3 divide (-4)/(-22) - 1425/(-209)?
False
Let j(v) = 2*v**2 + 1. Is 3 a factor of j(-1)?
True
Let k(j) = -j**2 + 7*j + 1. Let f be k(7). Suppose -2*h + f = 5. Does 8 divide h/8 - (-65)/4?
True
Let o be -2 - -3 - (-5 + 1). Let a = o - -7. Is 6 a factor of a?
True
Let r(f) = f**3 - 5*f**2 - 7*f + 8. Let j be r(6). Let k = 20 - j. Is 9 a factor of k?
True
Let x = 3 - 6. Is 19 a factor of ((-2)/x)/((-4)/(-114))?
True
Suppose 5*m + 153 - 643 = 0. Is m a multiple of 13?
False
Suppose -3*b + 2*v + 0*v = -14, 0 = 3*v + 12. Suppose 5*p + 7 = 3*k, -4*p - 8 = b*k - 5*k. Is 7 a factor of (4/(-3) + p)*-33?
False
Suppose 3*u - 234 - 688 = 4*d, -3*u + 3*d + 924 = 0. Does 62 divide u?
True
Suppose 9*c = 12*c - 141. Is c a multiple of 6?
False
Let p(h) be the first derivative of -h**4/4 - 3*h**3 - h**2/2 + 5*h - 3. Does 9 divide p(-9)?
False
Let o(d) = d - 10. Is 6 a factor of o(22)?
True
Let l = 398 - 258. Suppose l = 4*a - 36. Does 22 divide a?
True
Let l(u) = 5 + u + u + 2*u**2 + 2*u. Let v be l(-4). Let i = v - -10. Is i a multiple of 13?
False
Let c(w) = w**3 + 8*w**2 + 8*w + 9. Does 11 divide c(-6)?
True
Suppose 4*g - 2 = 14. Suppose 0 = 4*k + 4*z + g, -5*k = -0*k + 2*z - 7. Does 3 divide k?
True
Let t = -37 - 11. Let i = t - -92. Suppose i = 4*o - 2*k, 0 = -8*o + 3*o + 5*k + 60. Is 8 a factor of o?
False
Let x be 1/(3 - 2) - -3. Let d = 4 - x. Suppose 2*i - 2 = d, c - 26 = -2*i - i. Does 9 divide c?
False
Suppose -o = -4*s - 62, -s = 5*o - 24 - 307. Is o a multiple of 6?
True
Let g = 142 - -35. Is g a multiple of 21?
False
Suppose 30 = 3*s + 3*f - 39, 0 = -4*s + 2*f + 122. Let g = s + -15. Is g a multiple of 12?
False
Let g = 8 + -8. Suppose -4*r + 28 + 140 = g. Is r a multiple of 22?
False
Does 11 divide (-2)/8 + 3087/28?
True
Let x(i) = -i**3 + 12*i**2 - 11*i + 12. Is x(11) a multiple of 4?
True
Suppose -4*q + 99 = -225. Does 6 divide q?
False
Let w(x) = x + 16. Is 12 a factor of w(8)?
True
Is (6*-3 + 0)/(112/(-504)) a multiple of 27?
True
Suppose 2*i + 41 = 5*s - 2*i, -s = i - 1. Suppose -4*a = p - 5*a - 16, -5*a + 11 = 2*p. Let o = p - s. Is 7 a factor of o?
False
Let l(u) = -u**3 + 7*u**2 + u + 2. Is l(6) a multiple of 22?
True
Suppose 5*d = 5*q - 35, 0 = 3*d - 8*d - 10. Let u(p) = p**2 + p - 7. Is 9 a factor of u(q)?
False
Suppose 5*p - 1 = 4. Let d(i) = -i + 19. Let r be d(0). Is 9 a factor of r + (p + -4 - -2)?
True
Let f be (28/12 - 2)*363. Suppose -4*i = -n - f, 0 = -3*n - 1 - 2. Is 15 a factor of i?
True
Let z = -17 - -49. Does 8 divide z?
True
Suppose -5*z = 4*r - 193, r - 2*z - 74 = -r. Suppose 5*a = 278 + r. Suppose -v - 2*v = 3*q - 75, -4*v = -5*q - a. Is 7 a factor of v?
True
Let s(w) = w**2 - 4*w - 4. Suppose 2*p = -p + 24. Is s(p) a multiple of 14?
True
Let o(c) = c**3 + 8*c**2 + 10*c - 10. Is 5 a factor of o(-5)?
True
Let a = 17 + -155. Let d = a + 69. Let m = 99 + d. Does 15 divide m?
True
Let p = -6 + 2. Let f = p - -13. Is 9 a factor of f?
True
Let o be ((-12)/(-10))/((-4)/(-10)). Let f = o - 2. Is f/4 + 57/12 even?
False
Let u(n) = -n. Let z(d) = -5*d + 11. Let l(b) = -4*u(b) + z(b). Is 5 a factor of l(0)?
False
Let c(q) = 22*q**3 - 10*q**2 - 12*q + 16. Let f(p) = -7*p**3 + 3*p**2 + 4*p - 5. Let g(a) = 5*c(a) + 16*f(a). Is g(-3) a multiple of 9?
False
Suppose 4*b - 20 = 9*b. Let w be (b - -4)/(1 - 3). Suppose w = -5*x + 12 + 48. Is x a multiple of 12?
True
Let o(a) = 19*a**3 - a. Is 6 a factor of o(1)?
True
Suppose -2*i = i - 54. Is i a multiple of 10?
False
Let c = -4 - -15. Suppose 0 = -4*t + 69 + c. Does 15 divide t?
False
Suppose 0 = -2*a + 4*s + 370, -332 - 554 = -5*a - 3*s. Is 9 a factor of a?
False
Suppose 0*o + 3*o = -3*f + 96, 4*o = -2*f + 72. Does 14 divide f?
True
Suppose 12*m = 16*m + 4. Let t(u) = u**2 - 2*u - 1. Let n be t(-4). Let x = n + m. Is x a multiple of 8?
False
Let f = 2 - 0. Let b = 1 + f. Is b a multiple of 2?
False
Does 11 divide 22/4*(4 - -10)?
True
Suppose 5*f = -q - q - 11, -2*f + 5*q = 16. Is ((-243)/6)/(f/4) a multiple of 13?
False
Is -1 - 3*-11 - (-16)/(-8) a multiple of 10?
True
Let s be 3/(-3) + 1 + 0. Suppose -q - 5*f + 28 = 0, s = -q - 4*f + 3*f + 40. Does 16 divide q?
False
Let i = 47 + -31. Is 16 a factor of (-2)/(((-3)/i)/3)?
True
Suppose -12*k + 126 = -9*k. Is k a multiple of 10?
False
Let k = -3 - -5. Suppose -150 = -3*l - k*l. Does 15 divide l?
True
Let p(m) be the second derivative of m**5/20 - 7*m**4/12 + m**3/2 - 15*m**2/2 + 2*m. Is p(7) a multiple of 2?
True
Let z(g) = g**2 - 4. Let j be z(-3). Suppose 66 = j*u - 174. Suppose -u = q - 3*q. Is q a multiple of 14?
False
Suppose 0 = 4*c + 16, 2*a + 7 = 4*c + 31. Suppose -r + 7 = -0*r - n, -2*n = 4*r - a. Is 33/(1/(2/r)) a multiple of 11?
True
Suppose -2*o + 72 = -4*x, -2*x = -3*o + x + 108. Suppose 5*a - o = -2*d + 7, 5*a - 40 = -5*d. Is 9 a factor of a?
True
Let z = 50 - 11. Is z a multiple of 13?
True
Suppose -6*q - 95 = -q. Let m(y) = -y**3 + 5*y**2 - 8*y + 5. Let v be m(5). Let f = q - v. Is f a multiple of 16?
True
Let u be -10*(-2)/5*1. Is (u + 2)*10/3 a multiple of 17?
False
Let d = 7 - 5. Let r = 12 - d. Does 10 divide r?
True
Suppose 5*n - 5*p - 100 = -0*n, 34 = 2*n + p. Suppose n - 144 = -3*a. Does 21 divide a?
True
Let r = -12 - -30. Is 5*(r/10)/3 a multiple of 2?
False
Let n = -51 - -219. Is 17 a factor of n?
False
Let w(i) = -i**3 - 7*i**2 - 5*i - 1. Suppose -3*h + 2*q - 10 = 0, -4*h - 5*q = -q + 40. Let g be w(h). Does 3 divide (1/1)/((-1)/g)?
False
Suppose 0 = -6*q + q. Let c be (-14 + (2 - q))*-11. Suppose 4*h = -4*r + c, -r - 4*r = 2*h - 162. Is 13 a factor of r?
False
Let d(a) = 2*a - 2. Let r = 87 - 157. Let s be ((-6)/(-4))/((-15)/r). Is 12 a factor of d(s)?
True
Let y(f) = -5*f - 7. Let b be 0 + 0 + 0 + -5. Does 13 divide y(b)?
False
Suppose -4*h + 32 - 12 = 3*l, 2*h - 10 = -l. Suppose l = -4*m - 2*y + 180, 3*m - 203 = -2*m + 3*y. Suppose 2*w - 69 = -5*d, 3*d + 3*w - m = w. Does 8 divide d?
False
Let i = 11 + -6. Suppose -p = -i*v + 10, -5*p - 4*v - 5 = -13. Suppose p*u = -5*u + 165. Is u a multiple of 13?
False
Is 6 a factor of 28/126 - 151/(-9)?
False
Let d = 49 + -27. Is 15 a factor of d?
False
Let y 