divide w(-7)?
False
Suppose 332 = -5*a + 12. Let d = -44 - a. Is d a multiple of 20?
True
Let h = -3 - -1. Is 14 a factor of 23/h*(-2 + 0)?
False
Let k = 5 + 3. Let i = k - 1. Is 3 a factor of i?
False
Suppose 0 = 5*h - 2*y - 68, -4*h = -4*y + 3*y - 52. Suppose -10 - h = -j. Does 8 divide j?
False
Let r = 12 + -4. Is r a multiple of 4?
True
Suppose -2*h - 14 = -3*h + 2*z, -10 = 2*z. Let g(o) = o**3 - 3*o**2 - 4*o + 4. Let w be g(h). Suppose -p = w*p - 50. Is p a multiple of 5?
True
Suppose 0 = g - 64 + 4. Suppose -5*p + 14 = j, -5*j + 30 + g = 5*p. Suppose n = j + 7. Is 13 a factor of n?
True
Suppose -5*u + 11 = 2*y, -2*y = y + 2*u. Let j = y - -18. Is 8 a factor of j?
True
Let i(a) be the second derivative of -a**5/20 + 3*a**4/4 + a**3/2 + 13*a**2/2 - 3*a. Let g be i(9). Suppose t = 5*t - g. Does 5 divide t?
True
Let l(w) = -3*w + 21. Is 26 a factor of l(-19)?
True
Let x(k) be the first derivative of 5*k - 3 + 1/3*k**3 + 2*k**2. Is x(-4) a multiple of 3?
False
Let i = 4 - 3. Suppose -i = -j - 0. Does 14 divide j*13 - (-2)/2?
True
Let j = 6 - 12. Let s(k) = k**2 + k - 5. Let o be s(j). Let w = o + -3. Does 6 divide w?
False
Does 4 divide 2/6 + 3/(27/132)?
False
Let y = -16 - -21. Does 5 divide y?
True
Suppose -4*k - f + 7 = 0, 2*k = 3*f + f + 8. Let j = -5 + k. Does 8 divide (-5 + 8)/(j/(-8))?
True
Let v(l) = -l**3 + 5*l**2 + 4*l. Is v(-3) a multiple of 20?
True
Suppose -g + 14 = -2*s, -2*g + s - 17 = 6*s. Suppose g*h + 12 = n, -3*h + 3*n - 7 - 2 = 0. Let b = h + 9. Is b a multiple of 6?
True
Let g(r) = r**2 - 6*r + 2. Let w be g(5). Is 6 a factor of 12 + -1 + (-3 - w)?
False
Let i = 28 - -3. Does 31 divide i?
True
Suppose 4*h + 0*h - 176 = 0. Is 22 a factor of h?
True
Let k = 49 - -149. Suppose 2*f = -f + k. Is f a multiple of 22?
True
Let v(i) = 5*i + 16. Let w be v(-7). Does 21 divide 6/(-3)*(1 + w)?
False
Suppose -5*q = 2*a - 234, 2*a - 204 = -4*q + 6*a. Suppose 2*g = -2*g + q. Is g a multiple of 7?
False
Let y(m) = 0*m - 2*m + 55 - 30. Is 4 a factor of y(0)?
False
Let d(m) = m**3 - 2*m**2. Let r be d(2). Let l be (4/3)/((-6)/(-18)). Suppose a - l*a = 2*t - 34, r = -2*a + 5*t + 48. Is 6 a factor of a?
False
Suppose 4*k - 243 = 93. Suppose -d - k = -4*d. Suppose -2*f = -24 - d. Does 9 divide f?
False
Let u(v) = 2*v**3 + v**2 + 7*v + 3. Let j(x) = x**3 + x**2 - 1. Let r(o) = -3*j(o) + u(o). Is 5 a factor of r(-4)?
True
Suppose 5*v + 192 = 9*v. Is v a multiple of 12?
True
Let f = 1 + -29. Does 4 divide (-272)/(-14) - (-12)/f?
False
Let c(j) = 4*j - 1. Let r(g) = 2*g - 9. Let m be r(7). Is 19 a factor of c(m)?
True
Let n be (-1 + 10)*(-272)/(-24). Does 6 divide 3/(-15) + n/10?
False
Let u(x) = 41*x. Suppose 2 - 3 = -a. Does 15 divide u(a)?
False
Let i(w) be the third derivative of w**5/3 + w**4/24 + w**3/6 - w**2. Let m be i(-1). Suppose -d = -3*d + m. Is 4 a factor of d?
False
Suppose -4*g + 377 = g + 3*i, -2*g + 157 = -5*i. Suppose 0 = -t + 2*s + 64, 2*t - s - 64 = g. Is 24 a factor of t?
True
Let d be -24 + -1*(0 - 2). Let a = d + 42. Is 12 a factor of a?
False
Let y(v) = v. Let m be y(0). Let k = -1 - -4. Suppose -2*w - 5*q + 5 + 88 = 0, -2*w - k*q + 83 = m. Is 13 a factor of w?
False
Let x = -7 + 4. Let h(k) = -k**2 - 2*k + 1. Let w be h(x). Is 4 a factor of (1/(-3))/(w/24)?
True
Suppose z + 3 = n - 8, z - 19 = -5*n. Let o = z - -9. Is o even?
False
Suppose 672 - 175 = 5*o + 4*m, o - 95 = -3*m. Suppose 3*y = 5*u + o, 3*u = 5*y - 10*y + 123. Does 12 divide y?
False
Let c(p) = -p**3 + 3. Let o be c(0). Let y = o - 1. Suppose -5*q + y*r = -21 - 40, -4*q + 62 = 5*r. Is q a multiple of 13?
True
Suppose 0 = -5*r + 5*x - 85, -x + 2*x + 25 = -r. Let g = r - -3. Let i = g - -41. Is 10 a factor of i?
False
Let l be (-8)/2 - (-153 - -10). Let j = l + -70. Does 19 divide j?
False
Let u(d) be the third derivative of -d**6/120 - d**4/24 + 11*d**3/6 + 2*d**2. Let g = 8 + -8. Is u(g) a multiple of 4?
False
Let w = -4 - 0. Let q(p) = p**3 + 3*p**2 - 6*p - 6. Let x be q(w). Suppose 3*m + 94 = -5*l + 369, -x*m + 10 = 0. Is l a multiple of 17?
False
Let m = 9 + -6. Suppose -p + 88 = m*p. Is p a multiple of 21?
False
Suppose -5*y + 93 - 19 = s, -4*s + 16 = 0. Suppose 2*x + 4 = -2*j - 0, -3*x + j + 14 = 0. Suppose -2*t = -4*g - y, x*t - 7 = 2*t - 2*g. Is 7 a factor of t?
True
Let n(t) = 16*t**2 - 2*t - 1. Let u(q) be the second derivative of -q**5/20 + 5*q**4/12 - q**3/2 - 5*q**2/2 + q. Let h be u(4). Is 17 a factor of n(h)?
True
Let d be -2 + (-2 - 30)/(-4). Suppose 98 + d = 4*n. Is n a multiple of 26?
True
Let b be (1 + 0)/(4/12). Suppose 0 = 5*l, b*z = -z - l + 16. Suppose y + 1 = -y - 3*m, z*m = y - 16. Does 4 divide y?
True
Let v(y) = y**2 + 8. Does 31 divide v(-6)?
False
Let z be (4 - -2) + 6 + -4. Suppose 4*t = 5*l + 35, -t = -l - z - 0. Does 5 divide t?
True
Let u(x) = x + 11. Let g be u(-8). Let f be (6/(-5))/(g/(-10)). Suppose 182 = f*q + 46. Is 9 a factor of q?
False
Suppose -n + 1 + 2 = 0. Is n even?
False
Let c be 8/(-6)*(0 + 3). Let t(g) = g**2 - g + 1. Let b(o) = -o**3 - o**2 - 2*o - 1. Let l(s) = -b(s) + 3*t(s). Does 8 divide l(c)?
True
Let d(q) = -q**3 - 2*q**2 + 6*q + 1. Let m be d(-4). Let n(r) = 13*r - 5. Let k be n(4). Suppose o + m = k. Is o a multiple of 19?
True
Let m = 218 + -150. Let c = -26 + m. Does 12 divide c?
False
Let n(w) = -w**2 - 2*w + 24. Is n(0) a multiple of 24?
True
Suppose -4 = a, 2*t - 77 = 4*a + 41. Does 17 divide t?
True
Let p = 2 - -2. Suppose 7 = -2*b - 3*a, -2*b = p*a - 3*a + 13. Is 5 a factor of b/(-28) + (-40)/(-7)?
False
Suppose -5*k - 2*i = -430, 8 + 17 = 5*i. Does 42 divide k?
True
Let z be 32/10 - 9/45. Suppose -5*i + 20 = 0, 2*l = -z*l + 4*i + 34. Is 10 a factor of l?
True
Let k = 13 + -3. Suppose -k*s = -8*s - 122. Is 20 a factor of s?
False
Let r(l) = -l**3 + 7*l**2 + 2*l - 4. Is 22 a factor of r(6)?
True
Suppose y - 6*y = 5*n - 30, -4*n + 2*y + 6 = 0. Suppose 9 = -2*c - n. Let j = -1 - c. Is 2 a factor of j?
False
Is 26/(-4)*(-21 + 15) a multiple of 11?
False
Let v(h) = -2*h - 4. Let k be v(-3). Let a(x) = 8*x**3 - x**2 - x - 1. Let c be a(k). Suppose -q + 4*u = -19, 3*q - 3*u = 7*q - c. Is 15 a factor of q?
True
Suppose 5*y + 134 = 514. Does 19 divide y?
True
Let p(j) = -145*j + 4. Does 38 divide p(-2)?
False
Let s be 28/12 + (-2)/6. Let p be s/(-4) + 6/(-4). Does 11 divide ((-38)/(-4))/(p/(-4))?
False
Suppose -200 + 38 = -2*w. Let s = 129 - w. Is s a multiple of 17?
False
Let v be 2/2 - -1 - -1. Let l(m) = -m**2 + 5*m - 2. Let q be l(3). Is (v - q) + (0 - -12) a multiple of 11?
True
Suppose 5*l = l. Suppose -s - 3*s = -5*j + 25, -5*j - 15 = l. Let i = s + 19. Is 9 a factor of i?
True
Let t be 1 - (-90 + 6/2). Suppose 0 = 3*b - 5*d - 129, 101 = 4*b - d - t. Let r = b + -28. Does 10 divide r?
True
Does 5 divide (-25)/(-3) + 10/(-30)?
False
Let w be (-9)/(-6)*(-6)/(-3). Suppose -2*t + 46 = -w*h, 4*t = -3*h + 37 + 55. Is 23 a factor of t?
True
Suppose 0 = -z - 2*v - 8, 2*z - 3*v + v - 14 = 0. Suppose t = -z*p + 26, -t - p + 49 = t. Is 7 a factor of t?
False
Let d(h) = 21*h**2 + h - 1. Is 9 a factor of d(-4)?
False
Let m(a) = -a**2 + 3*a + 9. Let z be m(4). Suppose 165 = z*b - 2*b. Is 13 a factor of b?
False
Let d(h) = 26*h**2. Let x be d(-1). Suppose 2*s - x = s. Is 7 a factor of s?
False
Suppose 0 = 3*p - k - 12 - 15, 5*k - 17 = -4*p. Is (-16)/(-6)*42/p a multiple of 5?
False
Let x(s) = s**3 - 2*s. Let a be x(2). Suppose -3 = q - 2*w + 1, 3*q - 3 = w. Suppose a*u + 19 - 95 = 4*z, -q*u - z + 41 = 0. Is 10 a factor of u?
True
Let f = -68 + 180. Does 23 divide f?
False
Suppose 24 = 3*g + 6. Suppose 2*i - f - 8 = g*i, 2*i + f + 6 = 0. Does 10 divide (-4)/(12/(-27)) - i?
True
Suppose -8 = -5*n + 4*u, 0 = -0*n + n + 5*u + 10. Suppose n = 4*k - 3*k - 12. Does 7 divide k?
False
Let a = -8 + 4. Let r be (-1*1)/(a/8). Suppose l = r*l - 6. Does 3 divide l?
True
Suppose -2*g - 1 = -5. Let p = 1 - g. Let r = p + 16. Is r a multiple of 15?
True
Suppose -3*l - 3*a + 75 = 0, -7*a = 2*l - 3*a - 50. Does 25 divide l?
True
Suppose 112 + 178 = 5*o. Let r = o - -12. Does 33 divide r?
False
Let i = -25 + 1. Let j = 2 - i. Is 7 a factor of j?
False
Let d(n) = -7*n + 13. Let s be d(10). Let u = s - -96. Is u a multiple of 13?
True
Let y(o) = -o**3 - 8*o**2 - 2*o - 5. Is y(-8) a multiple of 3?
False
Does 24 divide 23 + -1 + (