= 3*i**2 + 4*i - 4. Let d(m) = 7*g(m) - 4*u(m). Let y be d(-3). Suppose -a + y = -41. Is 11 a factor of a?
False
Does 7 divide (0 - 4)/(802/536 + 27/(-18))?
False
Let x(h) be the third derivative of 0*h**4 + 0*h - 2/3*h**3 + 8/15*h**5 + 0 - 29*h**2. Is 23 a factor of x(2)?
False
Let x = -75 + 79. Suppose 2*l - 4*u = 40 + 270, -5*u = -x*l + 635. Is l a multiple of 11?
True
Suppose 132 = 17*s + 47. Is 121 + 2 - (15/s + 2) a multiple of 13?
False
Let f(k) = 40*k + 4. Let s be f(5). Let v(x) = -x**3 - 13*x**2 + 22*x - 29. Let z be v(-14). Let g = s + z. Does 12 divide g?
False
Let z(w) = 7*w - 14. Let v = -66 - -61. Let u be z(v). Does 39 divide (-5712)/u - ((-34)/14 + 2)?
True
Let j = -249 - -108. Suppose 5466*w - 1751 = 5483*w. Let c = w - j. Is c a multiple of 19?
True
Let n be 2 + -6 - (-18)/(-4 - -7). Suppose n*f = 245 + 239. Is f a multiple of 8?
False
Suppose -36*g = -43*g + 42. Let s be g/6*-28*6. Let u = 392 + s. Does 16 divide u?
True
Let c = -2774 + 12595. Suppose -26*n = 2099 - c. Is n a multiple of 4?
False
Let t(i) be the second derivative of 4*i**3 - 51*i**2/2 + 2*i - 64. Does 23 divide t(5)?
True
Let y(i) be the second derivative of i**5/20 + 13*i**4/12 + 3*i**3/2 - i + 29. Suppose 3*g + 18 = -h, 4*h = 9*h - 4*g + 52. Does 12 divide y(h)?
True
Let s be (-82 - 8/(-1))/(-2). Suppose 32*r - s*r = -5040. Is 24 a factor of r?
True
Suppose 131*z - 135*z = 4*t + 108, -19 = t - z. Is 2*1261/4 - t/(-46) a multiple of 14?
True
Let q be 8/6*(-15)/(-10). Suppose b + q*b + 6 = 0. Is 4 a factor of 21/b*(-20)/7?
False
Let n(a) = a**2 + 4*a + 2. Suppose -7 = 2*x + 1. Let y be n(x). Suppose -5*f = y*f - 259. Is 37 a factor of f?
True
Let o be 4/(-84)*-6*28/2. Suppose 0*m = -o*m + 5*j + 31, 5*m - j - 23 = 0. Suppose -m*g + 218 = -302. Does 13 divide g?
True
Let y = -12438 - -13623. Does 9 divide y?
False
Is 2574/((-6)/4*(355/45 + -8)) a multiple of 234?
True
Suppose -6*j + 3*j = -9. Suppose -v - 4*i + 264 = -200, -464 = -v - j*i. Is (v/10)/(18/45) a multiple of 28?
False
Let i(f) = 2*f + 20. Let t be i(-9). Suppose -5*j - 170 = -2*g, t*g - 4*g = 5*j - 130. Is 11 a factor of g?
False
Let q(w) = 2*w**2 + w**2 - 3 - 5*w - w**2 - 5*w**2. Let d be q(-3). Let m = 54 + d. Does 6 divide m?
False
Does 96 divide (-19)/(-95)*15 - (1 + -2625)?
False
Let p be 294/24 - (-5)/(-20). Suppose p*i = 16*i - 576. Is i a multiple of 21?
False
Suppose 16 = 10*f - 6*f. Let v be 6/(-9)*(-43 + f). Suppose v*s + 81 = 29*s. Does 14 divide s?
False
Let d(r) = -r**3 - 4*r**2 + r + 2. Let x be ((-12)/(-15))/1*5/(-1). Let o be d(x). Is 4 a factor of (-213)/(-6) + 1/2 + o?
False
Let z(m) = -2*m**3 - 12*m**2 - 4*m - 9. Let r be z(-13). Suppose o = -10*o + r. Let i = -125 + o. Is i a multiple of 27?
False
Suppose 2 = -5*d - 3*z, 3*z - 1 = -3*d - z. Let x(t) = 2*t - 11. Let u be x(7). Is (-896)/(-8) + u/1 + d a multiple of 13?
False
Suppose -15*m + 3*f = -18*m - 63, -4*f = -m - 41. Does 80 divide (880/m)/(-4 + 396/100)?
True
Is ((-196)/(-10))/(682/8525) a multiple of 6?
False
Let r(t) = -t**3 + 12*t**2 + 2*t + 4. Let y be r(6). Let s = 9662 - 9682. Is 29 a factor of (y/6)/(s/(-30))?
True
Let d(n) = -n**2 + 13*n - 25. Let p be d(11). Let y be -2 - -2 - 11 - -2. Is 11 - ((-1)/(-3) - p/y) a multiple of 8?
False
Suppose 0 = 2*s + 3*i + 25, -1 = -s + 2*i + 4. Let q be 7 + (1 + s)/1. Suppose 0 = 5*o, 2*o = -q*g - 3*o + 162. Is 27 a factor of g?
True
Suppose 2*s + s - 3*p = 384, 0 = -4*s - 5*p + 521. Suppose 3*z - 6*z + s = 0. Does 3 divide z?
False
Suppose 0 = 2*c - c + 3*w - 13, 0 = 4*c - 5*w + 16. Let t be ((-1)/(-4) - (-15365)/(-20)) + c. Does 17 divide t/(-9) - 7*(-8)/(-252)?
True
Let h(y) = -y**3 - 109*y**2 + 114*y + 1517. Is 26 a factor of h(-110)?
False
Let r(q) = -10*q**3 - 18*q**2 + 7*q + 166. Does 5 divide r(-7)?
True
Is (-42499)/(-6) - (-524)/(-3144) a multiple of 9?
True
Suppose -4*a - 4*x + 100 = 0, 0 = 2*x - 6*x - 20. Let g = a - 25. Suppose -2*c - g*c = -84. Is 3 a factor of c?
True
Let b = -66 + 653. Let m = -177 + b. Is m a multiple of 41?
True
Let w be 2/((-10)/15) + 693. Let x = w + -455. Is 52 a factor of x?
False
Let l(u) = u**3 + 7*u**2 - 9*u - 6. Let d = 28 - 36. Let b be l(d). Suppose -2*r + 233 = -0*r + i, b*i = -2*r + 238. Is r a multiple of 18?
False
Let h = 86 + -56. Let i = h - 32. Let s(o) = -7*o**3 - 2*o**2 - o - 2. Is s(i) a multiple of 24?
True
Let h(t) = 496*t**2 - 23*t + 29. Let m(a) = -992*a**2 + 44*a - 59. Let s(b) = -5*h(b) - 3*m(b). Is s(2) a multiple of 86?
False
Let g = 2815 + -2595. Does 10 divide g?
True
Let b = 927 - -152. Let k = b - 659. Is 19 a factor of k?
False
Let d = -30 + 35. Suppose 0 = h - 3*c, d*h + 0*h - 3*c = 0. Let w(l) = l + 70. Is w(h) a multiple of 7?
True
Let y = 8192 + -4223. Does 63 divide y?
True
Let v = 35 - 31. Is (-4)/(-2) - ((v - 1) + -426) a multiple of 17?
True
Suppose 2*w = -4*j + 770, j + 5*w + 198 = 2*j. Let r = 779 - 816. Let b = j - r. Is b a multiple of 23?
True
Suppose -14*q + 20 = -10*q. Let p be (5 - q)*((-20)/(-12))/5. Suppose 0 = 3*l + 12, p*v = 3*v + l - 398. Does 12 divide v?
False
Let q(n) = n**2 - 81*n - 1600. Is q(-125) a multiple of 6?
True
Let l(m) = m - 15. Let r be l(13). Let v(k) = -9*k**2 + 1. Let c be v(r). Let a = c - -45. Does 2 divide a?
True
Suppose 46*z - 952992 = 944140. Does 34 divide z?
True
Suppose -61*t + 6 = -59*t. Suppose 10 - 2 = 2*u. Suppose -2*l = 8, t*r + 67 = u*r + 5*l. Is r a multiple of 21?
False
Suppose -4*h + 2316 = -0*n + n, -2*n - 3*h = -4662. Is n a multiple of 18?
True
Let n(x) = -4*x - 13. Suppose -4*p + 0 = -s - 15, 2*s = -5*p - 30. Let b be n(s). Let u = b - -123. Is u a multiple of 10?
True
Suppose -78210 - 117598 = -16*r. Does 58 divide r?
True
Let p(m) = -11*m + 19. Let z be p(2). Let n(b) = 60*b**2 - 4*b + 3. Is 52 a factor of n(z)?
False
Is 164/8*(-8640)/(-72) a multiple of 10?
True
Let r(a) = -4*a - 2. Let b(z) = -4*z - 2. Let p(k) = 5*b(k) - 4*r(k). Let u be p(-2). Suppose 420 = u*y - y. Does 21 divide y?
True
Let o = -8609 + 12158. Is 10 a factor of (-3)/5 + o/15?
False
Let f be (-3)/12 + -3*(-322)/24. Suppose -4*t - f = -76. Is t a multiple of 2?
False
Suppose -40 = 2*h - 12*h. Suppose 15*m - 13*m - 6 = 0. Suppose -m*l = h*l - 728. Is 14 a factor of l?
False
Let n = 1175 - -4214. Does 54 divide n?
False
Suppose -4*y - 54 = 2*a, -3*a + 17*y - 111 = 13*y. Let q = -102 - -46. Let o = a - q. Does 22 divide o?
False
Let s(k) = 145*k**2 + 3*k. Let o be s(1). Let f = o - 216. Is (-51)/f + 213/4 a multiple of 17?
False
Let d be ((-11)/(-4))/(30/120). Suppose -336 = -d*f + 3*f. Is 7 a factor of f?
True
Suppose -o - 3*f - 1 + 10 = 0, -f + 3 = -2*o. Suppose w - 5*p + 40 + 592 = o, 0 = -3*w + 4*p - 1951. Does 11 divide w/(-5) - 15/(-25)?
True
Suppose l - 52 = 3*l. Let r = -23 - l. Suppose -r*k + 2*v - 14 = -367, 0 = -5*k + 3*v + 587. Does 43 divide k?
False
Suppose -72 = -6*w - 12*w. Suppose -w*y - 4*r = -1576, 6*r - r = 3*y - 1190. Is y a multiple of 18?
False
Suppose 73 + 48 = w. Let q(o) = 8*o + 122 - 239 + w. Does 14 divide q(2)?
False
Suppose -23*v - 22*v + 2976 = -44*v. Is v a multiple of 89?
False
Suppose 10*b - 7*b - 237 = 3*q, -q = -2*b + 84. Let v = q + 159. Is v a multiple of 17?
True
Let i = 847 + 4093. Is i a multiple of 101?
False
Let v = 6259 - 543. Is v a multiple of 8?
False
Let r(d) = d**2 + 4*d + 7. Let o be r(-2). Suppose 3 = w + 3*l, -o*l - 2*l = 0. Is 6 a factor of 3*w + (-4 - -5) + -2?
False
Let r = 2856 + -2790. Let g be 91/(-4)*4/(-1). Let d = g - r. Does 14 divide d?
False
Suppose -6*k - 28 = g - k, 3*g - 4*k + 84 = 0. Does 14 divide (14/g)/((-3)/(-12)) - -867?
False
Suppose 12*g + 0*g = 4*g. Suppose -11*n + 4309 + 3633 = g. Does 10 divide n?
False
Let j(f) = -f**2 + 43*f + 544. Is j(28) a multiple of 3?
False
Let o = -6 + 0. Let i be (-4)/o*3*1. Let x(a) = 12*a**3 + 3*a**2 - 1. Is x(i) a multiple of 11?
False
Let c = 3950 - 3101. Is c a multiple of 8?
False
Let p(z) = -z**2 - 13*z - 16. Suppose -705 + 25 = -5*l. Let x be l/(-36) + -7 - 4/18. Does 3 divide p(x)?
True
Suppose -771*i - 4*t = -775*i + 740, -5*t = 5*i - 965. Is 7 a factor of i?
True
Suppose 41*k - 18808 + 71638 = 773528. Does 11 divide k?
True
Let b = -364 + 538. Suppose -4*t - 62 = -b. Is 3 a factor of t?
False
Let c be (-20 - -1034) + (-2 - (2 + -8)). Let h = -661 + c. Is 27 a f