lse
Let f(t) = 0 + 3 - t - 4. Let p be f(-3). Suppose -p*x + 54 = x. Does 9 divide x?
True
Let f(g) = -g**2 - 5*g - 4. Let p be f(-4). Let z = p + 4. Suppose b = 17 - z. Does 13 divide b?
True
Let v be (-2)/(-3) + 1536/18. Suppose -5*u = -3*y - 138, 0 = -4*u + u + y + v. Is u a multiple of 5?
True
Let v be ((-6)/(-15))/((-2)/(-10)). Suppose y = 2*d - 0*d - 34, 3*d = v*y + 49. Does 19 divide d?
True
Let u(r) = -25*r - 1. Suppose -4 = -3*n + q, 4*q + 12 = 4*n + 4. Let m be 0*(-3 - -4) - n. Is 23 a factor of u(m)?
False
Suppose -3*v = 2*v - 140. Let d be -2*(-3)/(3/v). Suppose -3*h - h + d = 0. Does 10 divide h?
False
Suppose 3*b + 45 = 2*b. Let h = b - -73. Does 12 divide h?
False
Suppose -3*i = 230 - 554. Is 36 a factor of i?
True
Let m(f) = -f**3 + 7*f**2 - 6*f + 4. Is m(4) a multiple of 7?
True
Let a(b) = 75*b. Let o be a(2). Suppose 4*u - o = -u. Is 10 a factor of u?
True
Let m = -83 + 90. Is 2 a factor of m?
False
Let t(o) = 2*o**3 - o**2 - 3*o + 3. Let f(h) = -h**2 - 5*h - 4. Let z be f(-3). Is t(z) a multiple of 6?
False
Does 9 divide 2/1*70/1?
False
Let d = -1 - -3. Suppose -3*f = 3*y - 117, -5*f + d*f - 27 = -y. Does 18 divide y?
True
Suppose -3*o - 2*i + 13 = 0, -3*i + 11 = o - 5*o. Suppose j - 182 = -3*h, 3*j - o - 5 = 0. Is h a multiple of 20?
True
Is -27*(24/18 - 2) a multiple of 6?
True
Let g(d) = 5*d**3 + 12*d**2 + 15*d + 4. Let p(o) = -o**3 - o**2 - o. Let m(z) = -g(z) - 4*p(z). Does 9 divide m(-7)?
False
Let z be 2/6 - (-51)/9. Suppose 3*y - z*y - 7 = -2*r, -y - 19 = -4*r. Suppose -r*u + 66 = c, 2*c = -4*u + 74 - 26. Is u a multiple of 14?
True
Does 26 divide ((-148)/10)/((-2)/10)?
False
Suppose 0*r + r - 150 = 0. Is 18 a factor of r?
False
Suppose 2*t = 3*j + 27, 5*t = -5*j + 2*j - 6. Let d = j - -6. Is 6 a factor of (16 - -1)*(2 + d)?
False
Let l = 0 - -2. Let v = l - 0. Suppose 3*n + v*n - 70 = 0. Is n a multiple of 14?
True
Let t = -14 - -17. Suppose -t*r - k + 5*k = -129, -3*r + 129 = 4*k. Is 11 a factor of r?
False
Suppose -3*u + 117 = -39. Is u a multiple of 13?
True
Let q = 10 + -8. Let r(v) = 4*v**2 + 2. Is r(q) a multiple of 9?
True
Suppose 0 = 2*k - 0*k - 4*j - 28, -2 = j. Is k even?
True
Suppose -j + 15 = 4*j. Suppose -j*f + 12 = -0*f. Suppose -b + f*h + 16 = -h, -4*b + h + 64 = 0. Does 13 divide b?
False
Let n(y) = -y**3 - 6*y**2 - 4*y - 7. Suppose -2 = -4*r + 14, -3*l + 3*r = 6. Suppose 0*s + 12 = -l*s. Is 10 a factor of n(s)?
False
Suppose 0 = -4*s + 3*m + 203, 59 = 5*s + 2*m - 166. Let f = s - 27. Is f a multiple of 10?
True
Suppose -3*h = -h + 5*q - 4, -2*h = -2*q - 4. Let a be ((-12)/5)/(h/(-10)). Suppose -4*w - a = -5*w. Is w a multiple of 6?
True
Let m(z) = -14*z + 8. Let g be (-12 + -3)/(-3) - -1. Let h(d) = 42*d - 23. Let t(y) = g*h(y) + 17*m(y). Is 8 a factor of t(2)?
False
Let u(k) be the second derivative of -2*k**3/3 + 2*k**2 - 2*k. Does 11 divide u(-5)?
False
Let j(k) = k**2 + 2*k + 2. Let x(s) = s**2 - 5*s + 2. Let h be x(4). Does 2 divide j(h)?
True
Is -1 - 41/(-4) - 2/8 a multiple of 2?
False
Suppose 5 = -2*y + 3*y. Suppose h - 6*h + b = -106, -y*b - 26 = -h. Does 9 divide h?
False
Let f = 264 - 144. Is 12 a factor of f?
True
Let f be ((-2)/(-7))/((-1)/(-7)). Suppose 4*r = 5*i + 52, f*i - 40 - 12 = -4*r. Is 13 a factor of r?
True
Suppose 5*c - 46 = -3*y, 0 = -2*y + 3*c - 1 - 0. Let d = y + 4. Is d a multiple of 8?
False
Suppose -5*x = -4*l - 711 - 269, 5*l = 25. Is 10 a factor of x?
True
Suppose 110 = 2*d + 2*d - 3*x, -3*d + 76 = x. Is 13 a factor of d?
True
Suppose 0*n + 5*n = 5*y - 35, 3*y + n - 9 = 0. Suppose -2*q - y*s = -3*s - 4, -4*q = 3*s - 8. Suppose q*b - 57 = 57. Is 25 a factor of b?
False
Does 4 divide 1/(-3 - 55/(-18))?
False
Suppose -77 = -5*m + 63. Let d = 66 - m. Is 19 a factor of d?
True
Let i(l) = l**3 - 9*l**2 - 2*l - 10. Let r be i(9). Let m = 0 - r. Is 14 a factor of m?
True
Let z = -5 + -5. Is 7 a factor of (-14)/35 + (-164)/z?
False
Let d(l) = -6*l - 1. Let c be d(-3). Suppose c = 4*u - 47. Is u a multiple of 10?
False
Suppose 106 = 5*p - 3*p + 3*w, w = 4*p - 240. Is p a multiple of 5?
False
Let j(t) = t**3 - 8*t**2 + 6*t + 10. Let x be j(7). Suppose -m + x*m = 28. Does 7 divide m?
True
Let u be (5 - 5)/(2*1). Suppose -q - 2 = -4*k, 5*q + k + 2*k - 105 = u. Is 9 a factor of q?
True
Let y = 1 + 0. Let h = y + -1. Suppose h = f - 13 + 4. Is 9 a factor of f?
True
Suppose -2*y + 4 = -16. Does 5 divide y?
True
Suppose 1 + 3 = 2*g. Suppose -3*o + i = -15, 0 = 2*o + 2*i + i + 1. Suppose -g*q - 62 = -4*l - q, -o*q = 3*l - 37. Is 7 a factor of l?
False
Suppose -3*j + 206 = -6*x + 2*x, 283 = 4*j + 3*x. Is 14 a factor of j?
True
Let t = -41 + 125. Suppose 0*n + n = t. Suppose -3*a + n = a. Is 9 a factor of a?
False
Suppose -6*t = -t + 5*f - 70, -4*t + 5*f + 20 = 0. Let s = 16 - t. Does 6 divide s?
True
Let x(m) = -2*m + 4. Let o be x(3). Does 3 divide o - 0 - (2 - 13)?
True
Let q(w) = w**3 - 3*w**2 - 5*w + 5. Let h be q(4). Let j = h + 1. Suppose 5*m - 4*o - 90 = 0, -3*o = j*m - 0*m - 13. Does 9 divide m?
False
Suppose 0 = -3*r - 4*f + 27, 4*r = -0*f - 4*f + 32. Let i = 13 - r. Does 8 divide i?
True
Let a(z) = 116*z**2 - z. Does 23 divide a(1)?
True
Suppose -u + 0*p - 3*p = -83, 4*u = 3*p + 272. Does 13 divide u?
False
Suppose 0 = -4*p - 4*q + 92, 3*p - 7*q = -3*q + 76. Does 3 divide p?
True
Let n(p) = -2*p**3 + p**2 + p + 1. Let c(q) = -3*q**3 + q**2 + 2*q + 2. Let s(l) = 3*c(l) - 5*n(l). Does 13 divide s(3)?
True
Let v = 66 - 22. Is v a multiple of 11?
True
Suppose 0 = 5*p - 4*p - 9. Is p a multiple of 2?
False
Does 11 divide 1/(1 - (-200)/(-205))?
False
Let i = 10 - 7. Suppose -4*a = 4*u - i*a - 181, 5*u - 226 = -a. Is 15 a factor of u?
True
Suppose 0 = -5*q - 2*q + 1428. Does 12 divide q?
True
Suppose -2*g = -3*d - g + 63, -2*d + 56 = 4*g. Is d a multiple of 4?
False
Suppose 5*w - 5 = -5*r, 3*r + 2*r = -2*w + 8. Suppose 15 = -2*f + 5*j, -r*f + j + 3 = 2*j. Suppose u + f*u = 38. Is 10 a factor of u?
False
Let k = -66 + 159. Is 4 a factor of k?
False
Let v = 5 - 12. Let u = v - -3. Let a = u + 19. Is a a multiple of 15?
True
Let j = 16 + 0. Is 16 a factor of j?
True
Let l(d) = d - 1. Let i(b) = 2*b. Let y(n) = -i(n) + 3*l(n). Let r be y(3). Suppose 0 = 4*g + u - 94, 0 = 3*u - r + 6. Is 12 a factor of g?
True
Let x = 0 - -6. Let j = 41 - x. Is 12 a factor of j?
False
Let c = 5 + 2. Let v(j) = 3*j**3 - 4*j**2 - 4. Let x(m) = 10*m**3 - 13*m**2 + m - 13. Let a(r) = c*v(r) - 2*x(r). Does 10 divide a(4)?
False
Suppose -4*z - 4*u + 56 = 0, 4*z - 52 = 2*u - 8. Suppose -j - 12 = -3*c, -3*c + 6*c - 3*j = z. Is 5 a factor of 3/4 + 29/c?
False
Suppose -5*q - 188 = -q. Let v be 816/(-10) + 8/(-20). Let c = q - v. Does 12 divide c?
False
Let n(m) = 2*m**2 + m - 49. Is 8 a factor of n(-8)?
False
Suppose -50 + 182 = 2*j. Suppose -3*x + j = 12. Does 9 divide x?
True
Let o(y) = 25*y + 4. Let l be o(2). Suppose -3*w - l = -5*w. Is 11 a factor of w?
False
Is 24 a factor of 1 + -1 + (45 - -1)?
False
Let a = 93 - -102. Does 39 divide a?
True
Suppose 4*j = -4*g + 20, -2*j - 21 = -7*j - g. Let u = 30 - j. Is u a multiple of 13?
True
Let h = 30 + -7. Let l = -3 + h. Is l a multiple of 10?
True
Suppose -5*n = -6*q + q + 10, -3*q + 2*n = -6. Let b be q + 0/3 - -95. Let s = 147 - b. Is s a multiple of 25?
True
Let j(k) be the third derivative of k**7/2520 + k**6/360 - 7*k**5/120 - k**4/12 + k**2. Let o(r) be the second derivative of j(r). Is o(5) a multiple of 14?
True
Let b(r) be the third derivative of r**6/60 - r**5/10 + r**4/8 - 2*r**3/3 - 7*r**2. Does 20 divide b(4)?
True
Suppose -34 = 4*i - 10. Let n(o) = o + 8. Is n(i) even?
True
Let v = -9 - 26. Let r = v + 51. Suppose 28 = 4*f - r. Is f a multiple of 11?
True
Let u(z) = -2*z**3 + 2*z**2. Let v be u(2). Let d(w) = -12*w + 7. Let c be d(v). Let p = c + -61. Is p a multiple of 22?
False
Let v = -31 - -112. Suppose -h + v = -0*h. Is h a multiple of 27?
True
Let c(d) = -d**3 + 5*d**2 + 5*d + 9. Let u be c(7). Suppose 24 = -4*j - 0. Is u/(-8)*(-16)/j a multiple of 9?
True
Let r(l) = l**3 - 12*l**2 - 13*l + 5. Is r(13) a multiple of 5?
True
Suppose 0 = -i + 15 - 16. Let k(d) = 29*d**2 - 7*d. Let p(q) = 58*q**2 - 13*q. Let r(n) = -11*k(n) + 6*p(n). Does 12 divide r(i)?
False
Suppose 0*z - 2*z + 4*j = -44, z + 2*j = 26. Let i be z/(-40) + 6/10. Suppose l - 1 