-2*m + 2*g = -834, -5*m - 444 + 2559 = g. Suppose 0 = 2*o + 3*i - 402, 2*i + m = 4*o - 2*o. Is o a multiple of 31?
False
Let s be -4 - 420/(-54) - (-4)/18. Let c(y) = -y - 5 + 10 - s*y - 2*y. Does 8 divide c(-5)?
True
Let t(n) = 2*n**3 - 4*n + 2. Suppose 0 = y + 4*s - 4 + 3, -s - 4 = -4*y. Let g be t(y). Suppose g = -w + 20 + 112. Does 15 divide w?
False
Let d be (1 - 2)/((-24)/(-5) - 5). Let w = d + 95. Suppose -451 = -4*q + o, -q + 2*q + 4*o - w = 0. Is 16 a factor of q?
True
Let b = 2590 + -1281. Let w = b + -529. Does 26 divide w?
True
Let o = 129 - 130. Is 29 a factor of (-17430)/(-120) - o/(-4)?
True
Let z = 26842 - 16805. Does 45 divide z?
False
Suppose 0 = -3*p + 4*t - 6 - 10, 0 = -p + 5*t - 20. Suppose -2*v - 4*c - 24 = p, v + 7*c = 4*c - 14. Does 12 divide (172 - (-4 - v)) + 0?
True
Let j(i) = 40*i + 165. Let s be j(-4). Suppose 5*a - 70 = 5*n, 5*a + 0*a + n = 46. Suppose 0*q + 12 = q - s*p, -q + 3*p = -a. Is q a multiple of 7?
True
Suppose j = -5*o + 49, -4*o = 3*j - 6*o - 147. Suppose 2*b = 3*x + 221 - j, -5*b + 2*x = -419. Is b a multiple of 3?
False
Suppose 4*j + 5*d - 59089 = 0, -82*j - 2*d = -85*j + 44288. Is j a multiple of 107?
True
Let s(k) = -3*k**2 - 3*k - 3. Let m be s(-2). Does 35 divide 3*(-70)/6*m?
True
Let d(l) = -l**3 - 5*l**2 - l + 1. Let v be d(-5). Suppose 2*a = -v - 0. Does 5 divide (5 - 98/a) + 1/3?
False
Let u(z) = -z**3 + 12*z**2 - 3*z - 52. Let o = 264 + -255. Does 41 divide u(o)?
True
Suppose 0 = -49*m + 62*m + 39. Is 4 a factor of (-77 - m - 3)*15/(-5)?
False
Suppose 4*h + 24*f - 97 = 21*f, 2*f = h - 16. Suppose -h*x - 1640 = -30*x. Does 5 divide x?
True
Let k be (1*10 - 1)*-1. Let m(r) = 5*r**3 + 14*r**2 + 13*r + 4. Let j(d) = 9*d**3 + 27*d**2 + 24*d + 8. Let i(f) = 4*j(f) - 7*m(f). Is 20 a factor of i(k)?
True
Let h(p) = -p**3 - 2*p**2 + p - 1. Let x be h(-5). Let n be (-2 + (-1 - -7))/(6/x). Let b = -24 + n. Is b a multiple of 5?
False
Let q be 295*2 - (-80)/(-16). Let r = 865 - q. Does 14 divide r?
True
Let v(l) = -l**3 + 17*l**2 - 15*l - 16. Let o be v(16). Let u be (o + 1)/(5/615). Suppose 4*i = m + u, 0 = 2*i - 0*i + 5*m - 67. Is 7 a factor of i?
False
Let y = 165 + 69. Let c = -226 + y. Is c a multiple of 4?
True
Let g = -20430 - -45279. Suppose -g - 4753 = -41*i. Is 50 a factor of i?
False
Suppose -63*g + 6*g = -104524 - 1438010. Does 14 divide g?
True
Let w(i) = i**3 + 5*i**2 - 4*i + 3. Suppose 3*f + 29 - 14 = 0. Let v be w(f). Suppose v = 11*y - 373. Does 22 divide y?
False
Let i(m) = -20*m**2 - 5*m + 16. Let y be i(11). Let b = -1680 - y. Is b a multiple of 19?
True
Let b = 29 + -26. Let u be (2/2 - b)*1. Does 7 divide (5 - -13)*((-8)/(-3) + u)?
False
Let s be 9/(5/(-30) + 57/18). Suppose -2*n + 1560 = 4*h + n, -4*h + 1536 = -s*n. Does 22 divide h?
False
Is 116 a factor of -12 - -3589 - -7 - -12?
True
Let i(c) = 61*c**3 + 3*c**2 + c - 27. Does 11 divide i(3)?
True
Let p(k) = -35*k + 151. Is 4 a factor of p(-9)?
False
Suppose 17*b - 15273 = 18047. Is b a multiple of 2?
True
Let c = -10745 + 17604. Is 29 a factor of c?
False
Let f = 21 + -9. Is ((-9*f)/(-1))/(-1 + 2) a multiple of 6?
True
Let y(p) = 124*p - 14. Let b be y(8). Let z be 6/4*(b/(-9) - 2). Does 7 divide z/(-1 - 1) - -1?
True
Let j(t) = t**2 - 9. Let p be j(-3). Suppose p = 3*y - 85 + 76. Suppose -q + 60 = y*f, -5*f = -q + 53 + 23. Is q a multiple of 6?
True
Suppose 20*i - 41509 = 7*i + 27040. Is i a multiple of 39?
False
Suppose 4*j - 4768 = 203*c - 199*c, -3*j = c - 3560. Does 36 divide j?
True
Let q(d) = 2*d + 21. Let n be q(-3). Suppose 12*p = -u + 16*p + n, -u - 15 = 2*p. Let b(h) = -h**3 - 3*h**2 - 2*h - 9. Does 38 divide b(u)?
False
Let i(z) = 603*z**2 + z - 94. Does 161 divide i(6)?
False
Let a = 5348 + -196. Is a a multiple of 89?
False
Does 10 divide 3*(624/(-36))/(-13) - (-5097 + 1)?
True
Let c be 1*5/((-40)/(-104)). Suppose 12*u = -c*u + 26250. Does 50 divide u?
True
Suppose 42 - 34 = v. Let a be (-1)/(-8)*2 - (-38)/v. Does 16 divide 0 - (-93 - (a + -2))?
True
Suppose 2*j = -4*s + 7276, 68*s - 64*s = 4*j - 14540. Suppose 20 = -4*h, j = 3*f + 5*h - 1730. Does 21 divide f?
False
Let s(x) = 48*x**2 + 57*x - 204. Let u(f) = 16*f**2 + 19*f - 68. Let q(v) = -4*s(v) + 14*u(v). Is 80 a factor of q(4)?
False
Let r(v) = -3557*v - 517. Does 7 divide r(-2)?
False
Let z(t) = -1774*t + 11400. Is z(0) a multiple of 25?
True
Let h(t) = t**3 + 13*t**2 - 18*t - 12. Let x = 175 - 109. Let o = x + -80. Is 11 a factor of h(o)?
True
Does 48 divide ((-6 - -4383) + 15)*2?
True
Let i = -2867 - -2913. Is i a multiple of 2?
True
Suppose 0 = -0*x - 5*x - 140. Let k = 33 + x. Suppose 0 = -k*w + w - 8, -4*z + w = -254. Does 9 divide z?
True
Let u(c) = -60*c**2 - 8*c + 83. Let b(q) = 30*q**2 + 4*q - 41. Let l(n) = 9*b(n) + 4*u(n). Is l(4) a multiple of 27?
True
Let y = 7643 - 1174. Is 127 a factor of y?
False
Let p = 353 - 337. Is p + 7 - -3 - 9 a multiple of 8?
False
Is (21/7 - 4)/((-5)/(30*961)) a multiple of 93?
True
Suppose 4*t - 4*f = 36, -22 = -t - t + 4*f. Is 20 a factor of 7/((-7)/240)*(t - 8)?
True
Is (3 + -2 - 7)/((66/(-4724))/11) a multiple of 13?
False
Let l(k) = 5*k**3 + 5*k**2 - 2*k - 7. Let h be l(3). Suppose s - 131 = 4*c + h, 0 = -c + 2. Suppose -306 = -3*t - 3*f, 2*t + t - s = -4*f. Does 14 divide t?
False
Suppose 230*d = 234*d. Does 10 divide (-1302)/(-155)*(d - -15)?
False
Suppose 0*w - w - 13 = a, -4*w + 68 = -4*a. Let c be 3630/a*1/(4/18). Is (-2)/8 + c/(-36) a multiple of 15?
True
Suppose -5*h + 18 = -w, 4*w + 4 = 8*h - 5*h. Suppose h*p + 7 = 2*m - 21, -4*p = -5*m + 46. Suppose 0 = -17*c + m*c + 572. Is c a multiple of 13?
True
Let h be ((-78)/(-18) + -4)*-3. Is 22 a factor of (44*h/(-5))/(4/110)?
True
Let h(z) = -3*z**3 - 5*z**2 - 9*z + 169. Is 7 a factor of h(-20)?
False
Let x = -62 + -185. Let g = -195 - x. Is 26 a factor of g?
True
Let g(q) = -q**3 + 19*q**2 - 11*q - 47. Let s be g(19). Let h = s - -169. Is 12 a factor of h/(-2)*(-4)/(-6)?
False
Let j(z) = 10*z + 13. Let w be j(0). Let m = -11 + w. Suppose m*c - 76 = -5*k, 3*k - 43 - 29 = -2*c. Is c a multiple of 2?
False
Let n be (840 - -5)*2/4*10. Suppose 0*p - n = -5*p. Does 13 divide p?
True
Let w = 63813 - 36838. Does 65 divide w?
True
Suppose 3*s = -4*l + 3*l + 1715, -2*l = 4*s - 3446. Is 6 a factor of l?
False
Does 33 divide 2/((12747/(-3183) - -4)*(-4)/30)?
False
Let d(v) = -104*v - 3. Let r be d(-3). Suppose 3720 + 3487 + 437 = 52*u. Suppose 2*f - r = u. Does 19 divide f?
True
Let c = 6032 + -3208. Is c a multiple of 8?
True
Let m be 0 - (4 - 3) - (1 - 3). Let a = m - -2. Is a/5 - (2 + (-81)/15) a multiple of 2?
True
Suppose -6*r = -22774 - 3542. Does 129 divide r?
True
Let y = -161 - -165. Suppose -12*l = y*l - 18032. Is l a multiple of 49?
True
Suppose -157*x = -17*x - 1088780. Is x a multiple of 154?
False
Let b(w) = -14*w + 2. Let g be b(1). Let l be (2 - (1 - 1))*(-4170)/g. Suppose -10*f - l = -15*f. Does 25 divide f?
False
Let q(h) = h**2 + 8*h - 9. Let o be q(1). Suppose -3*w - 151 + 286 = o. Does 15 divide w?
True
Let d(g) be the third derivative of g**5/30 + 17*g**4/12 + 7*g**3/3 + 2*g**2 + 32. Does 16 divide d(-22)?
False
Let z(l) = -2*l**3 + 8*l**2 - 6*l + 10672. Is 23 a factor of z(0)?
True
Let w(p) = -p**2 - 9*p + 1. Let h = 67 - 48. Let c = h + -26. Is w(c) even?
False
Suppose 0 = -2*b + i + 8575, 21460 = 5*b - 3*i + 5*i. Suppose m + 12*m - b = 0. Is 11 a factor of m?
True
Suppose -5*q = -3 - 7. Suppose -q*u - 3*u = -90. Let y = u - -3. Is 7 a factor of y?
True
Let g = 51 + -51. Suppose 2*t - 75 - 15 = g. Is t a multiple of 9?
True
Is -9 + -3*32978/(-33) a multiple of 30?
False
Let f be 49/3*(2 - -1 - 120). Let o = 3791 + f. Is 94 a factor of o?
True
Suppose s + d - 5 = 0, 4*s + 7*d = 2*d + 22. Suppose -s*p = p - 1712. Let x = p - 277. Is x a multiple of 36?
False
Let w be -3 + 9 - (-2)/(-2). Suppose -2*g + 2*c = -w - 7, 4*c = 3*g - 20. Suppose -4*x + 5*j = -158, 5*x - 3*x - 82 = g*j. Is x a multiple of 10?
False
Let y(j) = 13*j + 18. Let p be y(3). Suppose -9*c + 10*c = 21. Is 12 a factor of -3 + p/c + 506/7?
True
Is (123/5)/(46/9890) a multiple of 6?
False
Suppose 4*s - 2*q = 158, -6*s - q - 190 = -11*s. Suppose -s*d = -34*d - 1317. Is d a multiple of 13?
False
Suppose -30 = -10*f + 270. Does 10 divide (175/f)/(6/36)?
False
Let g(q) = 37*q**2 + 53*