oes 8 divide t?
False
Let k(m) = 2*m**2 - 25*m - 18. Let c be k(14). Suppose c*d + 66 = 30*d. Suppose 2*i - 2990 = -d*i. Is i a multiple of 46?
True
Suppose 11*a + 208702 = 12*a + 25*a. Is a a multiple of 45?
False
Let t = -13800 + 28540. Does 12 divide t?
False
Suppose -96*k + 461672 - 194919 = -146047. Is k a multiple of 50?
True
Suppose -5*y = -5*g - 55, -4*g + 16 = 36. Let x(m) = -6*m + 43. Is x(y) even?
False
Suppose -96*y + 89766 = -87*y. Is y a multiple of 55?
False
Suppose 4*o = 1862 - 278. Let x = o + -180. Is x a multiple of 12?
True
Let h be 11/66 - (-14)/12*131. Is 18 a factor of (-34)/51*h/(-2)?
False
Suppose 5*t + 69 = -256. Let v(n) = 7*n + 369. Let g be v(-57). Let u = g - t. Does 11 divide u?
False
Let q(d) = 39*d + 211. Let f be q(-5). Is ((-18819)/164)/(-1 - (-13)/f) a multiple of 11?
False
Suppose -11*o = -550 + 363. Suppose o*z - 12240 = -3*z. Is z a multiple of 23?
False
Let q(b) = 3*b + 56. Let k = 161 - 41. Let x = 105 - k. Is 11 a factor of q(x)?
True
Let s be (-5 + -5)/(-5) - -21. Let h = -71 - -181. Suppose -24*p = -s*p - h. Is 16 a factor of p?
False
Let o(z) = z**2 - 4*z - 4. Let x be ((-4)/2 - -2) + 2. Let b be o(x). Let d(j) = -12*j - 20. Does 28 divide d(b)?
False
Let a = -262 + 5736. Is a a multiple of 23?
True
Suppose -3959 = -6*c - 2*c + 2393. Is c a multiple of 19?
False
Let q(y) = -y**2 + y + 1. Let x(k) = 7*k**2 - 14*k - 4. Let n(s) = -6*q(s) - x(s). Let i be 8 + ((5 + 0)/1 - (-1206)/(-201)). Does 5 divide n(i)?
True
Let v = -131 + 120. Let s(c) = c**2 + 14*c + 42. Does 2 divide s(v)?
False
Let n = 11701 - 5527. Is n a multiple of 32?
False
Let l(h) = 4*h - 6*h + 6*h + 16 + 23. Let g(r) = -3*r - 38. Let j(f) = -3*g(f) - 2*l(f). Is j(0) a multiple of 5?
False
Let m(i) = 27*i - 14. Let g(p) = -2*p**3 - p**2 + 2*p + 3. Let j be g(-2). Suppose 3*f + 4 = -4*a, -3*f - a - 3 = -j. Is 12 a factor of m(f)?
False
Is 185 a factor of -10*(-12)/30 + 30559 + 33?
False
Suppose -5*p = 2*d - 13284, 0 = 9*p - 6*p - 6. Is 4 a factor of d?
False
Let a(x) = -3*x + 85. Let s be a(26). Suppose -4*l + s*l - 306 = 0. Does 6 divide l?
True
Suppose 4*f - 15 = -3*t + 11, -4*t + f + 41 = 0. Suppose 2*g - t + 6 = 0. Suppose -30 = -g*b + 24. Does 27 divide b?
True
Let q = 564 - 559. Suppose -3*n + 5*y + 207 = y, -q*n + 2*y + 345 = 0. Does 4 divide n?
False
Let t = -168 + 432. Suppose -5*i - 5*g - 850 = 0, 10*i + 4*g - 496 = 13*i. Let q = t + i. Is 6 a factor of q?
True
Let w = -7230 + 17803. Is 97 a factor of w?
True
Let g = -50 + 79. Suppose -16*w = -19 - g. Suppose w*r - 34 = 2. Is r a multiple of 6?
True
Suppose -4*s + 20065 = -4*q - 30811, 5*s - 2*q - 63586 = 0. Is 27 a factor of s?
False
Is (-62696)/(24/(-3)) + (-2 - 9) a multiple of 86?
True
Let k be 45 - ((2 - (-3 + 3)) + 0). Let i = 46 - k. Suppose i*r - 4*y = 52, -5*r + 4*y + 97 = 5. Does 4 divide r?
True
Suppose 0 = 102*q - 101*q. Suppose q*v + 5*s + 42 = v, 5*s + 8 = -v. Does 4 divide v?
False
Let w(b) = 16*b**2 + 14*b - 1. Let h be w(-1). Let o(i) = 281*i**2 + i - 2. Is o(h) a multiple of 10?
True
Let i = 387 - 385. Does 11 divide -4*(-5)/i*(-11)/(-2)?
True
Is ((-13)/(-5) + 195/(-325))*6307 a multiple of 17?
True
Let r be -2*413/7 - (0 - -2). Let a = r - -1344. Is 36 a factor of a?
True
Let w(f) = -f**2 - 11*f + 8. Let a be w(-11). Let s(u) = u**3 - 6*u**2 - 11*u - 16. Let h be s(a). Let t(o) = -o**3 + 25*o**2 - 14*o. Is t(h) a multiple of 20?
True
Let g be (-231)/(-49) + (-4 - (-60)/14). Let q(r) = 64*r + 165. Is q(g) a multiple of 45?
False
Let m(u) = u**2 + 3*u + 173. Let i be m(0). Suppose 3*d - 1153 - i = 0. Is 75 a factor of d?
False
Is 140 + 1/(80/(-64) - (-2)/2) even?
True
Suppose 6*k = 2*k - 68. Let s = k + 20. Suppose q = s*q - 4, 0 = 2*r + q - 62. Is 5 a factor of r?
True
Let q = 23 + -23. Suppose -i + 7*i - 132 = q. Suppose -3*v + 8 = -i. Is v a multiple of 5?
True
Suppose 0 = 14*f - 49*f + 175070. Is f a multiple of 56?
False
Let j(w) = -3*w**3 - 7*w**2 - 9*w - 15. Let l be j(-6). Suppose 73 + l = 4*o. Is o a multiple of 7?
False
Let m = 17982 + -15265. Is m a multiple of 13?
True
Let d = 12918 + -6908. Is 10 a factor of d?
True
Let m(c) = -9*c**3 + 7*c**2 - 9*c + 8. Let o = -31 - -26. Let d(y) = 4*y**3 - 3*y**2 + 5*y - 4. Let w(i) = o*d(i) - 2*m(i). Is w(-4) a multiple of 44?
True
Suppose -k + 3 = u, -5*k - u + 4*u + 31 = 0. Suppose k*c + 2*f - 1361 = 0, 3*c + f = -c + 1090. Is c a multiple of 34?
False
Suppose 74*m - 224 = 72*m. Is (m/6)/((-46)/(-69)) a multiple of 28?
True
Let h be (-1 - 3) + 1 + (1295 - 194). Let o = h + -752. Does 9 divide o?
False
Let g(m) = m**2 + 9*m + 24. Let q be g(-4). Is 10 a factor of (q - 2)/(-1) - (-16 + -94)?
False
Let h(n) = 253*n**3 - 2*n**2 + n + 3. Let t be h(2). Let f = t + -1157. Suppose -2*p + 5*p = f. Is 13 a factor of p?
False
Let h be (-39)/(-2) + (-2)/4. Suppose -h*o = -20*o + 3. Suppose o*l - 180 = -60. Does 10 divide l?
True
Let f = 605 - 257. Suppose 12*r - 9*r - f = 0. Is r a multiple of 9?
False
Suppose 243*u = -5*p + 238*u + 91060, -2*p - 3*u + 36432 = 0. Is p a multiple of 148?
True
Let q = -17747 - -29911. Is 10 a factor of q?
False
Let n = -311 + 146. Let p = -136 - n. Suppose -22*y - 1302 = -p*y. Is y a multiple of 8?
False
Let c(a) = a**3 - 6*a**2 + 7*a - 7. Let q be c(5). Let y be ((-6147)/(-9))/(2/6*q). Suppose 16*b = y + 21. Does 3 divide b?
False
Suppose 115*f - 120*f + 2*b = -34162, -2*f - 2*b + 13676 = 0. Is f a multiple of 34?
True
Let g = 6939 - 5974. Is g a multiple of 5?
True
Let s(p) = 166*p**2 - 80*p + 458. Is s(6) a multiple of 18?
False
Is (-275)/(((-145)/(-90))/(-29)) a multiple of 10?
True
Suppose 3*r = 8*r - 5*n - 305, -6 = -2*n. Suppose 3*v = v + r. Suppose -33*d + v*d + 29 = 0. Is d a multiple of 8?
False
Suppose -15 = -41*p + 67. Let i(u) = 38*u**2 - 7*u + 2. Is i(p) a multiple of 14?
True
Let j be 220 + -10*(-3 - 26/(-10)). Let l be (-26)/(3 + -5)*-8. Let r = l + j. Is r a multiple of 8?
True
Let j(k) = 845*k + 3099. Is 11 a factor of j(-3)?
False
Let i(j) = -3*j + 9. Let l be i(6). Suppose w + 4 = -4*p, -7*w - 2 = 2*p - 10*w. Is 5 a factor of (-96 + p)*(l + 7 + 1)?
False
Suppose 2*j = -34 + 434. Suppose -j = -r + 94. Does 6 divide r?
True
Let q = -73 + 260. Let k = -177 + q. Does 5 divide k?
True
Does 41 divide 63/7 - 20 - -354?
False
Let c(q) = 32*q**2 + 337*q + 38. Is c(-14) a multiple of 43?
False
Let a(b) = 2*b**2 - 8*b + 20. Suppose 3*k - 4*k = -52. Let d be (2 - (-200)/k) + (-2)/(-13). Does 11 divide a(d)?
True
Let b(l) be the second derivative of -l**5/20 + 2*l**4/3 - 7*l**3/6 - 10*l**2 - 35*l. Let d be b(7). Is -28*((-35)/d + -2) a multiple of 7?
True
Let x be 6/24*12*(-8)/(-6). Let k be x/5 + 60/(-75). Let r(d) = 2*d**2 + d + 54. Does 27 divide r(k)?
True
Let q(j) = 3*j**3 - 70*j**2 - 52*j + 18. Is q(26) a multiple of 42?
True
Let f(k) = 4*k**2 - 2*k - 7. Suppose -2*m = -5*t - 1, 4*m + 6*t - t - 17 = 0. Let l be f(m). Suppose -5*a + l = -22. Does 6 divide a?
False
Suppose -2*m - m + 6 = -l, 4*l + 14 = 2*m. Suppose 60*i - 5420 = -396*i - 20012. Is (30/(-24))/(((-6)/i)/l) a multiple of 5?
True
Suppose 2*d + 4758 = a, 5*a - 5*d = 7306 + 16469. Is 11 a factor of a?
True
Suppose -7*b + 4*b - r + 572 = 0, 0 = 2*b + r - 382. Suppose -4*w - 5*i + 715 = 0, 23*i - 28*i = w - b. Is 12 a factor of w?
False
Let o(a) = a**3 + a**2 - 14*a - 5. Let x be o(-4). Does 25 divide -1*(x - 1) + 19633/29?
True
Let v = 7285 + 19607. Is v a multiple of 36?
True
Let t = -11950 + 27781. Is 19 a factor of t?
False
Let f be (-14 + (-2 - -4))*9. Is 14 a factor of 1750*(4 - f/(-30))?
True
Let p be 1131/(-15) + (-4)/(-10). Let a be (-6)/(-10) + -1 + (-1305)/p. Let r = a + 37. Is r a multiple of 9?
True
Suppose 251*s + 28140 = 293*s. Is s a multiple of 3?
False
Suppose -120*n = -111*n - 2241. Let g = n - 161. Is 3 a factor of g?
False
Suppose -4*j = -4*d + 4, 5 = -2*d + 5*j + 4. Suppose p = 7*r - d*r + 200, 107 = -3*r - 2*p. Let a = 80 + r. Does 40 divide a?
False
Is ((-736)/48)/(18/(-8991)) a multiple of 45?
False
Let w = 7 - 2. Suppose -7*s = -6*s - w. Suppose 3*j - 4*j + s*y = -16, -2*j = -4*y - 20. Does 3 divide j?
True
Let n(r) = -r**3 + 14*r**2 + 17*r - 12. Let l(o) = -1 - 1 - 35*o + 34*o - 5. Let x be l(-22). Is n(x) a multiple of 6?
True
Let v = -3413 + 4927. Let c = 2234 - v. Is c a multiple of 10