*r + 14. Suppose m = -6*i + 55. Suppose 8*j - i = 4*j. Is j a multiple of 2?
True
Let q = -1080 + 3386. Does 12 divide q?
False
Suppose -5 - 119 = -4*k. Suppose 5*y + 51 = 8*y. Let v = k - y. Is v a multiple of 9?
False
Suppose -3*q + 4 = 2*o - 25, 0 = 5*o - 4*q - 84. Does 8 divide o/2*9 + 0?
True
Let s(o) = -o**3 - 10*o**2 + 21. Let t be s(-10). Does 20 divide 0 + -4 + 28/t*48?
True
Let r(s) = -47*s**3 - 2*s**2 - 23*s - 46. Does 16 divide r(-2)?
True
Suppose 3*k + 2819 = 4*m, -8*k - 9 = -11*k. Does 17 divide m?
False
Let w(t) be the second derivative of t**3/2 + 13*t**2/2 - 2*t. Let m be w(10). Is m + (-1 - (-5 + 3)) a multiple of 11?
True
Let k = -15 + 30. Let g = 19 - k. Suppose -t + 171 = 5*a, -a = -4*a + g*t + 121. Is 8 a factor of a?
False
Suppose 17 = o + 5*t, 0*t + 5*t = 10. Suppose 12 = -4*k + o*k. Does 7 divide 4 + (4/k - -2)?
True
Suppose 2*q - 18 = q. Is (-30)/(-5)*q/4 a multiple of 9?
True
Let o be 2*1*(-42)/(-28). Is 51*2/o - 2 a multiple of 14?
False
Suppose 2*t - 4*t = -4*f + 1352, 0 = -3*f - 3*t + 996. Does 3 divide f?
True
Suppose 3*k + 4*z - 957 = -182, k = -z + 260. Let y = k - 117. Does 37 divide y?
True
Let w = 166 - 50. Suppose 15*k - 11*k - w = 0. Is 5 a factor of k?
False
Let n(h) = 7*h**3 + 2*h**2 + 11*h + 8. Is n(4) a multiple of 28?
True
Is 160/(6/9*1) a multiple of 17?
False
Let c(z) = -13*z**3 - 8*z**2 - 2*z - 11. Let k(v) = 7*v**3 + 4*v**2 + v + 6. Let b(m) = 3*c(m) + 5*k(m). Let t = -27 + 24. Is b(t) a multiple of 18?
True
Let y = 7 - 6. Let z(b) = 97*b**3 - b**2 + 2*b. Is 17 a factor of z(y)?
False
Suppose -n + 132 = -124. Is n a multiple of 8?
True
Let r be (-8)/12 - 12235/(-15). Suppose -10*f + r = 215. Does 15 divide f?
True
Suppose 4*p - 393 = -n, 3*p - 167 - 132 = -5*n. Is p a multiple of 14?
True
Suppose -8*w + 5 = -19. Suppose 4*a = -w*v + 55, 0 = -5*v - 7*a + 2*a + 85. Is 5 a factor of v?
False
Is 38 a factor of 1029 + 1 + 12/(9 + -12)?
True
Let a(z) = 202*z + 1. Let y be a(2). Suppose -19*k = -22*k + y. Does 21 divide k?
False
Let x be (-28)/42*(-6)/(-10)*-5. Suppose 0 = x*u + 2*u - 72. Is 13 a factor of u?
False
Suppose -1 = w, 57 = 5*p + 5*w - 48. Let c = p + 11. Does 8 divide c?
False
Let r = 454 - 193. Suppose 2*f = -4*y + 174, y - r = -3*f + 2*y. Is 29 a factor of f?
True
Let z(w) = -2*w - 1 - 4*w - w. Suppose 3*b + 2*b + 15 = -5*g, -5*b - 30 = 2*g. Does 18 divide z(b)?
False
Let t(j) = -6*j**3 - j**2 + 3*j + 4. Let y be t(-1). Let q = -2 + 5. Let i = y + q. Is i a multiple of 3?
True
Let o = -60 - -74. Let h = 109 - o. Does 12 divide h?
False
Let h(n) = -n**3 + 14*n**2 - 8*n + 5. Is 8 a factor of h(11)?
True
Suppose 300 = 6*g + 6*g. Is g a multiple of 9?
False
Suppose 37*v = 3579 - 360. Is v even?
False
Let k(i) = -6*i**3 - 26*i**2 + 2*i - 12. Does 48 divide k(-6)?
True
Let k(d) = 46*d**2 + 59*d + 399. Does 38 divide k(-8)?
False
Let s(x) be the first derivative of x**3 + 7*x**2/2 - 2*x + 1. Does 26 divide s(4)?
False
Suppose -d = -2*q - 8, -3 - 9 = -3*d. Let u(v) = -v. Let g(y) = 6*y**2 - 4*y + 2. Let i(j) = g(j) - 5*u(j). Does 12 divide i(q)?
True
Let p = 126 - -38. Suppose 4*z - 100 = p. Does 11 divide z?
True
Suppose 8 = 5*g + 7*o - 3*o, -3*o - 9 = 0. Is 66/g + 15/30 a multiple of 17?
True
Let q = 1 - 0. Let j be (-33)/(-55) + -1 + 4/10. Suppose 3*w = 6*w + 4*b - 193, -b + q = j. Is w a multiple of 14?
False
Is 1456 + 0/(4 + -9) a multiple of 15?
False
Suppose 680 = 3*n + 170. Does 11 divide n?
False
Let s(o) = -47*o - 19. Let j be s(-7). Let n = 440 - j. Is n a multiple of 13?
True
Suppose -b - 4 = 3. Let r be b/28*(2 + -2). Suppose r = -3*m - z + 203, -4*m = -0*z - 5*z - 239. Is 22 a factor of m?
True
Let y = 7 - 5. Suppose 5*i + 2*q = 14, i + 2*q = -i + y. Suppose -5*r + i*r = -8. Is 4 a factor of r?
True
Suppose -4*n = 3*g - 9760, -16*n - 12200 = -21*n - 3*g. Is 20 a factor of n?
True
Suppose -2*n + 166 = 2*p, 36*p - 34*p - 170 = -4*n. Is 2 a factor of p?
False
Suppose -5*x + 3*i = 0, x + 24 = 4*i + 7. Is (-27)/(-2) + 3/(3 + x) even?
True
Let k(t) = -t**3 - 27*t**2 + 87*t - 20. Is 22 a factor of k(-30)?
False
Is 11 a factor of (308/(-66))/((-4)/198)?
True
Let b(p) be the first derivative of -19*p**2/2 - 24*p + 24. Is 33 a factor of b(-14)?
False
Let v = 106 - 106. Let j(q) = -q**3 + q**2 + 42. Does 7 divide j(v)?
True
Suppose -5*b + 67 = 2*d, -5*b + 29 = d + 3. Let y = d - 17. Is y a multiple of 8?
True
Let x = 56 - -164. Is 5 a factor of x?
True
Let r(u) = -3*u - 21. Let m be r(-8). Suppose -2*b - 2*h = h - 29, -h - 38 = -3*b. Let t = m + b. Is 6 a factor of t?
False
Does 14 divide (1/((-8)/(-12)))/((-6)/(-1288))?
True
Let a(n) = -n - 7. Let y be a(-4). Suppose 0 = 4*x + d + 3, 0 = 22*x - 19*x - 2*d + 16. Is (-11)/y + x/(-6) a multiple of 4?
True
Suppose 5*z - n = 48, 2*z = -2*z + 4*n + 32. Let t be z/4*(-60)/(-50). Suppose -47 + 20 = -t*v. Does 3 divide v?
True
Suppose 5*l - w - 2*w = -17, 2*w = -2*l + 6. Let i be l*-6*(-3)/(-3). Suppose -190 = g - i*g. Is g a multiple of 10?
False
Suppose -t - t = -3*s - 30, 5*s + 22 = t. Suppose 6*a - 37 = -13. Suppose a*q = 192 + t. Is q a multiple of 13?
False
Let p be (-2156)/(-12) + (10/(-6))/(-5). Suppose -4*d + p = -2*n, 4*n + 9 = 1. Is 11 a factor of d?
True
Let u = 46 + -39. Let t(g) be the second derivative of -g**4/6 + 7*g**3/3 + 5*g**2 + g. Is t(u) a multiple of 10?
True
Let c be (-3)/(-7) - (-60)/(-42). Does 3 divide 38/c*1/((-4)/2)?
False
Suppose d - 3 + 0 = 0. Suppose -16 = -d*c + 44. Does 10 divide c?
True
Suppose 0*o - 20 = 2*o - 4*m, -4*o + 3*m = 45. Let v = -11 - o. Does 2 divide v/2*6*1?
False
Let b = 177 + -75. Suppose b = 6*u - 96. Is u a multiple of 8?
False
Suppose -3*w = 3*u - w - 14, 24 = 5*u + 3*w. Suppose -u*p + p = -135. Does 9 divide p?
True
Let p = 1462 - 974. Is p a multiple of 15?
False
Let p(v) = v**3 + v**2 - 1. Let m(h) = 48*h**3 - 3*h**2 + 4. Let o(z) = -m(z) - 5*p(z). Let w = -9 - -8. Is 13 a factor of o(w)?
True
Suppose -3*x - x + 3*p + 60 = 0, 3*p = -2*x + 48. Let i(q) = -4*q - 45. Let l be i(-14). Let d = x + l. Is 8 a factor of d?
False
Suppose k - 59 = -4*r, 0 = -6*r + 4*r - 4. Does 3 divide k?
False
Let r be (-4)/6*(-6)/(-4). Let h(p) = 27*p**3 + p**2 - p - 1. Let o be h(r). Let q = o - -41. Does 3 divide q?
True
Let y = -31 + 31. Suppose 4*o + 3*g - 12 = y, 3*o - g - 9 = -0. Is o a multiple of 3?
True
Let l(v) = 30*v**2 - 22. Is l(8) a multiple of 13?
True
Let k(a) = a + 3. Let s be k(-1). Let z be -6*(14/(-6) + s). Is 13 a factor of ((-91)/(-3))/(z/6)?
True
Let t be 2 - (3 + -3 + 15). Let v = -7 - t. Let z = 27 - v. Is z a multiple of 7?
True
Suppose 912 - 750 = 3*l. Is l a multiple of 9?
True
Suppose -5*o = -c + 13355, 4*o + o + 4*c + 13330 = 0. Let p be (-6)/(-14) + o/(-42). Let g = p - 38. Is 24 a factor of g?
False
Suppose 2*d - 4*n - 238 = 0, 2*d + d - 2*n - 373 = 0. Is d a multiple of 15?
False
Suppose -7 = -3*n + 11. Let q(z) = 25*z + 6. Does 14 divide q(n)?
False
Let y be 10/4*(-48)/40 + 8. Suppose 553 = y*t - 152. Is 47 a factor of t?
True
Let l(n) = -89*n + 33. Does 10 divide l(-3)?
True
Does 4 divide (78/(-10))/((-155)/75 - -2)?
False
Let x(s) = -5*s + 93. Does 3 divide x(-9)?
True
Suppose 3*q = -4*y + 11208, -q = 20*y - 19*y - 2803. Does 9 divide y?
True
Let u be (794/8)/(8/96). Is u/21 - 2/(-7) a multiple of 9?
False
Let m = 865 - 613. Is m a multiple of 21?
True
Let n be (-10)/35 + 1172/(-14). Does 7 divide (n/18)/(2/(-12))?
True
Let c = 60 - 104. Let q = c - -73. Is 15 a factor of q?
False
Suppose -3*b - b = 0. Suppose 0 = -4*u - b*u + 24. Does 2 divide u?
True
Suppose 1 = 2*o - o - u, 5*o - 2 = 2*u. Suppose -4*w = -o*w - 8. Suppose -2*f - w*f + 47 = 5*l, -97 = -4*f + 5*l. Is 18 a factor of f?
True
Let l(b) = 7*b + 3 - 10 + 3. Does 20 divide l(12)?
True
Let j = 259 - -154. Is j a multiple of 7?
True
Let b(a) = -a**3 + 3*a**2 + 2*a - 3. Let d be b(3). Suppose -6*c - 3*c = 0. Let z = d + c. Does 3 divide z?
True
Let h(l) = l**2 - 4*l - 9. Let f be h(6). Suppose 3*p - 1169 = -2*m - 3*m, -5*m + 1167 = 4*p. Suppose -f*x + m = -14. Is 23 a factor of x?
False
Suppose -42 = -13*i + 114. Does 2 divide i?
True
Let c be (-1 - 0)*1*2. Let p(h) = -7 - 37*h + 1 + 8. Is 22 a factor of p(c)?
False
Suppose 4*t - 5602 = -2*k, 65*t + 7013 = 70*t - k. Is 12 a factor of t?
False
Suppose -35*f + 918 = -18*f. 