 = -238 - -768. Is 7 a factor of v?
False
Does 19 divide (5 - 5/15*3) + 153?
False
Let q(c) = -c**2 - 6*c + 3. Let f be q(-6). Let i be (13/(-2))/((410/420)/(-41)). Suppose 0 = 5*k - f*n - i, 0 = k + n + 8 - 61. Does 27 divide k?
True
Let f(m) = -m**3 - 15*m**2 - m - 15. Let w be f(-15). Suppose 3*n - n = w. Suppose 2*u - 2*x = 188, -5*u + n*x + 476 = -2*x. Is 32 a factor of u?
True
Suppose -10*j + 17719 = 19*j. Does 13 divide j?
True
Let y = -122 - -212. Is y a multiple of 4?
False
Suppose 2*d + 3*d = 0. Suppose d = k - 5*q + 5, -2*k - 2*q = -6*k + 34. Suppose -k = -0*g - 2*g. Does 5 divide g?
True
Suppose 20*c = 22*c. Suppose -4*i + 3*i + 166 = c. Does 9 divide i?
False
Suppose 4*d - 360 = -4*s, 8*s - 460 = -5*d + 5*s. Does 14 divide d?
False
Let q = -26 - -34. Suppose 0 = q*p - 144 - 176. Does 10 divide p?
True
Let p(x) = 9*x**2 - 7*x - 12. Let c be p(-4). Let k = c - 64. Is k a multiple of 8?
True
Let t be 1/8*-6 - (-9)/12. Suppose 3*p = -m - t*p + 15, 3*p = 5*m - 129. Is m a multiple of 3?
True
Let j(a) = 7*a**2 - 20*a + 9. Let w(f) = 6*f**2 - 19*f + 10. Let i(t) = 5*j(t) - 6*w(t). Is 2 a factor of i(12)?
False
Suppose -6*l + 5073 = -3873. Is l a multiple of 101?
False
Let t = -20 + 23. Suppose -u + 2*u = -4, t*u + 108 = 2*g. Is 24 a factor of g?
True
Let p(a) = 3*a**3 + 4*a**2 - 7*a + 5. Suppose -3*m - 81 = -2*c, 5*c = 5*m + 10 + 185. Let f be -4*(-3)/c*6. Does 14 divide p(f)?
False
Suppose -1221 - 10161 = -7*w. Is 6 a factor of w?
True
Let d = 14 + -10. Suppose -12 = -d*y, -2*p + 3*y + 111 = -p. Is 12 a factor of p?
True
Suppose 1 + 5 = 2*s. Suppose -5*f + 53 = -s*f - 5*z, -48 = -3*f - 3*z. Does 19 divide f?
True
Let a = -9 + 9. Suppose a*q = -3*q + 90. Does 22 divide q?
False
Let j be (-5 + 1)*26/8. Let d(p) = -7*p - 10. Is d(j) a multiple of 42?
False
Suppose -3*f = -8*f + 140. Let p = f + 62. Suppose -4*x - p = -7*x. Is 15 a factor of x?
True
Suppose 2*g - 1 = 5. Suppose -6*j + 45 = -g*j. Is 3 a factor of j?
True
Suppose -11*p - 2 = -12*p. Let h(c) = 2*c**3 + 5*c**2 - 8*c + 6. Let a(g) = g**3 - g + 1. Let t(k) = -3*a(k) + h(k). Is t(p) even?
False
Let t(q) = 16*q**2 + 33*q - 10 - 7*q**2 - 11*q**2 + 2*q. Does 10 divide t(10)?
True
Suppose -4*f + 777 + 135 = 4*g, 4*f = 4*g + 944. Suppose 5*d - f + 52 = 0. Does 5 divide d?
False
Let h(o) = -35*o + 16. Let l be (-1)/(-1 - -4)*15. Is h(l) a multiple of 14?
False
Let n = 27 + 3. Let z be 12/n + (-16)/(-10). Suppose -u - 3 = -z*u. Does 2 divide u?
False
Let g = -3 - -1. Let m be 173 - (1 + g*2). Suppose -2*w - 64 = -3*w + d, -d + m = 3*w. Is 16 a factor of w?
False
Let v = 79 - 128. Let k be (v + -2)*2/6. Let i = k + 29. Does 5 divide i?
False
Suppose 2*l - 35 = -3*o - 2*l, -o = -l. Suppose -45 + 143 = 3*c + b, -o*c + b = -150. Is c a multiple of 11?
False
Let h(z) = 6*z + 48. Let p be h(-8). Does 7 divide (3 + -2)/(4/84 + p)?
True
Let y be -2*17/2*-11. Suppose -9*s + 434 = -y. Is 23 a factor of s?
True
Let n = -29 + 34. Suppose -q = 4*g - n*q - 536, 0 = -2*g + q + 265. Suppose 0 = 5*d - v - g, 4 - 15 = -d + 4*v. Is d a multiple of 8?
False
Let l(j) = -3*j**3 - 2*j**2 + 8*j - 4. Let a(u) = -5*u**3 - 4*u**2 + 15*u - 7. Let n(z) = 4*a(z) - 7*l(z). Is n(3) a multiple of 10?
False
Let d = 1417 + -1382. Is d a multiple of 7?
True
Suppose 4*c = j + 2543, -582 - 1322 = -3*c + 4*j. Is 12 a factor of c?
True
Let u(d) = -d**2 + 7*d - 4. Let r be u(6). Let l be ((-4)/(-1) + 2)/r. Suppose -111 = -l*x - 3. Is 18 a factor of x?
True
Let y = 6 - 4. Suppose -35 = -7*a + y*a. Suppose -10*i = -a*i - 42. Is 9 a factor of i?
False
Let o(z) = -8*z - 26. Let t be 69/(-12) - ((-9)/(-4) + -2). Is o(t) a multiple of 14?
False
Suppose 4*j - 2*j - 30 = -3*d, d = 5*j - 7. Is d even?
True
Suppose -i = 3*t + 4, -42 = 5*i - i - t. Let z = i - -2. Let s = 4 - z. Is 4 a factor of s?
True
Suppose 960 = -372*t + 374*t. Does 25 divide t?
False
Let p = 112 - 56. Let t = p + 13. Does 19 divide t?
False
Suppose -1150 = -41*r + 16*r. Is r a multiple of 8?
False
Let g(w) = -w**3 + 3*w**2 - 2. Let t be g(3). Let p be (5*2)/((-4)/t). Suppose 0 = -p*f, 4*d + 0*f - 156 = 5*f. Does 12 divide d?
False
Suppose 0 = -7*w - 7*w + 6496. Does 29 divide w?
True
Let w(p) = p**3 + 16*p**2 - 19*p - 37. Let n(x) = -x - 5. Let f be n(11). Does 20 divide w(f)?
False
Suppose 170 + 100 = 2*z. Let p = 146 - 65. Let b = z - p. Is 15 a factor of b?
False
Let s(g) = 6*g - 16. Let m be s(13). Is 43 a factor of m*-2*4/(-8)?
False
Let h = 3 + 1. Suppose 0 = -4*g - 2*t, 2*g - 2*t + h = 16. Suppose -222 = -4*m + 3*j, 0*m - g*m + 5*j + 104 = 0. Is 29 a factor of m?
False
Let k = 2 - -1. Suppose 168 = 6*s - k*s. Does 11 divide s?
False
Let z(m) = 6*m + 32. Let n be z(-6). Let d(k) = -k**3 + 2*k**2 + 4. Does 24 divide d(n)?
False
Let l(c) = c**2 - 13*c + 84. Does 35 divide l(27)?
False
Let b be (2 + 4/(-2))/(-2 - -4). Suppose 0 = i + 5*q - 45, b = 3*q + q - 8. Is i a multiple of 12?
False
Let d be (-3)/(-6) + (-7)/(-2). Suppose 5*u = d*u + 56. Is 28 a factor of u?
True
Suppose 3*n + n = -1136. Let r = -119 - n. Is r a multiple of 16?
False
Let q be (-225)/(-2) - (-3)/6. Suppose -2*s - z + q = 0, -z = -3*s - 4*z + 165. Is 23 a factor of s?
False
Let j(b) = -b**3 - 7*b**2 - 14*b - 14. Is j(-11) a multiple of 48?
True
Let b(w) be the third derivative of w**6/60 + w**5/60 - w**4/8 + w**3/6 - 3*w**2. Let u(c) = -c - 5. Let v be u(-8). Is 22 a factor of b(v)?
False
Let t(u) = -3*u**3 - 2*u**2 + 5. Let j be t(-3). Suppose 11*q = -j + 552. Is 11 a factor of q?
True
Suppose -6*b - 477 = -9*b. Let i = b + -84. Is i a multiple of 13?
False
Let p(g) be the third derivative of -g**5/30 + 9*g**4/8 + 10*g**3/3 - 11*g**2. Does 3 divide p(14)?
True
Let v be (-1 + 0)*(-4 + 2). Let i be v/6 - 20/6. Is 63/(-2)*4/i a multiple of 23?
False
Let h = 921 + -622. Is h a multiple of 13?
True
Let y = 1 + 4. Suppose 3*j - y = -2*j. Does 3 divide -13*j*(1 - 2)?
False
Let p(x) = -x**3 + 7*x**2 + x - 7. Let t be p(7). Suppose t*w - 29 = -w. Is 8 a factor of w?
False
Suppose -t + 0*t + 2*a = 2, -55 = -5*t - 3*a. Suppose -2*y = -3*y - t. Does 4 divide y/(-2)*60/16?
False
Suppose -176*o = -163*o - 25662. Is 14 a factor of o?
True
Is 53 a factor of (-6)/(-14) + (-10560)/(-252)*36?
False
Suppose 5*z - 5*d - 7526 = 4429, 0 = 3*z + 3*d - 7179. Is z a multiple of 20?
False
Let y(t) = t**2 + 6*t - 6. Let f be y(-7). Let k be (-5)/(5/f) + 3. Let i = 27 - k. Does 14 divide i?
False
Let z(d) = d**3 + d**2 - 4*d - 8. Let p be z(-2). Is 14 a factor of (-181)/p + (-39)/(-52)?
False
Is 2 a factor of (0 + -2)*(-19 - 48/(-8))?
True
Suppose 4*f = -3*z + 827, -30 = -3*z - 2*f + 799. Is 32 a factor of z?
False
Let r(f) = f**3 - 14*f**2 + 27*f + 8. Is r(12) a multiple of 4?
True
Let v(x) = -2*x**2 - 19*x - 9. Let w(k) = k + 1. Let y(z) = -v(z) - 6*w(z). Let d(p) = p**2 - 17*p - 7. Let c be d(17). Does 10 divide y(c)?
True
Suppose -2*j + 128 + 172 = 0. Suppose 0 = -4*d + 722 - j. Is d a multiple of 29?
False
Suppose 8*d = -13*d + 903. Does 3 divide d?
False
Let m(h) = -h**3 - 29*h**2 + 72*h - 87. Is 11 a factor of m(-32)?
False
Suppose 0 = -5*v - 2*q - 0*q + 40, -4*q + 44 = 4*v. Suppose 2*p = 4*p - v. Is 8 - -3*2/p a multiple of 3?
False
Let w = 78 + -374. Is (-10)/25 + (w/10)/(-4) a multiple of 2?
False
Let g(u) = -3*u**3 + 9*u**2 + 7*u + 8. Let w(h) = 2*h**3 - 10*h**2 - 8*h - 7. Suppose -8 - 4 = 3*t. Let s(x) = t*w(x) - 3*g(x). Is s(-12) a multiple of 4?
True
Let m = 13 - 9. Does 19 divide m/((3 + -1)/16)?
False
Suppose u - 68 = -2*k, -4*k = -u + 6 + 44. Let g be (-25)/5*(-1 + 2/10). Suppose -4*x - u = -2*c + x, -5*c - g*x = -221. Is 13 a factor of c?
False
Let p = -40 - -151. Is p a multiple of 37?
True
Let z = -74 + 163. Is z a multiple of 9?
False
Let a be (25 - (2 + -4 - -3)) + -4. Suppose -6*f + 480 = -f + q, -4*q + a = 0. Is 42 a factor of f?
False
Suppose 18*y = 14*y + 1952. Is y a multiple of 45?
False
Let a be (-2 - -3)/(1/9*3). Suppose -407 = a*o - 1355. Is o a multiple of 14?
False
Let z = 39 - 12. Does 19 divide 3*6/z - 184/(-3)?
False
Let s(h) be the second derivative of -h**5/10 - h**4/2 + 2*h**2 - 36*h. Let q be (-3)/(6*(-2)/(-16)). Does 11 divide s(q)?
False
Suppose -4*q - 3*l = -2157, -47*q + 49*q - 5*l = 1059. Does 14 divide q?
False
Let g = 81 - 91. Let n(q) = q**3 + 12*q**2 + 12*q - 8. Is 1