 -2*r + 499 = -317. Suppose -3*j + r = 3*j. Is j a multiple of 12?
False
Let m(i) = 2*i - 15. Let t be m(10). Suppose -l + 0*l = -t*c - 215, 5*l = -2*c + 1102. Is l a multiple of 24?
False
Let x(n) = -38*n - 82. Is 17 a factor of x(-6)?
False
Let w = 9835 - 6819. Is 17 a factor of w?
False
Suppose 11*l = 13*l + 62. Let c = l + 50. Suppose 4*x = -c + 407. Does 30 divide x?
False
Let a(u) = -3*u**3 - 5*u**2 - 2*u + 7. Suppose -6 = 2*p + 5*q, 7*p - 3*p + 12 = -2*q. Let c be p*((-16)/6 - -4). Is 16 a factor of a(c)?
False
Let g = 37 - 114. Is 35 a factor of ((-20)/2)/(22/g)?
True
Let o(r) = 10*r**2 + 3*r + 11. Does 53 divide o(9)?
True
Let a = 1854 - 1139. Is 13 a factor of a?
True
Is 24 a factor of 1/((-2)/(-200))*(-90)/(-25)?
True
Let i(q) = -44*q - 776. Does 9 divide i(-25)?
True
Does 15 divide (-2 - 611/(-2))*(-29 - -31)?
False
Suppose -s - 2*s - 2*q - 220 = 0, -3*q = -4*s - 282. Let b(i) = -i - 12. Let u be b(-10). Does 9 divide (s/10)/(u/5)?
True
Suppose 0 = -3*i, -2*q + 1584 = 7*i - 2*i. Is 11 a factor of q?
True
Suppose -238 - 26 = -3*t. Is t a multiple of 15?
False
Let q be (0 + -1 - -1)/2. Suppose -2*b + q*b = 0. Is -8 - -54 - (b + 1) a multiple of 15?
True
Let i(r) = -1909*r - 23. Is 51 a factor of i(-1)?
False
Let k be 1/(-4 + 495/125). Let h = -80 - k. Is -3 - 11/(h/180) a multiple of 6?
False
Suppose -3870 = -1863*m + 1860*m. Is m a multiple of 43?
True
Let z = -160 - -232. Does 4 divide z?
True
Let j(x) = -1291*x**3 + 2*x**2 - 15*x**2 + 1292*x**3 - 11*x - 32. Does 5 divide j(14)?
True
Suppose 4*o = -p - 19, o = -3*o + 2*p - 10. Let l(h) be the first derivative of -h**4/4 - h**3/3 + 5*h - 175. Does 12 divide l(o)?
False
Let y(h) = -19*h + 4. Suppose -3*d = 5*l - 14 + 39, 5*d = 4*l - 17. Let t be y(d). Suppose 0*f + t = 3*f. Is f a multiple of 11?
True
Let d(q) = q**3 + 30*q**2 + 44*q - 39. Is 11 a factor of d(-28)?
True
Let y(h) = -h**3 + 9*h**2 - 5*h + 16. Suppose -2*a + 20 = -g, -9 = a - 5*g - 37. Is 8 a factor of y(a)?
True
Suppose -5*s - 22 = -4*j, 4*j + 5*s - 4 = -2. Suppose 4*k - 7 = f - 36, -3*k = j*f - 117. Is 33 a factor of f?
False
Let t(m) = 115*m + 255. Is 166 a factor of t(5)?
True
Let u = -138 - -13. Let f = -41 - u. Is (-2)/(-8)*0 + f a multiple of 14?
True
Let o(w) = -41*w + 37. Is o(-16) even?
False
Let z(x) = -x**3 - 6*x**2 - 2*x + 9. Let u be z(-5). Let t = 22 + u. Does 2 divide t?
True
Let i be ((-1428)/(-77))/(8/44). Suppose 0*o = o - 4*z - 169, o - 5*z - 170 = 0. Let r = o - i. Is 15 a factor of r?
False
Let c(a) be the first derivative of -21*a**2/2 - 6*a - 4. Let r be c(5). Let h = r - -172. Does 13 divide h?
False
Let d = -14 + 12. Does 5 divide ((-154)/(28/4))/(1/d)?
False
Let l be 120*(-7)/(105/(-12)). Suppose 2*n - l = 2*g, -2*g = 2*g. Is n a multiple of 6?
True
Let l(v) = 2*v + 16. Let o be l(-5). Suppose 0 = o*m + 6 - 48. Is 3 a factor of (m - 1)/(24/64)?
False
Suppose 3*x = 2*g - 942, g + 2*x = -59 + 544. Is 52 a factor of g?
False
Does 5 divide 1*(1 + -2) + (3 - -14)?
False
Let p(z) = -3*z**3 + 2*z**3 - 5440*z**2 + 30*z + 5466*z**2 - 29. Is 6 a factor of p(27)?
False
Suppose 2*o = -o - 9. Let i be (-21)/2*32/o. Suppose b - i = -36. Is b a multiple of 19?
True
Let x(l) = 2*l + 20. Let o(t) = -t**3 - 8*t**2 + 11*t + 13. Let i be o(-9). Let j(a) = -a - 21. Let k(h) = i*j(h) - 6*x(h). Is 17 a factor of k(-6)?
False
Let o(z) be the second derivative of -1/6*z**3 + 5*z + 0 - 5/2*z**2. Does 3 divide o(-14)?
True
Suppose -f = -3*i + 2, -i - i + 5*f + 23 = 0. Let q(t) = -32*t**3 + 4*t + 3. Does 3 divide q(i)?
False
Let o be (4/(-16) - -1)*-8. Let x(q) = -17*q - 10. Does 8 divide x(o)?
False
Suppose 0 = -2*o - 56 + 206. Suppose o = -4*i + 235. Is i a multiple of 20?
True
Suppose 0 = -6*f - c + 4499 - 706, 0 = -3*f + 5*c + 1891. Is 4 a factor of f?
True
Let q(s) = -231*s - 363. Does 52 divide q(-9)?
True
Let o(g) = -g**3 - 15*g**2 + 7*g + 24. Let x be o(-16). Suppose 5*m - x = m. Is 7 a factor of m?
True
Let j = -608 + 676. Does 56 divide j?
False
Let o(z) = -z**3 - 8*z**2 + 9*z - 22. Is o(-10) a multiple of 7?
False
Is 25911/15 + 3/5 a multiple of 64?
True
Let u = 88 + -83. Suppose -4*k = u*k - 342. Is 21 a factor of k?
False
Suppose 2886 = 3*x - 3*j, 3*x + 5*j + 2890 = 6*x. Does 24 divide x?
True
Let m = -1 + 5. Suppose 0*h + 688 = 5*h - 4*r, -m*h = 5*r - 575. Is h a multiple of 20?
True
Let n = 581 - -293. Is n a multiple of 46?
True
Let z(o) = -o**3 - 5*o**2 - 9*o + 2. Let s(x) = -6*x**3 - 25*x**2 - 45*x + 10. Let i(u) = 2*s(u) - 11*z(u). Let a = 2 - -4. Is i(a) a multiple of 16?
True
Let n = 17 - 9. Suppose 10*w = n*w + 128. Does 32 divide w?
True
Let j be (58/6 - 3)*18/12. Suppose j*o - 18*o = -256. Is 8 a factor of o?
True
Let k = -746 - -1417. Does 61 divide k?
True
Suppose -3*t + 7*t - 48 = 0. Suppose 0 = -o + t + 33. Is o a multiple of 13?
False
Suppose 213*o - 206*o - 5355 = 0. Is 27 a factor of o?
False
Let l(u) be the third derivative of -7*u**4/6 + 4*u**3/3 + 2*u**2. Let a be l(4). Let v = -71 - a. Is v a multiple of 12?
False
Let m(q) = -q + 75. Is m(16) a multiple of 59?
True
Let q(p) = 42*p - 44. Is q(7) a multiple of 50?
True
Let d(q) = 6*q - 5*q**2 + 10 - 10 - q**3. Let k be d(-6). Suppose o - 5*h + 0*h = -7, k = -4*h + 12. Is o a multiple of 8?
True
Suppose r - 1589 = -r - 3*j, 5*r = 3*j + 3941. Is 49 a factor of r?
False
Let r = 881 + -412. Does 28 divide r?
False
Let j(x) = -7*x + 143. Does 8 divide j(17)?
True
Let i(u) = -28*u**3 + 2*u**2 - 13*u - 33. Is i(-2) a multiple of 75?
True
Let t = -44 - -164. Let j = -63 + t. Is 19 a factor of j?
True
Let w(k) = k**2 + 8*k - 12. Let a be w(-11). Is 12/7*1029/a a multiple of 14?
True
Suppose 4*x = 2*a + 4, -2*a + x + 3 - 1 = 0. Suppose p - 5*u - 126 = -3*u, 2*p - a*u - 254 = 0. Does 32 divide p?
True
Suppose 2*i - 6 = 2*x, -i = -0*x - 5*x - 11. Let l(k) = 19*k**2 + 7*k**2 - 2*k + i - 2*k**2. Is l(1) a multiple of 9?
False
Let k(r) = r. Let i(s) = 3*s - 9. Let u(c) = -i(c) + 2*k(c). Let a be u(7). Suppose -34 + 122 = a*h. Is h a multiple of 11?
True
Let q(s) = 5*s - 6. Let f(j) = j - 1. Let w(g) = 4*f(g) - q(g). Let y = 123 + -127. Is w(y) even?
True
Suppose -15*b - 3410 = -26900. Does 58 divide b?
True
Let z be 19/2*240/5. Let k be (z/4)/2 - 3. Let r = 100 - k. Is r a multiple of 28?
False
Let a be 4/16 - (-11)/4. Suppose -4*i + 5*c = -234, 2*i + a*c - c = 108. Is 7 a factor of i?
True
Let b = -13 + 1863. Does 50 divide b?
True
Let m = 125 + 61. Let v = m - 103. Does 16 divide v?
False
Let j = 33 - 22. Suppose 4*w = -j + 59. Suppose 2*x = -2 + w. Is 2 a factor of x?
False
Suppose 3*z + v - 6 = 0, 0*z - 10 = -z - 3*v. Suppose -z = 3*a - 7. Suppose 6*y - a*y = 96. Is 8 a factor of y?
True
Let n(q) = -9*q - 5*q - 2*q - 5 + 13*q. Suppose 5*h - 2*b + 45 = 0, 3*b + 0*b - 43 = 4*h. Is n(h) a multiple of 8?
True
Suppose 0 = 3*j - 5*g - 28, -j + 6*g + 26 = g. Is 32/2*(4 - (2 + j)) even?
True
Let v be (-1)/(5/230*-2). Let i = 50 - v. Is i a multiple of 5?
False
Let q(x) = -6*x**2 - 2*x + 1. Let y(d) = 3*d**2 + 2*d. Let l be y(-1). Let h be q(l). Does 6 divide (-41)/h + (-5)/(-35)?
True
Let a be (-2 + 3)*-1 + -45. Let d = -28 - a. Suppose v - 2*b = 52 - d, 0 = -2*v + b + 80. Is 14 a factor of v?
True
Let l be 1 + (-2)/(4/26). Does 28 divide 3 - (-1744)/12 - 8/l?
False
Suppose 52*b - 14*b = 15960. Is 10 a factor of b?
True
Let s(f) = f**3 + 14*f**2 - 21*f + 33. Is s(-14) a multiple of 31?
False
Let l(u) = 2*u**3 + 13*u**2 - 32*u - 17. Is l(7) a multiple of 18?
False
Is ((-5805)/36)/(3/(-8)) a multiple of 12?
False
Let d be (-13)/91 + (-43)/(-7). Suppose -d*x = -3*x - 57. Is 5 a factor of x?
False
Suppose -645 = -d + 3*f, -1941 = -5*d + 2*d + 3*f. Is 54 a factor of d?
True
Let t = 100 + -80. Let b = 6 + 1. Suppose 3*l - b = t. Is l a multiple of 4?
False
Does 3 divide (-5 - -8) + (608/4 - 1)?
False
Let c(t) = t**2 + 26*t + 124. Is 18 a factor of c(-22)?
True
Let s(p) be the second derivative of 41*p**4/12 - p**3/3 - 6*p. Let i be s(2). Suppose 0*q + 108 = 2*q + 5*t, 4*t + i = 4*q. Is 11 a factor of q?
True
Let o = -499 - -1329. Is o a multiple of 7?
False
Suppose 5*w + 198 = 7*w. Let l = w - 57. Does 14 divide l?
True
Is (-207)/46*33*14*-1 a multiple of 9?
True
Let w(c) be the first derivative of c**4/4 + c**3 + c**2 + c + 7. Let x be w(-1). Is -60*1*x/(-2