110, -3*a - d + 8 = -r. Is a a multiple of 28?
False
Let w(n) be the first derivative of 1/4*n**4 - 2/3*n**3 - 1/2*n**2 + 2*n + 1. Does 15 divide w(4)?
True
Suppose 2*m - 5*m = 4*z - 22, -4*m = -3*z - 21. Does 3 divide m?
True
Let l(n) = -2*n + 5. Let y be l(4). Let k be (y/(-5))/((-2)/(-90)). Suppose 4*p = -16 + 4, 0 = 4*v + 3*p - k. Is 4 a factor of v?
False
Suppose -c = -4*x - 150, -200 - 84 = -2*c + 4*x. Is 30 a factor of c?
False
Let g(c) = 13*c**2 - c - 1. Is 7 a factor of g(2)?
True
Let a(j) = -3*j + 16. Let m be a(7). Is 23 a factor of 23 - (-2 - m - 3)?
True
Let p(u) = u**2 - 10*u - 3. Let d be p(11). Suppose d*s = 4*s + 140. Does 19 divide s?
False
Let p(a) = -38*a + 1. Let k be p(-2). Suppose 3*s - 23 + 5 = -j, -5*j - 4*s + 35 = 0. Suppose -j*x - 3*b = -8 - 43, 0 = 5*x - 3*b - k. Is 6 a factor of x?
False
Suppose 4*z + 1 = y + 4, 0 = -2*z + 4. Is 5 a factor of y?
True
Suppose -2*a + 2*m = -a - 26, -4*m + 92 = 4*a. Is 4 a factor of a?
True
Suppose b + 0*b - 4*z = 19, -5 = z. Let i = 5 - 1. Let g = b + i. Does 3 divide g?
True
Let i(l) = l**3 + 15*l**2 + 6*l + 11. Is 15 a factor of i(-14)?
False
Suppose a + o = 3, -5*o + 10 = -4*a - 5. Suppose -2*p = -a*p - 2. Let x(m) = 16*m**2 + 1. Does 10 divide x(p)?
False
Let f be (-2*5)/((-10)/(-20)). Let j = 82 + f. Is 31 a factor of j?
True
Suppose 3*d - 20 = -2*d, 18 = 2*g + 2*d. Suppose 0 = -g*t + 2*t + 84. Does 14 divide t?
True
Suppose 3*i - 4*x + 7 = 0, i + 0*x - 3*x + 9 = 0. Let n(l) = -4*l**2 + 0*l - l**3 + i*l + 3 + 2*l. Is n(-5) a multiple of 3?
True
Suppose -5*g - 111 = -871. Suppose 5*x - x = g. Suppose 146 = 4*w + x. Does 11 divide w?
False
Suppose d = -3*m - d - 38, 6 = 3*d. Let u(p) = -p**2 + 4*p + 1. Let l be u(-4). Let h = m - l. Does 8 divide h?
False
Let d(a) = 3*a**3 + 3*a**2 - 3*a. Let x be 0/(-3) + (3 - 1). Is d(x) a multiple of 12?
False
Let a(t) = 8*t + 1. Suppose -2*j = -0 - 2. Does 9 divide a(j)?
True
Suppose 0 = -2*w - 0*w + 12. Suppose -32 - 85 = -3*i. Let j = i - w. Is 10 a factor of j?
False
Let y = -6 + 6. Suppose 4*s - s - 39 = y. Does 6 divide s?
False
Let y(h) = -h**3 + 8*h**2 + 2. Let c be y(8). Let q be 3 - ((-1254)/(-2))/(-3). Suppose 0 = -c*t + i + 90, 4*t + 4*i = -t + q. Is 19 a factor of t?
False
Let z(u) = u**2 - u + 18. Does 9 divide z(0)?
True
Let w(p) = p**2 + 2*p + 3. Let t be w(-2). Suppose 6*x + t*r = 2*x, 5*x + 3*r = 0. Suppose x*u = -2*u + 14. Is u a multiple of 4?
False
Suppose 2 = v - 1. Suppose -2*u = v*q - 106, 3*u - 5*q = 7*u - 210. Is 24 a factor of u?
False
Let b = -76 + 161. Is 17 a factor of b?
True
Suppose -2*m - 5*b + 24 = 0, 2*m + 3*b = 6*m - 22. Suppose -41 = -4*j + m. Let h = j - 4. Is h a multiple of 6?
False
Let m = -9 + 5. Let y = 8 - m. Suppose -6*r + y = 2*q - r, 4*r = -16. Does 8 divide q?
True
Is 2/12 - 107/(-6) a multiple of 6?
True
Let n(v) = -2*v + 2. Suppose 0*c - 25 = 5*c. Is 12 a factor of n(c)?
True
Let q(u) = 23*u**3 - 2*u**2 + u. Does 22 divide q(1)?
True
Let l = -125 - -45. Let f = 199 + l. Suppose 9 + f = 4*s. Is s a multiple of 14?
False
Let i = 118 + -79. Does 5 divide i?
False
Is 14/(-4)*52/(-7) a multiple of 25?
False
Does 13 divide ((-10)/4)/(4/(-24))?
False
Let c(s) = 5*s**3. Let r be c(1). Suppose -r*j + 9 = -16. Does 3 divide j?
False
Suppose 2*g = 140 + 48. Let h = g + 3. Is 27 a factor of h?
False
Let x(v) = 2*v**2 + 5*v + 17. Does 15 divide x(-8)?
True
Let d = 2 + -3. Let f = -2 - d. Does 4 divide (-69)/(-9) + f/(-3)?
True
Let t = 40 + -13. Does 9 divide t?
True
Suppose -5*s - 15 = -10*s. Suppose 0 = u + s*q - 35, 5*u + 5*q + 81 = 266. Does 19 divide u?
True
Let t = -20 - -40. Let w = 35 - t. Is w a multiple of 11?
False
Let s(u) = u**3 + 7*u**2 + 3*u - 7. Suppose -5*i + 55 = 5*h, 0 = -3*i - 5*h + 17 + 26. Let f(l) = -l**3 + 5*l**2 + 4*l + 6. Let a be f(i). Does 11 divide s(a)?
True
Let k(n) = n**3 + 11*n**2 + 8*n + 2. Is k(-10) a multiple of 13?
False
Let x be 1/3 - 1/3. Suppose -2*t + t + 99 = x. Suppose 4*k = -2*g + 13 + 9, 0 = -5*g + k + t. Is 9 a factor of g?
False
Suppose -2*k - 3*d = -4*k + 31, -4*k - d = -69. Let j = k - 7. Is j a multiple of 10?
True
Let r(b) = b**2 - 2*b. Let p be r(2). Suppose -5*i - 2*l + 12 = 0, 5*i + l + 0*l - 16 = p. Suppose 4*o + 20 = i*t + o, 2*t - o - 10 = 0. Is t a multiple of 5?
True
Let t = 242 - 67. Let r = -120 + t. Is r a multiple of 13?
False
Suppose -4*r + 91 - 7 = 0. Is 4/14 + 687/r a multiple of 11?
True
Let k(g) = -g**2 - 2*g + 61. Is 18 a factor of k(0)?
False
Let a = 1451 - 867. Suppose 3*b + 176 = a. Suppose -4*u + 3*k = -b, -u + 9*k = 4*k - 34. Is 17 a factor of u?
True
Let k be (1 + 2)/(3/4). Let p(l) = l**3 + 6*l**2 + 4*l - 5. Let y be p(-5). Suppose y = -0*z + k*z - 16. Is 2 a factor of z?
True
Suppose 10 = 3*j - j. Suppose -4*g = -j*g + 46. Is 23 a factor of g?
True
Let d be 2/(-8) - (-17)/4. Suppose -d*w = -s - 232, 0*w + 5*s - 58 = -w. Is w a multiple of 14?
False
Suppose 0 = n + b - 109, 2*n + n = 3*b + 321. Does 35 divide n?
False
Let i be (-2)/(-4) + (-20)/(-8). Suppose j - i*h - 7 = 0, 11 = 4*j + h + 4*h. Suppose 0*o + j = o. Does 2 divide o?
True
Suppose -196 = -5*u - 661. Let k = u - -166. Does 19 divide k?
False
Suppose 0 = 6*h - 9 - 33. Does 7 divide h?
True
Let z = 34 + 74. Is 23 a factor of z?
False
Suppose 0 = 5*n + 3*z - 70 - 90, -5*n + 125 = -4*z. Is n a multiple of 13?
False
Let u be (57/15 + -3)*-10. Let w(f) = -f**3 - 8*f**2 + 8*f + 12. Let a be w(u). Is a/(-12) - (-1)/(-3) a multiple of 2?
True
Let p = 250 - -20. Does 25 divide p?
False
Suppose 0 = -w + 4*w + 3*b - 48, 17 = w + 2*b. Is w a multiple of 3?
True
Does 8 divide (158/4)/((-11)/(-22))?
False
Let o = 82 - 22. Does 12 divide o?
True
Suppose -9 = -0*z - z. Is z even?
False
Let y(t) = -4 + 2*t - 8*t + 0. Let a be y(5). Is a/(2/4*-4) a multiple of 13?
False
Let l(f) be the second derivative of f**8/3360 - f**7/504 + f**6/240 + f**5/60 - f**4/12 - 2*f. Let z(k) be the third derivative of l(k). Does 8 divide z(3)?
False
Let q = 4 - -19. Let z = -5 + q. Does 18 divide z?
True
Does 7 divide (1 - 22/(-6))/((-96)/(-144))?
True
Let k(r) = r**3 + 5*r**2 - 6*r + 1. Let f be k(-6). Let t = 34 + f. Does 21 divide t?
False
Suppose -2*b + 11 = -5*j - 46, -b = -1. Let w = 19 + j. Does 6 divide w?
False
Let b be 12/(-30) - 384/(-10). Suppose -b - 52 = -2*z - g, 4 = -2*g. Is 23 a factor of z?
True
Let q(c) = -c - 10. Let t be q(-6). Suppose 5*d + 0*o - 111 = -o, -o + 1 = 0. Is 17 a factor of 453/11 + t/d?
False
Suppose 3*b + 3*l = 171, 3*l = b + l - 51. Suppose -7*f + b = -2*f. Is f a multiple of 7?
False
Let j = 27 + -23. Suppose -2*x + z + 128 = 2*z, z - 260 = -j*x. Is 11 a factor of x?
True
Let d(r) = -r + 4. Let z be d(2). Let j(f) = 2*f**2 - f + 3. Let k be j(4). Suppose -z*p + k + 35 = 0. Is p a multiple of 13?
False
Let b(o) = o**2 + 12*o - 12. Let q be b(-13). Let k be (-2)/(6/(-21))*q. Suppose -5*x + k = -68. Does 4 divide x?
False
Does 14 divide -2 + (6 - 4) - -48?
False
Let a(d) = 0*d - 2*d + 5*d**2 - d**3 + 0*d + 2. Let r be a(4). Let i = 22 - r. Is 4 a factor of i?
True
Suppose 0 = -q + 20 - 3. Suppose 2*o = 65 - q. Is 10 a factor of o?
False
Let y(k) = k**3 + 16*k**2 + 10*k - 21. Does 9 divide y(-15)?
True
Let a(d) = -d**3 + 6*d**2 - d. Let h be a(5). Suppose 3*v - 4*y - y = -5, -v - y = -9. Suppose 0*n + 50 = v*q + 5*n, -h = -2*q + 3*n. Does 5 divide q?
True
Let g be (-267 + 1)*1/(-2). Suppose -g = -3*i + 53. Let u = i - 32. Is 15 a factor of u?
True
Does 12 divide (-34912)/(-224) - 1/(-7)?
True
Let v(q) = 3*q**2 - 9*q - 2*q**2 - 2*q**2. Let y be v(-9). Suppose -3*j = -y*j - 12. Is j a multiple of 3?
False
Let i = -810 + 550. Let w(a) = 2*a + 2. Let d be w(-4). Does 13 divide i/(-15)*d/(-4)?
True
Let r = 13 + -12. Is 38 + 0 + r + -2 a multiple of 11?
False
Is (-1)/2 + (-1107)/(-6) a multiple of 46?
True
Let d(u) = u**3 - 6*u**2 - 7*u - 7. Let h be d(7). Let r be (-1 - h)*(-8)/(-16). Suppose -r*c - 2*c + 35 = 0. Is c a multiple of 5?
False
Let n(u) = u**3 - u. Let k be n(4). Let s = k + -36. Is s a multiple of 10?
False
Let i be (-2)/(7/((-28)/(-8))). Is 6 a factor of (3 + i*33)/(-1)?
True
Let i = 94 + -49. Is 9 a factor of i?
True
Let j = 10 - 10. Suppose j = -4*c + 6*c. Suppose 2*q = -3*b + 132, q = -c*b + b - 39. Is b a multiple of 14?
True
Suppose 0*l + 4 = l. Suppose 5*