lse
Suppose -163 = -11*t + 541. Suppose t*p = 61*p. Suppose -3*m = 2*i - 148, p*i - 2*i + 4 = 0. Is m a multiple of 24?
True
Let z(k) = 19*k**2 + 97*k + 666. Is 56 a factor of z(-45)?
True
Let c = 539 + -944. Let l = -304 - c. Is 2 a factor of l?
False
Let u = 389 - 249. Let y = 343 - u. Does 5 divide y?
False
Let p(t) = t**3 - 31*t**2 + 10*t + 105. Let m be p(32). Suppose 5*k + 3*l - m = 0, 2 = 2*l - 4. Does 16 divide k?
True
Is (-561954)/(-54) + 9 + -3*(-24)/162 a multiple of 28?
True
Let t = -8876 + 13412. Does 42 divide t?
True
Let b(z) = -41 - 285*z**3 - 42 + z + 82 + 3*z**2. Is 13 a factor of b(-1)?
True
Let y = 536 + -518. Does 7 divide 313 + 15*(-6)/y?
True
Let h be (-3 + -1)*1/2. Let v be -1*(-1)/h*-4. Suppose -4*d + 60 = -v*f, 4*f - 84 = -5*d + 2*f. Is d a multiple of 16?
True
Let m(w) = -19*w**2 - 4*w - 8. Let v(s) = 11*s**2 + 2*s + 4. Let o(h) = 4*m(h) + 7*v(h). Let c(p) = -4*p**3 + p**2 - 1. Let f be c(1). Is 7 a factor of o(f)?
False
Suppose -9*k + 57131 + 39097 = 0. Is k a multiple of 132?
True
Suppose 5 = -8*z + 7*z. Is 13 a factor of (z + 102*4)*1?
True
Let p be 1195/(-11) - 24/66. Does 16 divide (-1 + p/2)*(-13 - -11)?
False
Suppose 2255 + 771 = -17*x. Let q = x + 300. Is 3 a factor of q?
False
Let b = 826 - 353. Let x = -291 + b. Is x a multiple of 13?
True
Let s = -120 - -451. Let x = 335 - s. Is x a multiple of 4?
True
Let d(i) = i**2 - 24*i - 28. Let c(x) = -x**2 + 23*x + 28. Let a(f) = -2*c(f) - 3*d(f). Is 5 a factor of a(24)?
False
Let y be ((-49)/21 - -2)*-147. Suppose 0 = 55*l - y*l - 3042. Does 13 divide l?
True
Let l(y) = -8*y**3 - 6*y**2 - 18*y + 60. Is 96 a factor of l(-9)?
True
Let x(m) = -m**3 - 9*m**2 - 9*m + 17. Let j be x(-8). Let h = 25 - j. Suppose -2*v - 3*v + 119 = 2*w, 2*v + 2 = h. Is 9 a factor of w?
False
Suppose -4 = -4*y, -62*y + 58*y = 4*p - 6032. Is 11 a factor of p?
True
Suppose 4448808 = 275*b - 41*b. Is b a multiple of 49?
True
Let p(b) = 2*b**2 + 9*b + 4. Let t be p(-4). Suppose t = 4*v - 2*m - 582, -v + 37 + 81 = 5*m. Is 34 a factor of v?
False
Suppose 6*a - 7*a + 4 = 0. Suppose 0 = -o - a*o + 380. Suppose 0 = b - o - 4. Is 40 a factor of b?
True
Let k(l) = l. Let x(g) = -7*g - 1. Let c(s) = -4*k(s) + 2*x(s). Let v be c(5). Let p = -74 - v. Is p a multiple of 9?
True
Let u(w) = 15*w**2 + 444*w - 135. Is 101 a factor of u(-45)?
False
Let s(p) be the third derivative of 3*p**5/20 - 7*p**4/24 - 7*p**3/6 + 39*p**2. Does 5 divide s(2)?
True
Suppose -3*v + 9 = -0*v, 3*v - 216 = -3*z. Let h = z - -75. Is h a multiple of 18?
True
Let q be (-3)/(-8 + (-26)/(-4)). Is ((q + -3)*-1)/(7/3094) a multiple of 21?
False
Is ((-3199791)/(-35))/3 + 64/80 a multiple of 115?
True
Suppose -29*x + 233 = -86. Suppose 0 = -x*a + 167 - 13. Is a a multiple of 12?
False
Let t(m) = -9*m + 63. Let w be t(7). Let n(o) = o**3 + o**2 + 1. Let d(k) = -3*k**3 - 6*k**2 + 2*k - 20. Let i(c) = -d(c) - 4*n(c). Is 4 a factor of i(w)?
True
Let p(q) = 51*q - 26. Suppose -16*b = 2*b - 216. Does 18 divide p(b)?
False
Let r(u) = -27*u**3 - u**2 - 7*u - 43. Let p be r(-6). Suppose -p = -15*v + 15190. Is 31 a factor of v?
False
Suppose 37*a + 129 = -10*a + 364. Suppose 0*c + 5*t + 16 = 3*c, 4*t + 4 = -2*c. Suppose c*b + 72 = a*b. Does 6 divide b?
True
Suppose -21*t + 65 = -17*t - 5*s, -2*s = t - 26. Suppose 3*l - 727 = -y, 0 = 5*l + 17*y - t*y - 1207. Is 11 a factor of l?
True
Suppose 2*n + 2*n = 8. Suppose -n*d + 7 = -41. Is 2*11 - (-18)/d*4 even?
False
Let r = 22 - -22. Let u be 1/(r/8 - 5). Is 3 a factor of ((-10)/u - 2)*-2?
False
Let d = 16171 - 9673. Is d a multiple of 57?
True
Suppose 39*c - 31*c = 168. Let i(s) = -s + 216. Is i(c) a multiple of 5?
True
Let o(f) = -19*f**2 - f. Let r be o(-2). Let y = 70 + r. Let n(a) = -2*a**3 - 2*a**2 - 2*a + 1. Is n(y) a multiple of 6?
False
Let x = -182 - -421. Suppose 0 = -5*u - x - 151. Let c = u + 130. Does 13 divide c?
True
Is 116 a factor of ((-176)/5)/((-298)/108025)?
True
Let x(y) = 376*y**3 + 43*y**2 + y. Is 37 a factor of x(2)?
True
Let o = 3756 - 3177. Is 35 a factor of o?
False
Let w(k) = -15*k - 2*k - 106 + 17*k - 22*k - 29*k. Does 40 divide w(-14)?
False
Suppose i = 4*h + 2206, -2*i + 76*h - 73*h + 4432 = 0. Is 11 a factor of i?
True
Let s(h) = -81*h - 153. Does 9 divide s(-4)?
True
Let m = 1675 + 6224. Is 3 a factor of m?
True
Let j be (-11 - -2) + 3 + 4. Let l be 63/35 - j/10. Suppose -o = 0, -4*n + 0*n + l*o = -568. Is n a multiple of 21?
False
Suppose -68*s + 192576 = -0*s. Does 8 divide s?
True
Let t(h) = -h**3 + 1. Let w(b) = 12*b**3 + 4*b**2 - 4*b**3 - 6*b - 6 + 1 - 2*b. Let z(d) = -5*t(d) - w(d). Is z(-4) a multiple of 16?
True
Let s = 2113 - -19534. Is 50 a factor of s?
False
Let r = 48 + -20. Let g be 824/r - 15/35. Let b = 101 - g. Does 12 divide b?
True
Let b(p) = -262*p**3 - 4*p**2 - 44*p - 138. Is 67 a factor of b(-4)?
False
Let a = -28 + 30. Let b(o) be the third derivative of 7*o**4/4 - o**3/2 - o**2. Does 19 divide b(a)?
False
Let d = 3375 + 644. Is d a multiple of 20?
False
Is (-6)/(-15) + ((-123228)/(-35))/3 even?
True
Does 32 divide 12/16*1239720/90?
False
Suppose -145351 = 12*w - 24*w - 43015. Is 13 a factor of w?
True
Suppose 4*l = 3*l + 4*a + 14, -4*l = -3*a - 17. Suppose 0 = 5*d + 5*i - 405, 5*i = -l*d + 20 + 142. Is 9 a factor of d?
True
Let y = -12094 + 22714. Is y a multiple of 18?
True
Suppose 0 = -19*n + 6*n + 91. Suppose -364 = n*z - 1078. Is z a multiple of 26?
False
Suppose 0 = -4*v - 24*b + 27*b + 79476, -4*b = 2*v - 39716. Does 129 divide v?
True
Suppose -2*b = -5*k - 64, 3*b = -0*k + 5*k + 96. Suppose 2*f + o - 51 = 0, 2*o + 146 = 5*f + b. Does 24 divide f?
True
Suppose -9*l + 67132 = -5*l + 22*l. Is l a multiple of 15?
False
Suppose -11*y + 7*y - h + 13199 = 0, -5*h = 4*y - 13195. Does 50 divide y?
True
Suppose -10 = 5*i, -4*s + 98*i = 100*i - 8196. Does 25 divide s?
True
Suppose -3*n + 4*m + 7453 = 0, 2*m = n - 1252 - 1235. Let j = n - 1387. Does 42 divide j?
True
Let t(n) = -15*n + 4 + 167*n**3 + 15 - 16*n**2 - 168*n**3. Let v be t(-15). Is v*((-12)/(-14) - 20/(-140)) a multiple of 8?
False
Let m = 49 + -54. Let u = m + 705. Is u a multiple of 10?
True
Let h(s) = -9*s**3 - 50*s**2 - 31*s - 19. Is h(-11) a multiple of 19?
True
Let w(n) = 3*n + 32. Let f be w(-5). Let x(z) = 3*z - 21. Does 7 divide x(f)?
False
Suppose 5*r - m = 99, -4*r + 81 = 89*m - 88*m. Let n = r + 243. Is n a multiple of 18?
False
Let z = -11199 - -13330. Is z a multiple of 6?
False
Let v(o) = 19*o + 24*o**2 + 13 + 29*o**2 - 47*o**2. Let t be v(-7). Suppose t + 594 = 8*y. Is 32 a factor of y?
True
Is (8 - (7223 + -8))*-2 - (1 + -3) a multiple of 68?
True
Suppose -3055 + 9192 = 19*r. Is 3 a factor of r?
False
Does 21 divide 4/((-12)/3207)*(-2 - 8)?
False
Let p = -12662 + 13894. Is 56 a factor of p?
True
Let q = -10346 - -16457. Does 21 divide q?
True
Let s = 116 - 106. Let m be 19 + (s/(-20))/(2/(-4)). Is (m/5 - -10) + -3 a multiple of 6?
False
Suppose 5*m - 2 = -3*g, -2*g = 2*m + 2*g - 12. Let b(t) = -t**2 - 32*t - 32. Let j be b(-31). Does 8 divide j/m + (-5)/((-10)/207)?
True
Let f(d) = 5*d**2 + 6*d + 9. Let p = -126 + 120. Is 9 a factor of f(p)?
True
Suppose -r + 66 = -0*r. Suppose 518 = 4*k + 5*f, 7*k - 256 = 5*k - 4*f. Let z = k - r. Is 22 a factor of z?
True
Suppose 5*m = 7*m. Suppose 4*q + 12 = m, g - 5*q + 460 = 6*g. Is g a multiple of 19?
True
Suppose 5*l + 1796 = 5*o - 33824, -4*o = -5*l - 28502. Is 37 a factor of o?
False
Suppose 1030 = 29*f + 131. Let l = 199 - f. Is l a multiple of 6?
True
Let i = -171 - -561. Suppose -14*t = i - 1776. Is 3 a factor of t?
True
Suppose 3*u - 6*u = -9, 0 = 4*t + u + 18717. Does 20 divide t/(-108)*24/10?
False
Let w be (-6)/(-4)*(2 + 84*7). Suppose -903*b = -900*b - w. Does 8 divide b?
False
Suppose 0 = -8*w - 9 - 7. Let z be (-87)/(-3 - w - 0). Let o = 145 - z. Is 6 a factor of o?
False
Let p be (-2)/(-4) - 15/(-10). Suppose 7920 = -p*s - 6360. Does 34 divide (-3*1/2)/(45/s)?
True
Suppose 18*i - 1520 = 37*i. Let h = 44 - -15. Let y = h - i. Is 47 a factor of y?
False
Let y = -27 + 28. Let q be y/(-2) - 1080/(-16). Suppose -13 - q = -2*m. Does 10 divide m?
True
Let j be (-158)/1 + (7 - 2) + -6. Let b = 255 + j. Is b a multiple of 3?
True
Suppose -40*r + 143445 = 8761 + 9524. Is 150 a factor of r?
False
Suppose 13*v = 7*v - 6. Let 