0 = -2*n + n. Is 7 a factor of l?
False
Let g(l) = l**3 - 13*l**2 + l - 13. Let j be g(13). Suppose -3*i - c + 198 = j, -5*i - c + 66 = -4*i. Is 11 a factor of i?
True
Suppose 3*v - v = 4. Suppose -3*k = -v - 7. Is k a multiple of 3?
True
Let z = 78 + -46. Is z a multiple of 32?
True
Let w = -11 + 10. Is w*2*37/(-2) a multiple of 17?
False
Suppose -r - 36 = -5*n - 8, -5*n = -5*r - 60. Let b(x) = -x**2 - 8*x + 4. Does 4 divide b(r)?
True
Let y(i) = i**2 + 4*i - 6. Let u be y(-6). Is (u - -1) + (-20)/10 a multiple of 2?
False
Let v(j) = 6*j**2 + 7*j**3 + 1 - 6 - 3*j - 8*j**3. Is v(4) a multiple of 6?
False
Suppose 152 = 5*k - 3*s, 3*s + 124 = -0*k + 4*k. Does 14 divide k?
True
Let y(b) = -b**2 + 9*b - 2. Let s = 8 - 7. Let c(d) = 5*d**2 + 1. Let w be c(s). Is y(w) a multiple of 16?
True
Let y be 0/(2*3/(-6)). Suppose 2*f + 2*f - 180 = y. Does 15 divide f?
True
Suppose 0 = -3*l + 7*j - 4*j - 30, 2*l = -5*j - 6. Let b = 5 + l. Does 6 divide (-47)/(-4) + b/(-12)?
True
Suppose -371 = -5*j - 4*t + 105, 288 = 3*j + 3*t. Suppose 0 = -q + 4*r + 10, r - j = -8*q + 3*q. Is q a multiple of 9?
True
Let v = -104 + 203. Is 11 a factor of v?
True
Suppose 5*q = w + 148, 4*w + 112 = 4*q - 0*q. Let m = 3 + -3. Suppose m*c = 5*c - q. Is 3 a factor of c?
True
Suppose 9*y = 34 + 650. Is y a multiple of 8?
False
Let q(d) = 2*d + 3. Let k be q(-3). Let o be 11/4*(k + -1). Let m = o - -27. Is 16 a factor of m?
True
Let p(a) = -a**3 - a**2 + a + 1. Suppose -5*n - s = -0*s + 5, -3*n = 5*s + 3. Let v be p(n). Suppose 5*t - 4*t - 13 = v. Is 11 a factor of t?
False
Suppose -37 = -3*q + 44. Does 6 divide ((-8)/(-12) + 0)*q?
True
Suppose -q + 52 = 2*v - 5*q, 2*v + 4*q - 20 = 0. Suppose 2*j - 4*d - v = -0*j, 5*j - 3*d = 73. Is j a multiple of 17?
True
Let q be (1 - 1/2)*24. Suppose -q - 9 = -3*l. Is l even?
False
Let u(z) be the third derivative of z**4/12 + z**3/6 - 7*z**2. Does 3 divide u(5)?
False
Suppose -3*x + 102 = -0*x. Does 17 divide x?
True
Suppose -5*w - 2*x + 239 = 0, -151 = -3*w + 4*x - 9*x. Is w a multiple of 7?
False
Let w(o) = -3*o**2 + 5 + 7*o + o**2 + 4*o**2 - 1. Let a be w(-6). Let c = a + -24. Is 4 a factor of c?
False
Suppose b + 0*d + 4 = -3*d, -5*d = 2*b + 6. Let p(m) be the second derivative of m**4/4 - m**3/6 - m**2 - 14*m. Is 7 a factor of p(b)?
False
Suppose 16 = z - 2*t, 0 = 2*z + 3*z - 5*t - 90. Let m = z + -14. Is m a multiple of 3?
True
Let c = -5 - -3. Let o = c - 0. Is 17 a factor of (-2)/4*68/o?
True
Is 5 a factor of -4*3/(-6)*4?
False
Is (24/(-48))/(486/244 - 2) a multiple of 30?
False
Let i(s) = s**2 - 6*s - 8. Let f be i(8). Suppose 280 = f*o - 3*o. Suppose 2*d - 72 = -d - 3*g, 4*d - 4*g = o. Is 7 a factor of d?
False
Let w(r) = 12*r**3 - 3*r**2 + 2*r - 3. Does 17 divide w(2)?
True
Let f(h) be the second derivative of -h**2 - 1/10*h**5 + h + 0 - 1/4*h**4 - 2/3*h**3. Is 10 a factor of f(-2)?
True
Let h = 6 - 2. Suppose 6*l = 4*l - k + 7, h*l - 2 = 2*k. Suppose -c = l*c - 42. Is c a multiple of 7?
True
Let x(q) be the second derivative of q**5/20 + 2*q**4/3 - q**3/3 - 6*q**2 - q. Let o be x(-8). Suppose -147 = -o*s - n, 15 = -5*s + 4*n + 225. Does 12 divide s?
False
Let v(l) = l + 9. Let g be v(-7). Suppose -2*h = g*h. Suppose -5*j + 33 = -3*j + a, h = 3*a - 9. Is 6 a factor of j?
False
Suppose -g + 5*i = 14, -g + 2*i = 3*g + 2. Suppose -3 = -v - g. Let t = 50 - v. Does 24 divide t?
True
Suppose -k = -0 - 5. Suppose -5*s + 51 = 3*p, k = 5*p - 5. Suppose 0 = 5*b + s - 59. Does 10 divide b?
True
Suppose a + 222 = 624. Is 32 a factor of a?
False
Let f = -16 - -6. Let a = 28 + f. Is 6 a factor of a?
True
Let w be ((-3)/3)/(-1 - 0). Let l be (w - -4 - 1) + -1. Suppose l*h - 5*z + 2*z - 51 = 0, 0 = -4*h - 2*z + 74. Does 18 divide h?
True
Let g be 5 + -2 + 1*-3. Suppose 2*f + d - 4*d - 5 = g, 4*f - d = 15. Suppose -f*x - x = -4*z + 87, 2*x + 6 = 0. Does 8 divide z?
False
Suppose -23 = 4*g - 39. Is g a multiple of 3?
False
Let u = -3 - -9. Suppose u*r = 4*r + 6. Is 12 a factor of 0 + r/(-1) - -15?
True
Let y be (2 + 3)/(1 - 0). Suppose 2*z - 61 = -c - 0*c, y*z = -3*c + 181. Is 19 a factor of c?
True
Let a = 4 + 1. Suppose -a*s + 23 = -12. Is s even?
False
Let f = 91 - 70. Does 17 divide f?
False
Let c = 136 + -77. Is c a multiple of 19?
False
Suppose 2*c + 40 = 4*c. Does 10 divide c?
True
Is 11 a factor of 3/(-12) - (-394)/8?
False
Suppose 2*p - 4*p + 16 = 0. Suppose 0 = -2*v - p + 48. Is v a multiple of 10?
True
Let m = -14 + 23. Suppose m = -0*t + t. Is t a multiple of 4?
False
Suppose -l = 5*q + l - 72, 4*l = q - 10. Is q a multiple of 14?
True
Is 13 a factor of 10/(-30)*(-1 + -116)?
True
Let y(f) = -f**2 - 8*f - 3. Let b be y(-9). Let n be (-4)/(b/(-15)) - -2. Let r = 3 - n. Is 3 a factor of r?
True
Let n = 23 - 24. Let k = -10 + 18. Let b = k + n. Is b even?
False
Let l = 242 + -121. Is 4 a factor of l?
False
Let k(f) = f**3 - 13*f**2 + 27*f + 6. Is 17 a factor of k(12)?
False
Let v = 8 - 3. Suppose 0 = v*w - 68 + 8. Is (w/(-5))/(3/(-30)) a multiple of 15?
False
Let f = -12 + 35. Is 9 a factor of f?
False
Suppose -m + 7*b = 2*b - 187, 4*m + b = 706. Is m a multiple of 16?
False
Let k(o) = o**3 + 7*o**2 - 2*o. Is k(-6) a multiple of 11?
False
Let c(s) = 12*s + 8. Let h be (8/(-3))/(18/(-27)). Is c(h) a multiple of 22?
False
Let w = 18 - 3. Is 15 a factor of w?
True
Let f = 33 + -29. Suppose f*x + r - 47 = 0, 0*r = 3*x - r - 37. Is x a multiple of 12?
True
Let l be (2/(-4))/(4/8). Does 16 divide 23 - (-2)/(-2) - l?
False
Let g = 386 - 258. Let j = -64 + g. Is 24 a factor of j?
False
Let a(m) = 10*m. Does 4 divide a(1)?
False
Let d be 40/(-4) + 3/3. Let r = d - -12. Suppose -17 + 98 = r*z. Is z a multiple of 12?
False
Suppose -8 = 3*g + 7, -2*z + 5*g = -193. Is 14 a factor of z?
True
Let u(h) be the second derivative of h**5/20 + h**3/6 - 3*h. Let q be u(0). Suppose q = -5*y + 10 + 10. Does 4 divide y?
True
Let i = -44 + 99. Let v be (7 + -1)/((-4)/18). Let t = v + i. Does 12 divide t?
False
Let k = 90 - 44. Is k a multiple of 9?
False
Suppose 2*g + 0*g - 24 = -4*q, 4*g + 5*q - 39 = 0. Let t(w) = 3*w - 8. Let z(h) = -1. Let s(m) = t(m) - 4*z(m). Does 6 divide s(g)?
False
Let y(d) = -19*d - 6. Is 15 a factor of y(-3)?
False
Is (-35)/(-4 + 28/8) a multiple of 20?
False
Let x be 2 + 1 + 0 - 0. Suppose 4*f - x*f - 18 = 0. Is f a multiple of 10?
False
Does 6 divide -3 - -58 - (7 + -4)?
False
Suppose 1 = 2*f + 3*m, 2*f + 2*f + 2*m = -10. Let v = f + 8. Does 3 divide v?
False
Let s(u) = u**2 + 2. Let a be s(-2). Suppose 15 = 5*n - 5*y, n - 9 = 5*y + a. Suppose n = -3*l, -4*c + 2*l - 6*l = -12. Is c a multiple of 2?
False
Let z(m) = 35*m**2 - 9*m - 4. Is 13 a factor of z(-3)?
True
Suppose 3*v + 4*b = -b - 12, 5*v = 2*b + 11. Let q be (-7 - -1)*v/(-2). Suppose 2*n - q*y = -2*n + 137, 3*n - 4*y = 101. Does 13 divide n?
False
Suppose -6*a + 131 = r - 9*a, 3*r = -4*a + 419. Is 7 a factor of r?
False
Let u be 2 + -2 + 2 - -2. Suppose -u - 14 = -f. Does 9 divide f?
True
Let v(d) = 68*d - 25. Is 45 a factor of v(5)?
True
Let a be 1 - 1 - (-52)/4. Suppose 2*k - 11 = -d, 4*k - a + 6 = 3*d. Suppose k*n - 13 - 43 = 0. Is 14 a factor of n?
True
Let m = -58 - -96. Suppose 37 + m = -5*w. Is 4 a factor of w/((6/(-2))/3)?
False
Suppose -3*o - 141 = -5*g, 3*o + 3*g = 5*o + 95. Let q = 32 + o. Let r = -4 - q. Is r a multiple of 8?
True
Suppose -2*p - 5*p + 875 = 0. Is p a multiple of 25?
True
Let u(n) = 5*n**2 + 4*n + 1. Let j(o) = o**2 - 8*o + 4. Let b be j(8). Is 20 a factor of u(b)?
False
Let q(m) = -28*m - 2. Is q(-2) a multiple of 18?
True
Let x(q) be the third derivative of -q**6/120 - q**5/5 + 5*q**4/12 - 3*q**3 - 5*q**2. Does 10 divide x(-13)?
False
Suppose 3*a + 11 = -1, 4*l = 5*a + 24. Let s be (0 - l) + 15 - 2. Suppose -s = -x + 28. Is 19 a factor of x?
False
Let n(f) = -f**3 - 8*f**2 + 7*f - 12. Let o be n(-9). Let l be (-1)/3 + 74/o. Suppose -2*p + l = -24. Is p a multiple of 6?
True
Let t be 2 + ((-38)/(-12) - 5/30). Suppose 4*d + 9 = 3*q + 5, -d - q + 6 = 0. Suppose 46 = d*i - 4*f, t*f - 4 = 3*f. Is i a multiple of 18?
False
Suppose 0*c + 7*c = 217. Is c a multiple of 6?
False
Suppose -2 = -m, 3*k - 23 = -3*m + 1. Does 2 divide k + -2 - (0 - 1)?
False
Let a be 30 - (-4 - (-6)/3). Let u = a + -17. Suppose 5*j - u = 5*z, -6*j = -j + 3*z - 47. Is j a multipl