or of c(-2)?
True
Let c(i) = 69*i - 77. Let x be c(17). Suppose 4*g - 2*j = 2160, -3*g + 2*j + x = -524. Is g a multiple of 12?
True
Suppose 19 = -14*i + 89. Suppose 3*o - i*k - 19 = 0, -o - 3*k = -6*k - 9. Suppose -2*y + 455 - 135 = 2*c, c + 464 = o*y. Does 39 divide y?
True
Let z = 61 - -168. Let c = -117 + z. Does 14 divide c?
True
Suppose -32 = -c - 31. Let j be 5/(15/(-9)) + 42. Let w = j + c. Is w a multiple of 8?
True
Is (-1125)/225 - (1 + -1991) a multiple of 4?
False
Let s be -2 + 10/4 - 2/4. Suppose s = -8*w + 12*w - 24. Does 11 divide (w - 12)*(-22)/3?
True
Let u(d) = 10*d + 5. Suppose -a = 12 - 23. Let t(s) = -51*s - 25. Let g(l) = a*u(l) + 2*t(l). Does 16 divide g(6)?
False
Is 112 a factor of (182058/(-38))/((-3)/4) - 4?
True
Let f(d) = 278*d**2 - 2. Let q be f(-2). Suppose 3*p - 4*v - 820 = -0*p, 4*p - 2*v = q. Is 16 a factor of p?
False
Let d = -416 + 417. Let u(j) = 58*j**3 - 2*j**2 + 3*j - 2. Is u(d) a multiple of 19?
True
Let b = -1331 - -37247. Is 146 a factor of b?
True
Suppose 4*l = 4*g - 64, 3*l = -2*g - 2 - 26. Is 13 a factor of 2193/34 - 2*3/l?
True
Let r be ((-30)/(-4))/3 - (-274752)/128. Let c = -1310 + r. Does 35 divide c?
False
Let q(n) = -7*n**3 + n**2 + 3*n - 9. Let v be 11/(-22) - 5/2. Let f be q(v). Let z = f - 128. Is 13 a factor of z?
True
Let c(k) = -3*k - 6. Let z be c(-3). Suppose z*y = -2*f - 7, -f + 2*y = -5 - 9. Is 25 a factor of ((-2)/f)/(4/2568*-3)?
False
Suppose -33*b + 52*b = -28*b + 133856. Does 3 divide b?
False
Let i(g) = 62*g**3 - 12*g**2 + 51*g + 1. Is 20 a factor of i(3)?
True
Let i = -2118 - -2806. Is 43 a factor of i?
True
Let u be (-185 - -187)/(1 + (-3)/4). Suppose 0 = 4*q - u*q - 5*p + 285, -3*q = 2*p - 205. Is q even?
False
Let s(f) = 3*f**2 - 3*f - 6. Suppose 9*g = -19 + 82. Does 12 divide s(g)?
True
Let f(w) = -3*w + 18*w**2 + 21*w**3 - 3*w + 17*w**2 - 37*w**2. Is f(3) a multiple of 43?
False
Let j = -85 - -93. Let v(y) = 42*y + 99. Does 12 divide v(j)?
False
Let p be 4428/2 + -22 + 16. Let i = p + -1416. Is i a multiple of 18?
True
Let z be 2/(-10) + (-9)/((-270)/456). Is 8/16*25*z*2 a multiple of 36?
False
Let i be (-43)/15 + ((-13)/(-15) - 1). Does 24 divide i + 8 + -3 - -36 - 2?
False
Let v be (-3)/(-6) + (-89)/(-2). Let q be 1073/222 + (-1)/(-6). Suppose -q*r + 7*j + 72 = 6*j, -4*r = -5*j - v. Is r a multiple of 7?
False
Let i be -1 + 535/20 + (-6)/8. Let d = -33 + i. Is 8 a factor of (5 - 196/d)/(1/2)?
False
Let q(k) = 11*k**3 + 17*k**2 + 114*k + 14. Let v be q(-12). Is (-50)/(-300) + v/(-12) a multiple of 14?
False
Let q be ((-55)/(-10))/11*722. Suppose d - 215 = -3*b, -16*b + q = -11*b - d. Is b a multiple of 36?
True
Suppose 0 = 5*u + 5*x - 7911 - 3459, 3*x + 2298 = u. Is 24 a factor of u?
True
Let z be (69 + -68)/((-2)/8 + 0). Let i(k) = -k**3 + k**2 - 5*k + 2. Is 34 a factor of i(z)?
True
Let u be (-834)/(-21) - (-10)/35. Let q = 46 - u. Is 19 a factor of (-95)/(-2)*q/(-12)*-4?
True
Let i = -3192 - -9598. Is 156 a factor of i?
False
Suppose -15 = 10*q - 35. Let s(j) = 39*j**3 + 7*j**2 - 10*j + 1. Does 26 divide s(q)?
False
Suppose -2*w = 4*w. Is 7 a factor of (w + -21)/(-7 + (1 - -5))?
True
Is (-17994)/(-13) + (-108)/702 + -1 a multiple of 3?
True
Is 3 + -10 + (1970 - -5) a multiple of 58?
False
Suppose 3*u = 3*r - 4 + 16, 0 = 4*u - 3*r - 15. Let v(o) be the first derivative of -o**2 + 18*o - 240. Is v(u) a multiple of 3?
True
Let w = 56 - 92. Let q = w + 40. Suppose 0 = -5*b + q*v + 187, -50 = -3*b + 2*b + 5*v. Does 8 divide b?
False
Suppose 3*l - 1166 = 1606. Suppose l = -0*g + 2*g. Does 63 divide g?
False
Let x(g) = -g**3 + 18*g**2 - 15*g + 92. Let h(t) = -2*t**3 + 34*t**2 - 29*t + 183. Let q(k) = -3*h(k) + 7*x(k). Is q(22) a multiple of 46?
False
Let s = 2073 + -1163. Is s a multiple of 65?
True
Suppose -279616 + 37836 = -44*q. Is q a multiple of 38?
False
Let o = -166 - -122. Is (195/10 - 4)*o/(-2) a multiple of 31?
True
Let k(h) = -14*h**3 - 85*h - 680. Is 32 a factor of k(-8)?
True
Suppose -1391675 - 211015 = -410*p. Is 14 a factor of p?
False
Suppose 3 = 3*c, 4*h - 2 - 1 = 5*c. Suppose -4*t - 852 = -d - 2*t, h*t = -2*d + 1722. Is 33 a factor of d?
True
Suppose -2*n = 138 - 6. Let h = n + 54. Is 36 a factor of h/(-20) - 0 - 537/(-5)?
True
Let m = 27176 - 11196. Is m a multiple of 20?
True
Let o be 4/(-6)*315/42. Let t(n) = -213*n - 140. Does 48 divide t(o)?
False
Suppose -4*u - 4590 = -i + 400, -5*u - 24980 = -5*i. Is 27 a factor of i?
False
Let z = -5041 + 6168. Does 53 divide z?
False
Let o = -18052 + 20824. Is o a multiple of 126?
True
Let y = 60 + -179. Let q = 243 + y. Is 10 a factor of q?
False
Let d(p) = 88*p**3 - 3*p**2 + 4*p - 1. Let a be d(1). Let b = 86 - a. Does 20 divide 1608/16 + 1/b?
True
Let m(g) = -9057*g - 7038. Is m(-6) a multiple of 27?
True
Let w(a) = a**3 + 58*a**2 - 96*a - 4958. Is w(-58) a multiple of 48?
False
Let b be -2 + (-2024)/(-40) + (-6)/10. Let h be (-4)/10 - b/(-20). Suppose 0*c + 4*c - 1034 = -5*y, -432 = -h*y + 3*c. Is 18 a factor of y?
False
Let j = -11 + 15. Let z(b) = 29 - 7 - 15 - 5 + 2*b. Is z(j) a multiple of 3?
False
Let t(o) = o**3 + 81*o**2 - 179*o. Does 95 divide t(-83)?
False
Let s = 62 + -5. Suppose -4*b - i - s = 0, 4*i = -2*b + 2*i - 30. Let l = 36 + b. Is l a multiple of 4?
False
Let z = 9648 - 80. Does 92 divide z?
True
Let x(l) = 11*l + 16. Let f(q) = -25*q - 31. Let v(b) = -74*b - 93. Let d(s) = -8*f(s) + 3*v(s). Let w(y) = 6*d(y) + 11*x(y). Does 10 divide w(-6)?
False
Let u = 9164 + 6050. Is u a multiple of 18?
False
Suppose 96 - 5574 = -6*u. Suppose -3488 = u*h - 917*h. Does 14 divide h?
False
Suppose -51 = 10*j + 89. Is 15 a factor of 1*(-220)/(-2)*(-63)/j?
True
Suppose 53*m = 42*m - 616. Is 36 a factor of (-109)/(-2) + m/(-112)?
False
Suppose -3*z + 3*l + 138 = 0, 0 = -3*z + 4*l - 0*l + 140. Let t = 46 - z. Suppose 102 = a - t*r, 3*a - 306 = -4*r + 5*r. Is a a multiple of 11?
False
Suppose 9341 = -4*s - 999. Let v = s + 1729. Does 9 divide v/(-48) + -1 + 7/6?
True
Let l(y) = -485*y - 6804. Does 13 divide l(-20)?
False
Let w be (-1736)/(-36) + 2/(-9). Let q be (16/(-6))/((-16)/w). Let j(h) = h**3 - 9*h**2 + 10*h + 16. Is 16 a factor of j(q)?
True
Let l(u) = -1067*u - 2146. Does 24 divide l(-8)?
False
Let p(c) = -4672*c - 11573. Is p(-5) a multiple of 169?
False
Let a be 3*5/(20/168). Let x be (14/a)/((-2)/(-12))*42. Suppose 2*g - x = 36. Is g a multiple of 8?
True
Let a = -268 - -378. Let j = a + -105. Let k(h) = -h**3 + 12*h**2 - h - 27. Is 11 a factor of k(j)?
True
Suppose -7*f + 4*f - 6145 = 2*p, 2*f + 4085 = p. Let v = f - -3135. Is 16 a factor of v?
False
Suppose -8*s + 5*s = 4*d - 54498, -2*s + d + 36354 = 0. Does 13 divide s?
True
Let n = -349 + 21. Does 13 divide (n - 0)/(130/20 - 7)?
False
Suppose 23*y - 4626 = 33531. Is y a multiple of 50?
False
Suppose 12*u = 20*u + 7*u. Let x(y) = 2*y + y**2 - 5*y - 2*y**2 + 78. Does 26 divide x(u)?
True
Suppose h - 38 = -51. Let u = h + 13. Suppose -2*t + 129 = g, u*g - 689 = -5*g + t. Does 7 divide g?
False
Let z be 56/6 - (1/3 - 1). Suppose 14*u - z*u = 3*j - 333, u = 0. Does 7 divide j?
False
Suppose r + 4*i = 13, 3*r = 3*i - 4*i + 17. Suppose -2*n = 4*d + 4 + 16, 0 = r*d + 25. Suppose n = -v + 4, -3*v = -3*a + v + 122. Does 23 divide a?
True
Suppose -2*i - 2*t + 0 = -14, -4*i - 2*t + 22 = 0. Suppose -4*m + 9 = -11, -i*g + m + 11 = 0. Suppose g*u - 459 - 21 = 0. Is u a multiple of 24?
True
Let p(u) = 997*u**2 + 36*u + 36. Let s be p(-1). Let v = -948 + s. Is v a multiple of 2?
False
Let j = -33 - -12. Let g be (-1*3)/(j/98). Let d = 96 + g. Does 11 divide d?
True
Suppose -23 = 2*r + 3*s, 0*r + 57 = -3*r + 3*s. Let o(d) = -20*d - 100. Let m be o(-6). Does 16 divide (-58 - 2)*r/m?
True
Suppose -21*p = 185*p + 104*p - 1447700. Does 34 divide p?
False
Suppose 2*v = -3*v + 50. Let x(l) = 20 + 3*l - 5485*l**2 + 9*l + 5484*l**2. Is x(v) a multiple of 12?
False
Let l be (2/4)/(-6 + (-3311)/(-552)). Let m = -13 - l. Is m a multiple of 23?
False
Let j(m) = 8*m**3 + 6*m**2 + 8*m + 1. Let r be j(-1). Is (93 - (7 + -10))*(-6)/r a multiple of 33?
False
Is ((50048/138)/(-32))/(1/(30/(-4))) a multiple of 2?
False
Let a(v) = 46*v**2 + 30*v - 170. Is 7 a factor of a(10)?
False
Let s = -22 - -24. Let b(n) = 57*n - 9. Let h be b(s). Suppose -4*q + h = -71. Is q a multiple of 15?