se 3*p - 2*p = -r - 12, -2*r = -3*p + v. Is (-24)/r*138*1 a multiple of 23?
True
Let l be 816/34*2/(-1 + 5). Suppose -l = -c - 3*c. Suppose 0 = -2*y - 6*w + 4*w + 610, y + c*w - 299 = 0. Does 33 divide y?
False
Suppose 255 = -2*z + 17*z. Suppose -4*i - 4 = 0, -4*n + 12*i - z*i = -535. Is 15 a factor of n?
True
Suppose 6*f - 29*f = -5612. Suppose -22*x = -18*x + 5*w - 325, 3*x - f = -4*w. Does 2 divide x?
True
Let t = 196 - -348. Let o = 1084 - t. Does 45 divide o?
True
Suppose -3*v + 6*v = 2*s - 6009, v = -3. Is 9 a factor of (18/15)/(18/s)?
False
Let a = -109 + 103. Let i be (-114 - -32)*(a/(-4))/1. Let k = -97 - i. Does 2 divide k?
True
Let x(j) = 1259*j - 1339. Does 35 divide x(4)?
False
Suppose 106*z + 59*z = 18707231 - 6260126. Does 14 divide z?
False
Let n = 2079 + -1902. Let b = 272 - -167. Suppose -8*v + n = -b. Is 11 a factor of v?
True
Let i be -12*((-19327)/14)/11. Suppose -6*r - 18 = -i. Does 5 divide r?
False
Suppose -w + 9689 = 3*x, -117*x + 119*x = 2*w + 6478. Is x a multiple of 3?
False
Is 172 a factor of (-235)/47*10111/(-10)*(5 + -3)?
False
Suppose -4*w - 12 + 20 = 0. Suppose -w*l = -185 - 149. Suppose l = -12*i + 659. Is 11 a factor of i?
False
Let k(r) = 13*r + 105. Let v be k(-10). Let o be ((-2)/4)/((-5)/50). Is (o/(v/(-4)))/(1/115) a multiple of 23?
True
Let b(i) = 2*i**2 - 7*i. Let n(l) = l. Let m(o) = b(o) + 5*n(o). Let j be m(2). Suppose -44 = -j*z - w, 2*z + 6*w - w - 40 = 0. Does 2 divide z?
True
Let w be (0 - -10)*246/(-12). Let g = 225 - w. Is 43 a factor of g?
True
Let b be (50/15)/((-4)/(-6)). Suppose -117 = b*k - 2*k. Let x = k + 45. Is 4 a factor of x?
False
Let j(v) = v**2 - 20*v - 94. Let k be j(24). Suppose 3*m + 20 = 2*c + 2*m, -5*m = k*c + 4. Is 5 a factor of c?
False
Suppose 9*p = -140 + 185. Suppose -j = -12*s + 13*s - 642, -3*j - p*s + 1936 = 0. Is 49 a factor of j?
True
Let g(r) = r**3 - 27*r**2 - 26*r - 13. Let f be g(25). Let j = -1172 - f. Is j a multiple of 15?
False
Suppose -5*k + 678 = 4*h - 6062, 4*k = 5*h + 5351. Let f = -638 + k. Is 33 a factor of f?
False
Let i = -381 + 557. Suppose 4*l - i = -m, 0*m + 3*m + 2*l - 558 = 0. Suppose -5*a = v + v - 212, 4*a - m = 3*v. Is a a multiple of 9?
False
Let n(t) = 24*t - 34. Let p be n(-12). Let g = -219 + p. Let k = g + 801. Is 46 a factor of k?
False
Let a = 150 + 265. Is 81 a factor of a?
False
Let i be ((-45)/90)/(2/12). Let k(y) = -y + 6. Let a be k(6). Is 7 a factor of 56 - ((6 - 1) + i + a)?
False
Suppose 12*r + 211 = 13*r. Suppose -3*g - 2*p + 2 = -r, -2*p = 2*g - 142. Does 24 divide g?
False
Suppose 0 = -k, 9*a = 4*a + 4*k. Suppose a = -q + 403 - 138. Is q a multiple of 20?
False
Let r(x) = 2*x**3 - 38*x**2 + 9*x - 31. Is r(24) a multiple of 14?
False
Suppose 0*i - 14 = -3*g - 2*i, 2*g = -i + 8. Let d be (2 + -4)*2/(g + 0). Is 2 a factor of -2*(6/d + 2)?
True
Let b be 1/(-1)*(-1 + 0). Let o(x) = -28*x - 55. Let f be o(-2). Is 17 a factor of 9/(f/b - 7/10)?
False
Let d = 289 + -289. Suppose i - 4*v = 50, 346 = 5*i + 4*v - d. Is 22 a factor of i?
True
Let z(s) = 6*s**2 + 197*s + 2361. Is z(-11) a multiple of 7?
False
Let t(v) = -7*v**2 - 532*v - 142. Is t(-67) a multiple of 130?
False
Let b be (-220)/1650 - (32/(-15) + -2). Suppose -2*c + 3*s = -201, 3*c = -b*s + 76 + 200. Is c a multiple of 10?
False
Let b = -5 - -528. Suppose -2*w - b = -4*y - 5*w, 10 = 2*w. Is 9 a factor of y?
False
Suppose -4*k + 339 = -9*k + y, 4 = -4*y. Let s = -67 - k. Does 22 divide (91 - 4/((-4)/(-3)))/s?
True
Let o(q) be the third derivative of 0*q - 11*q**2 + 1/30*q**5 - 1/6*q**4 + 0 - q**3. Is 7 a factor of o(-4)?
True
Let m(x) = 3*x**2 + 10*x - 28. Let h be m(-10). Is 2/(-2) + h + -16 a multiple of 5?
True
Let g(y) = -y**3 + 7*y**2 + 2. Let q be 1/(1 + 5) + 29/6. Let z be g(q). Suppose 41*s - 40*s = z. Is s a multiple of 35?
False
Let r = -34 + 34. Suppose r*s + 4*h = 5*s - 650, 2*h = s - 130. Let p = -74 + s. Is 11 a factor of p?
False
Suppose -122*t - 70*t + 1557120 = 0. Is 15 a factor of t?
False
Let y be 15*24/1620 - 1955/9. Is 50 a factor of ((-110)/11)/(7/y)?
False
Suppose -2*a + 4*a = 8, 0 = -u - 3*a + 1543. Let h = -1061 + u. Is 50 a factor of h?
False
Suppose -126*t + 60*t = -58*t - 320. Let s be ((-1)/(-1))/(2/(-62)). Let d = t + s. Does 2 divide d?
False
Let s = -15867 - -20920. Is s a multiple of 31?
True
Is 91 a factor of (255/(-17)*65)/(3/189*-3)?
True
Let d be (-4 - 6)/((-4)/2). Suppose -u - 3*f = -26, -2*u = 3*u - d*f - 30. Does 2 divide u?
False
Suppose 0 = 11*r - 10*r + 4. Is r/(-6) + -2*1878/(-36) a multiple of 7?
True
Is (0 - 880*(8 + 356/(-48)))*-3 a multiple of 11?
True
Let x(l) = l**3 - 3*l**2 + 5*l - 4. Let s be x(2). Suppose -s*w + 39 - 41 = 0. Is 22 a factor of ((-2)/w)/(135/66 - 2)?
True
Let f(t) = -6*t**3 + t**2 + 3*t + 6. Let z(u) = -2*u**2 + 2. Let l(c) = -f(c) + z(c). Is 8 a factor of l(3)?
False
Let r(h) = -346*h + 10. Suppose 2*y + 2 = 3*y, 5*y = -5*p - 5. Is 8 a factor of r(p)?
True
Suppose -2*q - 7*q = -6*q. Let t = q + -59. Let u = 95 + t. Is u a multiple of 20?
False
Let m(g) = -937*g**3 - 3*g**2 + 81*g + 166. Is m(-2) a multiple of 4?
True
Let t(i) = 4*i**3 + 4*i**2 + 2*i - 3. Let p be ((-9)/18)/(3/(-30)). Let s(w) = 3*w**3 + 4*w**2 + 3*w - 4. Let j(z) = p*t(z) - 6*s(z). Is 6 a factor of j(4)?
False
Let t(v) = 3*v**2 + 5*v + 7. Let g(b) = 4*b**2 + 4*b + 8. Let l(s) = -5*g(s) + 6*t(s). Let q be l(5). Suppose 32 = q*d - 0*d. Is d a multiple of 16?
True
Let r(h) = 49*h + 2331. Is 112 a factor of r(21)?
True
Suppose -24*v - 237 = 27. Let d(n) = -n**3 - 10*n**2 + 2*n + 21. Does 10 divide d(v)?
True
Suppose 0 = 4*l + 5*o + 15, 0 = -4*o - o + 25. Is (-10)/(-50) - 318/l a multiple of 4?
True
Let c = 15013 + -5795. Is 88 a factor of c?
False
Suppose -2444 = -2*z + l, 18*z = 13*z + 4*l + 6104. Is 72 a factor of z?
True
Let f = 54 + -57. Let b(c) = -c**2 - 6*c - 6. Let r be b(f). Suppose 315 = r*d - 0*d. Is 21 a factor of d?
True
Let n = 64 + -108. Let p = -42 - n. Suppose -p*f + 20 = 8. Is 2 a factor of f?
True
Let d(v) = -v**3 + 34*v**2 - 23*v**2 + 45 - 23*v**2 - 10*v - 16*v**2. Does 25 divide d(-28)?
True
Suppose -29*h - 34*h + 12*h = -354960. Does 25 divide h?
False
Let j = 253 - 158. Suppose -89*t + j*t = 360. Is 12 a factor of t?
True
Let b(l) = 22*l**3 + 29*l**2 + l + 28. Let y(v) = 12*v**3 + 16*v**2 + v + 14. Let i(o) = -3*b(o) + 5*y(o). Does 55 divide i(-6)?
False
Let w be 4/26 - 44/286. Suppose w*b = 2*b - 1134. Does 21 divide b?
True
Let p = 5161 - -18012. Is 25 a factor of p?
False
Suppose -299*o = -193*o - 58088. Does 40 divide o?
False
Let t = 185 - 179. Let g(u) = -2*u**2 + 17*u + 10. Is g(t) a multiple of 8?
True
Suppose 0 = -5*q - 37 - 8. Is 2/3*(q + 183) a multiple of 29?
True
Let c(x) be the first derivative of -3*x**4/4 + 11*x**3 - 10*x**2 - x + 62. Is c(9) a multiple of 22?
False
Suppose 2*w + l = 5*l - 2, w + 3*l = 4. Let y = -5 - w. Does 2 divide 44/16 + y/8?
True
Let x be 8 + 5/((-25)/5). Suppose -x*i = -4*i - 9. Suppose -8*g + i*g = -200. Is 8 a factor of g?
True
Let z(i) = 11*i**2 + 21*i - 532. Does 111 divide z(-36)?
False
Let u(d) = -4*d - 1. Let w be u(-3). Suppose -14 = -w*b + 4*b. Does 16 divide (-203)/(-2) + 1/b?
False
Suppose 121 + 53 = 4*v + l, 4 = 2*l. Let b = 19 - 15. Suppose 138 + 124 = b*o - 2*i, o = -4*i + v. Does 13 divide o?
False
Let c be (-115)/(-35) + 4/(-14). Suppose -c*z - 12 = 0, -3*z + 14 + 2 = -2*l. Let u = l - -49. Is 16 a factor of u?
False
Suppose 295226 = 5*i - 3*h, -5*i + 152775 = 2*h - 142416. Is 148 a factor of i?
False
Let c(o) = 3*o - o**2 - 7*o + 22 + 12 - 4*o. Does 2 divide c(-10)?
True
Let w be (-4450)/(-125) - (-2)/5. Let n = w + -36. Suppose -2*i + 7*i + c - 135 = 0, i - 5*c - 53 = n. Does 16 divide i?
False
Let n(j) = 0 + 0 + 5*j - 4*j. Let r be n(7). Suppose -r*a + 142 = -47. Is 9 a factor of a?
True
Let b = 2821 - 2005. Is 13 a factor of b?
False
Suppose 10*q + 5*p + 38104 = 12*q, -5*p = 2*q - 38144. Is 24 a factor of q?
False
Let s be (-55)/44 + (-81)/(-4). Let g = 59 + s. Is 10 a factor of g?
False
Suppose 9*t + 2*x = 11*t - 5638, -3*t - 2*x + 8482 = 0. Is t a multiple of 83?
False
Let r = 72 + -72. Let h(s) = 6*s + 3. Let c be h(5). Suppose r = 5*o - 15, 2*y + o = -0*y + c. Does 5 divide y?
True
Suppose -3*l - 25*f + 16845 = -30*f, -3*f + 22489 = 4*l. Does 10 divide 