False
Suppose 4*t - 619 - 281 = 0. Suppose 0 = 11*x - 6*x - t. Suppose 5*o = 2*y + 10 - x, 0 = -4*y - 2*o + 58. Does 15 divide y?
True
Let o(x) = 368*x**2 - 3*x - 20. Does 11 divide o(3)?
False
Suppose 0 = 17*u - 14 + 371. Let h(b) = 3*b**2 + 17*b + 66. Is h(u) a multiple of 8?
True
Let s = -28142 + 41230. Is s a multiple of 31?
False
Suppose 5*t + 5*p = -25, -4*p - 20 = t - 0*t. Suppose t = 13*j - 24 - 171. Is (-44)/((12/j)/((-8)/20)) a multiple of 22?
True
Suppose -12*i + 16 = 3*d - 8*i, 20 = 3*d + 5*i. Suppose -29*g + 15882 + 13988 = d. Is g a multiple of 13?
False
Let v(k) = k**3 - 3*k**2 + 5*k - 18. Let d be v(5). Is 6 a factor of d - (0 - -1)*-3?
True
Let c(m) be the second derivative of -m**6/180 + 7*m**5/60 - m**4/4 - 13*m**3/6 - 14*m. Let o(y) be the second derivative of c(y). Is 2 a factor of o(6)?
True
Let t = -581 + 577. Let v be -2*3*3/9. Does 4 divide (-44)/t + -1 + v?
True
Suppose 217*v - t = 219*v - 29827, v - 5*t = 14886. Is 13 a factor of v?
True
Suppose -96*d - 153072 = -823599 - 482625. Does 84 divide d?
True
Let k(x) = 50*x - 100. Let n be k(2). Does 10 divide n + 25/(-15)*-30?
True
Suppose -21 = 5*w - 36. Let t(g) = -2*g + 9. Let r be t(w). Suppose -4*q + r*y + 85 = 0, -5*q + 2*y + 140 = 5*y. Is 3 a factor of q?
False
Suppose s - 2*p = 357, 5*s + p - 4*p - 1771 = 0. Let q = s + -145. Is q a multiple of 35?
False
Let o = 21 - 40. Let p = o - -23. Suppose 0 = 4*k + 4*q - 552, 4*k - 5*k - p*q + 135 = 0. Is k a multiple of 17?
False
Suppose 5*d - 2*z - 756 = 0, -354 = -3*d + 2*z + 98. Is 8 a factor of d?
True
Suppose 2970 = 31*y - 595. Is (6/10)/(1/y) a multiple of 3?
True
Let k(x) = 5*x**3 + 10*x**2 - 10*x + 32. Let h be k(-6). Let o = h + 1291. Is 56 a factor of o?
False
Let r = 2 + 0. Let f be 1/(-2)*-16 - 12/(-4). Suppose 4*k - d - 31 = 0, f = k + 5*d - r*d. Is k even?
True
Let d(n) = 3*n**3 + 114*n**2 - 171. Does 33 divide d(-37)?
False
Suppose -2*m - 3*p = -6*p - 1287, 3246 = 5*m + 2*p. Suppose -m = -14*l + 5*l. Does 12 divide l?
True
Suppose -19*c - 18*c = -167351. Does 10 divide c?
False
Let l be -4 + 456/108 + 32/18. Suppose -m + l*s - 4*s = -193, 203 = m - 3*s. Is 6 a factor of m?
False
Let h = -99 + 84. Is 8 a factor of (110/h - 2)*-6?
True
Suppose 21009 = 55*g - 8*g. Is g a multiple of 83?
False
Let k = 859 + 11611. Is 43 a factor of k?
True
Let u be ((-10)/8)/(3/12). Let g = 957 - 949. Let r = u + g. Is 3 a factor of r?
True
Let r = 6098 - -318. Is r a multiple of 44?
False
Suppose -3*d + 18 = -0. Suppose -d*l - l = -35. Suppose -n + 2*h - 88 = -3*n, -l*h - 53 = -2*n. Is 13 a factor of n?
True
Suppose 0 = 7*d - 14*d + 840. Let g = d - 123. Is 8 a factor of 9*(g/(-1) - 0)?
False
Suppose -11*m + 7*m - 2*f = 4, 5*m + f = 1. Suppose 4*w + 5*d - 44 = 0, 5*w = -3*d + m + 41. Suppose 0 = 9*v + w*v - 675. Is v a multiple of 9?
True
Let w(q) = -q**2 - 35*q - 39. Let i be w(-34). Is 18 a factor of (12/i)/((-17)/5100)?
True
Suppose -76650 = -15352*a + 15346*a. Does 175 divide a?
True
Suppose -5*z + 3811 = 711. Let y be (z/15)/((-2)/12*-2). Suppose y = r + 4*n, 2*r - 4*r = 2*n - 278. Does 24 divide r?
True
Let s(x) = -x**3 - 7*x**2 - 5*x + 6. Let q be s(-6). Suppose 2*v = -q*v + 100. Suppose v*h - 63 = 49*h. Does 21 divide h?
True
Let q(m) = -m**3 + m**2 + m. Let o(w) = -4*w**3 + 4*w**2 + 3*w + 168. Let a(g) = o(g) - 5*q(g). Does 28 divide a(0)?
True
Let n(g) = 2*g - 2*g**3 - 6 + 2*g**2 + 2*g**3 + g**3 - 4*g + 2*g**3. Does 11 divide n(6)?
False
Suppose 0 = -6*t + 2*t + h + 19514, 28 = 14*h. Is t a multiple of 17?
True
Let f(h) = 2*h**2 + 4*h + 4. Let z be f(-2). Suppose 0 = -2*u - 3*o + 913, -2*u + z*o + 373 = -575. Is u a multiple of 16?
True
Let h(g) = 9*g**2 + 12*g + 39. Let u(w) = -w**3 - 15*w**2 - 15*w - 19. Let r be u(-14). Let q be h(r). Does 25 divide (q - ((-12)/3 - 0)) + 3?
False
Suppose 5*s - 52*v - 54734 = -56*v, -32842 = -3*s - 2*v. Is s a multiple of 10?
True
Suppose 0 = -7*q - 267 + 34252. Is q a multiple of 125?
False
Let h(l) = 358*l**3 - 6*l**2 - 6*l. Let c(x) = -359*x**3 + 7*x**2 + 6*x + 1. Let w(q) = 5*c(q) + 6*h(q). Does 27 divide w(1)?
True
Does 59 divide (-116287)/(-27) + 336/162 + -2?
True
Let j = 411 + -402. Suppose j*m = 4*m + 565. Does 30 divide m?
False
Suppose 0 = -9*d - 81 + 189. Suppose d*j - 8064 = 4032. Does 83 divide j?
False
Let x(k) = -665*k - 8795. Does 10 divide x(-19)?
True
Let m(d) = 53*d**2 - 85*d - 602. Is 14 a factor of m(-7)?
True
Let b(z) be the third derivative of 3*z**5/10 - 3*z**4/8 - 9*z**3/2 - 126*z**2. Is 18 a factor of b(-5)?
True
Suppose 39*i - 15*i - 6293 = -7*i. Does 21 divide i?
False
Suppose -o = -23*o + o + 147336. Is o a multiple of 8?
True
Is 16 a factor of (-8)/32 + ((-1072907)/(-44) - -3)?
False
Suppose -s - 2*l = -18914, -434 = s - 2*l - 19376. Does 91 divide s?
True
Suppose 0*u + 3 = u + z, -5*z = -2*u - 22. Let m be u + 0 + -71 - (2 - 2). Let p = m + 112. Is 8 a factor of p?
True
Let p(z) = -2 + 14 - 4 + 9 + z. Let n be p(-12). Is 84 - (n + -4)*-1 a multiple of 18?
False
Suppose 1756*l - 187 = 1754*l + 995. Is l a multiple of 2?
False
Suppose 2*g = -3*p, 0 = 9*p - 8*p + 5*g. Suppose 0 = 12*a - 7*a - 1280. Suppose 4*h + 0*h - a = p. Does 11 divide h?
False
Is ((2/(-8))/1)/((-1601551)/800772 - -2) a multiple of 9?
False
Let u = 21526 - 11578. Does 16 divide u?
False
Let n be (13 + 2 - 11)/(1*-2). Is (-5 - n)/((8 + 1)/(-1881)) a multiple of 31?
False
Let d = -51 - -54. Suppose -d*g = 254 - 1718. Is 34 a factor of g?
False
Suppose 4*f + 23614 = 5*z, -z = -4*f - 869 - 3857. Is 3 a factor of z?
True
Suppose 12*a + 1109 = -1855. Let s = 271 + a. Does 24 divide s?
True
Let o(m) = -1191*m - 452. Does 71 divide o(-13)?
False
Let y = 198 - 196. Let f(d) = d**3 - 5*d**2 + d + 6. Let s be f(5). Suppose -y*u = s - 237. Is 37 a factor of u?
False
Suppose -5*y + 4*d = -1795, -y - 4*d + 918 = 535. Let u(c) = -15*c - 5. Let i be u(-6). Suppose -4*o = -i - y. Is o a multiple of 16?
True
Suppose -8*n + 35445 + 6686 + 32541 = 0. Is 18 a factor of n?
False
Let o = -1 - 11. Let x be 3/o + 266/8. Let i = x + 6. Does 15 divide i?
False
Suppose -99*x + 100*x = 3*h + 34415, 3*x - 103175 = -5*h. Is 80 a factor of x?
True
Suppose 12*y - 938 = 5*y. Suppose -5*m + 4*v = -196 - 32, -v = -3*m + y. Does 11 divide m?
True
Let x(z) = -1156*z - 1142. Does 11 divide x(-6)?
False
Let r be ((-1)/(10/(-8)))/(2/15). Let a(i) = r + 0 - 12 + 6*i**2 + 3*i + 4. Is a(-4) a multiple of 8?
False
Suppose 3*y = y. Suppose -4*r + r + 3*j - 75 = y, 2*j = -4*r - 130. Does 13 divide (-10)/r*(-1 - -352)?
True
Let v = -92 - -98. Suppose -b - 4*h = -8, 5*b - 40 = v*h - 9*h. Is b a multiple of 3?
False
Let p(w) be the third derivative of -w**6/120 - w**5/60 - w**3/6 - 22*w**2. Let z be p(-5). Suppose -15 = 3*g - z. Does 11 divide g?
False
Let u = -20 + 14. Let d be (3 + (-93)/18)*u. Suppose -j + 3*i = -9, 2 = 3*j - 3*i - d. Does 2 divide j?
False
Let r be -3 - (-4 - 70)*-2. Let n = r - -278. Is n a multiple of 9?
False
Suppose 296 = -5*x - 4*z, -4*x - 201 = 3*z + 36. Let b = 44 + x. Is 16 a factor of (-2)/(-4) + 2*(-556)/b?
False
Suppose 210 = 8*k - 30. Suppose -220 = -2*n - k. Suppose n*x + 786 = 98*x. Is x a multiple of 25?
False
Suppose -r + 9545 + 18050 = z, -2*r = 5*z - 55163. Does 103 divide r?
True
Suppose 2092 = p - v, -4*p = v - 6020 - 2373. Does 9 divide p?
True
Let b(c) = 2*c**2 + 5*c + 10. Let u(o) = 13*o**2 + 4*o + 8*o - 11*o + o**3 + 7. Let w be u(-13). Is 20 a factor of b(w)?
False
Does 145 divide (-41 + -1 + -4)/((-26)/1885)?
True
Let o be 37/7 - (-16)/(-56). Suppose 0 = o*p - 3*u - u - 152, 3*p = 3*u + 93. Is p/6*(-108)/(-42) a multiple of 2?
True
Let i = -5 + 7. Suppose i*l = -t + 73, 0 = 5*t - 0*l + 2*l - 365. Let q = t - 33. Is 8 a factor of q?
True
Let y = -4156 - -9381. Is y a multiple of 95?
True
Does 42 divide (-1764)/(-35)*50/4?
True
Let g(u) = 3*u**2 + 4*u + 12. Let b be g(10). Let t = b - 247. Is 21 a factor of t?
True
Let n be (-384)/(-36)*(-3)/2. Let d(m) = m**2 + 17*m + 16. Let p be d(n). Suppose p = 6*o - 105 - 63. Does 4 divide o?
True
Is (-745)/(-298)*(-5)/(75/(-444)) even?
True
Let i(d) be the third derivative of -1/4*d**4 - 9*d**2 + 0*d + 0 - 8*d**3. Is i(-14) a multiple of 12?
True
Suppose 264168 = 55*g - 200527. Is 39 a factor of g?
False
Let n be 2 + -1 - 5 - -6. Suppose -3*o 