 Is 5 a factor of r(w)?
True
Let j = 7 + 35. Does 40 divide j?
False
Let o be (1 - 0)/((-1)/(-67)). Suppose f + 5*s = -22, 0 = -2*f - 5*s - o + 3. Does 7 divide 1*f/(-3) + -2?
False
Let m be 2/6 + (-52)/12. Let f = 10 - m. Is 4 a factor of f?
False
Suppose 0 = -3*p + 14 + 58. Suppose 6*c - 2*c - p = 0. Is c a multiple of 2?
True
Suppose 3*p = -3*b + 12, -4*b = -2*p - 2*p - 24. Suppose -48 - 6 = -3*v + 3*d, -2*d + 111 = b*v. Does 8 divide v?
False
Let f(i) = 3*i**2 + 8*i + 18. Is 5 a factor of f(-4)?
False
Suppose -4*g = g - 5. Let w(q) = 31*q. Is 11 a factor of w(g)?
False
Suppose 3*q - 14 = 82. Let l = -17 + q. Is l a multiple of 15?
True
Let v(o) be the third derivative of o**5/60 + o**4/8 - o**3/6 + 2*o**2. Is v(-7) a multiple of 18?
False
Let s be 36/6 + (1 - 4). Suppose -s*t = t - 184. Is t a multiple of 23?
True
Let f be 8*(45/12)/5. Suppose -d + 4 = 0, 5*l = 3*d + f + 12. Is 6 a factor of l?
True
Let m be 20/3 - (-2)/(-3). Suppose -m = -4*w + w. Suppose -42 = -2*i + 5*c, -4*c = -2*i + 44 - w. Is i a multiple of 9?
False
Does 17 divide 35/1 + 0/2?
False
Let n = 8 + 24. Does 11 divide n?
False
Let r(f) = f - 2. Let n be r(2). Suppose n = 3*w + w - 8. Suppose 2*i = -5*y + 26 + 16, 3*i + 32 = w*y. Is y a multiple of 10?
True
Let n(r) = 4*r + 4. Let z(a) = a**3 + 4*a**2 - 5*a + 2. Let w be z(-5). Suppose -4*t + g + 20 = 0, 2*t + w*t - 5*g = 4. Is n(t) a multiple of 14?
True
Let w = 212 - 117. Let f = -32 + w. Is 21 a factor of f?
True
Let d(k) = -k + 2. Does 9 divide d(-7)?
True
Let b = 75 - 131. Is 1*3 - (-2 + b) a multiple of 22?
False
Let c be ((-12)/15)/((-6)/105). Let z be 2/(c/(-18) + 1). Let h(j) = 3*j + 4. Does 11 divide h(z)?
False
Suppose -8 = -3*u - 2. Let i be 1*-2 + (152 - u). Suppose 4*r - i = -5*h, 5*h + 74 = 5*r - 66. Is 16 a factor of r?
True
Let l(z) = 6*z**2 + 8*z + 14. Does 33 divide l(-7)?
False
Suppose 8 + 1 = -2*r - 3*i, 2*r - 3 = i. Let f be r*(-1)/(-3) - -6. Suppose -n - 3*q = -49, n - 3 - f = 5*q. Is n a multiple of 17?
True
Suppose 0 = -3*y - 2*s + 74, -s - 117 = y - 5*y. Is y a multiple of 14?
True
Suppose 4*y = -4*f + 2*y + 128, 0 = f + 5*y - 23. Let q(p) = p**3 - 6*p**2 + p - 3. Let i be q(6). Suppose i*u = 6*u - f. Is u a multiple of 5?
False
Let g be (-190)/(-25) + 2/5. Let m be (8/6)/((-4)/(-42)). Let l = m - g. Does 6 divide l?
True
Suppose 0 = 5*x - 14 + 34. Is 3/(2/(-40)*x) a multiple of 15?
True
Suppose n - 6*n = 5*l - 275, -5*l + 122 = 2*n. Suppose 21 + n = 2*t. Is 12 a factor of t?
True
Suppose r + 4*r = 3*v - 139, 3*v - 127 = -r. Does 20 divide v?
False
Suppose 0 = -l + x - 4, 0 = -4*l - x + 14 - 5. Is 24*1 - (l - -3) a multiple of 4?
True
Let j(w) = 31*w. Let c be j(1). Suppose -3*t + c + 59 = 0. Does 12 divide t?
False
Let u = 25 + -19. Suppose u*o - 9*o + 294 = 0. Is o a multiple of 13?
False
Is 9/(36/8) + 2 a multiple of 4?
True
Is 3/(-12) - (-345)/4 a multiple of 43?
True
Let i(a) = -a**3 + 10*a - 4. Does 16 divide i(-5)?
False
Let b = -598 - -846. Does 31 divide b?
True
Let u(s) = s**3 - 10*s**2 - 3. Let q be u(10). Is 21 a factor of q - 152/(-1 - 1)?
False
Suppose 2*j - 10 = -0*j. Suppose -160 + 6 = -j*t - 3*c, 2*t + 2*c - 64 = 0. Does 13 divide t?
False
Suppose -3*p - 6 = 0, 2*c + 5*p = -0*p + 18. Is 14 a factor of c?
True
Suppose 0*h + 12 = 2*i + 2*h, 4*i = -3*h + 22. Let a = i + 5. Does 4 divide a?
False
Let t be (10*3)/(2/4). Suppose c = -c + t. Is 15 a factor of c?
True
Let d(k) = -2*k + k**2 - 2 - k + 0*k**2. Does 2 divide d(4)?
True
Let c = -279 - -136. Let n = -102 - c. Is 15 a factor of n?
False
Let i be (-26)/4 + 3/6. Let t(k) = -k**2 - 8*k + 2. Is 14 a factor of t(i)?
True
Let b be (-1 + -11)*8/(-3). Does 12 divide (39/52)/(2/b)?
True
Let j be (-13)/(-3) - 6/(-9). Suppose -g + 5*w - 2*w = -j, 3*g + 4*w - 15 = 0. Suppose -5 = -g*s + 15. Is s a multiple of 4?
True
Let l be ((-24)/(-16))/((-2)/4). Does 19 divide l + 5/(10/56)?
False
Let t be ((-9)/(-6))/(3/(-18)). Is 6 a factor of 3/t + (-74)/(-6)?
True
Suppose -606 = -4*v - 3*m, 5*m - 460 = -3*v - 0*v. Is v a multiple of 30?
True
Let v = -18 - -31. Is v a multiple of 13?
True
Let h(x) = x**2 + x + 1. Let c be h(-2). Let y(i) = 20*i. Let q be y(3). Suppose -c*s - 2*u = s - q, -66 = -5*s + 2*u. Does 14 divide s?
True
Let c = -5 - -5. Suppose c = -4*q - 2*h + 24, -2*h + 5 = 2*q - 11. Does 2 divide q?
True
Let r(c) = c - 3. Let i be r(3). Suppose -2*y + i + 8 = 0. Suppose -3*p + 4*m = -p - 96, -p = y*m - 42. Is 20 a factor of p?
False
Let r be (3 + -1)*(3 + -2). Suppose 3*k = r*a, -a + 4*k - 5 = -0. Suppose 0*d + 99 = a*d. Is 16 a factor of d?
False
Let x(a) = a**2 + 7*a + 7. Let w(u) = -u**2 - 8*u - 8. Let j(d) = 4*w(d) + 3*x(d). Let q be j(-8). Suppose -4*i + 2*v = -90, 5*v - 12 = q. Is i a multiple of 9?
False
Suppose -3*c + 0*c + 39 = 0. Let q(t) = 16 - 3*t**2 - t**2 - c - 5*t + 2*t**3. Is q(4) a multiple of 17?
False
Suppose 5*g - 3*g = 4. Let r(k) be the first derivative of k**4/4 + k**3/3 + 3*k**2/2 - k - 1. Does 17 divide r(g)?
True
Suppose 28 - 80 = -2*a. Suppose -c + 38 = -a. Is 17 a factor of c?
False
Is (2 + (-3)/(6/(-14)))*4 a multiple of 18?
True
Let b(a) = -a**2 - 5*a + 2. Let s(g) = -2*g**2 - 3*g + 4. Let p be s(-3). Let y be b(p). Suppose -x + 48 = y*x. Does 8 divide x?
True
Suppose 18 = -0*n + 3*n. Suppose -u = -n*u + 15. Is 2/((-94)/32 + u) a multiple of 16?
True
Let x be (-4)/(0/(-2) + -2). Does 28 divide (110/15)/(x/12)?
False
Suppose -y = 5*m + 3*y - 348, 0 = 4*y - 8. Is 18 a factor of m?
False
Suppose 4 = 3*i - 5. Let o(n) = -7 - 4*n + n**2 + 17 + 2*n**2 - 9. Is 7 a factor of o(i)?
False
Let r = 6 - 11. Let n = 3 - r. Does 4 divide n?
True
Suppose -10 = -5*h - 4*c - 150, h + 4*c + 12 = 0. Let n = h + 47. Does 17 divide (-2)/10 + 558/n?
False
Let v(r) be the second derivative of r**5/20 + r**4/24 - r**3/6 + r**2/2 + 2*r. Let w(q) be the first derivative of v(q). Does 11 divide w(3)?
False
Let d(c) = -13*c - 4. Suppose 0 = 6*y - 7*y - 2. Is d(y) a multiple of 5?
False
Suppose -2 = -m - 2*z, 4*z - 3 = 5*m + 1. Let l(d) = d + 27. Is l(m) a multiple of 27?
True
Suppose -5*h + i = -438, -2*h - 3*i - 258 = -5*h. Is 11 a factor of h?
True
Let o = -7 + 10. Let l = o - -2. Is l a multiple of 5?
True
Suppose l + 2*h = -l + 88, -2*l = -5*h - 53. Is 13 a factor of l?
True
Let c be (161/14)/(2/(-4)). Let g = c + 58. Is g a multiple of 13?
False
Let x = -5 + 44. Does 15 divide x?
False
Suppose 0 = 3*m + f - 145, -219 = -5*m + 5*f - f. Let s = m - 33. Is s a multiple of 8?
False
Suppose 0 = -5*g + 2*o + 92, 4*o + 96 = 5*g + 3*o. Is 5 a factor of g?
True
Let m = 145 - 83. Suppose 3*h + m = 5*y, 2*y + 2*h = -3*h. Does 4 divide y?
False
Suppose 0 = -4*z - 2*r + 4*r + 82, -4*r = 5*z - 135. Suppose 2*v - z = -5*f + 56, -f - 5 = 0. Is v a multiple of 15?
False
Let o(n) = -2 - 2 + 6 - 1 + 49*n. Is 13 a factor of o(1)?
False
Let x = 20 + -16. Is 4 a factor of x?
True
Suppose 5*u = -2*b + 195, 2*u + 1 = 3*u. Suppose b = -5*l + 5. Let m = 0 - l. Is m a multiple of 18?
True
Is 3 a factor of 14/77 + (-97)/(-11)?
True
Let j be (-1 - -203)*(-2)/4. Let q = -15 - -10. Is 10 a factor of j/q + 1/(-5)?
True
Let p(o) = o**2 + 11*o + 6. Is 18 a factor of p(-17)?
True
Let z = 2 + 2. Is (-105)/(-10)*z/3 a multiple of 14?
True
Suppose 4*r + 32 = 5*c, r + 1 = -c + 2. Let i = r - -3. Let l(q) = q + 11. Is 5 a factor of l(i)?
False
Let c(p) = p + 13. Suppose 4 = -2*a + a. Let n = a + -4. Does 2 divide c(n)?
False
Let s = 18 - 13. Suppose 4*x = 39 + s. Does 11 divide x?
True
Let o = -1 + 3. Suppose q - 42 = -u, q - o*u - 92 = -q. Is q a multiple of 22?
True
Does 9 divide (-236)/(-8) + (-2)/(-4)?
False
Let p = 84 + -157. Let x = -40 - p. Is x a multiple of 26?
False
Let q(s) = s**3 + 7*s**2 - 8*s - 18. Let l be q(-8). Let w = 14 - l. Is w a multiple of 8?
True
Let p(b) = 2*b + 13. Let t be p(10). Let n = -9 + t. Does 10 divide n?
False
Let t be -3 + (1 + 0)/1. Let v be t/5 + (-116)/10. Is 19 a factor of (v + 6)*22/(-6)?
False
Suppose 4*y + 128 = 4*s, 5*s = y + y + 154. Let i(t) = 4*t + 1. Let v be i(2). Suppose 3*q - s = v. Does 7 divide q?
False
Is 14 a factor of (-41)/(-2) + 6/(-12)?
False
Let d = 2 + -31. Let c = -2 - d. Is c a multiple of 9?
True
Suppose 5 = 2*q - 39. Let y = q + -6. Is 8 a factor of y?
True
Let a = 10 - 5. Let d be (37/2)/((-1)/(-2)). 