47*l - 10608. Is 17 a factor of l?
True
Suppose -n = 5*h - 34496, -3*h + n + 8140 + 12564 = 0. Suppose 24*q - h = 4*q. Is q a multiple of 15?
True
Is 11 a factor of (-38328)/(-21)*(-4 + 11)?
False
Suppose -3*d = -c + 249, 0*c + 4*c = -5*d - 432. Does 7 divide (-4044)/d - (-24)/28?
True
Let i(y) = y**2 + 2*y. Let h be i(2). Let q(u) = 4 + 4 + 3 - 11*u - 307*u**3 - 306*u**3 + 11*u**2 + 612*u**3. Is q(h) a multiple of 27?
False
Is 19 a factor of (1/6 - 110/(-44))*4287/2?
False
Suppose 27 = 12*n - 21. Suppose -3 = -n*z + 33. Let q = 159 + z. Does 24 divide q?
True
Let b(s) = -11*s**3 - 15*s**2 - 47*s - 31. Does 98 divide b(-5)?
False
Let r(c) = -5*c**2 + c - 4. Let y be r(-5). Let b = 314 + -510. Let q = y - b. Does 7 divide q?
False
Let a = 2277 + -796. Does 58 divide a?
False
Suppose -153707 = -5*j + 2*z, -22*j + 3*z = -18*j - 122953. Is 55 a factor of j?
True
Suppose -189*s = 4*l - 190*s - 37275, 4*l - 2*s = 37282. Is l a multiple of 12?
False
Suppose -3*a + 1417 = 2*r, 4*a + 5*r = 568 + 1326. Suppose 2*y = a - 81. Does 13 divide y?
True
Let c be (-285)/(0 + (-9)/6 + 0). Let z = c + 384. Is 14 a factor of z?
True
Suppose 3*f - 182536 = -4*c, -19*c - 4*f = -15*c - 182532. Does 29 divide c?
False
Let j = 3611 - 1293. Is 50 a factor of j?
False
Let o(g) = -g**3 - 8*g**2 - 8*g + 2. Let p be o(-7). Let m(n) = -n + 5*n + n - p*n + 37. Is m(6) a multiple of 4?
False
Let k(o) = 32*o**2 - 8*o + 7. Let t(g) = -32*g**2 + 9*g - 7. Let a(f) = 6*k(f) + 5*t(f). Does 30 divide a(3)?
False
Let n(y) = y**3 + 16*y**2 + 9*y - 37. Let r be ((-4)/((-16)/(-4)))/(-1). Let o be -5*16/(-20) + (r - 20). Does 6 divide n(o)?
False
Suppose 0 = -15*b + 10*b - 1195. Let s = -147 - b. Is s a multiple of 46?
True
Suppose -5*n - 7 = 4*u, 20 = 4*u - 13*n + 9*n. Suppose -u*h + 374 = w, -w = -4*h - 221 - 183. Is 8 a factor of w?
True
Let w(z) = -z**3 - 3*z**2 - 6. Let g be w(-3). Let u(o) = 7*o + 32. Let v(t) = 7*t + 33. Let b(f) = g*u(f) + 7*v(f). Is 13 a factor of b(0)?
True
Let v(j) = j**3 - 7*j**2 - 7*j + 1. Let z be (20/15)/(1*(-3)/(-18)). Let h be v(z). Suppose -74 = -h*u + 8*u. Does 19 divide u?
False
Suppose 0 = -5*o - 25, 2*o - 3 + 20 = l. Let y(p) = 5*p**2 - l*p + 4*p + p**2 - 5*p**2. Is 6 a factor of y(6)?
True
Is 17/((-51)/2248)*3/(-1) a multiple of 14?
False
Does 3 divide ((-123)/54*4 - 2/(-18)) + 10443?
True
Let f be 4/(-2)*(-2)/1. Suppose -f*v + 8*v - 4*u = 2084, 4*v - 2085 = 3*u. Is 10 a factor of v?
False
Let d(x) = x**3 - x**2. Let o(w) = -5*w - 3 + 3*w**3 - 19*w**2 + 32*w - 5*w**3 - 5*w. Let r(b) = -d(b) - o(b). Is r(-21) a multiple of 6?
True
Suppose 4*l - 4 = 0, -2*l - 33597 = -q - 0*q. Is 206 a factor of q?
False
Let s(o) = 3*o - 20. Let b be s(-16). Let l = b + 70. Suppose 0 = -c + 4*j + 35, 0*c + 37 = l*c + 3*j. Is c a multiple of 23?
True
Let w(k) = -2*k + 8. Let b be w(7). Is 7 a factor of -1 + (484 - -1 - b)?
True
Suppose 6*u + 93 - 3 = 0. Let o(q) = -q**2 - 15*q + 3. Let m be o(u). Suppose -186 = -m*p + 3*n, 3*p = -0*p + 2*n + 184. Does 6 divide p?
True
Suppose 4*s - 11665 = -j, j + 5843 = -50*s + 52*s. Is s a multiple of 13?
False
Let j(f) = 8*f + 2 - 70 + 0*f - f. Let a be j(6). Let p = -5 - a. Is p a multiple of 3?
True
Let y = 210 + -206. Does 17 divide -13*(y/(-12) - (-50)/(-3))?
True
Suppose 7*m - 2 = 6*m. Suppose 0 = 3*v - b - 507, -3*b + 327 = m*v - 0*v. Suppose 2*g + 38 = -5*f + v, -5*g + 290 = -5*f. Does 12 divide g?
True
Let b be 20/4 + -3 + 0 - 0. Suppose b = -q + 2*p, q + 2*p - 4 = 2. Does 12 divide (-360)/(-3)*(3/q)/3?
True
Suppose -9*n = -10*n + 724. Let o be (-3)/(-12) - n/16. Let z = o + 109. Does 3 divide z?
False
Suppose 1918004 + 1291539 = 87*s + 983561. Is s a multiple of 235?
False
Suppose -19*w - 855 = -14*w. Suppose 139*f - 142*f = 942. Let u = w - f. Is u a multiple of 12?
False
Let s(x) be the second derivative of -3*x**6/20 + x**5/60 + x**4/8 + x**3/3 + 10*x**2 - 11*x. Let n(c) be the first derivative of s(c). Is 18 a factor of n(-2)?
True
Does 45 divide 2916135/1620 + (-1)/12?
True
Suppose 4*t = n + 27415, 34253 = 5*t + 69*n - 65*n. Is 77 a factor of t?
True
Let v be (-4)/(-6) + ((-11256)/18)/(-7). Let o be 6/10 + 16506/v. Suppose g + d - o = 0, -147 = -g - 5*d + 53. Does 30 divide g?
True
Suppose -20*c = -26*c + 1218. Suppose -r - r - 140 = 0. Let a = r + c. Is a a multiple of 19?
True
Let c = -301 - -290. Let m(z) = 30*z**2 + 1. Let p be m(1). Let d = p + c. Is 5 a factor of d?
True
Suppose 311*m + 100800 = 361*m. Does 5 divide m?
False
Let r = -36 - 57. Let n = 225 + r. Does 28 divide n?
False
Let f(a) = 1 + 12*a + 1 + 2 + 3. Let h be f(0). Suppose h = 3*o - 236. Does 10 divide o?
False
Suppose -8*f - 12 = -12*f. Suppose -f*b + 1106 = -190. Is 16 a factor of b?
True
Let w = -236 + 479. Suppose -4*j = 5*p + w, 2*j + 6 = -j. Let u = -32 - p. Is u a multiple of 3?
True
Is -3*(-8 - ((-8216)/(-24) + 4)) a multiple of 2?
False
Let d = -130 + 338. Let t = d - -232. Is 40 a factor of t?
True
Let v(p) = 67*p - 1622. Is v(30) a multiple of 5?
False
Let y(m) be the second derivative of -4*m**3/3 - 27*m**2 + 5*m. Let o(i) = 4*i + 27. Let r(l) = 9*o(l) + 4*y(l). Is r(12) a multiple of 12?
False
Let y(m) = 24 + 19*m + 38*m + 4*m - 23*m. Is 11 a factor of y(11)?
False
Suppose 0 = 3*x - 0*c + 3*c - 54, x + 6 = 5*c. Suppose -162 = x*g - 8*g. Let a = g - -39. Does 2 divide a?
True
Let y(t) = 322*t**2 - 26*t + 379. Is y(10) a multiple of 243?
True
Let g = 1110 + 12897. Does 29 divide g?
True
Let l(d) = d**2 + d - 1. Let r be l(4). Suppose 5*g - 3*j - 250 = 0, g - 50 = r*j - 17*j. Is 5 a factor of g?
True
Let t = -62 + 34. Let v be 790/(-8) - (-58)/(-232). Is 12 a factor of (v/(-44))/((-1)/t)?
False
Suppose -4*i + 4 = -2*i + z, 20 = 3*i + 5*z. Suppose i = -6*p - 112 + 670. Is p a multiple of 10?
False
Let o(q) = 49*q - 75. Let b be o(8). Let h = 8 + b. Is h a multiple of 66?
False
Let t be (-456)/27 + (-1)/9. Let d = t - -61. Suppose 260 = 5*k + 3*a, 4*a + d = k - 8. Is k a multiple of 10?
False
Suppose 107*m = -120*m - 12*m + 6541908. Is m a multiple of 120?
False
Suppose 4*k - 252256 = 4*z, -19*k + 2*z - 126124 = -21*k. Is k a multiple of 39?
True
Let u(s) = -67*s - 52 + 93 - 60. Let h be u(-8). Suppose 372 = 4*w + 4*g, -3*g - 50 = 5*w - h. Is w a multiple of 16?
False
Suppose 77*u + 10981 = -18288 + 384393. Is u a multiple of 24?
False
Suppose x + 13 = 3*k, -6*k + 2*x + 2 = -8*k. Suppose -k*n + 4 = 25. Does 20 divide 10/35 - 418/n?
True
Let z = 183 - 178. Suppose -z*r = -4*g - 113, 66 = -5*r - g + 194. Does 15 divide r?
False
Let c = -67 + -27. Suppose -711 = -3*b + 39*f - 36*f, -477 = -2*b + 3*f. Let h = b + c. Does 35 divide h?
True
Let w be (-10)/(-40) - 11/(-4) - 9. Let d(k) = 3*k**2 + k + 18. Does 30 divide d(w)?
True
Suppose 9715 = -7*t + 41*t - 3001. Does 11 divide t?
True
Let d(w) = 253*w**3 - 11*w**2 + 7*w - 21. Is d(3) a multiple of 18?
True
Let v(i) = -i + 2. Let p be v(-5). Let j(a) = 20*a + 33. Let m be j(-1). Suppose p = -z + m. Is 6 a factor of z?
True
Let d = 5777 + 28. Does 8 divide d?
False
Suppose 3*l + 105 = 3*k, 0 = -4*k - 3*l + 3 + 165. Is (1 + k/(-12))/(27/(-1188)) a multiple of 3?
True
Is 5 a factor of (-15 + 1788/36)*24?
False
Let n be ((-23)/(-92))/(2/(1*40)). Suppose 0 = -n*a - 2282 + 2997. Does 11 divide a?
True
Let i(y) = 517*y + 1735. Is 62 a factor of i(49)?
False
Suppose 26 = 3*o - 2*o - 5*v, -o = -2*v - 23. Let f = -18 + o. Suppose -g + f*g = 32. Is g a multiple of 5?
False
Is -8*(-12)/(-96) - -8743 a multiple of 22?
False
Let g be 4 + (-6)/(-2) + 5. Let b(n) = 4*n**2 - 19*n - 54. Is 7 a factor of b(g)?
True
Let j(v) = -89*v + 3301. Does 13 divide j(26)?
False
Let m(z) = 8*z + 75. Let s be (105/(-84))/((-2)/(-8)). Is m(s) a multiple of 11?
False
Suppose 139*f = -4*f - 49*f + 28416. Is 74 a factor of f?
True
Let o(p) = 20*p**2 + 26*p - 18. Is o(4) a multiple of 6?
False
Does 90 divide (1/(-3))/((-14)/13020)?
False
Let d = -206 - -958. Suppose 20*n - 1888 - d = 0. Is 12 a factor of n?
True
Suppose 298*l - 135*l - 1593896 = 101*l. Is 29 a factor of l?
False
Is 6/(3/(-3)) - -11300 a multiple of 8?
False
Suppose 5*k = 15, -12*k + 14961 = l - 9*k. Is l a multiple of 14?
True
Let j(d) = -8*d**3 + 19*d**2 - 4*d - 7. Let y(o) = -9*o**3 + 18*o**2 - 3*o - 8. Let b(a) = 7*j(a) - 6*y(a). Does 28 divide b(9)?
True
Le