 Let i(p) = p**2 - 3*p + 6. Is i(o) a multiple of 14?
False
Suppose -11*x + 48 = x. Suppose j - 22 = -3*t, 5*j + x + 3 = -2*t. Is t a multiple of 3?
True
Is (-9)/(-3) - (-152 + -6) a multiple of 23?
True
Is 1359/12 - (35/20)/7 a multiple of 26?
False
Suppose -6*v + 240 = -v. Let u = -34 + v. Is 4 a factor of u?
False
Let x(g) = g**2 - 3*g - 7. Let o be x(-3). Let r be 20/11 - (-2)/o. Does 10 divide 3 - r - (-33 + 2)?
False
Is (-7 - -11)/(468/467 - 1) a multiple of 10?
False
Let l(i) = 11*i + 24. Suppose 5*c - 2*h - 27 = 15, 4*c - 2*h - 34 = 0. Does 14 divide l(c)?
True
Let w(g) = 174*g - 85. Is 26 a factor of w(2)?
False
Suppose 2*o + 2 + 6 = 0, 4*o - 1004 = -4*p. Is p a multiple of 17?
True
Let k = -49 - -58. Is 4 a factor of k?
False
Let s be ((-62)/(-4))/((-1)/(-2)). Suppose 5*w - 4*h = 58, 0 = -2*w - 2*h + s + 3. Let a = w - 12. Does 2 divide a?
True
Let f = 689 + -189. Suppose 8*c - 4*c = f. Is 21 a factor of c?
False
Suppose -8900 = -8*z - 2372. Does 12 divide z?
True
Let h(r) = -115*r - 20. Is 40 a factor of h(-4)?
True
Suppose 0 = 78*q - 92*q + 8288. Does 74 divide q?
True
Suppose -i = 14 + 5. Let x = i + 44. Does 25 divide x?
True
Suppose 16*j = 30 + 1266. Is 3 a factor of j?
True
Let i(b) be the first derivative of -5*b**4/4 - 2*b**3/3 - 3*b**2/2 - 5*b - 105. Let q = -5 - -3. Is 11 a factor of i(q)?
True
Let a = 24 - 22. Suppose 314 + 34 = a*k. Does 33 divide k?
False
Let y = -34 - 27. Let m = 69 + y. Is 5 a factor of m?
False
Let c(m) be the first derivative of -m**4/4 + 7*m**3/3 + 6*m**2 - 4*m - 10. Is c(8) a multiple of 8?
False
Does 16 divide 7/(-21) + 5480/15 - 1?
False
Let g = -519 - -816. Is 26 a factor of g?
False
Let u(m) = 9*m + 13. Let h be u(3). Let q be 110/(-6) + 4/12. Let z = q + h. Does 6 divide z?
False
Let i be (-1)/(((-16)/(-100))/(-4)). Suppose 0*q - 420 = -7*q. Suppose -5*o + q = i. Is o a multiple of 7?
True
Suppose -551 = -q + 6*x - x, q = 4*x + 553. Is q a multiple of 17?
True
Suppose -3*i = -i - 52. Suppose -25*a + i*a = 31. Let b = a - 21. Is 5 a factor of b?
True
Let s(t) = 3*t**3 + 3*t**2 + 79 - 2*t**3 - t**2 - t. Let u be (-4)/16 + (-4)/(-16). Is s(u) a multiple of 21?
False
Let a = 23 - 22. Suppose 3*y + a = 325. Is y a multiple of 16?
False
Let g(w) = 2 - w**2 + 3 + 3 + 243*w - 244*w. Suppose 3*r + 4 = -4*h, 2*r - 3*h = -2*h + 1. Is g(r) a multiple of 4?
True
Suppose -1203 = -5*x + 2*m - 33, -m = -5. Let r = 362 - x. Does 21 divide r?
True
Suppose 0*i - 3*m = i - 511, 0 = i + 2*m - 509. Is 11 a factor of i?
False
Let j(f) = 12*f + 44. Let d be j(-7). Let w = d + 121. Is w a multiple of 14?
False
Suppose 0 = 2*w + 216 - 832. Does 14 divide w?
True
Let q(y) = y**3 + 3*y**2 + y + 3. Let c be q(3). Suppose -p - 3*p + c = 0. Is 5 a factor of p?
True
Suppose -4*o - 3*c = -633 + 103, 0 = -o - 4*c + 139. Is o a multiple of 2?
False
Let u = 64 - -14. Does 6 divide u?
True
Suppose 0 = 48*c - 37*c - 8349. Does 13 divide c?
False
Let d = 22 - 19. Suppose -d*v + 4*f - 100 = -4*v, -5*v - 4*f = -420. Does 10 divide v?
True
Suppose -61 = 2*i - 5*i + 5*z, 3*z = -i - 3. Let r = i + -8. Suppose 4*d = 2*d - 4, -r*d = -5*s + 88. Does 5 divide s?
False
Let c(h) = 3*h - 4*h - 9*h - 6 + 2. Let v(q) = 11*q + 5. Let a(u) = -7*c(u) - 6*v(u). Does 15 divide a(6)?
False
Let j be (-1)/(-3) - (20/(-12) + 1). Does 17 divide (-1 - 1)*j + 39?
False
Let c = 219 - 34. Suppose -6*u - 71 = -c. Does 15 divide u?
False
Let v be (12/15)/(-2 + 84/45). Let t = 5 - 1. Does 27 divide (t + v)/((-2)/39)?
False
Let v(o) be the second derivative of 289*o**5/20 - 2*o**3/3 + 3*o**2/2 - 15*o. Is 24 a factor of v(1)?
True
Let m = -77 + 857. Is m a multiple of 12?
True
Let g(t) = -t**3 + 13*t**2 - 6*t + 6. Is 16 a factor of g(5)?
True
Suppose 5*k - 71 = -2*f, f - 2*k - 58 = 3*k. Suppose -4*d + 4*o + f + 113 = 0, -4*d = -o - 159. Let v = d + -28. Is 6 a factor of v?
True
Let i(z) = 2*z + 17. Let m be i(-6). Suppose -j - m*l = -2*l - 21, -j - l + 19 = 0. Is 6 a factor of j?
True
Let g(n) = n**3 - 3*n**2 - 4*n. Suppose -8 = -2*v + p, 4*v - v = p + 13. Does 15 divide g(v)?
True
Let h = 901 + -813. Is h a multiple of 11?
True
Let s(c) = -17*c - 6. Let f be s(-6). Suppose -3*z + 11 = k + 5, 4*k - z - 37 = 0. Suppose 0 = -k*n + 13*n - f. Is 7 a factor of n?
False
Let u(z) = -3 + 4*z - z**2 - 2*z + 6*z + 5. Let l be u(8). Suppose -39 = l*r - 5*r. Is r a multiple of 13?
True
Let r = 122 + -25. Let o = r - 44. Does 16 divide o?
False
Let h(t) be the second derivative of t**8/6720 - t**7/360 + t**6/120 + t**5/20 + t**4/3 + 2*t. Let c(l) be the third derivative of h(l). Is 2 a factor of c(6)?
True
Let p = 23 - 23. Suppose 5*m - 2*m - 327 = p. Is m a multiple of 17?
False
Let v(j) = 69*j**3 - j**2 + 4*j - 6. Is v(2) a multiple of 50?
True
Let h(j) be the second derivative of j**4/12 - 5*j**3/3 - 3*j**2/2 - 6*j. Does 12 divide h(15)?
True
Let u = 880 - -56. Is 9 a factor of u?
True
Suppose 0 = -5*p + 10, -2*l - p + 44 + 4 = 0. Suppose 0 = 2*d + 4*a - l - 11, 5*d - 70 = -5*a. Is 7 a factor of d?
False
Does 72 divide (-45 - (-180)/(-18))/(1/(-3))?
False
Let g = -6 - -2. Let h be 0*(-2)/g + 3. Suppose x - 31 = -y, 5*x - h*y - 109 = 22. Does 7 divide x?
True
Let n(i) = i - 8. Let c be n(9). Let k be (8/12)/(c/21). Suppose -7*w - k = -9*w. Does 2 divide w?
False
Suppose 5*w = -3*y - 324 + 975, -w + 651 = 3*y. Is 7 a factor of y?
True
Suppose 2*s = -2*s + 196. Let v = 80 - s. Is 12 a factor of v?
False
Let w(b) = b - 6. Let t be w(8). Let g be (-1)/(0 + t/(-10)). Suppose q + 160 = g*q. Does 10 divide q?
True
Is (1/(5/60))/((-4)/(-46)) a multiple of 8?
False
Let l(p) = -1674*p - 39. Does 11 divide l(-1)?
False
Suppose -6339 - 1002 = -4*b - 5*h, -2*b = 5*h - 3683. Is b a multiple of 64?
False
Suppose -2*j + 0*m - 3*m = 13, -2*m = -2. Let g(c) = c**3 + 8*c**2 - 2*c - 13. Let p be g(j). Suppose p*r - 83 = -v + 161, 0 = v - 4. Is r a multiple of 15?
False
Suppose 0*u + 27 = -3*u. Let x = u + 14. Suppose 31 = x*j - 179. Does 21 divide j?
True
Let b = -84 - -441. Suppose 2*f - 50 = 3*r + 169, -3*f - 5*r = -b. Suppose 4*h + 22 - 250 = -3*i, -5*i = -2*h + f. Does 16 divide h?
False
Suppose -u + 86 + 44 = 0. Let h = -54 + u. Is h a multiple of 19?
True
Is 139 a factor of 23/(-23) + (2930 - 0)?
False
Suppose 9 = 5*w - 11. Suppose 425 + 138 = 3*p + w*c, -4*p + 4*c = -732. Does 10 divide p?
False
Let o(n) = -2*n - 6. Let s be o(-7). Let d = s - 6. Suppose 3 = j - 0*j, -d*f = -3*j - 7. Is f a multiple of 8?
True
Suppose -10*o + 2265 = -255. Is 21 a factor of o?
True
Let t(s) = 5*s**2 + 4. Suppose 0*q = q - 1. Let n = q + 1. Is 6 a factor of t(n)?
True
Let n = -48 + 13. Let q = -11 - n. Is q a multiple of 11?
False
Suppose -14*u = -314 - 302. Suppose -5*p = -3*t + 14, -5*t - 2*p + u = -0*t. Is 3 a factor of t?
False
Let b(h) = 6*h**2 - 18*h - 36. Is b(-11) a multiple of 118?
False
Suppose 0 = 3*w - 0 - 6. Let j(x) = -4*x**2 - x**w - x**3 - 3*x**2 + 2*x**3 + x. Is 4 a factor of j(8)?
True
Let r be -2 + (60/(-1))/(-3). Let t = -17 + r. Is 15 a factor of 41 - t/((-3)/12)?
True
Is 4 a factor of 4081/33 + 0 + (-3)/(-9)?
True
Let h be (-16)/20 + 471/(-5) + -2. Let v = 8 - h. Does 20 divide v?
False
Let l be (-16110)/75 + (-1)/5. Let q = -103 - l. Does 14 divide q?
True
Let h be (8 + -11)*(0 + -1). Suppose -2*r = -h - 1. Suppose 0*s - 254 = -4*i - 2*s, -r*i - 4*s + 130 = 0. Is i a multiple of 12?
False
Let h(f) = -f**3 + 6*f**2 + 59*f + 5. Does 8 divide h(11)?
False
Let x(n) = n**3 - 2*n**2 + 4*n - 3. Let y be x(3). Suppose 3*l + 2*a + 4 = y, 5*a - 9 = -l. Suppose -l*u + 3*u + 58 = 0. Is 29 a factor of u?
True
Let t = -382 + 490. Does 45 divide t?
False
Let s(n) = -n**2 + 21*n + 9. Is s(17) even?
False
Suppose 6*x - 2*x - 300 = 0. Let d = 92 - -15. Let q = d - x. Is q a multiple of 16?
True
Let t = 185 + -101. Suppose -c = -294 - t. Suppose g + 6*g - c = 0. Is g a multiple of 18?
True
Is (2*-291)/(7 + 184/(-24)) a multiple of 7?
False
Let g = 2057 + -3026. Let i = g + 489. Is (-1*1)/(16/i) a multiple of 10?
True
Let u(f) = -f**2 + 5*f + 5. Let k be u(5). Suppose -k*m + 4 + 11 = 0. Suppose 0 = -m*c + 28 + 29. Is 12 a factor of c?
False
Suppose 327 = f - v, 2*f - 5*v = -f + 987. Does 7 divide f?
False
Suppose 5*o - 3*s = s + 910, -s - 728 = -4*o. Suppose 7 = 3*h - o. Does 21 divide h?
True
Supp