lse
Let z be (-5 - 23) + -3 + 1. Let i = 2 - z. Suppose s + 13 - i = 0. Is s a multiple of 19?
True
Let u(n) = n**3 - 6*n**2 + 4*n - 6. Let c be u(4). Let i = -10 - c. Is 4 a factor of i?
True
Suppose 5*x + f - 75 = 0, 3*f + 0*f = 4*x - 60. Suppose 0 = 7*s - 2*s - x. Does 2 divide s?
False
Let l(g) be the third derivative of g**6/120 - g**5/12 + 5*g**4/24 - g**3/6 - 4*g**2. Is 12 a factor of l(5)?
True
Let h = 169 + -88. Is 13 a factor of h?
False
Let d = 40 + -4. Is 4 a factor of d?
True
Let b(y) = 2*y**2 - 1. Let l be b(2). Suppose -6*v - l = -2*v + 3*p, -4*p - 28 = -4*v. Does 10 divide ((-22)/v)/((-3)/3)?
False
Let b(t) = 2*t**2 + 9. Is b(-10) a multiple of 8?
False
Let z be (0/4)/(-1 + 2). Suppose -3*f - f + 28 = z. Is f + -2*1/(-2) a multiple of 5?
False
Let n be (-6 + 4)/((-2)/96). Suppose f - n = -f. Does 16 divide f?
True
Suppose -3*b - 2*k = -194, 4*b - 166 = b + 5*k. Suppose b + 50 = 7*g. Is 16 a factor of g?
True
Let h = -8 - -17. Does 4 divide h?
False
Let x(q) = -41*q + 1. Let u be x(-1). Suppose 4*s - 4 - 16 = 0. Suppose -3*w + 14 = -s*y, 5*w + y - u = -0*y. Does 4 divide w?
True
Let m be (-2)/(-7) + (-8)/28. Is 7 a factor of (0 - (m + -1))*28?
True
Let q(x) = 7*x + 1. Suppose -2*k = -15 + 5. Suppose 3*p = 5*w - 11, -3*w + 0 = 4*p + k. Is q(w) a multiple of 4?
True
Let b(d) be the first derivative of 2*d**3/3 + 3*d**2 + 2*d - 5. Is 21 a factor of b(-8)?
False
Let g = 129 - -66. Does 10 divide g?
False
Let c = 84 - 24. Let t = -40 + c. Is 10 a factor of t?
True
Suppose -10 = -5*k + p - 32, -4*k - 18 = -p. Let g = k - -25. Is 7 a factor of g?
True
Suppose -22 = -3*p + 50. Is p a multiple of 5?
False
Suppose 0 = d - 0*d - 24. Let k = -7 - -11. Suppose -5*x + d - k = 0. Does 3 divide x?
False
Let d = -81 - -285. Is 12 a factor of d?
True
Let v(d) = -77*d**2 - 2. Let f be 6/(-9)*3 - -4. Let q be v(f). Is 11 a factor of q/(-18) + 6/(-27)?
False
Does 4 divide 3/(-6) + (-36)/(-8)?
True
Suppose -2*k = -3*k + 40. Is 0 + k + (-2)/2 a multiple of 13?
True
Suppose -4 + 3 = h, -3*n + h = -13. Is 4 a factor of n?
True
Let x = -22 - -38. Let p = -7 + x. Does 3 divide p?
True
Let o(k) = -4*k - 6. Suppose -a = a. Suppose -3*t + 8 = -4*v, a*t + 3*t = -12. Does 7 divide o(v)?
True
Let o = 134 - -51. Let k = -116 + o. Is k a multiple of 18?
False
Let r be (-10)/4*(-11 + 3). Suppose -19 + 6 = -2*q - j, 4*j - r = -4*q. Does 4 divide q?
True
Suppose 0*g = -2*g + 10. Does 3 divide g?
False
Let d(n) = 3*n**2 + 4*n + 5. Does 32 divide d(-5)?
False
Suppose 0 = -3*h + 7*h - 132. Suppose -2*v = -h - 5. Is v a multiple of 7?
False
Let x(p) = p - 1. Let i(v) = 101*v**2 - 7*v + 6. Let b(u) = i(u) + 6*x(u). Let a be b(1). Is 18 a factor of ((-2)/(-4))/1*a?
False
Let y(b) = -b - 2. Let s be y(-4). Suppose -4*n = 2*j - 16, -s*n = 2*n + 12. Is j a multiple of 14?
True
Let z = 23 + -12. Let d(i) = 2*i - 2. Is 10 a factor of d(z)?
True
Suppose 0 = 5*u + 15 - 5. Let n(s) be the second derivative of -s**5/20 - s**2 - 5*s. Is 3 a factor of n(u)?
True
Suppose 0 = h - 5*c - 17, 5*h + 2*c + 31 = 143. Suppose 0 = 4*k - 2*k - h. Is 11 a factor of k?
True
Let w = 4 - 6. Let b be (14 - w/(-1)) + -3. Suppose -v - b = -36. Is 9 a factor of v?
True
Let d = -109 + 244. Let s = -71 + d. Is s a multiple of 22?
False
Suppose -5*m + 0*m = 0. Let z(a) = -2*a. Let u be z(-2). Suppose m = -u*h - h + 15. Does 2 divide h?
False
Let m = -52 + 150. Is 19 a factor of m?
False
Let q(j) = -j**3 - 4*j**2 + 5*j + 5. Let s be q(-5). Suppose 0*f - 5*f + 125 = s*c, 0 = 5*c - f - 107. Does 11 divide c?
True
Let x = 113 + -81. Does 8 divide x?
True
Let n = 25 - 12. Suppose 41 = 2*o - n. Is 9 a factor of o?
True
Let v(p) = 2*p**2 - 12*p + 5. Is 11 a factor of v(8)?
False
Is 16 a factor of ((-16)/6)/(2 - 420/207)?
False
Let h(x) = x**3 - 3. Is 8 a factor of h(3)?
True
Suppose 13 = -3*t + 2*c, -t = c + 3*c - 5. Let o(v) = v**2 + 3*v. Let r be o(t). Does 18 divide r - 2*9*-1?
True
Let h be (-1)/((-1)/(0 + 3)). Let f = 7 + h. Is f a multiple of 7?
False
Suppose q + 3*v + 3 = 10, -4*v = -4. Let k(p) = -p**3 + 6*p**2 - 7*p + 6. Does 6 divide k(q)?
False
Let y(r) = 17*r - 5. Let u(s) = 9*s - 3. Let j(b) = 7*u(b) - 4*y(b). Let d be j(-1). Let q(a) = a**3 - 3*a - 1. Is 21 a factor of q(d)?
False
Suppose 2*s + 30 = 7*s. Let t(u) = 6*u - 15. Is 9 a factor of t(s)?
False
Let u be 2/6 - 33/(-9). Suppose -b + 15 + u = 0. Does 6 divide b?
False
Suppose 4*c + 4*n = 16, -2*n = c - 2 - 3. Let v be (-1 - c/(-6))*0. Suppose -4*y + 112 = -v*y. Is y a multiple of 15?
False
Let h = 59 + -39. Suppose 3*c + 2*c + h = 0. Does 9 divide (c/4)/(2/(-26))?
False
Let t be (4/(-10))/((-3)/60). Suppose -3*q + 10 = -t. Does 3 divide q?
True
Is 16 a factor of (-7 + -1)*4/(-2)?
True
Suppose 3*j - 1 - 5 = 0. Let n be 1/j*(-2 - -2). Suppose 3*b - 11 + 5 = n. Is b even?
True
Suppose -11*s = -s - 300. Is s a multiple of 3?
True
Let g = 168 + -99. Does 7 divide g?
False
Suppose 0*j + j - 25 = 0. Is 10 a factor of 4/(-10) - (-1010)/j?
True
Let j = -9 - -8. Does 15 divide (-1)/((3 - j)/(-236))?
False
Let v be (7 + -3)/((-2)/(-11)). Let j = -1 + 1. Suppose v = s - 3*g, j = -2*g - g. Is s a multiple of 20?
False
Suppose i + 0*i = -4*x - 428, x + 2*i + 100 = 0. Let z = 55 + x. Let h = -19 - z. Is 17 a factor of h?
True
Let s = 10 + -6. Suppose q + 2*f + f = 100, 5*f = -s*q + 365. Suppose -q = -5*c - 5. Does 6 divide c?
False
Let r be ((-6)/(-4) + -1)*4. Suppose r*z - 6 - 8 = 0. Is z a multiple of 5?
False
Suppose 0 = 5*h + 3*z - 11, 5*h + 3*z + 2*z = 5. Suppose -7 = 3*o - h*q, -11 = -5*q + 9. Suppose -o - 57 = -4*p. Is p a multiple of 6?
False
Let s = 5 - -7. Is 4 a factor of s?
True
Let a = -18 + -12. Let f = 4 - -38. Let j = a + f. Is 6 a factor of j?
True
Let q = 15 - 16. Let g = 53 + q. Is g a multiple of 12?
False
Suppose -i + 4*q + 18 = i, i - 4*q - 17 = 0. Let y = i - -1. Suppose 3*a = 8*a + 20, -y*u + 3*a + 38 = 0. Is u a multiple of 13?
True
Let h(z) = 9*z + 1 - 3 + 0. Does 6 divide h(2)?
False
Let d(t) = t**3 + 4*t**2 - 2*t - 2. Let h be d(-3). Suppose 0 = 5*x - 212 - h. Does 10 divide x?
False
Let i = -4 + 9. Suppose 55 = 2*w - i*g, 5*w - 4*g = 22 + 73. Is 15 a factor of w?
True
Suppose -209 + 17 = -2*y. Suppose y = a + a. Does 24 divide a?
True
Let z be (7 + -4 - -14) + 3. Is z/6*(-540)/(-50) a multiple of 12?
True
Suppose 3*v - 3*f + 10 = -2*f, 4*f = 2*v. Is 15 a factor of (v + -2)*15/(-6)?
True
Suppose -6 = o - 2*o. Let m(v) = v**3 - 6*v**2 + 2*v + 2. Does 12 divide m(o)?
False
Let n(q) = -2*q**2 - 2*q - 3. Let g(k) = -2*k**2 - k - 3. Let b(o) = -4*g(o) + 3*n(o). Is b(2) a multiple of 5?
False
Let n(j) = -j**2 - 8*j + 4. Let a be (-57)/(-21) - 2/(-7). Suppose a*v - 4 = 4*v. Is n(v) a multiple of 10?
True
Let d(f) = f**2 + 6*f + 6. Let m be d(-4). Does 5 divide 6/4 + (-35)/m?
False
Let s(a) = 2*a**2 + 3*a + 2. Let d be s(-2). Suppose 5*f - x - 21 - 29 = 0, 3*f = -d*x + 7. Is 9*(30/f)/1 a multiple of 15?
True
Suppose 4*c = 3*c + 14. Is c a multiple of 6?
False
Let p be (-12)/(-16)*55*-4. Is ((-4)/(-5))/((-22)/p) even?
True
Let n(q) = q**3 + 7*q**2 - 7*q - 6. Let w be n(-7). Let m = w - 26. Does 11 divide m?
False
Let f = 169 + -85. Is 28 a factor of f?
True
Let a(t) be the second derivative of -t**5/20 + t**4/3 + t**3/6 - 3*t**2/2 + 3*t. Is a(3) a multiple of 9?
True
Let z(w) = w**2 - 1. Let k(o) = -3*o**2 + 7*o + 9. Let i(y) = -k(y) - z(y). Is 22 a factor of i(6)?
True
Suppose -5*h - t + 68 = 0, 5*h - 2*t - 52 = 7. Does 13 divide h?
True
Let i be 15/3 + -9 + 6. Suppose -i*l = 2*l - 164. Is l a multiple of 16?
False
Let h(y) = -3*y**3 - 2*y**2 + 1. Let j be h(-1). Suppose 5*s - 462 = -l, 0*l + j*l + 180 = 2*s. Suppose 2*d - 2*b = -2*d + s, 38 = 2*d - 5*b. Does 12 divide d?
True
Let v = -21 - -71. Suppose v = -4*n + 18. Does 2 divide n*1*(-3)/6?
True
Let s(t) = t**2 - 6*t + 6. Does 2 divide s(6)?
True
Suppose -15 - 61 = -4*f. Let d = 59 - f. Is d a multiple of 25?
False
Suppose -5 = 7*q - 2*q. Let j = 2 + q. Is 2 a factor of (2 + (1 - j))*1?
True
Let w(d) = 43*d - 3. Suppose 0 = -4*g - g + 15. Let a be w(g). Let f = -80 + a. Is f a multiple of 23?
True
Suppose 2*a = -x - 2*a + 45, a = -2*x + 90. Suppose g + 3*b - x = 0, 4*g + b - 100 = 5*b. Is 15 a factor of g?
True
Suppose -3*p = 4 - 19. Let v be (p/((-15)/6))/(-2). Let g(u) = 13*u*