pose 234 + 594 = a*o. Is o a multiple of 14?
False
Let x = -25 + 23. Is (6 + 4)*(x - -6) a multiple of 8?
True
Let u(z) = -2*z**2 - 42*z - 41. Is 4 a factor of u(-19)?
False
Let x(p) = p**2 - p + 5. Let q be x(10). Suppose 2*h - q - 137 = 0. Does 29 divide h?
True
Let n(o) = -7*o - 9. Let r(i) = -i**3 + 8*i**2 + 8*i + 6. Let j = 10 + -1. Let y be r(j). Is n(y) a multiple of 4?
True
Is (-4 + 21/7)*-188 a multiple of 3?
False
Let z = 9 - -28. Does 20 divide z?
False
Let n = 67 + -64. Is 23 a factor of 24/8 - ((-6)/n + -110)?
True
Let h be 21/1*3/(-9). Let x(z) be the first derivative of -z**3/3 - 9*z**2/2 + 8*z - 3. Is x(h) a multiple of 22?
True
Suppose -2 = 5*h + 2*r, h + 2*h = -5*r + 14. Let l(j) = 9*j**2 - 2*j - 3. Let x be l(h). Let c = -13 + x. Is 12 a factor of c?
True
Suppose 0 = 2*n + 1 - 3. Suppose 0 = -5*y - 5*b, 3*b - n = -10. Suppose -y*q - 3 = 4*x - 55, -5*q + 5*x + 110 = 0. Is q a multiple of 7?
False
Let w(v) = v**3 - 2*v**2 + v. Let s(n) = -3*n - 2. Let g be s(-1). Let h be w(g). Is 14 a factor of (-1)/(h + (-4)/124)?
False
Let y(j) = -j - 1. Let i = -1 - -1. Suppose 3*r - p + 16 = -i, 5*r = 2*p - 27. Is y(r) a multiple of 2?
True
Suppose 0 = -6*q + 1076 - 524. Is q a multiple of 13?
False
Let h = -563 + 847. Is 4 a factor of h?
True
Suppose -4*y + 6*j + 1790 = 4*j, -y = -3*j - 445. Is y a multiple of 16?
True
Suppose 2*d = r - 2689, -r + 349 = -d - 2340. Is 23 a factor of r?
False
Is 673*2/(-4)*(3 + -5) a multiple of 28?
False
Suppose 5*p = 2*x + 62 + 112, -21 = -p + 5*x. Is p a multiple of 18?
True
Let x(f) = 1. Let a(i) = -8*i**2 - 4*i + 4. Let c(k) = -a(k) + 6*x(k). Let w be (-2)/4 - (-63)/(-14) - -4. Is 2 a factor of c(w)?
True
Suppose 0 = r - 2*r + 4*u - 25, 3*r + u + 127 = 0. Let j = r + 49. Is 7 a factor of j?
False
Let k be ((-6)/(-15))/(5/25). Let b = k - 2. Suppose b*l + 17 = l. Is l a multiple of 12?
False
Is -275*4/10*-2 a multiple of 7?
False
Let a be (1 - -9)/10 - 444/(-2). Let d = -110 + a. Does 41 divide d?
False
Let d be (-2)/10 - (-231)/55. Suppose r - 5*q - 15 = 0, 0*r - 2*r + 24 = -d*q. Is 2 a factor of r?
True
Suppose 11*o - 58 = -14. Let h(u) = u**3 - 4*u**2 - u + 8. Does 4 divide h(o)?
True
Suppose -2*z + 1 = -5. Suppose 3*v = l - 60, -l = 3*l + z*v - 180. Does 16 divide l?
True
Let s(r) = 2*r - 30. Let p be s(14). Does 6 divide (15 + 11)*(-1 - 3/p)?
False
Suppose 3497 = 5*t + 397. Is 71 a factor of t?
False
Suppose 0 = 2*r + 4*t - 204, r - 22 = t + 74. Is r a multiple of 49?
True
Suppose -2*n + 228 = -4*k, 2*n - 7*n - 5*k = -495. Let j = n + -52. Is j a multiple of 9?
False
Suppose 0*v + 3*f - 404 = -2*v, -1031 = -5*v + 3*f. Does 36 divide v?
False
Let t be (2/(-5))/((-1)/10). Suppose -t = 2*b - 24. Is 9 a factor of b?
False
Let m(k) = 468*k**3 + k**2 + 2*k - 3. Is m(1) a multiple of 39?
True
Suppose -82 = 5*k - 252. Suppose k*o = 29*o + 465. Is 35 a factor of o?
False
Let p = -1428 - -2934. Does 92 divide p?
False
Let d(x) = -5*x + 8. Is d(-7) a multiple of 6?
False
Let f(b) = -b**3 - 14*b**2 + 3*b + 7. Let i be f(-14). Suppose 5*q = -s, 4*q = 4*s - 3 - 45. Does 20 divide (-16)/s*i/2?
False
Suppose -4*h + 118 = 3*k, 0 = -k - h + 2*h + 44. Let p be -1 + (3 - 2) + k. Let a = p - 12. Does 15 divide a?
True
Let i be (0 - 0)*(6 - 5). Suppose -7*l + 7 + 49 = i. Does 8 divide l?
True
Suppose 67*f - 25*f - 10878 = 0. Is 2 a factor of f?
False
Suppose -3*l - 5*m = 9, 0 = -l - m - 0*m - 1. Suppose -5*k = -l*w - 216, 2*w - 13 = -k + 23. Is 12 a factor of k?
False
Suppose -5*b + t + 263 = -10*b, -5*b + 5*t = 275. Let u = -28 - b. Suppose -u = -m + 2*x, -x = 5*m - 47 - 23. Does 15 divide m?
True
Suppose 5*q - q = 3*l + 3076, -3076 = -4*q - 5*l. Is 15 a factor of q?
False
Suppose 4*d + 1 = 17. Let a be -245*(-2 - (3 - d)). Suppose -4*h + a = -67. Does 26 divide h?
True
Let q be (-2)/(-9) + 425/153. Suppose b = -4*b + 25, 31 = -q*f + 2*b. Let x = 15 + f. Is 2 a factor of x?
True
Let b(m) = m**2 + 9*m. Let p be b(-9). Suppose 3*w - 39 = -3*x, 2*x = 5*w - p*x - 79. Is w a multiple of 5?
True
Suppose 4*n + 12 = 0, -851 - 175 = 3*s - 4*n. Let y = 512 + s. Does 32 divide y?
False
Suppose 19*s + 70 = 20*s. Let n = 142 - s. Does 36 divide n?
True
Suppose 0 = 10*f - 14*f + 12. Suppose 5*g + 45 = 2*s - 57, -f*s + 131 = -2*g. Is 20 a factor of s?
False
Suppose -4*k - 35 + 9 = 2*j, 0 = -3*k - j - 17. Let d = -5 - k. Does 2 divide 14/(4*d/(-2))?
False
Let a be 68/(-8) - 6/(-4). Does 17 divide 17/(((-28)/36)/a)?
True
Let m = -698 + 1962. Does 16 divide m?
True
Let c = 17 + 37. Let y = c - -1. Is y a multiple of 55?
True
Let f be (79/(-3) - -3)*(-1 + -2). Let a = 124 - f. Is a a multiple of 4?
False
Suppose 50 = 3*x - 697. Suppose -91 = -5*z + x. Does 34 divide z?
True
Let f = 21 - -9. Let m(w) = 2*w**2 + 38 - 4*w - f - w**2. Does 20 divide m(8)?
True
Let w = -306 + 451. Is 29 a factor of w?
True
Let b be (-321)/5 - 4/(-20). Let o = 132 + b. Suppose -2*s + o = 2*s. Is 7 a factor of s?
False
Let i = -290 - -440. Suppose -8*c + 130 = -i. Is 7 a factor of c?
True
Suppose r + 5*i = 2*i + 69, 3*r + 4*i - 217 = 0. Is 23 a factor of r?
False
Suppose 4*n = 3*n - 1. Let i(a) = 3*a + 27. Let j be i(-15). Is n/(3/j + 0) a multiple of 3?
True
Suppose 0 = z + 4*r - 24, 0 = 2*z + r - 3*r + 2. Suppose -j + z = -3*j. Let m = 18 - j. Is 20 a factor of m?
True
Let d(q) = -q**3 + q**2 + 8*q - 1. Let i be d(8). Let k = -195 - i. Does 31 divide k?
False
Let z = -54 + 58. Is (-2)/z*-94 - 4 a multiple of 8?
False
Suppose 0 = -r + 2*h + 661, -2*h + 777 = 5*r - 2576. Is 53 a factor of r?
False
Let i be 3 - 0 - 30/6. Let k be 15/i*24/(-30). Is 22 + 9/(k/(-2)) a multiple of 13?
False
Suppose -16 = -3*f - 1. Suppose -3*t + 9 = -2*m - 14, 0 = f*t + 2*m - 17. Suppose -t*k + 232 = 47. Does 12 divide k?
False
Let h = 8716 + -4900. Is 106 a factor of h?
True
Let o = -176 - -252. Suppose -4*d = -272 - o. Does 20 divide d?
False
Let h(v) = 5*v**2 - 5*v + 6. Let x = 29 + -23. Does 39 divide h(x)?
True
Let k(d) = -10*d**3 - 25*d**2 - 28*d + 22. Let v(z) = 7*z**3 + 17*z**2 + 19*z - 15. Let c(w) = 5*k(w) + 7*v(w). Is c(-5) a multiple of 15?
True
Suppose 4*n + 1989 = 13*n. Does 3 divide n?
False
Suppose -2*f = -5*f + 12. Suppose 4*u = -f*g + 134 - 42, -3*g - 5*u + 75 = 0. Is 13 a factor of 3*(2 + g/3)?
True
Suppose 4*i + 4 = 6*i. Suppose -y = -i - 4. Is -4 + 79 + y/(-2) a multiple of 12?
True
Suppose 17*d - 5731 - 3568 = 0. Is d a multiple of 24?
False
Suppose -9*j - 13701 = -37191. Is j a multiple of 87?
True
Let u = 1378 - 1376. Let i(k) = -18*k**3 - 2*k**2 - k - 1. Let q be i(-2). Suppose -b + u*v = -37, 4*b - 3 = 4*v + q. Is b a multiple of 29?
False
Suppose -4*h = -2*g - 158, 3*g = -5*h - 166 - 49. Let q = g - -39. Let u = -18 - q. Is u a multiple of 9?
True
Let i(x) = 8*x**3 + 2*x**2 - 4*x + 4. Let t be i(1). Suppose -t*u + 15*u = 1140. Does 19 divide u?
True
Let y be (-21)/28*-2*2. Let d(a) = a**3 + 5*a**2 - 12*a + 5*a**2 + 0 - y. Is 4 a factor of d(-11)?
True
Let v = -102 - -146. Is 30 a factor of v?
False
Let x(s) = -s**3 - 10*s**2 - 10*s - 19. Let d be x(-9). Let c be 0/2*(-9 - d). Suppose -2*n + 0*l + 5*l = -79, -4*n + 2*l + 198 = c. Does 22 divide n?
False
Let k(n) = -15*n**3 + n. Suppose 2*t - 1 + 5 = 0. Is k(t) a multiple of 17?
False
Suppose 0 = 2*t - t. Suppose -3*x + t + 51 = 0. Is x a multiple of 3?
False
Suppose 2*b - 7 = -3*h, -5*b + 0*b + 7 = 4*h. Suppose 1385 = 2*q + h*q. Suppose -4*k - a + q = 0, 4*k - 130 - 150 = -4*a. Is 23 a factor of k?
True
Suppose 0 = 3*h - 15, -2*h = 5*t - h - 40. Suppose -56 - 4 = -20*w. Suppose t = w*i - 83. Is i a multiple of 6?
True
Let s(p) be the second derivative of -p**4/12 - 7*p**3/3 + 17*p**2 - 5*p - 2. Is s(-15) a multiple of 2?
False
Let x = 32 + -23. Suppose 0*f = -4*m + 4*f - 8, x = -5*m + 4*f. Does 30 divide (-4368)/(-36) - m/(-3)?
False
Suppose 0 = 2*y + 2*y. Let p = 4 - y. Suppose p*n = 2*n + 30. Does 15 divide n?
True
Suppose c - 2*v - 610 = 0, -4*v = -3*c - 2*v + 1834. Is 13 a factor of c?
False
Suppose 3*h - 5*f = 2630, 3*h = 7*h - 5*f - 3510. Is h a multiple of 55?
True
Let y(z) = 5*z - 38. Let x be 194*3/66 - (-6)/33. Is y(x) a multiple of 3?
False
Suppose -4*r - 70 = -5*v + 56, -3*r + v - 100 = 0. Let o = r - -60. Does 9 divide o?
False
Let x(t) = -t**2 - t. Let w(j) = -j**3 - 3*j**2 - 7*j. Let i(