 w(c) = -31*c - 102. Is 44 a factor of w(-15)?
False
Suppose 0 = -17*c + 23*c + 144. Suppose t + 12 = 2*r, 2*t - 5*t - 24 = -2*r. Is (t/(-4))/(c/(-544)) a multiple of 7?
False
Let d(v) = v + 102. Is 18 a factor of d(24)?
True
Suppose 14*u = 3429 - 1259. Is 31 a factor of u?
True
Let f = 347 - 251. Is f a multiple of 6?
True
Let o be 90/5 + -2 + -3. Does 9 divide 2/o + (-817)/(-13)?
True
Suppose 5*u + 3*r = -42, -u - 3*r + 21 = -3*u. Suppose 7*w - 3*w = 156. Let k = w + u. Is 8 a factor of k?
False
Let b = 1 - -24. Suppose -4*q = -5*q + b. Does 25 divide q?
True
Let q be (5 + 1087/1)*(-15)/(-6). Is 28/5*q/52 a multiple of 21?
True
Is 12 a factor of (30 - 57)/(-1 + 18/20)?
False
Let b be (-6)/(-8) - (-42977)/(-44). Is b/(-10) + 4/10 a multiple of 14?
True
Let q(p) = -73*p + 1. Suppose 1 = 3*i - 2*i. Let l be q(i). Is (l/10)/((-9)/30) a multiple of 24?
True
Let h = -12 - -14. Suppose -h*a + 316 = 5*x, -4*x - 2*a + 221 + 31 = 0. Does 11 divide x?
False
Suppose -5*y + 123 = 4*t, -y + 2*t - 50 = -3*y. Let w = y + -14. Let p = 26 + w. Does 6 divide p?
False
Let s(i) = i**2 - 7. Let r be s(-3). Suppose -r*u + 30 = u. Let h(n) = 3*n - 15. Does 5 divide h(u)?
True
Let f = -326 + 357. Is f a multiple of 8?
False
Suppose 13*a = 8*a + 10. Suppose -5*z - 14 - 12 = -b, -2*z - 36 = -a*b. Does 16 divide b?
True
Let z(y) = y**3 + 2*y**2 - 47*y + 159. Is 62 a factor of z(15)?
False
Suppose 0 = -2*z + 2*k + 322, -13*z + 8*z = -4*k - 800. Does 32 divide z?
False
Let v = 1907 + -727. Is v a multiple of 59?
True
Suppose -11*y + 12*y - 20 = 4*d, -5*d = y - 38. Is 28 a factor of y?
True
Suppose 1763 - 7139 = -32*c. Is c a multiple of 8?
True
Let j(v) = v**3 - 2*v**2 - 31*v + 62. Is 90 a factor of j(11)?
True
Let o(d) = -d**3 - 12*d**2 - 44*d - 6. Does 42 divide o(-6)?
True
Let d(i) = 12*i - 7*i + 9*i - i**2 + 2*i - 17. Let c be d(15). Is (-15)/c*(-48)/(-10) a multiple of 11?
False
Suppose -2*c = -6*c + 1932. Is 9 a factor of c?
False
Let d be (92/115)/(4/(-90)). Is (-6 + 0)*d/4 a multiple of 18?
False
Suppose 4*t + 44 = -4*z, 4*t - 3*z + 13 + 10 = 0. Let o(g) = -193*g + 1. Let v be o(1). Is 18 a factor of v/(-18)*(-18)/t?
False
Let o(z) = z**3 + 4*z**2 + 2. Let h be o(-4). Suppose 3*a + v = -45, -a = v - h + 17. Let b = a - -29. Is 7 a factor of b?
True
Suppose 0 = -3*i + 3*m - 45, -2*i - 47 = 3*m - 17. Is ((-5)/(i/(-318)))/(-2) a multiple of 9?
False
Does 14 divide (13496/(-6))/(26 - 1120/42)?
True
Suppose 5*x + 5 = 10. Let h be 4 + -1 + x + -1. Suppose 4*a - h - 26 = 3*k, 0 = -5*a - 4*k + 75. Does 3 divide a?
False
Let h be (-117)/(-12) + 1/4. Let x = h - 16. Does 13 divide -20*9/x + -1?
False
Does 26 divide 14059/68 + -2 + 9/4?
False
Let t(m) = 5*m + 11. Let v be t(-5). Is 24 a factor of 663/9 - v/(-21)?
False
Let a(s) = 221*s + 50. Is a(5) a multiple of 68?
False
Let q be (2 + -6)/(-2)*-3. Let t be 50/15*q/(-4). Suppose -t*w - 2*s + 236 = 2*s, -5*w + 237 = 3*s. Does 16 divide w?
True
Let g be 1*14*12/24. Let n = -4 + g. Suppose -r = -2*q - n, 0 = 3*r + 2*q + 3*q - 20. Is r a multiple of 5?
True
Let v(k) = -2*k + 5. Let n be v(-5). Suppose -75 - n = -3*p. Is 11 a factor of ((-10)/p)/((-2)/72)?
False
Suppose -3*p - 4*w + 2096 = 0, -8*p + 7*p + 701 = -w. Does 50 divide p?
True
Is 47 a factor of 25584/20 - (144/(-30) - -6)?
False
Let m be 1*3 - (6 - 118 - 1). Let a = m - 68. Does 12 divide a?
True
Is ((-4)/4 + 4)/((-3)/(-819)) a multiple of 13?
True
Let o be (-8)/(-44) - 6924/(-33). Suppose 4*r - o = -4354. Is 13 a factor of 1/5 - r/20?
True
Let q(r) = 6*r - 2*r - 4*r + 3 + 3*r + 3*r**2. Let i be q(3). Suppose 11 = 2*x - i. Does 17 divide x?
False
Suppose 0 = -58*m + 51*m + 6671. Is 60 a factor of m?
False
Let j(f) = 4*f - 20. Let w be j(6). Suppose -m + 22 = 4*d, 4*m - 2*m - 4*d + w = 0. Suppose m + 3 = c - 5*l, 0 = 2*l - 6. Is c a multiple of 12?
True
Let i be 4/(-14) - 5648/28. Let d = i - -316. Does 8 divide d?
False
Let d = 302 + -284. Is d a multiple of 6?
True
Suppose -3*z - 2 + 5 = 0. Is 20/15*(z - -47 - 0) a multiple of 19?
False
Suppose 0 = 2*m - 2*s - 1908, -5*s = -s - 8. Does 37 divide m?
False
Let z(u) = 2*u + 7. Let s be z(14). Is 14 a factor of (-10)/s - (-1166)/14?
False
Let d = -1399 + 1737. Is d a multiple of 2?
True
Let r be ((-18)/27)/(4/(-162)). Let g be 24/10 + (-27)/(-45). Let q = r + g. Does 10 divide q?
True
Let o = -92 - -51. Let f = -64 - -133. Let z = o + f. Does 14 divide z?
True
Suppose -2*k = 5*v - 123 - 15, 3*k = -4*v + 109. Is 14 a factor of v?
True
Suppose 0 = 2*f - 36 - 110. Let h = -51 + f. Is 22 a factor of h?
True
Let z be -1 + 0 + 1 + 3. Suppose z*h = -4*p - 16, 4*p = -h + 5*h - 16. Suppose 4*v - 2*v - 68 = h. Is 13 a factor of v?
False
Let x = -655 - -883. Does 4 divide x?
True
Suppose 6*l + 5 = 11*l, -3*l = -a + 36. Let z = a + -17. Is 11 a factor of z?
True
Suppose 1340 = -63*y + 73*y. Is y a multiple of 28?
False
Suppose 8 = 4*l - 5*l - 4*y, -2 = -l + y. Suppose 5*g - 12 - 28 = l. Is g a multiple of 2?
True
Let q be (3 + (-5 - -2))*1. Suppose -3*b + 0*b = -3*w + 162, -3*w - 3*b + 162 = q. Is w a multiple of 5?
False
Suppose -22 - 10 = -16*q. Suppose 0 = -5*s + s + 40. Suppose 5*m - x = -5*x + 43, -s = -q*m + 2*x. Is m a multiple of 5?
False
Let w(x) be the third derivative of -x**4/24 + 16*x**3/3 + 6*x**2. Does 13 divide w(-7)?
True
Let v be 9*(-16)/60*(-25)/(-10). Suppose 0 = 6*h - 4*h - 52. Let k = h + v. Is 10 a factor of k?
True
Let a(t) = t**2 - 3*t - 6. Let u be a(5). Suppose u*q - 12 = 8*q - 4*k, 3*k = 2*q + 4. Let o = q + 23. Does 9 divide o?
True
Suppose 0 = -4*x - h + 59, -2*x - 2*x - 4*h = -56. Is x a multiple of 3?
True
Let r = -50 + 148. Let o = r - 92. Does 2 divide o?
True
Let f(h) = -6*h - 12. Let v = -69 - -51. Is f(v) a multiple of 12?
True
Let a = -17 + 23. Let z be (12 + (3 - 6))/(-1). Let s = a - z. Does 4 divide s?
False
Let a = -27 + 31. Suppose -a*z + 9 + 3 = 0. Suppose z*b = 2*b + 65. Is 13 a factor of b?
True
Suppose -4*u - 16 = 0, 2*r = -u + 3*u + 38. Suppose r = -j + 6*j. Suppose t + 2*t = j*k - 129, k - 68 = -4*t. Is k a multiple of 12?
True
Let x(i) = 11*i**2 - 7*i - 5. Let v be x(-5). Suppose -2*g - a = -3*a - 122, 5*g - 2*a = v. Is g a multiple of 17?
False
Let z(a) = -2*a**2 - 6*a + 4. Let b be z(-4). Does 3 divide (-2)/4 - 6*19/b?
False
Let k = 559 - 53. Is k a multiple of 26?
False
Suppose 0*c - 45 = -5*c. Suppose 4*a + 10 = c*a. Suppose 4*w - 2*h - 108 = 0, a*w + 3*h - 42 - 12 = 0. Does 9 divide w?
True
Let h be 0 - 5/(25/90). Is h/15*(-2030)/21 a multiple of 29?
True
Let g be (88/(-6))/((-12)/54). Suppose -4*r + g = -18. Let b = 4 + r. Is 11 a factor of b?
False
Suppose 14*t - 19*t + 90 = 0. Let n = t - 18. Suppose 2*z - 6*z + 180 = n. Is 8 a factor of z?
False
Let g(r) be the second derivative of r**5/20 - 5*r**4/6 - 4*r**3/3 + 6*r**2 + 11*r. Does 18 divide g(11)?
False
Let f be 26 - (4 - 12/4). Let g = f + -22. Suppose 7 + 26 = g*k. Is 2 a factor of k?
False
Let m = 381 - 268. Is 1 + (m - 3 - -3) a multiple of 19?
True
Let n be 1/(-3) - 608/(-6). Let r = n - 11. Suppose 2*x + 3*f - 96 = 4*f, 4*f + r = 2*x. Does 12 divide x?
False
Let r(w) = 4*w + 10. Let h be r(2). Does 67 divide (h/(-54))/((-1)/807)?
False
Let s(h) = 2*h**3 - 5*h**2 + 8*h + 1. Let c be s(2). Let x(o) = -o**2 + o - 1. Let j(r) = 3*r**2 - 13*r - 7. Let m(k) = j(k) + 2*x(k). Is 17 a factor of m(c)?
True
Is (-50448)/(-32) - (-1)/(-2) a multiple of 41?
False
Let r be 51/12 + 5/(-20). Suppose r*q - 142 = 62. Suppose -3*l + 3 = 0, q = -4*y + 5*l + 166. Is y a multiple of 6?
True
Let f(q) = -q**3 + 8*q**2 - 8*q + 7. Let g be f(7). Suppose -4*y + 12 = -2*r, y + 3 = -r - g. Suppose -h + 27 - y = 0. Is h a multiple of 8?
False
Let b(j) = -j + 7. Let r be b(4). Suppose 4*t - 4*l - 4 = 0, l + 8 = r*l. Suppose 0*g + 6 = s + 4*g, 102 = t*s - 4*g. Is s a multiple of 14?
False
Let i be (-3 - 2)*(0 - 1). Suppose d + 144 = i*d. Suppose -3*k = -132 + d. Is 18 a factor of k?
False
Let m(d) = -35*d. Let q = 16 - 13. Let z be m(q). Does 6 divide z/(-14)*(1 + 1)?
False
Let g = -766 + 3376. Is g a multiple of 30?
True
Suppose 13*n = 6541 - 67. Is n a multiple of 40?
False
Let u be ((-5)/(-10))/(-2 - (-650)/324). Let g = u + -39. Is g a multiple of 21?
True
Let o(r) = r**3 - r**2 + 216. Let h be o(0). Suppose -a = 3*a - h. Let i = a + -30. 