lse
Let m(z) = -2*z**3 + z**2 + 12*z - 29. Is m(-6) a multiple of 15?
False
Suppose -4*s - 4*h + 2 = -6, -5*h + 20 = 0. Let j = 5 + s. Suppose 5*g - 38 = -j*q, 3*q - 4*q + 4*g = -24. Is 16 a factor of q?
True
Is 60 a factor of (3 - -2) + (597 - (-6)/(-3))?
True
Suppose -k - 2*k + 984 = 0. Does 25 divide k?
False
Let r(z) = -z**2 - 21*z + 41. Let h be r(-21). Suppose 5*m = 4*a - 17, 4*a + 3*m + 0*m = h. Is 8 a factor of a?
True
Suppose 0 = 321*z - 296*z - 9025. Is 79 a factor of z?
False
Let v(p) = -p**3 - 20*p**2 - 19*p + 4. Let b be v(-19). Suppose 0 = -b*f + 2*q + 854, q = -2*f + 6*q + 439. Does 10 divide f?
False
Suppose -2966 = -5*m + x, -x = m + 36 - 628. Is m a multiple of 28?
False
Let a = -97 + 130. Is a a multiple of 6?
False
Let d be 4581/18 + (-6)/(-4). Suppose 0 = 5*c - d + 31. Is c a multiple of 20?
False
Let n be -3 + (11 - (4 - -2)). Let t(x) = -x**3 + 6*x**2 - 5*x + 5. Let r be t(5). Let i = r - n. Is 2 a factor of i?
False
Is 28 a factor of (5098/10)/(118/590)?
False
Let b be -4 + 0 + 2 - -152. Suppose 2*k - 2*u = b, 0 = 4*k - 5*k - 5*u + 51. Is k a multiple of 11?
False
Let p = 1033 - 637. Is p a multiple of 22?
True
Suppose 5*g = 4*w + 213 + 245, 3*g - 5*w = 280. Suppose 0 = -4*j + z + 188, -28 = j - 4*z - g. Is 8 a factor of j?
False
Suppose y - 1308 = -3*m, 3*m = -y - y + 2616. Does 10 divide y?
False
Suppose 3*t - 26 = 523. Suppose r = -2*z + 131, 4*z - 2*r - 75 = t. Is 16 a factor of z?
False
Suppose -5*n - 10*n + 30 = 0. Suppose -3*t = i - 105, -t + 115 = n*i - i. Is i a multiple of 12?
True
Let g(h) = -4*h**3 + 33*h**2 - 8*h - 5. Is g(5) a multiple of 14?
True
Suppose 0*j = 4*j - 336. Suppose 8*h - j = 7*h. Is h a multiple of 28?
True
Suppose -c - 3 + 6 = 0. Suppose -5*q = -3*f + 136, q + 45 = c*f - 71. Is f a multiple of 34?
False
Suppose -17*z + 15250 = -12052. Does 22 divide z?
True
Suppose 51*u - 400 = 43*u. Is 10 a factor of u?
True
Let o be (7 + 1)*3/6. Suppose o*h + 4 = -2*s, 4*h + h = -4*s - 17. Does 4 divide (-795)/(-60) + 2/s?
False
Does 36 divide 146/(-6)*(-4)/(28/21)?
False
Let s(d) = 2*d - 4. Let o be s(-2). Let r = o + 6. Does 14 divide (-3)/(r - 50/(-28))?
True
Let q(x) = x**3 + 12*x**2 + 4. Let v be q(-12). Suppose 5*z - a = 22, v*z - a + 2 = 5*z. Suppose -z = -3*y + 35. Is y a multiple of 10?
False
Let w(v) = v**2 + 9*v - 6. Let p be w(-10). Let b = 3 - p. Is 5 a factor of 86/6 + b/3?
False
Suppose 30 = -x + 106. Is x a multiple of 10?
False
Suppose -3*w = -32*n + 28*n + 63, -1 = 2*n + 5*w. Is n even?
True
Suppose 225*g = 227*g - 2*b - 6128, -2*g = -3*b - 6126. Is g a multiple of 14?
True
Does 32 divide -2*(434/(-4) - -7)?
False
Let t = 43 - 76. Let m = t - -215. Is m a multiple of 13?
True
Let j = 12 - 12. Let v be j/((0 - 3)/(-3)). Suppose -5*a - 25 = v, a = k + 2*a - 86. Does 18 divide k?
False
Suppose -6*f - 15 = -3*f, 3*l - 4*f = 2951. Is 16 a factor of l?
False
Suppose -19*g = -7857 + 1473. Is 21 a factor of g?
True
Let i = 1815 - -355. Does 19 divide i?
False
Let p be (0 - (-28)/(-32)) + (-1)/8. Does 10 divide p/((-1)/150*2)?
False
Let a(n) = -2*n**2 - 125*n - 40. Does 11 divide a(-50)?
True
Let p = -2122 + 2878. Is p a multiple of 12?
True
Suppose -b + 8 = 5*t - 2*b, 2*t = 5*b - 6. Let n(q) = 33*q - 1. Let s(r) = -16*r + 1. Let j(u) = 3*n(u) + 5*s(u). Is j(t) a multiple of 19?
False
Let v(b) = 4*b**2 - 6*b + 8. Let q be v(-6). Suppose 5*p + q = 3*s, -3*s + 3*p = -7*s + 241. Is 9 a factor of s?
False
Suppose -1025 = -15*z + 325. Is z a multiple of 3?
True
Let u be (-42)/(-14) + 100/(-1). Let b = -175 - u. Let k = 109 + b. Is 13 a factor of k?
False
Suppose 348 = 5*y - y. Suppose 2*h - 5 = -y. Let l = -20 - h. Does 21 divide l?
True
Let c be 3/(4 + (-377)/95). Suppose 4*x - 359 = -4*m - c, 4 = -x. Is m a multiple of 14?
True
Let v = 52 - -37. Let c = v + 1. Is c a multiple of 9?
True
Let n = 388 - -811. Is 11 a factor of n?
True
Let z(w) = -w**2 + 9*w - 5. Let t = -10 + 12. Let c be (-7)/(t*1/(-2)). Does 9 divide z(c)?
True
Let o(h) = -h**2 + 14*h - 33. Let j be o(11). Let t = j - -26. Is t a multiple of 26?
True
Suppose -5*t - 4*q + 888 = 0, 4*q + 56 + 288 = 2*t. Does 44 divide t?
True
Suppose 2*y - 5*q + 33 + 36 = 0, 4*y = 4*q - 108. Let v = 42 + -79. Let f = y - v. Is f a multiple of 4?
False
Suppose -d + 3*d = 6. Let u = -56 - -50. Is ((-27)/u - d)*4 even?
True
Let j(u) = u**2 - 8*u + 7. Suppose -4*k - 20 = -0*k, -4*k - 65 = -5*y. Does 8 divide j(y)?
True
Let d(q) = -q**3 - 2*q**2 + 14. Let o be d(0). Suppose 8 = o*f - 13*f. Is f a multiple of 8?
True
Let p be (-3 + -2 - -4)*-71. Let z = -39 + p. Is 18 a factor of z?
False
Let x = -271 - -846. Is 25 a factor of x?
True
Let v be (-1 - -5)/(-5 + 374/74). Suppose 270 - v = 4*g. Does 7 divide g?
True
Let f = -12 - -16. Let b be (0 + 6)/(f/16). Let m = b + -17. Is m a multiple of 3?
False
Suppose -3*b = j - 1191 - 55, 1247 = 3*b + 2*j. Is 65 a factor of b?
False
Let n(o) = -3*o**3 + 3*o**2. Let i be n(2). Is 19 a factor of (((-304)/(-6))/(-2))/(4/i)?
True
Let b(y) = -111*y**3 + 7*y - 1. Let h(q) = 167*q**3 - 11*q + 2. Let p(k) = 8*b(k) + 5*h(k). Is 18 a factor of p(-1)?
True
Suppose 8*l - 2466 = 2430. Is 51 a factor of l?
True
Does 14 divide (-8 - -44)*(-150)/(-24)?
False
Does 54 divide ((2751/6)/(-7))/((-4)/8)?
False
Suppose 6*l = 4*p + l - 699, 177 = p + l. Suppose 0 = -43*k + 39*k + p. Is 9 a factor of k?
False
Suppose 3*l = 5*i - 189, -126 = l + l + i. Let w = l + 26. Let p = w + 88. Does 15 divide p?
False
Suppose -18*w - 23892 = -40*w. Is w a multiple of 29?
False
Let f(j) = -j**3 + 11*j**2 - 9*j - 10. Let l be f(10). Suppose l = 2*i + 3*i - 15. Suppose -i*d + c + 148 = -c, 2*d - 117 = 5*c. Does 24 divide d?
False
Let y(d) = d**3 - 23*d**2 + 46*d + 10. Let i be y(21). Let x = 118 - i. Is 19 a factor of x?
False
Suppose -3*g - 103 = -w - 343, 2*g + 230 = -w. Let s = w - -355. Does 34 divide s?
False
Let c(m) = -m**2 + 4*m + 1. Let h be c(3). Suppose -h*t + 7 = -3*t + 3*j, -5*t = -4*j - 16. Let n(y) = 7*y**2 + 6*y - 8. Does 32 divide n(t)?
True
Let o = 22 - -7. Let z = o + 12. Suppose 2*t - 29 - z = -4*v, -3*v - 5*t + 42 = 0. Is 19 a factor of v?
True
Suppose -12*g - 506 = -3494. Is g a multiple of 2?
False
Let g = 964 + -413. Is g a multiple of 13?
False
Let f(q) = 20*q - 271. Is f(16) a multiple of 8?
False
Suppose -25*c + 14*c + 671 = 0. Is 13 a factor of c?
False
Suppose 5*o + 0*i = i + 828, 0 = -3*i - 9. Suppose -4*z + o + 141 = 3*j, -367 = -5*z + 4*j. Is z a multiple of 15?
True
Let k(o) = -o**3 - 3*o**2 + o + 3. Let n be (-10)/4*(-30)/(-25). Let t be k(n). Suppose 8*a - 4*a - 92 = t. Does 21 divide a?
False
Suppose -3*n + 2 = -10. Suppose -5*p - 5*q + 1429 = -491, -1918 = -5*p - n*q. Suppose 4*v - 78 = p. Is 32 a factor of v?
False
Suppose -5*t - u - 2 = 0, -3*t - u + 3*u + 4 = 0. Let z be 0/(-16) - (-6 - t). Suppose 0 = 7*o - z*o - 17. Does 5 divide o?
False
Suppose -5*u + x + 82 = -63, 5*x = 3*u - 87. Let g = 36 - u. Does 7 divide g?
True
Suppose -4*x = 2*f - 366, 77 = x + f - 14. Does 9 divide -8 + 4 + x + 3?
False
Does 16 divide (-58)/((90/(-135))/(16/3))?
True
Let n(o) = 4*o**2 + 2*o - 1. Let t be n(1). Suppose -2*c + 546 = t*c. Is c a multiple of 6?
True
Let c(h) = -h + 8. Suppose 5*t + v + 17 = 0, -v = -t - 3*t - 10. Let i be c(t). Let u = i - -1. Does 3 divide u?
True
Let q be 677 + 8 - 1/(-1). Suppose -4*v = -q - 174. Is v a multiple of 16?
False
Let r(b) = 15*b**3 + 8*b**2 + 17*b - 97. Is r(5) a multiple of 43?
False
Let r = 4202 + -2544. Does 41 divide r?
False
Suppose -2*r - 3*r = 0. Let w be 3/(2 + 0 + (-1)/1). Suppose r = -w*s + 11 + 109. Does 20 divide s?
True
Suppose s - 26 = -11. Let j = s + -12. Does 22 divide 69 + (-1)/1 + j?
False
Let w = 4 + 65. Let o(k) = 6*k**2 - 1. Let c be o(1). Suppose w = c*y - 61. Is y a multiple of 13?
True
Suppose 5*f = 100 + 75. Suppose -4*b - 141 = f. Let g = b + 83. Is 12 a factor of g?
False
Suppose -7*y + 28 = 7*y. Suppose 0 = 5*n - y*w - 381, n + 0*w = w + 78. Does 17 divide n?
False
Suppose 0 = -3*p - 6*t + t + 1149, -4*t + 768 = 2*p. Is p a multiple of 36?
False
Let i(g) = 7*g + 214. Is i(-14) a multiple of 29?
True
Let o be 13/26*4/1. Does 5 divide (-9)/(9/o) + 14?
False
Is 28 a factor of 2/(4/10) - 7728/(-112)?
False
Suppose -4*a - 200 = 3*y - 1577, -919 = -2*y - 3*a. Is y a 