*i + 4932. Is 23 a factor of i?
False
Let a = -6 - -1. Let z(n) be the third derivative of -3*n**4/4 + 2*n**3/3 - 368*n**2. Is 9 a factor of z(a)?
False
Does 12 divide (-172)/(-29) + (-16)/(-232) + 1*10666?
False
Let z = 15434 + -4387. Does 15 divide z?
False
Let f be 6/2 + -5 + -3 + 8. Suppose 0*c - 3*c + 3 = f*s, 5*c = 2*s + 19. Does 43 divide s - (-1107)/5 - 4/10?
False
Suppose -14 = -5*h + j, -26 = -4*h - h + 4*j. Let b be 8 - 5 - (-1)/(-3 + h). Suppose -2*z = -v + 47, 7*v - b*v - 3*z - 228 = 0. Does 17 divide v?
False
Suppose 3*h = 5*w - 35231, 3*w + 83*h - 21129 = 86*h. Is 11 a factor of w?
True
Suppose 6*q + 4 = 16. Suppose 5*d + 53 = -a + 164, q*a + 5*d = 227. Does 58 divide a?
True
Let m(l) = l**2 - 17. Let p be m(5). Suppose 0 = -5*i + p + 37. Suppose 0 = -i*c + 232 + 506. Is 10 a factor of c?
False
Suppose -2*j - 28*a = -23*a - 6253, 0 = 4*j + 2*a - 12466. Is 28 a factor of j?
False
Suppose 2*c + 6 = 2*t + 6*c, 7 = 3*t + 4*c. Let v(s) = 682*s + 2. Let n be v(t). Suppose 5*d = -2*a - a + 831, -4*a = -4*d + n. Is 24 a factor of d?
True
Let h be 9/5*115/(-23). Is (-441)/(-1) - 4*(8 + h) a multiple of 16?
False
Let b = 7355 - -933. Is b a multiple of 74?
True
Suppose 0*t + 308 = -4*t. Let h be ((-282)/6 + 5)*1/1. Let q = h - t. Is 7 a factor of q?
True
Let b be ((-120)/18 - -5)/((-5)/6). Let v = 8 + b. Is 3 a factor of v?
False
Suppose g - 736565 - 346440 = -34*g. Is 120 a factor of g?
False
Let y be (-1 - -12)*(-288)/(-48). Is 15 a factor of 90/1*44/y?
True
Suppose 0 = -5*z + l + 15, 5*l = 2*z + 2*z + 9. Is 3 a factor of (z - -38) + (9 - 6)?
True
Suppose 62 = 2*j - 2*y, -4*j - 2*y = y - 96. Suppose j*v - 30*v = -2472. Is 75 a factor of v?
False
Let k(f) = 12*f + 6. Let b be k(-22). Let g = b + 364. Suppose 2*x = -s + g, 1 = 2*x + 7. Is s a multiple of 18?
False
Let m(q) = -q**3 - 7*q**2 - 14*q - 2. Let p be m(-3). Suppose -5*f = 5*n - 900, -4 = p*f - 20. Is 11 a factor of n?
True
Let g(t) = -69*t - 298. Let o(b) = 70*b + 295. Let r(h) = 6*g(h) + 5*o(h). Does 96 divide r(-14)?
False
Let j be (130/2)/(6/6). Suppose h - j = 82. Let n = -51 + h. Does 24 divide n?
True
Suppose -6*u + 2915 = 8165. Let r = -76 - u. Is r a multiple of 17?
True
Suppose 28*a - 16*a = 44712. Does 9 divide a?
True
Is ((-24)/36)/(3/(-1*16938)) a multiple of 13?
False
Suppose -880 = -a + 643. Does 49 divide a?
False
Let g = -68 - -112. Let d(q) = 3 + q**3 - g*q + 26*q**2 + 5 + 1 + 87*q. Is 7 a factor of d(-24)?
False
Is 9 a factor of (-38128)/(-7 + -1) + 13?
True
Let x(j) = -j**2 + 0*j**2 + 150*j - 18 - 134*j. Let v = 29 - 16. Does 13 divide x(v)?
False
Let u(l) = l + 36. Let s(f) = 16*f - 216. Let k be s(12). Does 12 divide u(k)?
True
Let m(f) = 5255*f**2 - 8*f + 8. Is m(1) a multiple of 3?
False
Suppose -12*p - 24 = -8*p, 0 = -5*s - 3*p + 37702. Is s a multiple of 184?
True
Suppose 6*d - 6 = -3*g + 4*d, -3*g = -5*d - 6. Suppose 0 = 3*i, 7*i - 3*i = g*v - 1120. Is 16 a factor of v?
True
Suppose -5*v + 38 - 8 = 0. Let h be v - (4 + -1 + -1). Suppose -2*d = -2*g - 86, 3*d + 5*g + 43 = h*d. Is d a multiple of 12?
False
Let a(g) = 8*g**2 + 19*g + 217. Is 55 a factor of a(-24)?
False
Suppose 0 = -5*b - 1 - 14, g + 4*b + 10 = 0. Suppose 0 = 5*l - 5, o + 374 = g*o - 4*l. Does 27 divide o?
True
Suppose -3*a + 325 = -5*w, a - 71 = 2*w + 36. Suppose -2*o + q = -4*q + 53, -q + a = -4*o. Let v = 40 + o. Does 11 divide v?
True
Let y be ((-546)/70)/13 + (-6)/(-10). Does 14 divide -9 + 8 - (-67 + (y - 4))?
True
Let d(t) = 117*t**2 - 114*t - 1. Let j be d(5). Suppose j = 8*s - 782. Is s a multiple of 28?
True
Suppose 0 = 4*p + p. Suppose -2*q + 3*b + 2 - 3 = 0, -q + 5*b - 11 = p. Suppose q*i - 184 = 16. Is i a multiple of 15?
False
Suppose -63*a + 67*a = 152. Let t = a + 4. Is (3850/t)/((-2)/(-6)) a multiple of 25?
True
Suppose -10*r + 12 = -38. Suppose r*n - 4 = 6. Suppose 0 = -n*z + k + 25, 0 = 4*z - z - 5*k - 48. Does 11 divide z?
True
Let d(u) = -4*u**3 - 7*u**2 + 2*u + 25. Let y be d(-6). Let l = y - 442. Is 61 a factor of l?
True
Suppose 2691 = -5*r - o, o - 399 + 2551 = -4*r. Let a = r - -1075. Is 34 a factor of a?
False
Let b(s) = 7*s**2 - 9*s + 32. Let p be (30/(6/2))/(-1 - -3). Suppose 3*o - 11 = -u, -p = -o - 0*o + u. Is b(o) a multiple of 27?
True
Let x be (-2)/4*(-21 - -19). Does 5 divide x/(7/(-98)*(-2)/15)?
True
Let j = 111 - -246. Suppose -5*m + 123 = -v, 3*v - 6*m + 3*m = -j. Does 4 divide v/(-5) + (-4)/(-10)?
True
Suppose 151*w = 160*w + 4491. Let n = 614 + w. Is n a multiple of 5?
True
Suppose 745102 = 14*o + 132014. Is 70 a factor of o?
False
Let p(c) = -2*c**3 + 7*c + 2. Let x be p(-2). Suppose y + x*y - 475 = 2*k, -4*k = 5*y - 475. Is y a multiple of 28?
False
Let j(l) = 6*l**2 - 175*l + 148. Does 16 divide j(60)?
True
Let j = 169 + -160. Suppose 2*t - 2*l = 730, 4*t - 8*l - 1435 = -j*l. Is t a multiple of 30?
True
Suppose 3*i - 1096 = -n - 16, -4*n = i - 349. Let s = i - 29. Does 20 divide s?
False
Suppose -34*o - 17*o = -36*o - 119700. Is 21 a factor of o?
True
Does 5 divide 96*-3*2*61/(-122)?
False
Let v be -6 - 10/((-70)/63). Suppose -v*b + 2437 = 817. Does 27 divide b?
True
Does 20 divide (-100)/6*((-6)/33 - 78596/55)?
True
Suppose 4*n - 15 = 1, -2*h + 11300 = 4*n. Does 27 divide h?
False
Suppose -2292 = -3*k + 4*s, 127*k + 1518 = 129*k - s. Does 84 divide k?
True
Let n(s) = -s**3 + 5*s**2 - 5*s + 28. Let d be n(5). Suppose 1052 = 4*h + z, 14*h = 9*h + d*z + 1332. Is h a multiple of 88?
True
Suppose -3*n - 6*k + k + 1304 = 0, 0 = -k - 5. Suppose 3*x - d = n, -42 - 97 = -x - 4*d. Is 7 a factor of x?
True
Suppose 3*o + 2 + 71 = -5*d, -o + 2*d = 28. Is 25 a factor of (-2*1)/(o/3263)?
False
Let i = -367 - -151. Let g = i + 339. Is g a multiple of 20?
False
Let j be (41/123)/(2/18). Let q(o) be the third derivative of -o**6/120 + o**5/10 - 5*o**4/24 - o**3/2 - 12*o**2. Is 6 a factor of q(j)?
False
Let m be 2/11 + 13/((-143)/(-394)). Is 17 a factor of -3155*m/(-330) + (-6)/33?
False
Suppose 0 = -4047*n + 4069*n - 11154. Is 39 a factor of n?
True
Let i = 303 - -103. Suppose -s + 2*h - 56 = -450, s - 5*h = i. Is 15 a factor of s?
False
Let x = -6863 - -8114. Is x even?
False
Let l(k) = k + 4. Let z be l(-3). Let t be 4/(14 + -2)*(z - -1136). Suppose -4*x + 0*r + 359 = r, -3*r - t = -4*x. Is 13 a factor of x?
True
Let z = -89 + 85. Let v = z + 1. Is 8 a factor of (-1 - 0) + v - (-5 - 22)?
False
Is 73 a factor of 5 - (4 + (8 - 5582))?
False
Let t(c) = c**2 + 9. Let b be t(6). Let x(o) = -o**2 + 3*o. Let d be x(3). Suppose -3*g + 3*f + 135 = d, 2*g = -f + b + 42. Is g a multiple of 8?
False
Suppose -574 = -5*g + 786. Let c be (-8915)/(-25) + 6/(-10). Suppose 5*f - r = c, 4*f + r - g = 5*r. Does 24 divide f?
True
Suppose -3881 = -3*o - v, 5183 = 15*o - 11*o + 3*v. Is 17 a factor of o?
True
Suppose 0 = -470*x + 208*x + 236*x + 1997424. Is 22 a factor of x?
True
Suppose -38*t + 44825 = -59323 + 25108. Does 114 divide t?
False
Let z = 16230 + -2634. Is z a multiple of 12?
True
Let k = 647 - 641. Suppose 241 = -k*d + 1519. Is 3 a factor of d?
True
Let s(d) = -d - 1. Let o(p) = -22*p - 37. Let b be (-5)/2*13/(26/(-4)). Let h(k) = b*s(k) + o(k). Does 24 divide h(-6)?
True
Suppose 23*a - 132 = 12*a. Let n be -1*(-1 - 2) - -1794. Is 30 a factor of 0 + 1/4 + n/a?
True
Suppose 5*y = -u - 23, 5*u - u + 3*y + 7 = 0. Suppose s = -1, -u*s - 43 = -4*p + 67. Is 27 a factor of p?
True
Is (-67440)/(-90)*148*15/80 a multiple of 14?
False
Let i = 1013 - -10371. Is i a multiple of 84?
False
Let t = 106 - -162. Suppose -p - 8*a = -7*a - 61, -4*p + 2*a + t = 0. Is p a multiple of 5?
True
Let j(z) = 5*z**2 - 24*z + 2304. Does 192 divide j(72)?
True
Let t(c) = -c**2 - 7*c + 60. Let q be t(-12). Suppose 4*u = -q*u - 44. Let b(s) = -s**2 - 15*s - 8. Is b(u) a multiple of 25?
False
Suppose 0 = -81*m + 65*m - 48. Is 9 a factor of 845 - (8/12 + 5/m)?
True
Suppose -2*z = -36 + 112. Let f be 7/21 - (z/(-6) + 0). Does 16 divide f/(-4) - (170/(-4) + 3)?
False
Let p(l) = 4*l**2 - 151*l + 87. Let g be p(38). Suppose -4*b = -800 - 512. Let o = b - g. Does 34 divide o?
False
Let u = -115 - -104. Is (-12 - (-1 + 3))*u a multiple of 22?
True
Suppose 0 = k - 5*k - 4*t - 16, -4*t - 16 = -k. Suppose 3*j - 31 - 31 = s, k = -5*s - 10. Is 17 a factor of (-4)/(-10) + ((-22688)/j)/(-4)?
False
Suppose 12*k = 