o + 632 = 5*i, -9 = o - 10. Suppose 2*l - 314 = -3*l - r, 2*l - r = i. Is 3 a factor of l?
True
Let j(o) = 5*o + 51. Let m be j(-9). Suppose -1025 = -3*v + m*v + 2*d, d = -3*v - 1030. Let p = v + 497. Is p a multiple of 12?
False
Suppose -12*x + 42 = 3*z - 15*x, x = -4*z + 31. Suppose -11*b = -z*b - 896. Does 28 divide b?
True
Suppose 3*o + 0*o + 111 = 0. Let b = 30 + o. Is 35 a factor of (-242)/b + (-42)/(-98)?
True
Let f(m) = 2*m**2 + 7*m - 11. Let o(d) = d + 22. Let v be o(-13). Suppose 33 = -v*z - 21. Does 19 divide f(z)?
True
Is (-4760)/(-6)*(-6 - (3 + 93)/(-4)) a multiple of 70?
True
Suppose 0 = 2*t + 20*s - 18*s - 3572, -1774 = -t - 5*s. Does 23 divide t?
False
Suppose -2*r - 5*w - 13 = 0, 6*r - w = 7*r - 1. Is 11 a factor of (-7 - (-527)/3)/(4/r)?
True
Suppose -48 = 63*i - 39*i. Suppose -71 - 208 = -3*o. Is 8 a factor of (6/(-4))/(i - o/(-48))?
True
Suppose -3*q = -6*w + w + 635, 4*w - 516 = 4*q. Let a = w + 304. Suppose -a = -4*i + 372. Is 44 a factor of i?
False
Is 6984404/182 + 44/286 a multiple of 39?
True
Let r be (-2)/12 - (3 - (-19)/(-6)). Suppose 0 = 4*v - r*v - 20, -5*v = -4*i + 391. Does 24 divide i?
False
Let l(c) = c**3 + 20*c**2 - 9*c + 30. Suppose 8 - 26 = t. Is 30 a factor of l(t)?
True
Suppose 0 = -z + 11*u + 4083, 2*z = -2*z - 5*u + 16185. Is z a multiple of 15?
True
Let w = 7507 - 7512. Let f(y) = -y**3 + 4*y**2 - 12*y - 6. Let x(c) = c**3. Let z(q) = -f(q) - 4*x(q). Is 19 a factor of z(w)?
False
Let w(i) = 5*i - 24*i**2 + 81*i**2 - 2*i. Let n(z) = -z**2 - 15*z + 595. Let g be n(-33). Is 6 a factor of w(g)?
True
Suppose 315*n - 20052 = 303*n. Is 3 a factor of n?
True
Suppose -x - 1105 = -7*g + 6*g, 2*g - 2220 = 4*x. Suppose -a + g = a. Is 11 a factor of a?
True
Is 264 a factor of 34048 + (-14)/(-21 + 19)?
False
Let c(o) = -o**2 + 8*o - 9. Let v be c(0). Is 34 a factor of 75 - (v - (-1 - 15))?
True
Suppose 4*f - 2399 = -4*q + 3*q, 0 = 2*q - f - 4762. Suppose 5*w - q = 2*n - 4*n, -w - 2*n = -475. Is w a multiple of 53?
True
Let r(v) = -v**3 - 7*v**2 + 16*v + 67. Let y be r(-8). Suppose 0 = y*z + 15, 0 = 3*b + z - 100 - 153. Does 43 divide b?
True
Let p(s) = 13*s + 656. Is p(0) a multiple of 3?
False
Does 185 divide ((-2)/20*-5)/(1881252/(-268752) - -7)?
False
Let c = 368 + -364. Is 9 a factor of 54/c*(112/(-24) + 6)?
True
Let q(n) = n**2 - 21*n - 30*n + 27 + 35*n. Is 20 a factor of q(17)?
False
Let g = -235 - -243. Suppose 0 = g*p - 14*p + 234. Is 4 a factor of p?
False
Let m = 2045 - 1925. Does 20 divide m?
True
Let m = 25 - 11. Let k = 33 - m. Suppose k*j + 254 = 21*j. Is j a multiple of 11?
False
Suppose 3*n = -6*x + 5*x + 2313, 4*x - 5*n - 9252 = 0. Suppose 76*w - 67*w = x. Does 45 divide w?
False
Let i(m) = 11*m + 100. Let s be i(12). Let r = s + -219. Is r even?
False
Let p be -5 + (-2)/(-5) + 529/115. Suppose 0*t - 2*t + 6 = p, -2*t = -x + 960. Does 46 divide x?
True
Suppose -4*p + s + 553 = 0, 4*p - 2*s - 568 = 2*s. Let y = p - 78. Suppose -56*c = -y*c + 390. Is c a multiple of 11?
False
Let a be -4*(4/16 - 2). Let k(u) = u**2 + 35*u + 172. Let o be k(-29). Does 39 divide ((-6)/o - a) + 186?
False
Let z(v) = -v**2 + v + 1. Let q(f) = -f**3 + 5*f**2 + 7*f - 9. Let b(m) = q(m) + 4*z(m). Let o be b(-5). Let y = o - 49. Does 14 divide y?
False
Suppose 13*s = 143 - 377. Is 1 - s/(-30) - (-996)/10 a multiple of 20?
True
Let i(d) = d**2 + 57*d - 503. Let t be i(8). Let c be (62/(-3))/(2/(-12)). Let n = c - t. Is n a multiple of 25?
False
Let r(d) be the first derivative of -9*d**2/2 + 18*d + 1. Let k = -4374 + 4368. Does 18 divide r(k)?
True
Let m be ((-2096)/24)/(((-2)/3)/(-1)). Let s = -99 - m. Is s a multiple of 15?
False
Let f(u) = 4*u**2 - u + 32. Let j be f(12). Suppose j = 4*b - 156. Does 14 divide b?
False
Let m(o) = 17*o**2 - 22*o**3 + 5*o - 9*o**2 - 6*o**2 + 21*o**3. Is m(-4) a multiple of 10?
False
Suppose -14 = 3*l + g, 5*l + 2*g + 18 = -g. Let u(c) = 11*c**2 + 9*c + 1. Let b be u(l). Suppose -3*k + b = 4*k. Is 7 a factor of k?
True
Suppose -k = -2*k + 7*k - 94068. Is 98 a factor of k?
False
Let i(o) = 4*o**2 + o - 4. Let z be i(-1). Is 6 + -5 + z - (-1440)/3 a multiple of 16?
True
Let u(z) = -z**3 - 2*z**2 + 8*z + 4. Let a be u(-4). Let p = 30 + -30. Suppose 0 = -p*l - 5*l + a*t + 137, -4*t = -l + 21. Does 5 divide l?
False
Let a = -1300 + 297. Let k = a - -1435. Does 16 divide k?
True
Does 12 divide (606/(-4))/(3/(-60))?
False
Suppose 140*m - 112*m = 67592. Does 17 divide m?
True
Suppose -25 = 5*k - 5, 0 = 3*y - 2*k - 8. Let g(p) = 2*p**3 + p**2 - 4*p + 115. Is g(y) a multiple of 3?
False
Let m(b) = 28*b**2 - 44 + 57 - 55 - b**3 - 21*b. Is m(27) a multiple of 10?
True
Does 13 divide -4 - (-21947)/(-51)*(0 + -3)?
True
Suppose 17*a - 22 = 29. Suppose -y - 2*j = -50, -96 = 5*y - 7*y - a*j. Does 6 divide y?
True
Let s be (1 - -6 - 7)/(-1*1). Suppose s = 8*t - 32 - 48. Suppose -15 = 3*x, -x = -4*z + t + 15. Is 2 a factor of z?
False
Suppose -335874 = -11*q - 55*q. Does 139 divide q?
False
Suppose 5*g = -5*p, -10 = -3*g + 8*g. Suppose 2*a - 344 = -4*r + 850, p*a = 10. Is r a multiple of 8?
True
Let g = -4492 - -24112. Is 31 a factor of g?
False
Suppose 4*m + 27 = 3*g + 29, 2*m = 4*g - 4. Suppose -r = 4, r = -h - 3*h + 8. Suppose -4*d - 3*y = -393, g*d = 2*y + h*y + 203. Is 33 a factor of d?
True
Let m = 14 - 11. Suppose s = m*s - 4. Suppose -6*z + s*z + 224 = 5*d, 5*d - 232 = -2*z. Is 8 a factor of d?
True
Suppose 3*j = 5*s - 126279, 75773 = 12*s - 9*s - j. Does 20 divide s?
True
Suppose -198*h = 261*h - 11206944. Is 56 a factor of h?
True
Suppose -467*i = -427*i - 1658160. Is i a multiple of 18?
True
Let o = 7150 - 6469. Is o a multiple of 220?
False
Suppose 796 = -5*f - 854. Let y = f + 535. Is 24 a factor of y?
False
Let w(a) = -132*a - 129. Suppose -71 = 7*g + 13. Is 39 a factor of w(g)?
False
Let j(h) = 9*h + 175. Let o be j(-19). Does 13 divide (o/(-10))/(((-14)/(-180))/(-7))?
False
Suppose -18*x = -28*x - 60. Let t(y) = -40*y + 178. Is t(x) a multiple of 9?
False
Let v(r) = r**3 + 13*r**2 - 17*r + 7. Let o be v(-12). Let n = -738 - -1331. Let d = n - o. Is d a multiple of 34?
True
Let t be (-12)/((-12)/2)*57*-1. Let r = t + 114. Suppose 2*h + 4*k - 2*k - 52 = r, 5*k + 86 = 4*h. Does 10 divide h?
False
Let m(d) = 9*d + 45. Let x be m(-5). Suppose 2*v - 7*v + 3*h + 37 = x, -3*v - 4*h = 1. Suppose v*s = u - 149, 2*u - s - 303 = 4*s. Is 22 a factor of u?
True
Suppose -2 - 6 = -5*r + 4*n, -4*n = -12. Let t(y) = -y**3 + 11*y**2 + 6*y - 6. Let d be t(r). Suppose 0 = 9*i + i - d. Is i a multiple of 5?
False
Let b be 519292/(-32) - 3/24. Let a = 9732 + b. Is a/42*3/(-2) a multiple of 28?
False
Let i(q) = -4*q**3 - 5*q**2 - 2*q - 1. Let k be 40/(-60) + 17/3. Let f be k/(-2) + (-18)/(-36). Is i(f) a multiple of 5?
True
Let s(u) = -123*u - 373. Does 18 divide s(-15)?
False
Let b(y) = -42*y - 1526. Does 14 divide b(-41)?
True
Let w be 5*1 + 12/1. Let h(t) = 3*t - 49. Let i be h(w). Does 10 divide (i/3)/((-46)/(-13593))?
False
Let k be (-3 + 7/5)*(-5)/2. Suppose -b + 30 = k*b. Suppose 11*g - b*g = 520. Is g a multiple of 10?
False
Suppose 5*z + 4*o = 1878, 2*z - 5*o + 1875 = 7*z. Suppose -46*s + z = -37*s. Is 7 a factor of s?
True
Let u = 35630 + -18279. Does 9 divide u?
False
Suppose 4*v - 5688 = -n, -v - 41 = -43. Is 16 a factor of n?
True
Suppose 11*t - 5*t = -4*t. Suppose -14*j - 15*j + 5916 = t. Is j a multiple of 6?
True
Let f(h) = 57*h - 205. Let u(d) = -35*d - 405. Let j be u(-12). Is 50 a factor of f(j)?
True
Let p be ((-2)/(-2))/(8/(-4200)*3). Let q = p + 331. Does 13 divide q?
True
Suppose -1 = -s + 1. Suppose s*q + 3*f - 214 = 6*f, q + 4*f = 118. Is 22 a factor of q?
True
Let i be 2208/(-10) + (-8)/40. Suppose -k = -x + 121 + 31, x = -3. Let f = k - i. Is 11 a factor of f?
True
Let l(s) = -s**3 - 13*s**2 - 35*s - 9. Is 3 a factor of l(-13)?
False
Let a = 84 - 58. Let j be 18/(-4)*a/(-39). Suppose j*n = 4*n - 6. Is 6 a factor of n?
True
Suppose 5*r = -4*z + 33931, 4*z = -r + 7134 + 26817. Does 102 divide z?
False
Let i(t) = -19 + 1 + 20*t + 25*t - 35*t + 5*t**2. Is 20 a factor of i(-8)?
False
Suppose 0 = 3*g - 3*w - 5181, 4*g - 5511 - 1394 = 3*w. Is g a multiple of 4?
True
Let r = 825 - 537. Suppose 1170 + r = 6*s. Is s a multiple of 10?
False
Suppose -d - 2*b + 44 = 0, 0*d - 5*b = 2*d - 92. Suppose 0 