lse
Let j(t) = t**2 + 2*t - 56. Is 38 a factor of j(-20)?
True
Let p(b) = -b**3 - 7*b**2 - 12*b - 6. Let t be p(-5). Suppose g - 103 - 52 = 3*w, t*g = 5*w + 620. Is 17 a factor of g?
False
Let r = 4091 - 2745. Does 36 divide r?
False
Suppose 10*s - 375 - 95 = 0. Suppose 106 = 5*m + z, -s = -2*m + 2*z + 5. Does 14 divide m?
False
Suppose 4*o + 3*l = 29, 4*o - l + 7 = 5*o. Let i be o + (2 - 1)*-3. Suppose 0 = k - 2*b - 12, 4*k + 12 = i*k + b. Is k a multiple of 11?
False
Let i(b) = -155*b - 356. Is i(-9) a multiple of 7?
False
Is 566/4*(-41 + 43) a multiple of 10?
False
Suppose 0*n = -4*n. Let s(l) = l**2 - 47. Let h be s(n). Let z = -7 - h. Does 8 divide z?
True
Suppose 0 = -2*c + 673 + 1175. Is c a multiple of 42?
True
Let o be 4/(-18) + 235/45. Suppose -136 = o*y - 641. Suppose -2*j + n = -y, -4*j + 2*n + 251 = j. Is j a multiple of 40?
False
Let y = 3 - 0. Let g = -49 - -51. Is 13 a factor of 156/g*y/6?
True
Let i(f) = f**3 - 5*f**2 - 5*f - 12. Suppose 2 + 4 = 3*h - 5*u, 0 = -4*h - 2*u + 34. Is i(h) a multiple of 11?
False
Let k(a) = -26*a + 16*a - 6 + 0 + a**2. Let m be k(11). Suppose -7*s + 2*s - 126 = -3*x, -5*s + 210 = m*x. Is 14 a factor of x?
True
Is (-5741)/(-14) - (-14)/(-196) a multiple of 41?
True
Suppose -4*q = 0, 3*q - 280 = -2*u + 82. Is u a multiple of 11?
False
Let q = 143 + -99. Let w(b) = 3*b**2 - 25*b + 12. Let f be w(8). Suppose q = -f*t + 5*t. Is 11 a factor of t?
True
Let o(a) = a**3 - 11*a**2 - 11*a - 18. Does 9 divide o(13)?
False
Suppose 2*d = -5*g + d + 18, 0 = -3*g + 2*d + 3. Let u = g + -1. Suppose -h = u*h - 180. Does 15 divide h?
True
Suppose 5*t - 116 = -4*q + 107, -3*t = -q + 43. Is q - -7 - 3/1 a multiple of 7?
True
Suppose -30*q = -22*q - 3808. Is 14 a factor of q?
True
Suppose 3*i = -3 + 30. Let m = -1 + i. Suppose f = -0*f + m. Is 5 a factor of f?
False
Is 4 + (-13)/4 - 1730/(-8) a multiple of 31?
True
Suppose 7*o = 10*o. Suppose t = w + 56, 4*t = -o*w - w + 244. Does 10 divide t?
True
Suppose -2*v = -7*v + 55. Let c = v + 89. Is c a multiple of 23?
False
Let s(f) = -19*f - 19*f**2 - 27 - 14*f**3 + 13*f**3 + 6*f**2. Is s(-12) a multiple of 4?
False
Let w(v) be the first derivative of -v**3/3 - 27*v**2/2 - 26*v + 6. Does 34 divide w(-18)?
True
Let g be (-1)/(-4) + 21/12. Let x = 12 - g. Let p(r) = -r**2 + 12*r - 11. Is 3 a factor of p(x)?
True
Is -3 + -1 + (95 - 1) a multiple of 6?
True
Suppose -4*m + 0 = -24. Let q = 21 - -250. Suppose -m + q = 5*x. Does 10 divide x?
False
Let i be (0 - 0)/(3 - 4). Suppose i = -5*s, 3*q + 5*s - s = 0. Suppose q*a = w - a - 19, 0 = w + 5*a - 31. Is 14 a factor of w?
False
Let m = 1 + 46. Let k = m + 7. Does 7 divide k?
False
Let q be -2 + -5*(-4)/10. Suppose 3*g - 360 = -q*g. Suppose 12*p = 7*p + g. Is p a multiple of 6?
True
Let n = 77 + -41. Let q(l) = -3*l**2 + l + 1. Let k be q(-2). Let o = n + k. Does 8 divide o?
False
Suppose 75*y - 36804 - 921 = 0. Does 55 divide y?
False
Let n be (-1 + -9)*57/(-6). Suppose -k - n = -6*k. Does 10 divide (-1 - -1) + (k - 9)?
True
Is (25/14 - 12/42)*88 a multiple of 7?
False
Suppose 25245 = 64*s - 24291. Does 43 divide s?
True
Let d(x) = 3*x + 192. Does 13 divide d(-19)?
False
Let s(n) = n**2 - 4*n + 1. Let l be s(4). Is (13 - -10) + (l - 0) a multiple of 3?
True
Let c be (3/2 + -1)*6. Let g(a) = 79*a + 18. Let h be g(1). Suppose -2*f = -6*f - 3*x + h, c*f + x = 69. Does 11 divide f?
True
Suppose 45 = -2*l - 103. Let f = -59 - l. Is 5 a factor of f?
True
Let g(f) = f**3 + 2*f**2. Let s be g(-2). Suppose s = -2*b - 0*b. Suppose b = -0*l - 3*l + 90. Is l a multiple of 9?
False
Let k = -358 - -481. Suppose 2*f - 6*f + 12 = 0. Suppose 3*z - 3 = f*h - k, -2*h - z = -95. Is h a multiple of 9?
True
Let v = 180 + -182. Suppose 0 = -i - 3*n - 48, -n + 320 = -i - 4*i. Is (-837)/i - v/(-7) a multiple of 10?
False
Suppose -z + 0 + 245 = 0. Let v = z - 165. Is 20 a factor of v?
True
Let d = 142 - 97. Suppose -5*a + d = m - 3*a, 5*m + 2*a - 233 = 0. Is 17 a factor of m?
False
Suppose -2*v + 4*l + 10 = 0, 0*v + 1 = v + 2*l. Suppose 0*n = -n + v. Suppose -n*w + 89 = -13. Is 11 a factor of w?
False
Let u(g) = -g - 10. Let o be u(-10). Suppose 6*h - 7*h + 4 = o. Suppose 114 = -y + h*y. Does 11 divide y?
False
Suppose 7*o - 238 = -0*o. Suppose -o = -d - 7. Let g = d + 1. Is 14 a factor of g?
True
Let l = 233 - 99. Suppose -3*a - l = -5*x, 5*x - 127 = -2*a + 17. Does 14 divide x?
True
Suppose 0 = -3*k - 3*d + 6, 3*d + 2 + 1 = 0. Suppose k*b + 74 = i + 4*b, 300 = 4*i + 2*b. Is i a multiple of 17?
False
Suppose 4*k + 11 - 3 = -4*p, -3*p - k + 2 = 0. Suppose -12 + p = -2*o - 5*f, o - 10 = -5*f. Suppose -n = -o*n - 40. Is n a multiple of 8?
True
Let o(u) = 22*u**2 - 6*u + 85. Is o(7) a multiple of 59?
True
Does 4 divide 3/(-8) - 48165/(-120)?
False
Let t = -8 + 124. Suppose -2*v = t - 908. Is 22 a factor of v?
True
Let i = 197 + -86. Suppose -5*h + 106 = -249. Suppose 4*m + d + h = 551, -i = -m + 2*d. Does 27 divide m?
False
Suppose 21*v - 3*v - 810 = 0. Is 4 a factor of v?
False
Let q(v) = v**2 + v + 6. Let f = 15 - 7. Does 26 divide q(f)?
True
Suppose 11 = 3*u - 3*n - 4, -4*u + n = -11. Let g(s) = 1 - 1 + 5*s - u - 2*s. Is g(12) a multiple of 17?
True
Let p = -19 + 25. Suppose -2*k + 192 = p*k. Does 6 divide k?
True
Let q(o) = -2*o**3 - 10*o**2 + 7*o + 6. Let c(r) = -4*r**3 - 20*r**2 + 15*r + 11. Let n(s) = -2*c(s) + 5*q(s). Is 5 a factor of n(-6)?
True
Suppose -6*g - 6*g = -20328. Is 11 a factor of g?
True
Suppose -2*x + x + 2*k = 10, -5*k = -4*x - 25. Suppose r - q = -1 + 2, x = -2*q + 8. Let j = 9 + r. Does 13 divide j?
False
Suppose 0 = -2*h + 4, -o - h + 558 = -2*h. Does 9 divide o?
False
Let a = 785 + -740. Does 4 divide a?
False
Suppose 4*s - 5 = 7. Suppose -s*g = 2*d - 25, -d - 5*g - 3 = 2. Does 5 divide d?
True
Let o(x) = -9*x**3 + 6*x**2 - 3*x - 9. Let u(k) = -18*k**3 + 11*k**2 - 6*k - 17. Let v(l) = -11*o(l) + 6*u(l). Does 11 divide v(-2)?
False
Suppose 0 = -17*s + 25*s - 1208. Is 15 a factor of s?
False
Let t(m) = -11*m**3 - m. Let x be (-394)/(-30) + 10/(-75). Let i = 12 - x. Is 4 a factor of t(i)?
True
Suppose 0 = 3*p + 5*r - 467, 0 = -5*p + 6*p + r - 153. Is p a multiple of 14?
False
Suppose -v = -6*v + 4*o + 21, -3*o = -2*v + 7. Suppose -5*y + 4*y - v*m + 29 = 0, -4*m = y - 24. Is 4 a factor of y/((-16)/34)*-2?
False
Suppose -a + 2*s + 6 = 0, -3*a + a - 3*s = 9. Let h be 4 - 2/(-6)*-3. Suppose -h*o + 27 = y, a*y - y + 11 = o. Does 7 divide o?
False
Is (-12)/(-10)*(9 - 1116/(-6)) a multiple of 9?
True
Let h = -11 - -31. Let w be (-45)/36 - 1267/(-28). Let i = w + h. Is i a multiple of 14?
False
Suppose -3*j = a + 3 - 16, -31 = -4*a - 5*j. Let i(t) = -t + 11*t - a + 7 + 4. Does 18 divide i(6)?
False
Let r = 1877 - 1668. Is r a multiple of 4?
False
Let j = 186 + -156. Is j a multiple of 3?
True
Suppose 4*z - h - 2*h + 1 = 0, 3*z + 2*h = -22. Is (1790/(1 - z))/2 a multiple of 20?
False
Let v = 18 + -13. Suppose -j - v*j = 648. Does 27 divide (j/5)/((-7)/35)?
True
Let k(l) = l**3 + 10*l**2 - 2*l. Let o(z) be the third derivative of -z**5/60 + 17*z**4/24 + 13*z**3/6 + 5*z**2. Let y be o(18). Is 28 a factor of k(y)?
False
Let c(o) = -2*o**3 + 20*o**2 - 5*o - 35. Let s be c(9). Suppose -2*g - 64 + 10 = -2*b, 2*b = -3*g + 54. Suppose b - s = -5*x. Is 11 a factor of x?
True
Suppose 0*q + 4*i = q - 38, -3*q + 114 = -3*i. Suppose q = 2*t - 12. Is 5 a factor of t?
True
Let d = -205 - -215. Let g = 20 - 14. Suppose g*a - d*a = -192. Is 8 a factor of a?
True
Let o(w) be the second derivative of -w**5/20 - 2*w**4/3 - w**3/3 + 2*w**2 + 11*w. Let g(f) = f**3 - 8*f**2 - 9*f - 8. Let h be g(9). Does 10 divide o(h)?
True
Suppose 3*r - 2 = 2*r. Suppose 158 = r*d + 8. Does 11 divide 4/10 - (-795)/d?
True
Let g be -1 - (-3 + -1 - 2). Let t(w) = 3*w**2 + w + 5. Let k be t(g). Let a = k + -37. Does 12 divide a?
True
Let t = -228 + 137. Let w be 11/(-7) + 2 + 87/(-203). Does 33 divide (-2 - w - t)*1?
False
Let g = 808 + -385. Suppose -3*x = -123 - g. Does 26 divide x?
True
Suppose 79 = v + r, 4*v - 209 = -5*r + 110. Let l = v + -24. Does 5 divide l?
False
Let q be ((-420)/180)/(1/(-42)). Let h = -6 + 8. Suppose -h = -5*t + q. Is 5 a factor of t?
True
Let z = 55 - -71. Let w = z + -63. Is w a multiple of 21?
True
Let i = -404 + 1510. Is 10 a factor of i?
False
Let 