-3020 - -3812. Is y a multiple of 15?
False
Let m = -18414 + 34037. Is 17 a factor of m?
True
Let v = 27304 - 12552. Is 8 a factor of v?
True
Let l(h) be the second derivative of h**6/360 - h**5/120 + 35*h**4/8 - 2*h**3 - 2*h. Let r(b) be the second derivative of l(b). Is r(0) a multiple of 18?
False
Let c(d) = -2*d**3 + 61*d**2 + 42*d - 35. Is 91 a factor of c(20)?
False
Suppose 8777 = 4*m - 1331. Suppose -4*g = -m - 17. Does 53 divide g?
True
Suppose -46*f + 39*f = -2450. Suppose 0 = 18*w - 22*w - s + f, -s - 433 = -5*w. Does 29 divide w?
True
Suppose -4*t = p - 66706, -5*p - 27 - 3 = 0. Is 10 a factor of t?
False
Let m(x) = -64*x + 6. Let s(z) = 64*z - 6. Let i = -107 + 102. Let t(f) = i*s(f) - 4*m(f). Does 7 divide t(-1)?
True
Let u = -8274 - -37204. Is u a multiple of 11?
True
Suppose -27 = 2*i - 3*v, -v = 2*i - 3*v + 28. Let o be (-5)/i*6/1 + 2. Suppose 4*g - n = -o*n + 223, 5*g = 4*n + 240. Is g a multiple of 3?
False
Let d be (-2 - (-35)/14)*6. Suppose 349 = d*a - 527. Does 17 divide a?
False
Let g(s) = 70*s**2 + 21*s - 1. Is 2 a factor of g(3)?
True
Suppose -18*g + 13*g = 3*v - 1359, 3*v - 3*g - 1359 = 0. Suppose 0*d = 2*i + d - v, -i - 2*d = -234. Is i a multiple of 33?
False
Let z = 11188 - 9948. Does 31 divide z?
True
Let q(y) = 703 + 0*y**2 - y**2 - 700. Let z be q(0). Suppose 5*w = -z*w + 16. Is 2 a factor of w?
True
Let x(c) = 5*c - 55. Let y(t) = -10*t - 4*t + 15*t. Let s(o) = -x(o) + 6*y(o). Does 4 divide s(-21)?
False
Let j(z) = -2*z**2 - 10*z - 5. Let y be j(-4). Suppose 8*u - y*a = 3*u + 1428, 4*u + a - 1156 = 0. Is u a multiple of 24?
True
Let w be (2 - 0)/(36/54). Let i = w - -13. Is i/(-8) + 57 + -1 a multiple of 12?
False
Let n = 12414 - -1262. Let y be n/68 + 8/(-68). Let h = -128 + y. Is h a multiple of 14?
False
Let u(g) = -g**2 - 26*g + 7. Let s be u(-22). Let p = 307 - s. Is 21 a factor of p?
False
Let d(i) = -7*i**2 - 2*i + 207. Let b(x) = -4*x**2 - x + 104. Let j(l) = -5*b(l) + 3*d(l). Let c be j(0). Is 2 + c + 1 - 3 a multiple of 19?
False
Let l = -9257 - -14600. Does 13 divide l?
True
Suppose -6*t - 2*t = 0. Suppose t = -4*u + l + 119, 4*u - 93 = u - 3*l. Does 6 divide u?
True
Let h(m) = m**3 + 65*m**2 + 405*m + 51. Is 19 a factor of h(-50)?
False
Let q be (-1)/2 + 333/2. Let w = -2193 - -2494. Let g = w - q. Is 27 a factor of g?
True
Let v(g) = -g**3 - 8*g**2 - 6*g + 16. Suppose 4*u = d - 25, -u - 4*u - 4*d - 47 = 0. Let l be v(u). Is 114*(2/l - 14/(-126)) a multiple of 19?
True
Let a = 1155 + -1171. Let q(r) = 0*r - 3 + 62 + 3*r. Is 2 a factor of q(a)?
False
Let z = 11359 - 7695. Suppose z + 416 = 17*s. Is 48 a factor of s?
True
Let a(o) = -3*o**2 + 57*o + 86. Let f(t) = 2*t**2 - 29*t - 42. Let c(w) = -3*a(w) - 5*f(w). Let v be c(-24). Does 22 divide 242 - ((v/3)/3)/(-4)?
True
Is 27 a factor of (13122/(-12))/(3/(-30))?
True
Suppose 7*p - 75 = 2*p. Suppose 0*d - p = -5*d, -3*q = 4*d - 663. Suppose 5*l = -2*i + q, 4*i + 0*i + 211 = 5*l. Does 21 divide l?
False
Let k be 3*(2 + (-40)/12) - -9. Let s be -5*123*(-5)/k. Suppose -6*u + 57 + s = 0. Is u a multiple of 28?
True
Let q = 6007 + -2107. Is 100 a factor of q?
True
Does 24 divide 420285/135 - -7 - 4/18?
True
Suppose 0 = 5*d - a - 185, 0*d + 33 = d - a. Suppose 0 = 3*i - 194 + d. Does 15 divide i?
False
Suppose -2*w + 1555 = -3*l + 302, -2*w = 3*l - 1259. Suppose -637*k = -w*k - 7920. Is k a multiple of 75?
False
Suppose -816 = -10*c - 2356. Let m be 324/(-2 - -3) + -1. Let a = c + m. Is a a multiple of 13?
True
Suppose -11745 = -6*l + 3*u, 8*l + u = 5*l + 5870. Is 34 a factor of l?
False
Suppose -3585 = -4*j - h + 8830, 3*h = -5*j + 15517. Is 8 a factor of j?
True
Let i be 858/(-9) + (-4)/(-12). Let z = i + 284. Is 5 a factor of z?
False
Let n(p) be the second derivative of 7*p**3/3 - 37*p**2/2 + 30*p. Let l be n(3). Let d(s) = 8*s - 17. Is 8 a factor of d(l)?
False
Suppose -84*s + 365310 = -39*s. Is 18 a factor of s?
True
Let h = 2709 - 1392. Does 34 divide h?
False
Let d = 37 - 33. Suppose 10 = -d*g + 38. Suppose g*s - 2*s = 275. Is s a multiple of 17?
False
Let w be (29 + -24)*((-139)/(-5) - -1). Suppose 6*k = 132 + w. Let r = 106 - k. Is r a multiple of 12?
True
Let b be (-12)/(-24) - (-18)/4. Let i be 105/b - 2*2. Suppose -i*r = -12*r - 30. Is r a multiple of 2?
True
Suppose 8*v - b = 4*v - 194, 2*v + b + 94 = 0. Let w = v - -128. Is w a multiple of 20?
True
Suppose 2*z = 3*z. Suppose 2*i = -5*k + 1067, i + 638 = -z*k + 3*k. Suppose 0 = -5*m + 2*m + k. Does 8 divide m?
False
Let k = 329 + -324. Suppose 4*x - 5*u - 25 = -x, 4*x + 5*u + 7 = 0. Suppose -x*z + k*z = 219. Is 14 a factor of z?
False
Let o(h) = h**2 + h - 3. Let m be o(2). Let a(j) = 8*j - 13 - 67*j**m + 66*j**3 - 10*j**2 + 0. Is a(-11) even?
True
Let t(i) = 20*i + 72. Let z be t(-17). Let r = z + 732. Suppose -r = 54*x - 58*x. Is x a multiple of 49?
False
Suppose 0 = 4*v - g + 373, -4*v - 4*g + 376 = -8*v. Let i = v + 96. Suppose 0*s - 2*x + 384 = 5*s, -399 = -5*s + i*x. Is s a multiple of 21?
False
Let a(y) = y**2 - 15*y + 158. Is a(-19) a multiple of 12?
True
Let c = 4 - -3. Suppose c*n + 2*n - 1395 = 0. Suppose n = 3*z + 20. Does 15 divide z?
True
Let a(c) = 78*c + 0 - 85*c - 2. Let d be a(4). Does 11 divide d/(-12)*(-508)/(-10)?
False
Let l be (4/10 - (-138)/5)*121. Suppose 20*i = 6*i + l. Is i a multiple of 18?
False
Let d = 4642 - 1726. Suppose -9184 - d = -5*u. Does 6 divide 2/(-9) + u/198?
True
Let p(u) be the third derivative of -u**5/60 + 3*u**4/8 - 13*u**3/6 - u**2 + 85. Suppose -8 = -i - 2. Is p(i) a multiple of 3?
False
Suppose 7*x = 2*p + 3*x + 8, 2*p - x + 2 = 0. Suppose 2*s = 6, -3*j + 2*s - 35 + 1559 = p. Is 85 a factor of j?
True
Let l be (-253)/69*(-2)/11*-36. Does 15 divide (1236/l)/((-2)/20)?
False
Let w = 74 + -81. Let r be (((-6)/w)/1)/(16/1568). Suppose 7*d = 3*d + r. Does 21 divide d?
True
Suppose -11*c + 130 = 15*c. Suppose -c*k = -g - 8*k + 76, -4*k = -3*g + 280. Is 4 a factor of g?
True
Suppose 18*z - 21*z = 18. Let i be 10 - (-2)/((-4)/z). Let o = i + 14. Is 19 a factor of o?
False
Let b be (-48)/(-4)*19/3. Let s(x) = 7*x - 117. Let i be s(7). Let f = b - i. Is 36 a factor of f?
True
Is 6 a factor of ((-18)/10)/(18 - 102264/5680)?
True
Let m = -243 + 174. Let s = m + 73. Suppose -s + 6 = l. Does 2 divide l?
True
Let f(d) = -200 + 152 + 9*d + 66 + 83. Is 7 a factor of f(-5)?
True
Let n = -16613 + 16711. Is n a multiple of 7?
True
Suppose 8*b = -0*b - 17352. Let x = -862 - b. Suppose 5*i + 307 - x = 0. Is i a multiple of 20?
True
Suppose 0 = -8*l + 6*l + 4. Suppose 3*h - 150 = -a, -2*a - l*h + 253 = -35. Suppose -4*o + 150 = 2*i, -4*o - 4*i + a = -5*i. Is o a multiple of 12?
True
Let p = 10744 + -10752. Let n(v) be the second derivative of -v**5/20 - 5*v**4/6 - 17*v**3/6 - v**2/2 - v. Does 2 divide n(p)?
False
Suppose 2*a = -q - 58, 5*a - 4*q + 21 + 137 = 0. Is 2 a factor of (-4)/(-30) - -1*(-1736)/a?
True
Suppose -a = 1 - 1. Suppose a = 5*r - 11 + 6. Is 6 a factor of 120/14*r*14/2?
True
Suppose 297*x = 291*x + 105492. Is 298 a factor of x?
True
Let t(c) = -70*c - 34. Let a(x) = 138*x + 68. Let h(n) = 2*a(n) + 5*t(n). Is 9 a factor of h(-5)?
False
Let t be 5/(-45)*3*12. Let r be t + 1 + (-1 - 3). Let l(s) = -s**3 - 6*s**2 + 6*s - 2. Is 5 a factor of l(r)?
True
Let m = 44347 + -40922. Does 4 divide m?
False
Let v(l) = 6*l**2 - 3*l - 4. Let a be v(-2). Suppose 8*u - a = -2. Is 7 a factor of 1/(u - 250/85)?
False
Let z(v) = -v**3 + 40*v**2 - 126*v - 24. Is 16 a factor of z(36)?
True
Let q = 27 + -22. Suppose -7 = -q*u + 123. Is u a multiple of 9?
False
Let w = 2295 - 2286. Let d(r) be the first derivative of 8*r**2 - 32*r + 2. Is d(w) a multiple of 16?
True
Let p = 60 + -45. Suppose -5*f + p = 0, -f + 4*f = -2*s + 63. Is 17 a factor of 48/s + -2 + (-2464)/(-72)?
True
Let m be 6 + 2*(-3 + 2). Suppose 0 = -5*a - 10 - 15, -4*n + m*a = -880. Is 41 a factor of n?
False
Suppose 0 = k - 4*p - 22 - 198, -4*k + 894 = -2*p. Is 6 a factor of (162/21)/(12/k)?
True
Let j(x) = -7*x + 20. Let p(z) = z**3 - 6*z**2 + 7*z + 12. Let h be p(6). Let r = h + -63. Is j(r) a multiple of 13?
False
Let w = -170 - -303. Let b = -606 + 608. Suppose b*q - 5*i - w = -40, 44 = q - 3*i. Does 15 divide q?
False
Suppose 5*g + 25 = 0, -2*i + 1866 + 9994 = 4*g. Suppose -4*x = 29*x - i. Does 8 divide 