2*w = l + 3. Is 5 a factor of w?
False
Let t = -1488 + 2982. Is 28 a factor of t?
False
Let h(a) be the second derivative of -a**2/2 - 3*a. Let t(w) = -4*w**2 + w. Let o(b) = -2*h(b) - t(b). Is o(-2) a multiple of 4?
True
Is 2 a factor of (-65*(-11)/110 + -4)/((-1)/(-1038))?
False
Let f = -247 - -126. Let s = 262 + f. Does 18 divide s?
False
Let t(o) = -31*o**3 - 26*o**2 - 52*o. Is t(-6) a multiple of 8?
True
Let k(v) = -58 - v**3 + 8*v - 98*v**2 - 1 + 109*v**2. Does 25 divide k(9)?
True
Does 128 divide (-18)/(-24)*(-85456)/(-84)?
False
Let v = 114 + -117. Is 30 a factor of 1*(v + 1/((-3)/(-726)))?
False
Let q be 1/1 - 2/(-1). Let d = -754 + 758. Suppose q*j = -d*r + j + 40, 2*j = -r + 7. Does 2 divide r?
False
Let l be (0/(-4))/(1/(-1)). Is 17 a factor of l + -5 + 9 - (-81 + 0)?
True
Let p(q) = 3806*q - 130. Is p(1) a multiple of 29?
False
Let p(i) = -2*i**3 + 23*i**2 - 4*i - 6. Suppose -9 = -7*f + 54. Is 19 a factor of p(f)?
False
Let s = -1172 + 444. Let x = -661 - s. Is x a multiple of 17?
False
Let z(q) be the first derivative of -57*q**2/2 + 88*q - 24. Is 16 a factor of z(-6)?
False
Let d(p) = -827*p**3 + 24*p**2 - 6*p + 11. Let q(v) = -413*v**3 + 11*v**2 - 3*v + 5. Let g(u) = 4*d(u) - 9*q(u). Is g(1) a multiple of 12?
True
Let r = -472 + 476. Suppose 2*m = r*x + 1756, 2*m = -2*m + x + 3519. Does 22 divide m?
True
Suppose 2 = s - 3*w, 0*s + 6 = -s - 5*w. Let m be 1809/12 - s/4. Suppose -m - 109 = -4*k. Is 10 a factor of k?
False
Let o be ((-4)/1 - -5)*(-3 + 1). Let v be o/4 - (-4 - 885/10). Suppose -5*z - 34 = -y, 0 = 5*y - y + 2*z - v. Is y a multiple of 12?
True
Let q(h) = -10*h - 90. Let p be q(-14). Suppose 0 = 94*t - 89*t - p. Is t a multiple of 2?
True
Suppose 2*k - 7 = -4*d + 7, 0 = -5*k - 4*d + 29. Suppose 2*m = -k*u + 128, -3*u + 14 = 3*m - 70. Is u a multiple of 4?
True
Suppose -221*b + 115*b = -117*b + 85327. Is 16 a factor of b?
False
Let m(j) = j**2 + 56*j + 117. Let p be m(-57). Is 42 a factor of (-5 - p/24)*-48?
True
Let m = -169 + 222. Suppose m*n - 732 = 47*n. Does 5 divide n?
False
Let j be 33/7 - (4 + 240/(-56)). Suppose u + 1 = -i + j, 2*u + 5*i - 20 = 0. Suppose -3*b + 7*b - 440 = u. Does 22 divide b?
True
Let q(b) = -b**3 + 244 + 2*b**3 - 773*b + 774*b. Is 15 a factor of q(0)?
False
Let z be (-1136)/32 - (-2)/(-4). Let j = -17 - z. Suppose -2*a - 2 = -0*a, -j = -4*v + 3*a. Is v even?
True
Let t = 34 - 55. Let q(f) = f - 1. Let z(l) = -l**3 - 20*l**2 + 23*l - 4. Let o(n) = -3*q(n) - z(n). Is 14 a factor of o(t)?
True
Suppose -3*g + 5*g = 148. Suppose 3*k - 175 = -4*s, -2*s - 5*k = -3 - g. Let d = s + 38. Is d a multiple of 42?
True
Suppose 3 = -u + 8. Suppose -2*j + 858 + 36 = 4*b, -u*j = 2*b - 467. Is 13 a factor of b?
True
Let y = -80628 + 114284. Is y a multiple of 27?
False
Suppose 11*l + 21 - 263 = 0. Suppose -7*w + 13 = -l. Suppose 0 = d - w*c - 6, -3*d + 2*d + 22 = 3*c. Is 16 a factor of d?
True
Suppose 5*f = w - 13192, 142 = -5*f + 117. Is 3 a factor of w?
True
Suppose s + 3 = 9. Suppose 9*d - s*d = 1128. Is 21 a factor of d?
False
Let j = -15990 + 19772. Is 61 a factor of j?
True
Suppose 4*n - 69 = 27. Let f(m) = -18*m + n - 31 - 19*m. Is 28 a factor of f(-2)?
False
Does 154 divide 14/217 + (-3814392)/(-527)?
True
Let b(v) = v**3 + 12*v**2 - v - 6. Let w be b(-12). Let j = 59 - w. Suppose -j = -6*m + 13. Is 11 a factor of m?
True
Let w(p) = 2*p**2 + 16*p + 78. Suppose 0 = -5*q + 4*h + 84, -22*q - 3*h = -24*q + 35. Is 57 a factor of w(q)?
False
Let o(p) = 108*p**2 - 310*p - 2209. Is o(-7) a multiple of 57?
False
Let y = 71250 + -41394. Does 32 divide y?
True
Suppose 24632 = 2*q + 352*v - 356*v, v = -2*q + 24607. Is q a multiple of 6?
True
Let t = 30 + -22. Let y be ((-52)/39)/(t/(-18)). Suppose -y*w = -6*w + 144. Does 12 divide w?
True
Suppose 0 = -22*q + 55*q - 297. Suppose q*c = 1550 - 83. Does 6 divide c?
False
Let m(p) = -18*p + 126. Let v be m(7). Suppose 0 = -4*c + 4*q + 1764, 2*c - 11*q + 14*q - 872 = v. Is c a multiple of 40?
False
Let a(b) = b**2 - 10*b + 9. Let r be a(7). Let i be 4542/21 - (r/(-14))/3. Suppose 5*d - 244 - 102 = 2*w, -3*d + i = -4*w. Is 15 a factor of d?
False
Let z(k) = 126 + 127 - 516 + 127 - 106*k + 126. Let p = -4 - -3. Is z(p) a multiple of 23?
False
Let x = 122 + 74. Let c = 2 + x. Does 6 divide c?
True
Is 2534208/394 - 32/(-2) a multiple of 26?
True
Let d be ((-6)/16)/(4/(-32)). Does 40 divide (d - (-6 + 42))*-3?
False
Let d(t) = -t**3 + 18*t**2 + 17*t + 9. Let c be d(19). Let q(y) = 3*y + 88. Let l be q(c). Is 1/(-3)*57*(-1 - l) a multiple of 5?
False
Let n = -1 + 49. Let z = -47 + n. Is 684/20 - z/5 a multiple of 4?
False
Suppose 270*v - 274*v + 16 = 0. Is 3 + (v/2)/(6/33) a multiple of 10?
False
Let l(v) = v**2 + 10*v + 16. Let j be 10*(4 + (-45)/10). Let o be l(j). Let u(g) = -2*g - 8. Is 2 a factor of u(o)?
True
Let s(n) = n + 12. Let w be s(-18). Let x be ((-8)/w)/((-7)/((-63)/6)). Suppose 2*l - x*t = -0 + 52, t = 2. Is l a multiple of 10?
False
Let f = 13 + -16. Let k be (-624)/65*20/f. Suppose -5*v - 3*m + 33 = -k, -17 = -v - 3*m. Does 5 divide v?
True
Let n be 42/(-35) - 4/(-20). Does 5 divide n*(-45 + (-6 - 0))?
False
Let t = -347 - -275. Is (11/((-165)/t))/((-2)/(-95)) a multiple of 6?
True
Suppose -3*o + 12 + 75 = 0. Suppose 8*f + 10101 = o*f. Is f a multiple of 37?
True
Suppose 2*b - 382 = 5*d, -7*d = -3*d + 2*b + 320. Is 7 a factor of 0 - d/1 - (4 + 0)?
False
Let w(f) = 529*f**2 + 5*f. Suppose 96 - 88 = -8*v. Does 24 divide w(v)?
False
Let c be (4 + -3 + -2)*0/(-1). Suppose 15*z - 1035 = -c*z. Is 3 a factor of z?
True
Let w(n) = 26*n + 53. Let f be w(8). Suppose -t - 3*z = -239, -4*z + 29 - f = -t. Is 14 a factor of t?
False
Suppose -3*f + 15 = -4*m - 35, 5*m = 3*f - 52. Let a = 21 + f. Is 8 a factor of -3 + a + -3 + -1?
False
Let z = -9513 + 18040. Does 209 divide z?
False
Suppose 8*n - 17 + 1 = 0. Suppose -4*b + 92 = -n*w, -w + 83 = 3*b + w. Suppose 2*o + b = 409. Is 16 a factor of o?
True
Is (-40)/(-4) - (-10148 + 24/(-3)) a multiple of 172?
False
Suppose 30*h + 240 = 90*h. Suppose -2*k - h*j + 24 = 0, 4*k = -2*j + 7*j + 35. Is 2 a factor of k?
True
Let m be ((-69 - 2) + 1)*1. Is (35/5 + 2)/((-2)/m) a multiple of 35?
True
Let u(b) = 1477*b. Let t(q) = -246*q. Let x(s) = -34*t(s) - 6*u(s). Let p be x(2). Does 2 divide ((-2)/(-8) + p/48)*-2?
False
Is 291 a factor of -860*(23/(5*(-8)/130) - -2)?
True
Let r = -641 - -1505. Suppose 43*m + r = 55*m. Is 24 a factor of m?
True
Suppose -12728 = -l + 2*i, -i - 14717 = -l - 1993. Is l a multiple of 30?
True
Let m(a) = a**3 - 8*a**2 + 3*a - 20. Suppose -58 = -10*d + 22. Let g be m(d). Suppose -5*x = -0*x - 5*f - 360, -5*x + g*f = -360. Is x a multiple of 36?
True
Is 4518*(105/90 - -8) a multiple of 251?
True
Suppose 17 - 7 = 2*n. Suppose 6*y - 3*y - 100 = -2*c, 4*y - n*c = 95. Is 2664/y - (-2)/10 a multiple of 9?
False
Suppose -369*h + 358*h - 1566 = -13270. Does 15 divide h?
False
Let s = 45 + -41. Suppose -b - s*q = -q + 119, -12 = -3*q. Let h = 196 + b. Does 10 divide h?
False
Suppose 0 = -q + 2*j + 5177, 6*j = 3*q + 9*j - 15477. Is q a multiple of 19?
False
Let l = -7 - -67. Is 30 a factor of 7724/l*3 + 3/(-15)?
False
Does 12 divide 8*-14*(-4)/32*4026/7?
True
Let v(g) = -16*g + 40. Suppose -4*x + 20 = -7*l + 3*l, -4*l + 2*x = 16. Is 18 a factor of v(l)?
False
Let t be 2/(-1) - 1*(0 - 5). Let q(s) = s**3 + 7*s**2 + 5*s - 6. Let j be q(-6). Suppose j = -4*i - 4, -97 = -t*n - 2*i + 3*i. Is 16 a factor of n?
True
Let w be (-6)/(-4*1/2). Suppose w*b + b = 0. Suppose r + 5*h - 29 = 0, -4*r - 3*h + 48 = -b*r. Is 2 a factor of r?
False
Let a(d) be the third derivative of -d**7/1008 - 29*d**6/720 + 37*d**5/60 + 33*d**2. Let h(p) be the third derivative of a(p). Is h(-17) a multiple of 8?
True
Let n be -8 + 10 - (0 + 1/1). Let a be (((-4)/(-3))/(-2))/(n/(-3)). Suppose o - 47 = -a*p, -1 = -4*p - 5. Does 49 divide o?
True
Let t(b) = -4*b**3 - 3*b**2 + 13*b + 3. Let c be t(-5). Suppose r - c = -2*r. Is r a multiple of 11?
True
Let l(c) = -c**3 + 12*c**2 - 9*c. Let y be l(11). Let h(x) = 2*x - 39. Let o be h(y). Suppose 9*a = -2*b + 6*a + 198, o*b - 495 = a. Is b a multiple of 13?
False
Suppose 0 = 4*f + p + 90, 84 = -4*f - 5*p - 14. Suppose y - 2*y + 5 = 0. Does 5 divide (-17 - -13)*y/8*f?
True
Let p = 22509 - 12938. Is p a 