lse
Let q(a) = -9*a + 4*a + 3*a - 2*a - a - 4. Suppose -u = 5*n + 16 + 4, -5*n - 4*u - 20 = 0. Is 5 a factor of q(n)?
False
Suppose -4*i + 2*t - 99 = 181, -200 = 3*i + t. Let o = 104 + i. Let y = o + 2. Is y a multiple of 23?
False
Suppose -4 = -2*s, -61*p - s - 3838 = -62*p. Is p a multiple of 60?
True
Let z = 4640 + 2636. Suppose z + 9636 = 28*v. Is v a multiple of 28?
False
Let y(a) = -9*a**2 + 56*a + 33. Let d(l) = 4*l**2 - 27*l - 16. Let h(z) = -7*d(z) - 3*y(z). Does 8 divide h(16)?
False
Is (14916/32)/((-30)/(-240)) a multiple of 72?
False
Suppose 5*p - 3*f + 298 = 873, 5*p - 615 = -5*f. Suppose c - 3*b - p = 72, 4 = b. Is 92 a factor of c?
False
Suppose 5*w - 19955 = -245*j + 240*j, 0 = 2*j - 16. Is 5 a factor of w?
False
Is (-1 - 49/(-56))/(57489/(-28744) + 2) a multiple of 18?
False
Suppose -4*o + 352 = v, 15*o - 16*o + 1078 = 3*v. Let m = 60 - -2. Suppose -4*d = 2*r - v, 618 = 3*r - 2*d + m. Does 23 divide r?
True
Suppose -x = 9*r - 75370, -5*x + 11843 = r + 3449. Is r a multiple of 79?
True
Let u = 62 - 59. Suppose 2*n - u*n - 30 = -5*x, -3*x + 10 = n. Let w = 57 + x. Is w a multiple of 22?
False
Let z be (-891)/(-594) - (-2 + 3/(-6)). Suppose -5*d + 19 = 3*c, 4*c - c = d + 7. Suppose -z*r + 347 = 3*u, 4*u - c*r = r + 500. Is 18 a factor of u?
False
Let i(s) = 3*s**2 - 57*s - 9. Is 48 a factor of i(29)?
False
Let b(r) be the first derivative of r**4/2 - 13*r**3 + 12*r**2 + 17*r - 2. Is b(19) a multiple of 21?
False
Let g(q) = -14541*q - 223. Is g(-3) a multiple of 25?
True
Suppose -2*c - 30118 = -3*l, l - 14*l + 3*c + 130466 = 0. Is 19 a factor of l?
False
Let w be (-2)/(-7) + (-275)/7. Let r be (-10)/(-30) - 473/(-3). Let u = r + w. Does 7 divide u?
True
Let b be 18/4 - (5 - 2)/6. Suppose 2*n + 5*c = -35, b*n + c = -0*n - 25. Is 15 a factor of (2 + 2)*(-180)/n?
False
Let l be 14/(-6) + 3 + 1114/(-6). Let f = 268 + l. Is 34 a factor of f?
False
Suppose 0*k - 4*k = 16, -4*k = -3*j + 514. Let v = -129 + j. Is v a multiple of 6?
False
Let y(f) = -f**3 - 35*f - f**2 + 35*f. Let a(h) = -4*h**3 + 18*h**2 + 25*h + 34. Let p(o) = a(o) - 3*y(o). Does 20 divide p(22)?
True
Let x be (-1 - -4) + 0 + 0. Let i be 42/15 - x - 1132/(-10). Let h = i + -8. Is h a multiple of 12?
False
Let l(z) = 2*z + 14. Let h be l(10). Suppose -2*v + h = f, 28 = f + f - 4*v. Is f a multiple of 3?
True
Suppose 0 = 9*o - 9582 - 48720. Is o a multiple of 79?
True
Suppose 0 = 12*a - 10*a - 410. Suppose 0 = 4*b - 4 - 0, -3*y + a = -5*b. Does 7 divide y?
True
Let q(x) = 2*x**2 - 4*x - 5. Let o(u) = -3*u**2 + 4*u + 5 + 12*u - 11*u + 1. Let k(b) = -3*o(b) - 4*q(b). Is 36 a factor of k(-13)?
False
Suppose 2*n + 132940 = 5*a, -2*a + 1786*n + 53177 = 1785*n. Does 63 divide a?
True
Let z(p) = -p**3 - 12*p**2 + 2. Let i be z(-12). Does 6 divide (-2)/((5/3 - i)/3)?
True
Suppose n - 86*n + 340853 = -26007. Is n a multiple of 13?
True
Suppose -61 = -3*x + 5*u, -u + 0 = 5. Let n be (-287)/6 + (2 - 26/x). Is 9 a factor of 126/(-4)*n/28?
True
Let l(t) = -t**2 + 9*t - 10. Let s be l(7). Let a = -29 - -32. Suppose -626 = -s*g - d, a*g = 2*g - 5*d + 166. Is g a multiple of 26?
True
Let v(h) = h**3 - h**2 - 11*h + 7689. Is 8 a factor of v(0)?
False
Suppose 4*j - 271 = -91. Let h = 106 - j. Let i = -52 + h. Is i a multiple of 2?
False
Suppose -7*z + 0 = -28. Suppose -5*q = 4*a + 3, -2*a + z*q + 2 + 16 = 0. Let j(v) = 13*v + 6. Is 8 a factor of j(a)?
False
Let w be (873/(-12))/(7/((-168)/9)). Let f = -158 + w. Does 4 divide f?
True
Let o = 133 - 111. Is 10 a factor of o*(-135)/(-10) - 4?
False
Let z = 2330 + 1045. Does 27 divide z?
True
Let l be 10 - (-97207)/209 - (-4)/(-38). Let j = l + -103. Does 31 divide j?
True
Let h(k) = -504*k + 43120. Is 98 a factor of h(0)?
True
Let d be (-245)/(-35) + 0 + -7. Suppose 0 = v - 55 - 19. Suppose h = 4*l - 142, d = 2*l - 4*l + 2*h + v. Is 7 a factor of l?
True
Suppose 5 = 5*b, -120*g = -121*g + 5*b + 864. Does 6 divide g?
False
Let d(n) = 2*n**2 - 131*n - 793. Is 73 a factor of d(76)?
True
Let k(a) = 43*a - 430. Let i be k(10). Suppose 3*s = -4*y + 701, 11 = 4*y + 3. Suppose -2*q = i, -4*z + 2*q + s = -369. Does 30 divide z?
True
Let t be 3/((-156)/(-72) + (-4)/6). Let a be (t/4)/(4/3792). Suppose a + 87 = 11*o. Does 17 divide o?
True
Let j be ((-14)/(-28))/((-693)/(-690) + -1). Suppose 0 = -5*d - j + 4060. Is d a multiple of 11?
False
Suppose -155*q + 275*q = 2605680. Is q a multiple of 66?
True
Suppose 13*f - 40 + 14 = 0. Suppose 3*u = 8*v - 3*v - 1635, -5*v - f*u + 1610 = 0. Is 27 a factor of v?
True
Let k(s) = -s + 18. Let i be k(18). Suppose -14 = -4*z + 3*g - g, -4*z = 3*g - 29. Suppose i = z*t + 68 - 218. Is 2 a factor of t?
True
Let l(f) = 5*f**2 + 6*f + 11. Let c be l(-3). Let r = 191 + c. Does 46 divide r?
False
Let q be 54/(-36)*(-56)/6. Suppose -18 = 16*s + q. Is 6 a factor of 2 + (-3 - s)*-10?
True
Let c(g) = 1228*g + 25 - 615*g - 610*g. Does 2 divide c(-6)?
False
Suppose 240 = -f + 2. Suppose 4*m = -z - 16, -3*z - z = -4*m - 36. Is (-70)/(-28)*f/m a multiple of 29?
False
Let c(m) = -30 - 2 + 8 + 7 + 7*m + 3*m**2. Let s be c(-12). Let u = -195 + s. Does 34 divide u?
True
Suppose -13*p + 102 = -15. Is 17 a factor of (6/p)/(15/5940)?
False
Let j be 4/(1*(-5)/(-5)). Suppose -r = -x - x - 415, 2*x - 1710 = -j*r. Is r a multiple of 45?
False
Suppose -2*k - 19 = -2*p - 23, -50 = 5*p + 5*k. Is ((-1476)/24)/(p/56) a multiple of 7?
True
Suppose 969 + 671 = -5*c. Does 21 divide -10 - c - (-4)/(-1)?
False
Suppose 4*o - 20 = 0, 0 = -4*a + 3*o + 271 - 30. Is 8 a factor of a?
True
Is 19028 - 6/(-60)*-230 a multiple of 15?
True
Let j(r) be the second derivative of -r**4/12 - 32*r**2 - 15*r. Let o be j(0). Let y = o - -85. Is 4 a factor of y?
False
Let a = 49 - 46. Suppose 4*p - 177 = -a*o, -3*o - 53 = -5*p - 203. Is 11 a factor of o?
True
Let s be ((-14)/(-3))/((-11)/(8184/16)). Let b = 403 + s. Does 6 divide b?
True
Suppose -81*r = -22*r + 38528 - 158475. Is 19 a factor of r?
True
Let k(y) = y**3 + 55*y**2 + 260*y - 186. Is k(-33) a multiple of 9?
True
Suppose -137*y + 55*y + 1426964 = 0. Is 14 a factor of y?
True
Suppose -6624 = -64*x + 18*x. Is x a multiple of 24?
True
Let g(a) = a**3 - 29*a**2 - 2*a - 8. Does 16 divide g(52)?
True
Suppose 27*b + 6699 = 28*b - 3*z, 0 = -8*b - z + 53567. Is b a multiple of 31?
True
Suppose 5*i = 3*j - 7*j - 48, j + 9 = -2*i. Let o(y) = -y**3 - 13*y**2 + 55*y - 28. Is 19 a factor of o(j)?
False
Let w(d) be the second derivative of d**5/20 + d**4 + 5*d**3/6 + 4*d**2 + 23*d. Let p be w(-12). Let c = -43 - p. Is c a multiple of 3?
True
Let x(v) be the first derivative of -6 - 1/3*v**3 - 3*v**2 + 24*v. Does 6 divide x(-5)?
False
Suppose -3*p = 3*a + 115 - 343, -5*a + 52 = p. Is p a multiple of 41?
True
Is 17 a factor of (-231)/45 + 5 + 249516/270?
False
Suppose 109268 = -15*y - 33*y + 1225748. Is 71 a factor of y?
False
Suppose -438 = -n + s, -614 = -n - 5*s - 182. Let v = n + -166. Is v a multiple of 11?
False
Suppose 15440 = -2*m - 8*m. Let l = 2165 + m. Is 13 a factor of l?
False
Suppose 8740 = 4*g + 4*h, -4*g - h - 4349 = -6*g. Is 22 a factor of g?
True
Suppose -6*h + 12 = -24. Suppose 0 = -2*r - h*r - 288. Is 17 a factor of r/(-30)*340/6?
True
Suppose 6*a - 2 = -14. Let b = 21 - 12. Is 23 a factor of b/(-6) + (-187)/a + 0?
True
Let l = -188 + 193. Suppose -l*i + 2428 = -762. Is i a multiple of 11?
True
Let d be (-118569)/(-51) - ((-30)/(-34) + -1). Suppose -9*s - d = -7077. Is s a multiple of 22?
True
Suppose 2*u - 4*q = q - 467, -2*q - 748 = 3*u. Let t = u - -262. Does 10 divide t?
False
Let j = 6 - 3. Let t(c) = 7*c**2 + 7*c**2 + 5*c - 2*c - c**2. Does 26 divide t(j)?
False
Let a be (-1)/(3/10)*(-18)/15. Suppose -a*p - 5 = 5*u - 0, 0 = -2*p - 3*u - 3. Suppose p = -5*f - 3*f + 1136. Is 11 a factor of f?
False
Is 64 a factor of -2 + 1 + (16/3)/(9/7047)?
False
Let i(o) be the third derivative of -13*o**7/5040 + 7*o**6/720 + 11*o**5/60 - 30*o**2. Let r(z) be the third derivative of i(z). Does 3 divide r(-1)?
False
Suppose 4 = 23*x - 42. Suppose 2288 = x*n + 6*n. Is n a multiple of 13?
True
Suppose -13*l = -12*l - 12. Let m be ((-8)/l)/(4/(-12)). Does 5 divide (m/(-2))/(4 + 404/(-100))?
True
Let u be -3 + -67*4 - 2. Let w = u + 17. Is 15 a factor of (40/(-50))/(-2 + w/(-130))?
False
Suppose 0*u + 3*u = -4*z + 8, 4*