y(-2)?
True
Let b = 663 + -656. Suppose -4*g - b*z + 5*z = -1342, -z = -3*g + 1009. Is 24 a factor of g?
True
Let w be 2392/19 + (-32)/(-304). Suppose -3*x + x = -w. Suppose a = 65 + x. Is 17 a factor of a?
False
Suppose 0 = -2*q - 4*s + 1181 + 841, 4032 = 4*q + 2*s. Suppose -5*c + q = x, 0 = x - 3*c - 589 - 458. Is 17 a factor of x?
False
Is 211 a factor of (-1197)/(-532) + 17715/4?
True
Suppose -5*m = -0*m + 64245. Is 34 a factor of 2/12 + m/(-18)?
True
Let k = 7899 - -10168. Is k a multiple of 89?
True
Let v(a) be the first derivative of 2*a**3/3 - 5*a**2 - 12*a - 2. Let k = 429 + -421. Does 9 divide v(k)?
True
Let q = -24 - -88. Is (q - -1)*(-3 + (-1 - -5)) a multiple of 2?
False
Suppose 0 = 3*p - 4*v - 1021 + 113, 0 = -3*v - 6. Suppose 0*r - p = -6*r. Let o = -14 + r. Is o a multiple of 6?
True
Let k(u) = -60*u + 3024. Does 24 divide k(-70)?
True
Let p(n) = -n**3 - 9*n**2 + 11*n - 6. Let t = -40 + 31. Let i be p(t). Does 19 divide (-70)/i + -379*(-1)/3?
False
Suppose 0 = 3*f + 4*k - 68, -3*k - 7 = -4*f + 67. Is 3 a factor of (-1218)/(-15) + (-4)/f?
True
Let g(h) = -h**2 - h. Let v(q) = 3*q**2 + 22*q - 68. Let o(w) = 2*g(w) + v(w). Does 11 divide o(-27)?
True
Let a = -14 - -105. Suppose -a = -14*u + 77. Is 12 a factor of u?
True
Let p = 124 + 112. Suppose -p = 7*f + 268. Let n = 125 + f. Is n a multiple of 33?
False
Let q = -889 + 291. Is 36 a factor of (-4 - -9 - q) + -2?
False
Suppose 3*y + 0*y = -3*l + 10074, 5*l = -10. Is y a multiple of 12?
True
Suppose -3*a - 2*a - 4*c - 472 = 0, -3*a - 284 = 2*c. Let r = a - -100. Does 49 divide (-5)/((-25)/246) + r/(-20)?
True
Suppose o + 3*a + 97 = 0, -4*o + 3*a - 173 = 155. Let g = o - -87. Is 53 a factor of (157/(-1))/(2/((-8)/g))?
False
Suppose -110 + 32 = 3*k. Let u be (-197)/5 + k/(-65). Let d = u + 50. Does 3 divide d?
False
Let o(r) = -r**2 - 2*r - 13. Let s(t) = -t**2 - 5*t - 25. Let q(f) = -5*o(f) + 3*s(f). Suppose u - 4 = -j, 0 = 4*j + 5*u - 11 - 3. Does 8 divide q(j)?
True
Suppose a = -10*a + 99. Let t(p) = -4*p + 80 - a*p - 91. Is t(-2) a multiple of 5?
True
Let o = -59 + 93. Is (37/(-2) + 51/o)*-3 a multiple of 17?
True
Suppose -748*n + 213444 = -682*n. Does 21 divide n?
True
Let b(h) = 22*h - 22. Let z(w) = w + 1. Suppose -2*l + 27 + 1 = 2*r, 12 = 2*r - 2*l. Let m(d) = r*z(d) - b(d). Is 13 a factor of m(-6)?
True
Let r(d) = 3*d + 18. Let h(i) = 2*i. Let g(x) = -2*h(x) - r(x). Does 11 divide g(-10)?
False
Let y(r) = -r**3 + 39*r**2 + 15*r + 42. Let i be 44 + (-1)/(-2)*-10. Does 57 divide y(i)?
True
Let w = 25222 + -24087. Does 16 divide w?
False
Let x(n) = 13310*n + 210. Is 65 a factor of x(1)?
True
Suppose i + 0*i + 4*k = -9, 0 = 2*i - k - 9. Let u(w) = 6 + w + 0*w + 4 - i*w. Is u(-5) a multiple of 10?
True
Let o(a) = -402*a + 3283. Is o(-40) a multiple of 13?
False
Is 74 a factor of (194 + -205)*(-2 + -1425)?
False
Suppose -4*t = 5*m - 386, -3*t + 77*m - 73*m = -243. Is t a multiple of 9?
False
Suppose 19*b - 22*b + 93 = 0. Suppose b*i - 12 = 29*i. Suppose -11*n + i*n = -690. Does 46 divide n?
True
Let y(m) = -6*m + 15. Let d be y(1). Does 4 divide (-6 + d + 0)*36?
True
Suppose -5*f - 15 = 0, -4*x - 4*f = -f - 7. Suppose -x*s - 2*c = -507 - 1567, 0 = -2*s + 4*c + 1022. Is s a multiple of 11?
True
Let o be 381/6*(2 + 4). Suppose o = 15*k - 99. Is k a multiple of 31?
False
Suppose 2*a - 19 = 5*g, 4 = -3*a + g - 0. Does 6 divide 1144/16 + a/(-6)?
True
Is 6 a factor of -1*(-1368)/(-104) - -13 - 182524/(-26)?
True
Let c = -862 - -550. Let l = 501 + c. Is l a multiple of 12?
False
Suppose -54 = 8*q + 10. Does 17 divide (-5 - 60/q)*2056/20?
False
Suppose -370 = 4*j - 2*h, 276 = -5*j - 3*h - 192. Let c = j - -133. Is 4 a factor of c?
True
Suppose 2*n + i = 22269 + 10847, -n = 3*i - 16578. Is n a multiple of 73?
False
Suppose -18*o + 38852 = -62*o. Let y = o - -962. Does 13 divide y?
False
Let a = 70 - 64. Suppose a = -h + 9. Is 14 a factor of h/2*(-1876)/(-21)?
False
Let f be -57*(2 + -1)/(-8 - -7). Let u = -56 + f. Is 2 a factor of ((-18)/10)/(u/(-5))?
False
Let b be (3 + -3)/((1 + 0)/(-1)). Let q be (2/(-7))/(3/(-21)) + b. Suppose q*o + 45 = 7*o. Is 2 a factor of o?
False
Let w = 6249 - 6125. Is w a multiple of 4?
True
Let f(s) = s**2 + 20*s + 34. Let w be f(-18). Let n(d) = -9*d**3 - 2*d**2 - 3*d - 5. Let c be n(w). Suppose -4*x + 23 = -c. Is 13 a factor of x?
False
Let a(d) = 2*d**2 + 17*d - 107. Let j be a(0). Suppose -615 = -9*l + 4*l. Let s = j + l. Is 16 a factor of s?
True
Let n(p) = 267*p**2 + 5*p + 10. Let z(l) = -7*l**2 - 69*l + 8. Let x be z(-10). Does 89 divide n(x)?
True
Let v(b) = -43*b - 583. Is v(-88) a multiple of 33?
True
Let p(t) = -t**3 + 34*t**2 + 414*t - 51. Is 40 a factor of p(37)?
True
Let d = 6 - 4. Let s(k) = 2*k**3 - 4*k**2 + 4*k - 2. Let u be s(d). Let q(y) = 26*y - 21. Is 15 a factor of q(u)?
True
Let v(n) = -n**3 - 6*n**2 + 19*n + 69. Let q be v(-10). Suppose -4*b + 230 = 3*f, -b = -3*f - 29 + q. Is f a multiple of 9?
False
Let x = -340 + 351. Suppose -x*v + 5960 = -6*v - 5*f, 2*v = -4*f + 2414. Is v a multiple of 19?
True
Let w = 226 - 26. Let j = w - 147. Is 19 a factor of j?
False
Let a(u) = 8*u**2 - 37*u + 171. Does 193 divide a(52)?
True
Let z = -390 - -156. Is (-148876)/z - (-2)/18*-2 a multiple of 6?
True
Let c = 49 - 23. Suppose -8*q + c - 2 = 0. Suppose q*a + 168 = 3*z, 2*z = z - 5*a + 32. Does 26 divide z?
True
Suppose -132*s = -124*s - 23520. Is 42 a factor of s?
True
Let b = -18015 - -19450. Is 59 a factor of b?
False
Let a(v) = -v**3 + 17*v**2 + 14*v - 37. Is a(10) a multiple of 6?
False
Let l(x) = -134*x + 119. Let i(d) = -45*d + 39. Let g(c) = 7*i(c) - 2*l(c). Does 43 divide g(-6)?
False
Let m(a) = -a**3 - 3*a**2 - 2*a - 15. Let k(i) = -2*i + 8. Let s(x) = x**3 - 3*x**2 + 7. Let g be s(3). Let h be k(g). Is 35 a factor of m(h)?
True
Suppose 0 = -3*x - 9, -3*m - 5*x + 27 = -3. Let n(u) = u - 13. Let h be n(m). Is h - 0 - (-40 - -2) a multiple of 11?
False
Let q be (-899*2)/(((-20)/(-2))/(-5)). Suppose -5*y + 231 = -q. Is 22 a factor of y?
False
Let z be ((-562)/6)/(7 + 635/(-90)). Suppose 210 - z = -9*q. Let b = -110 + q. Does 9 divide b?
True
Let g(q) = -q + 12. Let c be g(6). Let d = -4 + c. Is 5 a factor of (d - -2)*50/8?
True
Let i be 8/(-12)*-3 + -1. Suppose i = -5*v + 6. Is ((8 - 6) + 15 + v)/2 a multiple of 6?
False
Let v(u) = -2*u**3 - 8*u**2 + 2*u. Let g be 3*((-8)/(-12))/((-3)/6). Let w be g/3*180/40. Is 33 a factor of v(w)?
True
Let q(r) = 905*r**2 - 3*r + 9. Is q(2) a multiple of 91?
False
Is 18168183/9522 + (-3)/138 a multiple of 2?
True
Let j = 16800 - -3637. Is j a multiple of 107?
True
Let z(n) = -2*n**3 + 35*n**2 - 156*n + 15. Let a be z(8). Let y = -158 + 222. Let k = y - a. Is k a multiple of 10?
False
Suppose -3*i = -3*m + 25614, 0 = 2*m + i - 0*i - 17085. Does 24 divide m?
False
Let o = -55 + 60. Suppose -o*p = 4*j + 48, -3*p + 32 = -8*p + 4*j. Does 16 divide (p/6)/((-4)/366)?
False
Suppose 4 = w + 4*o - 36, w = 2*o + 70. Let d be w - 2/4*0/(-6). Suppose -6*j = -j - d. Is j even?
True
Does 37 divide -201*((-60)/12 + (-582)/9)?
False
Let p(u) = 21*u**2 - 22*u + 38. Let j be p(2). Suppose 2*n - j = -g + 5*g, 159 = 5*n - g. Does 5 divide n?
False
Let p = -86 + 19. Let u = p + 83. Is u a multiple of 12?
False
Suppose 5*i - 119 = 4*v, 77 = 3*i - 6*v + 5*v. Suppose -6120 = -24*t - i*t. Is t a multiple of 20?
True
Suppose -46 - 3549 = -4*n - 3*g, -5*n - 2*g = -4492. Is n even?
True
Let n(f) = 20*f**2 + 3*f. Let u be n(-3). Suppose -2*y + 4*i = -58, 4*y - 3*i - 110 = -y. Does 3 divide y/u - (-62)/9?
False
Is 133 a factor of 3714048/640 - (4/(-22) + (-42)/(-110))?
False
Suppose -13*p + 14*p - 4043 = -l, -4*p - 3*l = -16177. Is p a multiple of 44?
True
Let h be 1360/(-425)*(-50)/(-4). Does 31 divide (-10)/h + 3479/4 + -2?
True
Let v be ((-2)/(-3))/(-1) - 1154/(-3). Let j = -155 + v. Suppose 5*w + 250 = 2*h, 4*w + j + 283 = 4*h. Is h a multiple of 9?
False
Let l(j) = -5*j - 33. Let r be l(-7). Suppose -4*x - r*n = -1492, 3*x = -x - 5*n + 1486. Does 9 divide (-4)/(-6) - (0 + x/(-6))?
True
Suppose 288678 = 20106*h - 20080*h. Is h a multiple of 175?
False
Suppose -43*z + 15*z + 69665 = -23*z. Is 37 a factor of z?
False
Suppose 108*t - 30 = 102*t. Does 38 divide ((-3846)/(-4))/(t + 28/(-8))?
False
Suppose 5*k + 3*b - 28255 = 0, 668*k 