= 3*r - 57. Is 11 a factor of r?
False
Let b = -26 + 28. Is b even?
True
Let u be 2/4 - (-15)/10. Let i = 32 + -8. Suppose -o + i = u*o. Is 3 a factor of o?
False
Suppose -52 = -w - t, -4*w = -2*t - 251 + 55. Does 12 divide w?
False
Suppose 0 = -2*y + 7*y + 5*n - 285, 5*n + 195 = 3*y. Suppose q - y = -3*q. Is 5 a factor of 12/q*70/4?
False
Let m = 71 + 11. Let l(t) = -11*t + 3. Let a be l(5). Let f = m + a. Does 19 divide f?
False
Suppose o = -13 - 6. Does 4 divide -1 - (o + (-1 - -3))?
True
Let d(l) = l + 22. Let w = -8 - -8. Let a be d(w). Suppose x = -2*r + 16, a = 5*x + 3*r - 86. Does 12 divide x?
True
Let f(z) = -1 + 4*z + 4*z**2 - 2 + 1 - 3*z**2. Let v be f(-5). Let b = v - -21. Does 13 divide b?
False
Suppose -4*o - o = -255. Let h be 104 - 2 - 1/1. Let t = h - o. Is t a multiple of 18?
False
Let a(k) = -k**2 - 10*k - 8. Is a(-6) a multiple of 10?
False
Let i = -19 - -24. Suppose -81 = -3*s - 3*q, 3*s + 4*q + 42 = 4*s. Suppose -i = h - s. Is 9 a factor of h?
False
Suppose -4*h - 11 - 17 = 4*a, -11 = 5*a - 3*h. Let j = a + 4. Suppose 3*t = -j*t + 69. Is 8 a factor of t?
False
Let j = 8 + -4. Suppose 4*w = -2*i - 2*i + 28, -j*i - w = -13. Let a(r) = 3*r**2 - 1. Does 11 divide a(i)?
True
Suppose 0 = -5*p + 5*x - 150, -4 + 10 = -p - 5*x. Let a = p - -89. Does 21 divide a?
True
Suppose -g = 4*v + 40, 0 = -0*g + 3*g + 12. Let p = 14 + v. Suppose -36 = -p*t + 24. Does 6 divide t?
True
Let v = -6 + 7. Let m(f) = -16*f + 1. Let d be m(v). Is 9 a factor of 2/5 - 264/d?
True
Let o be 54/7 + 6/21. Let x be (132/o)/(2/(-8)). Let s = -8 - x. Is 22 a factor of s?
False
Suppose 5*c - 14 = 2*a, 5*c = a + 8 + 4. Let h = 6 + c. Suppose 5*u - h = 17. Does 4 divide u?
False
Suppose 0 = -6*p + 1062 - 96. Does 30 divide p?
False
Let h be (6/(-18))/(1/15). Suppose 5*n - o + 17 = 0, -5*n - 2*o - 9 = o. Let t = n - h. Does 2 divide t?
True
Let w = 127 - -63. Is 10 a factor of w?
True
Let x(p) = -p**3 + 8*p**2 - 2*p + 11. Let t be x(8). Let s be ((-9)/t)/((-1)/(-5)). Let c = -4 + s. Is c even?
False
Suppose 2*h - 4*h = 2. Let v = 8 - h. Suppose -3*f - v = -39. Is f a multiple of 10?
True
Let w = 9 + -8. Is 24 a factor of (w + -5)/(14/(-168))?
True
Let g(k) = k**2 + 7*k + 6. Let p = 9 + -17. Let f be g(p). Let h = f - -1. Does 15 divide h?
True
Let b = -11 + 76. Is b/7 - 20/70 a multiple of 5?
False
Suppose q - 275 = -5*z, 5*z = -3*q + 326 - 61. Does 14 divide z?
True
Suppose -8*p = -11*p. Suppose p = -n + 44 + 36. Does 25 divide n?
False
Suppose 3*u - 4*d = -20, -5 - 3 = 2*d. Does 6 divide (-219)/u + 1/(-4)?
True
Let z(u) be the second derivative of -3*u**5/10 - u**4/12 + u**3/3 - 3*u. Let j be z(-2). Is ((-10)/(-25))/(2/j) a multiple of 3?
False
Let k = 11 + -6. Let x(q) = -q**2 + 6*q - 2. Is 2 a factor of x(k)?
False
Let s = 207 - 83. Does 31 divide s?
True
Let f be -33*3/1*-1. Let o = -55 + f. Is 22 a factor of o?
True
Let x = 6 + -10. Does 20 divide x/18 - 362/(-9)?
True
Does 6 divide (-244)/(-4) - (-4 - 1)?
True
Let o = 5 + 0. Suppose -65 = -o*m - l, 0 = -3*m - l + 53 - 16. Does 5 divide m?
False
Let p be 4/((2 - 3)/(-4)). Suppose -p = -q + 2. Let d = -13 + q. Does 5 divide d?
True
Let d(y) = 4*y**2 + y. Let h be d(-1). Suppose g - h = 3*m, 5*g - 15 = -0*m - 4*m. Suppose 14 = g*j - 10. Is j a multiple of 3?
False
Let k = 6 + -3. Suppose -55 + 13 = -k*o. Does 6 divide o?
False
Suppose 0 = 4*u - u. Let l = 6 + -2. Suppose -x + l*x - 30 = u. Is 10 a factor of x?
True
Let a = -6 + 22. Does 11 divide a?
False
Let s = 255 - 119. Let q = s - 60. Suppose q = 5*t - t. Is 11 a factor of t?
False
Let u = -44 - -64. Suppose -3*k - 9 = 0, 4*k = 3*v - u - 4. Is 4 a factor of v?
True
Let v(w) = -w**3 - 2*w**2 + 6*w + 6. Let r be v(-4). Suppose 0 = y - r - 18. Is 16 a factor of y?
True
Suppose -3*a = -2*k + 6 + 3, 4*k - 4*a - 16 = 0. Suppose 3*w + k*g - 132 = 2*g, 0 = -2*g. Does 22 divide w?
True
Let b = -4 + 5. Does 10 divide (-19)/(-1 - (b + -1))?
False
Let n = 9 + -16. Let g = n - -10. Does 14 divide (3 + (-6)/g)*27?
False
Suppose 13*v + v - 4704 = 0. Is 48 a factor of v?
True
Let r = -20 + 19. Let i(t) = -7*t - 2. Is i(r) a multiple of 5?
True
Let o = 47 - -37. Is 14 a factor of o?
True
Let w be 1*(0 + -2) + -9. Let r = -8 - w. Is 3 a factor of r?
True
Let v(k) = 2*k**3 + 2*k**2 + k - 2. Let w be v(2). Suppose w = y - 8. Is y a multiple of 14?
False
Is 11 a factor of (-2 - -3)*33/3?
True
Suppose 3*u + 2*u - 5*a + 10 = 0, -u + 5*a = -18. Let r(z) = -z**3 - 3*z**2 + 5*z + 0 - 7 + 16 - 3*z**2. Is 11 a factor of r(u)?
False
Let h be (0 + (-84)/(-4))*-1. Let p = 69 + h. Is 11 a factor of p?
False
Let o be (-33)/7 + (-8)/28. Let q = o + 14. Is 9 a factor of q?
True
Let c(x) = -x**3 - x**2 + 6*x + 1. Is c(-4) a multiple of 8?
False
Let u(m) = m**2 - 6*m - 18. Is u(12) a multiple of 27?
True
Let u be 1/(-4) - 3/4. Suppose -w - 3*w = -8. Is 10 a factor of u/w - (-42)/4?
True
Let o = 17 + -5. Is 10 a factor of o?
False
Suppose -103*j + 616 = -101*j. Does 44 divide j?
True
Let t(w) = w**2 + 6*w + 2. Let p be t(-6). Suppose -5*z - o = -216, -z - p*o = 2*z - 124. Is 11 a factor of z?
True
Suppose 410 - 1292 = -6*c. Is 25 a factor of c?
False
Let h(n) = -2*n + 30. Suppose 3*a = -0*a. Does 23 divide h(a)?
False
Suppose 0*g = g - 3. Suppose 71 = d - 5*m, 3*d - 47 = 2*d - g*m. Is d a multiple of 15?
False
Let u(c) = c**2 + 8*c + 9. Let i be u(-7). Suppose 0 = i*w - 52 - 6. Is w a multiple of 15?
False
Suppose -5*y + 37 = -308. Does 23 divide y?
True
Is 11 a factor of (-1 - 0/(-1))*-47?
False
Let a = 17 - -26. Is a a multiple of 11?
False
Let h = -1 + -1. Does 17 divide 3/h*(-5 + -7)?
False
Let i = 6 - 6. Suppose 4*w - 12 = 4*p - i*p, 5*p = -2*w + 20. Let a(f) = f**2 - f + 1. Does 10 divide a(w)?
False
Suppose -68 = 3*p - 200. Suppose -3*t + 136 = -p. Is t a multiple of 15?
True
Let j(k) = k**3 - 6*k**2 + 8*k + 9. Does 7 divide j(5)?
False
Suppose 5*y = -2*w - 20, -2*y = -2*w + 2*y + 16. Suppose 4*d - 46 - 690 = 0. Suppose 0 = 4*l + 8, w*l = 5*g + 3*l - d. Is g a multiple of 13?
False
Let j(n) = n**3 - 9*n**2 - 6*n - 4. Let m(i) = -3*i**3 + 18*i**2 + 12*i + 9. Let z(k) = -5*j(k) - 2*m(k). Is z(-8) a multiple of 10?
False
Suppose 245 = 5*w + 8*x - 3*x, 3*w + 5*x - 153 = 0. Does 5 divide w?
False
Let b be (1 + 0)/((-3)/(-45)). Let f = b + -11. Does 3 divide 2*10*f/10?
False
Suppose -5*h + 10*h + 90 = 0. Suppose -j - p = -2*j - 17, -4*j = -2*p + 58. Does 17 divide j/h - (-49)/3?
True
Suppose -2*c - 2*c - 3*x - 27 = 0, -x + 4 = -3*c. Let v = c + -2. Let d = 14 + v. Is d a multiple of 4?
False
Suppose 0 = 4*a - 39 - 33. Is 3 a factor of a?
True
Let n(x) = x**2 - 4*x - 2. Let b be n(5). Suppose -b*t = -8*t + 20. Suppose -5 + 41 = 4*i + t*a, -3*i + 31 = 2*a. Does 11 divide i?
False
Let f = 34 - -10. Let o be (-8)/f + 92/22. Suppose -25 = -k - o*k. Is 4 a factor of k?
False
Is 2 a factor of (-3)/(2*(-12)/56)?
False
Let s be (-41)/2 - 9/6. Let n(g) = -17*g + 2. Let m be n(-2). Let o = s + m. Is o a multiple of 7?
True
Let s(v) = -v**3 + 16*v**2. Let z be s(16). Suppose -5*u + 25 = z, 2*f + 8*u - 49 = 3*u. Is 6 a factor of f?
True
Is 23/2 + -2 + 20/8 a multiple of 3?
True
Suppose -3*a - 3 = 2*c + 3*c, 3*c + 3 = -3*a. Let s(r) = -r**2 + 21. Is 21 a factor of s(c)?
True
Suppose -o = 4*z + 3*o + 12, 3*z = -o - 3. Let k(a) = -a**3 - a + 42. Does 12 divide k(z)?
False
Suppose -2*f + 4*f = -3*u + 15, -4*f = 4*u - 20. Suppose 3*o - 167 = 5*j, -3*j = u*o - j - 268. Does 14 divide o?
False
Let b(j) = j**3 - 6*j**2 + 5*j + 1. Let r be b(5). Suppose 0 = -t - t - 2. Does 6 divide (-4)/(r - t) - -18?
False
Let w(q) = -q**2 + 12*q - 2. Let b(p) = -2*p**2 + 25*p - 4. Let g(f) = -6*b(f) + 13*w(f). Is g(4) a multiple of 3?
True
Let u = 39 + -9. Does 6 divide u?
True
Let h(q) = 1 + q - 5*q - q + 3*q. Let t(l) = l**2 - 8*l + 5. Let i be t(7). Is 4 a factor of h(i)?
False
Let m be (-1 + 0 - -3)/1. Suppose -p - m*p = -78. Is 26 a factor of p?
True
Let n be 3/3 - (2 - 6). Suppose 2*z + 4*c = -z + 109, 3*z + n*c = 107. Is 13 a factor of z?
True
Is -3 + 0 + 612/4 a multiple of 15?
True
Suppose 0 = 5*j + 2*u - 314, -4*u - 289 - 43 = -5*j. Does 4 divide j?
True
Let b be ((-8)/(-20))/((-1)/(-135)). Let g = b + -30. Is g a multiple of 15?
False
Let n(s) = -10*s - 1. Let v be n(-1). Let z = v + -5. Suppose -z*a = -2*a - 