3)/(-19) - 2/l?
True
Let l(n) = -n**3 + 5*n**2 + 5*n + 9. Let j be l(6). Suppose -o - 16 = -5*u, 2*u + 8 = u + j*o. Suppose u*v - 8*v = -388. Is v a multiple of 32?
False
Suppose -5*g = -2*g + 615. Let z = 101 + g. Let r = z + 166. Is r a multiple of 10?
False
Let b(t) be the third derivative of t**5/60 - t**4/24 - t**3/6 + 3*t**2. Let l(p) = 3*p**2 - 21*p + 2. Let r(z) = 2*b(z) - l(z). Is 15 a factor of r(10)?
False
Suppose 3640 = 2289*c - 2276*c. Is c a multiple of 14?
True
Suppose -35*l - 21887 = -24862. Does 4 divide l?
False
Suppose 92 = 5*p - 188. Let g = p + -51. Suppose -g*q + l + 31 = 0, 8*q - 7*q + 1 = 2*l. Is 3 a factor of q?
False
Let g(f) = f**3 - 7*f**2 + 6*f + 10. Let l be g(6). Suppose 5*b - 1431 = 2*z, 12 = -14*z + l*z. Does 15 divide b?
True
Suppose -3*h + 3*i = -63, -25 = 3*h - 4*h - 3*i. Suppose 3*s - y - 48 = 0, s - h = -y - 2. Suppose 5*n - 160 = -5*m, 0 = -m + 8*n - 4*n + s. Does 11 divide m?
False
Suppose 2*m - f - 5026 = 0, 22*f = -2*m + 20*f + 5038. Does 55 divide m?
False
Let o(a) = -25*a + 105. Let j be o(4). Suppose 0 = 3*p - 5*m - 359, -5*m + 10*m = j*p - 595. Does 9 divide p?
False
Is 1 - (15234/(-13) - (-72)/(-468)) a multiple of 151?
False
Suppose 0 = -3*r + 3*o + 33, 0 = 5*r - 2*o - 13 - 48. Is 6 a factor of (6/(-5))/(r/((-2600)/12))?
False
Let z(c) = -30*c**3 + 2*c**2 + 8*c - 1. Let a be 55/22*(2 + 28/(-10)). Is z(a) a multiple of 21?
True
Does 137 divide 8765 - 63/((-336)/16)?
True
Suppose -4*u = -103 - 201. Let r = 203 + u. Does 31 divide r?
True
Suppose 3*x - 8 = 5*g, -g - 5 = 2*x - 6. Suppose -r = -4*m - 4, -5*m + x - 6 = -3*r. Suppose r*q = -c - q + 9, c - 13 = -5*q. Does 8 divide c?
True
Let l = 2049 + -218. Is l a multiple of 4?
False
Let u = -86 - -86. Suppose -5*k + h + 360 + 119 = u, 0 = -k + h + 95. Suppose -k = -0*c - 3*c. Does 4 divide c?
True
Let l(a) = a - 15. Let d be (14 - (4 - 3)) + -1. Let h be l(d). Let v(q) = -9*q - 6. Is 13 a factor of v(h)?
False
Let w = 2104 - 1015. Let n = w + -529. Does 20 divide n?
True
Let h(k) = 2*k**2 - 6*k. Let l be h(4). Let i(w) be the third derivative of w**5/20 + 5*w**4/24 - 4*w**3 - 9*w**2 + 8. Is i(l) a multiple of 26?
True
Suppose -18*k - 1314 = -27*k. Suppose 149*u - k*u = 708. Is 59 a factor of u?
True
Suppose -711 = -15*f - 2286. Let y be (1/2)/(1/406). Let s = y + f. Does 14 divide s?
True
Does 4 divide 7928 - 8/(-4) - 9/(0 + 3)?
False
Suppose -d + 11 = 2*n + 3, 0 = 2*n + 5*d. Suppose -3*x + 559 = -x + n*j, 2*x - j = 541. Is x a multiple of 8?
True
Let m = 1010 + -520. Suppose 0 = 2*w - 3*g - m, 0 = -5*g + 8 + 2. Does 31 divide w?
True
Suppose 4*m = -2*r + 2562, r + 2*m = -2*r + 3839. Suppose 0 = q + 10*l - 8*l - 425, 4*l = -3*q + r. Is q a multiple of 13?
True
Suppose 0 = -71*k - 995 + 168180 + 118235. Is 20 a factor of k?
True
Suppose -18*w + 18*w - 10956 = -4*w. Does 33 divide w?
True
Let l be -2 + 1 + (-3771)/(-9). Let k = -278 + l. Suppose 35*h + k = 37*h. Is 7 a factor of h?
True
Suppose -7443 = 6*q - 55371. Is 21 a factor of q?
False
Suppose -6*w = -146 - 148. Let y(a) = 18*a**2 - 12 + 11*a**2 - w*a**2 + 2*a + 21*a**2. Is y(-8) a multiple of 12?
True
Let k = -75 - -57. Let z = k + 10. Let h(p) = -6*p + 10. Is h(z) a multiple of 11?
False
Let r(j) = 3*j**2 + 16*j - 40. Let a be r(2). Let b(g) = g**3 + g**2 - 9. Let c be b(0). Is 5 a factor of (-5295)/(-135) - (a/c)/(-2)?
False
Let j(q) = 2*q**3 - 6*q**2 + 9*q**2 - 2 + 9*q - 3*q**3 + 9. Let n be j(7). Let m = n + 184. Is 12 a factor of m?
False
Let d(t) = 577*t**2 + t - 581*t**2 - 4 - 3*t + 2*t**3. Let o = 0 + 3. Is d(o) a multiple of 2?
True
Let w = 357 - 202. Is 2356/w*(-1 - 94/(-4)) a multiple of 59?
False
Let k be 38/(-19)*1/2. Let q be 70/14 - (-8 - k). Suppose -q = 6*x - 7*x. Does 2 divide x?
True
Let f(r) = 105*r**2 + 2*r + 8. Does 5 divide f(-2)?
False
Suppose -3*b - 2*b = -10. Suppose d + 4*i = -b*d + 421, 5*d + 4*i = 691. Let s = -51 + d. Does 22 divide s?
False
Let w = -45 + 51. Suppose 2 = 4*o - w. Suppose 2*c = -4*n - 0*n + 270, 0 = o*n + 3*c - 129. Is n a multiple of 23?
True
Let y(l) = 3*l**3 - 9*l**2 + 5*l + 6. Let m = -425 + 431. Does 12 divide y(m)?
True
Let t(q) = q**3 - 10*q**2 + 16*q + 5. Let w be t(8). Suppose 3*p + 240 = -w*g + 988, g + 1 = 0. Is p a multiple of 57?
False
Suppose -10156 = -9*r + 1562. Is (-38)/(-57)*r/4 a multiple of 14?
False
Suppose 63*q = 60*q + 9. Suppose 5*v = 3*v - q*v. Suppose 3*s - z = s + 46, -3*z = v. Is 18 a factor of s?
False
Let n = -28 - -28. Suppose n + 48 = 3*w. Suppose 44 = 2*d - w. Is 28 a factor of d?
False
Suppose o + 63827 + 28703 = 8*r, -o = -4*r + 46262. Is 74 a factor of r?
False
Let v = 11 - -267. Let w = 350 - v. Is w a multiple of 9?
True
Let d(w) = 5*w**3 - 53 - w**2 - 19*w + 5*w**2 - 4*w**3 + 91 + 56. Is d(7) a multiple of 10?
True
Let k = 28 - 14. Suppose -4 = -6*m + k. Is (-864)/(-81)*m/(-4)*-14 a multiple of 17?
False
Let q(x) = -x**3 - 27*x**2 + 89*x - 28. Let d be q(-30). Does 96 divide 2878/d + (-128 - -129)?
True
Suppose -154000 = -24*w - 46*w. Is 2 a factor of w?
True
Suppose -5*z + 44 = -4*z. Let q = 24 + z. Suppose -340 = -4*c + m, c + 5*m = m + q. Is c a multiple of 10?
False
Let w(i) = -2*i + 33. Let x be (-16)/(-9) + -2 + (-734)/18. Let s = -51 - x. Is 10 a factor of w(s)?
False
Suppose 0 = -9*a + 15*a - 24. Suppose 3*t + 4 = 5*g - 9, 4*t + 12 = a*g. Does 38 divide (t + (-15)/(-9))/(8/2076)?
False
Let j = -10 + 3. Let w be -3 + 552/(-30) - (-12)/30. Is 15 a factor of -1*9*j/(w/(-30))?
True
Suppose -1004 + 562 = -34*w. Suppose -2*g + 177 = g. Let s = w + g. Is 18 a factor of s?
True
Suppose 0 = -3*p + 36 - 15. Suppose -p*q + 2*q + 10 = 0. Suppose w = -0*w - 2*n + 106, -q*w - n = -221. Does 16 divide w?
True
Suppose 20*p - 70538 = 7*p. Does 24 divide p?
False
Let b = 41 - 20. Let g(t) = 6 + 4*t**2 - 22*t + 2 + b*t. Does 19 divide g(-4)?
True
Let w(l) = 5 + 15 + 10*l - 77*l. Let a be w(-4). Suppose 11*m = -7*m + a. Is 8 a factor of m?
True
Let j be 2/8 + (-1)/4. Let y(f) = 2*f + 0*f + 12*f**3 + 13*f**3 - f**2 + 132 - 9*f**3 - 14*f**3. Is 22 a factor of y(j)?
True
Let x(o) = 6*o**3 - 2*o**2 - 15*o - 54. Let w be x(-4). Let r = w + 1454. Is r a multiple of 41?
False
Suppose -36*z = -35*z. Suppose 2*y - d - 394 = z, 0*y - 406 = -2*y - 5*d. Does 11 divide y?
True
Let x(d) = 5*d**3 - 68*d**2 - 38*d + 18. Does 3 divide x(15)?
True
Let w(p) = p - 5. Let u be w(13). Let b(m) = m**3 - 8*m**2 + 11*m - 7. Does 3 divide b(u)?
True
Let o(r) = -62*r + 31. Let h(u) = -124*u + 61. Let f(d) = 6*h(d) - 13*o(d). Does 2 divide f(3)?
False
Let n = 910 + -493. Suppose 416*m - n*m = -142. Is m a multiple of 71?
True
Suppose -13*l - 110 = 98. Does 4 divide ((-1204)/35)/(-1 + l/(-20))?
True
Suppose 11*x + 2*x - 624 = 0. Suppose -46*o = -x*o. Suppose o = 4*u - 0*f + 4*f - 560, 5*u - 3*f - 724 = 0. Is u a multiple of 19?
False
Suppose 4*m + 20 = 4*c, -m - 3 = -6*c + 7*c. Does 28 divide (-13 - 4677/(-24)) + c/8?
False
Let h = 212 + -201. Suppose -2*o = -h*o + 972. Is o a multiple of 27?
True
Suppose 18 = 9*c - 18*c. Let u be (9/(-18))/(c - (-1110)/556). Suppose 2*y - 4*z = 156, 3*y - z - 75 - u = 0. Is y a multiple of 10?
True
Suppose -102*a + 129949 + 89759 = 0. Does 19 divide a?
False
Let p(k) = 87*k**2 - 2*k + 2. Let t(x) = x - 12. Let q be t(17). Suppose 1 + q = 6*r. Does 8 divide p(r)?
False
Suppose 4*x = -4*b + 648, -3*b = 2*x + 2*b - 327. Let w = -232 + x. Is (-5)/((-5)/4) - w a multiple of 13?
False
Let z(j) = -6*j - 14. Let h be z(-3). Suppose -5*p + 6*x + 10 = x, -h*x - 8 = 5*p. Suppose 32 = -p*v + 2*v. Is v a multiple of 16?
True
Let p = 55 - 133. Let q = -62 - p. Suppose -803 - q = -7*f. Does 9 divide f?
True
Let p(q) be the second derivative of -20*q**3/3 + 237*q**2/2 + 25*q. Does 47 divide p(-7)?
True
Let b(f) = 60*f**2 - 23*f + 12. Let t be b(9). Let a be (-30)/((-10)/t*-3). Is 8/6 + a/(-45) a multiple of 11?
False
Let p = 886 + 614. Let g = p + -1020. Does 12 divide g?
True
Suppose -h = -4*z + 18811, -23535 = 6*z - 11*z - 3*h. Suppose 28*x - z = -784. Does 3 divide x?
False
Let h(k) = 13*k + 143. Let d be 10/4*90/25. Is 20 a factor of h(d)?
True
Let y be 50/(-200) - ((-8578)/8)/1. Suppose 3*d - 6*d - 12 = 0, -4*p = 5*d + y. Let o = p + 452. Does 21 divide o?
True
Let c = -6194 + 16511. Is c a multiple of 16?
False
Does 83 div