?
False
Let b(t) = -3*t**2 - 5*t + 7. Let r be b(-3). Does 2 divide ((-60)/24)/(r/52)?
True
Suppose 106*g - 241259 = 188465. Is 3 a factor of g?
False
Suppose -p = 5*w, -4*p - 9 = 3*w - 43. Let j(v) = v**2 + 2*v - 21. Does 33 divide j(p)?
True
Suppose -21 = -20*s - 21. Suppose 5*p + 25 = s, 2*g - 3*g = 3*p - 465. Does 15 divide g?
True
Is 42 a factor of (-1)/(6 + 3519/(-1758) + -4)?
False
Suppose 2*c - 5*b - 22085 = 0, 126*c - 11047 = 125*c - 2*b. Is c a multiple of 5?
True
Let f = 40 + -35. Suppose x = 3*d + f*x - 76, -4*d + 4*x + 92 = 0. Suppose -26*n + 62 = -d*n. Does 9 divide n?
False
Let c = -23778 + 37571. Is 158 a factor of c?
False
Let q = -64 + 34. Let l = -1565 - -1616. Let v = l + q. Does 8 divide v?
False
Let q be ((-19)/4)/(5/20). Let s = q + 22. Suppose 4*p + 2*g = -g + 48, 0 = s*p - g - 36. Does 12 divide p?
True
Suppose 0 = 2*j - 5*d + 19, 4*j - 26 - 1 = -3*d. Let h(c) = c**3 - 4*c**2 + 5*c - 6. Let n be h(j). Let i(t) = -t**3 + t**2 + 102. Is i(n) a multiple of 7?
False
Suppose 7*t - 11 + 25 = 0. Let y be -1*(-3)/6*4. Is 165 + (7/t - (-1)/y) a multiple of 28?
False
Let m(p) = -p**2 + 21*p - 28. Let r be m(19). Let t be ((-12)/r)/((-388)/200 - -2). Is 4 a factor of (-15 + -3)*t/15?
True
Let v(t) = -2*t + 20. Let m be v(7). Suppose -y - f + 3*f = m, -5*f = -5*y - 5. Suppose -y*g + g = -3*o + 567, 3*o = -g + 567. Is 27 a factor of o?
True
Let j be 2 - (-3 + (-4)/(-4)). Suppose j*m + 0*m - 4*r = -28, r + 37 = -3*m. Let p(x) = -x**2 - 13*x + 17. Is p(m) a multiple of 5?
False
Let u(a) = a**3 - 29*a**2 + 50*a + 28. Let n be u(27). Does 20 divide (n/6)/((-56)/924)?
True
Let g(m) = m**3 + 9*m**2 + 5*m + 8. Let x = -39 + 41. Suppose -5*i = -x*n + 3*n + 31, 0 = i - 5*n + 1. Does 33 divide g(i)?
False
Let f = -3138 - -3127. Let x(d) = -6*d + 0*d**2 + 2*d + d**2 - 35. Is 39 a factor of x(f)?
False
Let y = -5166 + 6783. Is y a multiple of 28?
False
Is 40 a factor of (-6)/(((-12)/(-56))/(3/((-21)/830)))?
True
Suppose -5*p + 1 = -2*c + 95, c = -p + 40. Suppose c = -z + 5*r - 81, 0 = r - 2. Let b = 135 + z. Does 3 divide b?
False
Let l be 12/(-8) - (-53)/2. Let m = l - 21. Suppose 3*v = s + 206, -2*s + m*s = -v + 57. Does 18 divide v?
False
Suppose 5*d - 4*a - 46672 = -2458, 0 = a + 6. Is d a multiple of 3?
True
Suppose -15247 = -53*z - 26*z. Is z a multiple of 8?
False
Let u = -4565 - -6825. Is 10 a factor of u?
True
Suppose 0*c - 112 = -4*c. Suppose -z + 4*k = 5, z + 3*k = 6*z - 60. Let h = z + c. Is h a multiple of 10?
False
Suppose 0 = 29*j + 197 - 661. Is 3 a factor of 39/12 - 3 - (-4348)/j?
False
Suppose 0*j - 3*x - 126 = -3*j, 5*j + 2*x - 231 = 0. Let f(a) = 4*a**2 + 28*a - 21. Let o be f(-9). Suppose o = 4*z - j. Does 14 divide z?
False
Suppose 0 = 8*d - 0*d - 16. Let m(l) = l**3 - 9*l**2 + 10. Let s be m(10). Let q = s - d. Does 27 divide q?
True
Let j(g) = 55*g**2 - 4*g + 5. Let v be j(1). Does 39 divide (-2*13)/(v/(-1680))?
True
Let o be 10 + (-97285)/(-75) + 4/(-30). Let m = o - 915. Is m a multiple of 28?
True
Let b(o) = 8*o**2 + 8*o + 1. Let a be 640/112 + 4/14. Does 20 divide b(a)?
False
Suppose n - 91768 = 14*v - 27*v, -7063 = -v - 4*n. Is v a multiple of 3?
True
Suppose 0*q - 592822 = 71*q - 3437650. Does 378 divide q?
True
Let a(m) = 594*m + 3398. Is 15 a factor of a(38)?
False
Let v(j) be the second derivative of j**3/6 + 9*j**2/2 - 9*j. Let y be v(-5). Suppose 4*i = 0, -y*m + i - 4*i + 288 = 0. Is 12 a factor of m?
True
Let y = -2246 + 4122. Is 34 a factor of y?
False
Let k(s) = -3*s**2 - 7*s + 22. Let t(a) = 7*a**2 + 14*a - 44. Let j(d) = 5*k(d) + 2*t(d). Let w be j(-9). Suppose 0 = w*q + q - 75. Is 7 a factor of q?
False
Suppose -3*c + 307 + 825 = 5*b, -16 = -4*c. Is 14 a factor of b?
True
Suppose 2*q = -77 + 89. Suppose q*w - 6 = 6. Suppose -w*c + 74 = -c. Does 19 divide c?
False
Does 132 divide -12 - (1 + -4 - 5518)?
False
Suppose 0 = 2*l + 3*p - 21, -3*l = 3*p - 4*p - 4. Suppose 3*z = -l*m + 2*m + 32, -z + 8 = -m. Suppose z*r - 183 = 7*r. Is 22 a factor of r?
False
Let s(w) = 2*w**2 - 18*w - 18. Let d = 50 + -48. Suppose -2*y + 15 = 3*m, 4 = d*y - 4*m - 46. Is 9 a factor of s(y)?
True
Suppose -16 = -6*g + 2*g, 10 = -2*k + 4*g. Suppose -v = 3*a - 661 - 231, 12 = k*a. Does 49 divide v?
False
Let s(j) = 2*j**2 - 18*j + 17. Let h be s(1). Does 25 divide (1 + h)*(-12)/(-24) - -130?
False
Let i = -34 + -28. Let t = i + 173. Suppose 8*k - 11*k + t = 0. Does 5 divide k?
False
Let u = -18 + 9. Let q be (-1*1/(-8))/(10/80). Is 3 a factor of ((-3)/u*69)/q*1?
False
Let d(s) = 4*s**2 + 56*s + 558. Is 47 a factor of d(-43)?
True
Is 60/(-24)*43816/(-20) a multiple of 74?
False
Let j(a) = 216*a**2 + 31*a - 289. Does 12 divide j(5)?
False
Let v(o) = o**2 - 7*o - 10. Let d be v(9). Suppose 10*i = d*i + 4. Suppose -f - 2 = 0, i*r + 2*f - 332 = -0*r. Is 8 a factor of r?
True
Let p(d) = -d**3 - 7*d**2 - 4*d + 8. Let q be p(-6). Let y = 7 + q. Is -1*(y + -3 + 1)*-25 a multiple of 8?
False
Let x(p) = p**2 + 14*p + 43. Let d be x(-6). Is 18 a factor of ((-1424)/d)/(64/160)?
False
Suppose z - 108 = -2*z. Suppose 0*y - y + z = 3*s, 0 = 3*s + 5*y - 48. Let t(b) = 5*b - 15. Is t(s) a multiple of 5?
True
Let m = 185 + -182. Suppose s + m*d = 96, -2*s + 4*d + 192 = -0*d. Is s a multiple of 12?
True
Let q be 4/(-18) + 2254/(-63). Let n be ((q/16)/3*-4)/(-1). Let u(s) = 5*s**2 + 4*s - 1. Does 16 divide u(n)?
True
Is 25 a factor of 6 + (-125 - -1)/((-12)/222)?
True
Let r(z) = -z**3 + 8*z**2 - 4*z + 34. Let v be -3 + 16/(-4) - -15. Is r(v) even?
True
Suppose 0 = -14*f - 54*f + 120224. Is 13 a factor of f?
True
Suppose -59 = r - 58. Let h(o) = -136*o - 3. Let b(y) = y - 2. Let a(c) = r*h(c) + 5*b(c). Is a(2) a multiple of 25?
True
Let p(q) = -q**3 + 26*q**2 - 28*q + 287. Is p(21) a multiple of 56?
True
Suppose -6634 - 31288 = -5*h + 1278. Is 35 a factor of h?
True
Let r(n) = n. Let f be r(4). Suppose -i = -s - 3*i + 12, 0 = -f*i. Is 3/s + 502/8 a multiple of 11?
False
Let g be 18/(-14) + 3 - 2/(-7). Suppose -4*c - 10 = -g, -2*j + 38 = -c. Suppose j*y = 15*y + 420. Is y a multiple of 28?
True
Let s = -87 + 161. Let r = -48 + s. Is r a multiple of 2?
True
Suppose 5*t - 6*t - 3*w = -238, -2*t - 2*w = -484. Is t a multiple of 24?
False
Suppose 3*v - 4*n = 23965, -714 = -4*n - 730. Is v a multiple of 29?
False
Let q(z) = -725*z - 1788. Is q(-27) a multiple of 77?
True
Let n(z) be the first derivative of z**3 - z**2 - 5*z + 8. Let l be n(6). Let i = -51 + l. Is 10 a factor of i?
True
Let c(o) = 3*o - 18. Let k(h) = -h**3 - 4*h**2 + 2*h + 5. Let y be k(-4). Let d be -2 + 51*y/(-9). Is c(d) a multiple of 9?
True
Let v(s) = 13*s**2 - 75*s + 379. Is v(29) a multiple of 13?
False
Let x = -5735 - -9146. Is x a multiple of 9?
True
Let r(w) = w**3 - w**2 - 2*w. Let d be r(-3). Let f = d - -23. Let q(p) = p**3 + 8*p**2 - 4*p - 5. Is 18 a factor of q(f)?
True
Let q(u) = u**3 - 4*u**2 + 164*u - 2. Is 9 a factor of q(17)?
True
Is ((-41)/82)/(3/(-14310)) a multiple of 12?
False
Is 42 a factor of (-4)/(-9) - 2470160/(-360)?
False
Let n(p) = -2*p - 3. Let m be n(-4). Suppose 11 = -m*s - 9. Let q(l) = -l**3 - 2*l**2 + 4*l + 10. Is q(s) a multiple of 4?
False
Let m(q) = 12*q - 135. Let d be m(12). Suppose d*u - 131 - 409 = 0. Does 10 divide u?
True
Suppose 8*i = -3*u + 10*i + 2416, 2*i = u - 800. Let a = u - 478. Is 10 a factor of a?
True
Suppose -x - 5*r = 4*x - 5, -2*r + 2 = -3*x. Suppose x = -4*n + 46 - 18. Suppose 0 = y - 2 + n, -2*y - 545 = -5*t. Is t a multiple of 15?
False
Let l = -17411 - -26491. Is 43 a factor of l?
False
Suppose -2*k - 19 = -23. Let z be 68/k + 2*-1. Is 21 a factor of 8/z - (-335)/4?
True
Suppose 40*h - 36*h + 2*d = 16356, 0 = 4*h - d - 16350. Is h a multiple of 14?
True
Let i(y) be the second derivative of y**5/20 + y**4/6 - y**3/6 - 12*y. Let m be i(-2). Suppose -7*a + 270 = -m*a. Is a a multiple of 9?
True
Let d be 0 + (-20)/11 - 116/638. Is (-2744)/(-3)*(-6 + (-15)/d) a multiple of 20?
False
Let w = 70 - 45. Suppose -v = -2*u + w, -2*u - 2*v = 2*v. Suppose u*d - 5*d = 480. Is 16 a factor of d?
True
Does 22 divide (-14)/7 - 36090*(-2)/3?
False
Suppose 43436 - 4410 = 38*g. Is g a multiple of 79?
True
Suppose 4814 = -7*h + 89899. Is 60 a factor of h?
False
Suppose -9 - 9 = -9*a. Let w(f) = 18*f**3 - f**2 - 4*f + 1. Does 7 divide w(a)?
True
Le