*j - b = -2*j. Does 4 divide j/4 - (-58)/4?
True
Let j = -1981 - -4605. Is j a multiple of 94?
False
Let c = -423 + 759. Does 7 divide c?
True
Suppose -2*p = -9 - 7. Let c = 169 - 166. Let g = p - c. Is g even?
False
Let m(i) = i. Let p(t) = 12*t - 3. Let r(k) = -36*m(k) + 4*p(k). Is r(7) a multiple of 18?
True
Suppose -3*o = 4*u - 9908, 2*o + 0*o = -2*u + 6604. Does 100 divide o?
True
Suppose 8 = -6*f + 4*f. Let o be ((-15)/f)/(-5)*8. Does 15 divide (o/5)/(7/(-245))?
False
Suppose -4*j - j + 3*f - 12 = 0, -4*f = 3*j - 16. Let y(z) = -z**2 + 2*z + 69. Let s be y(j). Suppose 5*h + 0*h + o - s = 0, -h + 5*o = 7. Does 3 divide h?
False
Let u(i) = 3*i**2 - 66*i - 217. Is u(29) even?
True
Let h(v) = 10 + 3 - v - 25. Let y be h(-6). Let z = y + 44. Does 15 divide z?
False
Let x be -1 + 11 + 2 - 3. Let g be (0 - -5) + (x - 9). Suppose 2*p - 64 = -5*u - 24, -3*p + 35 = g*u. Is 10 a factor of u?
True
Let z = 708 + -438. Does 45 divide z?
True
Let m be -3 - -2 - (-59)/(-1). Let a be 3*(-8)/m*5. Suppose 2*b = a*n + 220, 543 = b + 4*b + 2*n. Is b a multiple of 30?
False
Suppose 5*a - c = 580, 3*c = 9*a - 8*a - 116. Is a a multiple of 29?
True
Let q(l) = l**3 + 4*l**2 - 4*l + 5. Let j be q(-4). Suppose 5*d - 3*v - 93 = 0, -5*d + 91 = -2*v + v. Suppose d*k - j*k = -30. Is k a multiple of 4?
False
Let t = 513 + -282. Is 33 a factor of t?
True
Suppose -5*s = 3*s + 3*s. Let j(r) = -r**2 + 5*r. Let c be j(4). Suppose -5*u - 3*m + 52 = s, -2*u = c*m - 25 + 7. Is u a multiple of 11?
True
Suppose -65*v + 69*v = 544. Is 34 a factor of v?
True
Let t(u) = u**3 + 37*u**2 + 13*u - 159. Does 34 divide t(-35)?
True
Suppose 3*h = 6, o + 50 = -o + h. Let k = -22 - o. Suppose 6*z + 8 = 4*z, -k*i = -2*z - 26. Is 7 a factor of i?
False
Let s(d) = d**2 - 2*d - 1. Let l be s(-2). Let m(r) = -r**3 + 8*r**2 + 4*r - 8. Is 18 a factor of m(l)?
False
Suppose -d - 35 = 7. Let r be (37/(-3))/(7/d). Suppose -3*n - 2*c = 20 - r, 3*n = c + 54. Is 6 a factor of n?
True
Let s be (-2 + -1 - 2)/(-1). Suppose -s*b + 20 = -25. Is b a multiple of 3?
True
Suppose 0*w - 3*w = 3*s - 6, 0 = 4*s - 12. Is w - (-4 - 206)/1 a multiple of 19?
True
Let t(y) = y**3 - 15*y**2 - 40*y + 12. Is 11 a factor of t(18)?
True
Suppose 0 = x - 2*x - 2. Let q(i) = -i. Let s be q(x). Suppose s*k + 6 = -0*k, 4*a = 4*k + 244. Is 29 a factor of a?
True
Suppose 419 - 1315 = -14*m. Is m a multiple of 16?
True
Suppose -w = 4*n - 8, 13 = 4*n + 9. Suppose 5*p - g - 2 = 0, -2*p - 2 = -2*g + 3*g. Suppose p = -w*b + 6*b - 24. Is b a multiple of 4?
True
Let n = 634 - 345. Is 53 a factor of n?
False
Let x(c) = 9*c**3 - 2*c**2 - 3*c. Let p be x(-2). Is 2*(-2)/8*p a multiple of 11?
False
Let b = -24 + 25. Suppose 0 = -q - b + 9. Let x(n) = -n**2 + 11*n - 7. Is 17 a factor of x(q)?
True
Suppose 349 = -4*s + 5*o + 1006, 2*s - 329 = 3*o. Suppose 5*r - 1137 = s. Is r a multiple of 13?
True
Let b(q) = 12*q + 13. Let k(w) = -13*w - 13. Let s(g) = 4*b(g) + 3*k(g). Let n be (-3)/(22/6 - 4). Is s(n) a multiple of 25?
False
Suppose -2*v = v + 21. Let p = v - -9. Suppose p*c = 3*c + 4*u - 41, c + 3*u - 37 = 0. Does 11 divide c?
False
Suppose 5*p + 3 = -4*m + 48, 0 = 4*p - 3*m - 67. Suppose -3*j + p = 1. Is j + 0 + 272/16 a multiple of 18?
False
Let i(g) = g**3 + 8*g**2 - 3*g + 2. Let p be 1 + 1/(4/12). Suppose 4*m + 5*y = -0*m - 12, -p*m = -4*y + 48. Is i(m) a multiple of 13?
True
Suppose 2*t + 3*t - 160 = -5*a, -5*a = -t - 184. Suppose a = v + v. Suppose -9 = 2*u + u, -v = -2*f - 2*u. Is 4 a factor of f?
True
Suppose 72 = 4*g - 12. Suppose -g = -2*l - 3. Is 7 a factor of (102/l)/((-2)/(-6))?
False
Let q(w) = 63*w - 69. Is q(10) a multiple of 51?
True
Suppose 4*v - 750 = 90. Is 14 a factor of v?
True
Suppose 4*w - w - 3*f = 6, 2*w - 4*f = -4. Let r(g) = 4*g**3 + w - 12*g**2 + 13*g - 9 - 3*g**3 - 10. Does 9 divide r(11)?
True
Let j = 7 + -4. Let z be ((-7)/(-2) - j)*2. Is 24 + z/(-3 - -2) a multiple of 9?
False
Suppose 3 + 17 = -5*a. Let y(j) = 5*j + 9. Let i be y(-4). Let b = a - i. Is 2 a factor of b?
False
Let x(y) = y**2 + 4*y + 4. Let g be 51/(-12) - 1/(8/6). Does 3 divide x(g)?
True
Let a be (-1762)/(-5) - 8/20. Suppose 112 - a = -4*q. Does 15 divide q?
True
Suppose 0 = -j - 3 + 5. Suppose j*g = -2*g + 96. Is g a multiple of 12?
True
Suppose -4*p + 8 = -p + m, 2*p + 3*m = -4. Suppose 3*b = 4*a - 404, 0*a - p*b = 5*a - 474. Does 7 divide a?
True
Let h = -53 + 56. Is 7 a factor of -3 + (11/33 - (-185)/h)?
False
Let w(y) = -23*y**2 + 5*y + 6. Let c be w(-4). Let p = -85 - c. Is 27 a factor of p?
True
Let b = -2006 - -5035. Does 14 divide b?
False
Suppose -48 = 29*b - 33*b. Let c = -19 - -33. Is 26 a factor of (0 - b/c)*-91?
True
Suppose 0 = -3*z + z + 4*a - 1118, -2*a = -5*z - 2819. Let q = 916 + z. Is 19 a factor of q?
False
Let i = -156 - -195. Is 6 a factor of i?
False
Suppose 3*v + 371 - 19 = 4*a, 3*a + 387 = -3*v. Let q = -99 - v. Is q a multiple of 2?
False
Let r(u) = 12*u + 3*u**2 + 52*u**3 + 17 + 9*u**2 - 51*u**3. Is r(-9) a multiple of 38?
True
Suppose 8*x - 5*x - 1356 = 0. Suppose -5*b + x = -b. Does 8 divide b?
False
Let q be 30/6 - 3/1. Suppose -335 = -5*t - 0*u - 5*u, -2*t = -q*u - 150. Suppose -5*w + 24 = -t. Is 19 a factor of w?
True
Suppose 0 = 2*s - 3*v - 1, 3*s - v - 3 = 2*v. Is ((-329)/(-21) - 2/(-6))/s a multiple of 2?
True
Let h(c) = 3*c**2 - 10*c - 1. Let t be h(7). Suppose -n - x - 2 = 0, n - 18 = -0*x + 4*x. Suppose n*z - t = -0. Does 19 divide z?
True
Let h = 656 + 9. Suppose -3*l + h = 125. Is 15 a factor of l?
True
Let f = 93 - 96. Is (361/f)/(-1) - (-4)/6 a multiple of 10?
False
Let y = -15 + 49. Let v = 75 + y. Is 21 a factor of v?
False
Suppose 0 = 12*i - 38 - 58. Let g(n) = -1. Let f(d) = -d + 22. Let q(z) = f(z) + 3*g(z). Does 4 divide q(i)?
False
Suppose -2 = -2*t + 10. Suppose 0*y + 6 = -r - 2*y, -5*r = y - t. Let j = 14 - r. Is j a multiple of 6?
True
Does 42 divide (-4)/(-5) + 4 + (-3756)/(-5)?
True
Let d = -3 + 6. Suppose -d*t - 3*l + 2*l = 157, 2*l = 2*t + 102. Let g = -26 - t. Is 13 a factor of g?
True
Suppose -3*u - 5*h + 611 = -2*u, -1847 = -3*u - h. Does 14 divide u?
True
Suppose 3*q = -4*h + 1658 - 42, 0 = 4*q - 5*h - 2165. Is 15 a factor of q?
True
Suppose 0 = -5*d + 4*o + 18 + 2, 0 = 4*d + o + 5. Suppose r + 3 - 4 = d. Suppose r = 2*l - 5*c - 10, -4*l + 37 = 5*c. Is 4 a factor of l?
True
Let j be 12 + (-1)/(-3 - -2). Suppose 0 = -4*v + 187 + j. Is v a multiple of 10?
True
Suppose 20 = 4*y + 4*h, -8 = -4*y + 2*y - 4*h. Let b be (-3)/((-1)/10*y). Suppose b*t - 87 = 2*t. Is 29 a factor of t?
True
Let l = 9 - -1. Let h = -5 + 8. Suppose 0 = -h*s + l - 1. Is s even?
False
Let g be ((-3)/2)/(6/(-856)). Suppose -g = -8*h + 98. Does 39 divide h?
True
Let b(d) be the first derivative of d**3/3 - d - 137. Let m be 2 + -6 + (-1 - -2). Is 8 a factor of b(m)?
True
Suppose -6*j + a + 5617 = -2*j, 0 = -3*j - 3*a + 4209. Does 20 divide j?
False
Suppose -2*d + 0*b + 5*b = -1785, 5*b = -25. Is 80 a factor of d?
True
Suppose -120 - 858 = -5*i + 3*u, -5*u = 4*i - 812. Does 9 divide i?
True
Suppose -34*t - 23840 = -66*t. Is t a multiple of 8?
False
Suppose -91 = 2*t + 1129. Let d = -430 - t. Suppose -3*r + d = -r. Is 22 a factor of r?
False
Let o = -9 - -31. Suppose -20 = h - o. Suppose 2*r - 28 = 2*p, 0 = 5*r - h*p - 0*p - 55. Is 4 a factor of r?
False
Suppose -127*q = -128*q + 36. Suppose -3*w + 3 = 0, 3*h = -0*h - 3*w + q. Is h a multiple of 9?
False
Suppose 46*y = 50*y - 336. Does 84 divide y?
True
Let j = 13 - 10. Suppose 0 = 2*k + j*k - 60. Suppose -5*f - k = -2*d, -4*f + 5*f = -d + 13. Is d a multiple of 11?
True
Let y be (-414)/1*6/12. Is 5 a factor of ((-2)/(-6))/((-3)/y)?
False
Suppose -3*j + 2*t = -386, -t + 6 - 1 = 0. Does 3 divide j?
True
Suppose -2*v + v = -4. Suppose v*o - 153 = 239. Does 23 divide o?
False
Suppose -5*v = 3*b - 23, b + 0*b = 2*v - 7. Suppose -4*y + 3 = -v*z - 21, 5*z = -4*y + 51. Let k(f) = 4*f + 9. Is 15 a factor of k(y)?
True
Let v(k) = -k**3 - 5*k**2 - 11*k - 32. Let w = 69 + -75. Is 35 a factor of v(w)?
True
Is 16 a factor of -1 - -1 - (-5 - (9 + 1346))?
True
Does 7 divide (-3)/(-1) + -15 + 152?
True
Suppose -5*u + 6 = -9. Let z be 1*u + 6/6. Suppose 4*p + 3*b = -b + 60, -z*p = 5*b - 64. Is p a multiple of 9?
False
Let i be (2/4)/(3/6). Let p be (212/(-16) - 2/(-8))*-1. Is 16 a