lse
Is ((-3)/(-1))/((-1072)/1344 + 12/15) a multiple of 36?
True
Let b(k) = k**2 - 21*k + 410. Suppose 2*w - 2*c + 6 = -0*c, 2*c = 6. Does 41 divide b(w)?
True
Let y(i) = -428*i**3 + 7*i**2 - 58*i + 21. Is 29 a factor of y(-4)?
False
Let l = -98 - -213. Is 1 + 0 + 0 + (l - -3) a multiple of 17?
True
Suppose 0 = 3*h + 3, -30*h + 27*h + 412 = -5*k. Let i = 60 - k. Does 11 divide i?
True
Let x be 15/((-135)/18)*77. Let y = x - -317. Does 10 divide y?
False
Let o be -4 - (-254)/4 - 9/(-6). Let x = 338 - o. Does 8 divide x/2 + 21/14?
False
Let h be (11 - 1)*(27/(-6) + 5). Suppose 3*g + 2*n + n - 36 = 0, h*g = -3*n + 52. Is (-19 + 13)/((-6)/g) a multiple of 3?
False
Let u = -202 - -193. Let c(j) = j**2 + 8*j + 11. Is c(u) a multiple of 5?
True
Suppose 6*i + 66*y - 2400 = 62*y, -2*i = y - 798. Does 22 divide i?
True
Let q(f) be the second derivative of f**5/20 + 2*f**4/3 - 4*f**3/3 - 5*f**2 - 178*f. Is 3 a factor of q(-6)?
False
Let x(u) = -861*u - 7191. Is x(-35) a multiple of 12?
True
Is 27 a factor of -1941*(-9)/27 + 1?
True
Suppose -456501 = -349*t + 2348225 + 5637584. Does 205 divide t?
True
Let o be (27/108)/(1*(-1)/4). Let f(j) = 140*j - 19. Let x(c) = 70*c - 9. Let a(p) = 3*f(p) - 7*x(p). Is a(o) a multiple of 15?
False
Let j(f) = f - 22. Let l be j(0). Let k be l + (9/3 - 3). Does 14 divide ((-4)/(-5))/(k/(-385))?
True
Let y be ((-3)/6)/(4/(-8)). Let d be (214/(-4) + y)*1240/(-60). Suppose -5*j + d = 55. Is 44 a factor of j?
False
Suppose 5*l + 8216 = 2*p, p - 6790 = -4*l - 2669. Is p a multiple of 53?
False
Suppose -v - 3 + 6 = 2*i, 0 = -4*v + i + 12. Suppose -2*t + 888 = -0*o + v*o, 0 = 5*t. Let n = o + -140. Is 26 a factor of n?
True
Let d be (-10)/6*81/(-27). Suppose 2*a - 5*j = 10, -2*a = 5*j - 5 - d. Is 4 a factor of (90/4)/a*22?
False
Let c(t) = -34*t - 55. Let m(y) = -3*y + 13. Let a be m(7). Does 31 divide c(a)?
True
Let y(m) = -2*m**2 - 24*m + 5. Let u be y(-12). Suppose -2 = t, -5*a + u*t - 4*t = -12. Suppose -5*n + 5*c + 813 = 4*c, -a*c = -n + 168. Does 54 divide n?
True
Let f = -4716 - -5188. Is f a multiple of 4?
True
Let i = -229 - -574. Let t be (-407)/3 - 6/(-9). Let q = i + t. Is 52 a factor of q?
False
Suppose -7*s - 6*s + 3*s = 0. Let g(c) = -c + c**2 + 13 - 23 + 20. Is g(s) a multiple of 10?
True
Let z = 147 - 49. Suppose -10 + 22 = 4*d, 4*b - d - 1 = 0. Let r = z + b. Is r a multiple of 11?
True
Suppose -4*s = -4*v - 8, 5*s - 7*s - 2*v + 4 = 0. Does 10 divide s/5 - (1296/15)/(-4)?
False
Suppose 3*m - 15 = 0, -5*z = 6*m - 3*m - 30. Suppose -4*h - 12 = 0, 0*h + 3*h = z*q - 291. Let s = q + 41. Is s a multiple of 20?
False
Is 14 a factor of 5 + -6 + 10 - -4009?
True
Let l(a) = 9*a - 7. Let q be l(1). Suppose -q*v + 184 - 40 = 0. Is v a multiple of 6?
True
Let i = -602 + 554. Is 36 a factor of 3/6 - (-8)/(i/(-10365))?
True
Let i(o) = -o**3 - 13*o**2 + 6*o + 21. Let h be 3 - ((-6)/(-27) - (-906)/54). Is 7 a factor of i(h)?
True
Let a = 970 - -849. Let i = a + -1189. Is i a multiple of 63?
True
Suppose 3*a - 32 = -a. Suppose -4*s - 2*i = 2*i, -s - 5*i - a = 0. Suppose 16 = -4*k, 2*x - s*k - 194 = -34. Is x a multiple of 13?
False
Suppose -61*n + 72*n - 7018 = 0. Let v = n - 554. Does 7 divide v?
True
Let b(t) = -7*t - 9 + 3 + 2*t. Let x be b(-1). Let n(q) = 58*q**2 - 4*q - 3. Is 7 a factor of n(x)?
False
Is 66 a factor of (-155)/(-260) + 27/(-36) + 230067/39?
False
Let f(u) = -u**3 + 11*u**2 - 7*u + 13. Let k be -4 + (-3 - -3 - -13). Let g be f(k). Suppose -3*b - 20 + g = p, 4*p = 5*b - 159. Does 3 divide b?
False
Suppose h + 8*h + 18 = 0. Is 27 a factor of 1/h*(-8352)/((-8)/(-1))?
False
Suppose -185*k = 1136832 - 3575502. Is k a multiple of 78?
True
Let j(y) = -324 + 3*y + 0*y**2 + 4*y**2 + 317 + y. Is 3 a factor of j(-3)?
False
Suppose -25582 = -12*k + 54974. Is k a multiple of 49?
True
Let u be ((-21)/(-7) - 12)/(9/(-6)). Is 500/u*315/70 a multiple of 75?
True
Let s = -73 - -81. Suppose 0*m + 16 = s*m. Suppose 3*a + 5*o = m*a + 175, 3*o = -2*a + 343. Does 12 divide a?
False
Is (25/(-200)*174)/((-3)/4304) a multiple of 10?
False
Let h = 24322 - 22577. Is 2 a factor of h?
False
Suppose -4*h + 5614 = 5*f, -3*h + 6*f = 9*f - 4206. Does 16 divide h?
False
Let z(u) = -5*u + 31. Let a be z(5). Let y(i) = 32*i - 92. Is 12 a factor of y(a)?
False
Suppose -4*b = s - 30808, -3*b - 4*s + 11414 = -11666. Does 43 divide b?
False
Let x(f) = f**2 + f - 18. Suppose -2*g = 2*q - g - 8, 3*q - 2*g = 5. Suppose 0 = 4*l - q*d + 28, 2*l = -4*d - 26 - 10. Is 18 a factor of x(l)?
True
Let f be 24*10/(-4)*207/46. Let n(y) = -184*y**3 - y**2 - y + 1. Let k be n(1). Let s = k - f. Is s a multiple of 17?
True
Let d(y) = -y**3 - 15*y**2 + 3*y - 19. Let q be d(-15). Suppose -2*v = 2*v, 392 = 4*t + 3*v. Let w = t + q. Is w a multiple of 17?
True
Let q = -7711 + 9196. Is q a multiple of 11?
True
Let x = 644 + -194. Let p = x + -341. Does 10 divide p?
False
Let n(w) = -w. Let m be 30/(-8) - 6/24. Let o be n(m). Suppose -3*d = 3*k - 6, -5*k = -o*d - d - 50. Is k a multiple of 3?
True
Let s = 3508 - 3111. Does 4 divide s?
False
Let d be (12/24)/(2/452). Let s = d + -101. Suppose -s*i + 993 - 225 = 0. Is 8 a factor of i?
True
Suppose -2*w + 6 = 4. Is 16 a factor of 0/w + -2 - -194?
True
Let h(o) be the third derivative of 17*o**5/60 - 7*o**4/24 - o**3/3 + 6*o**2 - 1. Is 25 a factor of h(-5)?
False
Let c(s) = -9*s**2 - 483*s + 22. Is 44 a factor of c(-7)?
False
Let l(f) = 7*f**3 + 28*f**2 + 7*f + 6. Let g(m) = 15*m**3 + 55*m**2 + 14*m + 10. Let u(v) = -2*g(v) + 5*l(v). Does 26 divide u(-5)?
False
Let v be -2*1*-2*973/28. Suppose 0 = -m + 7*m + 372. Let a = v - m. Is 24 a factor of a?
False
Let g(q) = 31*q - 17 - 13 + 10 + 27*q**2 - 28*q**2. Let y be g(20). Suppose -3*h + 297 = -2*z, 2 = -2*h + 2*z + y. Is h a multiple of 22?
False
Let c(o) = 125*o**3 - 2*o**2 + 3*o - 2. Suppose -2*i + 0*i - y = -5, 0 = -3*i - 2*y + 9. Let v be c(i). Suppose -v = -5*w + 4*w. Is w a multiple of 27?
False
Let p = -59 - -63. Suppose 85 - 33 = p*i. Suppose i*g - 12*g = 50. Is 18 a factor of g?
False
Suppose -2*c - 1758 = -p, 0 = -2*p + 14*c - 9*c + 3515. Is p a multiple of 32?
True
Does 13 divide 1 + 2685 - (-30 + 38)?
True
Suppose 10292 = 2*i - 29*m + 27*m, 0 = 3*m - 6. Is i a multiple of 117?
True
Let v = -249 - -244. Is 43 a factor of (47/(-4))/(v/120) - 4?
False
Let z be ((2 + -2)*-1)/(-2). Suppose -4*m + 12 = -z. Suppose -m*g + 89 + 19 = 0. Is g a multiple of 12?
True
Let w(z) = z**3 - 18*z**2 - 5*z + 107. Let j be w(19). Suppose -377*k = -j*k - 672. Is 24 a factor of k?
True
Suppose 13 = 3*x + 22. Let r be x/(-9)*(3 - -6). Let y = 17 + r. Is 5 a factor of y?
True
Suppose m = 1 + 4. Suppose 2*l = 4*v - 18, -m*v = 2*l - 3*l - 15. Suppose -8*z + v*z = -606. Is 11 a factor of z?
False
Let y = 1822 + -1686. Is y a multiple of 8?
True
Let w(y) = 4*y - 36. Let a(h) = -h**3 + 9*h**2 - 6*h + 25. Let d be a(7). Suppose -d = -2*r - 49. Is 9 a factor of w(r)?
False
Let u = -21 - -129. Let w(p) = -64*p - 455. Let i be w(-10). Suppose u*k = 103*k + i. Is 8 a factor of k?
False
Let o(u) = -209*u**3 - 5*u**2 - 11*u - 26. Let i be o(-4). Suppose 674 = -16*f + i. Is f a multiple of 79?
True
Suppose -5*r + 2*r = -213. Let s = r - 68. Suppose s*d - 62 = 439. Is d a multiple of 29?
False
Suppose -4*u + 98724 = 5*k, -10094 = -4*k + u + 68881. Is k a multiple of 228?
False
Let w = 44 - 34. Let o(t) = 0 - 6 + w + 28*t. Is o(3) a multiple of 15?
False
Let m(p) = 4*p - 19. Let w be 11/3 - (-1)/((-3)/2). Suppose 0*v + 4*v - 28 = -4*c, 0 = -w*v - 12. Does 5 divide m(c)?
True
Does 56 divide 61692/10 + (-48)/(-48)*(-2)/10?
False
Suppose -c = 6*c - 0*c - 8743. Does 116 divide c?
False
Let x be ((-1)/6)/((-8)/(-32))*3. Is 1/(2 - x*(-903)/906) a multiple of 28?
False
Suppose -18180 + 26178 = 16*c - 139522. Does 189 divide c?
False
Suppose -3*z = -31*z + 4004. Suppose 150*l - 651 = z*l. Is 11 a factor of l?
False
Let l(j) = 40*j**2 + 146*j - 3054. Is l(19) a multiple of 236?
True
Let y(c) = 2265*c - 33. Let r be y(1). Suppose -3*t + 2*a + r = 0, 3*a = 4*t - a - 2980. Does 13 divide t?
False
Let c(q) = -q**3 - q**2 + q + 4. Let x be c(0). Suppose -3*v + 705 = -3*a, 2*v + 3*v + x*a = 1220. Suppose -3*u = -7*u + v. Is u a multiple of 30?
True
Suppose 4*q = -4*p + 7432, -273 - 3463 = -2*q + 3*p. Is q a multi