) - 4*r(i). Let d(t) = -5*t**2 - t + 6. Let q(y) = -4*d(y) + 9*s(y). Is 7 a factor of q(-4)?
False
Suppose 603 = 3*o + 207. Is (2/(-8))/((-3)/o) a multiple of 5?
False
Is (-66)/(-12)*(-72)/(-2) a multiple of 22?
True
Let c(h) = 24*h**2 - 2*h. Let l = 6 + -8. Let t(i) = -23*i**2 + i. Let o(a) = l*c(a) - 3*t(a). Is o(1) a multiple of 11?
True
Let r(q) be the second derivative of -q**5/20 - 7*q**4/12 - 4*q**3/3 - 9*q**2/2 + 2*q. Let f be r(-6). Suppose 47 = f*m - 31. Is m a multiple of 13?
True
Let p = -24 - -46. Let s = p - 18. Is s even?
True
Let o = 15 + 7. Let c = o - 14. Is c a multiple of 4?
True
Let l be (-1 - 1)/(2/(-3)). Suppose -l*z - 6 = -63. Is 12 a factor of z?
False
Suppose 7 - 23 = -2*m. Does 4 divide m?
True
Let b be 34/(-8)*(-48)/6. Let h = -16 + b. Is 18 a factor of h?
True
Suppose -m + 0 - 22 = -v, -3*m = 6. Does 20 divide v?
True
Let x(s) = s**2 - 21*s + 4. Is x(22) a multiple of 8?
False
Let l = -42 - -157. Suppose 3*y = -2*c + 47, 2*c + y = 6*c - l. Is 10 a factor of c?
False
Does 14 divide (-6)/(-8) - 2431/(-44)?
True
Let m be -3 - 56 - (-4)/(-2). Let s = -39 - m. Is s a multiple of 6?
False
Suppose 0 = 5*f - 10*f + 460. Does 19 divide f?
False
Let i = 25 + -48. Let f = i + 38. Is f a multiple of 7?
False
Let q be (-210)/(-7)*(-1)/(-3). Let j(t) = -t**3 + 11*t**2 - 8*t - 9. Is j(q) a multiple of 11?
True
Let o be (-20)/2*(-10)/4. Suppose -d + o = 4*d. Suppose 0*k - 3*k + 1 = -2*n, 2*n + d*k - 23 = 0. Is 2 a factor of n?
True
Suppose d = 2*d - 12. Does 2 divide d?
True
Let f(t) = -6*t. Let g = -16 - -6. Does 20 divide f(g)?
True
Suppose -5*v + 169 - 24 = 0. Suppose o + 3*o = a - 5, -5*o - v = -3*a. Is 13 a factor of a?
True
Suppose -3 = b + 2*b, 2*d + 5*b = -1. Let o be 496/10 - d/(-5). Let y = o - 24. Does 13 divide y?
True
Suppose w + 4 = 3*w, -w - 1 = -p. Let i = p + 17. Is 8 a factor of i?
False
Let s(v) = 15*v + 2. Let y(r) = -r + 8. Let h be y(4). Let b be s(h). Let k = b - 34. Is k a multiple of 14?
True
Let f be 1 + 2*(-9)/6. Does 6 divide f/(2*(-3)/36)?
True
Let z(y) = -16*y**3 + 2*y**2 - 3*y + 3. Let q be z(2). Let m = q + 172. Let p = -13 + m. Is p a multiple of 18?
True
Let p(r) = r**2 + 3*r - 4. Let s = -13 - -8. Does 3 divide p(s)?
True
Suppose 0 = -5*w - 5*g + 2*g + 478, 2*w - 189 = g. Is 19 a factor of w?
True
Let o = 308 + -54. Is 29 a factor of o?
False
Let p(s) = -s**3 - 9*s**2 - s - 10. Let h be p(-9). Let a(k) = 28*k**2 + k + 2. Does 12 divide a(h)?
False
Let o(t) = 56*t**2 + 2*t + 2. Does 28 divide o(-1)?
True
Suppose 8*s - 13*s = -800. Is s a multiple of 16?
True
Suppose -3*b + b + 2 = 0. Is 14 a factor of b + 25 - (-2 + 4)?
False
Let p = -18 - -26. Let t(x) = 12*x - 20. Is t(p) a multiple of 19?
True
Is 406/6 + -3 - (-2)/(-3) a multiple of 25?
False
Let t be 1 - (1 - 1*64). Let v = t + 26. Is v a multiple of 30?
True
Suppose 0 = c + 2*c - 60. Let s = c - 12. Is s a multiple of 3?
False
Suppose 4*q - 6 = 2*m, 3*m - 1 = 2*q + 6. Is 4 a factor of q?
True
Let o(s) = s**2 - 5*s - 11. Let y be ((-6)/(-4))/((-15)/40). Let b = y - -12. Is o(b) a multiple of 12?
False
Let h = 3 - 1. Suppose -h*j + 5*c = 0, -c = -5*j - 4*c + 31. Suppose u + j = 29. Does 9 divide u?
False
Suppose -2*j + p + 188 = 0, -470 = -5*j - 2*p + 5*p. Is j a multiple of 14?
False
Let b = 222 + -96. Is b a multiple of 7?
True
Let r(m) = -8*m - 16. Does 24 divide r(-11)?
True
Suppose -137*h = -140*h + 387. Is h a multiple of 32?
False
Suppose -k - 3 + 4 = -4*u, 4*u = -2*k - 10. Is 10/(-1 - 1 - k) a multiple of 5?
True
Let b(c) = -c - 1. Let s(t) be the first derivative of -8*t**2 + 2*t - 4. Let i(w) = -3*b(w) - s(w). Is i(2) a multiple of 11?
False
Let z = 6 + -7. Let k = -3 - z. Let f(v) = -2*v - 2. Is 2 a factor of f(k)?
True
Let a(v) = 20*v + 20. Does 24 divide a(5)?
True
Suppose 270 = 3*m - 45. Is 11 a factor of m?
False
Let p(u) be the third derivative of -u**6/120 + 14*u**3/3 + 11*u**2. Is p(0) a multiple of 8?
False
Let t = 3 + -5. Is (t - (-18 - 0))*2 a multiple of 10?
False
Let k = -26 + 69. Is k a multiple of 19?
False
Suppose -x - 2*q = -27, -5*x + 3*q = -q - 135. Does 9 divide x?
True
Let d(s) = s**2 - s + 3. Let u be d(0). Let k(j) = 3*j**2 + 1. Let v be k(-1). Suppose -2*i + 28 = -v*p - 58, 3 = -u*p. Does 18 divide i?
False
Let j(o) = 3*o**2 + 9*o - 1. Let t be j(6). Let b = t - 39. Suppose 5*d + 2 - b = 0. Does 8 divide d?
True
Let s be 1 + -2 - (-16 + 0). Suppose -s = -2*g - z + 17, 3*z + 30 = g. Let n = g + -8. Does 10 divide n?
True
Let h(r) = r - 4. Let j be h(7). Suppose 2*d = -4*t - 37 + 125, 0 = j*t - 12. Is 12 a factor of d?
True
Suppose -4*v + 5 = 5*n, 25 = -n + 4*n - 2*v. Let l(o) be the second derivative of -o**5/20 + o**4/2 - 5*o**3/6 + 5*o**2/2 + 2*o. Is 4 a factor of l(n)?
False
Suppose 7*v - 2*v = 0. Suppose -3*o - k = -v*k - 21, -3 = k. Is 8 a factor of o?
True
Suppose -5*f + 57 = -208. Let j = f - 37. Is j a multiple of 16?
True
Suppose -a - 1 = -2*f, 5*a + 7 = 22. Suppose f*b = 7*b - 55. Does 11 divide b?
True
Let c(z) = z**2 + 12*z - 16. Let o be c(-13). Is 55/33 - 1/o even?
True
Let f(n) = -4*n**3 - 14*n**2 + 7*n - 9. Let c(p) = 3*p**3 + 13*p**2 - 7*p + 8. Let j(m) = -5*c(m) - 4*f(m). Let r be j(8). Is 0 + (r/(-2) - 1) a multiple of 2?
False
Suppose -2*j + 72 = 3*k, 0*j + 3*j + 113 = 4*k. Let x = k + -16. Does 7 divide x?
False
Let u(c) = -3*c**2 + 8*c + 5*c**2 - 6 - 2*c. Let f(r) = -4*r - 1. Let j be f(1). Is u(j) a multiple of 7?
True
Let b(m) = 19*m - 5. Is b(2) a multiple of 11?
True
Suppose -m = -5*f + 29, 0*m - 33 = -5*f + 2*m. Suppose 5*h + 35 = f*i, -2*h + 4*h + 2 = i. Does 12 divide i?
True
Let d(g) = g**2 - 5*g + 2. Let p be d(3). Let s = -20 - p. Let l = 27 + s. Does 10 divide l?
False
Let k(s) = -18*s - 1. Let c = -2 + 0. Does 11 divide k(c)?
False
Let m(i) = i**2 + i + 15. Let u be -2 + 5 + -2 + 4. Suppose 0 = u*d - d. Does 15 divide m(d)?
True
Let u = 107 - 56. Does 17 divide u?
True
Let k(g) = -g**3 + 6*g**2 + 2*g + 7. Let x be k(7). Let q be 8/x + 30/7. Suppose q = l + 1. Is l a multiple of 3?
True
Let t = 40 - 35. Is 5 a factor of t?
True
Let i(y) = -9*y + 1. Let z(m) = 18*m - 3. Let x(f) = 5*i(f) + 3*z(f). Suppose 0 = -3*d - u + 12, 5*d = 3*d + 3*u + 19. Is 18 a factor of x(d)?
False
Let p = -20 - -11. Is 2 a factor of 3 + p/(-12)*4?
True
Let l(g) = 6*g**2 + 12*g + 13. Let k be l(-9). Suppose 5*c + k = 106. Let j = -29 - c. Is 12 a factor of j?
False
Suppose 5*b + 3*j - 8*j - 290 = 0, -4*j = 8. Is 28 a factor of b?
True
Suppose b = -2*b + 5*k - 15, -3*k = -b - 9. Suppose b = p - 9 + 2. Is 2 a factor of p?
False
Let y(n) = -18*n**3 - n**2. Let x be ((-9)/6)/((-2)/48). Let g be (-6)/8 + (-9)/x. Does 7 divide y(g)?
False
Let x be ((-20)/(-15))/((-4)/6). Is 4/(-8)*x*5 even?
False
Let y(o) = -o**2 + 17*o - 6. Does 33 divide y(9)?
True
Suppose 0 = -4*b + 100. Suppose c - 5*z = -4*c + 20, 5*z - b = 0. Is c even?
False
Let i = -19 - -40. Suppose -4*n + 30 = -2*o, -4*n - 2*o + o + i = 0. Suppose -54 + n = -4*h. Is 5 a factor of h?
False
Suppose 0 = -3*z + 6 - 0. Is 14 a factor of z + 26/3*3?
True
Suppose 0 = 2*b + 11 - 95. Does 7 divide b?
True
Let j(w) = w**3 + 16*w**2 + 10*w + 17. Is j(-15) a multiple of 21?
False
Suppose 0*c + 48 = 4*c. Let a = -3 + c. Does 3 divide a?
True
Let t be 1/1*-10 - 0. Let x = t + 2. Is (x + 2)*(-26)/6 a multiple of 18?
False
Suppose 5*f + 12*f - 2788 = 0. Does 30 divide f?
False
Suppose -n = -5*z - 0*n, -5*z + 2*n = 0. Let a be -2 - (z + -1 + -57). Suppose 0 = -y - y + a. Is 14 a factor of y?
True
Let w be (2/6)/(3/27). Suppose -3*x - 3 + 18 = -3*c, c - 7 = -w*x. Is 8 a factor of 3/(3/14) - c?
True
Let h = -77 - 28. Let r = -49 - h. Is 16 a factor of r?
False
Let r(f) = -f**2 - 9*f - 8. Suppose -2*v = -11 + 1. Suppose 0 = -j + 5*l + 18, -v*j - 4*l = l + 60. Is 4 a factor of r(j)?
False
Let b(x) = -x + 0*x**2 + 2*x**2 - x. Let p be b(2). Suppose -f + 4*n = -23, 0*f - 2*f - 2 = p*n. Is f a multiple of 3?
False
Let j = -4 + 9. Suppose 0 = -2*x - 0*x - 6, 21 = j*i + 3*x. Let q(m) = m**2 - 3*m + 1. Is 17 a factor of q(i)?
False
Let g(c) = c**3 - 7*c**2 - 10*c + 6. Let i be g(9). Is 26 a factor of (i/2)/((-9)/(-12))?
True
Is 12 + 4/(3 - 7) a multiple of 4?
False
Let v = -45 - -66. Is v a multiple of 7?
True
Is (25/20)/(3/48) a multiple of 14?
False
Let y = 438 + -304. 