lse
Suppose 2*a + 5*q = 42, 6*a - 2*a - 2*q - 60 = 0. Does 16 divide a?
True
Let i(o) = -5*o - 5. Let n be i(-2). Let a(l) = l - 3. Let k be a(5). Suppose k*b - b = 3, -z + 28 = n*b. Does 9 divide z?
False
Let u = 304 + -216. Suppose -u = -6*k + 3*k - w, 5*w + 10 = 0. Does 7 divide k?
False
Does 19 divide 340/12 + 4/(-12)?
False
Let p(m) = m - 4. Suppose -17 - 3 = -5*u. Let f be p(u). Suppose 0 = 3*y - f*y - 30. Is 3 a factor of y?
False
Let i be 8 - ((-3)/3 - -4). Suppose i*y = y + 120. Does 15 divide y?
True
Let y = 4 + -1. Let l = y + -117. Does 13 divide l/(-9) + (-1)/(-3)?
True
Suppose 4*j + r + 47 = 6*j, 0 = 5*j + r - 100. Does 3 divide j?
True
Suppose 5*t + s = 3*s + 27, -3*s = 3*t - 12. Suppose 0*v - 3*v + 9 = 0, -k = t*v - 27. Is 9 a factor of k?
False
Let r(f) = f**2 - 8*f + 6. Let t be r(6). Let u = t - -10. Suppose 8 = u*g - 56. Does 12 divide g?
False
Let o(g) = -49*g**3 - g. Let n be o(-1). Let a be 1780/n + (-2)/(-5). Does 13 divide (1 + 0 + 0)*a?
False
Let y = 21 + 0. Is 16 a factor of y?
False
Suppose 3*y - 7*y + 2 = -2*h, 4*y + 2*h = 22. Suppose -33 = -2*p - 3*w - 0*w, 0 = -y*p - 2*w + 52. Is 18 a factor of p?
True
Suppose -174 = 4*y - 7*y - 3*t, 4*y - 228 = -3*t. Is y a multiple of 9?
True
Let q(t) = 10*t**2 - 2. Let u be (-16)/10 - 2/5. Is q(u) a multiple of 19?
True
Is 7 a factor of 9 - (-1 + 2 - 1)?
False
Let w be (-2)/(-2) + (0 - 0). Let c be -3 + (-36)/2*w. Let b = 33 + c. Is 6 a factor of b?
True
Is 7 a factor of 18*(0 + (-8)/(-12))?
False
Let o = 138 - -12. Is 50 a factor of o?
True
Let u(j) = -2*j + 4. Let g = 15 + -11. Let i be u(g). Let p = 28 + i. Is p a multiple of 12?
True
Let u = -148 - -272. Does 23 divide u?
False
Suppose 2*n + 5*k = n + 17, 5*n + 5*k - 165 = 0. Is 12 a factor of n?
False
Suppose 4*q = -2*q + 30. Suppose -q*o + 67 = -38. Does 11 divide o?
False
Let s(z) be the third derivative of z**5/60 + z**4/8 - 2*z**3/3 + 5*z**2. Is s(-9) a multiple of 25?
True
Let w(n) = -25*n - 7*n - 2 - 3. Is w(-3) a multiple of 22?
False
Let j be -55 - (1 - 4/(-4)). Does 18 divide 18/(-9) - (j + 1)?
True
Suppose -g = -3*b + 8, 4*g = -2*b - 4 - 0. Let n(w) be the first derivative of w**3 + w**2 + w + 5. Does 9 divide n(g)?
True
Suppose -4*k + 309 + 35 = -5*u, 164 = -2*u - 5*k. Let i = u - -124. Is i a multiple of 20?
False
Let j be (-9)/2*4/(-6). Does 7 divide (19/j)/(7/21)?
False
Suppose 4*w + 1 + 5 = 3*j, 3*w + 2 = j. Let s(b) = -4*b - 2*b**j + b**2 + 6 - 6*b. Is 16 a factor of s(-5)?
False
Let b be 25/3 - (-12)/18. Let n = 17 + b. Is 13 a factor of n?
True
Suppose -m + 121 = 7. Is m a multiple of 19?
True
Let j(d) = 4*d**2 + 7*d + 6. Is 21 a factor of j(-4)?
True
Is 468/4 + -1 + -2 a multiple of 30?
False
Let u(x) = 4*x - 15. Suppose 5*c - 8 = k, -4*c = 3*k - 40 - 12. Is u(k) a multiple of 11?
True
Suppose 0*v + 5 = -5*v. Does 11 divide v + (33 - (-2 + 3))?
False
Let j(g) = 62*g + 2. Let x be j(1). Suppose 274 = 5*q - 2*h, -q - 2*h + x = -7*h. Is 17 a factor of q?
False
Let d = 47 + -21. Let l = 47 - d. Is l a multiple of 7?
True
Let h = -23 - -167. Does 14 divide h?
False
Let b be (2 - 2) + (-1)/(-1). Suppose -4 = -n, -5*g + n + b = -10. Suppose g*m - 11 = 13. Is 6 a factor of m?
False
Suppose w - 3 = -0*w. Suppose 6*m - w*m = 42. Is m a multiple of 14?
True
Suppose 3*n - 7 = 8. Suppose -5*d + 56 + 49 = m, -4*m - 130 = -n*d. Is d a multiple of 11?
True
Suppose -q + 6*q - 225 = 0. Is q a multiple of 9?
True
Let h = 76 - 42. Is h a multiple of 5?
False
Let l = -210 - -394. Is l a multiple of 23?
True
Let w(i) = i**2 + 12*i + 15. Let u be 25/(-2) - 8/16. Is w(u) a multiple of 14?
True
Let a(x) = x**3 - x**2 - x. Suppose n - 5*n + 16 = 0. Is a(n) a multiple of 10?
False
Suppose 4*o + 5*m = 500, -4*o + 432 = 2*m - 56. Is 26 a factor of o?
False
Let m be 1/2 + (-9)/2. Let q be (-2)/m + (-35)/(-10). Suppose 0 = -4*t + d + 8 + 8, -t - 13 = q*d. Does 2 divide t?
False
Let u be 1*((-296)/(-2))/2. Let t = -10 + u. Is 1/(t/(-66) - -1) a multiple of 13?
False
Let a be (3/2)/((-15)/20). Let p = a + 5. Suppose 4*b - p - 37 = 0. Does 9 divide b?
False
Let c be -3 + 2 + (2 - -3). Suppose -c*o = -2*j - 169 - 105, 5*o - 310 = -4*j. Is o a multiple of 17?
False
Let z be (-44)/(-10) - 2/5. Suppose z*y - 2*y = 4. Suppose 40 = -y*s + 4*s. Is s a multiple of 20?
True
Suppose 5*u + 45 = 2*l, l - 5*u - 20 = -0*u. Is 22 a factor of l?
False
Suppose 3*t - t = -2*s + 68, -4*s + 166 = -2*t. Is 13 a factor of s?
True
Suppose 0 = n - 6*n - 75. Let x = 45 + n. Is x a multiple of 15?
True
Let o(u) = u**3 + 8*u**2 - 2*u - 2. Let s be o(-8). Suppose -2*t + g = -37, -t + s = 3*g + g. Is t a multiple of 7?
False
Let o = -141 + 210. Suppose 2*v - p - 52 = o, 189 = 3*v - 4*p. Suppose 0 = 5*k - v - 1. Is k a multiple of 6?
True
Let h = 10 + 4. Suppose 4*b + h = -6, -3*m = 2*b - 5. Is 7 a factor of m*(-1 + 21/5)?
False
Suppose -4*y - 120 = 4*n - 2*n, 4*n = -3*y - 265. Let u = n + 100. Does 22 divide u?
False
Suppose l = 4*t - 213, 2*t - l - 90 = 19. Is 26 a factor of t?
True
Let u(f) = -f - 21. Let o be u(0). Let q = 31 + o. Does 7 divide q?
False
Suppose -3*f - v = -2*f + 17, 4*f + 3*v + 63 = 0. Let p be f/(-3)*3/6. Suppose -p*s = -9 - 11. Is 6 a factor of s?
False
Let u be 0/(1/2*2). Suppose -4*p - 2*t + 5*t + 17 = 0, u = -5*p + 5*t + 20. Is p a multiple of 3?
False
Suppose 3*z - 135 = -3*w, 0*w + 33 = w - 3*z. Is 6 a factor of w?
True
Is 2 a factor of 9/((0 - -2) + -1)?
False
Suppose 3*c + 12 = -3*h, c - h - 13 = 5*c. Let s(a) = a + 3. Let p be s(c). Suppose -3*f + 11 = -t, -t - 6 = -2*f - p. Is f a multiple of 3?
False
Let v = 56 - 26. Does 10 divide v?
True
Let q be (-3 + 1 + 6)*1. Suppose -b - 177 = -q*b. Let w = b - 34. Does 13 divide w?
False
Let a be 2*(-2 + 1/(-1)). Let p be (-18)/12*8/a. Suppose -4*k = 12, -3*k + 4*k - 43 = -p*d. Is 14 a factor of d?
False
Let v(w) = -w**2 + 3*w + 2. Let r be v(6). Suppose 3*d - d = 2*i - 70, 4*i - 5*d = 137. Let x = r + i. Is 22 a factor of x?
True
Suppose 0 = 3*q - 2*q. Suppose -v + 3*m = 3, -3*v + 0*v + m + 7 = 0. Suppose q = -v*g + 5*h + 32, g - 3 = 2*h + 7. Is 8 a factor of g?
False
Suppose -4*z = -0*w + 5*w - 145, 0 = 3*z - w - 123. Is ((-2)/5)/((-2)/z) a multiple of 3?
False
Let a = 23 - 3. Suppose 4*d - 20 = a. Is 10 a factor of d?
True
Suppose 7*o - 96 = 3*o + 3*l, 2*l = -4*o + 96. Suppose 0 = 8*b - 6*b - o. Is b a multiple of 3?
True
Let d be 0*(-1 + (-1 - -3)). Suppose d = -3*w - 2*w + 80. Is w a multiple of 8?
True
Let i = 6 - 11. Let f = i + 23. Is 18 a factor of f?
True
Suppose 0 = 3*j - j - 6. Let i = -1 + j. Suppose 3*g = -i*g + 30. Does 3 divide g?
True
Suppose 7*f - 45 = 2*f. Does 3 divide (-1 + 15/f)*12?
False
Suppose -3*y + b - 5 = -8*y, -y = -3*b - 17. Suppose y = 2*v - 4. Does 11 divide -1 + (74 + -2)/v?
False
Let d = -16 + 28. Is 8 a factor of (-1 + 5)/(2/d)?
True
Suppose -42 = -3*r + 672. Suppose -26 = 4*w + r. Is 11 a factor of w/(-15)*(2 - -3)?
True
Suppose -2*i - 28 = -6*i + 4*g, -3*g = -4*i + 30. Is 3 a factor of i?
True
Suppose -2*t + 7*t = -45. Let v be 7*-3*(-2)/3. Let a = t + v. Is 5 a factor of a?
True
Suppose 1 = -3*u + 61. Suppose 4*w - u = 4*j, 4*w - 7 = -w - j. Suppose -w = -2*y + 8. Is 2 a factor of y?
False
Let j be 4/(-6) + 11/3. Let b = j + 0. Suppose 0 = 2*z - 2*c - 64, 2*z + 5*c + 40 = b*z. Is 15 a factor of z?
True
Let k(r) = -r - 15. Suppose -3*f = 5*l + 29, 22 = -4*l - 4*f + f. Let w be k(l). Is 35*(2 + w/5) a multiple of 14?
True
Let x(d) = 6 + 6*d + 5*d**2 - 2*d**2 + d**2 - 5*d**2. Does 6 divide x(6)?
True
Let q(p) = p**3 + 11*p**2 - 8*p + 11. Let o = 7 - 18. Does 33 divide q(o)?
True
Suppose 0 = 4*x - 42 - 246. Is 18 a factor of x?
True
Let l = -19 - -70. Let p(y) = y**3 - 7*y**2 - y - 9. Let z be p(7). Let m = l + z. Is 13 a factor of m?
False
Suppose 0 = 5*x + 4*q - 147, -3*x + 15 = -5*q - 51. Let h = 21 + x. Suppose h + 36 = 2*s. Does 14 divide s?
True
Let v(k) = 2*k**2 + 5*k + 15. Is v(-4) a multiple of 27?
True
Let v(f) = 12*f. Is v(2) a multiple of 24?
True
Suppose -5*m = 2*l + 7, -2 = 3*m + 2*m - 3*l. Let q(o) = o**3 - o. Let u be q(m). Suppose u = -t + 19 + 19. Is 19 a factor of t?
True
Let y be (-4)/20 + 2/10. Suppose y = -9*h + 5*h + 96. Is h a multiple of 24?
True
Suppose 5 = -7*j + 2*j. Let p(l) = -l + 1. Let i be p(j). Suppose 3*c = -0*c + 2*v + 