h/(-4*(-3)/(-18)) + 110?
False
Let l = 20 - 11. Suppose -4 = -11*n + l*n. Suppose 3*g = n*h - 155, -2*h - 3*g = -4*g - 153. Does 13 divide h?
False
Let r(d) = 3*d**2 + 16*d + d**3 + 2*d**3 - 11*d**3 + 6*d**3 + 5 + d**3. Is r(4) even?
False
Suppose -5*s = 7 - 17. Suppose -s*d = 2*y - 282, -12*d - 441 = -3*y - 9*d. Let g = -104 + y. Is g a multiple of 11?
False
Suppose 7*u + 96570 = 196425 + 149835. Does 205 divide u?
True
Let u = 102319 - 60924. Is u a multiple of 146?
False
Suppose 11*t - 20*t + 3276 = 0. Let n = t + -336. Is n a multiple of 7?
True
Suppose 0 = 5*g + 20 + 10, 0 = -2*p + 2*g + 1082. Does 5 divide p?
True
Is (13 + (21056 - -16))*1 a multiple of 9?
False
Let h(g) be the first derivative of g**2/2 + 42*g - 28. Let r be h(10). Suppose 4*q = 292 + r. Does 21 divide q?
False
Let j(m) = -m**3 - 3*m**2 - 20*m - 12. Let a be j(-8). Let b = -261 + a. Does 33 divide b?
False
Suppose 5*m = 5*s - 43980, 26*m - 8804 = -s + 25*m. Is s a multiple of 8?
True
Suppose 0 = -4*g + 2*h + 19374, -4*g + 160*h - 157*h = -19375. Is 167 a factor of g?
True
Let t be ((-75)/50)/(1/(-2)). Let a(p) = -p**3 + 4*p**2 - p. Let w be a(t). Suppose -w*n + 575 = -n. Is 23 a factor of n?
True
Suppose 317520 = 69*p + 21*p. Is 7 a factor of p?
True
Let n(v) = 5*v**2 + 67*v - 207. Does 27 divide n(-33)?
False
Let c(i) = 254*i**2 + 5*i - 6. Let a be (5/10)/((-5)/60). Let t(f) = -3*f**2 - 16*f + 13. Let m be t(a). Is c(m) a multiple of 26?
False
Suppose -967*s = -1943*s + 963*s + 449501. Is 89 a factor of s?
False
Let i = 1030 - 1027. Suppose i*q + w = 1471, 993 = 3*q - 4*w - 503. Does 7 divide q?
False
Let j(n) = 211*n**2 + 27*n + 11. Does 8 divide j(-4)?
False
Let s(h) = 18*h - 40. Let k(o) = 6*o - 13. Let c(d) = -17*k(d) + 6*s(d). Let g be c(4). Suppose -r + 5*q = -43, -4*r = -g*q - 73 - 174. Is r a multiple of 24?
False
Let g(w) be the first derivative of 23*w**4 + w**3/3 - w**2/2 + 2*w + 13. Let s be g(1). Suppose -9*n + 7*n = -s. Is 5 a factor of n?
False
Let g be (-12)/2*(-13)/(-26). Let m(u) = -143*u - 9. Is m(g) a multiple of 35?
True
Suppose 2*v + 2*a = 20748, 12*v + 20763 = 14*v - 3*a. Does 193 divide v?
False
Let d be (-1 + -5)/(-6)*-1*15. Let u = 0 - d. Suppose -u*i = -20*i + 520. Does 13 divide i?
True
Let b(m) = m + 166. Does 12 divide b(41)?
False
Let g(t) be the first derivative of t**2 + 6*t - 4. Let q be g(-2). Suppose 0 = -q*c - 4*u + 72, 0 = -4*c + 4*u + 4 + 104. Is 15 a factor of c?
True
Let f(x) = x**3 - 5*x**2 + 5*x - 4. Let m be f(4). Let r(y) = -y - 122. Let w be r(m). Let i = 153 - w. Is 26 a factor of i?
False
Suppose -4*w - 103 = -o, 3*w + 264 = 4*o - o. Suppose 2*t + o = 77. Does 42 divide t/18*-9*(-220)/(-6)?
False
Suppose -78 + 248 = 5*k. Suppose -k = -3*s + 3*v - 13, -3*v = 9. Suppose 4*j - o - 184 = 3*o, 4*o - s = 0. Is 10 a factor of j?
False
Let l(q) = q**3 - 10*q**2 + 25*q + 4. Let u be l(5). Let m(h) = 13*h**2 - 23*h. Is m(u) a multiple of 4?
True
Let l = -628 + 376. Does 17 divide (378/l)/(3/(-1010) + 0)?
False
Is (-1)/(3/(-9879)) + (-1 - -8) a multiple of 75?
True
Suppose -4*z = -z - 84. Let c(x) be the second derivative of x**3 + 8*x**2 + 6*x - 6. Does 23 divide c(z)?
True
Let t(i) = i**3 + 14*i**2 + 25*i + 126. Is t(-11) a multiple of 29?
False
Suppose 45*i - 48*i - 3 = 0. Suppose -s = 2*a + 3, s = -4*s - 2*a - 15. Does 4 divide -3 - i/(s/(-117))?
True
Suppose -11*s = -4 - 18. Suppose 136 - 718 = -s*u. Does 97 divide u?
True
Is 1848/140*(2228/6 + 2) a multiple of 28?
True
Suppose -12 = -3*u + 3*a, 3*u = 2*a - 4*a + 2. Let d(x) = 9*x**2 + u*x**2 - 8 - 3*x - 5*x**2. Does 19 divide d(4)?
True
Suppose 36 = 2*n - 3*b - 0*b, n - 11 = -2*b. Suppose -14*x + n*x + 169 = 0. Let v = -64 - x. Does 7 divide v?
True
Let y = 685 + -562. Is y a multiple of 2?
False
Let z(b) = -4*b**3 + 39*b**2 - 35*b - 252. Does 128 divide z(-19)?
False
Suppose -606 = -3*a - 3*a. Suppose 0 = -r + 408 - a. Does 6 divide r?
False
Let m = 3 + -2. Let u be ((-12)/16)/((-26)/104). Is (1/(m/98))/(u/6) a multiple of 28?
True
Let o(u) = 311*u + 2663. Is 11 a factor of o(7)?
True
Let v be 4/42 - (48724/42 + -9). Let b = -538 - v. Is 51 a factor of b?
False
Let i(o) = 96*o - 33. Let v = -337 - -340. Is 14 a factor of i(v)?
False
Let g(y) = -y**3 + 8*y**2 - 8*y + 9. Let k be g(7). Let s(c) = c**2 - 4*c. Let f be s(k). Let m(q) = 2*q**2 + 4*q - 2. Does 12 divide m(f)?
False
Let m = -316 - -222. Let t = 122 + m. Is t even?
True
Is 37 a factor of 81/(-9) + 17 + 3428?
False
Suppose -627120 = -265*y + 187*y. Is 8 a factor of y?
True
Let t be 8/(-3)*(-222)/148. Suppose 2*l - 94 - 8 = t*z, -l = 3*z - 41. Is 4 a factor of l?
False
Let c = -1557 + 2366. Suppose -5*o = -2*i + 4*i - c, 4*o = 3*i + 638. Is o a multiple of 6?
False
Let m(r) = 5*r**2 + 2*r + 18. Let h(p) = p**2. Let o(q) = 5*h(q) + m(q). Let d be o(6). Suppose 5*k + d = -3*b + 1176, -2*k + 4*b = -330. Does 53 divide k?
True
Let u = -2180 - -4279. Suppose -3*n = b - 849 - 407, -5*n + u = -4*b. Let s = n + -222. Does 37 divide s?
False
Let b(m) = -41*m + 18. Let g be b(-4). Suppose g = -2*w + 732. Suppose -5*s + w = -4*p, 2*p = -5*s + p + 275. Is s a multiple of 7?
False
Let f = 110 - -12. Let m = 309 - f. Does 30 divide m?
False
Let s be (192/(-8))/(-6) - (-2)/2. Suppose 17 = -h - 3*g + 76, s*h + 4*g = 240. Suppose h*p - 49*p = -950. Is 19 a factor of p?
True
Let s(q) = -q**2 - 58*q - 776. Let h be s(-37). Let a(y) = -128*y + 1. Let p(b) = -383*b + 3. Let i(f) = 11*a(f) - 4*p(f). Is i(h) a multiple of 7?
False
Suppose b = j - 17 + 7, 4*b = -4*j. Suppose -j*y + 1290 = 5*p, 4*y - 914 = 2*p + 106. Is 8 a factor of y?
True
Let k(m) = 3*m**2 - 5*m**2 - 10*m + 2*m**2 - 5 + m**2. Let z = -54 + 67. Is 12 a factor of k(z)?
False
Suppose 3*o - 2*b - 28 = -7*b, 3*o - 8 = -b. Let x be (-4 - -3)*39/o. Let s = 65 + x. Is 3 a factor of s?
False
Suppose -3*r - 5*i + 5095 = 0, -2*r - 2*r + 6840 = -5*i. Suppose 22*a = -9*a + r. Does 3 divide a?
False
Suppose 125*k - 530593 = 526282. Is 95 a factor of k?
True
Let k be 4/8*48/3. Suppose 0 = 3*i - 5*c - 538, 3*c = -4*i + k*c + 724. Is i a multiple of 9?
False
Let n(d) = 267*d**2 - 45*d - 408. Does 25 divide n(-10)?
False
Let h(t) = -3*t**3 - 3*t**2 + 3*t - 3. Let w be h(-3). Suppose 0 = 3*l - 4*r - 24, w = -l + 4*l + 2*r. Is 13 a factor of ((-147)/(-9))/(4/l) - -3?
True
Suppose 6*p - 178 = 8. Suppose -p*x + 33*x = 16. Suppose -3*s = -5*m + 4*m + x, 5*m + 3*s - 58 = 0. Is m a multiple of 7?
False
Let o(m) = m**2 - 13*m + 3. Let b be o(12). Let l(q) = q**2 + 12*q + 18. Let w be l(b). Let x(c) = -c**2 - 11*c + 10. Is 6 a factor of x(w)?
False
Does 7 divide (-21)/(-42) + 7*1191/6?
False
Let r be (3 - 2)/((-9)/(-12))*-1137. Let n = r + 2223. Is n a multiple of 13?
False
Suppose 2*p - 20 = -5*d - 3*p, -p = -3*d + 8. Suppose 631 = h + c, 5*h + d*c = c + 3170. Does 53 divide h?
True
Suppose 5*c - 3 + 0 = -4*v, -3*c + v - 5 = 0. Let s = c + 10. Is 3 a factor of ((-12)/s)/(12/(-27))?
True
Let x(y) = 40*y + 159. Let q(b) = -79*b - 320. Let r(w) = 6*q(w) + 11*x(w). Does 29 divide r(-11)?
True
Let r(f) = 2*f**2 + 22*f - 2. Let o be r(11). Let m = 316 + o. Does 57 divide m?
True
Suppose 8*y + 1600 = 12*y. Suppose 18*p - y = 8*p. Let h = 192 - p. Is h a multiple of 19?
True
Let n(y) = y**3 - 5*y**2 - 40*y + 275. Is 17 a factor of n(14)?
True
Suppose 0 = 2*t + 6 - 36. Suppose -4*a - 7 = -4*w - t, 12 = a + w. Is a a multiple of 5?
False
Suppose 8595 + 4877 = -4*k. Let i be ((-3)/2)/((-4)/k). Does 10 divide i/(-18) - 1/6?
True
Let h = -44 - 21. Let d = 66 + h. Is 4278/24 + -4 - d/4 a multiple of 27?
False
Does 62 divide (-10)/15 - ((-8494068)/(-36))/(-11)?
False
Let z(n) = n**3 + 9*n**2 - 8*n + 5. Suppose 72 = 18*w + 198. Is 10 a factor of z(w)?
False
Let r(m) = m**3 + m**2 - 3*m - 2. Let k be r(-1). Let v = -44 + 24. Is 12 a factor of -6*v*2*k?
True
Suppose -15*n = -10890 - 8910. Is 6 a factor of n?
True
Is 23549 + 99/(-12)*100/(-75) a multiple of 95?
True
Let z = -308 + 83. Let m = 282 + z. Is m a multiple of 11?
False
Let b be 52380/100 + 8/(-10). Let k = 781 - b. Suppose 4*a + 34 - k = 2*q, -4*a - 2*q + 224 = 0. Is a a multiple of 21?
False
Suppose -130*o - 630527 = -190*o + 669973. Does 68 divide o?
False
Let w = 15 - 130. Does 5 divide (-2)/4*2*w?
True
Let q = 8 + -7. Suppose h - q = -0*h, -11 = -4