) = 42*g**2 + 731*g. Is 9 a factor of d(-18)?
True
Suppose -3*q = -5*f + 41113 + 16868, 0 = -4*q + 32. Does 68 divide f?
False
Suppose c = -2*c - x - 7, -2*x - 3 = -5*c. Does 15 divide (363 - -51) + (c - -6)?
False
Suppose -2*i + 43 + 19 = 5*p, 0 = p - 4*i - 30. Let r = -62 + 61. Is 11 a factor of (p + -170)*r/2?
False
Let s(n) = 2*n**2 + 263*n + 2275. Does 3 divide s(-9)?
False
Let s(b) be the second derivative of b**4/3 - 2*b**3/3 - 4*b**2 + 37*b + 2. Suppose 0 - 16 = -4*d. Does 8 divide s(d)?
True
Suppose -2*g = 5*g. Suppose -2*c + 4*c = g. Suppose -h - 26 + 74 = c. Is 24 a factor of h?
True
Suppose -5*w - 5*q - 3185 = 0, 2*w + 701 + 582 = q. Is 10/(-8)*(-42)/(-70)*w a multiple of 12?
True
Let u be 2/(4/(-10)*(6 - 7)). Suppose u*z - 16 = 24. Let m(d) = 15*d + 12. Is m(z) a multiple of 33?
True
Suppose -21304 = 13*g - 28108 - 29947. Does 44 divide g?
False
Let r(a) = 81*a**2 + 570*a - 4. Does 2 divide r(-10)?
True
Let u(t) = 8*t**2 - 40*t + 188. Is u(-25) a multiple of 52?
True
Let a = 2312 - -11962. Is 117 a factor of a?
True
Let l(b) = 39*b + 42. Let z(o) = 37*o + 40. Let t(g) = 3*l(g) - 4*z(g). Does 66 divide t(-16)?
True
Suppose 0 = 4*v + j + 1749, -3*j = -v - 2*j - 431. Let z = v - -731. Is z a multiple of 46?
False
Suppose 0 = -u + 5*v + 24, -22*u + 24*u + 2*v = 0. Suppose 3*x - 2246 = -u*z, 0*z - 2*z + 1118 = -x. Does 40 divide z?
True
Let o(r) = r + 32. Let h(a) = a + 16. Let g(k) = -5*h(k) + 3*o(k). Let d be g(6). Suppose -i = 5*v - 6*i - 495, 3*v + d*i - 332 = 0. Does 19 divide v?
False
Let y = 209 - 206. Suppose -y*c + 703 + 116 = 0. Is 77 a factor of c?
False
Does 20 divide 7 - (5 + -6 + 0) - -2392?
True
Let i = 949 + -631. Suppose -51 = -k + 8. Suppose k*w = 53*w + i. Is w a multiple of 10?
False
Let s = 238 + -166. Suppose -6 = 4*x - 5*x. Suppose 648 = x*k - s. Is 33 a factor of k?
False
Let i = -67 + 23. Let x = i + 45. Does 16 divide ((-1452)/11 + 1 + x)/(-2)?
False
Let p = -368 + 386. Is 71 a factor of (p/(-8) - -2)*-2852?
False
Is 36 a factor of (-117)/2*(1855/(-63) - -29)*144?
True
Let s(p) = 2*p**3 + 15*p**2 - 145*p + 20. Is 15 a factor of s(8)?
False
Suppose 5*m + 3*d - 188553 = 0, 13*d + 339351 = 9*m + 11*d. Is m a multiple of 23?
False
Let b = 76 - 72. Suppose -b*g = -4*d + 96, d + g = 5*g + 21. Suppose 0 = -d*m + 26*m - 156. Is m a multiple of 13?
True
Let w(o) = o**2 + 8*o + 23. Let x be w(-5). Suppose 800 = x*y - 992. Does 56 divide y?
True
Let c(d) = 12 - 79*d + 37*d - 2*d**2 + d**3 + 44*d. Does 8 divide c(3)?
False
Suppose 43832 = 45*g - 97243. Is g a multiple of 95?
True
Suppose -6*j - 33 = -135. Suppose -3*h = -5*t + 5, 2*t = -3*h + 8*h - j. Suppose -t*z + 107 = -153. Does 21 divide z?
False
Let v = -20 - -24. Suppose -2*z + 7 + 1 = -v*o, 4 = -4*o + z. Suppose 3*f + o = -3, q - 45 = 3*f. Is 10 a factor of q?
False
Let k(m) be the second derivative of -11/2*m**5 - 1/2*m**2 + 1/12*m**4 - 19*m - 1/6*m**3 + 0. Is k(-1) a multiple of 18?
False
Let a(p) be the third derivative of 1/8*p**4 + 3/10*p**5 + 0 + 0*p + 1/3*p**3 + 9*p**2. Does 18 divide a(-2)?
False
Let b(m) = 57*m**2 + 5*m + 17820. Is 44 a factor of b(0)?
True
Let o = -19 + 23. Suppose 20 = 4*q, -o*x - 7*q = -3*q + 864. Does 4 divide x/(-7) + 15/35?
True
Suppose -2*g = 26*j - 23*j - 6684, -5*j + 10024 = 3*g. Does 93 divide g?
True
Suppose -5*x - 16 = -7*x. Suppose 0 = -x*v + 13 + 3523. Let y = 700 - v. Does 43 divide y?
True
Let j = -15 + 0. Is 10 a factor of (j/(-2))/((-13)/(-52))?
True
Let b = -17760 - -30511. Does 41 divide b?
True
Let r be -10*2/(0 - -2 - 7). Suppose v - 5*l = 365, -r*v + 5*l + 1369 + 106 = 0. Is 0 + -3 - 1/((-2)/v) a multiple of 13?
True
Let j = -17089 - -17941. Does 6 divide j?
True
Let y(d) = -13*d + 605. Does 36 divide y(-103)?
True
Let b = 175 + 5. Suppose 2*o - b = -4*d, 5*o - d - 434 = -3*d. Let c = o + 15. Does 31 divide c?
False
Let g(m) = 6*m**2 + 5*m + 22. Suppose 5*i = -0 - 35. Is 19 a factor of g(i)?
False
Let p = 89 + -77. Let q be (-4 - 1 - -5) + p. Is q/(-9)*-30 - (-1 - -5) a multiple of 12?
True
Let k(f) be the second derivative of -2*f**3/3 + 10*f**2 - 9*f. Does 6 divide k(-4)?
True
Let t(a) be the first derivative of 5*a**3/3 + 7*a**2 + 11*a + 1. Suppose 985*w - 31 = 5*k + 984*w, w = 6. Does 22 divide t(k)?
True
Let a(m) = -2*m**3 - m**2 - 3*m + 9. Let r be a(-5). Suppose 22*g = 4253 - r. Is 26 a factor of g?
True
Is 16 a factor of (76/(-10))/((100/(-10))/8100)?
False
Let f(b) = -b**3 - 7*b**2 - 2*b + 25. Let y be f(-6). Let l be -3 - (240/(-4))/y. Is 17 a factor of ((-63)/(-49) - (-2)/(-7)) + l?
False
Let w = 12677 - 11093. Does 6 divide w?
True
Suppose 0*l - 1037 = -l + y, -1021 = -l + 5*y. Suppose -6*f + 165 = -l. Does 67 divide f?
True
Suppose 0 = 20*v - 11*v - 234. Let q be 2/5 - 174/10. Let r = v + q. Does 9 divide r?
True
Suppose 321 = -h + 844. Let g = h + -272. Suppose -5*c = -5*y - 295, g = 4*c - 0*y - y. Is c a multiple of 20?
False
Let r = -18 + 22. Let n be (-1 + 3)/r*2. Let s = n - -25. Is 3 a factor of s?
False
Let m(o) = -154*o - 1636. Does 21 divide m(-69)?
False
Suppose 4*l - m + 48 - 1237 = 0, 3*l - 886 = -5*m. Suppose -i + 2*s + l = -524, 839 = i + 4*s. Is i a multiple of 14?
False
Let j = 118 - 125. Is 14 a factor of ((-112)/(-6))/(j*(-3)/252)?
True
Let z(g) = g**2 - 16*g + 15. Let f(m) = 4*m - 10. Let o be f(4). Let r be z(o). Does 5 divide (-10)/((-35)/r + -1)?
True
Let b(x) = 10*x + 3. Suppose -4*h = -2*p + 38, 2*h = -3*h. Suppose 0 = 5*v + 14 - p. Is b(v) even?
False
Suppose 70 = 34*i - 36*i. Let g = -29 - i. Suppose 30 = 3*c - g. Is 3 a factor of c?
True
Suppose -4*d + 94782 = -20*z + 18*z, 3*z - 379073 = -16*d. Is d a multiple of 29?
True
Let h(d) = 2*d**3 + 14*d**2 - 8*d - 198. Does 20 divide h(12)?
False
Suppose 0 = -2844*p + 2851*p - 58968. Is 59 a factor of p?
False
Let o = 32051 + -29606. Is o a multiple of 9?
False
Let m(r) = 43*r**2 - 11*r + 91. Let o be m(7). Suppose d - o = -2*a, -2*a - 2*d + 1179 + 939 = 0. Does 32 divide a?
False
Suppose 0 = 7*z - 2717 - 10303. Is 6 a factor of z?
True
Let z(v) = -6*v**2 - 38*v + 23. Let n be z(-17). Let u = 1736 + n. Does 76 divide u?
False
Is 13 a factor of (1 - 196443/(-33)) + 14/770*10?
True
Suppose 0 = -4*v, 13*j + 2*v + 186361 = 20*j. Is 79 a factor of j?
True
Let h(s) = -6209*s - 8999. Does 89 divide h(-8)?
True
Let s(f) = -2*f**2 - 18*f + 31. Let k(i) = -6*i**2 - 51*i + 94. Let h(w) = 2*k(w) - 7*s(w). Does 2 divide h(-19)?
False
Suppose 0 = 2*t + 56 - 42. Let r(d) = 14*d**2 + 71*d + 9. Is r(t) a multiple of 10?
False
Let i = 58 + -98. Suppose 120*s = -3139 + 859. Let h = s - i. Is h a multiple of 21?
True
Let v = -33 + -189. Let o = v - -484. Suppose 5*k - 538 = o. Does 32 divide k?
True
Suppose -3*t = -3*c + 9255, -5*t - 93 = -78. Is 46 a factor of c?
True
Suppose 4*d + 10 - 42 = 0. Let r be (54/d)/(8/(-64)). Let q = r + 85. Does 8 divide q?
False
Suppose -6*k + k - 15 = 0. Suppose 4*n - 105 = 3*j - 136, n - 2*j + 14 = 0. Is 26 a factor of 1 + n - k - -52?
True
Is (16/(-12) - 6/36)*-438 a multiple of 15?
False
Suppose -35 = -5*c + 5*b, -3*c + 13 = -2*b - 13. Suppose 0 = -c*w + 8*w + 24. Suppose 5*f = w*f - 2*z - 130, -3 = -z. Does 17 divide f?
True
Let g(w) = -41*w + 187. Let h be g(4). Let a = 209 - h. Does 3 divide a?
True
Let w(b) = -b**2 + b + 4. Let u be w(-4). Is (-3160)/u + 4/8 a multiple of 18?
True
Let v be (8/10)/(2/5). Suppose -5*b - v*f = -8*b + 788, 3*b - 764 = -4*f. Is 13 a factor of b - -1 - (-1 + (-10)/(-5))?
True
Is (-69204)/(-7) - ((-344)/(-28) + -5 - 7) a multiple of 35?
False
Let v(h) = -2*h - 51. Let u be v(-28). Let w = -6 - -8. Suppose 4*r + z = -w*z + 797, u*r - 3*z - 976 = 0. Is r a multiple of 12?
False
Let z be ((-50)/15 + 3)/(1/(-15)). Suppose z*m - k = 40 + 1, k = -5*m + 39. Suppose -m*i = 5*i - 468. Does 6 divide i?
True
Let b = 675 - 232. Let a = b - 154. Is a a multiple of 17?
True
Let y = -92 + 127. Suppose y*u - 1389 = 816. Does 21 divide u?
True
Let a = 27 + -24. Is 114 a factor of 76*(-5)/30*a*-27?
True
Let o = -490 + 902. Is o a multiple of 103?
True
Is 11 a factor of ((-1272)/(-3) + -3)/1?
False
Let y(g) = g**3 - 115*g**2 + 6*g + 1142. Is y(115) a multiple of 12?
False
Let m be (-2)/3*3 - -45. Let i(d) = d**2 - 17*d - 59. Let f be i(19). Let h = m + f. Is h a multiple of 10?
False
Let s be (1 - (-