True
Let v(d) = 27*d - 53. Let b(z) = 9*z - 26. Let w be b(4). Let a be v(w). Suppose 80 = -c + l + a, 3*l = -6. Does 15 divide c?
True
Suppose 4*b - 3*v + 505 = 0, 3*b + b = -5*v - 481. Let j = b + 213. Is j a multiple of 17?
False
Let v(g) = -g**3 - 7*g**2 - 11*g. Suppose -y = 1, 19 = -2*b - 2*y - 3*y. Does 3 divide v(b)?
False
Suppose -5*a + 40 = 40. Let u(w) = 6 + 17 - w + 10. Is 4 a factor of u(a)?
False
Let s be 741/117 - (-2)/3. Suppose -c + 571 = w, -s*c + 4*c + 4*w = -1685. Does 27 divide c?
True
Let r(g) = 18*g**3 - 12*g**2 - 31*g - 20. Does 36 divide r(8)?
False
Let v = -3419 + 4242. Is v a multiple of 19?
False
Suppose -29*s + 14*s + 6720 = 0. Let q = s + -202. Does 41 divide q?
True
Suppose 28*o + 4904 = 20*o. Let n = o + 1161. Does 72 divide n?
False
Suppose 3*h + 37550 = 2*n - 29116, -n + 33339 = -3*h. Is n a multiple of 69?
True
Let v(h) = 2*h**2 + 31*h - 1. Let j be v(-21). Suppose -2126 = -23*i - 5254. Let a = i + j. Is 7 a factor of a?
False
Does 19 divide (1022276/24)/19 + 10/60?
True
Let z(x) = 140*x - 1. Let p(t) = -t**2 - 252*t + 2. Let g(u) = p(u) + 2*z(u). Let r = -40 - -58. Is g(r) a multiple of 36?
True
Suppose -4*x = -2*k + 3*k + 24, 3*x + 25 = k. Let h(z) = 6*z**2 - 44. Is h(x) a multiple of 25?
True
Suppose -740*s = -735*s - 7720. Does 19 divide s?
False
Suppose 0 = -2*m - 2*u - 2*u, -8 = -3*m - 2*u. Suppose -2*c - m*d - 142 + 528 = 0, 2*c - 5*d - 341 = 0. Is (-8)/18*6*c/(-4) a multiple of 13?
False
Let j(v) = 2*v**3 - 92*v**2 - 144*v + 112. Is j(50) a multiple of 38?
False
Let z(y) = 4*y + 102. Let o be z(-16). Suppose 0 = -2*s - 2 + o. Is 13 a factor of s?
False
Suppose 23 - 119 = 3*q. Let c = 35 + q. Let v(m) = 11*m + 7. Is 17 a factor of v(c)?
False
Let w be (76/13 - 44/(-286)) + -3. Suppose 2792 = 4*s - 4*b, w*s - s - 5*b - 1387 = 0. Is 18 a factor of s?
False
Let k be (-747)/(-3) + (2 - 4 - -1). Suppose 3*d + k - 1634 = 0. Is d a multiple of 22?
True
Suppose -3*h + 68820 = 5*o - 7*h, 4*o - 55056 = 5*h. Is 37 a factor of o?
True
Let z = -33658 + 33793. Does 45 divide z?
True
Let y(j) = 7*j**3 - 42*j**2 + j - 4. Let d be y(6). Suppose -d*x + 0*z + 2*z = -894, -4*x + 3*z + 1783 = 0. Does 34 divide x?
True
Let f be (-224)/10*(7 + -2). Is ((4 + 4)/(-4) - f) + 4 a multiple of 9?
False
Suppose 4*x - 4 - 32 = 0. Let p(d) = d**3 - 10*d**2 + 7*d + 18. Let i be p(x). Is 6*(3 - 2)*(i + 32) a multiple of 20?
False
Suppose -20*x + 52236 = -2*d, -2*x = -x - 4*d - 2604. Is 22 a factor of x?
False
Let v(t) be the third derivative of 11*t**5/60 - t**4/12 + 175*t**3/6 - 150*t**2. Is v(0) a multiple of 7?
True
Let t be (374/(-5))/((-5)/50). Suppose -4*k + 221 = 4*x - 1299, 4*x + t = 2*k. Is k a multiple of 42?
True
Suppose -3952 - 4315 = -v + 1220. Is v a multiple of 21?
False
Let v be (-85)/25 + 3 - (-82)/5. Let g(k) = 11*k - 19*k + 12*k - v + k**2 + 6*k. Does 10 divide g(10)?
False
Does 56 divide (-30)/(-8) + (-6)/8 + (-38 - -10059)?
True
Suppose -8 = -2*j - 2. Suppose j*a - 4*i - 36 = 44, 3*a = 5*i + 76. Is 3 a factor of (48/(-64))/((-1)/a)?
True
Is (37354/57 - 6)/((-6)/(-9)) a multiple of 6?
False
Suppose 0 = 4*o + l - 531, -5*l - 513 = -4*o - 0*l. Suppose 0*c + 5*u + o = 4*c, -c + 2*u = -36. Is c a multiple of 14?
True
Suppose -z + 5*r = -14, -5*z = -0*r - 4*r - 49. Suppose 6 = z*m - 7*m. Suppose 16 = 4*n, 3*n + 0*n - 123 = -m*w. Does 7 divide w?
False
Suppose 620 - 46737 = -13*a + 15659. Is 99 a factor of a?
True
Suppose 246*b - 176801 - 229227 - 65800 = 0. Is 29 a factor of b?
False
Let n(z) be the second derivative of -46*z**3/3 - 15*z**2 + 23*z. Is n(-2) a multiple of 3?
False
Suppose -24*u = -n - 25*u + 403, 10 = -2*u. Suppose -n + 2856 = 3*w. Does 68 divide w?
True
Suppose -5*b - 4 = -14. Let i(p) = -7*p**3 + 2*p. Let r be i(-1). Suppose -5*t + 0*t + 25 = b*l, -39 = -2*t + r*l. Is 5 a factor of t?
False
Suppose 0 = 4*j + 20*j. Suppose j = 23*c - 24*c + 135. Is 24 a factor of c?
False
Suppose 0*t = -t + 5. Suppose -2*g + 2*k = 3*k - 66, -167 = -t*g - 2*k. Let u = g - -1. Is u a multiple of 9?
True
Let o = 38690 - -12932. Is 311 a factor of o?
False
Let v = -10691 - -17011. Does 10 divide v?
True
Let v(k) = k**3 - 9*k**2 - 50*k - 21. Is 22 a factor of v(29)?
False
Let t(w) = 59*w**2 - 36*w - 24. Is t(-4) a multiple of 8?
True
Let k(o) = 2*o**3 - 3*o**2 + o - 1. Let t be k(2). Suppose -2*r + t*w + 1382 = 0, 5*r - 3031 = -4*w + 457. Is 40 a factor of r?
False
Let y be ((-24)/(4 - 0))/(-2). Suppose -2*v - 3110 = -5*n - 798, y*v - 2332 = -5*n. Does 29 divide n?
True
Suppose -33*h - 16564 = -4*a - 30*h, 5*h - 12452 = -3*a. Is a a multiple of 171?
False
Does 50 divide (8 - (5 + -6)) + 4138 + -3 + 6?
True
Let p = -113 + 125. Let t be 10/3 - p/(-18). Suppose -z = 4*c - 178, -c - 255 - 372 = -t*z. Is z a multiple of 22?
False
Let w(p) = 4*p**2 - 5*p + 3. Let f be w(-5). Suppose i - f - 53 = 0. Suppose 3*o - i = -7. Is o a multiple of 15?
False
Let z(p) = -p**3 + 11*p**2 - 12*p + 16. Let d be z(10). Let f(k) = -49*k + 7. Is f(d) a multiple of 29?
True
Suppose y + 5 = -0*y, -4*k + 4102 = -2*y. Does 19 divide ((4/1)/1 - 3)*k?
False
Let z(l) be the second derivative of -l**3/2 + 7*l**2/2 + 17*l. Let m be z(4). Is 27 a factor of (m - (-23)/4)/(1/72)?
True
Let t = 1469 - -2676. Is 5 a factor of t?
True
Let d(o) = o**2 + 25*o - 176. Let v be d(22). Suppose 3894 + v = 6*s. Does 38 divide s?
False
Let q be 16/(-32) + -1 + 2/(-4). Let c be 1/((q/(-16))/1). Let s(n) = 6*n - 12. Is s(c) a multiple of 5?
False
Suppose -4*y + 147 = -5*y - 5*n, 0 = y + n + 163. Let o = -85 - y. Is o a multiple of 41?
True
Let r be (-47)/12 + 7/(-84). Is 21 a factor of (18/21)/(r/(-1176))?
True
Suppose 431 = 3*x - 91. Let p = 36 - 54. Is 29 a factor of x/p*-3*(-1 + 2)?
True
Suppose 0 = -4*o - 10*t + 5*t, -5*o = 5*t. Suppose o*r = -2*r + 104. Is r a multiple of 4?
True
Let m = 7531 + -1393. Is m a multiple of 119?
False
Suppose -24*z + 275 = -19*z. Let b = 11 + -6. Suppose v - 96 = 3*x - b*x, -x - 4*v = -z. Does 17 divide x?
False
Suppose 198620 = 4*m + 238*y - 241*y, -4*m + 198588 = 5*y. Is m a multiple of 59?
False
Let g(s) = s**3 + 10*s**2 + 18*s - 2. Suppose -12 = 2*i + a, -6*i + 5*i - 15 = 5*a. Does 2 divide g(i)?
False
Suppose 0 = -8*k + 17 + 503. Does 7 divide k + 4/8*10?
True
Suppose 0 = -4*p - n + 45, 4*p + 0*p + 2*n = 42. Suppose p*u - 4696 = 6836. Is 16 a factor of u?
False
Suppose 4*l = 24*u - 19*u - 25428, 4*u + 3*l - 20330 = 0. Is u a multiple of 31?
True
Suppose 0 = 4*o - 5*f + 5, -20 + 5 = -o - 2*f. Suppose 5*b + 100 = x, -o*b - 3 + 18 = 0. Is 15 a factor of x?
False
Let h be (-1 + (-4 - -1))/(-2). Suppose -3 = -g - 5, 3*o + h*g = -22. Is 17 a factor of (-511)/o - (-13)/(-78)?
True
Let c(l) = -l**3 + 69*l**2 + 210*l - 94. Does 11 divide c(71)?
False
Suppose 23*c + 84*c = 2823703 + 29024. Is 10 a factor of c?
False
Let y = 39958 - 11860. Is 21 a factor of y?
True
Let t(o) = o**3 - 16*o**2 - 16*o - 60. Suppose 5*n - 40 = -k, -6*n = -4*k - 3*n + 68. Is t(k) a multiple of 61?
True
Suppose -5*c - 3*s = -5*s - 920, 2*c - 4*s = 368. Suppose 0 = 2*b - 492 - c. Suppose j + 22 = -3*t + b, -t - 918 = -3*j. Is j a multiple of 36?
False
Let q(b) = -b**3 - 6*b**2 + 7*b - 4. Suppose -5 = 2*h - 13. Let p be q(h). Let w = 206 + p. Does 18 divide w?
False
Suppose -2*l - 2*g + 2784 = 0, -l - 1117*g + 1115*g + 1398 = 0. Is l a multiple of 9?
True
Let k(w) = 11*w**2 + 27*w + 7. Let v(t) = 12*t**2 + 28*t + 7. Let q(a) = -6*k(a) + 5*v(a). Let x be q(-7). Is 4/(-6) + 7/(x/(-1400)) a multiple of 22?
True
Suppose t + 31 = -2*t + 5*d, -2*t + 4*d - 24 = 0. Is (-2 - t)/(-7) + 58 a multiple of 9?
False
Let y be 126/27*(-3)/(-1). Suppose -12*c + y*c - 1733 = -5*z, -5*z + 1739 = -4*c. Is 88 a factor of z?
False
Suppose 0 = 2*o - 4*x - 2682, 25*o = 29*o + 5*x - 5377. Is 11 a factor of o?
False
Let s = -1544 + 3359. Is s a multiple of 5?
True
Let x(l) = 2*l + 29. Let n be x(-16). Let g(o) = 6*o**2 + 6. Let b be g(n). Is (-20 + b)*5/4 a multiple of 13?
False
Let x(t) = 2*t**2 - 25*t - 9. Let l be x(13). Let p be -1*(l/14 + (-1604)/28). Suppose 2*s - p - 450 = 5*d, 4*d - 1028 = -4*s. Does 45 divide s?
False
Suppose -2*l - 15 + 45 = 0. Let q be 20/l + 4/(-3). Suppose 0 = g - q*a - 3*a - 21, -a = -5*g + 63. Is g a multiple of 4?
True
Let k(i) = 6*i - 170. Let f be k(30). Suppos