
Let k = 4248 - 1764. Is k a multiple of 51?
False
Suppose 1358*l - 1337*l = 138684. Does 12 divide l?
False
Let u(a) = a**3 + 105*a**2 - 2513*a + 117. Does 50 divide u(-125)?
False
Let t(z) = 2*z**2 - 14*z - 18. Let u(p) = -p**2 + 13*p + 18. Let b(v) = 2*t(v) + 3*u(v). Is b(0) a multiple of 3?
True
Let o = -1178 + 5041. Is 29 a factor of o?
False
Let z(s) = -7*s - 114. Let i be (-3 - -6 - (33 - 1))*1. Is z(i) a multiple of 2?
False
Let l(f) = -f**3 - 19*f**2 + 41*f - 27. Let d be l(-21). Let r(q) = -38*q - 34. Does 13 divide r(d)?
False
Suppose -5*g = 4*a - 13972 - 42640, -5*a = -2*g - 70798. Does 177 divide a?
False
Let u = 1836 + -501. Is 28 a factor of u?
False
Suppose 4592*o - 367824 = 4568*o. Is 43 a factor of o?
False
Let h = 57 + -5. Let q = -52 + h. Suppose -k = -5*u + 175, 4*u + q*k - 140 = k. Is 13 a factor of u?
False
Let h = -26640 + 44452. Does 122 divide h?
True
Suppose -19007 - 27644 = -28*s - 6499. Is s a multiple of 37?
False
Does 3 divide ((-951)/(-9))/((-1185)/(-585) - (2 - 0))?
False
Let s be (-450)/(-15) - 6/2. Suppose s = 2*c - 21. Suppose 2*h = -4*n + 134, -126 + c = -3*n - 3*h. Is n a multiple of 9?
False
Suppose -5*p + 4*p - 3*n = -239, 4*n - 717 = -3*p. Suppose -o + p = -3*g + 5*g, -5*o + 1209 = 3*g. Is 13 a factor of o?
False
Let l be (-6 - -8)*13/2. Let z = -10 + l. Is (-2)/(-3)*(z + 111) a multiple of 19?
True
Let r(o) = o**2 - 13*o + 32. Let j be r(18). Let f = j + -50. Does 24 divide f?
True
Is (-214)/1605 + 34414/30 a multiple of 37?
True
Let x = 1118 - 767. Let d = x - 15. Is 28 a factor of d?
True
Let p be (22/(-4))/(5/10). Let z be (-20)/(-11) + (-2)/p - -252. Let t = z + -167. Is 29 a factor of t?
True
Let s(l) = -8*l + 2*l - l**2 - 2*l + 2. Suppose 2*m + 8 = -2*d, -2*m + 2*d - 10 = -m. Is s(m) a multiple of 7?
True
Suppose -84 = -69*h + 27*h. Let w = -19 + 11. Is 18 a factor of h - 202*4/w?
False
Suppose 3 = o - 2*o. Let a be 98/o + 8/(-24). Let j = 39 + a. Does 6 divide j?
True
Suppose -4*h + 14*x - 304 = 9*x, 0 = 5*h - 5*x + 385. Let i = 54 - h. Is 45 a factor of i?
True
Is 37 a factor of (-4)/9 + 217978617/4077?
True
Suppose 4*d + 2 + 2 = -2*q, 0 = -5*q - 10. Suppose d = 6*y + 86 - 332. Suppose y + 43 = 7*t. Does 3 divide t?
True
Let d(z) = z**3 + 24*z**2 - 15*z - 224. Is 78 a factor of d(-22)?
False
Suppose 3*j - 451530 = -129*j - 13*j. Is 27 a factor of j?
False
Let q(s) = 3*s + 18. Let f be q(-4). Let l(u) = 7*u**2 - 24*u + 43. Does 6 divide l(f)?
False
Let r(l) be the first derivative of 19*l**3/3 + l**2 + 13*l - 47. Is r(3) a multiple of 10?
True
Let x(o) = -5*o**2 + o. Let p be x(-1). Let i be (12/(-14))/(p/21). Is -5 + 120 + i + 1 a multiple of 17?
True
Let k(m) = 2*m**3 - 6*m**2 - 19*m + 13. Let a be k(10). Let x = -404 + a. Is x a multiple of 43?
False
Let w be 12/20*5 + -158. Is 15 a factor of (w/(-10) + -1)*2?
False
Let t = 703 + -718. Let o(k) = -21*k + 93. Is o(t) a multiple of 12?
True
Let c be (-1 + -3)*(-9)/36. Is -5 + 4 + c + 19 + 0 a multiple of 4?
False
Suppose -3*n + 1149*a - 1151*a + 567 = 0, 4*n - 752 = -4*a. Is 2 a factor of n?
False
Let p(y) = 39*y - 349. Let r be p(10). Suppose -r*u - 1394 = -21648. Is 13 a factor of u?
True
Is 11 a factor of (51/68)/((-73447)/110176 - 2/(-3))?
False
Suppose -3*w = -4*y - 63331, -4*w - 129*y + 124*y + 84462 = 0. Does 104 divide w?
False
Let v(s) = 5*s**2 - 9*s - 4. Let z(l) = -14*l**2 + 28*l + 11. Let m(k) = -17*v(k) - 6*z(k). Let c = 116 + -130. Is m(c) a multiple of 8?
True
Let c = -925 + 1573. Let m = c + -303. Does 11 divide m?
False
Let q(y) = -5*y**2 + y + 329. Does 2 divide q(0)?
False
Suppose -6*i + 18 + 6 = 0. Suppose x - 3 = 0, 61 = 3*g - i*g + 2*x. Is 13 a factor of 3/5 - 4422/g?
False
Is 9/(-1) - (-33667 - 110) a multiple of 56?
True
Suppose 14*d = -4*j + 15*d + 56105, -14*j - 4*d = -196390. Does 83 divide j?
True
Suppose -3*q + 5*q = w + 18, 4*w = -q - 27. Let b be ((-64)/w + 35)/(1/8). Suppose 3*v = b - 113. Does 11 divide v?
True
Let s(k) = 33*k**3 + 2*k**2 - 4*k + 4. Let f(m) = -11*m + 67. Let b be f(6). Is s(b) even?
False
Let p be 3*2/6 - (-16)/4. Suppose 2*x = p*b - 1161, 17*b - 456 = 15*b - 2*x. Does 17 divide b?
False
Suppose -3264 = -74*t + 68*t. Let k = t + -285. Is k a multiple of 6?
False
Suppose 54*m = 32331 + 82149. Is 10 a factor of m?
True
Let d(s) = -9*s**2 + 43*s + 10. Let b be d(5). Suppose b = 31*o - 1963 - 765. Is o a multiple of 8?
True
Suppose 0 = -t - 4*i + 21370, -8*t = -3*t - 3*i - 107011. Does 172 divide t?
False
Let d(f) = 958*f**2 + 32*f. Is d(4) a multiple of 28?
True
Let x(d) = 2*d**3 - 3*d**2 - 6*d + 9. Let v(q) = -q**3 - q**2 - q + 1. Let n(b) = -v(b) - x(b). Let o be n(5). Suppose -r = t - 4, o*t = -2*r + 2*t. Is r even?
True
Suppose -2*h - 52 = 6*c - 4*c, -2*c + 134 = -4*h. Let k(g) = -13*g + 158. Does 34 divide k(h)?
False
Let t(b) = 36*b + 0*b**2 + 2*b**2 + 19 - 53. Does 23 divide t(-20)?
True
Let s be (16 + 2)/(20/20). Does 11 divide ((-72)/14)/(s/(-630))?
False
Suppose 3*n = 4*a - 3422, n + 1710 = 2*a - n. Suppose 15 = 5*f, 0 = -g + 3*g - 3*f - a. Is 25 a factor of g?
False
Suppose 0 = 2*x - r - 74611, 46525 = 2*x - 5*r - 28058. Does 10 divide x?
False
Let m(y) = -3194 + 3162 - 10*y - 3*y. Is m(-18) a multiple of 6?
False
Let j(c) be the first derivative of 12*c + 10 + 5*c**2 + 2/3*c**3. Is j(-7) a multiple of 10?
True
Let n(o) be the second derivative of -o**4/12 + 17*o**3/6 - 2*o**2 + 8*o. Suppose -3*m + 13 = -8. Does 10 divide n(m)?
False
Suppose 2*o = 3*r - 2*o - 31, 3*r + 3*o = 24. Let y = r + -5. Suppose y*k - 30 = 94. Is k a multiple of 25?
False
Suppose 35*d = 50*d - 10215. Is d a multiple of 32?
False
Let p(q) = q**3 + 62*q**2 - 92*q - 239. Is 4 a factor of p(-63)?
True
Let o(f) = 2*f**2 - f - 3. Let m be o(2). Let r be -166*3/(-18)*m. Let i = r + -43. Is i a multiple of 5?
True
Let n be 36/(-270) - (-2256)/45. Suppose -n = -2*p + 82. Is 6 a factor of p?
True
Suppose 4*g = 0, 0 = -5*b + 7*b - 3*g + 4. Let n(k) = -149*k - 10. Does 32 divide n(b)?
True
Let s = -62852 - -106387. Is s a multiple of 57?
False
Suppose a + 72 = -23. Let y = -86 - a. Suppose 0 = 15*n - y*n - 486. Is n a multiple of 11?
False
Let c(i) = 7*i + 42. Let h be c(-4). Suppose 0 = q + 4*k + 7, -11*q + k = -h*q + 23. Does 9 divide q?
True
Let w(b) = 42*b**3 - 2*b**2 + 3*b. Let q(o) = -o**2 - 17*o + 62. Let g be q(-20). Let u be w(g). Suppose 4*l - 2*l - u = 0. Is l a multiple of 23?
False
Let a be ((-175)/14 + -4)/((-1)/12). Suppose -a*s = -193*s - 1440. Is 10 a factor of s?
False
Let d(c) = -20*c**2 - c + 16. Let w(a) = -21*a**2 - 2*a + 16. Let h(m) = 6*d(m) - 7*w(m). Is 7 a factor of h(3)?
False
Suppose -j + 4*p = 6*p - 6, -p = j - 5. Is 4 a factor of 14/(j*8/16)?
False
Suppose -246 = -2*a + 156. Let g be a/6 + (10/4 - 3). Suppose -4*t + g = -t. Does 4 divide t?
False
Is 142 a factor of (216783/(-1116))/(6/(-224))?
False
Suppose 0*n + n = -n. Suppose n = -12*r + 10*r + 166. Suppose 0 = -3*x + r + 25. Is 9 a factor of x?
True
Let m(l) = 3*l**3 - 6*l**2 + 6*l + 11. Let v(q) = -11*q + 59. Let p be v(5). Is m(p) a multiple of 9?
False
Let b(z) = -286*z**3 - 2*z**2 - 23*z - 46. Does 38 divide b(-2)?
True
Suppose 0 = n + 3*y - 11, -n = n + y - 37. Suppose -4*t - n = 4. Let l(z) = 3*z + 35. Does 17 divide l(t)?
True
Let d be (-18 + 16)/(4/(-8)). Suppose -3*u - d*h - 379 + 1167 = 0, u = -2*h + 264. Is u even?
True
Suppose 17*s - 13*s = 60. Suppose s*n - 20*n = -2070. Does 18 divide n?
True
Let y(t) = -t**3 - 6*t**2 - 7*t - 5. Let p be y(-5). Let o be (-33)/165 - (-21)/p. Suppose u = w + o*w + 106, 0 = -2*u - 2*w + 272. Does 15 divide u?
False
Let o be (4/(-1 - 3))/(2/(-6396)). Let r = o + -1818. Is r a multiple of 19?
False
Let g(u) = 27*u + 82*u**2 - 50 - 156*u**2 + 73*u**2. Does 15 divide g(15)?
False
Let i(o) = -25*o + 14. Let y(h) = 13*h - 7. Let r(q) = -2*i(q) - 5*y(q). Let v be r(-4). Let d = v + -1. Does 11 divide d?
True
Let t(c) = -c**2 + 11*c - 1. Let i be t(10). Suppose 5*r - 2*j = 217, -10*j = -3*r - i*j + 130. Is r a multiple of 13?
False
Let i = -355 - -352. Let l(j) = 4*j**2 + 7*j + 18. Is 8 a factor of l(i)?
False
Suppose 0 = w + 3*o - 17, -4*w - 19 = -7*w - o. Suppose w*z - 7 = 18. Suppose 91 = z*d - 74. Is d a multiple of 11?
True
Let g(s) = 9*s**2 - s + 2. Let q be g(2). Let y be 11034/q - (-1)/2. Sup