lse
Let t = -83 + 63. Is 2726/14 + t/(-70) a multiple of 17?
False
Let q(w) = 2*w + 24. Is 38 a factor of q(7)?
True
Suppose 2*w = 95 + 957. Is w a multiple of 2?
True
Suppose -8*v = 974 + 402. Let m = v + 355. Is m a multiple of 25?
False
Suppose -2*g - 20 = -4*g + c, -2*g = 3*c - 4. Suppose 0 = 4*w - g*w + 16. Suppose w*z = 145 + 47. Is z a multiple of 18?
False
Let t = 0 + 3. Suppose 288 = t*a + 3*i, 2*a = -2*i - 3*i + 183. Is a a multiple of 33?
True
Is 19 a factor of (23 + 7 + -2)/((-1)/(-6))?
False
Let x(j) be the first derivative of -29*j**3/3 + j**2 - j + 10. Let s be x(2). Let z = s + 219. Does 18 divide z?
False
Suppose -a - 13 = -5*j + 37, 2*a + 126 = -3*j. Let u = -36 - a. Is 12 a factor of u?
True
Let x(h) = h - 1. Let p be x(-7). Let m = p + 10. Does 25 divide (8/(-8))/(m/(-50))?
True
Suppose -2*b = 8, b - 6*b = -5*s + 25. Let m be (s + -4 + -3)/(-1). Suppose x - i = -2*i + 37, -2*i + m = 0. Does 8 divide x?
False
Let m = -15 - -13. Let n(f) = 0*f + 15*f**2 - 1 - 2*f + 3*f - 3. Is n(m) a multiple of 18?
True
Let p(b) = -13*b - 18. Let n(s) = -16*s - 21. Let x(m) = 17*m + 22. Let a(r) = 5*n(r) + 4*x(r). Let h(f) = 5*a(f) - 4*p(f). Is h(-12) a multiple of 12?
False
Let b = -3 + 7. Is (-500)/(-18) - b/(-18) a multiple of 7?
True
Suppose 0 = -8*l - 4*l + 2484. Is l a multiple of 23?
True
Let w(c) = c**3 + 34*c**2 - 55*c - 260. Is w(-35) a multiple of 40?
True
Is 533 + -3 - (-2 - 0) a multiple of 28?
True
Suppose 5*y - 2*h = 8496, -4*y - 33*h = -29*h - 6808. Is y a multiple of 25?
True
Suppose -2*i - 2*p + 6 = 0, 2*i - 5*i + 3*p + 21 = 0. Suppose i*s + 66 = 641. Is s a multiple of 12?
False
Let z(s) = s**3 - 15*s**2 + s - 5. Let i(o) = 5*o**3 - 60*o**2 + 4*o - 20. Let u(h) = 2*i(h) - 9*z(h). Let l = -10 - 5. Is u(l) a multiple of 13?
False
Suppose 0 = -8*c + c + 1792. Is 4 a factor of c?
True
Let r be 18783/21 - (-3)/(-7). Suppose -3*h + r = -h. Suppose -11*l + 14*l - h = 0. Is l a multiple of 39?
False
Let x = 204 - -112. Is x a multiple of 2?
True
Suppose 2*a + 3*o = 262, 2*a + 0*a + 5*o = 254. Does 32 divide a?
False
Let m(u) = 13 + 0*u + 9*u + 3*u - 4*u. Does 13 divide m(8)?
False
Let g(f) = 9*f**3 + 3*f**2 + 13*f - 18. Is g(4) a multiple of 10?
False
Let a = 4492 - 2438. Is a a multiple of 77?
False
Let w be ((-20)/(-8))/(1*(-2)/20). Let m = 85 - w. Is 11 a factor of m?
True
Let r(v) = 11*v - 94. Is 11 a factor of r(33)?
False
Let s(q) = -q**3 - q**2 + 20*q + 48. Does 12 divide s(-6)?
True
Suppose 3*x = -0*l - 2*l + 12, -5*l - 4*x + 37 = 0. Suppose 3*z + 31 = -j, z + 58 = -3*z + 2*j. Does 6 divide ((-16)/z)/(2/l)?
True
Let y(s) = -s**3 - 34*s**2 + 34*s - 2. Is y(-35) a multiple of 5?
False
Let p(c) = -267*c - 24. Does 6 divide p(-1)?
False
Suppose 3*l = l + u + 5, l - 5 = 3*u. Is 23 a factor of ((-1 - -4) + 42)*l?
False
Let v(o) = 22 - 21*o**3 + 23*o**2 + 16*o + 34*o**3 - 12*o**3. Is 22 a factor of v(-22)?
True
Suppose 0 = -5*g + 5, -15*f + 14*f = -g - 1863. Does 49 divide f?
False
Let q = 60 - 23. Suppose q*a = 33*a + 380. Does 19 divide a?
True
Let t(s) = 7*s**2 + 14*s + 105. Is t(-12) a multiple of 27?
True
Suppose 16*c - 3*c = 0. Suppose a = m - 55, c = -0*m + 3*m - a - 167. Does 7 divide m?
True
Let g be 16/4*-1 + -118. Suppose 2*u = 4*p - 766, 2*u = -3*u + 25. Let c = g + p. Is c a multiple of 17?
False
Let m = 346 - 239. Does 12 divide m?
False
Suppose -4*b - s + 2595 = 0, 2786 + 463 = 5*b + 3*s. Is 27 a factor of b?
True
Let v = 344 - 147. Let u be 38/(4*(-1)/14). Let q = u + v. Is 16 a factor of q?
True
Is (31/1)/(2 + (-1)/1) a multiple of 8?
False
Let o(t) = 71 - 4*t + 21 - 2*t + 5*t. Is 23 a factor of o(0)?
True
Let p be (-8)/10*5/(-2). Suppose 0 = -5*w - 5, p*o + o - w = 298. Suppose j - 18 = -2*l, 5*j = -4*l + 3 + o. Is j a multiple of 11?
True
Let z = 16 + 49. Suppose 2*f - 103 = z. Let g = -36 + f. Is 12 a factor of g?
True
Let p = 302 - -316. Is p a multiple of 38?
False
Let c = -29 - -407. Does 9 divide c?
True
Let f(x) = 4 - x**2 + x - 5 + 4*x**2 + 2*x. Let y be f(2). Let j = -6 + y. Does 6 divide j?
False
Let o be 750/10 - 3*1. Let p = 223 - o. Is 38 a factor of p?
False
Let g = 12 - -11. Suppose -5*a - r = -429 + 69, -r + 76 = a. Suppose a - g = 2*x. Is 12 a factor of x?
True
Let x(c) = -6*c + 1. Suppose 2*b + 21 = -0*h - 5*h, 2*h = -4*b - 18. Is x(h) a multiple of 3?
False
Let p(k) = -195*k + 1. Suppose 25*y = 30*y + 5. Does 18 divide p(y)?
False
Let b(h) = -h**2 - 4*h + 6. Let g be b(-5). Let j(x) = 59*x**2 + 5*x - 2. Let s(a) = 236*a**2 + 22*a - 8. Let n(l) = 9*j(l) - 2*s(l). Does 28 divide n(g)?
False
Let r = -39 - -39. Suppose -2*j = -3*j - 1, r = 3*t - 4*j - 94. Is t a multiple of 15?
True
Let l(z) be the first derivative of -z**3/3 + 13*z**2 - 16*z - 5. Let y be l(19). Let a = y - 63. Is a a multiple of 27?
True
Suppose -55*g = -78*g + 1035. Let d = -1 + 3. Suppose d*m - g = -m. Is m a multiple of 15?
True
Is ((-240)/50)/12*-40 a multiple of 7?
False
Let z(p) = 7*p**3 - 2*p**2 + 2*p - 1. Suppose -6*h = -2*h - 4. Is 6 a factor of z(h)?
True
Let a = 21 - 23. Suppose -6*n = -0*n + 132. Does 4 divide n/a*(-2)/(-2)?
False
Suppose 0 = 11*u - 2012 - 6381. Does 70 divide u?
False
Suppose 332 = 4*d + 5*t, 5*d + t - 6*t - 370 = 0. Is 26 a factor of d?
True
Suppose 2*j - 2*r - 4126 = 0, -174*r - 15 = -169*r. Is j a multiple of 15?
False
Let g = -82 + 86. Suppose 3*j = 5*c - c - 369, j = -g*c + 389. Does 32 divide c?
True
Let j = -123 - -126. Suppose 5*u - t - 140 = -j*t, 5*u - 3*t - 140 = 0. Is u even?
True
Let d be 11/(-3) - (84/(-18) + 5). Let o(s) = 11*s**2 + 6*s - 5. Let w(v) = 32*v**2 + 17*v - 14. Let a(y) = -17*o(y) + 6*w(y). Is a(d) a multiple of 27?
True
Let u = -13 + 137. Suppose 6*g - 8*g = -u. Is g a multiple of 20?
False
Let p = -4759 - -14797. Let q be 6/27 - p/(-27). Is (-1)/5 + q/60 a multiple of 6?
True
Let b be (-7)/(-2) - (-6)/(-12). Suppose -5*h = -b*f + 13 + 8, -4*f - 3*h - 1 = 0. Suppose 0 = -g + 4, c + c = -f*g + 26. Is c a multiple of 9?
True
Suppose 9*b - 12*b = 12, -5*b = 2*x - 58. Is 26 a factor of x?
False
Let f = 218 + -142. Let w = f + -28. Is 12 a factor of w?
True
Let y = 68 - 86. Let x(q) = q**3 + 18*q**2 - 9*q - 42. Does 24 divide x(y)?
True
Suppose -2*o + 62 = -4*p - 82, -2*o + 112 = 4*p. Is 3 a factor of o?
False
Let q = 34 - 18. Suppose -t = q + 10. Let d = t - -70. Does 19 divide d?
False
Suppose 4*j + 4*p = 48, 2*j - 3*p = -2*p + 39. Let c(y) = y**3 - 17*y**2 + 24. Does 6 divide c(j)?
True
Let k(g) = -119*g + 240. Does 5 divide k(-5)?
True
Suppose i = -4*n - 18, 31 = 4*i - i - 5*n. Let o(g) be the first derivative of g**3/3 + g**2/2 - 18. Is 3 a factor of o(i)?
True
Let l = 1451 + -895. Is 14 a factor of l?
False
Suppose 35 = 2*k + 3*k. Suppose k*h - 24 = 3*h. Suppose h = 2*j - 26. Does 8 divide j?
True
Suppose -4*f = -7*f - 6. Let n be (122/(-6))/(f/6). Suppose -n = -5*t + 2*u, -2 - 1 = -t + 5*u. Is 4 a factor of t?
False
Suppose -5*u = -d + 252, 3*u - 1120 = -3*d - 346. Is 48 a factor of d?
False
Let h = 495 - -72. Does 9 divide h?
True
Suppose -3*j - 4*v = -1822, -2*j - 1821 = -5*j - 3*v. Is 18 a factor of (1 - 2)/((-6)/j)?
False
Let r = 22 + -7. Suppose -5*i = -r*i + 1000. Does 20 divide i?
True
Let k be 4/12 + 6/9. Does 11 divide 32 - (k - 1) - (-2)/2?
True
Let o be 345 + 1/(-3) + (-13)/(-3). Suppose 2*g - o + 19 = 0. Is 11 a factor of g?
True
Let r = -424 + 614. Does 11 divide r?
False
Suppose -17*k + 475 = -3639. Is k a multiple of 48?
False
Does 42 divide (28/(-3))/(16/(-792))?
True
Let g(f) = 760*f - 76. Does 19 divide g(4)?
True
Let h = -1105 - -2023. Is h a multiple of 10?
False
Let h(p) = -p**2 - 10*p + 4. Let y = -19 - -13. Does 14 divide h(y)?
True
Let m(q) = -q**3 - 6*q**2 - 2. Suppose -6*a = -2*a + 24. Let r be m(a). Does 4 divide (-64)/(-4) + r + -2?
True
Let q = 707 - 14. Does 99 divide q?
True
Let f be 2 - (-4)/(-5)*(-5625)/6. Is (f/64)/(1*(-2)/(-8)) a multiple of 9?
False
Let x be (-50)/(-6) - (-2)/3. Let o = x - 4. Suppose -2*u = 2*y + u - 149, 0 = 2*y - o*u - 141. Does 32 divide y?
False
Suppose 5*p - 3*p - 4 = 0. Let o be ((-12)/(-42))/(p/28). Is 2/o*-2 + 14 a multiple of 4?
False
Let w(s) = -s. Let x be w(-3). Suppose 2*u - x*u = 3*j - 623, -2*j + u + 412 = 0. Suppose -5*r + 5*l - 4*l = -j, 4*r + 3*l - 177 = 0. Does 21 divide r?
True
Let w(d) = -d*