lse
Let p(h) = 3*h**2 - 15*h + 6. Is 12 a factor of p(7)?
True
Let f = -9 - -18. Is f a multiple of 9?
True
Let b(v) = -v**2 + 15*v + 18. Let q(l) = l + 1. Let z(f) = b(f) - 5*q(f). Is z(9) a multiple of 6?
False
Let y = 4 - -9. Suppose -r - 2*v = y, -2*r - 5*v = -12 + 41. Let f = 18 + r. Is 11 a factor of f?
True
Suppose 3*g + s - 25 - 7 = 0, 2*g = -2*s + 24. Is g a multiple of 10?
True
Suppose 2*s + 5 = 11. Is 2 a factor of s?
False
Suppose 0 = -3*x + 4*o + 28, 3*x - x + 5*o = 11. Let a(g) be the second derivative of g**5/20 - 2*g**4/3 + 3*g**2 - 2*g. Does 6 divide a(x)?
True
Let l(c) = -6*c**3 + c. Let b be l(-1). Suppose b*m - 3*v = 78, 0*v - 44 = -2*m - 2*v. Does 18 divide m?
True
Let j = 25 + 11. Let u = -10 + j. Is 23 a factor of u?
False
Let q = 6 - 4. Suppose 3*y + 2 = -5*z, -q*z + 5*y = -31 + 7. Is z even?
True
Suppose -4*o = -55 - 41. Is o a multiple of 12?
True
Suppose 4*i - 2*x + x - 10 = 0, 4 = 3*i + x. Suppose -i*j + 0 = 30. Does 13 divide 10/j - (-82)/6?
True
Let z(r) = r**3 - 3*r**2 - 3*r - 2. Let d be z(4). Suppose d*v - 3*g = 93, -2*g - 2*g = 5*v - 267. Does 15 divide v?
False
Suppose -4 = 3*h - 22. Suppose -8*o = -h*o - 2. Does 9 divide o/(-7) + 840/49?
False
Let a = 85 - 37. Is 16 a factor of a?
True
Suppose 3*u + 2*u - 285 = 0. Does 16 divide u?
False
Suppose 19 = 5*z + 4. Let n = z + -1. Suppose 0 = -n*v - 2*v + 68. Is v a multiple of 12?
False
Let k(s) = 22*s + 6. Does 23 divide k(7)?
False
Let m(z) = -98*z + 14. Is 21 a factor of m(-5)?
True
Suppose -4*m = 2*s + 20 - 70, m + 55 = 2*s. Let u be 0/(3 - 0) + 14. Suppose s = l - u. Is 11 a factor of l?
False
Let h = -5 + 14. Is 13 a factor of (-3 + -14)/((-3)/h)?
False
Let b be (50 - -1) + -2 + 0. Let m be b - 2 - 2/(-2). Suppose 3*u + 0*u = m. Does 16 divide u?
True
Suppose -14*f + 17*f = 555. Let o = f + -107. Is o a multiple of 19?
False
Let a be (3 - 2) + -1 - -2. Suppose 2*g - 8 = -a*g. Is g a multiple of 2?
True
Does 8 divide 65 + (1 + 1 - 3)?
True
Suppose 30 = 2*r - l, -2*l = -5*r + 8 + 66. Let h be r/(-8)*(-48)/6. Let o = -8 + h. Is 6 a factor of o?
True
Suppose -260 = z + 3*z. Let v = -18 - z. Is v a multiple of 19?
False
Let o(b) = b**2 - b + 30. Is o(0) a multiple of 9?
False
Let c(w) = w**3 + 5*w**2 - 5*w + 7. Let q be c(-6). Let r = 10 - q. Let y = r + 5. Does 7 divide y?
True
Is (-10)/(-70) - (-82)/14 a multiple of 6?
True
Suppose 0 = -5*d - 4*b, 3*d - b = 2*b. Does 5 divide (-2 - (-1 - d))*-14?
False
Is 28 a factor of (-1425)/(-10) + 6/(-4)?
False
Let k(w) = w**2 + 8*w + 5. Does 5 divide k(-8)?
True
Let w = 189 + -131. Is w a multiple of 13?
False
Suppose -78 = k - 4*k. Suppose k = z - 22. Suppose z = h + h. Does 13 divide h?
False
Suppose -11 = -3*b - 35. Does 16 divide (-153)/(-2)*b/(-12)?
False
Let s be (102/9)/((-4)/(-6)). Suppose z = -i + s, -z + 50 = 5*i - 3*z. Suppose m + m = i. Is m even?
True
Let v be (7 - 2)/(9/9). Let d = -29 - -77. Suppose -v*f = -d + 3. Is f a multiple of 3?
True
Suppose 0 = 2*x + 14 - 58. Let i = -6 + x. Is i a multiple of 5?
False
Let h = -24 + 43. Is h a multiple of 19?
True
Suppose 0 = -4*p + 28 + 8. Let x = p - 9. Suppose x = 4*a - o - 51, 5*a = -5*o + 121 - 26. Is a a multiple of 7?
True
Is 22/3 + (-2)/(-3) a multiple of 6?
False
Does 7 divide 6/(-4) - (-34)/4?
True
Let p = 0 - -12. Does 6 divide p?
True
Does 23 divide 5/(150/3444) - 1/(-5)?
True
Suppose 0 = -2*f - 2*a + 6, 2*f + a = 7*f - 21. Suppose o - f*o + 27 = 0. Let y = o - 4. Is 3 a factor of y?
False
Let u = 14 - 8. Suppose 2*i - 6 = u. Is i a multiple of 4?
False
Let c = -5 - -9. Let q be (-3)/((-45)/336) - (-2)/(-5). Suppose -10 = -c*f + q. Is f a multiple of 3?
False
Let z = -45 + 108. Let v = z - 37. Is 18 a factor of v?
False
Let q = -16 + 29. Is 9 a factor of q?
False
Let h(d) = -11*d - 13. Suppose 3*k + k + 56 = 0. Let i(y) = -5*y - 6. Let t(q) = k*i(q) + 6*h(q). Does 14 divide t(9)?
True
Let t be (-7)/(-1) - (-3 - -5). Suppose 0 = 4*d + 3*z + 3 - 7, -t*d - z + 5 = 0. Does 5 divide 6 + (d - (-4)/(-2))?
True
Let a = -25 - -17. Let b = a - -3. Let t(n) = n**3 + 4*n**2 - 6*n + 3. Is t(b) a multiple of 4?
True
Let a(t) be the second derivative of t**4/6 - t**3/6 - t**2 - t. Let k be a(5). Let h = k + -21. Is h a multiple of 11?
True
Let v(f) be the first derivative of 7*f**5/60 - f**4/24 + f**3/3 - f**2/2 - 2. Let b(s) be the second derivative of v(s). Is 17 a factor of b(-2)?
False
Let b(k) = k**2 - 6*k - 2. Let w be b(7). Suppose 3*h - 15 - 12 = -5*m, -2*h = -w*m + 7. Suppose -48 = -4*o - 4*v, m*o + o - 4*v = 56. Is o a multiple of 13?
True
Suppose 3*r + 157 = 2*x, -3*x - r = r - 242. Is x a multiple of 8?
True
Suppose 3*c - o + 10 = 3*o, -c - 6 = -2*o. Let z be (c - 3)*(-33 - -2). Suppose p - z + 5 = 0. Does 12 divide p?
False
Suppose 4*j - 8 = 4*u, -5*j - 4*u + 1 + 45 = 0. Is 6 a factor of (-76)/(-10) + j/(-10)?
False
Let f = 4 - -36. Let x = f - 18. Does 11 divide x?
True
Let p(s) = -s**3 - 6*s**2 + 5*s - 6. Let w be p(-7). Let v(z) = z - z + w - z. Is v(-7) a multiple of 13?
False
Suppose -2*k = -7 - 61. Let h = k - 12. Is h a multiple of 11?
True
Let t(p) = -8*p - 33. Is 7 a factor of t(-8)?
False
Let c be (-8)/6*(-108)/(-24). Let s = c - -13. Is 3 a factor of s?
False
Suppose -30*m + 102 = -28*m. Is 12 a factor of m?
False
Suppose -13*r + 12*r = -4. Suppose -r*z - 12 = 0, -5*i + 414 = -2*z - 87. Does 25 divide i?
False
Suppose 8 = -2*z - 0. Let c = -2 - z. Suppose -c*j + 7 + 17 = 0. Is j a multiple of 9?
False
Let k(n) = n**3 - 4*n**2 + n - 2. Let s be k(4). Suppose -h - 5 = -s*t, 0 = -2*t + 2*h - 4*h + 20. Is t a multiple of 5?
True
Let w be (-9)/(-2) - (-2)/(-4). Suppose w*z - 40 = 12. Is 13 a factor of z?
True
Let u(d) = 8*d**2 - 1. Let p be u(-1). Suppose o - 11 - p = y, 2*o - 41 = -3*y. Is o a multiple of 14?
False
Suppose 0 = 4*u - 3*o - 68, -2*o = -u + 3*o + 17. Suppose 2*y = 2*t - 6*t - 16, 5*y + 5 = -3*t. Suppose y*m - u = 3*a, m - 2*m = 2*a - 5. Is 3 a factor of m?
False
Let x(b) = -5*b + 0*b + 0*b. Suppose -3*i = 2*i + 20. Is 7 a factor of x(i)?
False
Let m be (-8)/3*6/(-4). Let k be m - (2 + (-1 - 0)). Suppose -k*l = -17 - 40. Does 15 divide l?
False
Suppose 2*l + 92 = 2*x - 0*x, -4*x + 5*l + 185 = 0. Is x a multiple of 10?
False
Let d = 17 - 9. Is d a multiple of 8?
True
Let h = 165 - 84. Let p = 114 - h. Is p a multiple of 12?
False
Is (-7 + 7 + -4)*-2 a multiple of 2?
True
Let b(p) = -p**3 + 5*p**2 + 3*p - 5. Is b(5) a multiple of 6?
False
Let v(s) = s**2 - s - 4. Let t be v(3). Is 19/3 - t/(-3) a multiple of 3?
False
Suppose z - 89 = -38. Is 3 a factor of z?
True
Let x be (-1)/((-1)/3) + -1. Suppose 5*r - 3*d - 337 = 0, 0*d - 3*d = x*r - 139. Suppose 2*u = -5*n + 42, n = -4*u - n + r. Is u a multiple of 8?
True
Let w = 25 - 37. Let c be (-243)/w + 1/(-4). Let i = c - 5. Is 9 a factor of i?
False
Let w = -4 + 4. Let f = w + 3. Suppose -2*r = f*r - 155. Is r a multiple of 16?
False
Suppose 0*b - 3*b + 39 = 0. Is b a multiple of 11?
False
Suppose 2*w - 13*w + 1023 = 0. Does 14 divide w?
False
Let r be -4 - -1*16/(-4). Suppose 3*s + 0*s = 18. Is 6 a factor of s/r*(-12 - -4)?
True
Suppose u - 2 = 1. Let r(t) = 4*t - 2. Is r(u) a multiple of 9?
False
Let q be (15/9)/(1/3). Suppose 14 + 22 = x + 2*f, -156 = -4*x - q*f. Is x a multiple of 11?
True
Let y(i) = i**2 + i + 5. Let u = 1 + -1. Let k be y(u). Suppose -k - 10 = -r. Is 15 a factor of r?
True
Let a(v) = -32*v - 2. Is 15 a factor of a(-1)?
True
Let q(j) = j - 3. Let a be q(3). Suppose a*r = 4*r - 100. Is r a multiple of 13?
False
Suppose 0 = -3*p, -2*p = v + p. Suppose 0 = 5*q - 15 - v. Suppose 0 = -q*d + 3*a + 9, -5*d + 21 + 0 = -3*a. Is 6 a factor of d?
True
Suppose 0 = -4*b - 4*f + 456, 0 = -3*b + 3*f + 11 + 313. Is b a multiple of 37?
True
Is 2 - (0/(-4))/4 even?
True
Let g be (665/(-10))/(3/6). Let l = -79 - g. Does 9 divide l?
True
Suppose 5*m - 3*w - 1 = 13, m + 14 = -5*w. Let y(z) = -3*z + m + 2*z - 9*z - 12*z. Is 23 a factor of y(-1)?
True
Suppose 2*q = 3*q + 7. Let d(u) = 6*u**2 - 4*u**3 - 8*u + 1 + 5*u**3 + 0*u. Does 8 divide d(q)?
True
Let f = -9 + 13. Is 6 a factor of 19 - (-4 - (f - 7))?
False
Let i = 83 - 19. Suppose 0 = 4*g - 7*g + 5*c + 206, -g + i = 3*c. Is g a multiple of 15?
False
Suppose -1 = f - 2. Let b(r) = 29*r**2 - r + 1. Let i be b(f). Suppose -4*k = -i - 35