((2/q)/(-1)). Suppose 0 = f*v - 2*v - 48. Is v a multiple of 12?
True
Let z(u) = -5*u. Let q be z(-1). Let x = 3 - -1. Suppose 4*v - 111 = -q*l, -3*l = -x*v - 29 - 44. Does 16 divide l?
False
Suppose -18 = 3*x - 48. Let w(b) = -b**3 + 10*b**2 + b. Is 5 a factor of w(x)?
True
Let k = 20 + 52. Does 18 divide k?
True
Let o = -5 - -2. Let q be o/1*65/(-3). Let f = q + -31. Is f a multiple of 17?
True
Suppose -2*c + 85 + 35 = 0. Let k be ((-2)/(-5))/(6/c). Suppose -k*b + 6 = -146. Is b a multiple of 22?
False
Suppose q + f = -2, -f - 10 = q - 4*f. Is 9/((16/q)/(-4)) a multiple of 3?
True
Suppose -w - w + 16 = 0. Let y(p) = -p**3 + 9*p**2 - 6*p - 9. Is y(w) a multiple of 7?
True
Let p = 124 + -17. Let f = p + -30. Is 15 a factor of f?
False
Let u = 49 + -40. Is u a multiple of 9?
True
Let y(j) = -7*j - 2. Is y(-2) a multiple of 5?
False
Is 11 a factor of (-1)/(5/20) - 94/(-1)?
False
Let z(w) = -2*w**3 + 6*w**2 - 4*w + 9. Let t(i) = -3*i**3 + 6*i**2 - 4*i + 9. Let c(a) = 3*t(a) - 4*z(a). Let y = 5 + -12. Is c(y) a multiple of 4?
True
Is 8 a factor of 1 - (-2 - (-1 + 62))?
True
Let g = 15 + 21. Let c = g + -26. Let i = -5 + c. Is 5 a factor of i?
True
Let g(n) = n**2 + n**3 - 2*n - 4*n - 6*n**2. Let u be g(6). Suppose 3*x + 0*x - 24 = u. Is x a multiple of 8?
True
Let f be (-80)/8*(-3)/5. Suppose -20 = -w + f. Is 11 a factor of w?
False
Let g = -169 - -439. Is 27 a factor of g?
True
Let g(u) = u**2 + 1. Let k be g(1). Suppose 3*p = -0*y + 2*y + 43, -4*y = k*p - 18. Is p a multiple of 13?
True
Let c be 3 + 0 + 2 + 26. Suppose 0 = -3*y + 17 + c. Is 8 a factor of y?
True
Is ((-20)/(-6) - 4)/((-3)/666) a multiple of 25?
False
Let n be ((-6)/8)/(4/(-16)). Is ((-5)/(-2))/(n/30) a multiple of 10?
False
Does 33 divide -6 - (2 - -5)*-15?
True
Suppose 5*o + 20 = o. Let q(f) = -245*f**2 + 247*f**2 + 3 + 7*f + 0*f. Does 18 divide q(o)?
True
Suppose -24*k = -26*k - 4. Let o(y) = 4*y**2 - y + 0 + 0*y - 2. Is 8 a factor of o(k)?
True
Let m be (-6)/15 + (-63)/5. Let v = -3 - m. Does 7 divide v?
False
Let t(i) = i + 2. Let g be t(-6). Let z(f) = -f**2 - 5*f. Does 3 divide z(g)?
False
Let r(x) be the third derivative of x**7/2520 + x**6/144 - x**4/12 + x**2. Let w(l) be the second derivative of r(l). Is 12 a factor of w(-8)?
True
Let m(z) = -2*z**3 - 10*z**2 - 6*z. Is 18 a factor of m(-6)?
True
Let s(q) be the first derivative of -2*q**2 - 2. Let g be s(-5). Suppose -4*w + 14 = f, -30 = -2*f + 3*w + g. Is f a multiple of 22?
True
Let f = 5 - 194. Is ((-2)/3)/(7/f) a multiple of 9?
True
Does 8 divide (7 + 40)*(0 - -2)?
False
Let o = -63 - -109. Is 23 a factor of o?
True
Let r(w) = w**3 + 6*w**2 - 7*w - 6. Let o = -11 - -5. Does 12 divide r(o)?
True
Suppose 0 = -2*l + l + 2. Suppose 0*c + l*c = 20. Suppose 15 = f - c. Does 9 divide f?
False
Suppose 0 = 3*k - 3*s - 384, 0 = -k - 2*s + 6 + 113. Is 25 a factor of k?
True
Let q = -6 - -13. Suppose 130 = q*h - 2*h. Does 13 divide h?
True
Let z be (2/(-3))/((-1)/6). Suppose -z*g = -48 - 96. Suppose 5*l = g + 39. Is 8 a factor of l?
False
Suppose 4*y + 12 = 0, -2*p - y - 2*y + 15 = 0. Is p a multiple of 4?
True
Let h = 101 + -61. Is h a multiple of 5?
True
Let p = 24 - -105. Is 13 a factor of p?
False
Suppose -3*y + 27 = 3*w, 0 = -2*w + 13 - 3. Suppose -y*x = -7*x + 69. Let l = x - 8. Does 13 divide l?
False
Suppose 5*i = -0*i + 10. Suppose -14 = -i*y + 10. Is 4 a factor of y?
True
Let z be (1 + 19)/((-2)/(-29)). Suppose 3*m - z = -2*m. Is 22 a factor of m?
False
Let h = 137 - 80. Let y = 87 - h. Is y a multiple of 15?
True
Let f(w) = -w**2 + w - 11. Let i be f(0). Let x = 25 + i. Is 9 a factor of x?
False
Suppose 9*t - 70 = 4*t. Suppose 2*r + 2 - t = 0. Suppose 60 = -2*c + r*c. Is c a multiple of 6?
False
Is (-2 + -3)*378/(-15) a multiple of 13?
False
Suppose -5*n + 2*u + 894 = 0, -n = -2*u + 4*u - 186. Is n a multiple of 36?
True
Let v be (-7)/(-2) + 2/4. Suppose 0 = -i + v*i - 9. Let w(x) = 2*x**3 - 4*x**2 + 1. Is 19 a factor of w(i)?
True
Suppose -32 = -4*v + 20. Let c = v + -1. Does 2 divide c/4*(-2)/(-3)?
True
Is (12/(-10))/(21/(-350)) a multiple of 20?
True
Suppose -p - 2*p = 12, x - p = 7. Suppose u + 28 + 42 = x*g, -5*g = 2*u - 124. Suppose -g = -c - 7. Is c a multiple of 11?
False
Let i = 49 - 31. Suppose 0*g = -g + i. Is g a multiple of 9?
True
Suppose 0 = 3*d + 2*i - 64, -71 = -5*d - 5*i + 39. Does 18 divide d?
False
Let a = 127 - 13. Does 14 divide a?
False
Is (-132)/(-13) - (-10)/(-65) a multiple of 10?
True
Let w(t) = t**3 - t**2 + t - 1. Let y be w(2). Suppose 3*x + y = -2*f + 1, 2*f - 4 = -x. Suppose f = -v + 14. Is v a multiple of 7?
False
Let i = -5 - -7. Suppose -4*y + i*q = -62, -y = -0*y - 4*q - 5. Is y a multiple of 14?
False
Suppose q = -3, -3*z + 5*z - 3*q = 29. Is 5 a factor of z?
True
Let z be ((-2)/5)/((-2)/100). Suppose z = -0*j + j. Is 10 a factor of j?
True
Let g = 5 - 2. Suppose g*r - 2*r = 13. Is 4 a factor of r?
False
Let k(w) = -w**3 + 5*w**2 + 6*w + 2. Let n be k(5). Suppose -g - 5*y = -n, 125 = 5*g + y - 35. Suppose -7*x + g = -3*x. Does 4 divide x?
True
Let g(q) = -2*q**3 + 3*q**2 - 3*q + 3. Let y be g(2). Let u be (-1 + -2 - -2)*y. Let p(l) = l + 8. Is p(u) a multiple of 10?
False
Suppose -b + 2*i = -5, 2 = i + 1. Is 5 a factor of (-15)/(-10) + b/2?
True
Is 8 a factor of (-1)/(-5) - (-745)/25?
False
Suppose -4*r - 2*s - 9 - 1 = 0, 4*r - 15 = 3*s. Suppose 5*h + r*h - 5*z - 170 = 0, -5*z = 3*h - 62. Does 15 divide h?
False
Let x be ((-9)/(-15))/((-2)/(-10)). Let t(y) be the third derivative of y**5/60 - y**4/12 + 2*y**3/3 + 3*y**2. Is 4 a factor of t(x)?
False
Let g be (18/24)/(2/8). Let u(s) = 4*s**2 + 1 + 6*s**2 - s**g + 2 - 10*s. Is u(8) a multiple of 19?
False
Let w(f) = -6*f - 8 - 2 + 0. Is 11 a factor of w(-7)?
False
Let z(s) = 8*s**3 + 2*s**2 - s. Let h be z(1). Let c be (-6)/h - (-34)/6. Suppose 3*y - c = i + 29, -i - 14 = -y. Does 10 divide y?
True
Let g(r) = 4 - 7*r - 2*r**2 + 2*r + 3*r**2. Let z be g(5). Suppose -45 - 91 = -z*a. Is a a multiple of 17?
True
Let s be 2 + -1 + -3 + 6. Let h(b) = b**3 - 6*b**2 + b - 3. Let k be h(6). Suppose -s = -4*y, -6 = 2*d - k*y - 63. Is 14 a factor of d?
False
Does 9 divide 240/32*(7 - 1)?
True
Suppose 5*r - m = 120, 5*r + 4*m = -13 + 133. Is r a multiple of 12?
True
Let p = -47 - -24. Let s = p - -87. Suppose 5*v - 3*v = s. Does 11 divide v?
False
Let m = 203 + 17. Is m a multiple of 10?
True
Let u(y) = -y**3 - 5*y**2 + 6*y + 8. Is 3 a factor of u(-6)?
False
Let m(t) = -6*t - 5. Is 3 a factor of m(-2)?
False
Let q = 68 + -40. Suppose -4*u + q = -8. Does 3 divide u?
True
Let x(v) = 7*v**2 + 16*v - 61. Is x(5) a multiple of 63?
False
Let h(c) = -c**3 + 6*c**2 + 6. Let m be h(6). Suppose -t + m = -p + 2, 19 = 5*t - 4*p. Suppose 16 = 2*a + 5*u, 5 = t*a + 5*u - 19. Is 6 a factor of a?
False
Suppose 4*c - 171 = -3*u + 150, 3*c = -4*u + 246. Is c a multiple of 23?
False
Let l = 79 + 14. Is 20 a factor of l?
False
Let m be (-8)/3 - (-10)/15. Let d = m + 6. Suppose d*x - 7*x + 60 = 0. Is x a multiple of 10?
True
Let c(k) = k**2 - 2. Let s be c(0). Let u = s - 1. Let f(n) = n**2 + n - 3. Is f(u) even?
False
Suppose -8 = -3*t + 37. Is 4 a factor of 18/t*(-20)/(-6)?
True
Let g(w) = -w**2 - 8*w - 8. Let k be g(-6). Suppose -3*f + 116 = k*m, -161 = -5*m - 4*f - 16. Is m a multiple of 29?
True
Let s(u) = 11*u**3 + 2*u**2 - 2*u + 2. Does 5 divide s(2)?
False
Let j(t) = -t**3 + 4*t**2 - 3*t - 6. Let h(a) = 2*a**3 - 9*a**2 + 7*a + 13. Let l(c) = 6*h(c) + 13*j(c). Let w be l(-3). Is 0/2 - (-18 - w) a multiple of 9?
True
Suppose 3*d - d = 2*l - 148, 3*l = 4*d + 220. Is 8 a factor of (l - 7)*(-2)/(-6)?
False
Let f = -25 - -35. Is 3 a factor of f?
False
Let g(f) = -7*f**2 + 4*f + 5. Let p(s) = 6*s**2 - 4*s - 4. Let h(v) = 5*g(v) + 6*p(v). Is h(6) a multiple of 6?
False
Is (39/(-2) + 2)*42/(-15) a multiple of 5?
False
Let z = 63 + -37. Is z a multiple of 13?
True
Let h(a) = -2*a + 0 - 4 - 2. Let b = -26 - -17. Does 6 divide h(b)?
True
Suppose 0 = 4*k - 128 - 404. Is 7 a factor of k?
True
Suppose 2*o - 7 = 1. Suppose -o*g + 3*g + 167 = 0. Suppose g = 5*u + 2. Does 23 divide u?
False
Let r(h) = -h**2 - 12*h - 23. Does 12 divide r(-7)?
True
Let k(n) = n + 5. Is 8 a factor of k(6)?
False
Let z = 87 - -13. Is 19 a factor of z?
False
Let k be (-1)/1 + 3 + 0. Suppose -