t o = -38 - -53. Let m = 18 - o. Suppose 80 - 2 = m*x. Is 12 a factor of x?
False
Let u(s) = s**2 + 7*s. Let q be u(-4). Let w(n) = -n**3 - 10*n**2 + 18*n + 7. Is w(q) a multiple of 22?
False
Let n = 835 + -491. Suppose c = -c - 4*p + 196, 4*p = 4*c - n. Is 15 a factor of c?
True
Is 18 a factor of -4 + 244 + 20/(-5) - 2?
True
Let n(m) be the second derivative of 14*m**3/3 + 3*m**2/2 - 4*m. Let b be n(4). Let z = -20 + b. Does 19 divide z?
True
Let n = 455 + -176. Is n a multiple of 9?
True
Let s = -1514 - -3123. Is 17 a factor of s?
False
Suppose -5 = -4*h + 5*a, 0 = -6*h + 2*h - 5*a + 35. Suppose -i - 2 = 0, h*i = -5*w + 2*w + 56. Is 6 a factor of w?
False
Let s(a) = 83*a**2 - 1. Suppose -15 = 3*g - 4*q, 3*q = -4*g - 0*g + 5. Is 9 a factor of s(g)?
False
Let y(x) = -x**2 - 10*x + 5. Let q = -44 - -37. Does 13 divide y(q)?
True
Suppose 3*v + 11 = a, -2*a - 3*v + 3 = 8. Suppose -4*x + a*x = l - 58, -217 = -4*l - 3*x. Is l a multiple of 3?
False
Suppose 5*z = -3*m + 15, -4*z - 14*m + 10 = -12*m. Let r = 1 + 3. Suppose -2*y + 24 = 2*w - 58, 3*y + r*w - 124 = z. Does 10 divide y?
True
Suppose -j + 2*z = j + 8, 0 = j - 4*z + 13. Let x(s) = -24*s**2 - s - 2. Let b be x(j). Is 10 a factor of ((-90)/b)/(6/20)?
False
Suppose 16*w = 6*w + 690. Is w a multiple of 2?
False
Suppose 5*s - 20 = -4*i, 7*i - 2*i + 16 = 4*s. Let b(l) = l**2 - 8*l - 40. Let w be b(12). Does 16 divide (s - 10)/((-1)/w)?
True
Is 64 a factor of 156/(-24)*-380 + 2?
False
Suppose -11*s + 685 = -10*s. Is 4 a factor of s?
False
Suppose 3*q = -4*t + 59, -3*t - 5*q = -5*t - 3. Is 7 a factor of t?
False
Let a(b) = -b**3 + 24*b**2 + 117*b - 62. Does 78 divide a(28)?
True
Let o(b) = -b**2 + 11*b + 42. Let g be o(15). Is 2*6*(-84)/g a multiple of 9?
False
Let t(s) = -2*s**3 + 38*s**2 - 40*s + 28. Does 14 divide t(16)?
True
Is 19 a factor of (76/8)/(11/110)?
True
Let v(x) = 5 + x**2 + 4*x - 7 + 8. Let h = -5 + -2. Is v(h) a multiple of 7?
False
Let o be (2 - 0)*(-21)/(-7). Suppose -384 = o*c + 270. Let v = -69 - c. Is 10 a factor of v?
True
Let v(s) = 2*s**2 + 7*s - 12. Let f be v(-5). Suppose 239 = 4*o - f*k, 0 = 4*o + o + 2*k - 270. Does 4 divide o?
True
Let z be (1 - -13)*6/(1/1). Let l = 124 + z. Does 16 divide l?
True
Let q(u) = 2*u - 6. Let j be q(4). Suppose -3*o - 3*x = -189, -j*o = -o + 5*x - 63. Is 23 a factor of o?
False
Suppose -3 = c + 7. Let p(y) = y + 22. Let n be p(c). Is 4 a factor of (n/1)/((-2)/(-3))?
False
Suppose -i + 2*z = -8 - 6, -z + 1 = 0. Let y = i + 6. Is 14 a factor of y?
False
Let l(p) = p**2 - 6*p + 34. Is 27 a factor of l(-14)?
False
Is 13 a factor of (-5)/(-4) - 230051/(-164)?
True
Suppose 2*n + 4*u - 2176 = 0, -2176 = -0*n - 2*n + 2*u. Is n a multiple of 17?
True
Suppose 0*t = 2*t + v - 93, 2*t - 75 = 5*v. Let m(b) = -b**3 + 16*b**2 - b + 18. Let y be m(16). Suppose -c - y*c = -t. Does 15 divide c?
True
Let x be (-18)/(-81) + (-112)/18. Let n be 1766/(-12) - 6/(-36). Is 13 a factor of n/(-5) - x/10?
False
Is 15 a factor of (-50)/(7/(-112)*4)?
False
Let l(x) = 4*x - 9. Let p be l(4). Suppose -3*w = -4*i - 7, 4*i + p = 5*i + w. Does 2 divide i?
True
Let c = -2031 - -3251. Is 10 a factor of c?
True
Suppose 0 = f - 5*f - 36. Is (f - (-414)/24)*(19 - -1) a multiple of 55?
True
Suppose -b = -3*r - 66, 4*r - 4 = -24. Suppose -2*h - 90 + 34 = 0. Let f = h + b. Is f a multiple of 23?
True
Is 4 a factor of (-99)/(2*1*(-6)/12)?
False
Let r(m) = -m**3 + 16*m + 15. Is 19 a factor of r(-10)?
True
Suppose 33 = v + 4*w, -4*v + 93 = -0*v + 3*w. Suppose -5*j + 34 = -v. Is j a multiple of 11?
True
Suppose -34 = -4*t - 6. Suppose t*k = 297 + 109. Let j = k - 38. Is 20 a factor of j?
True
Suppose -310 = -5*m - o, 3*m - 7*m = -4*o - 248. Is m a multiple of 31?
True
Is 6 a factor of 157*2 + 5*52/65?
True
Does 50 divide (-2)/(-8) - (-55990)/40?
True
Let q = -19 - -26. Let g = q + -3. Suppose -j = 2*d - 4*d + 190, -g*d = -5*j - 386. Is d a multiple of 29?
False
Let n be ((-11 - -1) + -2)*(-174)/12. Suppose -4 = 5*i - n. Does 17 divide i?
True
Let p(s) = 4*s**3 - 30*s**2 + s - 14. Is 8 a factor of p(9)?
False
Let d = -6 + 8. Suppose 3*y = -3*n + 225, y + 3*n + d*n = 71. Is y a multiple of 19?
True
Is (-200)/2*25/((-50)/12) a multiple of 25?
True
Suppose 0 = 26*f - 29*f - 5*y + 380, -518 = -4*f - y. Is f a multiple of 13?
True
Is 8 a factor of 1/(-4 - (-124)/32) + 1559?
False
Suppose -5807 = -10*a + 463. Does 33 divide a?
True
Let p(r) = 62*r**2 + 16*r + 1. Does 19 divide p(-2)?
False
Suppose 1222 = -3*z + 226. Let c(k) = -7*k - 32. Let p be c(-6). Does 23 divide z/(-6) - p/30?
False
Suppose 231 = 3*c - 3351. Does 30 divide c?
False
Let y(m) = -2*m**3 - 2*m**2 - 16*m + 26. Does 42 divide y(-8)?
True
Let c(b) = b**3 - 4*b**2 - 3*b - 1. Let v be c(4). Is ((-830)/13 + 2/v)*-3 a multiple of 16?
True
Let w(a) = -a**3 + 13*a**2 + 31*a - 14. Suppose 0 = -u + 1 + 13. Does 32 divide w(u)?
True
Let q(c) = 38*c - 600. Does 12 divide q(48)?
True
Suppose -5*t + 21 = -2*w, -4*t - 10 = -30. Suppose -w*y = y - 93. Is 13 a factor of y?
False
Let q = 64 + 61. Suppose -121 = -y - t, 5*t = -5*y + 4*y + q. Is y a multiple of 8?
True
Let s(y) = -y**3 + 6*y**2 - 3*y - 4. Let a be s(5). Suppose 3*d + 15 = 0, 5*h + 2*d - 6 - 9 = 0. Is 18 a factor of a/15 + 413/h?
False
Let a(y) = -y + 10. Let s be a(9). Suppose 2*o + 32 = -0*o. Does 3 divide s/2 + (-168)/o?
False
Let h = 22 + -22. Suppose h = -7*m + 4*m. Suppose m*j - 96 = -4*j. Is j a multiple of 4?
True
Suppose -3*b = b - 24. Suppose -12 = -2*k + b*k, 102 = f + 4*k. Is f a multiple of 38?
True
Let p = 759 + -423. Does 28 divide p?
True
Suppose -5*r = -6*r - 4. Let s = r - -1. Does 3 divide 0 + 1/(s/(-9))?
True
Let q(h) = h**3 - 9*h**2 + 21*h - 14. Let j be q(6). Suppose j*v = -23 + 119. Is v a multiple of 3?
True
Suppose -55 = -11*q - 0. Let c(y) = -7*y + 39. Does 2 divide c(q)?
True
Suppose 9*g - 10*g = -70. Is g a multiple of 35?
True
Is 5 a factor of (882/12)/7 + 1/(-2)?
True
Let j = -176 + 87. Let c = -7 - j. Is 6 a factor of ((-9)/18)/((-1)/c)?
False
Suppose p = -4*s + 2, -s - 3*s - 22 = -3*p. Suppose 0 = 54*o - 32888 - 6802. Suppose -p*l = l - o. Is 28 a factor of l?
False
Suppose 0*d + d - 38 = 0. Let l be 6/(-1 - (-41)/d). Does 26 divide l/1 + (-5 - -7)?
True
Let z(h) = h**3 + 16*h**2 + 12*h + 61. Is 95 a factor of z(-14)?
True
Suppose -10*j + 28062 = 222. Does 24 divide j?
True
Let u(m) be the first derivative of m**3/3 + 9*m**2/2 + 9*m + 15. Is u(7) a multiple of 11?
True
Does 6 divide 11/(((-11)/24)/(-11))?
True
Is 80 a factor of 2 + -6 - (-2214 - (-6)/(-1))?
False
Let h = -6 - -10. Let j be (-6*7)/((-8)/h). Suppose x + j - 53 = 0. Does 8 divide x?
True
Let n be 2/4 + 130/(-20). Let y be 4/n + 22/33. Suppose -z + 19 = -2*v, y*v = -4*z + 5*v + 91. Does 8 divide z?
False
Suppose 5*v - 80 = f, 5*v + 5*f - 34 - 46 = 0. Does 24 divide (v/(-20))/((-2)/300)?
True
Suppose -2 + 10 = 2*u. Suppose -u*l = -j - 200, -2*l + j = l - 150. Is l a multiple of 10?
True
Suppose 46*d = -0*d + 72128. Does 16 divide d?
True
Suppose -5*c = 3*k - 3175, 3*k = -5*c + 2*k + 3185. Does 29 divide c?
True
Let x(i) = -1. Let a(p) = p**3 + 8*p**2 + 5*p - 6. Let s(c) = -a(c) + x(c). Let v be s(-6). Let y = 63 + v. Is y a multiple of 14?
False
Let l = -2 - -2. Suppose 0 = 4*j + d + 3*d, 2*j - 5*d - 14 = l. Suppose j*c - 4 = 6. Is 3 a factor of c?
False
Let k = -496 + 747. Let y = -167 + k. Does 28 divide y?
True
Let f(m) = m**3 - 9*m**2 - 11*m + 12. Let h be f(10). Suppose -4*v + 2*o - 12 = 0, 3*v = -5*o + h - 11. Does 8 divide (v - 28/(-20))*-5?
True
Is 6 a factor of -1 + 570 + (-6 - -5)?
False
Let q = -217 - -377. Does 7 divide q?
False
Let v be ((-4)/6)/((-40)/18 - -2). Suppose l = 1, v = 2*i + 2*i - 5*l. Does 2 divide i?
True
Suppose 4*k - 3*u = -k + 102, 2*u = -3*k + 46. Let o be k*-6*(-2)/(-9). Is 3 a factor of (o/(-28))/((-2)/(-14))?
True
Is (-24)/(-108) - 6744/(-27) a multiple of 5?
True
Does 18 divide ((-756)/10)/((-144)/960)?
True
Let l = 20 + -23. Does 31 divide (-6)/15 + (-3788)/(-20) + l?
True
Let t = -10 + 14. Suppose -t*s + 23 = -2*u - 165, -3*s + 3*u + 138 = 0. Suppose -v - s = -2*v. Is 12 a factor of v?
True
Suppose -2208 = -30*q + 1092. Does 5 divide q?
True
Suppose 0 = -4*s + 806 - 234. Suppose 6*h = 3*h + 3, -3*h = 4*z - s. Is 5 a factor of z?
True
Let h be 