- 4*q + 108. Is 18 a factor of p?
False
Let b(w) be the third derivative of w**5/5 - w**3/6 + 4*w**2. Does 4 divide b(-1)?
False
Let a(m) = 9*m**2 - m + 2. Let x = -23 + 24. Is a(x) a multiple of 2?
True
Suppose -r = -t - 482, -r + 4*r = 4*t + 1451. Is 21 a factor of (1*-1)/((-9)/r)?
False
Let b = 18 - 14. Is b a multiple of 4?
True
Let m = 0 - 1. Let s be ((-252)/(-3))/((-1)/m). Suppose 5*c + 2*p - s = 0, c + 2*c - 48 = -2*p. Does 9 divide c?
True
Suppose -59 = -4*y - 5*i, -y + 3*i - 1 = -3. Does 8 divide y?
False
Suppose -360 = -2*a - 2*a. Is a a multiple of 10?
True
Let g = -84 - -99. Is g a multiple of 7?
False
Let b(k) = k**2 + 2*k - 2. Let c(y) = -y**2 + 4. Let v be c(0). Let x be b(v). Is (2 - -1)*x/6 a multiple of 11?
True
Suppose 3*r = 5*t - r - 395, 5*r - 274 = -3*t. Does 11 divide t?
False
Let f = 81 - 43. Let o = -26 + f. Is 19 a factor of o/(-42) + (-382)/(-14)?
False
Suppose 672 = 9*o - o. Is o a multiple of 28?
True
Let t(o) = 16*o**2 - 35*o - 39. Let d(s) = 3*s**2 - 7*s - 8. Let g(q) = 11*d(q) - 2*t(q). Does 3 divide g(9)?
False
Suppose 2*f - 5*o - 15 = 4*f, -6 = 2*f + 2*o. Suppose -k - 5*n - 14 = -3*k, -3*k - 3*n = 0. Suppose f = -k*q + 7*q - 235. Does 17 divide q?
False
Let p = 37 + -22. Suppose s - p = 8. Is s a multiple of 19?
False
Is (8*-1)/(10/(-45)) a multiple of 9?
True
Let p(h) = -17*h - 16. Is 31 a factor of p(-10)?
False
Let j(z) = -z**3 - 2*z**2 + z + 4. Let h be j(3). Let n(f) = 31*f + 2. Let d be n(2). Let a = h + d. Is 12 a factor of a?
False
Let i(j) = -5*j**3 - 2*j**2 + j + 5. Is 5 a factor of i(-2)?
True
Let d = -176 + 331. Is d a multiple of 15?
False
Let r(u) = 4*u**2 + 6*u - 11. Is r(-6) a multiple of 20?
False
Suppose -15*c = -8*c - 3472. Is c a multiple of 20?
False
Let k(o) = -o**2 + 4*o + 5. Let v be k(4). Let g = -3 + v. Suppose 0 = 5*l - 2*l + 4*c - 51, -g*l - 5*c = -41. Is 13 a factor of l?
True
Let m = 374 - 37. Does 55 divide m?
False
Suppose 22 = x + 5. Does 3 divide x?
False
Let r(l) = 0 - 3*l - 5 - 2*l + 16*l. Is 18 a factor of r(4)?
False
Suppose -3*l - q = 4, 4*q - 3*q = -4*l - 7. Let u = -1 - l. Suppose -u = x - 6. Is 2 a factor of x?
True
Let m(u) = 1 - 6*u - 9 + u**3 + 0*u**3 - 8*u**2. Let z(w) = w**2 + w - 1. Let c(y) = m(y) + z(y). Is c(8) a multiple of 8?
False
Suppose 11 = 5*v - 9. Suppose v*k = -4*q - 10 - 58, -3*q = -3*k + 81. Does 19 divide (-3)/((-9)/(-6))*q?
False
Suppose -9 = 4*b - b. Is 6 a factor of -4*(b - (-2)/4)?
False
Let x(u) be the third derivative of -u**7/5040 + u**6/60 - u**5/60 - u**2. Let a(n) be the third derivative of x(n). Is a(0) a multiple of 6?
True
Let z(v) = -v**3 - 6*v**2 + 9*v + 10. Let h be z(-7). Is 10 a factor of (-81)/h + 1/(-4)?
True
Suppose 7*f = -5*f + 1056. Is f a multiple of 22?
True
Suppose -10 = -2*m, 0 = -0*d - 2*d - 2*m + 34. Is 8 a factor of d?
False
Let i = 40 - 16. Let y = i + -39. Does 16 divide 2/(-2) - (y - 2)?
True
Suppose 0*f - 30 = f. Let n = f - -20. Is 15 a factor of (-404)/n + 6/(-15)?
False
Suppose 3*m - 8 = -2*j, 0 = -4*m - 5*j + 18 - 5. Let z be 2 + (5 + -1)/m. Is 16 a factor of ((-16)/(-6))/z*24?
True
Let k(s) = -s**3 + 11*s**2 + 4*s + 8. Let p be k(11). Suppose -m + p = m. Is m a multiple of 13?
True
Suppose -4*f - 2*u = -60, -5*f + 2*f = -4*u - 34. Is (-4)/f + 284/14 a multiple of 10?
True
Let k = -3 - -5. Suppose 0 = -k*j - 2*s + 2, -6 = -3*j + s - 3. Does 3 divide (j - -9) + 1*-2?
False
Let z = -45 - -65. Suppose -z + 4 = -2*r. Does 4 divide r?
True
Suppose -g = -4*f + 108, -g - 44 = -2*f - 3*g. Is f a multiple of 19?
False
Suppose 2*d = 3*y - 8*y + 755, -3*y - d = -453. Does 19 divide y?
False
Let n = -95 + 145. Does 9 divide ((-360)/n)/((-1)/5)?
True
Suppose 636 + 336 = 6*r. Is 27 a factor of r?
True
Suppose 0*o = 4*y + o + 22, 0 = -3*y - 5*o - 25. Let k = y + 8. Suppose 3*u + h - 13 = 0, k*h - 5*h = -u + 2. Is u a multiple of 4?
True
Let q(b) = b**3 + 2*b**2 - 4*b + 2. Let m be q(3). Suppose d - m = -4*d + 5*t, 3*d = -5*t + 45. Does 13 divide 402/d - (-2)/(-10)?
False
Suppose 3*b - n = -138, -b - 3*n - n = 33. Does 11 divide 10/b - (-353)/9?
False
Let y be 12/(-42) + (-270)/(-14). Suppose 2*q - 41 = y. Suppose -q = -4*b + b. Is b a multiple of 10?
True
Let m = 28 + 20. Is 4 a factor of m?
True
Suppose 8*i - 990 = 2*i. Does 9 divide i?
False
Let b(g) = g**2 + 7*g + 1. Is b(-8) a multiple of 9?
True
Suppose 27 = -g - 2*m + 8, -4*g + 3*m - 21 = 0. Let k = 14 + g. Is 4 a factor of k?
False
Let u(c) = 2*c**2 + 2*c + 9. Does 19 divide u(-5)?
False
Let g be (2 + 24/(-15))*5. Let v(j) = 14*j + 3*j**2 - 7*j + 7 - 4*j**g + 5*j. Is v(12) a multiple of 7?
True
Let t = 8 - 8. Suppose t = 3*r - 68 + 8. Is 15 a factor of r?
False
Suppose w = -i - 39 + 278, 0 = -4*w - 8. Is 12 a factor of i?
False
Let i be (192 + -18)/(2/(-11)). Is 29 a factor of ((-2)/3)/(22/i)?
True
Let h(l) = l**2 - 18*l + 11. Is h(20) a multiple of 17?
True
Suppose 0 = 2*u - 113 + 35. Let w = 7 + -5. Suppose -u = -a - w*a. Does 7 divide a?
False
Let t(h) = -h - 1. Let c be t(-4). Suppose 0*n - 30 = -5*l - n, -l - c*n = -20. Suppose 147 = 5*q - d, -93 = -l*q + 2*q + 3*d. Is q a multiple of 12?
False
Let a(u) = u**2 + 2*u - 4. Suppose 3*h = 4*h - 2. Suppose 2*i + 14 = h. Is 9 a factor of a(i)?
False
Let t(c) = 5*c**2 - c - 1. Let w(a) = -a**3 + 6*a**2 + 6*a + 7. Let n be w(7). Suppose n = v - 2. Does 8 divide t(v)?
False
Let w = 2 + 1. Let y = -3 + w. Suppose -2*f + 0*f + 54 = y. Is f a multiple of 12?
False
Let d(l) = -l**2 - 6*l + 7. Let j be d(-7). Suppose n - 40 = -j*n. Suppose o - n = -3*o. Does 5 divide o?
True
Let d = 35 + 6. Does 18 divide d?
False
Suppose 3*p - 1 = -i - 0*p, -2*i + 2 = -4*p. Let f(u) = 46*u**3 - u**2. Let z be f(i). Suppose -g + z = 4*j + 2*g, -2*j - 5*g = -33. Is j a multiple of 7?
False
Suppose 7 = -5*b - 13, -2*a + 174 = b. Suppose -a - 66 = -5*c. Is 21 a factor of c?
False
Let g(o) = -o - 1 - o - 5 + 8*o**3 - 2. Let i(a) = 1. Let c(b) = -g(b) - 6*i(b). Does 24 divide c(-2)?
False
Let a(k) = k**3 + 8*k**2 - 12*k - 6. Let m be a(-9). Suppose -h - m = 2*h. Let t = 23 - h. Is 13 a factor of t?
False
Suppose -5*i + 5 = -70. Let w(o) = 4*o**2 - 3*o - 4. Let c be w(-3). Let t = c - i. Is t a multiple of 13?
True
Let y = 4 - 2. Suppose 27 + 35 = y*o. Does 7 divide o?
False
Let d = 56 + 95. Does 20 divide d?
False
Suppose 5*c - 109 = -3*b + 8, -2*b = 4*c - 92. Is 8 a factor of c?
False
Suppose -5*r + 2*n - 6*n + 23 = 0, 2 = n. Suppose 8 = -z + 3*w, -2*z - 2*w = 2*w - 24. Suppose p = -z*c + 22, -p = -r*c - 0*c + 6. Is p a multiple of 6?
True
Let s(i) = i**3 + 7*i**2 + 7*i + 9. Let q be s(-6). Suppose -2*l - q*h + 51 = 0, -4*h = -4*l + 5 + 147. Is 11 a factor of l?
True
Let y(s) = -2*s - 5. Suppose 4*h + 5*v - 16 = v, 2*v = 3*h - 17. Let t be y(h). Does 9 divide (-10 - -1)*40/t?
False
Suppose 4*v = -10 - 110. Let u = v - -56. Does 10 divide u?
False
Let l be (-1)/(0 - 1/1). Let x be 5*12/l - 0. Is 8 a factor of ((-12)/5)/((-8)/x)?
False
Let h(o) = o**2 - 5*o + 3. Let w be h(7). Is 15 a factor of w*-2*(-3)/6?
False
Let c = 172 + -42. Does 19 divide c?
False
Let u(r) = -r**2 + 10*r - 11. Let v be u(9). Let t be (v + -1)/(1/(-2)). Is ((-12)/8)/(t/(-176)) a multiple of 22?
True
Let a be 6/4 - 1/(-2). Suppose -w - a*z + 1 = -2, 5*w - 4*z = 15. Let h(u) = 2*u**2 - 3*u + 2. Does 11 divide h(w)?
True
Suppose 5*v - 13 = -3. Suppose v*d - 128 = -2*d. Does 16 divide d?
True
Suppose -3*i + 279 = 3*n, -3*i - 4*n + 2*n = -274. Is 11 a factor of i?
True
Suppose 2*a = -a. Let r be 12/3 - (a + 2). Suppose -r*i = i - 66. Is i a multiple of 11?
True
Let o be (-3 - -7)*18/4. Suppose -i = -o + 4. Is i a multiple of 7?
True
Let l = 26 - 14. Let q be (1 - l)*1*1. Let u = -5 - q. Does 6 divide u?
True
Let a = 70 + -38. Is 8 a factor of a?
True
Let c be ((-2)/(-6))/((-1)/3). Let i = 1 - c. Suppose -g + 5*v = -33, -2*g + 7 = i*v + 1. Is 7 a factor of g?
False
Let b(z) = 14*z**2 + 2*z + 3. Does 15 divide b(-1)?
True
Let u be 2/(-5)*(-1 - -6). Let s be ((-261)/6)/(-3)*u. Let p = s - -62. Does 11 divide p?
True
Let p = -6 - -9. Suppose 2*a - 20 = -p*a. Suppose -a*c - 42 = -2*y, 0 + 4 = -2*c. Does 12 divide y?
False
Let j be (3 - -1)*(-6)/(-8). Suppose 0*f - 28 = -2*f + 2*i, f = j*i + 8. Is 10 a factor of f?
False
Suppose 30 = s + s. Let t(k) = k - 3. Let q be t(7). Suppose 