i. Is i a multiple of 4?
True
Let z be (1/((-3)/(-6)))/2. Let a = z - -8. Is (34 + -1)*3/a a multiple of 11?
True
Suppose -2 = -3*f - 2*g + 1, -f - g = -2. Is 17/f*(-3 - 1) a multiple of 19?
False
Suppose 8*o - 5*o - 105 = 0. Is 13 a factor of o?
False
Let i(v) be the second derivative of 2*v - 1/6*v**3 + 23/2*v**2 + 0. Is 9 a factor of i(0)?
False
Suppose -4*l = l - 80. Let d = 42 - l. Is d a multiple of 15?
False
Is 3 a factor of (-50)/(-4) + 2/(-4)?
True
Let c = -3 + 3. Suppose -5*z = -c*z - 240. Does 15 divide z?
False
Suppose -31*b = -26*b - 675. Is b a multiple of 15?
True
Let i = -2 + 19. Suppose -9 = 3*z, 0*z = 4*v + z - i. Is v a multiple of 3?
False
Suppose -4*h + 3 + 21 = 0. Is 3 a factor of h?
True
Suppose 0*b = -3*b + 132. Let h be b - (-2)/(0 - -2). Suppose -3*y = 2*y - h. Is y a multiple of 9?
True
Suppose -3*m = -0*m - 756. Suppose 0 = 4*l - 16, m = -2*c + 6*c + 3*l. Does 16 divide c?
False
Let c(m) = 11*m**2 - 5*m - 10. Is 24 a factor of c(5)?
True
Suppose -11*w + 2 = -86. Does 4 divide w?
True
Suppose 5*f + 74 + 86 = 5*c, -c = -4*f - 32. Is 31 a factor of c?
False
Let g(l) = -l**2 + 9*l + 9. Let r be g(10). Does 21 divide 52 + (-2 - r - 0)?
False
Let p(a) = 4*a + 5. Let j(v) = 5*v + 5. Let n(u) = 5*j(u) - 6*p(u). Does 3 divide n(11)?
True
Let w be 0*(15/(-6))/(-5). Suppose -h - h + 17 = -3*n, w = 3*h - 5*n - 27. Suppose -h*y + 4*r = -104, -5*r + 27 = 2*y - 2*r. Does 8 divide y?
False
Let l be (-1 - -1)*2/(-2). Suppose l = -2*o - o + 15. Suppose 250 = -0*d + o*d. Is 23 a factor of d?
False
Let d(p) = p**2 - 5*p + 3. Let a be d(5). Let l = -93 - -137. Suppose 4*f - 52 = -a*b - 0*f, 2*b - l = -5*f. Does 12 divide b?
True
Does 14 divide 2 + (39 - (3 - 4))?
True
Let v = 147 - 84. Is (8/(-14))/((-9)/v) a multiple of 4?
True
Suppose -z + 48 = 5*s - 10*s, 0 = 3*s + 12. Does 28 divide z?
True
Suppose m = 4 - 0. Suppose 4*n + 108 = m*b + b, -4*b - 3*n = -105. Is b a multiple of 6?
True
Let k(n) = n + 4. Let v be k(0). Suppose -w + 6 = v*p - p, -7 = -3*w + 2*p. Is w a multiple of 3?
True
Let x be ((-9)/(-2))/(9/(-84)). Let j be x/(-9)*(-36)/(-14). Does 2 divide 21/4 - 3/j?
False
Let v(k) = k - 4. Let p be v(9). Suppose p = 4*w - 27. Does 7 divide w?
False
Let z = -6 + 9. Suppose -z*q = q - 60. Is 7 a factor of q?
False
Suppose -2*g = -0*g. Suppose -u - 2 + 1 = 2*c, u - 4*c - 29 = g. Does 9 divide u?
True
Suppose 12 = 4*y, 4*x - 5*y - 82 = -3*y. Does 6 divide x?
False
Let j = 15 - -1. Let q = 2 - 3. Let x = j + q. Is 13 a factor of x?
False
Let c = -79 + 126. Does 16 divide c?
False
Let f(i) = -i**3 + 7*i**2 + 8*i + 4. Suppose -2*m + 0*q + 12 = 2*q, -2*q = -2*m + 20. Let u be f(m). Suppose u*c = -c + 35. Does 3 divide c?
False
Suppose -5*i + 4*f + 60 = 0, i = -3*f - 0*f + 31. Let y = 1 + i. Is 8 a factor of y?
False
Let j = 15 + 22. Is 14 a factor of j?
False
Suppose 4*t - 24 = 2*o + 6, 0 = 4*o + 12. Is 24/20*(t - 1) a multiple of 4?
False
Suppose p - 4 + 12 = 0. Let v = 40 - p. Does 18 divide v?
False
Let i be 20*((-21)/4)/(-3). Suppose -5*s + 27 = -3*t, -5*s - 4*t + i = t. Suppose -30 + s = -2*z. Is 6 a factor of z?
True
Let i(m) = 58*m**2 - 3*m + 1. Does 21 divide i(-1)?
False
Suppose 4*m = -5*s + 3*m - 5, -15 = -s + 3*m. Does 11 divide (1 - s)/((-5)/(-95))?
False
Suppose -3*o = -0 - 45. Let s = -7 + o. Is 7 a factor of s?
False
Let l(k) = k**2 + k. Suppose f + 3 = -0*f. Let n(j) = j**3 - 4*j**2 - 2*j - 48. Let s(y) = f*l(y) - n(y). Does 24 divide s(0)?
True
Let p(z) = 28*z - 22. Is 35 a factor of p(7)?
False
Suppose 2*f - 13 = -v, 0 = -5*f - 0*f - 2*v + 32. Is 3 a factor of f?
True
Let p(r) = r**3 - 5*r**2 + 4*r - 6. Let k be p(5). Let c = k - 3. Does 4 divide c?
False
Suppose q + 212 = 4*n, -5*q + 0*q + 290 = 5*n. Let x = n + -12. Suppose -z - x = -4*z. Does 5 divide z?
False
Let j be (2 - (-21)/(-12))*4. Let c = j + 0. Suppose -4 = -l + c. Does 2 divide l?
False
Suppose 0 = 2*s - 5*s - 2*l + 415, 0 = 4*s - 3*l - 525. Does 27 divide s?
True
Let f(g) = -g**3 + 9*g**2 - 8*g + 10. Suppose -2 - 6 = -z. Let a be f(z). Is -3*a*(-1)/3 a multiple of 5?
True
Let o be (4/(-10))/((-1)/10). Suppose 3*i + 0 = -6, 2*i - 20 = -o*t. Does 5 divide t?
False
Let f be 1/4 + (-248)/(-32). Does 7 divide ((-7)/2)/(f/(-48))?
True
Suppose 0*r - 2*r = -3*p + 438, 5*p = 2*r + 726. Does 18 divide p?
True
Let s(f) = f. Let n be s(6). Suppose -n = -2*k, 4*k = -5*o + k + 94. Is 17 a factor of o?
True
Let t be 10*((-12)/(-15))/2. Let x be (35 - (t - 2)) + -3. Suppose 2*l - 4*k - x = 0, 4*l - 2*k + 4 - 46 = 0. Is l a multiple of 9?
True
Let n(l) = -12*l + 32. Is 20 a factor of n(-4)?
True
Let a = 7 - 2. Suppose 32 = -l + a*l. Does 8 divide l?
True
Let l be (-12 - 0)*10/8. Let h = 32 + l. Is h a multiple of 8?
False
Suppose 1 = r - 4. Suppose r*u + 31 = 86. Let v = u + -6. Is v a multiple of 3?
False
Let x(g) = -g**3 + 4*g**2 + 5*g + 4. Let k be x(5). Let w be (-1)/k - (-93)/(-12). Let o = w - -19. Does 10 divide o?
False
Let l(c) = 6*c + 15. Is l(11) a multiple of 17?
False
Suppose -3*p - 235 = -8*p. Let x = p - 21. Is x a multiple of 21?
False
Suppose -15 = -3*k - 2*k. Suppose -4*t + 2*i + 172 = 0, 3*t - 4*t - k*i = -57. Does 15 divide t?
True
Let q(n) = -n - 1. Let d(k) = 10*k. Let i(z) = -d(z) - q(z). Is i(-3) a multiple of 16?
False
Is 248/24 - -2*2/6 a multiple of 5?
False
Let q = 9 + -6. Suppose -3*t - 24 = -3*k + 15, -63 = -5*k + q*t. Is k a multiple of 6?
True
Suppose -8 = 5*b - 193. Is b a multiple of 2?
False
Let u(n) = -2 + 20*n + 8 - 7 + 9*n. Is u(1) a multiple of 14?
True
Let r be 34/10 + (-2)/5. Suppose -2*f = -f - 2, r*f - 51 = 5*k. Is (-1)/((-2)/(-2))*k a multiple of 7?
False
Let t(j) = j + 3. Let l be t(-6). Does 5 divide 18 + (l - (-1 - 1))?
False
Let l(x) = x**2 + 4*x - 7. Let a be l(-5). Does 10 divide 14 - (a - -3) - 1?
False
Let q = 35 - 17. Is 9 a factor of q?
True
Suppose 2*r - 24 = -0*r + 4*o, 4*r + 3*o - 15 = 0. Let u = -5 + r. Suppose 5*i = -u + 11. Is i a multiple of 2?
True
Suppose -2*s + 16 = -0*s. Is s a multiple of 5?
False
Let a = -103 + 112. Is a a multiple of 3?
True
Is -2*((-225)/10)/5 a multiple of 5?
False
Suppose 35*o - 38*o = -624. Does 18 divide o?
False
Is 15 a factor of 20/3*(-120)/(-32)?
False
Suppose -7*j + 467 = -303. Is j a multiple of 19?
False
Let h be (-2 - -1) + (0 - -2). Let y(a) = -a**2. Let w(s) = -5*s**2 + 1. Let x(z) = h*w(z) - 6*y(z). Does 2 divide x(1)?
True
Let t(r) = 2 + 0 - 3 + 2*r. Let l be t(1). Does 3 divide 16/5 + l/(-5)?
True
Let k(m) = -m**3 + 4. Suppose f = -3*f. Let d be k(f). Is 2/d + 57/6 a multiple of 5?
True
Let a = -1 + 1. Suppose -4*t = 0, -v + 2*t = -a*t - 22. Does 11 divide v?
True
Let b = 17 - 42. Suppose -3*f = -2*f - 35. Let l = f + b. Is l a multiple of 5?
True
Let o(i) = i**2 + i - 3. Suppose -3*t = 4*k, 3*k + t = -k + 8. Let c = 7 - k. Is 7 a factor of o(c)?
False
Let v be (12/(-8))/((-3)/18). Suppose -4*s - v = -29. Let r = 25 - s. Is r a multiple of 14?
False
Let t(v) = 3*v**3 - v**2. Let w be t(2). Suppose -5*r = -z - 39, -r + 4*z = -w - 3. Is 5 a factor of r?
False
Suppose 4*k = -0*k. Let s(t) = -t + 12. Is 6 a factor of s(k)?
True
Let p = -53 + 59. Does 2 divide p?
True
Let z(r) = -4*r**2 + 7*r. Let a be (-2)/5 + 13/(-5). Let i(w) = 4*w**2 - 8*w - 1. Let l(p) = a*i(p) - 4*z(p). Does 11 divide l(2)?
True
Let q be (6 - 1)*(-2)/(-2). Suppose 7*f = q*k + 2*f - 190, -5*k - 5*f + 240 = 0. Does 9 divide k?
False
Suppose 252 = 3*h - 0*x - x, 2*x + 168 = 2*h. Is 21 a factor of h?
True
Suppose -i = 4*l + 12, -2*i + 3*l - 5*l - 6 = 0. Suppose -5*h + 10 + 10 = i. Suppose -h*c + g = -22 - 0, 4*c - 14 = 5*g. Is 6 a factor of c?
True
Suppose 6*q - 45 - 87 = 0. Is 4 a factor of q?
False
Let x(d) = d - 3. Let p be x(6). Suppose -4*l + p*o = -o - 84, 2*l = -5*o + 21. Is 18 a factor of l?
True
Let o(a) = 21*a - 2*a - 1 + 0. Is o(1) a multiple of 6?
True
Let g(t) = -t**2 - t + 1. Let c be g(0). Suppose -z - 5*f - c + 2 = 0, f = 3*z - 35. Is 3 a factor of z?
False
Suppose -147 - 15 = 3*w. Let k be -3*(-76)/3*1. Let z = k + w. Is z a multiple of 11?
True
Let f = -8 + -32. Let s = f - -72. Is 11 a factor of s?
False
Let q be 4 + 0/(-5 - -2). Is 30*(-4)/(-32)*q a multiple of 5?
True
Let l = -29 + 18. Let c = 13 - l. Is 8 a factor of c?
True
Suppose 95 = -2*u + 5*m, 2*u + 2*m = -2*m - 86. Let x = 7