lse
Let v(j) = -305*j + 2992. Is v(6) a multiple of 12?
False
Let y be (2 + (-6)/(-24))*8/6. Suppose 0 = -y*r - 6, -3*a + 672 - 55 = 2*r. Does 27 divide a?
False
Let k(q) = 7*q**2 + 5*q + 54. Let s be k(-7). Suppose 2*o - 810 = 5*y - 2614, y - o - s = 0. Does 5 divide y?
True
Suppose 7*n - 13*n - 36 = 0. Is 6/(n/(-239)) - 5 a multiple of 26?
True
Let p = -3514 + 5974. Is 6 a factor of p?
True
Let g(x) be the first derivative of -4*x**2 - 12*x - 19. Let p be g(2). Does 4 divide 1*(-7)/(p/88)?
False
Let x = 16239 + -13275. Is x a multiple of 52?
True
Suppose 4*c - 6 = c. Suppose 4*r + 5*a - 2767 = c*a, 4*r - 2772 = -4*a. Suppose -5*z - 5*s + 875 = 0, 2*z = -2*z + 2*s + r. Is 53 a factor of z?
False
Let o(j) = 740*j**2 - 164*j - 328. Does 21 divide o(-2)?
False
Let y = -2066 - -7858. Is y a multiple of 16?
True
Let w be (-20)/6*1*18/(-10). Suppose -w*g + 3*g = 153. Let i = g - -90. Is i a multiple of 13?
True
Suppose 5*f - 4*d = 0, -4*d = -d + 15. Let z be ((-12)/f)/(-3) + -4. Let v = z - -47. Is v a multiple of 6?
True
Suppose 143*w = 150*w - 24360. Suppose -w = 16*k - 18*k. Is 111 a factor of k?
False
Let d(g) = g**3 - 10*g**2 + g - 6. Suppose f + 6 = 3*f, -3*p = -2*f - 24. Let v be d(p). Suppose j - 2*u = 204 - 2, -5*u = -v*j + 805. Is 40 a factor of j?
True
Is (-2)/(-8)*-12 - 4/4 - -542 a multiple of 6?
False
Suppose 0 = -275*g + 298*g - 104788. Does 7 divide g?
False
Is 40 a factor of (350 + 0)/((3 - -2) + (-114)/24)?
True
Let y(w) = -1345*w + 492. Is 29 a factor of y(-8)?
True
Let f = -181 - -229. Let s = f - -53. Is s a multiple of 4?
False
Let b be (27 + 0 - 1) + 2. Suppose 0 = -b*s + 24*s + 436. Suppose 105*t + 324 = s*t. Is t a multiple of 9?
True
Is 57 a factor of 6793/6*(94 - 103)*2*-1?
False
Let t = -1841 - -3432. Let x = t - 931. Is x a multiple of 10?
True
Is (78 + -283)/(1/(-333)) a multiple of 17?
False
Does 10 divide 190114/209 - (6/3 - 6)/11?
True
Let n(p) = 159*p**2 + 38*p + 432. Does 25 divide n(-9)?
False
Suppose 14*x = 8609 - 2513 + 4964. Is x a multiple of 79?
True
Let z = -18925 - -61629. Is 34 a factor of z?
True
Let m = 324 + -218. Let g = m + 25. Does 17 divide g?
False
Suppose 0 = -5*k + v - 282, 233 = -5*k + 4*v - 55. Is 25 + -22 + k/(-2) a multiple of 4?
False
Let n(a) = a**2 - 17*a - 5. Let j be n(17). Let s(d) = -12*d - 4. Let l be s(j). Suppose -61*r + 370 = -l*r. Is r a multiple of 37?
True
Suppose 5*n - 1415 = -5*t, -3*n + t + 0*t = -869. Let a = n + -224. Is a even?
True
Does 77 divide (-3086 - 37)*(-56)/24?
False
Let w = -2042 - -2260. Let t be 78/(2/6*-2). Let h = t + w. Is h a multiple of 5?
False
Let q(h) = h**2 + 2*h + 12. Let t = 50 - 13. Suppose 37 = g + t. Does 3 divide q(g)?
True
Let x be 10/6*3 - 2. Suppose 28 = -2*j + 14. Is 16 a factor of ((j - -3) + x)*(-20 - 3)?
False
Suppose 95 = 29*r - 4139. Does 13 divide (-7 - 1*(-1 - 3)) + r?
True
Suppose 390 = -35*q + 30*q. Let m = q - -107. Is 2 a factor of m?
False
Let k be 2 + -6*-1*(-4)/12. Suppose -42*y + 27*y + 4740 = k. Does 10 divide y?
False
Let i(z) = z + 16. Let s be i(-24). Is 12 a factor of (60*-22)/s - (-1)/1?
False
Suppose 11*x - 8*x = 12. Let m(g) = -g**3 + 2*g**2 + 11*g + 3. Let d be m(x). Let t(h) = 5*h - 11. Is 7 a factor of t(d)?
False
Let m = 13 + 82. Let b = -6 + m. Suppose -g - 15 = -4*p - b, 4*g = 4*p + 344. Is g a multiple of 21?
False
Suppose -335*m = -367*m + 599040. Is m a multiple of 9?
True
Let m be 2*-14*4/(-8). Suppose -m*h = -16*h + 80. Let q = h - 14. Is 14 a factor of q?
False
Suppose 5*r - 60078 = -g, 4*r - 8*g = -7*g + 48066. Does 23 divide r?
False
Suppose 2*w + 722 = 966. Suppose -m - w = -r - 2*m, 2*m + 134 = r. Does 7 divide r?
True
Let t(w) = 5*w - w - 3*w. Let l be t(0). Is 22 a factor of 2 - 0 - (l - 86)?
True
Let w = 2609 + -1391. Let b = w + -367. Is b a multiple of 9?
False
Is 8 a factor of (-20328)/(-99)*150/4?
False
Let m = 17388 + 9159. Does 39 divide m?
False
Let h be (24/9 - 2)*-15. Does 5 divide (-1652)/h - (-27)/(-135)?
True
Suppose -25*l + 44064 = -63261. Does 53 divide l?
True
Let q be 124/2 - (-8 - -10). Let m be 2/(-15) - (66836/q)/(-7). Suppose -161 - m = -4*i. Is i a multiple of 10?
True
Suppose 0 = 3*i - 2*q - 1511, i = 3*q + 298 + 222. Does 4 divide i?
False
Does 14 divide -444*(-5 + (4 - 102/18) - 5)?
True
Let x = 1649 - 2367. Let u = 1030 + x. Does 14 divide u?
False
Suppose 0 = v + 53 - 55. Suppose 0 = -h, 6*h + 2015 = 5*o + v*h. Is o a multiple of 31?
True
Let l(s) = -38*s**3 + 4*s**2 + s + 10. Does 4 divide l(-3)?
False
Let p = -21 + 24. Is p/15 + 14396/60*3 a multiple of 10?
True
Let n = 56 + -51. Let c(p) = p**3 - 3*p**2 - 6*p + 8. Let b be c(n). Let g = -6 + b. Does 10 divide g?
False
Let b be 2/9 + (-332)/36. Let t(h) = 2*h**2 + 19*h + 1. Let x be t(b). Does 6 divide 126/x*(-4)/3?
False
Let t = 4862 + -374. Is 33 a factor of t?
True
Does 16 divide 5615/35 - 9/(-42)*-2?
True
Suppose -m + 58 = b, 3*m - 5*b = 128 + 62. Does 10 divide m?
True
Let n(z) = z**3 - z**2 + z + 1. Let m(a) = -a**3 - 6*a**2 - 7*a + 42. Let u(q) = m(q) + 4*n(q). Is u(8) a multiple of 54?
True
Suppose 2*d + 4*x = 2, 2*d + 27 = 5*d - 2*x. Let s = 80 - d. Does 14 divide s?
False
Let a(s) = 218*s**3 - 3*s**2 - 5*s - 17. Is 66 a factor of a(4)?
False
Let t(r) = -10*r - 8. Let i(j) be the first derivative of -j**2/2 + 11. Let o be i(12). Is t(o) a multiple of 16?
True
Let a = 107451 + 210251. Is a/539 - 4/(-7) a multiple of 59?
True
Suppose 61 = 4*v - 3. Let l(i) = v + 82*i + 22*i - 17 - 23*i. Is 16 a factor of l(1)?
True
Let z = 130 + -120. Let n be -1*(3 + -140) - -1. Suppose n = z*w - 82. Is w a multiple of 22?
True
Let y(d) = d**2 - 21*d + 4. Let j be y(21). Suppose k - 2*c = 5*k - 4696, 0 = -4*k + j*c + 4696. Is k a multiple of 79?
False
Let g(m) = 5*m**3 - m**2 - m - 12. Let p be g(-3). Let n = 165 + p. Is n even?
True
Suppose -5*t = 3*w - 437, 5*t + 2*w - 3*w = 441. Suppose 4*x = 4*f + 136, 3*f + t + 49 = 4*x. Suppose 0 = -3*z + 413 - x. Does 30 divide z?
False
Suppose 590 = 4*g + 66. Suppose -157 = f + 6. Let u = g - f. Is u a multiple of 49?
True
Does 10 divide (5544/240 - 23) + (-315398)/(-20)?
True
Suppose o = -5, -2*i - 36*o + 39*o = -2019. Is 6 a factor of i?
True
Let y = 15199 + 2216. Is y a multiple of 45?
True
Let r = 40605 - 28446. Is r a multiple of 89?
False
Is 115 a factor of (7 - 22/11)*1679?
True
Let z(x) = -x**2 - 5*x. Let g be z(-4). Suppose l = 3*v - 4*v + 427, g*l = -2*v + 1704. Let y = 615 - l. Is y a multiple of 18?
False
Let t = -1107 - -615. Let y = -132 - t. Is 30 a factor of y?
True
Let m be (-6)/2 - (-2 + (-3 - -4)). Let t be ((-9)/4)/(m/8). Suppose t*y = 11*y - 14. Is y a multiple of 3?
False
Let t(m) = 1. Let r(o) = -14*o + 6. Let l(n) = -r(n) + 3*t(n). Let s be l(-7). Let y = 239 + s. Is y a multiple of 23?
True
Let l(w) = 2*w**2 + 1. Let j(g) = g**2 + 14*g + 15. Let c be j(-6). Let t = 34 + c. Is l(t) a multiple of 3?
True
Let l(u) = 4*u - 35 + 89 - 26 - 23. Let j be l(-2). Is (-3)/3 - j/((-3)/(-61)) a multiple of 6?
True
Let v be (4 - 4/8)*(-24)/(-21). Suppose v*s - 297 = -2*c - 37, -6 = -3*c. Suppose 3*f = -3*t + 62 + s, t - 4*f = 57. Does 30 divide t?
False
Let l(w) = 4*w**3 - 3*w**2 + 11*w - 2. Let r(v) = -v**3 - v**2 - v - 1. Suppose 2 = -4*k + 6. Let q(s) = k*l(s) + 3*r(s). Is q(5) a multiple of 5?
True
Suppose 51*y = -69*y + 95*y + 660375. Is 117 a factor of y?
False
Suppose 7*b = 4031 + 8793. Suppose 4*m = 4*t + b, 9*m + t = 4*m + 2314. Is 33 a factor of m?
True
Let k(l) = 238*l + 519. Does 114 divide k(31)?
False
Let n = 161 - 156. Suppose -5*f + 925 + 4528 = -2*v, -n*v - 20 = 0. Is 68 a factor of f?
False
Let f = 5384 + -3434. Is f a multiple of 10?
True
Suppose -2405 = 32*t - 33*t - 5*g, 2*g = 10. Is t a multiple of 58?
False
Let p = 34 - 28. Suppose p = -5*v + 16. Suppose 2*w - 52 = 5*a, a + 24 = w - v*a. Does 15 divide w?
False
Suppose -25542 = -5*d + 97*b - 94*b, -3*b - 20433 = -4*d. Is d a multiple of 13?
True
Let l(g) = 11*g**2 + 7*g + 9. Let f(z) be the first derivative of -z**3/3 + z**2/2 - z - 12. Let n(p) = 4*f(p) + l(p). Does 17 divide n(-4)?
False
Let o = -385 - -385. Suppose -v - 232 = -t, 3*v + 0 + 3 = o. Does 7 divide t?
True
Suppose -x = -3*t - 3233, 0 = -4*x + 2*x - 3*t + 6502. Suppose -80*i = -69*i - x. Does 9 divide i?
False
Let z(m) = 25*m - 7. Let r b