ppose -3*p + s = -0*p. Suppose k + 4*f = -1, -2*k + p = 2*k - 2*f. Is 12 a factor of k?
False
Let w be (-5)/(10/8) - -31. Suppose 5*c - 1 = 3*y, 3*y - c - w = -y. Is 2 a factor of y?
True
Does 3 divide 2/(-4 + (-278)/(-69))?
True
Suppose 110 = 17*x - 12*x. Is 11 a factor of x?
True
Let r(t) = -16*t + 32. Does 12 divide r(-4)?
True
Suppose -2*w = 0, -c + 8*w + 60 = 10*w. Is c a multiple of 15?
True
Suppose 0*m + 2*m - 2 = 0. Let p = m - -14. Suppose 37 + p = 4*g. Does 13 divide g?
True
Let s(z) = 19*z - 21. Is 14 a factor of s(7)?
True
Let p(w) = 4*w - 3. Let y be p(6). Suppose d + y = 5*d + k, -3*k = 4*d - 15. Let x(l) = l - 2. Is 4 a factor of x(d)?
True
Suppose -5*v - 2 + 22 = 0. Suppose n = v*n - 6. Is 14 a factor of 4*26/4 + n?
True
Suppose -5*d = -0*k + 5*k - 135, 0 = 5*d - 2*k - 156. Suppose -w = -d - 10. Is 7 a factor of w?
False
Let d(t) = 2*t**3 + 3*t**2 - 3*t - 14. Let f(w) = 3*w**3 + 5*w**2 - 5*w - 28. Let l(i) = 5*d(i) - 3*f(i). Is 14 a factor of l(0)?
True
Let c be (-4 - -4)/(-1 + 2). Let t be 57/(c + 1/2). Suppose 3*z - t = -24. Is 14 a factor of z?
False
Suppose c = -2*g - 21, 2*c - 15 + 61 = -3*g. Suppose -2*a + 236 = 2*a. Let w = a + c. Is w a multiple of 15?
True
Does 15 divide (55/(-44))/(1/(-12))?
True
Let k be 0 + (0 - -1) + 0. Let q(u) be the first derivative of 45*u**4/4 + u**2/2 - u + 4. Is 15 a factor of q(k)?
True
Let l(g) = g**3 - 2*g**2 - 3*g. Let q be l(3). Suppose 0*o + 4*o - 304 = q. Is o a multiple of 26?
False
Let k = -12 - 26. Let m = -27 - k. Does 3 divide m?
False
Let k(i) = 2*i**2 - 1. Is k(3) even?
False
Suppose -3*a + 17 + 7 = 0. Suppose -a*c + 50 = -3*c. Is c a multiple of 4?
False
Let c(g) = g + 33. Let k(x) = -x**2 - 4*x. Let p be k(-4). Does 11 divide c(p)?
True
Let q = -1 - -4. Suppose -2*v - 27 = q. Is 16 a factor of (-13 - -1)/(v/20)?
True
Let l = 27 - 9. Let p = l - 13. Suppose -p = 2*c - 39. Does 16 divide c?
False
Let z(r) be the second derivative of -r**5/20 - 7*r**4/12 + r**3/2 + 3*r**2/2 - r. Let c be z(-4). Let b = c + 81. Is 12 a factor of b?
True
Suppose -3*l = -33 - 30. Is 16 a factor of l?
False
Let n = 9 - 16. Let y(x) = -x**3 - 8*x**2 - 10*x - 2. Is y(n) a multiple of 5?
False
Does 44 divide ((-3636)/27)/(4/(-6))?
False
Let s(x) = -4*x**2 - 4*x**2 - 23*x**3 + 5*x + 10 + 24*x**3. Is s(8) a multiple of 24?
False
Is 14 a factor of 3/((-132)/45 - -3)?
False
Let f(b) be the third derivative of -11*b**5/60 + b**3/6 - 2*b**2. Let q be f(1). Does 5 divide q/(1 + 0 - 2)?
True
Let c = 28 - 8. Suppose -g + 2 = -2, 4*i + g - c = 0. Suppose 0 = -p - 2*x + 4*x - 1, 2*p - x - i = 0. Is 3 a factor of p?
True
Let f(w) = -11 - w + w - w. Let b be f(-6). Does 2 divide (0 - 2/5)*b?
True
Suppose 72*y - 76*y = -1176. Is y a multiple of 14?
True
Suppose 262 = 3*c - 113. Suppose 2*m - 38 = -2*h + 7*m, -5*h + c = -5*m. Does 25 divide h?
False
Let t = -95 + 131. Is 9 a factor of t?
True
Let m = 7 - 2. Is 5 a factor of m?
True
Let h = 0 + 6. Suppose h*c - c + 10 = 0. Let j = 14 + c. Is 12 a factor of j?
True
Is 4 a factor of (-201)/(-12) - 4/(-16)?
False
Suppose 15 = 2*d - 19. Is 4 a factor of d?
False
Let z(d) = d**2 + 12*d - 3. Suppose -3*v - 4 = 41. Is z(v) a multiple of 16?
False
Suppose -29 = -4*m + 51. Is m a multiple of 2?
True
Let r = -85 - -131. Is 10 a factor of r?
False
Let n(k) be the third derivative of -k**6/48 - k**4/24 + 2*k**2. Let r(g) be the second derivative of n(g). Is r(-2) a multiple of 15?
True
Suppose -5*b + 130 = 5*b. Is b a multiple of 2?
False
Let j(s) = s**3 + 12*s**2 + 10*s - 12. Suppose -2*g - 10 - 12 = 0. Let u be j(g). Is 7 a factor of u + (2 - -11) + 2?
True
Let b = 3 + -3. Suppose 0 = -2*v - 3*i + 20, -5*v = -i + 6*i - 40. Let t = b + v. Does 4 divide t?
True
Let a(b) = 2*b**2 + 2*b + 4. Let t(f) = f**2 + 2*f + 3. Let d(p) = 3*a(p) - 4*t(p). Is d(5) a multiple of 8?
True
Let i = 45 + -20. Suppose -w = -i + 1. Is w a multiple of 10?
False
Suppose -8 = -4*k + 8. Let h(n) = -n**2 - 5*n + 1. Let j be h(-4). Suppose 2*l = -m + l + 49, 200 = k*m + j*l. Is 21 a factor of m?
False
Let c(o) = 43*o**2 + o. Let x be c(-1). Suppose -2*y + 174 = -2*f, -f = -4*y + 4*f + 350. Let s = y - x. Is 18 a factor of s?
False
Let l = 44 - 63. Let o = 58 + l. Let f = o - 17. Is 11 a factor of f?
True
Let i(g) = g**2 - 11*g + 11. Let d be i(10). Let a(t) = 3*t**2 - 1. Let w be a(d). Suppose w*l - 5*l + 66 = 0. Is 11 a factor of l?
True
Let c(f) = -2*f + 4. Let r be c(-8). Suppose r = 5*m - 50. Is 14 a factor of m?
True
Suppose -5*q + 285 = -0*q. Is q a multiple of 19?
True
Suppose -6*l = -13*l + 980. Is 14 a factor of l?
True
Let x be 1 - (-5 + 3/1). Suppose 2*s = -2*l + 22, -x*l - s = -0*l - 23. Is 6 a factor of l?
True
Let o(l) = -l**3 - 7*l**2 - l + 3. Let k be o(-7). Is (-1)/2 + 255/k a multiple of 14?
False
Let z(h) = 2*h**2 + 9*h - h**2 + h**2 - 5. Let i(j) = -j**2 + j - 1. Let k be i(3). Does 13 divide z(k)?
False
Let u(c) = c - 12. Let s be u(16). Suppose -3*q = -4*l + 97, l + 76 = 3*l + s*q. Does 7 divide l?
True
Let f = 64 + -51. Does 2 divide f?
False
Let c be (-30)/(-8)*24/9. Let w be 1/(-5) + 592/c. Let f = w + -16. Does 15 divide f?
False
Suppose -2*f + 130 = 12. Is 16 a factor of f?
False
Suppose -5*n + 113 = 8. Does 7 divide n?
True
Let i = -50 - -70. Suppose -u - i = u. Let k = 0 - u. Is 4 a factor of k?
False
Let b = 2 - 4. Let n(a) be the first derivative of -3*a**4/2 - 2*a**3/3 + a**2 + a - 1. Is 11 a factor of n(b)?
False
Let g(j) = j**2 + 5*j + 22. Is 10 a factor of g(-16)?
False
Let c(h) = -h**3 - 4*h**2 + 4*h - 5. Let v be c(-5). Suppose -4*a + v*a = 56. Is 14 a factor of (a/4)/((-2)/12)?
False
Suppose -i - 5*i + 90 = 0. Is 3 a factor of i?
True
Suppose 8*b - 3*b = 10. Suppose 86 = b*m + t - 2, 5*m + 4*t - 223 = 0. Does 18 divide m?
False
Suppose 20*v = 9*v + 264. Does 12 divide v?
True
Let f be (-3)/((-7)/(-2) - 2). Let y be 0/3 + f/2. Is 2 a factor of (1/y)/((-9)/45)?
False
Suppose -5*q + 49 + 311 = 0. Does 18 divide q?
True
Suppose 120 = 2*w - 254. Is w a multiple of 23?
False
Let i(k) = k + 20. Does 11 divide i(-9)?
True
Let p be (-2)/7 + 23/7. Let i(h) = -p*h - 4 + h + 7 - h. Is 15 a factor of i(-7)?
False
Let u = 14 + -9. Suppose -3*q + 7 = -u*d + d, -q - 3*d + 11 = 0. Is 5 a factor of q?
True
Suppose 4*f = -3*w + 71, 3*f = -2*w - 0*f + 49. Let c = w + -5. Let a = 38 - c. Is a a multiple of 15?
False
Suppose -k - 2*m + m = -8, 5*k = -m + 24. Suppose -3*c + 27 = 2*r, 3*c = -k*r + 4 + 23. Is 5 a factor of c?
False
Let c = 1 + -7. Let z(w) = -w**2 - 7*w - 5. Let d be z(c). Let j(s) = 10*s**2. Is 6 a factor of j(d)?
False
Suppose 0 = -17*s + s + 5472. Is 18 a factor of s?
True
Let o be 3*(60/9)/(-5). Let y(x) = -5*x - 4. Does 16 divide y(o)?
True
Is (42/(-8) - -3)*(-2 + -22) a multiple of 3?
True
Let b = 136 - 60. Is b a multiple of 18?
False
Let p(b) = b**2 + 6*b - 6. Let h be p(-7). Does 4 divide (h*-1)/((-5)/20)?
True
Let y(d) = d**2 - 2*d - 5. Suppose 0 = -3*r + 8*r. Suppose x - 5 = -r. Does 5 divide y(x)?
True
Suppose 10*g - 4*s = 5*g + 240, 0 = -5*g - 4*s + 200. Does 13 divide g?
False
Suppose -4*z = z + 20. Let k = 3 + z. Is k + 1 - (-5 - 3) a multiple of 3?
False
Suppose 0 = -4*m + 51 + 69. Is 6 a factor of m?
True
Let k(a) be the third derivative of a**4/24 + 2*a**3 - 2*a**2. Is k(12) a multiple of 14?
False
Let d(m) = 19*m + 1. Does 20 divide d(1)?
True
Let s = -42 + 71. Suppose -s = -r - 2*u, 145 = 5*r - u - 4*u. Is r a multiple of 29?
True
Let l(v) = -v**3 + 7*v**2 - 9*v + 12. Is l(4) a multiple of 8?
True
Suppose -5*f = 5*v - 300, 3*v = -7*f + 2*f + 172. Is v a multiple of 32?
True
Let g(b) = 14*b**2 + b + 2. Let n be g(2). Suppose 3*l - n = -0*l. Let m = l + -7. Is m a multiple of 7?
False
Suppose 2*o - 6 = 0, -2*f = -0*o - 4*o - 38. Does 5 divide f?
True
Suppose -3*k = -4*k + 2. Suppose -z = 3*i - 102 - 20, k*z - 80 = -2*i. Is 20 a factor of i?
False
Let v(b) = 31*b**3 + 2*b**2 + 2*b - 6. Let n(i) = -30*i**3 - 2*i**2 - 2*i + 5. Let p(y) = 7*n(y) + 6*v(y). Is 20 a factor of p(-1)?
False
Let u be ((-40)/(-12))/(2/(-48)). Let h = -43 - u. Is h a multiple of 15?
False
Let s = -11 - -6. Let v(p) = -8 - p**2 + 2*p**2 + 1. Does 9 divide v(s)?
True
Suppose 2*c = 3*n - 300, c = -2*n - 2*n + 411. Is n a multiple of 34?
True
Let j(x) = -10*x**2 - 18*x - 7. Let y(q) = -