 160 = 0. Is p a multiple of 16?
True
Suppose -4*j + 0*f = -3*f - 1375, 0 = 5*j - 2*f - 1710. Is j a multiple of 44?
False
Suppose -6*f + 2*f = -12. Suppose 0 = -6*z + 2*z + 2*l + 6, 0 = f*z - l - 3. Suppose z = -8*v + 5*v + 114. Is v a multiple of 16?
False
Suppose h + h + 182 = 3*c, 4*h = -4*c + 276. Is c a multiple of 6?
False
Suppose 13 + 17 = 3*t. Is 2 a factor of t?
True
Let m(c) = c**2 + 7*c + 2. Let w be m(-7). Suppose 3*g - 2 = -2*a + 15, 0 = -3*a - w*g + 13. Is (-318)/(-8) - a/(-4) a multiple of 20?
True
Is 22 a factor of (-44)/14*(-42)/(11 - 5)?
True
Let c = -18 + 31. Suppose 53 = -4*r + c. Is 2 a factor of (-54)/r - (-4)/(-10)?
False
Let d = 14 - 8. Let n be (-34)/(-6) + d/(-9). Let p = 16 - n. Does 11 divide p?
True
Let u(z) = -z**2 - 10*z - 5. Does 2 divide u(-9)?
True
Let p be 2/(-4)*(1 + -1). Let z = 0 - p. Suppose 3*v + d - 25 = z, -4*d + 8 = 2*v - 12. Is v a multiple of 8?
True
Let x(y) = -y. Let z be x(-4). Let v be 1*5/(10/z). Suppose 0*s = -v*s + 12. Does 6 divide s?
True
Let q = -12 - -16. Suppose -q - 36 = -4*k. Does 3 divide k?
False
Let v be 0 + 2/(-2) + -21. Let b = v + 38. Is 6 a factor of b?
False
Suppose 0 = -180*i + 181*i - 135. Does 27 divide i?
True
Let l = 93 + 89. Is 33 a factor of l?
False
Let s be ((-3)/2 - -1)*-6. Let j(z) = -5*z**2 + 7*z**3 - 3*z**3 - 3*z - 6 - s*z**3. Does 12 divide j(6)?
True
Let o = 285 - 189. Is 48 a factor of o?
True
Let i(m) = 3*m - 3. Let l be i(7). Let s(g) = -g**3 - 7*g**2 + 2*g + 5. Let j be s(-7). Let o = l + j. Is 5 a factor of o?
False
Suppose -2*o - 2*p - 3 = -1, 3*p = -5*o - 9. Is (o/(-6))/((-2)/(-144)) a multiple of 9?
True
Let t be 1/6 + (-164)/(-24). Suppose 2*h + f + t - 28 = 0, 0 = -2*h + f + 23. Is h a multiple of 6?
False
Suppose 2 = 2*b - b. Suppose -3 = b*s - 13. Is 112/s - (-8)/(-20) a multiple of 11?
True
Suppose -4*i + 39 = y, 4*y - 5*y + 48 = 5*i. Does 5 divide i?
False
Let a = 93 - 45. Does 24 divide a?
True
Let l be 1 + 1 - (-36)/1. Let t = 58 - l. Is 4 a factor of ((-8)/t)/((-1)/15)?
False
Let f = 31 - -37. Is 34 a factor of f?
True
Let v = -32 + -8. Let p = v + 56. Does 5 divide p?
False
Let d = 6 + -6. Let h be d/(-2)*3/(-3). Is (-26)/(-2) + h + -2 a multiple of 11?
True
Let n(y) = 2*y**2 - 2*y - 2. Let w be n(2). Let b(a) = 23*a - 2. Does 18 divide b(w)?
False
Let q(o) be the second derivative of -5*o**3/6 - o**2 - o. Is q(-4) a multiple of 18?
True
Let v = 6 - 3. Let p(c) = c. Let b be p(v). Suppose -2*f = -3*x - 21, -b*f + 3*x + 40 = 13. Does 6 divide f?
True
Is 13 a factor of ((-252)/90)/(2/(-10))?
False
Let t = 65 - 41. Let g = t - 16. Is 5 a factor of g?
False
Let j(v) = -v**2 - 4*v + 7. Let d be j(-5). Suppose d*b = 5*p + 68, -p + 57 - 159 = -3*b. Is 15 a factor of b?
False
Let v(m) be the third derivative of -m**8/20160 + m**7/560 - m**6/240 + m**5/30 + m**2. Let z(b) be the third derivative of v(b). Is z(4) a multiple of 17?
True
Suppose -4*q - 12*x = -13*x - 200, 37 = q + 3*x. Does 4 divide q?
False
Suppose -4*j + 3 + 6 = 3*x, -3*x + 9 = 5*j. Suppose 4*r - 2*r - 14 = j. Does 2 divide r?
False
Let a(z) be the second derivative of z**3 - 3*z**2/2 - z. Let c be a(2). Let t = c + 10. Is 7 a factor of t?
False
Let r(k) = -1 + 3*k**2 + k**3 + 0*k**2 - k - 2*k**2. Let f be r(-1). Suppose -l - q + 17 = f, -34 - 8 = -2*l + 2*q. Is l a multiple of 13?
False
Suppose 8*b - 27 = -11. Suppose 8 + 4 = 4*k - 3*l, -5*k = -l - 15. Is 2 a factor of k + -1 + b*2?
True
Suppose -20 = -m - 4*m. Suppose 0 = -m*r - 19 + 203. Is r a multiple of 13?
False
Is 10 a factor of 88/9 - (-16)/72?
True
Suppose -1 = 4*u - 5*u. Suppose 3 = -2*z - u. Is 15 a factor of -1 + (-26)/z - -3?
True
Let b(v) = 8*v - 6 - 8*v - 5*v - v. Does 18 divide b(-10)?
True
Let k = 37 - 7. Let w = k - -12. Is 14 a factor of w?
True
Let o = 2 + 1. Does 8 divide 12/4*16/o?
True
Suppose 0 = -4*s, 7*u - 2*u = -2*s + 15. Let l be -4*(-7 - (-9)/u). Suppose -6*d - l = -8*d. Does 3 divide d?
False
Let w(q) = 5*q**3 - 6*q**2 + 5. Let d(z) = 14*z**3 - 17*z**2 + z + 14. Let t(r) = 3*d(r) - 8*w(r). Does 19 divide t(3)?
True
Let c = 75 - 27. Is c a multiple of 10?
False
Let f(i) = -109*i**3 + i**2 + 2*i + 1. Does 16 divide f(-1)?
False
Let h(u) = 14*u. Let v be h(6). Let m = v - 57. Does 9 divide m?
True
Let c be (-376)/(-6) + (-10)/(-30). Let b = 100 - c. Is b a multiple of 8?
False
Let j be (9/3)/(-1) - -14. Suppose -31 + j = -4*y. Is y even?
False
Suppose c = 2*c - 1. Let r be -20 - c*(0 + -2). Is r/(-4)*(-6)/(-9) a multiple of 2?
False
Let q(a) = 4*a**2 - a. Let w be q(-1). Suppose -h = -0*h. Let n = w - h. Does 2 divide n?
False
Let t(l) = 3*l**2 + 7*l + 2. Is 17 a factor of t(-6)?
True
Is (5 - 5) + (-54)/(-1) a multiple of 14?
False
Let n = 4 - -1. Suppose -2*a - 5*b + 24 = 0, -5*a + 36 = -2*a - n*b. Is a a multiple of 4?
True
Let m(y) = -y**3 - 4*y**2 - y + 7. Let h be m(-7). Let p = -54 + h. Let f = 152 - p. Is f a multiple of 16?
False
Suppose -4*z - 70 = -2*x + 498, 0 = z + 3*x + 128. Let i = 203 + z. Is 23 a factor of i?
False
Let y = 25 - 1. Is y a multiple of 2?
True
Suppose -s - 3*s = -48. Suppose -t - s = 3*t. Is (-76)/t + 3/(-9) a multiple of 10?
False
Let x = 82 - -19. Is 14 a factor of x?
False
Suppose -6 + 0 = -3*x. Suppose -x*v - 14 = 26. Is 8 a factor of v*(-1)/1 + -1?
False
Let w = 0 + 0. Let z = w + 5. Suppose -31 = -z*r - 3*o, -o - 3 = -0*o. Is 5 a factor of r?
False
Let a = -7 - -12. Suppose -3*v - 52 = -a*v. Does 13 divide v?
True
Let v = 71 + -29. Does 16 divide v?
False
Let b(p) = -3*p - 1 + 2*p + 2*p - 3*p. Is b(-4) even?
False
Suppose -89 = -h + 91. Does 36 divide h?
True
Let l(y) = 3*y**2 - 5*y - 3. Suppose 0 = -6*n + n - 10. Is 19 a factor of l(n)?
True
Suppose 0 = 5*b - 2 - 43. Is b a multiple of 2?
False
Let c be 0*2/(-4) + 48. Suppose -2*o + 5*x + 61 = 6, 9 = -3*x. Let z = c - o. Is 16 a factor of z?
False
Let p = -222 - -354. Is p a multiple of 22?
True
Let q be 68/(-3) + (-2)/(-3). Let r be (q/33)/(1/(-12)). Suppose -5*u = 3*y - r, 5*u + 32 = 5*y - 8. Does 3 divide y?
True
Suppose 3*j = -3*j + 228. Is 6 a factor of j?
False
Let y(d) = 8*d**2 - 7*d - 6. Let i(f) = -f**2 + f + 1. Let p(o) = 6*i(o) + y(o). Does 11 divide p(-3)?
False
Is 41 a factor of (-12)/(-9)*-3*277/(-4)?
False
Suppose -45 - 27 = -4*o - 4*z, -2*o = -2*z - 36. Is 5 a factor of o?
False
Let p be (14/(-5))/(1/(-5)). Suppose -5*x + p = h, -h = 3*h + 4*x - 56. Is 7 a factor of h?
True
Suppose 0 = 3*x + 1 - 7. Let p be 20/12 - x/(-6). Suppose -2*h + 4*n = p*h - 136, -73 = -2*h + n. Does 18 divide h?
False
Let o(a) = 17*a**2 - 4*a - 7. Let w be o(-5). Let c = 236 - w. Is c/(-18) + 8/(-36) a multiple of 7?
False
Let t(c) = -3*c + 14. Let j be t(10). Does 17 divide j/(-56) - 248/(-14)?
False
Suppose -2*p - 123 = -33. Is 8 a factor of (-1090)/p + (-4)/18?
True
Let n(w) = w**3 + 9*w**2 - 10*w + 5. Let s be n(-9). Let f(r) = 12*r + 1. Let i be f(5). Let p = s - i. Does 11 divide p?
False
Suppose 0 = 3*n + 3*i - 147, -9 = -3*i - 3. Is n a multiple of 30?
False
Let t = 6 - -8. Let a = 38 - t. Is 24 a factor of a?
True
Let z = -4 - -1. Suppose -4 = -5*o + 1. Let w = o - z. Is w a multiple of 3?
False
Suppose 44*l = 43*l + 16. Does 7 divide l?
False
Suppose c - 37 = -5*w, -3*w + 0*w = -5*c - 39. Suppose f - 1 = w. Is 4 a factor of f?
False
Let v(g) = -2*g - 3. Let p be v(-3). Suppose -r + 10 = -2*q, -p = -2*q - 9. Does 4 divide r?
True
Suppose -2*b + 4*q - 36 = -0*q, 0 = -3*b - 4*q - 14. Is 10 a factor of ((-4)/b)/(2/160)?
False
Suppose -s - z = -119, s - 4*z + 0*z = 129. Does 7 divide 4/(-14) - s/(-7)?
False
Let b(g) = -28*g - 72. Is 12 a factor of b(-6)?
True
Suppose -3*f = -0*f. Suppose 5*z = 4*v + 31, f = -4*z + 5*v - v + 28. Let h(t) = 3*t**2 - 2*t - 4. Is 12 a factor of h(z)?
False
Let y = 0 + -8. Let d = 31 + y. Is d a multiple of 9?
False
Suppose 2*x = 5*d - 896, -3*d - x + 709 = d. Is d a multiple of 27?
False
Suppose 0 = 4*l - 12, 0 = -2*d + 2*l + 112 + 106. Does 28 divide d?
True
Suppose 2*x - x + 47 = -5*y, -x - 47 = -3*y. Let u = 70 + x. Does 13 divide u?
False
Let q be ((-2)/5)/(2/(-10)). Let h be q/8 + (-18)/8. Is 4 a factor of h/7 + (-74)/(-14)?
False
Let n(l) = l + 10. Let t be n(-8). Suppose 4*r = 5*d - 425 + 129, 3*d + t*r = 182. Does 12 divide d?
True
Let t be (-12)/5*30/(-9). Suppose -3*c + 1 = -t, -4*i 