lse
Let i(n) = -n + 15. Is 2 a factor of i(-8)?
False
Let o = 153 + -58. Is 25 a factor of o?
False
Suppose 0 = 4*v + 3*n + 2 - 122, 30 = v + 2*n. Is 5 a factor of v?
True
Let c be 3/((6/(-32))/(-1)). Suppose 2*h - 2*v = c, -2*v = 3*h - 8*h + 28. Does 3 divide h?
False
Let f(h) be the second derivative of -2*h**3/3 - 7*h**2/2 + 5*h. Is f(-11) a multiple of 8?
False
Suppose -13 + 1 = 4*t. Let i be t/(((-15)/4)/5). Is 7 a factor of (18/i)/((-1)/(-4))?
False
Let a = 2 + 5. Suppose -5*b = -a*b + 5*h + 65, -3*h = 5*b - 209. Is b a multiple of 10?
True
Suppose 10 - 2 = 2*c. Suppose -2*n + c + 4 = 0. Is n a multiple of 2?
True
Suppose 2 = r - q, -5*r + 3*r = -q - 5. Suppose r*o + 36 = -4*s - 1, 3*s = -12. Does 5 divide (-79)/o + 2/(-7)?
False
Suppose -19*y = -27*y. Let q(a) = -a**2 - a + 1. Let v(f) = -f**3 - 5*f**2 - 5*f + 2. Let j(l) = 6*q(l) - v(l). Does 4 divide j(y)?
True
Let s(l) = -l**2 - 6*l - 6. Let v be s(-4). Let x be (-4)/1 - -1*v. Is 10 a factor of x/(-3) + 28/3?
True
Suppose -3*a + 2*a = -2. Is 28 a factor of a/3 - 94/(-3)?
False
Let q = -4 - -7. Let o be 172/12 - (-2)/q. Let h = 25 - o. Is 5 a factor of h?
True
Let p = 30 + 18. Is 17 a factor of p?
False
Let t be 3/18 - 309/18. Suppose -4*n - 3*l + 29 = -89, -5*n - 5*l + 150 = 0. Let b = n + t. Is 11 a factor of b?
True
Let l(w) = -w**2 + 9*w - 9. Let z be l(7). Suppose -m + z*m - 16 = 0. Is (-26)/(-10) - m/(-10) even?
False
Let w be -3 - -9 - 1*3. Suppose -w*q - 4*o + 15 = 2*q, -2*o - 24 = -2*q. Is q a multiple of 7?
True
Let z be 2*(-1)/(2/(-6)). Let h(k) = -z - 4*k + 3*k - 2*k. Is h(-4) a multiple of 3?
True
Let k(t) = -28*t. Let u be k(-2). Suppose 0 = -5*w - x + u, -w + 24 = -0*x - 3*x. Is w a multiple of 12?
True
Let c(l) = 20*l + 1. Suppose 0 = -4*b + p + 5, 0*b = -2*b + p + 1. Does 20 divide c(b)?
False
Let y(h) = 3*h**2 + 7*h - 10. Does 25 divide y(5)?
True
Let q be 2/((-204)/(-99) - 2). Is 1 + q/(-3)*-1 a multiple of 6?
True
Let m(d) = -d**3 + d**2 + 31. Let i be (-6)/(-27) - 6/27. Is 8 a factor of m(i)?
False
Let n be 4/3*11*6. Suppose -5*o + 3*l + n = 0, l - 24 = -2*o + o. Is o a multiple of 11?
False
Suppose 4 - 1 = 3*i. Suppose -7 = -3*r - i. Suppose r*m = y - 31, 4*m + 64 - 191 = -5*y. Is y a multiple of 10?
False
Let u be (-4)/(24/(-15))*218. Is 11 a factor of (-2)/(-10) + u/25?
True
Suppose t - 19 = 13. Does 12 divide t?
False
Let f = -66 - -39. Let n = f - -15. Does 6 divide (18/12)/((-2)/n)?
False
Is 12 a factor of ((-3 - 19) + -2)*(-6)/12?
True
Suppose 0 = -a - 3*w - 9, a + 10 = -w - 1. Let r = -2 - a. Suppose 2*c = 4*i - r, i - 25 = -4*c - 0*i. Does 5 divide c?
True
Suppose 1104 = -4*x - 4*k, 4*x + 0*x = -k - 1104. Is 9 a factor of x/(-15) - (-2)/(-5)?
True
Suppose -3*p = -d - 41, -d = -4*p - 0*d + 53. Let s be (-4 + 2)*-1 + p. Suppose 0 = -m - 0*m - 3*g + s, 0 = -5*m - 3*g + 82. Does 14 divide m?
False
Suppose 3*i + 0*i + 30 = 3*l, 0 = -3*i + 5*l - 22. Let d = i + 6. Let w = 25 + d. Is w a multiple of 9?
False
Suppose 3*z + 18 = 6, x = -5*z + 5. Is 14 a factor of x?
False
Suppose 0 = 2*f + 5*u - 105, -2*u = -6*f + f + 306. Is 15 a factor of f?
True
Does 52 divide -2 - (30/10)/(2/(-146))?
False
Let d(b) = -b - 1. Is 6 a factor of d(-9)?
False
Let m = 301 + -215. Is m a multiple of 11?
False
Suppose -369 = -2*q + 95. Is 29 a factor of q?
True
Suppose 0 = 5*k - 190 - 90. Does 14 divide k?
True
Let z = 21 - 8. Suppose 0 = -l - 4*p + 22, -p - z = l - 4*p. Suppose 3*v + y - 19 = l*v, v - 4*y = 34. Does 14 divide v?
False
Suppose 0 = -7*x + 2*x + 60. Let s = x + -4. Does 2 divide s?
True
Is 14 a factor of 2*1/(-2) - -44?
False
Let a be (-14)/4*(-60)/21. Suppose 3*o + 1 = a. Suppose 135 = o*r - 0*r. Is r a multiple of 15?
True
Suppose -2*z + 122 = 5*c, -7 = 3*c + 5. Does 15 divide z?
False
Suppose 2*y - 16 = -0. Suppose 3*i = y*i + 150. Is 14 a factor of 1/(-5) - 426/i?
True
Let j = 16 - 10. Let i be 69/1*j/9. Suppose z = -z + i. Is 16 a factor of z?
False
Let r = 156 + -84. Is r a multiple of 18?
True
Suppose -36 = i + 2*i. Let x(j) = -j**2 - 13*j - 8. Is x(i) even?
True
Let g = 79 - -5. Does 12 divide g?
True
Let b(m) = m**3 - 6*m**2 + 3*m + 6. Let q be b(5). Is (q - -5)*(43 + 0) a multiple of 14?
False
Suppose l + 12 = 5*l. Suppose -9 = -l*m - 3. Suppose -m*h + 1 = -9. Is h a multiple of 5?
True
Suppose 4*q - 16 = 2*q. Is q a multiple of 8?
True
Suppose -10*a + 1032 = -2*a. Is a a multiple of 15?
False
Let s(g) = 2*g**2 - 4*g + 5. Let d be s(-5). Let l = -3 - -12. Suppose -4*o + l*o - d = 0. Is 11 a factor of o?
False
Let s(q) = -q**2 - q + 9. Let x be s(0). Suppose -r - 4*y - 7 = 0, -r + 5*y + x = y. Let f(l) = 9*l**2 - 1. Does 4 divide f(r)?
True
Let t(a) be the second derivative of a**4/12 - a**3/3 - 7*a**2/2 - 5*a. Is 21 a factor of t(-7)?
False
Suppose 0 = 5*l - 5*d - 1575, 2*l - 624 = -3*d + 11. Does 27 divide l?
False
Let j = -42 + 70. Is j a multiple of 7?
True
Let y = 7 - -2. Suppose -6*x + y = -3*x. Is x even?
False
Let p = 35 + -4. Does 10 divide p?
False
Let r = -8 - -15. Suppose -63 = -r*z + 4*z. Is 7 a factor of z?
True
Is 19 a factor of -4 + (-400)/(25/(-5))?
True
Suppose l = 2*l. Let i = l - -4. Is 30/i - 3/6 a multiple of 6?
False
Suppose -2*d = 4*c - 166, 2*c + 111 = 3*d - 130. Does 9 divide d?
True
Suppose -8 = -4*g + 12. Suppose g*u = 136 + 14. Is u a multiple of 13?
False
Suppose -5*l - 2 = -2*v, -6*l - 2*v - 18 = -l. Let d = 7 + l. Let c(z) = -z**2 + 7*z - 7. Is c(d) a multiple of 3?
True
Let q be (-1)/4*-2*0. Suppose q = -3*c + 5*c - 156. Is 26 a factor of c?
True
Let m = 65 - 33. Suppose -2*v + 3*v - m = 0. Does 15 divide v?
False
Suppose 0 = 8*v - 454 - 50. Is v a multiple of 9?
True
Suppose 2*i - 34 - 12 = -2*j, -4*j - 70 = -5*i. Is i a multiple of 4?
False
Suppose -5*t + 451 = -214. Suppose 91 = 3*c - 4*i, 4*c - 2*i = i + t. Does 24 divide c?
False
Let c(u) = -u**3 - 7*u**2 - 5*u + 8. Let x be c(-6). Suppose -20 = -3*b + x*b. Is 20 a factor of b?
True
Let c(l) = -l**3 + l**2 + l + 18. Let z be c(0). Suppose -4*n + z = -3*n. Does 9 divide n?
True
Let c(z) = -23*z + 7. Is 14 a factor of c(-6)?
False
Is 1*(-2)/(-2) + 63 + -10 a multiple of 12?
False
Let w be 10*2/5*-1. Does 6 divide (-1)/w + (-93)/(-12)?
False
Suppose -3*q + 2*q - 5 = 0. Let j = q - -14. Does 9 divide j?
True
Let c(p) = -p**3 + 6*p**2 - 5*p + 6. Suppose -14 = -2*k + x, 3*k - 36 = -k + 4*x. Is 5 a factor of c(k)?
False
Let a(q) = -q + 4. Suppose 2*l + 12 = -5*s, 0 = 4*s - 3*l + 7 - 2. Is a(s) a multiple of 3?
True
Suppose -4*i + 28 = 4. Suppose -i = -3*q, 4*l - q + 2 - 32 = 0. Does 2 divide l?
True
Let b be (3 - 1 - 0) + 176. Suppose 82 = 5*l - b. Is 21 a factor of l?
False
Suppose -o - 1 = 5. Let y be (-95)/2 + o/(-4). Let q = y - -77. Is q a multiple of 11?
False
Let d = 132 - 96. Is d a multiple of 14?
False
Suppose 56 = y - 4*g, 143 = 5*y + 2*g - 203. Is 20 a factor of y?
False
Let f(r) = -r. Let i be f(-6). Let u = i + -4. Let n = u + 9. Is n a multiple of 11?
True
Does 8 divide (87 + 3)*(0 - (-4 - -3))?
False
Suppose 0*w - 5*w = 170. Let l = w - -13. Does 18 divide (-134)/(-3) + (-7)/l?
False
Let u(d) = d**3 + 2*d**2 + 3. Is u(3) a multiple of 12?
True
Let w = -107 + 166. Is 14 a factor of w?
False
Let d = -5 - -10. Suppose -2*j + j - 20 = -5*h, 20 = d*h + 3*j. Let a(z) = 2*z + 3. Does 11 divide a(h)?
True
Let g(u) = -4 + 3*u - 1 + 2*u**3 - 4*u**2 - 2*u. Let h be g(4). Suppose -4*v - h = -5*o, -o - 27 = -3*o + v. Does 15 divide o?
True
Does 10 divide 223*2/8 + 19/76?
False
Let g(f) = 6*f**2 + f**3 + 2 - 1 + 4*f + 4 + f. Is 5 a factor of g(-5)?
True
Suppose 101 - 20 = 3*m. Is 7 a factor of m?
False
Let m = -26 - -61. Let f be (-14)/m + (-2)/(-5). Suppose f = g - 25 - 10. Is 22 a factor of g?
False
Let w(n) = 3*n + 6. Let q be (0 + (-8)/3)*-3. Let t = q - 3. Is 16 a factor of w(t)?
False
Let b = -1 + -1. Let r be (11 - 1)*b/5. Is ((-6)/r)/((-15)/(-40)) a multiple of 3?
False
Does 20 divide (2 - (-56)/20)*25/2?
True
Suppose -i + 1 = i - 3*n, i - 2*n = 3. Let r = 10 + i. Is 3 a factor of r?
True
Let a(s) = -2*s - 8. Let m be a(-5). Is 6 a factor of (m/(-6))/((-2)/36)?
True
Let g = 50 + -19. Does 17 divide g?
False
Suppose 0 = -4*b + 5*x + 464, -7*x = -b - 3*x + 105. Is b a multiple of 11?
True
Let r(x) = 0*x - x + 2*x - 8 + 2*x. Is 14 a factor of r(8)?
False
Let f(y) = -12