n - 65, -2*v = -5*n - r. Is 10 a factor of v?
True
Is (10 - (18 + -7 + -1684)) + -11 a multiple of 22?
True
Let r(g) = 10*g + 18. Let f be r(-2). Does 10 divide (-2)/(-4)*f*(-12 + -2)?
False
Let o(y) = -4*y**2 - 140*y + 19. Does 4 divide o(-7)?
False
Let l(q) = -7*q - 10. Let t be l(-5). Suppose 0 = -7*d + 2*d + t. Does 2 divide d?
False
Suppose 112*i + 10*i = 209474. Does 17 divide i?
True
Let a(n) = 341*n - 59. Let k be a(-27). Let y be (-18)/(-27) - k/6. Suppose 0 = 5*g + 5*x - y, 0 = -5*g + x + 920 + 595. Is g a multiple of 19?
True
Let p(x) = x**3 - 67*x**2 + 292*x + 648. Does 411 divide p(68)?
False
Let g = -94 + 98. Suppose 3*z + 3*m - 143 = 34, 16 = -g*m. Does 8 divide z?
False
Let p = -201 + 295. Let j = p + -7. Is j a multiple of 12?
False
Let v(f) = -3*f + 10. Let y(o) = o - 1. Let d(w) = -v(w) - 2*y(w). Let h be d(13). Suppose -2*a - 3*k = -206, -4*k = h*a + k - 505. Is a a multiple of 13?
False
Let m(u) = 6*u - 8. Let p be m(-7). Let b be -12*((-248)/32 - -2). Let s = b + p. Is s a multiple of 19?
True
Let h be 16/9 + (-3)/(-54)*4. Suppose 0 = -h*g + o + 205, -2*g + 3*o = 2*g - 409. Let t = -68 + g. Does 9 divide t?
False
Let s be 4 + (2 - (0 - -1)). Suppose -s*j + 195 = 5*m, m + j + 3*j = 24. Is m a multiple of 2?
True
Let w(t) = 4*t + 5. Let d be w(0). Suppose 0 = 3*a - 5*p - 511 - 79, d*a = -p + 974. Is a a multiple of 32?
False
Let l(v) = -7*v + 22. Let u(m) = 3*m - 10. Let t(o) = 2*l(o) + 5*u(o). Let p be t(-5). Let z = 121 - p. Is 22 a factor of z?
True
Let a be ((-180)/126)/(2/(-7)). Suppose -35 - 175 = -z - 3*m, -z + a*m = -202. Does 30 divide z?
False
Let k be (-3 - 6817/3)/((-12)/18). Suppose 5*g - 1253 + k = 5*t, -2*t + 859 = -g. Is 34 a factor of t?
False
Let p(z) = 164*z - 229. Let s be p(6). Let k = s + -230. Is k a multiple of 7?
True
Suppose -3*z + 2062 = -5*y, -2*z + 2*y + 1455 = 83. Suppose -11*s = -383 - z. Suppose -3*b + 2*b = -s. Is 14 a factor of b?
False
Let o = -60 - -345. Suppose -130 = -10*y - 1680. Let z = y + o. Is z a multiple of 25?
False
Suppose q = 2*q + 76. Suppose 327 = 5*x - 4*p - 581, -4*p + 380 = 2*x. Let o = x + q. Does 12 divide o?
True
Let r(x) = 61*x**3 - 324*x**2 + 8*x + 14. Is r(7) a multiple of 17?
True
Let d(l) = -20*l**2 - 6*l - 2. Let w be d(-1). Does 26 divide (w/(-4) + -2)/(1/78)?
True
Let p(t) = 31*t + 38. Let a be p(10). Suppose a = 3*l - 5*r, -161 - 96 = -2*l - 5*r. Does 4 divide l?
False
Suppose 4*h = 5*u - 22, -3*h - h - 4*u = 4. Let v(l) = -17*l**3 - 2*l**2 + 7. Let d be v(h). Let x = d + -297. Does 34 divide x?
False
Suppose 0 = -26*j - 5 + 83. Suppose m - j*k - 303 - 84 = 0, -3*k = 4*m - 1563. Is 39 a factor of m?
True
Let j(s) = s**3 - 14*s**2 + 28*s - 50. Is j(13) a multiple of 6?
False
Let n be -148 + (-5)/5*-5. Suppose -5*f + 20 = -3*f. Let i = f - n. Is 28 a factor of i?
False
Suppose -5*j + 2*j = 18. Does 23 divide (-4272)/j + 2 + 4?
False
Suppose -9960 + 35880 = 4*f + 2*f. Is 20 a factor of f?
True
Let b(z) = -2*z**3 - 38*z**2 - 38*z - 122. Is 61 a factor of b(-21)?
True
Let i(h) = 479*h**2 - 4*h - 2. Let b(c) = -1438*c**2 + 11*c + 7. Let r(w) = -4*b(w) - 11*i(w). Does 9 divide r(1)?
True
Let i = -19637 + 20994. Is i a multiple of 23?
True
Suppose 0 = -6*v + 7*v - 470. Suppose s + 2217 = 5*c + v, 5*s = -2*c + 715. Is c a multiple of 50?
True
Let r = -101 + 128. Suppose 10*z = r*z - 6885. Does 38 divide 2/4 + z/10?
False
Suppose 0 = -6*y - 16 + 4. Is (42/(-9))/(17/(-51)) - y a multiple of 8?
True
Let m(l) = 3*l**2 - 15*l + 46. Let d be m(6). Let z(q) = 309*q**3 - q**2 - q. Let i be z(-1). Is 29 a factor of 24/d - i/8?
False
Suppose -35 + 7 = -2*t. Let g(u) = 5*u**2 - 12*u**2 - 13*u**3 + 6 + 12*u**3 - t*u. Is 7 a factor of g(-6)?
False
Let k(o) = 2*o**3 - 8*o**2 - 19*o - 18. Let n be k(-7). Let x = n - -1353. Is 30 a factor of x?
True
Suppose d - 3*j = 18, -5*j - 40 = 7*d - 12*d. Suppose 5*t - 4*g - 3436 = 0, -t + d*g + 584 = -112. Does 12 divide t?
True
Suppose -149972 = 58*w - 240*w + 141228. Is w a multiple of 25?
True
Let l(d) = d**3 + 12*d**2 + 5. Let y(i) = -2*i**2 + 7*i - 8. Let p be y(4). Let j be l(p). Let s = 35 - j. Does 5 divide s?
True
Is (-49)/1*(-12054)/343 a multiple of 82?
True
Suppose -35*o = -12*o - 23598. Suppose -o - 726 = -12*b. Does 4 divide b?
False
Suppose 9*j - j = 40. Let o be (j + -3 - -49)*(-77)/(-21). Suppose o = 4*m - 117. Does 19 divide m?
True
Suppose -3*q + 38529 = -w, -37*q = -41*q - 5*w + 51410. Does 14 divide q?
False
Suppose 55*j - 86*j - 32660 = -41*j. Is 14 a factor of j?
False
Let o be 3 - (-13)/((-78)/(-864)). Does 18 divide 1657/21 + 14/o?
False
Let q(z) = 10*z + 30 + 8*z + 133*z**2 - z**3 - 141*z**2. Is q(-13) a multiple of 18?
False
Suppose 24*t = 19*t - 50. Let j be 39/65 + (-3374)/t. Let o = -168 + j. Is 34 a factor of o?
True
Suppose -4*b + 2*w = -13602, 3*b - 33*w + 35*w = 10226. Is 29 a factor of b?
False
Suppose 5*q + 3*o - 2*o - 339 = 0, -3*q + o + 205 = 0. Does 18 divide 216*(-7 + q/8)?
True
Let h(v) = 11*v**3 - 12*v**2 - 27*v + 453. Does 4 divide h(9)?
False
Suppose 2*c - j - 13540 = -5136, -4*j - 16816 = -4*c. Is c a multiple of 30?
True
Suppose 4 + 2 = 2*v, 4*f = 3*v + 495. Let s = f + -87. Let z = 90 - s. Does 5 divide z?
False
Suppose -2 = 2*h + p, 2*h + 4*p = 4*h + 2. Let b be 4 + (359 + h)*2. Suppose -3*j + 432 = -5*x + 2*x, -5*x = 5*j - b. Does 48 divide j?
True
Let l = 10 - 10. Is 9 a factor of 4 + (l - -1041 - 5)?
False
Suppose 0 = -16*b - 82*b + 104076. Is b a multiple of 9?
True
Let w = 276 + -272. Is 198/(((-18)/(-45))/(w/4)) a multiple of 55?
True
Suppose 0 = -0*x - 3*x - 2*z, 2*x = -5*z + 11. Is (186 - x)*14/8 a multiple of 47?
True
Suppose -22 = 6*y + 16*y. Let h(l) be the second derivative of -91*l**5/20 - l**4/12 + l**3/6 + l**2 + 10*l. Does 30 divide h(y)?
False
Let w be -5*(-3 - (-8 - -8)). Suppose w*r = 2715 - 90. Is r a multiple of 5?
True
Let p(t) = 111*t**2 + 353*t + 5313. Does 104 divide p(-15)?
False
Suppose -12 - 13 = -5*f, 3*v = -5*f + 31. Suppose v*m = 4*t + 366, -5*t + 10*t = -15. Suppose -19 = 2*w - m. Is w a multiple of 5?
False
Let d(k) = k**2 + 19*k + 86. Let i(v) = -v**2 - 3*v - 2. Let r be i(-1). Does 5 divide d(r)?
False
Let d = 229 + -186. Suppose i = -k - k + d, -5*i = 3*k - 180. Is 12 a factor of i?
False
Suppose 0 = 3*f - 2*f - 13702. Suppose -6*x + f = 11*x. Is x a multiple of 13?
True
Let l(b) be the second derivative of -121*b**5/20 + b**4/2 + 5*b**3/3 + 5*b**2 + 315*b. Is 6 a factor of l(-2)?
False
Suppose -3*m - 21 = -2*z, -2*m = 2*z + 3*z - 24. Suppose -z*q + q - 40 = -2*s, -4*s + 94 = -3*q. Does 7 divide s?
False
Let b be 6/(-24) + (-182)/(-56). Suppose b*u - 6*u - 5013 = -3*c, -u + 6664 = 4*c. Does 10 divide c?
False
Suppose 3*m - 6 + 3 = 0. Does 36 divide (13/3 - m)/((-108)/(-10692))?
False
Is 7 a factor of 1/4 + 6723/36?
False
Let n be 8 + 1 + -5 + 4. Let i(f) = -3*f + 26. Let u(a) = -13*a + 27. Let o(p) = 3*i(p) - 2*u(p). Is 35 a factor of o(n)?
False
Let d(q) = 3*q**3 + 6*q + 4. Let s be d(-3). Let x = s - -269. Is 29 a factor of x?
True
Let r be 18/5*(8 - (-152)/(-24)). Let l(y) = y**3 + 4*y**2 - 16*y - 6. Is 26 a factor of l(r)?
False
Suppose 2*m + h - 4854 = -m, -4*m + 6458 = -h. Is m a multiple of 12?
False
Let b be 357/(-119) + 535/(-2)*-2. Suppose -7*u + 1096 = 4*m - 5*u, 2*m = 3*u + b. Is 34 a factor of m?
True
Suppose 0 = 8*h + 3*h - 154. Suppose h*u + 2*u = 4480. Does 14 divide u?
True
Suppose 98*x = 161364 - 16618. Is 5 a factor of x?
False
Let j(k) = -k + 8. Let g(z) = 2*z - 9. Let d(s) = -4*g(s) - 5*j(s). Let i be d(2). Does 16 divide (3 + -22)/(1 - (-12)/i)?
False
Let o(r) be the first derivative of -r**3/3 + 15*r**2 + 19*r + 35. Is 13 a factor of o(10)?
False
Suppose 2*i + 42336 = 5*g - 2817, 5*g + 3*i - 45133 = 0. Is 11 a factor of g?
False
Let w = 54 - 22. Let r be (-18)/(-4)*w/72. Does 8 divide 63*r + -3 - -4?
False
Let a = 3110 + -1699. Does 38 divide a?
False
Suppose 5*k - 4*k = 4, -1520 = 3*n - 5*k. Let z = n + 570. Is 58 a factor of z?
False
Let t(a) = a**3 + 6*a**2 + 2*a - 15. Let r = 17 - 22. Let i be t(r). Suppose 2*n + 3*p - 173 = i, -1 = 2*p - 3. Is n a multiple of 27?
False
Suppose -4*b + 7 + 16 = -z, 30 = 3*b - 5*z. Let l(i) = 3*i - 6*i - 17*i - b*i - 18. Does 33 divide l(-5)?
False
Let h(n) = 16*n - 59. Let g(a) = -3*a + 12. Let c(y