**3 - 7*p**2 - 10*p - 4. Let v(w) = 5*g(w) - 2*z(w). Is 7 a factor of v(-6)?
False
Let z(l) = -6*l**2 + 8*l - 3. Let o(d) = d**2 + d + 1. Let w(k) = -5*o(k) - z(k). Does 3 divide w(14)?
True
Let u = -7 + 15. Is 7 a factor of u?
False
Let s(d) = 2*d**2 - 7*d - 1. Let g(x) = -x + 2. Let r be g(2). Let h = r - -5. Is 14 a factor of s(h)?
True
Let u(b) = -b**3 + 8*b**2 + 3*b + 8. Let f be u(8). Let m be f/(-12)*(-6 + 0). Suppose z - 3*z = -m. Is z a multiple of 8?
True
Suppose c - 4*o = -37, 3*o = -c - 51 - 0. Let q = 18 - c. Is q a multiple of 21?
True
Let w(c) be the third derivative of -1/2*c**3 + 0 + 1/60*c**6 - 1/60*c**5 + 1/8*c**4 + c**2 + 0*c. Does 13 divide w(2)?
False
Let m be 0 + 2 + (-4 - -6). Suppose -m*k + 2*h + 16 = 0, -3*h = -3*k + 2*k + 4. Suppose k*i - 36 = 44. Is i a multiple of 10?
True
Let c = 6 + -7. Is 3 - (-19 + (-3)/c) a multiple of 7?
False
Let y = 314 + -206. Is 9 a factor of y?
True
Let p(v) = v + 1. Let y be p(1). Let b = y + -6. Is 54/(-1)*2/b a multiple of 11?
False
Let g(l) = -l - 6. Let w be g(-5). Let c = -4 - -5. Is 10 a factor of 20 + c + (1 - w)?
False
Suppose g + 21 = -2*a + 76, 0 = -3*g - 5*a + 160. Is g a multiple of 16?
False
Suppose 0*x + 3*x + 2*u - 4 = 0, -3*x = -3*u - 9. Suppose f - 3*z = -9, -4*f + 7*f + 9 = 3*z. Suppose x*v + 64 = 2*q - 2*v, q + 4*v - 20 = f. Does 15 divide q?
False
Does 20 divide (-1050)/(-28) + 1/(-2)?
False
Let r(w) = w**3 + 18*w**2 - 13*w - 32. Is r(-18) a multiple of 21?
False
Let b be (-2)/4 + 11/22. Suppose 10 = 2*u - i, -2*u + b*i = 5*i - 10. Is u a multiple of 4?
False
Let b = 210 + -76. Let h = -91 + b. Is 12 a factor of h?
False
Let w be 3 - (0 - (1 + -2)). Let a be 6/(-18) + (-10)/(-3). Suppose a*d - 93 = 3*k, 0 = 6*d - w*d + 5*k - 115. Is d a multiple of 15?
True
Suppose -2*b + 210 = 5*n + 3*b, 2*n = 5*b + 119. Does 6 divide n?
False
Suppose 0 = -3*w - g + 630, -2*w + 7*g + 412 = 5*g. Is 32 a factor of w?
False
Is (39/26)/(2/48) a multiple of 9?
True
Suppose y + 2 = -2*x + 17, 0 = -5*x + 15. Does 3 divide y?
True
Suppose 0 = -23*q + 19*q + 1088. Is q a multiple of 16?
True
Suppose -2 + 3 = c. Suppose 4*w = 23 + c. Is w a multiple of 2?
True
Suppose 5*f - 192 = -2. Does 17 divide f?
False
Let h be 1/(2/(-108)*-3). Suppose y - h = 12. Does 11 divide y?
False
Let l = 7 + -5. Suppose 0 = -0*m - l*m - 30. Let r = m - -21. Does 3 divide r?
True
Let i = 155 + -100. Let s = i + -13. Is s a multiple of 14?
True
Let r be (-2)/(-6) - 95/(-3). Suppose -3*k - 5*q + 6 = -2*q, 2*k + 4*q = 2. Suppose r + 43 = k*a. Is 12 a factor of a?
False
Suppose 0*d + 540 = 5*d. Suppose 3*i = -i + d. Is 9 a factor of i?
True
Let j be 2/6 + (-6)/(-9). Is 5 a factor of (2/(-3) + j)*57?
False
Suppose -46 = -4*x + 4*n - 6, 0 = -4*x + 5*n + 42. Is 7 a factor of x?
False
Let s = -2 - -23. Does 2 divide s?
False
Let m = 15 + -19. Is 4 a factor of (-6)/m - (-5)/2?
True
Suppose -3*o - 2*s + 2 = -o, 0 = 2*o - s + 10. Let v(k) = -k - 1. Let b(i) = -17*i + 1. Let w(u) = b(u) - 3*v(u). Does 23 divide w(o)?
True
Let u = -18 + 101. Does 16 divide u?
False
Let h(a) = -2*a**2 + 1 + a**3 - 3*a - 2*a**3 + 5*a. Let z be h(-3). Suppose -4*g + 2*k + 17 = -57, -3*k + 69 = z*g. Is 9 a factor of g?
True
Suppose -3*b + 2 = -2*b. Suppose -3*t - 2*y - 2*y = -121, -b*t + 3*y = -75. Is 11 a factor of t?
False
Let m be (-30)/12*(-4)/5. Suppose 50 = 4*f - m. Does 8 divide f?
False
Suppose 9*z - 290 = 4*z. Is z a multiple of 4?
False
Let n = -1 - -3. Suppose -2*t - n = r + 8, 0 = -t + 4*r + 4. Is t*3/14*-7 a multiple of 3?
True
Is 4 a factor of 579/12 + (-1)/(0 + 4)?
True
Is -4 - (2 + 3 + -21) a multiple of 3?
True
Let p(w) = w**2 + 2*w + 1. Let n be p(2). Suppose y - 3*c = 12 + 2, 3*c + n = 0. Is 5 a factor of y?
True
Suppose -5*r + t = 5*t - 3, 3*t = -5*r + 6. Is r a multiple of 3?
True
Suppose h + 81 = 4*w - 3*w, 5*h - 93 = -w. Is w a multiple of 19?
False
Let t = 14 + -38. Let x = -18 - t. Does 2 divide x?
True
Let k(w) = w**3 + 6*w**2 - 7*w - 2. Let s be k(-7). Let m be s*(9/(-2) + 2). Suppose -z + 11 = -5*i + 35, 5*z + 40 = m*i. Does 3 divide i?
False
Suppose 5*p = -4*y + 64, -5*p + y + 59 = -0*y. Let n = p - -10. Does 22 divide n?
True
Let w(r) = -r - 1. Let p be w(-3). Suppose -y + 69 = p*y. Is y a multiple of 17?
False
Suppose -11 = -4*n + 5. Let s(r) = 4*r**2 - 5*r - 13. Let c(x) = 3*x**2 - 4*x - 14. Let z(k) = n*s(k) - 5*c(k). Does 9 divide z(0)?
True
Suppose 2*b - 102 = 10. Is 11 a factor of b?
False
Let w(u) = 48*u - 3. Is w(2) a multiple of 30?
False
Let l(o) = -1 - 12*o + 1 + 0. Does 6 divide l(-1)?
True
Let c be -2 - -2 - 16/(-4). Suppose -14 - c = -2*a. Let n = a + 0. Is n a multiple of 7?
False
Let q be ((-2)/(-4))/(3/18). Suppose 2*p + 10 = 0, 3*k + 4*p + q = p. Is k even?
True
Let p(l) = 7*l**2 + 5*l - 2. Is p(2) a multiple of 12?
True
Let s(b) = b + 4. Let h be s(-9). Let l = 31 - h. Is 18 a factor of l?
True
Let m = 16 - -19. Is 10 a factor of m?
False
Let b(w) be the third derivative of 5*w**4/24 + 2*w**2. Let s be b(-1). Let q = s - -8. Is q even?
False
Let g(c) be the second derivative of -c**4/12 + 4*c**3/3 + 3*c**2 + 3*c. Is 13 a factor of g(7)?
True
Suppose -5*n + 20 - 5 = 0. Suppose 47 = z + 3*w, -n*z - 5*w - 66 = -227. Let a = -32 + z. Is 15 a factor of a?
True
Let v(g) = 2*g**2 + 4*g - 2. Let z(l) = 0*l - l - 1 + 13. Let o be z(9). Is v(o) a multiple of 14?
True
Let l = 81 + -44. Let q = l + -23. Let z = -4 + q. Is 4 a factor of z?
False
Suppose d + 21 = -3*s + 4*d, 3*d + 6 = 0. Let y(t) = -t**2 - 10*t + 12. Is y(s) a multiple of 11?
False
Let h(x) = x**2 - 11*x - 15. Let b be h(12). Let d be b/(-2)*2/(-3). Does 12 divide d*2 + (5 - -25)?
False
Let o(f) = 2*f**3 - 16*f**2 + 10*f. Is 18 a factor of o(8)?
False
Let i(n) be the first derivative of -n - 11/2*n**2 + 3. Is i(-1) a multiple of 10?
True
Let b = -5 + 9. Let t = 1 + b. Is t a multiple of 2?
False
Suppose 0 = 4*t - 0*t - 20. Suppose 6*r = 4*r - t*q + 58, 3*q - 144 = -4*r. Is r a multiple of 7?
False
Is 16 a factor of 1054/6 + (-1)/(-12)*4?
True
Does 24 divide 1 - -1 - ((2 - 2) + -166)?
True
Let t be (-2)/3 - (-265)/(-3). Let h = t - -176. Is h a multiple of 27?
False
Suppose 0 = -2*u + j + 87, 4*u - 4*j - 100 - 76 = 0. Does 12 divide u?
False
Suppose 5*o = 2*o + 18. Suppose 3*t - o = 6*t. Is 8/(-10)*85/t a multiple of 14?
False
Let v(x) = x**3 - 9*x**2 + 7*x + 7. Let z be v(8). Is z/(-2) + 440/16 a multiple of 14?
True
Let y(v) = -2*v - 5. Let f be y(-4). Suppose 6*q - 4*q + z + f = 0, -2*q + 15 = -5*z. Suppose -l + 11 = -q*l. Does 11 divide l?
True
Let v be (2/3)/((-2)/(-15)). Let q be 2 - v/(5/2). Let b = q + 4. Is 2 a factor of b?
True
Let g = -36 + 76. Suppose -5*h - 78 = -3*s, -5*s + 3*h = -25 - 105. Let t = g - s. Does 6 divide t?
False
Let b(c) = -c**2 + 2*c + 2. Let r be b(2). Let k be 2/(-8) - 129/(-4). Suppose -r*x = -16 - k. Does 12 divide x?
True
Is 5 a factor of (-425)/10*((-3)/(-15) - 1)?
False
Let o(b) = -b**3 + 9*b**2 - 10*b + 9. Let d be o(8). Let n = 12 + d. Does 2 divide n?
False
Let c = -22 + 107. Suppose -5*m + 0*m = -c. Does 17 divide m?
True
Let l = 32 + 111. Suppose v - 20 = 2*a + 11, -4*a = 3*v - l. Is v a multiple of 14?
False
Is ((-2)/6)/((-4)/156) a multiple of 9?
False
Let v = 15 - 7. Let h = -4 - -6. Let z = v - h. Is 3 a factor of z?
True
Suppose -5*p + 4*q = 3*q - 50, 40 = 4*p - 5*q. Let n = 14 - p. Suppose 0 = 5*v - n*g - 27, -2*v + 4*g = -3*v + 15. Is v a multiple of 7?
True
Suppose 2*k - 18 = 2*c, 2*k = 6*k + c - 11. Suppose 20 = v + 2*v - 2*h, h - 12 = -k*v. Suppose v = -w + 13. Is w a multiple of 9?
True
Let n = -79 - -112. Is n a multiple of 33?
True
Let a be 6/(-9) - (-118)/6. Suppose -3*c = -2*c - a. Is c a multiple of 19?
True
Let a = -1 + -5. Let l be a + 8 - (-15 + 0). Let n = l + -8. Does 4 divide n?
False
Let v(r) = -17*r - 36. Is 13 a factor of v(-9)?
True
Let v(k) = -k**2 - 6*k - 2. Let d be v(-4). Suppose -2*p + d = -44. Is p a multiple of 8?
False
Suppose 134 = -3*n + 494. Does 20 divide n?
True
Let c(p) = 3*p**2 - 8*p + 9. Let u be c(6). Is 23 a factor of ((-12)/(-18))/(2/u)?
True
Let d = -43 + 52. Does 4 divide d?
False
Let v(n) = 44*n**3 - n. Let t be v(1). Let x = -12 + t. Is x a multiple of 17?
False
Suppose -105 = 3*i - 4*i. Let p = -51 + i. Is p a multiple of 18?
True
Suppose 0 = b + 5, -