rivative of 9*d**2/2 + 6*d + 5. Let b be j(-6). Let o = 90 + b. Is 14 a factor of o?
True
Suppose 515 = 2*f - 7*f. Let s = f + 226. Does 41 divide s?
True
Let g = -36 + 31. Is -17*(g + 0 + 3) a multiple of 8?
False
Suppose 0 = 15*k - 18*k - 21. Let c(o) = o**2 - 2*o - 3. Is c(k) a multiple of 10?
True
Let l = 14 + -9. Suppose -l*s + 0*o + 147 = 3*o, 2*s = -3*o + 66. Is 26 a factor of s?
False
Suppose -607 + 2019 = 3*u - 4*y, -5*u - y + 2361 = 0. Does 14 divide u?
False
Let a(w) = 20*w**2 - 9*w + 1. Let r(q) = -10*q**2 + 5*q - 1. Let b(z) = 4*a(z) + 7*r(z). Suppose 2*m = 3*m - 3. Is 14 a factor of b(m)?
True
Let t = 801 + -257. Is 17 a factor of t?
True
Let i = -12 + 10. Let m be (-1 - i)/((-1)/(-2)). Is 7 a factor of (-10 + 11)/(m/30)?
False
Suppose -7*w - 30 = -13*w. Let g = -1 + 1. Suppose w*a = -g*p + 4*p + 37, 2*a - p = 13. Is a a multiple of 3?
False
Let p = 83 + -73. Let n(j) = 21*j - 18. Does 27 divide n(p)?
False
Suppose 0 = -6*d + 18. Does 5 divide (d/2)/(5 + (-99)/20)?
True
Let i = -109 + 216. Let k = i - 72. Is 8 a factor of k?
False
Suppose 2*i + 34 = -0*i. Let l = -14 - i. Suppose 171 = 3*q - l*d, 2*d - 145 - 41 = -3*q. Is q a multiple of 12?
True
Let t(p) = -554*p - 15. Is 11 a factor of t(-1)?
True
Let g = -981 - -1764. Is g a multiple of 34?
False
Suppose 15*d + 1003 = 32*d. Is d even?
False
Let n = -47 + 38. Let b(x) = x**3 + 7*x**2 - 20*x - 3. Does 5 divide b(n)?
True
Suppose -4*r + 6*o - o + 13 = 0, 0 = -5*o - 5. Suppose r*j + 153 = 5*j. Does 11 divide j?
False
Let u = 57 + -53. Suppose -5*m - 2*f + 120 = -30, -m + u*f + 8 = 0. Is m a multiple of 28?
True
Let j(b) = 2*b - 6. Let h(a) = -1 + 1 + 5*a - 6*a. Let k(i) = h(i) - j(i). Is k(-9) a multiple of 11?
True
Let w be 10*(-3)/(-15)*2. Let d = 57 + -63. Does 12 divide (d + w - -1) + 61?
True
Let f be 3*((-48)/9 - -3). Let j = f + 4. Is 3 - 6 - (j - 21) a multiple of 21?
True
Is 42 a factor of (-150)/1050 + (-295)/(-7)?
True
Let g = -102 - -148. Suppose 5*s - g - 64 = 0. Let r = s - 19. Does 3 divide r?
True
Let d(z) = -z. Let k be d(1). Does 13 divide 1/(k/((-152)/(-454)) + 3)?
False
Suppose -12*x + 4*x - 8 = 0. Is 17 a factor of (((-10)/(-15))/x)/((-8)/1212)?
False
Is (-2)/(-3) - 17/(459/(-576)) a multiple of 2?
True
Suppose 5*h + 3*j = 3368, 4*j - 639 = -3*h + 1373. Is h a multiple of 13?
True
Let b(z) = 17*z**2 + 27*z + 126. Does 82 divide b(-11)?
True
Suppose -18 = 4*g - 2*g. Let d = -6 - g. Suppose 10 = 5*q - 4*c - c, -5*q + 34 = d*c. Is q a multiple of 4?
False
Let b = -26 + 18. Let o be (-10)/b - 6/(-8). Does 4 divide 8/10*25/o?
False
Suppose -5*d - 2*f = 242, f - 6*f = 2*d + 101. Is 3*d/(-9)*5 a multiple of 8?
True
Let n = -132 - -227. Suppose 5*u - 49 = -0*x - 3*x, 0 = 5*x + 5*u - n. Does 3 divide x?
False
Suppose 0 = 3*t + 2*t - 100. Suppose t = 4*h - 2*h. Is h a multiple of 10?
True
Let x(g) = -g**3 + 6*g - 16. Let u be x(4). Does 14 divide (-2)/(-14) - 8896/u?
False
Let i = -682 + 974. Does 4 divide i?
True
Let l = 156 + -78. Suppose -5*g + 122 = -l. Is g a multiple of 20?
True
Let a be 0*1/(-2) - -2. Suppose 16*c - 115 - 29 = 0. Let u = c + a. Is u a multiple of 3?
False
Suppose 2*i - 20 = 7*i. Let l = i - -12. Suppose -l*k + 168 = -4*k. Is 21 a factor of k?
True
Suppose 0 = -22*s + 30499 + 46413. Is s a multiple of 30?
False
Let r = -29 + 39. Suppose 2*q = 4*q - r. Is (-24)/q*(-30)/9 a multiple of 8?
True
Let k be 1/(2/4) - -36. Suppose -3*q - k = -119. Let p = q + -3. Is p a multiple of 11?
False
Let v(g) = -3*g + 7. Let l be v(-19). Suppose -w = -5*f - 38 + 12, -l = -2*w - 2*f. Suppose -14 - w = -a. Does 14 divide a?
False
Let b be -3 - (0 + 2 + 1). Let q(f) = -f**3 - 6*f**2 - f - 3. Let g be q(b). Let r(w) = w**3 - 2*w**2 - 2. Is 2 a factor of r(g)?
False
Suppose 4*m - 6 = 10. Let l be 1/m + (-1878)/24. Let j = l + 126. Is 19 a factor of j?
False
Let n = 680 - 374. Suppose 4*h - 30 = n. Is 12 a factor of h?
True
Suppose 199 = 25*u - 926. Is u a multiple of 3?
True
Let i(a) = 9*a. Let f be i(-1). Let k(b) = -b - 7. Let p be k(f). Let y = 15 - p. Is y a multiple of 4?
False
Let n(x) = 173*x**2 + 6*x + 10. Is n(-2) a multiple of 15?
True
Let u(i) = 10 - 8 - 8 + 5*i - 9. Is 7 a factor of u(7)?
False
Suppose 46 + 658 = -11*d. Let l = -11 - d. Does 12 divide l?
False
Suppose 2*d + 22 = 158. Let v = -33 + d. Suppose 0 = 4*p - v - 21. Is 9 a factor of p?
False
Let t(m) = -5 + m**2 + 0*m**2 + 0*m**2 + 5*m. Is 9 a factor of t(8)?
True
Let i(r) = -11*r**2 - 11*r + 9. Let p(d) = 4 - 6*d + 7*d**2 - 3*d**2 - 9*d**2 + 0*d. Let y(c) = -4*i(c) + 9*p(c). Is 17 a factor of y(-6)?
False
Suppose -3 = -7*n + 46. Let d(i) = -i**3 + 10*i**2 - 10*i + 19. Is 20 a factor of d(n)?
False
Let u(l) = -l**3 + 4*l**2 + 2*l - 5. Let n be u(4). Suppose -p = -3*w + 5*w - 146, -3 = -n*w. Does 12 divide p?
True
Let j be (40/(-24))/(1/3). Let l = 24 + -17. Let k = l + j. Is 2 a factor of k?
True
Suppose -4*r = -2*f - 104, -3*r + 34 = -3*f - 44. Suppose -29*d + 87 = -r*d. Does 16 divide d?
False
Suppose -791*h + 783*h = -37680. Does 45 divide h?
False
Let s(l) = -l**3 + 28*l**2 - 75*l. Let p be s(25). Suppose 0 = x + 2*r - 17, 9 + 11 = x + 5*r. Let w = x - p. Is w a multiple of 5?
True
Let g = 26 - 41. Does 22 divide (-2)/g + 883/15?
False
Let j(u) = -u**2 - 52*u - 85. Is 17 a factor of j(-47)?
False
Let f(n) = -6*n**3 + 3*n**2 - 4*n. Does 14 divide f(-4)?
True
Let n = 13 - 11. Let z be (-1)/n*(-4 + 0). Suppose -2*k = f + z*f + 3, -3*k + 3*f + 33 = 0. Is 2 a factor of k?
True
Let c(z) = -103*z + 1. Does 7 divide c(-2)?
False
Suppose i - o - 1 = 0, -5*o + 0 = i + 5. Suppose i = -u + 75 + 30. Is u a multiple of 12?
False
Let z(a) = 76*a + 248. Let y be z(-3). Let p = 41 - -59. Suppose p = 4*o + y. Is o a multiple of 11?
False
Let t(o) = 19*o**3 + o**2 - 8. Does 24 divide t(3)?
False
Let w(h) = 28*h + 11. Let k(m) = -m - 2. Let o(u) = 5*k(u) + w(u). Let a = -2 - -3. Is o(a) a multiple of 7?
False
Suppose 31*n = 10869 + 6491. Does 10 divide n?
True
Let w be (3 + (-6)/4)*(55 + -1). Suppose 5*y - 119 = w. Does 7 divide y?
False
Suppose -93 + 373 = 2*t. Does 8 divide t?
False
Let y be -3*-1*(3 + -2). Suppose -3*x + 32 = 2*m + 6, -54 = -3*m + y*x. Let v = m - -13. Does 18 divide v?
False
Let z(q) = q**3 - 48*q**2 + 8*q + 105. Is 23 a factor of z(48)?
False
Let c(i) = 2*i + 134. Does 9 divide c(-31)?
True
Suppose -2*w = w + 18. Let p be ((-1)/2)/(3/w). Suppose 13 + p = 2*r. Is 7 a factor of r?
True
Suppose -3*o - 3 = 9, -3*n = o - 1295. Is n a multiple of 5?
False
Let k(s) = 3 - s**2 - 10*s - 6*s - 21 - 5*s. Does 12 divide k(-18)?
True
Let w(c) = c**3 + 6*c**2 - 46 + 0*c**2 - 3*c + 62. Does 23 divide w(5)?
True
Let o(x) = -x**2 + 4*x + 7. Let y be o(5). Suppose -2*s - 23 = -r, 24 = 3*r + y*s - 5. Is r a multiple of 5?
False
Let o(x) = -7*x**3 + x**2 - 2*x - 4. Let p = -67 + 65. Is 12 a factor of o(p)?
True
Let t be (1 + -2 - 0)*4. Let r(m) = 2*m**3 + m**2 - 2. Let u be r(2). Does 3 divide (-498)/(-54) + t/u?
True
Let k = 250 - 239. Is 6 a factor of k?
False
Let g = -43 + -32. Let i = 87 - g. Is i a multiple of 27?
True
Let g = -3 - -9. Is 130/8 - g/(-8) a multiple of 17?
True
Suppose -i = 4*i - 70. Does 20 divide (-43)/(-2) - (-7)/i?
False
Let c(v) = v**3 - v**2 - 2*v + 2. Let r be c(2). Suppose -5*i + 173 = 4*q, -2*q - r*i + i = -85. Is q a multiple of 6?
True
Let d(l) be the third derivative of -7*l**4/8 + 23*l**3/6 - 18*l**2. Is 9 a factor of d(-2)?
False
Suppose q = -5*y + 39, 4*y + 3*q = -q + 28. Suppose y*b - 443 + 51 = 0. Is 34 a factor of b?
False
Suppose 48*a = 52*a - 2*p - 4536, p - 5663 = -5*a. Is a a multiple of 103?
True
Suppose -2*v + c = -1695, 3*v + 4*c = 1748 + 822. Is 5 a factor of v?
True
Suppose -50*r + 49808 = -28*r. Does 14 divide r?
False
Suppose -2*j + 4*i + 2128 = 0, 3*i = 4*i + 3. Is j a multiple of 23?
True
Suppose -145 = l - 4*l + 2*d, 4*l - 160 = -4*d. Let v = 69 - l. Is v a multiple of 24?
True
Let d = -25 - -88. Is 11 + -9 + d + 0 a multiple of 13?
True
Suppose -2*n + 1284 = 4*z + 344, -464 = -n + 4*z. Is n a multiple of 38?
False
Let o = 455 + -77. Does 18 divide o?
True
Suppose -235*b = -244*b + 5733. Is b a multiple of 17?
False
Is (-161)/(-8 - -1) + -8 a multiple of 15?
True
Let l(o) = -47*o + 7. Let p be (0 + 1)/((-8)/24). Is 37 a factor of l(p)?
True
Let d(g) = -6*