?
False
Suppose -7*u + 3*u - 2*m = -174, 0 = 2*u + 3*m - 93. Does 21 divide u?
True
Suppose 0*w + 161 = 3*w + 5*f, 200 = 4*w + 3*f. Let y = -29 + w. Is y a multiple of 9?
True
Let i(j) = 0*j + 2*j - j - 2. Let x be i(2). Suppose x = 4*q - 2*q - 56. Is 13 a factor of q?
False
Suppose 0 = -4*m + 4*h + 400, 0 = 2*h + 1 + 9. Is m a multiple of 34?
False
Let c = 60 + -94. Let l = -21 - c. Is l a multiple of 7?
False
Let f = 47 + -35. Is f a multiple of 3?
True
Let a = 12 - -7. Suppose -a = r - 4*s - 0*s, -r - 9 = -2*s. Let g = r + 29. Does 13 divide g?
False
Let l be 32 + 1 - (2 - 3). Suppose v = r + 2, -7*v - 3*r + l = -2*v. Is 4 a factor of v?
False
Let y(l) be the second derivative of l**5/20 + 5*l**4/12 - l**3 - 3*l**2 - 3*l. Is y(-5) a multiple of 24?
True
Let f = 17 - -17. Let b(w) = 2*w**2 + 4*w + 3. Let k be b(-3). Let q = f + k. Is q a multiple of 16?
False
Let v(k) = k - 1. Let w be v(1). Suppose 4*t + 3*r + r - 16 = w, -4*t = -5*r - 61. Does 9 divide t?
True
Let p(j) = -j**2 + 9*j - 10. Is 4 a factor of p(7)?
True
Suppose -q + 2*z = -24, 2*q - 4*q + 3*z = -44. Is q a multiple of 9?
False
Let d = -9 + 6. Let r(v) = -2 + 3*v**3 + 5*v - 4*v**3 - 6*v - v**2. Does 19 divide r(d)?
True
Let k be (2 - 4 - -15) + -1. Does 7 divide (k/30)/(1/25)?
False
Let i(p) = p**2 + 2*p - 2. Let q = -8 + 5. Let w be i(q). Is (1 - 51 - w)/(-1) a multiple of 14?
False
Let k(i) = 3*i + 7*i - 3*i. Let a be 16/10*15/6. Does 13 divide k(a)?
False
Suppose 10 = -0*k - 2*k. Let m(u) = -u**3 - u**2 - u - 1. Let y(z) = -4*z**3 - 9*z**2 - 4*z + 3. Let n(b) = 3*m(b) - y(b). Is 10 a factor of n(k)?
False
Let a = -26 - -88. Does 12 divide a?
False
Let m(c) = -c**3 + 11*c**2 + 17*c - 28. Is 5 a factor of m(12)?
False
Let q be (-8)/(-6)*(-9)/(-6). Suppose -q*b = b. Suppose b = -3*k + 3*o + 24, -o = -4*k + 20 + 3. Is k a multiple of 3?
False
Suppose y + h - 79 = 0, 3*y - 80 = 5*h + 141. Is 9 a factor of y?
False
Let t(x) = x**2 + 5*x + 3. Is 2 a factor of t(-5)?
False
Let a = -11 + 31. Let b be 2/5 - (-32)/a. Suppose -4*w + b*w + 68 = q, -5*q + 160 = 5*w. Is 18 a factor of w?
True
Let n be -1*(-1)/1 + -3. Let t be n*((-99)/(-2) + -3). Is 11 a factor of t/(-6) - (-2)/(-4)?
False
Let o be 9/(-2*(-3)/(-6)). Let j = -6 - o. Suppose 4 = j*p - 2*p. Is p even?
True
Is 6 a factor of -2 - ((3 - 5) + -149)?
False
Let q = 38 + -35. Suppose -l + 0*l + 6 = 0. Suppose -84 = q*w - l*w. Does 9 divide w?
False
Suppose 5*y = -6 + 101. Does 3 divide y?
False
Let j(m) be the second derivative of 0 + 2*m + 1/3*m**4 - 1/2*m**2 - 1/3*m**3. Is 5 a factor of j(-1)?
True
Let a(g) = g**2 - g + 2. Let u(c) = -c**2 - 6*c + 9. Let d be u(-7). Let x be a(d). Suppose -5*h = w + 16, -x*h - 5 - 15 = 0. Is 9 a factor of w?
True
Suppose 0 = -4*o - r + 416, 0*o + 513 = 5*o + 3*r. Does 35 divide o?
True
Suppose 0 = -5*b + 3*s - 535, -2*s = -b + 2*b + 120. Let k = 180 + b. Does 14 divide k?
True
Does 6 divide (-4)/(-7) - (1 + 972/(-14))?
False
Let m be 3 + -2*(-3)/(-2). Suppose -66 = -5*o - 4*l, m*o - 5*l = -o - 10. Does 5 divide o?
True
Suppose -4*j - 4*s = -492, 0*s = -4*s - 12. Does 42 divide j?
True
Let t = 1 + 0. Let r(a) = 7*a - 7 - a + t. Does 9 divide r(4)?
True
Is 14 + 0 - (-10 - -4 - -4) a multiple of 4?
True
Let x(p) = -6*p**2 + 10*p - 5 + 2 + 5*p**2. Is x(7) a multiple of 6?
True
Let n(t) = 6*t + 28 + t - 6*t. Is n(0) a multiple of 28?
True
Let h(b) = -3*b + 2. Let d(l) = -3*l + 1. Let y(s) = 7*d(s) - 6*h(s). Does 6 divide y(-6)?
False
Does 11 divide ((-159)/12)/(2/(-8))?
False
Suppose 3*m - 6 = m. Let k be (26 - (-1)/(-1)) + 0. Suppose 4*u - d - 2*d = k, m*u = -d + 35. Is 10 a factor of u?
True
Let u(v) = -5*v - 2. Suppose -5*b = 4*o + 23, 4*o + 2*b = -16 + 2. Let l be u(o). Suppose -j - l = -2*j. Is 8 a factor of j?
True
Suppose -1 = -2*n + 1. Let t(z) = 201*z - 1. Let v be t(n). Is 7 a factor of v/14 + (-2)/7?
True
Let h(g) = -29*g - 4. Is 6 a factor of h(-1)?
False
Suppose 4*z - 6*i - 70 = -3*i, 5*z = -3*i + 74. Suppose 5*a - z = -1. Suppose 0 = -2*c + a*c - 12. Is 6 a factor of c?
True
Is 19 a factor of ((5/2)/(-1))/(7/(-126))?
False
Let t(n) = 0*n**2 + 5 - 3*n + 1 + n**2. Let j be 1/1 + -2 + 5. Is 5 a factor of t(j)?
True
Suppose 7*l = 5*n + 3*l - 8, 4 = -2*l. Suppose -3*s + 4*h + 153 = 0, 4*s + n*s + 4*h = 232. Is s a multiple of 17?
False
Let b be (-13 - -1)*(-42)/(-8). Let s = b + 129. Suppose 0*c = c - 4*j - 22, -2*j = 5*c - s. Is c a multiple of 9?
False
Suppose x + 0 = 13. Let f = 34 - x. Is 11 a factor of f?
False
Let v be (8/4 - -2) + 3. Suppose 54 = -4*c + v*c. Does 9 divide c?
True
Is 5 a factor of 1/(-2 - (-86)/42)?
False
Let p = 0 + 0. Suppose 2*u + p*z - 128 = 3*z, -z = u - 64. Is u a multiple of 14?
False
Let k be 78/(2 - 18/10). Let c = k + -188. Suppose -8*d + 2*u = -3*d - c, 0 = 4*d - u - 161. Is d a multiple of 12?
False
Let f be ((-3)/(-9))/(2/(-18)). Let u = f + 7. Suppose m + 78 = u*m. Is m a multiple of 13?
True
Suppose s + 4 = 8. Let o(g) = 4*g - 3. Let n(a) = -9*a + 6. Let q(c) = 2*n(c) + 5*o(c). Is q(s) a multiple of 5?
True
Let a(g) = g**3 + 4*g**2 - 8*g - 4. Is 3 a factor of a(-5)?
False
Let m(s) = s**3 + s + 1. Let y(c) = 2*c**3 + 9*c**2 + 4*c + 6. Let w(u) = -m(u) + y(u). Is w(-8) a multiple of 10?
False
Let z(u) = -u**2 - 11*u + 13. Let a(x) = -x**3 - 7*x**2 - 4*x + 2. Let t be a(-6). Is 14 a factor of z(t)?
False
Let v = 2 + 9. Let z = v + -6. Suppose 4*m - 54 = -l, z*l - m - 150 = 3*m. Does 17 divide l?
True
Let p = 274 - -140. Let t be p/(-21) + 2/(-7). Is t*(-2 + (-8)/(-5)) a multiple of 8?
True
Let j = 99 + -26. Does 41 divide j?
False
Suppose -4*b = u + b - 14, 4*u - b = -28. Let t be ((-68)/u)/(2/3). Suppose -k = -0*k - t. Is 8 a factor of k?
False
Let a(g) = -g**3 + 6*g**2 - 3*g. Let c(v) = v**3 + v**2 + 2. Let i be c(0). Is a(i) a multiple of 3?
False
Suppose -4 = -t - 0. Suppose 3*b = g - 3, t - 5 = -g + 4*b. Is 7 a factor of g?
False
Let o(j) = -2*j**2 - 6*j + 7. Let g be o(-7). Let l = 28 + g. Let i = -4 - l. Is 11 a factor of i?
False
Is 61 a factor of (-3)/6 - 5505/(-30)?
True
Suppose -3*p = -2*q - 11, 2*q + 3*p + p + 4 = 0. Is (-20)/(2*2/q) a multiple of 10?
True
Let r = -5 - -8. Let m be (-3)/1*(-10)/r. Suppose 5*j - 4*p = 32, j - 3*p - m = -4*p. Does 8 divide j?
True
Let r = 493 - 331. Is 13 a factor of r?
False
Let p = -5 + 16. Suppose -3*a - 6*o + p = -o, -a = -4*o + 2. Does 2 divide a?
True
Let n = -76 - -80. Is n a multiple of 4?
True
Is 4/6 - 14/(-6) - -74 a multiple of 23?
False
Suppose -101 - 16 = 3*i. Let x = i - 0. Is -2 + 2/((-6)/x) a multiple of 11?
True
Suppose 5*g + 3*q - 557 = q, -q - 4 = 0. Let j be 225/6*(-1 - 1). Let b = g + j. Is b a multiple of 19?
True
Let y(o) = -o + 6*o + 5 + 2*o**2 - o**2. Let a be y(-4). Does 8 divide 2/a*66/12?
False
Suppose 3*z + 3*w = -9, z + 3*w + 5 + 8 = 0. Suppose -5*r = 0, z*r = -0*m - 2*m + 10. Suppose -m*i + 51 = -2*i. Does 9 divide i?
False
Suppose 5*j = 49 + 16. Is j even?
False
Let o(h) = -26*h - 10. Does 8 divide o(-5)?
True
Let q(b) be the first derivative of -b**3/3 + 5*b**2 + b + 3. Is 14 a factor of q(8)?
False
Let u = 6 - 7. Let h be (u + 1)/(-1) - -9. Suppose 4*z - 3*z = h. Is 6 a factor of z?
False
Suppose -3*b = 0, 2*b = l + 3*l - 40. Let p = 20 - l. Does 9 divide p - (-2 + 1 - 1)?
False
Let n = -3 - -3. Suppose n = 2*o - 5*o + 12. Is o even?
True
Let s be (-1 + -1 + 1)*-69. Suppose 4*k + s = 7*k + 4*g, -2*k - 4*g + 50 = 0. Does 11 divide k?
False
Let m(w) = 3*w**2 - w - 10. Does 17 divide m(4)?
True
Let x(w) = w**2 + 2*w. Let s(i) = -4*i. Let t(q) = -2*q. Let f(g) = 6*s(g) - 11*t(g). Let y be f(3). Is 18 a factor of x(y)?
False
Suppose d - 2*d + 32 = 0. Suppose -5*n + n - d = 0. Is 1 - 0 - n - 0 a multiple of 9?
True
Suppose k + 2*n - 54 = 0, 0 = -5*k + 4*n + n + 330. Suppose -4*h = -0*h. Suppose h = -d - d + k. Is 16 a factor of d?
False
Suppose 0 = 2*v + t - 19, v - 2*t + 3 = -0*v. Is v a multiple of 3?
False
Let f(u) = u - 9. Does 3 divide f(13)?
False
Let f be 1 - -2 - (10 + 1). Does 17 divide 8*((-52)/f)/1?
False
Suppose 3*h = 5*h + i + 3, 0 = -3*h + i + 3. Suppose h*c - 3*c + 237 = 0. Suppose 4*d = -2*z + 5*z + c, -15 = -5*z. Is d a multiple of 16?
False
Let i = -88 - 18. Is 8 a factor of i/(-10) - (-16)/40?
False
Let a = 10 + -6. Let m be a/18 - 1396/(-36). Let j = -15 + m. Is 1