+ 3*w**2 + 2*w + 5. Let o be v(a). Is 3/9 - 20/o a multiple of 7?
True
Suppose 3*o - 16 = -4. Suppose -4*b - 30 - 12 = -p, -o*b = p - 42. Does 14 divide p?
True
Let p(j) = -15*j + 5*j + 8 - 7*j**2 + 7 + 6*j**2. Let b be p(-11). Let u(g) = 4*g + 3. Is u(b) a multiple of 19?
True
Let m(p) = 6 - 2*p - 4 + 1 + p. Is 5 a factor of m(-7)?
True
Let a = -1 - 3. Let y = a - -14. Is ((-24)/20)/((-4)/y) a multiple of 3?
True
Let r(i) = i**2 + 2 + 0*i**2 + 0 - 8*i - 1. Is 5 a factor of r(9)?
True
Let y(d) = -5 - 4*d + 3*d**2 - 2*d**2 + 4*d. Does 10 divide y(-5)?
True
Suppose -a + 129 = 55. Suppose -5*x + 174 - a = 0. Is 8 a factor of x?
False
Let l be ((-2)/(-4))/((-1)/26). Let g(a) = -a**2 + a - 22. Let y be g(0). Let u = l - y. Is 5 a factor of u?
False
Let k(x) = x**2 - 6*x - 4. Suppose -o + 3*w = 3*o + 25, 0 = -4*o - 2*w - 10. Let j be k(o). Suppose -2*z - 2*p + 79 = 11, z = -2*p + j. Is 11 a factor of z?
False
Let z(x) = -7 + 0*x + 0 - 2*x. Let l be z(-5). Suppose -s - l*s = -52. Is s a multiple of 13?
True
Let u(h) = -h**3 + 9*h**2 - 6*h + 8. Suppose 10 = c - v, -c - 4*v = -v - 2. Is 10 a factor of u(c)?
False
Let u = 7 - 4. Suppose 4*k - 34 = 34. Suppose -u + k = z. Does 14 divide z?
True
Let y(c) = c**3 + 2*c + 8. Is y(0) a multiple of 2?
True
Let m(n) = -n**2 - 7*n - 2. Let u be m(-6). Suppose 0*i - 3*i - 88 = -u*g, 0 = -2*g - 2*i + 58. Suppose 6*h = h + g. Is 5 a factor of h?
True
Does 3 divide 3 - (-3 - -2)*13?
False
Suppose 6*c - 12 = 2*c. Is c a multiple of 2?
False
Let g(i) = i + 1. Let f(b) = -b**2 + b + 3. Let d be f(3). Let a be g(d). Let j = a - -4. Is 2 a factor of j?
True
Suppose 4*u + 22 - 106 = 0. Is 7 a factor of u?
True
Let t(k) = 96*k**3 - k**2 + k. Does 24 divide t(1)?
True
Let g = 5 + -1. Suppose -s = -g*s + 9. Is s a multiple of 2?
False
Suppose -329 = -3*d + n, -5*d + 3*n + 653 = 98. Is 21 a factor of d?
False
Let t(h) = 40*h**3 - 2*h**2 + 1. Let u be (-75)/21 - (-6)/(-14). Let v be ((-2)/u - 0)*2. Is 15 a factor of t(v)?
False
Let v = -7 - -5. Let t(j) = -10*j**3 + 2*j**2 + j - 1. Is 17 a factor of t(v)?
True
Let n(d) = d. Let m(i) = 15*i - 6. Let y(v) = -m(v) + 12*n(v). Let b be y(6). Does 23 divide (-630)/b + (-2)/4?
False
Let t be 1 + 1 + -4 + 5. Is 3 a factor of 4*(1 - -3) - t?
False
Suppose 0 = -n + 5 + 19. Let x be (3/(-6))/((-2)/(-60)). Let q = x + n. Is q a multiple of 7?
False
Suppose 0 = -6*p + 3*p + 42. Does 7 divide p?
True
Let l be -1 + (-1 - 0) + 54. Let v = -28 + l. Does 12 divide v?
True
Let l(u) = -u - 3*u + u. Let g = -5 + 4. Is l(g) a multiple of 2?
False
Let j be 2/(-3)*855/(-6). Suppose 15 = -2*n + j. Is 15 a factor of n?
False
Suppose 4*t - 5*t + 6 = 0. Suppose -30 = -t*o + 3*o. Does 5 divide o?
True
Let i = 119 - 80. Suppose 5*t + 112 = 3*y, 4*y = -t + i + 141. Is 16 a factor of y?
False
Suppose -4*w = -7 - 1. Suppose w*x + 3 - 7 = 0. Is (24/20)/(x/5) a multiple of 2?
False
Suppose 0 = 3*w - 4*w + 20. Suppose -2*b + w = d, 5*d - b - 64 = b. Is d a multiple of 4?
False
Let p(q) = -5*q + 5. Suppose -2*b - 4 - 6 = 0. Does 15 divide p(b)?
True
Suppose -3 - 18 = -3*p. Is 7 a factor of p?
True
Let j = -103 + 233. Does 41 divide j?
False
Suppose -3*a + 12 = -3*n, -2*a = -7*a - 5*n + 20. Suppose a*j + j + 111 = -2*i, 5*j - i = -102. Let d = j - -30. Is 5 a factor of d?
False
Suppose -5*o + 2*o = 4*u - 302, 4*o = 5*u - 393. Is u a multiple of 17?
False
Does 3 divide ((-2)/4)/1*-12?
True
Suppose 5*j = 22 - 2. Suppose j*m + 171 = -5*n + 696, m = -2*n + 135. Let q = m + -82. Is 19 a factor of q?
False
Let q = 17 - 12. Suppose i = 6*i - q. Suppose -o = 2*s - 26, 2*o - 5 = -i. Is 6 a factor of s?
True
Suppose -4*g + 4*a + 84 = 0, -3*a = -4*g - 0*a + 87. Is g a multiple of 8?
True
Let i(h) = -h**2 - 9*h - 4. Is 10 a factor of i(-7)?
True
Suppose 2*x + 4 - 28 = 0. Suppose 3*m + x = 6*m. Does 6 divide (-122)/(-8) + m/(-16)?
False
Let p be 10/(-4)*(-8)/10. Suppose 0 = -0*f + 2*f - 60. Suppose p*b - b = f. Does 15 divide b?
True
Suppose 3*a + 3*l + l + 10 = 0, 0 = 2*a + 3*l + 8. Suppose 0*q = a*q - 10. Suppose 5*m - 38 = -3*r, -6*r = -r - q*m - 10. Is 5 a factor of r?
False
Let f(p) = -p**3 + 5*p**2 - 4*p + 2. Suppose -4*x = -3*x - 6. Let l(s) = 2*s - 9. Let w be l(x). Is f(w) a multiple of 4?
True
Suppose f = -2*f - 12, i - f = 88. Is 21 a factor of i?
True
Suppose -28 = -2*p - 4*x, -p = x - 9 - 8. Let o = p - -4. Is o a multiple of 24?
True
Let q(v) = v**3 + 3*v**2 - 4*v + 3. Let l(i) = -i**2 + 7*i - 3. Let u be l(6). Let w = -1 + u. Is q(w) a multiple of 7?
False
Suppose 0*h + 2*h = 0. Suppose 3*a + 8 - 74 = h. Does 11 divide a?
True
Suppose -l + 30 = 5*s, -l + 120 = 2*l + 5*s. Let b = -27 + l. Is 18 a factor of b?
True
Let o be (24/9)/2*24. Let j = 28 + o. Let l = -31 + j. Is l a multiple of 11?
False
Let v = -6 - -18. Is v/(-6)*(-27)/2 a multiple of 19?
False
Let h be 94/18 + (-6)/27. Suppose 0 = -h*f - c + 96 - 11, c = -f + 21. Does 8 divide f?
True
Suppose 10*r - 8*r - 24 = 0. Is 4 a factor of r?
True
Suppose 0*a - a = -48. Let v = -25 + a. Is v a multiple of 15?
False
Let u(g) = -2*g - 1. Let y be u(-1). Let n = y + 2. Let j(k) = 3*k**2 - 5*k + 4. Is j(n) a multiple of 7?
False
Let x(u) = 45*u + 2. Is x(3) a multiple of 16?
False
Suppose 0 = 5*l + z - 194, 2*l + z + 8 - 85 = 0. Does 13 divide l?
True
Suppose 0 = 5*q - 2*t + 606, 3*q = -q + 3*t - 489. Let m be q/(-5) - (-1 - -1). Suppose 0 = -n + m + 1. Is n a multiple of 11?
False
Does 3 divide (-39)/(-6) - (-3 + 14/4)?
True
Let g = 33 + 11. Is 28 a factor of g?
False
Let j(g) = 2*g**2 - 5*g - 1. Let y(z) = -z**3 - 5*z**2 - 3*z - 7. Let d be y(-5). Let n = d + -4. Is 4 a factor of j(n)?
False
Let o(l) = -11*l - 33. Is 11 a factor of o(-12)?
True
Is (3/9 + 969/(-18))*-2 a multiple of 26?
False
Let f(t) = 16*t. Let l be ((-4)/(-6))/(2/3). Let v be f(l). Let h = v - 11. Is 4 a factor of h?
False
Let x(m) = -m**2 + m + 9. Let v be x(0). Let z be 2/v + 48/27. Is 1*(12 - 2)*z a multiple of 20?
True
Let b = -9 + 73. Is 9 a factor of b?
False
Let w be 4 - (1 - 2) - -1. Suppose -4*z - w*q + 4*q = -96, -3*q + 34 = z. Is 8 a factor of z?
False
Let i(k) be the first derivative of -k**2/2 + 12*k - 3. Is i(9) a multiple of 3?
True
Suppose -5*j + 6 + 14 = 0. Suppose 0 = -w - j*w + 120. Does 8 divide w?
True
Let d(g) = g**2 - 9*g + 11. Let m be d(8). Suppose -75 = -m*i - 21. Is i a multiple of 6?
True
Let f(y) = y**3 + 8*y**2 + 4*y + 1. Suppose 0 = -k - 7. Is f(k) a multiple of 10?
False
Suppose -3*j - j = 40. Let p be (1 - (-1)/1)*3. Does 16 divide (p + -18)/(3/j)?
False
Suppose 3*y = -p + 174, y = 5*y + 4*p - 224. Is 11 a factor of y?
False
Let s be 4/(12/(-9))*-1. Suppose s = 4*c - 13. Is c a multiple of 4?
True
Let t be (3/6)/(1/12). Suppose -w + t*d - 2*d - 8 = 0, 0 = -d + 3. Is 4 a factor of w?
True
Suppose -4*o + 90 = -o. Let p = -13 + o. Is p a multiple of 17?
True
Let v(p) = -6*p**2 - 4*p + 2. Let d(r) = 3*r**2 + 2*r - 1. Let h(o) = 5*d(o) + 2*v(o). Let q(x) = x**2 - x + 1. Let g be q(1). Is h(g) even?
True
Let d be ((0/(-3))/2)/(-3). Suppose 3*s + 3*w - 75 = -d*w, -s - 5*w + 45 = 0. Does 20 divide s?
True
Let z = 257 + -179. Does 39 divide z?
True
Suppose -3*p = -5*p. Suppose p = 3*y + 2*y - 150. Does 9 divide y?
False
Suppose -3*p + 37 = k + 4*k, -5*k + 33 = 2*p. Let w(h) = -h**2 + 7*h - 3. Is w(k) a multiple of 2?
False
Suppose -2*a + 5*i + 120 = a, -3*a + 126 = -3*i. Let q = a - 28. Is q a multiple of 17?
True
Suppose 14*m = 11*m + 72. Is 4 a factor of m?
True
Suppose 0 = 3*b - b - 120. Is b a multiple of 20?
True
Suppose -2*u - 2 = 3*n - 0, 0 = n + 2*u + 6. Does 16 divide (n/1)/(8/68)?
False
Suppose 0 = -2*b - 4*c + 26 + 6, -3*c + 6 = 0. Is 8 a factor of b?
False
Suppose 5*d - 76 = d. Is d a multiple of 10?
False
Suppose -2*u - 42 = 2*p - 6*u, 35 = -p - 5*u. Is 13 a factor of (10/p)/((-2)/260)?
True
Suppose -67 - 23 = -10*d. Is d a multiple of 9?
True
Let a = 4 + 1. Suppose a*i + 19 = -36. Let g = i + 43. Is 13 a factor of g?
False
Suppose 4*b - 5*x - 46 = 0, 0*b = b + 4*x - 1. Let h = 3 + b. Does 12 divide h?
True
Let n = 6 + -1. Is 50/(3 - n)*-1 a multiple of 8?
False
Suppose -211 = 2*c - 607. Does 10 divide c?
False
Is 3 a factor of (-2)/2 + (2 - -2)?
True
Suppose -u = -0*u - 76. Suppose -4*o + u = -2*o. Suppose v - 4*q = o, -3*q + 84 = -v + 4*v. Is 14 a fac