0*y - 209632. Is 68 a factor of y?
True
Suppose 0 = -102*h + 90*h + 4680. Suppose 0*i - 594 = 3*i. Let y = h + i. Does 15 divide y?
False
Suppose -84 = -22*u - 18. Suppose -22*t + 4*f + 716 = -20*t, u*t = -2*f + 1082. Is t a multiple of 24?
True
Suppose -u - 4*u = 4*q - 143, -q - 3*u + 41 = 0. Suppose 23*t - 18*t = -25. Let j = q + t. Does 9 divide j?
True
Let l = 31661 - 386. Does 22 divide l?
False
Let m(f) = 0*f + 1 + 2 + f + 2. Let z be m(3). Suppose 0 = -z*s + 231 - 23. Is 26 a factor of s?
True
Let u = 102 + -77. Suppose u*l = 13*l + 1104. Is 29 a factor of l?
False
Let j = 24768 + -6807. Does 76 divide j?
False
Let g = -68 - -22. Does 23 divide (38/171 + 211/(-18))*g?
True
Let g be -1 + ((-2)/4)/(8/(-368)). Suppose -g*a = -127 - 445. Does 25 divide a?
False
Let z(d) = 51*d - 168. Suppose -4*p + 25 + 1 = 2*k, 2*k + 6 = 0. Is 31 a factor of z(p)?
False
Let t(w) = -w**3 + 27*w**2 + 86*w - 1496. Does 12 divide t(27)?
False
Is 10 a factor of 3 + (-18658 + 24)/((-1)/(2/4))?
True
Suppose 90 = 5*u - n, -1 - 42 = -2*u - n. Suppose 1904 = u*y - 11*y. Is 7 a factor of y?
True
Let r(y) = -24991*y**3 - 51*y**2 - 50*y + 2. Is r(-1) a multiple of 176?
True
Let z(s) = -s**3 + 3*s**2 - 2*s + 11. Let h be z(3). Suppose -2*v - 73 = -7*v - 3*a, 3*a - h = -v. Is 15 a factor of -4 + 6 + 1 + v?
False
Is (-6 - -2484)/(21/(-14) + 3) a multiple of 4?
True
Let l(f) = -92*f**2 + 20*f - 32. Let n be l(-16). Is 1*5*(n/40)/(-12) a multiple of 12?
False
Let f(d) = 2*d + 14. Let r be f(0). Suppose 696 = -11*m + r*m. Is m a multiple of 29?
True
Suppose -5*m + 3*s = s + 30, 3*m = -3*s - 39. Let k(h) be the second derivative of -7*h**3/6 - 6*h**2 + 11*h. Is k(m) a multiple of 17?
False
Let c = 16764 - 6053. Is c a multiple of 11?
False
Is (-24)/108 + 71691/27 a multiple of 82?
False
Let j = -262 - -504. Suppose 3*l + o - 2*o = j, -5*o + 70 = l. Does 9 divide l?
False
Let n(o) be the second derivative of -o**3 + 7/2*o**2 + 2*o + 0 + 2/3*o**4 - 1/20*o**5. Is n(5) a multiple of 10?
False
Let l(z) = -z**3 + z**2 + 6*z + 4. Let v be l(3). Suppose -3*d - 8 + v = 2*o, 3*o = 5*d - 6. Suppose d*i - 11*i = -2035. Is i a multiple of 40?
False
Suppose -5*x + 35 = 5*y, -5*x = -6*x - 2*y + 9. Let v(j) = 163*j - 63. Does 26 divide v(x)?
False
Let l(p) = 7*p**2 - 26*p + 312. Is 72 a factor of l(20)?
True
Suppose -36 = 2*a + m, 4*a + 5*m + 30 = -30. Let l(r) = 2*r**2 - 23*r + 36. Does 16 divide l(a)?
True
Let z = 69 + -33. Suppose 28 = z*l - 34*l. Let i(p) = -p**3 + 13*p**2 + 17*p - 10. Is 16 a factor of i(l)?
True
Does 12 divide -1*5 - (233 - 5254)?
True
Suppose -3*s = -i + 18453, 344*s + 9 = 341*s. Is i a multiple of 58?
True
Let u(k) = 529*k**2 - 146*k + 580. Does 180 divide u(4)?
True
Is 8 a factor of ((-45)/20)/((-9)/4512)?
True
Suppose 6*r = 8*r - 4*q + 216, -3*r = 5*q + 357. Is (-1 + (0 - (-4)/(-12)))*r a multiple of 45?
False
Let d = 234 + -385. Let f be (-2)/2 - 1*(d + 2). Suppose -2*m + 3*m - 37 = 2*a, 0 = -4*m - 2*a + f. Is 6 a factor of m?
False
Let h be (-156)/130*-5*2/4. Suppose -h*d + 666 = 285. Is 44 a factor of d?
False
Let p(q) = -q**3 - 19*q**2 - 7*q + 59. Does 37 divide p(-22)?
True
Suppose 0 = -93*q + 10*q + 205757. Is 33 a factor of q?
False
Let u be 5809 + (0 + -2 - 2). Suppose -162 + u = 9*b. Does 33 divide b?
True
Is 6 a factor of -5 - (-1864 + (-5)/((-20)/(-24)) - 1)?
True
Suppose 10*p + 0 = 30. Suppose -5*m = 3*q - 3545, m + p*q - 894 = -197. Is m a multiple of 89?
True
Let y(d) = -55*d - 62. Is 2 a factor of y(-23)?
False
Suppose 2*w - 502 - 386 = 0. Suppose 4*q = w - 156. Does 4 divide q?
True
Suppose 5*g + 4*i - 38691 = 0, 3*g - 3*i + 4*i - 23216 = 0. Is g a multiple of 17?
False
Let t(o) = -o**2 - 25*o - 34. Suppose 0*q + 5*q - 90 = 5*b, -5*q + 68 = -4*b. Is t(b) a multiple of 8?
True
Let j(b) = b**3 - b**2 + 3*b - 23. Let t(v) = -1. Let c(x) = -j(x) + 3*t(x). Let n be c(0). Suppose -5*o + 10 = -n. Is o a multiple of 5?
False
Let x(v) = 3*v**2 + 10*v + 12. Suppose 0*l + 3*l = 21. Let s(i) = i**3 - 6*i**2 - 7*i - 6. Let n be s(l). Does 12 divide x(n)?
True
Let s be (897/(-26))/(1/(-2)). Let a = 209 - s. Does 7 divide a?
True
Suppose d - 4*t - 36240 = 0, -4932 = 4*d - 5*t - 149804. Does 84 divide d?
False
Let h(x) = -1228*x - 1630. Does 305 divide h(-43)?
False
Let j be -8 + (1 + -3)*60/(-24). Is 9 a factor of (8/j)/((-40)/960)?
False
Suppose -315925 + 892069 = 48*v. Is 14 a factor of v?
False
Let q = -101 - -244. Let y = q + -97. Is y a multiple of 7?
False
Let m be 1/(-1)*(-3)/(-9)*9. Let a be (-44)/(12/m) + 0. Suppose 4*d = a*d - 119. Is 13 a factor of d?
False
Let b = -64 - -66. Suppose g = -b*l - 2*l + 1117, -5510 = -5*g + 5*l. Suppose 0 = 4*x - 3*f - g, -3*f = -x - f + 270. Is x a multiple of 20?
True
Let z(v) = 33*v**3 + 24*v**2 - 116*v + 18. Is z(6) a multiple of 66?
False
Suppose 0 = -0*t + 5*t + 1410. Suppose -5*y - 1794 - 791 = 0. Let g = t - y. Is 47 a factor of g?
True
Suppose 0 = -4*h + 713 - 477. Let l = 365 - h. Is l a multiple of 51?
True
Suppose 9239 = -28*d + 75*d - 140973. Is d a multiple of 251?
False
Let t(k) be the first derivative of -k**3 - 11*k + 25. Let n(v) be the first derivative of t(v). Does 12 divide n(-4)?
True
Let l(t) = -7*t**3 + 696*t**2 + 209*t + 56. Is l(99) a multiple of 118?
True
Suppose -3*g - 4 + 22 = 0. Suppose 0 = -g*k + 439 + 521. Is 14 a factor of k?
False
Suppose 693908 - 112490 = 236*u - 286354. Is 19 a factor of u?
False
Is 31 a factor of (-1285)/2*1888/(-295)?
False
Let p(l) = 109*l**3 - l**2 - 87*l + 413. Is p(5) a multiple of 146?
True
Let u = -332 + 3000. Is u a multiple of 92?
True
Suppose -98*j + 432003 + 820501 = -778252. Is 13 a factor of j?
True
Let p(k) = k**2 + 15*k + 4. Let o be p(-15). Suppose 0 = -o*d, 0 = 2*n - 5*d - 12. Is (n/(-9) + 2)/((-3)/(-72)) a multiple of 32?
True
Let j(q) = 7*q**2 - 166*q + 1282. Is 19 a factor of j(81)?
True
Suppose 342*s + 143395 = 5*u + 347*s, -u = -5*s - 28709. Does 55 divide u?
False
Suppose 5*q - 77924 = -32*q + 26*q. Does 34 divide q?
False
Suppose 28*g - 18*g = 0. Suppose -i + 3*j + 97 + 65 = g, -j - 4 = 0. Does 9 divide i?
False
Is 36694 - 61 - (-13 - -1)/(-2) a multiple of 22?
False
Let d(f) = 5*f**3 - 7*f**2 - 8*f - 20. Let p(u) = -11*u**3 + 13*u**2 + 17*u + 41. Let x(w) = -13*d(w) - 6*p(w). Is x(-11) a multiple of 13?
True
Suppose 5*y = 4*x - 2880, -4*x + 2*x + 1414 = 4*y. Let i = x - 472. Is i a multiple of 9?
True
Let y(o) = 3*o**2 + o + 83. Is y(-12) even?
False
Let v be 28/(-154) - 48/(-22). Let g be ((-60)/(-4) - v)*23. Let p = g + -194. Is p a multiple of 12?
False
Suppose -8*v + 44300 = -60*v + 182724. Is 11 a factor of v?
True
Suppose 2*x + 12 = b + 15, 3*b + 3*x + 9 = 0. Is b - (-710 - (-25)/(-5)) a multiple of 8?
True
Let t(u) be the first derivative of 89/4*u**4 - 3*u - 16 + 1/3*u**3 + 3/2*u**2. Is t(1) a multiple of 9?
True
Let b(g) = 5*g. Let v be b(0). Suppose -2*h + h + 2*h = v. Suppose -23*q + 24*q - 51 = h. Is q a multiple of 8?
False
Let h be (-9)/(-3) - (352 + -5). Let a = 614 + h. Is 70 a factor of a?
False
Let t be (-12)/(-24)*(1125 + -2 - 3). Suppose 0 = 4*x - 33 + 13. Suppose -x*b + 790 - 80 = 5*o, -4*o + t = -4*b. Does 11 divide o?
False
Suppose -25*b + 382 + 18 = 0. Let z be 3*1/3 - -91. Suppose 2*j - b = z. Is 18 a factor of j?
True
Suppose 0 = -5*b, -62*n + 58*n = 4*b - 12. Suppose l = q + 6*l - 18, 3*l = 3*q. Suppose 150 = 3*m - q*x, -n*m - 4*x = m - 200. Is 25 a factor of m?
True
Suppose z = 5*z, 12*j - 9*j - 15357 = -3*z. Is j a multiple of 81?
False
Suppose 4*u - k - 95 = 0, 2*u - k - 44 = 3*k. Let p = u + -22. Suppose 0 = -4*a + 3*a - p*c + 58, 5*a = 5*c + 350. Is 6 a factor of a?
True
Let k(u) = 342*u - 855. Is 19 a factor of k(10)?
True
Suppose -l - 5 = -0*l - f, -l = -5*f + 25. Suppose -12*q + 7*q - 15 = l. Is -2 - -31*(-2 - q) a multiple of 4?
False
Is 5920 + -3 + 20/(-8)*2 a multiple of 39?
False
Let w(o) = o**3 + 15*o**2 + o + 26. Let g be w(-15). Suppose -15*v + 60 = -g*v. Is 7 a factor of v?
False
Suppose -4*z + 53 = p - 20, 0 = -5*z - 2*p + 92. Is -4 - z/(-6)*218 a multiple of 25?
True
Let r(j) = 113*j**2 + 182*j + 1000. Does 2 divide r(-5)?
False
Suppose 4*w - 4 = 4. Suppose -w*l + 0*l + 700 = 0. Suppose y + l = 6*y. Is y a multiple of 10?
True
Let m(y) = y**3 + 4*y**2 - 8*y - 11. Suppose -29 = 2*j - 19. Let h be 