be the first derivative of t**4/4 - 8*t**3/3 - 3*t**2/2 + 46*t + 40. Is g(8) a multiple of 3?
False
Let n be (2/6)/((42/171)/14). Suppose -32 = -3*k + 4*l, 0*l + 3*l + n = k. Suppose -k*g + 1129 = 157. Does 37 divide g?
False
Let x(f) = -296*f - 1321. Is x(-19) a multiple of 4?
False
Suppose -3*j + 340 = -j. Suppose 2*w - j - 192 = -2*x, w = 3*x - 547. Is 14 a factor of x?
True
Let w(n) = -7*n + 16. Suppose 0*o + 30*o + 330 = 0. Is 2 a factor of w(o)?
False
Suppose 4*p - 4*l = 218668, -164033 = -3*p - 31*l + 30*l. Is p a multiple of 405?
True
Let j(f) = 1434*f - 9520. Does 49 divide j(35)?
True
Let c(k) = 4*k**2 - 13*k - 2. Suppose -48*t + 45*t + 72 = 0. Suppose -f + 20 = t. Is 19 a factor of c(f)?
True
Let x = 14787 - -1588. Does 18 divide x?
False
Let k(a) be the second derivative of 37*a**5/20 - a**4/12 + a**3/6 + 4*a**2 + 37*a. Let v be k(4). Is v/36 - (-8)/6 a multiple of 4?
False
Suppose 0 = 3*v - 13 + 1. Suppose m - v*w - 127 = 0, m + 3*w + 2*w - 100 = 0. Is 5 a factor of m?
True
Let j = 664 + -249. Suppose j = -15*t + 1855. Is t a multiple of 13?
False
Let w = 35417 - 23293. Is 7 a factor of w?
True
Suppose 148*q + 415*q - 3358299 = 172*q. Is q a multiple of 26?
False
Let y = -90649 - -135844. Is y a multiple of 23?
True
Suppose 10 = -60*l + 62*l. Suppose 7*k - l = 226. Let z = -21 + k. Is z a multiple of 3?
True
Let x be -5 - (6 - (1 - 21)). Let h = x - -155. Is h a multiple of 3?
False
Suppose -105*u - 116*u = -366694 + 139948. Does 9 divide u?
True
Suppose -3*d = -l - 109, d = 5*d - 3*l - 142. Suppose -d*a - 333 = -38*a. Is a a multiple of 37?
True
Let i(q) be the first derivative of -9*q**2 - 4*q + 1. Let a = -411 - -404. Does 6 divide i(a)?
False
Does 23 divide (-2)/5 - ((-17914)/10 + 48/(-16))?
True
Suppose 41920 = 49*p - 29*p. Is 5 a factor of p?
False
Let s = -331 - -629. Suppose -8*p - 146 = -s. Does 6 divide p?
False
Let t(s) = s**3 - 12*s**2 + 12*s + 59. Does 25 divide t(13)?
False
Is 44 a factor of 127 + -121 - (3 - 2 - 4666)?
False
Suppose 0*i + 3*b + 71 = 5*i, -5*i + 2*b = -69. Suppose -i*l + 635 = -353. Does 12 divide l?
False
Let o(d) be the first derivative of 9*d**2/2 - 21*d + 63. Let v be 2 - (0 - 1)*3. Is o(v) a multiple of 8?
True
Suppose 2*c - 145 = -k - 4*k, 0 = -5*c. Suppose k - 37 = -o. Does 2 divide o?
True
Suppose -3*u - l - 6 = -15, -l = -5*u + 7. Does 15 divide u - -1*104/8?
True
Suppose -7*j - 308 = 14. Let p = j + 33. Let r = p + 113. Does 10 divide r?
True
Suppose -3 = -2*s + 5. Suppose 5 + s = -3*h. Does 5 divide -1*(-1 - h) - -7?
True
Let j(g) = -g**2 + 7*g + 8. Let c = -2 - -11. Let n be j(c). Is 64/(-6)*45/n a multiple of 12?
True
Let r be 192*3*(15/(-9))/(-1). Suppose 68*n = 88*n - r. Is n even?
True
Suppose -5*g = -7*g + 4*w + 528, -5*w - 795 = -3*g. Suppose -3 + g = d - 2*y, 0 = 4*d + 2*y - 1088. Does 26 divide d?
False
Let w = 22181 - 13752. Does 62 divide w?
False
Suppose -f + 2*t = 3*t - 107, 5*t = -2*f + 211. Let b = f - 87. Is 13 a factor of b?
False
Let h = 73633 - 46202. Is 60 a factor of h?
False
Let n(z) = -5*z - 4. Let x be n(-4). Let k(s) = 19*s + 20. Let r(c) = -4*c - 5. Let a(y) = 2*k(y) + 9*r(y). Does 9 divide a(x)?
True
Let w = -284 - -612. Suppose 2*b = 3*b + 2*n - 322, 5*n - w = -b. Is b a multiple of 53?
True
Let r = 28938 - 19923. Is 10 a factor of r?
False
Suppose 0 = 20*p - 18*p - 138. Does 2 divide (6/(-9))/((-2)/p)?
False
Let a(y) = -y**3 + 8*y**2 - 8*y - 4. Suppose 6*w = 4*w + 2. Let s(z) = 5*z**2. Let u be s(w). Is a(u) a multiple of 19?
False
Let y = 62 + -71. Is 4*y/((-18)/40) a multiple of 40?
True
Let s = 9191 + 4467. Does 270 divide s?
False
Let v(z) = 6*z**2 + 35*z + 39. Let b(q) = 6*q + 27. Let y be b(-6). Is 15 a factor of v(y)?
True
Suppose 5*w - 70 = -3*a, 0 = 5*w - 5*a - 4 - 66. Is ((-245)/w)/(3/(-36)) a multiple of 14?
True
Suppose g + 3 = 2*b - 6, -25 = -5*b. Let z(r) = 3 - 38*r + 124*r - 2. Is 23 a factor of z(g)?
False
Let i(m) = m**3 + 23*m**2 + 20*m - 43. Let u be i(-22). Is 38 a factor of u*(3 - 2) + 265?
True
Let x = 59 + -33. Let r = x + -24. Suppose -h = -2*y + 230, -3*y + 114 = -r*y - h. Is y a multiple of 26?
False
Suppose -625*o + 865*o - 6512640 = 0. Does 106 divide o?
True
Let m(g) = g**3 + 4*g**2 - 2*g - 4. Let l be m(-4). Let t be (52/(-12) - -6)*(-10 + 16) + -6. Suppose t*y - 148 = -l*k, 2*k + 14 + 11 = y. Is 5 a factor of y?
False
Suppose 5*c = 6*c - 12. Let w be (-40)/2*9/c. Does 14 divide (-386)/1*(w/3)/10?
False
Suppose -3*j + 174 = 2*c, 2*j - 20 - 69 = -c. Suppose -r + 40 = -15. Let v = c - r. Is v a multiple of 13?
True
Let y(k) = 4500*k - 7619. Does 7 divide y(5)?
False
Let n(v) = 11*v**2 - 2*v - 12. Suppose -r - 9*r + 50 = 0. Let x be n(r). Suppose 3*u - 3*i = 720, -5*i + 17 = u - x. Does 49 divide u?
True
Let h = 2200 + -1164. Is (5/1*2)/(14/h) a multiple of 10?
True
Let i(v) = -v - 822. Let w be i(0). Let a be 18/24 + 2227/(-4). Let q = a - w. Is q a multiple of 25?
False
Suppose 4 = l - 2*x, 6*l - l - x = 65. Suppose l*u - 1282 = -232. Is u a multiple of 5?
True
Let t(u) = -2*u**3 - 11*u**2 + 29*u - 9. Let v(a) = a**3 + a**2. Let q(k) = -t(k) - v(k). Is 16 a factor of q(-12)?
False
Let t = -115 + 78. Let z = t - -39. Suppose -52 = -m - o, 3*o + 213 = 4*m + z*o. Is 29 a factor of m?
False
Suppose 10*i - 51307 + 1107 = 0. Does 12 divide i?
False
Let r(q) be the first derivative of 10*q - 1/4*q**4 + 15/2*q**2 + 29 - 6*q**3. Is r(-19) a multiple of 12?
False
Suppose 0 = -72*o - 21447 + 146799. Is o a multiple of 97?
False
Does 32 divide (48/360 + (-11276)/(-30))*40?
True
Let z be (0 - (-978)/(-18))*-9. Suppose -f + 2*f + 232 = w, 2*w = -3*f + z. Is w a multiple of 13?
False
Let h = -12165 + 14300. Is h a multiple of 7?
True
Let k be 6*(-60)/(-32) + (-2)/8. Let i = -67 + 50. Let t = k - i. Is 14 a factor of t?
True
Suppose 1690*d + 4*p - 8889 = 1689*d, 2 = p. Does 32 divide d?
False
Let s(m) be the third derivative of 2/3*m**3 + 25/12*m**4 - 18*m**2 + 0 + 0*m. Is s(5) a multiple of 35?
False
Let r(h) = h**3 - h**2 + 7*h + 19. Let k be r(8). Suppose -2*n + 4 = 0, 5*t - 5*n - 177 - k = 0. Suppose 2*o - o = -3*f + 84, -o + t = 5*f. Does 14 divide f?
False
Let o(k) = 2*k - 17. Let s(t) = -2*t + 22. Let v(b) = -4*o(b) - 3*s(b). Suppose 3*j + j - 2*g = -30, 3*j = 5*g - 26. Is 16 a factor of v(j)?
True
Let q(k) = k**2 + 7*k + 96. Let n be q(-18). Let a = n - 0. Does 49 divide a?
True
Suppose 7*m = -5*j + 9*m + 12083, -2*j + 4832 = -2*m. Suppose 3*t = -5*c + j, 8 = t + t. Is c a multiple of 13?
True
Suppose 6*m = 8*m - 6206. Let u = 4603 - m. Suppose 0 = -5*w - 10*w + u. Is w a multiple of 10?
True
Let p(g) = -140*g + 111. Let v = -595 + 591. Is p(v) a multiple of 61?
True
Let u = -53 + 44. Let g(m) = 4*m**2 - 7*m + 18. Does 45 divide g(u)?
True
Is 91 a factor of 5535 - (128/8 - 3)?
False
Let f = -114 + 118. Suppose -f*y + 2*t + 622 = 0, -317 = -2*y - 3*t - 2*t. Is y/42 + -4 - 2454/(-14) a multiple of 25?
True
Let l = 3351 - -19255. Is l a multiple of 254?
True
Let a be 3 - 2 - (2 + -2). Let d be -13 + (5 - (5 + -5)). Does 3 divide a - d - (2 + -1)?
False
Let o = 701 - 392. Let t = o - 283. Is t a multiple of 2?
True
Is 84193*(-7)/(-21) - ((-319)/33 + 10) a multiple of 191?
False
Suppose -17*h = 3*h - 60. Suppose h*a - 743 = 724. Is a a multiple of 26?
False
Is (1479/(-116) + -13)/((-2)/1512) a multiple of 8?
False
Let x be (-1 + 28/20)*(-1 - 4). Let v be 2/4*(x - -8). Suppose -v*l + 3*k = -39, 0 = 4*k - 8 - 4. Is 5 a factor of l?
False
Suppose -6*a = -a - i - 6373, -3*a + 3829 = 2*i. Is 25 a factor of a?
True
Suppose 19*s + 23*s = 44*s. Suppose 2*i - 2*k - 20 = s, -2*i - 3*k + 22 + 8 = 0. Does 6 divide i?
True
Suppose 6*d = 44 + 112. Let z be (4/d)/(-1) + 630/546. Does 3 divide (9 - z)*(22 - 21)?
False
Suppose 2*p + 4*k - 2876 = 0, 2*p - 832 - 2008 = 5*k. Is p a multiple of 11?
True
Suppose 331 = 8*y - 133. Suppose y*h + 5530 = 68*h. Is h a multiple of 34?
False
Suppose 0 = l + 106 + 360. Let y = l + 916. Is 45 a factor of y?
True
Suppose 2*h - j - 21031 = -4451, h + 4*j - 8308 = 0. Is h a multiple of 12?
True
Is (-5 - -12)*1 + (1 + 10047 - 7) a multiple of 8?
True
Suppose 20589 = 15*b - 41391. Does 14 divide b?
False
Suppose 92*b + 39*b = -11*b + 58788. Does 46 divide b?
True
Let g(h) = -h**2 + 10*h + 83. Let y be g(-6). Let f(l) = -14*l -