lse
Suppose d + 108 = 4*d. Does 14 divide d?
False
Suppose 0 = 4*q - 12, -2*q + 5*q = -2*i + 331. Is 14 a factor of i?
False
Let i = 32 + -10. Suppose -6*d + 2*d + 5*l = -i, 3*d - 1 = -4*l. Suppose -2*o + d = -o. Is 2 a factor of o?
False
Let o(r) = 3*r**2 - r + 8. Let c be o(5). Suppose 2*g - 18 = c. Does 12 divide g?
True
Let f be 2 - -6*(-5)/(-10). Let a = 35 - -37. Suppose -2*n = t + 2*n - 6, f*t - n - a = 0. Is 7 a factor of t?
True
Let t be (-2 + 0)/(0 + -1). Suppose t*j + 0*j = 0. Suppose j = -0*d - 3*d, -d = v - 7. Does 5 divide v?
False
Does 56 divide (216/(-9))/((-1)/(57/6))?
False
Let q = -7 + 15. Is 12 a factor of q/32 + 294/8?
False
Let a = -5 - -10. Suppose -a*d - 7 = -2*b, 3*d - 15 = 2*b - 4*b. Is b a multiple of 3?
True
Suppose p = -o + 4*p + 16, 0 = -3*o - 3*p. Suppose q - 365 = -o*q. Is 19 a factor of q?
False
Let w be 2/4 - 12/(-8). Let y(z) = 3*z**3 + 2*z**2 + 2*z - 2. Does 17 divide y(w)?
True
Let o be 0 - (0 + -2)*5. Suppose 2*r - t - o = 2*t, 3*r + 3*t = 0. Suppose -r*q = 2*q - 60. Is 15 a factor of q?
True
Suppose 5*t - 81 = 294. Is t a multiple of 15?
True
Suppose 0 = 5*r + i - 1168 + 18, 0 = r - 4*i - 251. Does 21 divide r?
True
Let u(i) = 73*i. Let v be u(2). Let k = v + -102. Is 14 a factor of k?
False
Suppose 116 - 388 = -4*i. Does 16 divide i?
False
Suppose y = -3*i - 25, -2*i = 2*y + 16 + 2. Is 1/2*i + 9 even?
False
Suppose 0 = -4*o - n + 185, -2*o + 5*n = -7*o + 250. Is 17 a factor of o?
False
Let s(t) = -t - 5. Let p be s(-5). Suppose -5*q + 170 = -5*g, 0 = 5*g - p*g - 5. Is 19 a factor of q?
False
Let u(d) = -d**2 - 5*d - 3. Let n be u(-2). Suppose -17 = -4*a - n*l, -a + 0*l - 2*l + 8 = 0. Suppose -a*t - 12 = -f, 0*t = -5*f + 4*t + 66. Does 14 divide f?
True
Let r(s) = -27*s - 48. Is 29 a factor of r(-5)?
True
Let d = 6 + -6. Suppose d = -r + 6*r. Suppose r = 4*u - 88 - 92. Is 16 a factor of u?
False
Suppose -125 = -5*g + 220. Let s = -45 + g. Is 13 a factor of s?
False
Suppose -2*f = -3 - 9. Does 18 divide (2 + f)*(-18)/(-4)?
True
Suppose -4*z = -2*w - 250, -3*z = -6*z - 5*w + 168. Suppose 0*l - 4*q = 5*l - z, 0 = -4*l + 2*q + 28. Does 2 divide l?
False
Suppose 0*s + 6 = -s + f, -5*f = -4*s - 22. Let v = 22 - s. Is v a multiple of 15?
True
Let q(l) = -l - 5. Let n be q(-6). Suppose -u = n - 3. Suppose 0 = -3*j + 5*x + 15 + 3, -u*x = 0. Is 6 a factor of j?
True
Let l be 4*4/(-32)*-4. Suppose n + 3*c = -3*n + 41, l*n = -c + 19. Is n a multiple of 4?
True
Is (-1)/(-5) + (-7 - (-2516)/20) a multiple of 45?
False
Let k = 61 + 52. Does 13 divide k?
False
Suppose 5*h = 3*h + 4*x + 44, 0 = 3*h + x - 59. Is h even?
True
Suppose m - 170 + 65 = 0. Is 5 a factor of (1/(-3))/((-7)/m)?
True
Let u be -14 - (9/3)/3. Does 11 divide -1 - (1 + 1) - u?
False
Suppose -3*l = -6, -2*q - 5*l = -4*q. Suppose 28 = -3*w + 4*v - 41, 0 = q*w - 2*v + 115. Let x = -16 - w. Is x a multiple of 7?
True
Suppose 4*y + 3*g - 12 = 0, y = 2*y + 5*g - 20. Let p(c) = c + 4. Let l be p(y). Suppose -4*x + 4 = 12, x = l*w - 34. Is 6 a factor of w?
False
Let a(g) = 2*g - 6. Suppose -40 + 0 = -5*r. Is 3 a factor of a(r)?
False
Let n(l) = l**3 + 7*l**2 + 2*l + 7. Let z be n(-5). Is 19 a factor of z + ((-4)/2 - -5)?
False
Does 17 divide (-163)/(-7) + 10/(-35)?
False
Suppose 4*s = -0*s + 96. Is (0 - 0) + s + 0 a multiple of 9?
False
Let z(q) = -q**3 + 5*q**2 + 7*q - 8. Let x be z(6). Let r(b) = -2*b + 1. Is r(x) a multiple of 5?
True
Let b(k) = k**2 + 11*k - 7. Let n be b(-12). Let l(y) = y**2. Let a(x) = -x**3 + 8*x**2 - 2*x + 4. Let m(v) = -a(v) + 3*l(v). Is m(n) a multiple of 5?
False
Suppose 3*b = -2 + 11. Suppose 3*w - 3*p = 171, -17 = -b*w - 5*p + 122. Is w a multiple of 27?
False
Let f be 6/(-18) + (-5)/3. Let x(k) = 4*k**2 + 3*k + 5. Does 3 divide x(f)?
True
Let s(d) be the second derivative of 13*d**3/6 + 5*d**2/2 - 4*d. Is s(4) a multiple of 19?
True
Let s = 462 + -221. Does 37 divide s?
False
Let c be (1 + 0)/(1/2). Suppose -6*a - 16 = -3*k - c*a, 0 = 4*k - 2*a - 38. Is k a multiple of 6?
True
Let o(a) = -a + 7. Let c be o(-6). Suppose c + 2 = 3*w. Is 2 a factor of w?
False
Let c(s) be the third derivative of s**5/60 + s**4/24 + s**3/2 - s**2. Is 6 a factor of c(-3)?
False
Suppose 4*o - 4 = -o - 2*d, -2*d = -o - 4. Suppose -n + o = -9. Does 6 divide n?
False
Let z(c) = 2*c**2 - 2*c + 6. Is z(7) a multiple of 15?
True
Let z = 34 - 12. Let j = z - -2. Is 10 a factor of j?
False
Let b be (3 - 7) + (9 - 1). Suppose 8 = -2*i, -c = -9*i + b*i - 40. Does 18 divide c?
False
Let t(s) = s**3 - 3*s**2 - 7*s. Is 5 a factor of t(5)?
True
Let d(p) = 65*p**3 - p**2. Let a(o) = o**3 - 8*o**2 + o - 7. Let x be a(8). Is 20 a factor of d(x)?
False
Let k(o) = -59*o - 11. Let u be k(-9). Suppose -4*z = -8*z + u. Suppose 0 = 4*s + s - z. Is s a multiple of 18?
False
Suppose o - 46 = p - 6*p, 3*p = 2*o + 25. Is p a multiple of 9?
True
Suppose 8*y = 4*y - 2*j + 182, 3*y - 149 = j. Does 24 divide y?
True
Let a = -2 + 4. Suppose 408 = a*u + 2*u. Let f = u + -68. Does 17 divide f?
True
Suppose 2*g = 2*x + 150, 3*x = g - 6*g + 335. Does 13 divide g?
False
Let v(i) = 22*i**2 + 0*i**2 + 0*i + 5*i - 4*i. Let n be (1 + -3 + 0)/(-2). Does 13 divide v(n)?
False
Let u = 97 + -30. Suppose 2*n - u = 149. Suppose 4*s - n = -4*j - 0*j, -5*s = -3*j - 143. Is s a multiple of 14?
True
Let a(v) = v + 11. Let q be a(-9). Suppose 36 = q*d + 4. Does 8 divide d?
True
Let d be -1 + (2 - -2) + 0. Let h = 2 + d. Is (h/4)/((-3)/(-48)) a multiple of 10?
True
Suppose 0 = 3*d - 102 - 174. Is d a multiple of 23?
True
Let t = 68 - 10. Is t a multiple of 14?
False
Let a(y) = 1. Let i(r) = r**3 - 7*r**2 - 4*r + 9. Let v(j) = 3*a(j) + i(j). Is 11 a factor of v(8)?
True
Does 2 divide ((-3)/9)/(1/(-36))?
True
Let h(g) = -2*g + 58*g**2 + 0*g + 1 - 36*g**2. Is 7 a factor of h(1)?
True
Let x(w) = -6*w**2 + w - 7. Let y(u) = -7*u**2 + u - 8. Let b(j) = -5*x(j) + 4*y(j). Is 18 a factor of b(4)?
False
Suppose -2*z = -10*z + 168. Is z a multiple of 7?
True
Let u = 231 + -29. Is 25 a factor of u?
False
Let s = -147 + 161. Is s even?
True
Let q = 0 + 5. Suppose 0 = q*u - 16 - 9. Is u a multiple of 2?
False
Suppose -8 = -p + 2. Suppose -3*s = -2*m + 71, 4*s + 10 + p = 0. Let g = -18 + m. Is 10 a factor of g?
True
Does 19 divide 14 - -3 - (-2 - 0)?
True
Let x = 37 + -23. Suppose 2*r + 0*r = x. Is 9 a factor of 39/2 + r/(-14)?
False
Suppose 0 = 5*i - u - 15, 4*i - 12 = -0*i - u. Suppose -3*x = d - 30, 3 = 2*x - i*x + 4*d. Is x a multiple of 4?
False
Let w = 75 + -51. Is 6 a factor of w?
True
Let g = 6 + -2. Let r(k) = -k**3 + k - 2 + 7*k**2 - 1 - 6*k. Is r(g) a multiple of 10?
False
Suppose 0 = -18*x + 10*x + 384. Does 6 divide x?
True
Suppose -3*g + 347 = 5*v, 4*v + 2 = 6. Does 6 divide g?
True
Let u be 164/12 - (-1)/3. Let c = -7 + u. Does 3 divide c?
False
Let y be (-8)/12*129/2. Let l = 63 + y. Is 20 a factor of l?
True
Let o = -126 + 186. Is o a multiple of 15?
True
Let o = -1 - -14. Let i = o - -3. Does 7 divide -40*(i/10 - 2)?
False
Let l be (-6)/4 + 9/2. Suppose 0 = 2*s - l - 5. Suppose s*t - 25 = 11. Does 8 divide t?
False
Let w = -76 + 139. Is 21 a factor of w/15*(1 + 4)?
True
Let g = 17 - 38. Let n = g + 25. Does 2 divide n?
True
Suppose 0 = -3*v + 5*v + 2*q - 276, -5*q = -4*v + 570. Is 13 a factor of v?
False
Let c = -5 + 1. Let w be 1/(-4) + (-105)/c. Let q = -6 + w. Is 20 a factor of q?
True
Let i = 547 + -372. Is i a multiple of 18?
False
Let y = 134 + -91. Is 3 a factor of y?
False
Let g(u) be the second derivative of -u**4/12 - 4*u**3/3 + 2*u**2 + 2*u. Let x(m) = m**2 + 5*m - 5. Let s be x(-5). Is g(s) a multiple of 9?
False
Let t(b) = 3 + b**2 - 1 + b**2 - 6*b - b**2. Is 2 a factor of t(6)?
True
Let y(m) = -2*m + 1. Let i be (45/36)/(1/(-4)). Is y(i) a multiple of 2?
False
Let y be 98/8 + 1/(-4). Does 29 divide (-104)/(-16)*(y - -2)?
False
Let n(r) = 3*r**2 + 8*r + 8. Let z be n(-5). Let o = -6 + z. Is o a multiple of 33?
False
Let g(l) = l. Let z(b) = -3*b - 2. Let f(d) = -5*g(d) - z(d). Is f(-9) a multiple of 11?
False
Let l = 11 - -16. Suppose 3*b - l - 18 = 0. Is 15 a factor of b?
True
Suppose -2*c - p = c - 9, 2*c + 4*p + 4 = 0. Does 8 divide 33 - c/(-10)*-5?
False
Let l(d) = -37*d**3 - 2*d**2 - 2*d - 1. Let w = 15 + -16. Is 12 a factor of l(w)?
True
Is 26 a factor of 6 - (-389 + (1 - -4))?