or of y(c)?
True
Suppose 0 = -0*h - 11*h - 1716. Does 26 divide (0 + h)*12/(-12)?
True
Let n = 769 + -449. Is n a multiple of 80?
True
Let g = -144 - -148. Suppose g*h + 0*h - 74 = -3*y, -2*h - y + 36 = 0. Is h a multiple of 5?
False
Let l(a) = 3*a - 17. Let j be l(7). Is 42 a factor of (95/(-1))/(j/(-8))?
False
Let p = -152 + 79. Let o = p + 83. Does 2 divide o?
True
Suppose 2877 + 218 = 4*h - l, 4*l - 20 = 0. Is h a multiple of 12?
False
Suppose 4*d + 820 = 4*m, -2*d + 780 = 4*m + 2*d. Let z(a) = -4*a - 72. Let n be z(-19). Suppose -k = n*k - m. Does 27 divide k?
False
Suppose -2*z + 2 = 3*w, -2*z + 5*w + 10 = -24. Suppose 6*q - z*q + 28 = 0. Is q a multiple of 28?
True
Let t(w) be the second derivative of -w**5/20 - 3*w**4/2 + 7*w**3/3 + 25*w**2/2 + 8*w. Is t(-19) a multiple of 24?
True
Let k be (30/20)/((-3)/16). Does 38 divide (-2)/k - (-3171)/84?
True
Suppose -z - 13*c + 16*c = -2259, -5*c - 9015 = -4*z. Is 9 a factor of z?
True
Suppose 0 = -3*w - 4*i + 187, 5*w - 179 = 2*w - 2*i. Let k = w + -9. Is k a multiple of 12?
True
Suppose 5 = 3*z - 2*x + 1, -4*z = -2*x - 4. Suppose 0 = -z*m - 5*m. Does 9 divide m + 1 + (2 - -24)?
True
Let o = 20 - -4. Let s = o - -29. Does 18 divide s?
False
Let c = 18 - 15. Suppose 0*u - 4*u + 4*p + 28 = 0, c*p = -u - 1. Suppose 8 = g + 3*g + 4*f, -5*g + u*f = -60. Is g a multiple of 7?
True
Suppose 11*w = 12*w. Suppose -4*a + 14 + 130 = w. Is a a multiple of 36?
True
Let p = 514 - 220. Is p a multiple of 21?
True
Let v(r) = 11*r**3 + 19*r**2 + 3*r - 47. Does 13 divide v(7)?
False
Suppose 0*r + 4*n - 984 = -4*r, 0 = 4*n + 20. Suppose -57 - r = -2*q. Does 22 divide q?
True
Is 29 + 3/(3/5) even?
True
Let f(w) = w**3 - w + 4. Let p = -17 + 20. Suppose -9 = 3*b + 3*h, 5*b - p*h = -2*h + 3. Does 4 divide f(b)?
True
Let f be 10/(-3)*(-12)/(-10). Let v be f/(-18) - 25/(-9). Is (-100)/(-10) + -1 + v a multiple of 12?
True
Suppose 3*o + 8 = o. Let s(g) = 31*g - 5. Let y(i) = 15*i - 2. Let c(h) = o*s(h) + 10*y(h). Does 21 divide c(3)?
False
Suppose 7*g - g + 102 = 0. Let k be (2/14)/(g/(-119)). Does 5 divide k/(-1)*(4 + -15)?
False
Let a(x) = x**2 - 2*x - 10. Let w be a(5). Suppose -5*z + 7 = -5*l + l, 5*l + 5 = w*z. Suppose -67 = -5*o - 4*g, -l*o + 38 = -g - 3*g. Is o a multiple of 11?
False
Let n(q) = 20*q - 3. Suppose 4*t - 14 = -6. Suppose -4 = -4*v + t*i, -v + 0*i + i = 0. Is n(v) a multiple of 17?
False
Let h(w) = w**3 - 14*w**2 + 15*w - 26. Let j be h(13). Let y(x) = x**2 + 6*x + 4. Let f be y(-6). Suppose -f*c + 3*c + 14 = j. Is c a multiple of 14?
True
Let t(a) be the third derivative of a**5/20 + a**4/4 + a**3/6 - a**2. Is 17 a factor of t(-5)?
False
Let c be (60/21)/(2 - (-36)/(-21)). Suppose -222 - 498 = -c*x. Does 8 divide x?
True
Let b = -255 - -403. Does 4 divide b?
True
Suppose 2*k - 88 - 12 = 0. Suppose -3*s + k = 20. Does 10 divide s?
True
Suppose 0 = -5*i - 4*u + 56, 3*i + 3*u - 36 = -0*i. Suppose -4 = -6*z + i. Is 12 a factor of 5 + z + -5 - -54?
False
Let c(p) be the third derivative of 10*p**2 + 5/12*p**4 + 2/3*p**3 + 11/60*p**5 + 0 + 0*p + 1/120*p**6. Is 19 a factor of c(-9)?
True
Suppose -2 = -4*d + 1498. Suppose -13*k = -16*k + d. Does 25 divide k?
True
Let b(w) = -w**2 + 5*w + 5. Let s be b(5). Suppose -i - c - 5 = -15, 4*c + 14 = s*i. Suppose -104 = -i*m + 142. Is m a multiple of 9?
False
Let n(w) = w**2 - 3*w - 4. Let d be n(5). Let b = -2 + d. Suppose 4*y - 142 = 2*q, -21 - 113 = -3*y - b*q. Is y a multiple of 19?
True
Let i(o) be the first derivative of 11*o**4/4 + o**3/3 - 2. Is i(1) even?
True
Let m be 49/4 + (-2)/8. Let h(c) = 12*c**2 + c**3 + 2*c**2 - 10 + 3*c - 26*c**2 + 0*c**3. Is 19 a factor of h(m)?
False
Suppose 4*s - 1836 = 13*s. Let b = s + 374. Does 17 divide b?
True
Let g = -15 + 0. Let m = g - -18. Suppose m*a - l = -5*l + 49, 5*a - l = 74. Does 3 divide a?
True
Let c(z) = z**2 + 9*z - 2. Let o be c(-10). Let h(t) be the second derivative of t**5/20 - 2*t**4/3 + t**3 - 3*t**2 - 10*t. Is 21 a factor of h(o)?
True
Suppose 1200 = -2*x + 10*x. Does 25 divide x?
True
Let r be 0 + 59 + 1 - (10 + -7). Suppose -r = -x + 21. Is x a multiple of 14?
False
Let s = -1 + -4. Let q(h) = h**3 - 16*h**2 - 10*h - 9. Let t(u) = -u**3 + 17*u**2 + 9*u + 10. Let p(o) = s*t(o) - 6*q(o). Is 10 a factor of p(12)?
True
Let m(o) = 6*o**2 + 3. Let q(y) = y + 9. Let s be q(-6). Suppose 0*v - v + s = 0. Is m(v) a multiple of 15?
False
Suppose 36*x - 19671 = 4269. Is x a multiple of 10?
False
Suppose q + 3*j - 12 = 0, 2*q = 5*q - 3*j + 12. Suppose 3*z - 2*a - 159 = q, -4*a + 159 = 2*z + z. Is 2 a factor of z?
False
Suppose -2813 = -u - 3*v, 3*u + v - 3556 - 4875 = 0. Does 58 divide u?
False
Suppose -7*p = -3*r - 3*p + 5, -r + 2*p + 3 = 0. Let b be 6*(3 + 4)*r. Let j = b + 78. Does 18 divide j?
True
Let f(t) = t + 14. Let m be f(-18). Is 7/((-126)/(-3141)) + 2/m a multiple of 35?
False
Suppose -2*o - 3*o + 20 = 0. Suppose -3*d + 2*d = o. Is (-55)/(1*4/d) a multiple of 11?
True
Let v = 4 + -6. Let a be (v - -1) + 3/1. Suppose -4*n + 390 = a. Is n a multiple of 14?
False
Suppose -25 = -4*x - 1. Let q be 1 + 7/(21/x). Suppose 0 = -4*z + q*z + 8. Does 4 divide z?
True
Suppose -2*w - z = -6*w + 32, w = z + 8. Is 16 a factor of (180/(-5))/((-6)/w)?
True
Let j(x) = x**2 - 6*x - 2. Let v be j(9). Let p = v + -28. Let u = p + 42. Is 4 a factor of u?
False
Suppose -6 = -3*u + 5*w, 2*w = 5*u + 16 - 7. Let q = 1 + u. Is q*(-2 + 46/(-4)) a multiple of 17?
False
Suppose 7*g = 56 + 462. Suppose 5*z - 191 = g. Does 8 divide z?
False
Let d(v) = v**2 + 6*v + 3. Let u be d(18). Let r = -4 - -7. Is u/10*2/r a multiple of 9?
False
Suppose 2*m = -5*r + 4414, -4323 - 95 = -5*r - 4*m. Does 14 divide r?
True
Suppose 3*a = -4*y + 1059, -a = 3 - 4. Is y a multiple of 6?
True
Let o(v) = 13*v**3 + 3*v**2 - 8*v - 5. Let r(p) = -6*p**3 - p**2 + 4*p + 2. Let a(d) = -3*o(d) - 7*r(d). Is a(3) a multiple of 7?
False
Let y = -8 + 8. Let i be (y + -2)*(-7)/14. Is 9 a factor of 34*(i + 2/(-4))?
False
Let r(b) be the third derivative of b**9/60480 - b**8/6720 + b**7/2520 - b**5/30 + 5*b**2. Let d(w) be the third derivative of r(w). Does 3 divide d(3)?
True
Suppose -6*l = 665 - 1583. Is 5 a factor of l?
False
Let g(p) = p**2 - 6*p - 13. Let o be g(10). Does 5 divide (-10)/45 + 870/o?
False
Let g(l) be the second derivative of 0 + 15/2*l**2 + 1/12*l**4 + 2*l + 7/6*l**3. Is 17 a factor of g(-8)?
False
Suppose 0 = -2*n + 3*n - 38. Suppose -2*y = -82 - n. Let l = -11 + y. Is l a multiple of 11?
False
Let i(w) = -w**3 - 6*w**2 + 10*w - 13. Let n be i(-9). Let f = -40 + n. Is 20 a factor of f?
True
Let x be ((-20)/25)/(-2 - (-744)/375). Let h = x + -24. Is 4 a factor of h?
False
Let a(f) = 11*f**2 + 19*f + 20. Does 26 divide a(5)?
True
Let v(q) = q**2 + 1. Let u be v(1). Suppose 4*d = -x + 2, -d - 30 = -u*x - 8. Does 3 divide x?
False
Suppose -4*j - 200 = -5*g, 0 = 3*g + 4*j + 43 - 163. Is (g/(-4))/(3/(-12)) a multiple of 17?
False
Let q(j) = -j**2 + 2*j + 3. Let n be q(3). Let s(l) = -2*l**2 - 2*l + 43. Is s(n) a multiple of 14?
False
Suppose -688 = -6*y + 290. Is 5 a factor of y?
False
Is 37 a factor of (0*(-4 + 5) - -149) + -5?
False
Suppose p + 103 = -4*k, -3*k + 4*p = 2*k + 155. Let m = k - -40. Let u = m - -49. Is u a multiple of 11?
False
Let a = 471 - -429. Is 15 a factor of a?
True
Let f be (24/10 + -3)*-5. Suppose 73 = -4*y + 5*s, -4*y - f*s = y + 45. Let h(v) = -v**3 - 10*v**2 + 18*v + 15. Is 13 a factor of h(y)?
False
Let u = 52 - 47. Suppose 5*l + u*h = 275, -159 + 47 = -2*l - 4*h. Is l a multiple of 27?
True
Let v = -26 + 29. Suppose 0 = v*q - 5*q + 188. Is q a multiple of 28?
False
Let a(r) = -r**3 - 5*r**2 - 2*r - 1. Let z be a(-4). Let n(y) = -6*y - 25. Is n(z) a multiple of 2?
False
Let w(f) = 72*f + 16. Let u be w(-3). Let r = 20 + -30. Is 8 a factor of (24/r)/(12/u)?
True
Let f be (-9)/12*-4*1. Suppose 0 = -2*t + 6, 0 = f*l - 7*t + 2*t - 141. Does 13 divide l?
True
Suppose 444 = 9*m - 717. Is 3 a factor of m?
True
Let o = 162 + -91. Is o even?
False
Let i = -18 - -90. Let m = -6 - -8. Suppose 0 = -m*f + 4 + i. Is 13 a factor of f?
False
Let m = 8 + -6. Suppose -m*u = -5*a + 129 + 10, u - 133 = -5*a. Is 14 a factor of 266/18 + 6/a?
False
Let l = -150 - -224. Does 8 divide l?
False
Let r(f) = f**2 + 2*f - 38. Let b = 92 - 101. Is 