. Does 11 divide o?
False
Let o(t) = 5*t - 52. Suppose 0 = 5*x + 5*n - 70, 4*x - 42 = x - 4*n. Is o(x) even?
True
Suppose -40*y = -6*y + 24*y - 51214. Is 4 a factor of y?
False
Let o = -10357 + 32502. Is 44 a factor of o?
False
Suppose -1758952 - 197068 = -85*w. Does 12 divide w?
False
Suppose -d - 25 - 134 = 0. Let x = 275 - d. Does 57 divide x?
False
Suppose 8*r - 178 = -18. Suppose 21*d = r*d. Suppose d = -p + 8*p - 245. Does 7 divide p?
True
Let g(q) be the second derivative of -q**5/20 + 5*q**4/3 - 5*q**3 - 61*q**2/2 - 92*q. Does 64 divide g(16)?
False
Let o = -215 + 234. Suppose -o = 9*i - 1459. Is i a multiple of 3?
False
Let r(p) = -12*p**2 - 16*p - 9. Let j(b) = -1. Let k(t) = -6*j(t) + r(t). Let u be k(-3). Let a = -19 - u. Does 11 divide a?
True
Suppose -m = -3*m, -5*m = 2*b - 16. Suppose 33 = -b*s - 3*s. Let y = s + 27. Is y a multiple of 5?
False
Let k(f) = f**2 + 127*f - 177. Let s(b) = b**2 + 85*b - 117. Let x(l) = -5*k(l) + 7*s(l). Does 18 divide x(21)?
True
Let u be 9/(-1)*44/(-99). Suppose -x - 3*x = -u*f - 12, 3*x - 4*f = 10. Is 14 a factor of 17 - (8 + -2)/x?
True
Suppose -3*j - 188 = j. Let m = j - -102. Suppose 0 = 2*g - m - 57. Does 4 divide g?
True
Let n = 33 + -24. Let p be (n + 1)*((-18)/4)/(-9). Suppose -p*c + 4*l + 564 = 0, 0 = c - 0*l - 3*l - 115. Is 7 a factor of c?
True
Let w(i) = 14221*i**2 - 640*i + 4. Does 26 divide w(2)?
False
Let c = -89 + -7. Let w be (-16)/c + 526/12. Is (-1)/2*(4 - w) a multiple of 5?
True
Let w = 162 - 160. Suppose 2*r - w = 26. Is 7 a factor of r?
True
Suppose 5*q + 1049 = 7*q + 3*t, -5*t = 3*q - 1575. Does 2 divide q?
True
Suppose 0 = -3*j + j + 12224 + 18686. Is j a multiple of 83?
False
Suppose 94*i + 5*l - 8398 = 92*i, -5*l - 8398 = -2*i. Is 13 a factor of i?
True
Suppose 0 = 3*l - 2 + 2. Suppose 7*w - 5*w - 560 = l. Suppose -12*i - w = -16*i. Is i a multiple of 14?
True
Let o = 116 - 14. Suppose 75 = o*z - 101*z. Suppose 105 + z = 3*m. Does 5 divide m?
True
Let d be (2 - (-40)/(-15)) + (-2)/6. Is (14742/(-270))/(d/30) a multiple of 18?
True
Let z(n) = 1117*n - 1568. Does 16 divide z(3)?
False
Let t = -3107 + 3617. Does 17 divide t?
True
Let f be 4/((9 - 1)/4). Suppose q = -4*i - q + 340, -3*i - f*q = -255. Does 5 divide ((-34)/i)/((-1)/50)?
True
Let j(n) = -n**3 + 5*n**2 + 43*n - 1. Let k be j(8). Suppose -o - k = -225. Does 10 divide o?
False
Suppose 419*v + 744186 - 2042248 = 0. Is 14 a factor of v?
False
Let k(b) = b**3 + 19*b**2 + 44*b + 1. Let u(y) = 2*y - 26. Let q be u(7). Is 5 a factor of k(q)?
False
Let v be (-48)/14*(-252)/(-24). Let b = v + 39. Does 30 divide 2/(-3) - (-92)/b?
True
Suppose 0 = -5*k + t - 369, 52 + 37 = -k + 4*t. Is k/4*(-7 + -37) a multiple of 11?
True
Suppose 3*y - i - 302 = 0, -4*i + 206 + 202 = 4*y. Suppose y = -2*s + 301. Does 10 divide s?
True
Let i = -3267 - -5337. Is 138 a factor of i?
True
Suppose -63*a = -65*a - 19344. Is 12 a factor of a/(-28) + (-30)/70?
False
Let p(h) = 3*h**3 - 17*h**2 - 3*h - 58. Is 6 a factor of p(8)?
True
Let f = -478 + 325. Let y = 10 - f. Is 12 a factor of y?
False
Let k(o) = 22 - 44*o - 95*o - 178*o. Let g be k(-4). Suppose -10*y + g = 300. Is 33 a factor of y?
True
Let o(f) = -22*f + 260*f - 31 + 9*f. Does 11 divide o(2)?
False
Let r be (1 - ((-4)/1 - -2)) + 187. Let f = 310 - r. Is f a multiple of 8?
True
Suppose -2 = -2*s - i + 5, 0 = 4*s - i - 29. Suppose -6*c + 782 = 500. Suppose s*w - 293 = -c. Is w a multiple of 8?
False
Let p = 104 - 16. Is (p/55)/(4/(-10)) - -109 a multiple of 12?
False
Let q = 164395 - 114919. Is q a multiple of 133?
True
Let k(a) = 7*a**2 - 182*a - 331. Is 36 a factor of k(61)?
False
Suppose 3*z + 5*p = 6*p + 2739, 3*z - 2748 = 4*p. Suppose -20*x = -x - z. Does 4 divide x?
True
Let i(x) = 50*x. Let j(h) = 100*h + 1. Suppose -7*s = -s + 42. Let t(c) = s*i(c) + 4*j(c). Is 20 a factor of t(1)?
False
Suppose 0 = -v - 3*o + 299, 55*o = -2*v + 52*o + 583. Let z(u) = u**2 + u - 4. Let d be z(3). Suppose v = d*q - 4*q. Is 3 a factor of q?
False
Suppose -278 = -4*z - l + 802, 0 = 2*z + l - 542. Let a = 449 - z. Does 14 divide a?
False
Let n(f) = 3*f + 9. Let r be n(-3). Suppose 3*v - 3*h + 6 = r, -h = -3*v - 3*h - 11. Is 4 a factor of (-1)/3*(1 - v - 40)?
True
Suppose -3*u + 12 = 3*h, 8*h - 8 = 5*h - 2*u. Suppose -3*k + o + 0*o + 455 = h, -4*o - 596 = -4*k. Is k a multiple of 17?
True
Let q = 7320 - 3000. Does 45 divide q?
True
Does 23 divide (-12 + 9)/((-15345)/(-3837) + 1 + -5)?
False
Let h be 11 - (-3)/9*-21. Does 12 divide (h - 2)*4669/14?
False
Let i(u) = 89*u - 30. Let z(r) = 133*r - 45. Let g(n) = 8*i(n) - 5*z(n). Let p be g(5). Suppose -87 + p = 7*l. Is l a multiple of 13?
False
Let m(z) = -z + 2. Let b be -1*(-16)/(-28) + 90/(-14). Let x be m(b). Suppose x*l - 6*l - 477 = 0. Does 17 divide l?
False
Let u = 51400 - 28608. Is 28 a factor of u?
True
Let l = 116 - 116. Suppose -f - 5*h - 1051 = l, -6*f - 4*h - 4220 = -2*f. Is 18 a factor of (f/(-72))/((-4)/(-54))?
True
Let b(s) = 7*s**2 + 49*s + 6. Let i(u) = -3*u**2 - 24*u - 4. Let v(z) = -2*b(z) - 5*i(z). Does 16 divide v(12)?
True
Let u = 108 - 137. Let w(p) = -p**2 - 37*p - 28. Does 34 divide w(u)?
True
Let o(l) = l**3 + 3*l**2 - l - 4. Let m be o(-3). Let z be (-218)/(-4)*(m - 1). Let v = 261 + z. Is v a multiple of 20?
False
Let r(h) = 14*h + 792. Is r(-24) a multiple of 5?
False
Is 761/((-185)/(-592)*(-8)/(-130)) a multiple of 41?
False
Suppose -y - 22 = -5*d - 4, -3*y = -2*d + 2. Let n be ((-22)/d)/((-16)/64). Suppose -5 = -3*c + n. Is c a multiple of 3?
True
Let j(k) = -3*k**2 + 36*k + 5. Let c be j(12). Suppose v - 4*q = 5*v - 2048, -2*v - c*q + 1021 = 0. Does 9 divide v?
True
Let c(z) = -4403*z - 8648. Is c(-6) a multiple of 10?
True
Suppose 5*b = 3*a + 38354, 0 = 5*b + 4*a - 58079 + 19711. Does 137 divide b?
True
Suppose -4*k + 2*j + 36 = 0, -3*j + 2*j - 40 = -4*k. Suppose 4*x = -2*w + 38, 8*w + x = 3*w + 104. Suppose -k*f + w*f = 350. Is f a multiple of 5?
True
Suppose 0 = 9*j - 3*y - 39456, 2*j - 5*y = -3*j + 21930. Is 6 a factor of j?
False
Let x(k) = 1071*k + 16038. Is 27 a factor of x(6)?
True
Let l(g) = 6*g + 30. Let s be l(-5). Suppose -12 = -2*r - s. Is 13 a factor of (1 - 3)*(-474)/24*r?
False
Let f be 85/35 - 20/(-35). Suppose 2*r + 4*p = f*r - 129, -5*p = r - 129. Is r a multiple of 25?
False
Let o = -263 + 438. Let b = o - 155. Is b a multiple of 4?
True
Suppose 0 = b + 2*b, q - 2*b + 19 = 0. Let g be (2/4)/(q/(-114)). Suppose 5*o = 20, -216 = -4*p - 2*o - g*o. Does 7 divide p?
True
Suppose -24517 - 101315 = -6*t - 8*t. Is t a multiple of 42?
True
Suppose 0 = 13*m - 13158 - 2601 + 4111. Is 112 a factor of m?
True
Let l be (12/(-20))/1*70/(-21). Suppose 0 = l*m - 184 + 80. Is m even?
True
Suppose h + w - 284 = 0, -409*w + 405*w - 532 = -2*h. Is h a multiple of 10?
False
Let r(n) = 150*n + 20. Let g be 160/(-240)*6/(-4). Is 5 a factor of r(g)?
True
Let p(w) = w**3 + 51*w**2 + 26*w - 115. Is p(-50) a multiple of 5?
True
Suppose -3*o + 2 = -16. Let f be 1/((o/135)/(-2)) + 3. Let i = f - -56. Is i a multiple of 9?
False
Suppose 2*f = 14*f - 840. Is 75 a factor of 1 - 90/f - (-20542)/14?
False
Let p(b) = 9*b - 7. Let y be -189*(-4)/12*1. Let w = -50 + y. Is p(w) a multiple of 22?
True
Let c = 17 - -37. Suppose -11*x - c = -13*x. Suppose 0 = -2*n + 187 - x. Is n a multiple of 20?
True
Let w(n) = n**2 - 10*n + 18. Let f be w(6). Let v = f - -8. Suppose -5*g + h = -v*h - 230, 4*h = -20. Is 18 a factor of g?
False
Let q be (10 - (4 + -2 + -3))*-1. Does 38 divide q*-80*(1 + 0 + 0)?
False
Let j = -10996 + 26466. Is j a multiple of 17?
True
Suppose 5 = -5*a - 35. Let z be (-1700)/a - (-2)/(-4). Let c = z - 146. Does 23 divide c?
False
Suppose -f = -14*k + 10*k - 26856, -5*f + 134382 = -3*k. Is f a multiple of 21?
True
Let x(n) = -25*n - 108. Let r be 16*6/((-48)/4). Is x(r) a multiple of 23?
True
Suppose 0 = 2*m - g - 13275, 801*m - 804*m - 3*g = -19899. Is m a multiple of 14?
True
Let p be ((-516)/(-5))/((-4)/(-10)). Suppose 548 = 13*v - p. Is v a multiple of 6?
False
Let i(y) be the third derivative of 17*y**4/24 + 6*y**3 + 46*y**2. Is i(12) a multiple of 30?
True
Suppose 5*k - 38 = -38. Suppose 0 = f - 2*t + 9, -f - 5*t + 0 + 12 = k. Is 5 a factor of 6/2*(7 + 3/f)?
False
Let g = 45770 - -690. Is g a multiple of 8?
False
Let u(