 2*c + 10 = -0. Suppose 0 = -g*a - a - 4*d + 160, -a = -3*d - 20. Does 35 divide a?
True
Let h = -764 - -2086. Is 47 a factor of h?
False
Let k = 1034 + 1880. Is k a multiple of 19?
False
Suppose 2*q + q - 198 = -3*b, -197 = -3*q - 4*b. Let t = 28 + q. Is 29 a factor of t?
False
Let b(l) = 28*l + 69. Does 33 divide b(13)?
False
Suppose 3*c + 12 = 7*c. Suppose 2*z = c*z - 48. Suppose 18*t = 15*t + z. Is t a multiple of 16?
True
Suppose 35*s = 37*s - 182. Suppose s = 2*d - 147. Is d a multiple of 24?
False
Let q = -264 - -408. Is (-10)/(-3)*q/30 a multiple of 8?
True
Let l(k) = 23*k**3 - k**2 + 6*k - 14. Let g(d) = d**3 - 19*d**2 + 2*d - 36. Let i be g(19). Is 24 a factor of l(i)?
False
Is (-133215)/(-105) + (-4)/(-14) a multiple of 9?
True
Let a = 28 - -57. Is 5 a factor of -18*(a/(-30) + 1/3)?
True
Let k be (-3)/((-45)/96)*5. Let l be 5 - 1 - (-4)/(-1). Suppose l = 5*o - o - k. Does 4 divide o?
True
Let o = -18 - -21. Suppose -l + 3 = 0, 96 + 120 = 3*d - o*l. Is d a multiple of 15?
True
Let t(v) = -v**2 - 2*v. Let d be t(-2). Let f be (-3 - (-9)/3) + d. Suppose f = -0*u + 3*u - 6. Is u even?
True
Suppose 16*y + 6755 = 23*y. Is 42 a factor of y?
False
Let v(k) = 2*k**2 + 49*k + 137. Let t be v(-21). Let d(u) be the third derivative of -u**4/12 - 7*u**3/6 - u**2. Is 13 a factor of d(t)?
True
Let a = -6 + 9. Suppose -a*c = 3*q - 0*c, 4 = 3*q + 2*c. Is (-21)/(-4) + 3/q a multiple of 4?
False
Let b = -33 + 54. Does 10 divide ((-90)/b)/((-1)/21)?
True
Let u = -306 + 442. Is 34 a factor of u?
True
Suppose 0*w + 89 = -5*d + 4*w, -3*d = -3*w + 54. Let h(s) = -s**2 - 19*s + 34. Is 34 a factor of h(d)?
True
Let r(w) = w**3 - 8*w**2 - 16*w + 6. Is r(12) a multiple of 6?
True
Suppose 931 - 5936 = -13*w. Is w a multiple of 5?
True
Let y = -47 - -51. Is y a multiple of 4?
True
Let g(t) = -t**3 + 74*t**2 + 11*t - 184. Is g(74) a multiple of 2?
True
Suppose -4*m - 28 = -2*m. Let a = 24 + m. Does 10 divide a?
True
Let x be (-690)/(-54) + (-2)/(-9). Suppose 14 = 2*g + 2*u, 2*g + u - x = -0*g. Does 28 divide g/2 + -6 + 81?
False
Suppose 2*d - 1787 = 4*s - 703, 4*s + d = -1084. Does 26 divide 0 + (-5 - (s + -2))?
False
Suppose q - 1 = 2. Suppose 5*s + 5*m + 75 = 340, 69 = s - q*m. Is 19 a factor of s?
True
Let n = 14 + -10. Let y be 1/4 + (-209)/n. Let u = -25 - y. Is 9 a factor of u?
True
Let n(t) = t**2 + 5*t + 19. Does 40 divide n(-13)?
False
Let a(s) = s**2 + 13*s + 39. Let w be a(-9). Suppose -3*u + 87 = w*j, 2*u + 96 = 4*j + u. Is 25 a factor of j?
True
Let d = -33 - -54. Let t = 174 - d. Is 21 a factor of t?
False
Suppose 0 = -4*u + 3*u + 5. Suppose -11 = -2*s - u. Does 13 divide 10*s - (3 + -1)?
False
Let r(w) = 173*w**2 + w - 24. Does 45 divide r(-3)?
True
Let l(s) = -s**3 + 2*s**2 + 13*s + 6. Let t be l(-5). Suppose 2*y - 3*d - 111 = -y, 4*d = 3*y - t. Is 7 a factor of y?
False
Suppose -2*q - 19 = -33. Suppose 0 = -q*x + 72 + 488. Is 35 a factor of x?
False
Let c = 616 - 18. Is 26 a factor of c?
True
Does 8 divide 2/15 - 7914/(-45)?
True
Does 30 divide -581*(-1)/(-1)*(8 - 9)?
False
Let h = 49 + -42. Is 3 a factor of h?
False
Suppose 269*w - 279*w + 11200 = 0. Is 32 a factor of w?
True
Suppose -5*m - 2*j = -26, -4*m - 3*j - 6 = -31. Let k = 20 - m. Does 16 divide k?
True
Let q(w) = w**2 - 7*w - 6. Let g(t) = t + 5. Let k be g(4). Let b be q(k). Is -15*((-20)/b + 1) a multiple of 10?
True
Suppose 4*m - 13 + 49 = 0. Let w = -3 - m. Let t = 27 - w. Is t a multiple of 21?
True
Let u = -46 - -168. Let i = -24 + u. Does 25 divide i?
False
Suppose -a - 124 = a. Suppose 3*y + 3*t - 257 = 5*y, 5*y + 3*t = -611. Let s = a - y. Is s a multiple of 16?
False
Is 42 a factor of (-18)/(-99) + 2812/22 - 2?
True
Suppose 0 = -n + 3*n - 512. Suppose 3*d - 3*i - 2*i = n, d - i = 82. Does 9 divide d?
False
Let p = 48 - -16. Is 23 a factor of p*10/4 - -1?
True
Let b = -10 + 13. Suppose -b*q - 177 = 120. Let c = q + 146. Is c a multiple of 17?
False
Let z(a) = a**3 - 7*a**2 + 5*a + 1. Let j be z(6). Let b(g) = -g**2 - 5*g + 12. Does 6 divide b(j)?
True
Suppose 4*l = 13001 - 257. Does 150 divide l?
False
Suppose -3*o = -4*l - 18, -4*o + 3*l + 18 = 1. Let t be ((-2)/o)/(-2 - -3). Let y(s) = 37*s**2. Is y(t) a multiple of 12?
False
Suppose 2*h = -p + 39, -2*h - 34 - 32 = -2*p. Is p a multiple of 7?
True
Let r(y) = -12*y - 44. Let t be 4*-4 + (-3)/9*-9. Is r(t) a multiple of 16?
True
Suppose 0 = 10*p + p - 154. Suppose -11 = p*o - 333. Does 6 divide o?
False
Suppose 4*v - y = -3*y - 52, y + 15 = -v. Let n = 4 - v. Does 5 divide n?
True
Suppose -5*k + 413 = -0*k - x, k - 75 = 4*x. Is k a multiple of 8?
False
Is 25 a factor of (-2)/(-14) + 196716/84?
False
Let u be ((-8)/5)/((-4)/(-10)). Let w be 57/38*(-5 + 1). Is (u + 2 - w) + -2 even?
True
Suppose 0*w - w = 2*x - 405, 5*x - 1050 = 5*w. Is x a multiple of 5?
True
Suppose 22519 = 37*l - 20031. Is 46 a factor of l?
True
Suppose -14*j - 3*j + 102 = 0. Is 17 a factor of j/(-4)*(-4284)/54?
True
Let k be -4*(-3 + (-70)/(-4)). Let y = k - -150. Does 38 divide y?
False
Let d(x) = -205*x - 14. Is 9 a factor of d(-2)?
True
Let k(i) = -52*i - 26. Is k(-5) a multiple of 6?
True
Let i = 314 - 192. Suppose 2*b - i = -4*f + 76, -4*f = 4*b - 384. Does 23 divide b?
False
Let x = -185 + -70. Does 17 divide 12/10*x/(-6)?
True
Let l(o) be the third derivative of -o**5/60 - 11*o**4/24 - 7*o**3/6 + 3*o**2 + 8*o. Suppose -4*q + 2*q - 14 = 0. Does 7 divide l(q)?
True
Suppose p = -0*p + 2. Let z = p - -1. Suppose -4*h = z*w - 111, -4*w + 9*w = 4*h + 153. Does 29 divide w?
False
Let j be ((-9)/3 - (5 + -5)) + -364. Let u = -199 - j. Does 14 divide u?
True
Let p(a) = a. Suppose -5*y + b - 31 = 0, 15 + 11 = -4*y + 2*b. Let t(s) = -2*s - 8. Let c be t(y). Is 2 a factor of p(c)?
True
Suppose 3*x - 2 = -2*l, -2*l = -4*x - x - 2. Let y be (-2)/(10/(-25)) - x. Suppose y*z = -2*o - 2*o + 272, 68 = o - 5*z. Is 17 a factor of o?
True
Does 2 divide (240 + -238)/(2/356)?
True
Let m = 29 - 54. Let n = 48 + m. Suppose -3*a - n = -68. Does 15 divide a?
True
Suppose -33*w + 240 = -29*w. Suppose 4*k = 4*f + 7*k - 85, -w = -3*f - 3*k. Is f a multiple of 25?
True
Let y = 108 + -100. Let p(d) = 17*d + 4*d**3 + 6 + 2*d**2 + 4*d**2 - 5*d**3. Is p(y) a multiple of 4?
False
Let c(x) = -x - 30. Let d be c(-10). Let a = d - -32. Is a a multiple of 6?
True
Let v be (-100)/7 - (-2)/7. Suppose 0 = 191*w - 199*w - 272. Let g = v - w. Does 10 divide g?
True
Let k(c) = c**3 + 8*c**2 + 2*c + 18. Let g be k(-8). Suppose 4*o + 82 = 3*y, 2*o + 1 = -g*y + 79. Does 8 divide y?
False
Let x(a) = a**3 - 5*a**2 - 5*a + 4. Let t be x(6). Let w = 21 - t. Is 9 a factor of w?
False
Let b = -110 - -466. Is b a multiple of 45?
False
Let r(b) be the first derivative of -b**3/3 + 4*b**2 + 12*b + 1. Let o be r(9). Is (-4)/o*(-45)/10 a multiple of 2?
True
Suppose 59 = -u + 4*d - 32, -2*d + 253 = -3*u. Let l = 139 - u. Does 20 divide l?
False
Suppose 0 = 3*j + 2*j - 2*t + 1, 5*j + 3*t + 11 = 0. Let c be 3*((-6)/3)/j. Suppose 3*s - 17 = -2*s - 2*d, 0 = -3*s + 3*d + c. Is 2 a factor of s?
False
Suppose -26 = -4*n - 10. Suppose -5*s = j - 13 - 8, 8 = 3*s - n*j. Suppose -19 = -r + 4*t + 27, 0 = -3*r + s*t + 130. Is 42 a factor of r?
True
Let v(y) = 9*y**2 + y + 1. Is 20 a factor of v(-4)?
False
Suppose u + a = -0*a - 15, 2*a = -3*u - 47. Suppose 3*w + 65 = 4*w. Let z = u + w. Is z a multiple of 9?
False
Suppose -46 = 10*q - 676. Is 4046/q + (-2)/(-9)*-1 a multiple of 32?
True
Let u(i) = 4*i**2 + 6*i + 6. Let x be u(-5). Suppose 0 = 2*g - 4*j - 32, -3*g + 0*j = j - x. Is 12 a factor of g?
True
Suppose 2*g - 259 - 153 = 4*m, g = 3*m + 204. Does 14 divide g?
True
Let h = -73 - -109. Suppose w - h - 22 = 0. Does 6 divide w?
False
Let w(s) = 2*s**3 - 6*s**2 - 4*s + 1. Let i(f) = -3*f**3 + 13*f**2 + 9*f - 1. Let q(v) = 3*i(v) + 5*w(v). Let x be q(-8). Is 6/x - (-252)/5 a multiple of 19?
False
Suppose 0 = n + 93 - 333. Is n a multiple of 8?
True
Let b = -334 + 607. Is b a multiple of 56?
False
Let m = -426 - -494. Does 29 divide m?
False
Suppose -4*g = 5*n - 5705, -4*g - 6*n = -10*n - 5732. Does 11 divide g?
True
Let r(t) be the first derivative of 7*t**2/2 - 3*t + 27. Is r(3) a multiple of 12?
False
Suppose 9*f + 42 = 2*f. Let a(m) = 3*m**2 - 8*m - 26. Does 13 divide a(f)?
True
Let n(v) = 11 + 3*v**2 + 28*v + v**2 