 - 5*r, -2*r - 130 = -5*c - 3*r. Is c a multiple of 5?
True
Is 4 a factor of (-6)/(-4)*(-40)/(-6)?
False
Let t(p) = p**2 - p - 3. Let x be t(3). Suppose x*c + 4*w = -4, c + 3*w + 2*w = -5. Suppose 0 = -c*g - 2*g + 2*u + 22, -5*u + 22 = 2*g. Is 3 a factor of g?
False
Suppose -j = j - 2*m - 6, 0 = 2*m + 6. Suppose 2*d = -j*d. Suppose -z - 5*h + 32 = d, 0 = 2*z + 5*h - 22 - 22. Does 12 divide z?
True
Let v = -4 + 6. Does 27 divide 124*((-2)/v)/(-2)?
False
Let o(u) = 19*u - 30. Is 15 a factor of o(10)?
False
Let c be (-2)/((-1 + 2)*1). Let k = 7 + c. Suppose k*m - 11 - 14 = 0. Does 3 divide m?
False
Suppose 0 = -4*w - 4*a - 44, -2*w + 45 = -7*w - 3*a. Let f be (w/(-5))/((-3)/(-15)). Is 4 a factor of (0 - -6) + f + -4?
True
Suppose -5 = -s, -p - 24 = -2*p - 2*s. Does 8 divide p?
False
Let x = 59 - -63. Suppose 5*n = 3*n - 5*o + 137, -x = -2*n - 2*o. Is n a multiple of 19?
False
Suppose -g + 4*w = -156, 0*w - 3*w + 586 = 4*g. Is g a multiple of 37?
True
Let p(z) = 4*z + 11. Let i be p(13). Suppose -2*f + i = f. Is f a multiple of 7?
True
Suppose -20 = -4*a - a. Suppose -83 = -5*v - a*f + f, -4 = -4*f. Is 3 a factor of v?
False
Let d be 4/(-2) + 12 + 2. Suppose -d = -5*u + 13. Is u a multiple of 2?
False
Suppose -b = -0 - 1. Is 7 a factor of (-272)/(-40) + b/5?
True
Suppose -8*s + 8 = -7*s. Is 7 a factor of s?
False
Suppose -3*h = 108 - 27. Let n = h + 84. Suppose -y - n = -4*y. Does 19 divide y?
True
Let s = -11 - -5. Let m = s + 16. Is 3 a factor of m?
False
Suppose -3*f - 13 = -k + 15, -2*k = -2*f - 76. Is 19 a factor of k?
False
Suppose 5*d - 11 = q, 0*q = -4*q + 16. Is 3 a factor of d?
True
Let y(w) = -w**3 + 6*w**2 + 9*w - 3. Is 13 a factor of y(6)?
False
Suppose -6 = i - 2*i. Suppose -i*b = -3*b - 72. Suppose -s - 4*c + 10 = -5, -5*s = 3*c - b. Is 2 a factor of s?
False
Let d = 98 + -46. Does 16 divide d?
False
Let v(b) = b**3 + b**2 + 6. Let q(l) = -l - 4. Let t be q(-4). Is v(t) a multiple of 6?
True
Let a = 10 + -10. Suppose 0 = y - a - 12. Is y a multiple of 8?
False
Let p(i) = -i**2 + 9*i + 1. Is 15 a factor of p(7)?
True
Let a = 15 - 11. Suppose 0*j - 4 = a*j. Does 17 divide (j - -3) + (33 - 1)?
True
Suppose 154 = 5*t + 2*t. Does 22 divide t?
True
Suppose 0 = 6*u - 13*u + 1120. Is u a multiple of 16?
True
Suppose w + 106 = 2*w. Suppose -4*n + 4*y + w = -n, y = n - 34. Is 10 a factor of n?
True
Let a(o) = o + 3. Let d(m) be the first derivative of m - 2. Let b(x) = a(x) + 2*d(x). Is b(6) a multiple of 11?
True
Suppose -2*y = 0, j - y + 0*y = -54. Let q = j - -80. Does 17 divide q?
False
Let n(a) = 8*a**2 + 3*a - 2. Is 4 a factor of n(-2)?
True
Suppose -4*k = -2*b + 22, 5*k + 6 = 3*k. Suppose 2*g + 2*d = -2*d + 44, b*d = 3*g - 44. Does 6 divide g?
True
Suppose -4*g = -b - 20, -3*g - 3*b + 4*b = -15. Suppose -2*t - l - 35 = -3*t, 0 = -g*t - 3*l + 207. Is 15 a factor of t?
False
Suppose 386 = 2*c - m, -c + m + 147 = -44. Does 15 divide c?
True
Is 14 a factor of 171*4/4*1?
False
Suppose 5*g + 137 = 4*y, 2*y - 67 = -0*y + 3*g. Is 6 a factor of y?
False
Suppose -10*t - 2*t = -1104. Is t a multiple of 23?
True
Does 6 divide (-4 + 3)*-39*12/6?
True
Suppose -2*g - 2*f - 43 = -3*f, 0 = -5*g + 4*f - 109. Let m = 33 - g. Is m a multiple of 12?
False
Suppose 5*c = -3*k + 227, -c = -7*k + 3*k - 50. Let r(u) = 2*u**2 + 3*u - 2. Let m be r(-5). Let d = c - m. Does 13 divide d?
True
Let q = 19 - -51. Is 15 a factor of q?
False
Let f = 1 - -21. Let c be ((-2)/(-4))/(9/(-18))*-41. Let g = f + c. Is 22 a factor of g?
False
Let j = 64 + 48. Is 26 a factor of j?
False
Suppose -4 = d, 0*r + 5*d = 4*r - 16. Let j(a) = 35*a + 1. Let s be j(r). Let m = s + 59. Does 9 divide m?
False
Suppose 6 = 2*w - 0. Let r(f) = 2*f**3 - 2*f**2 - 5*f + 3. Is r(w) a multiple of 6?
True
Let p(d) = 2*d**2 + 7*d + 5. Let v be p(-4). Let y(c) = 2*c - 13. Let f be y(v). Is (-114)/(-10) - 2/f a multiple of 11?
True
Suppose z = -2*z + 162. Is 9 a factor of z?
True
Let x(l) = -2*l - 8. Let n be x(-6). Suppose -12 = -4*b, b + n = u + 3. Suppose 2*s + u = h - s, h + s = 16. Is h a multiple of 13?
True
Let r(l) = 5*l + 1 + 2 - l. Let b = 4 + 0. Does 19 divide r(b)?
True
Let a = 20 + -19. Let q(k) = k**3 - k**2 - 6*k + 6. Let n be q(4). Suppose -i + n = -a. Does 11 divide i?
False
Let w be 17/4 + 5/(-20). Suppose w*f = 113 + 151. Let d = 102 - f. Does 12 divide d?
True
Suppose 18 + 72 = -5*x. Let v be (-2)/(-6) - (-168)/x. Is 7 a factor of v/(-3) - (-10 - 1)?
True
Suppose -249 = -2*y - 21. Is 19 a factor of ((-1)/3)/(-1)*y?
True
Suppose -310 = -4*b - b. Let u = 101 - b. Is (0 - u)*2/(-6) a multiple of 13?
True
Suppose -s + 4 = -1, 4*t - 119 = -3*s. Let h = t + -18. Does 8 divide h?
True
Let s be (-1)/(((-9)/(-120))/3). Let j be s/(-6)*6/5. Suppose p - j = -2*x, 5*p - 3*x = -0*x + 27. Is p a multiple of 6?
True
Let q(h) = h**2 - 7*h**2 + h**3 + 1 + 2*h - 4 - 4. Is q(6) even?
False
Let t(b) = 4 + 6*b - 2 - 2 + 2*b**2 - 2. Is t(-5) a multiple of 6?
True
Suppose 198 - 78 = 2*g. Suppose 4*m = -0*m - g. Let x = m - -45. Does 16 divide x?
False
Let p = 12 + 22. Is 17 a factor of p?
True
Let q(w) = -2*w**3 - 3*w**2. Let s be q(-2). Suppose 2*b + s - 6 = 4*l, -2*b = -2*l - 6. Suppose 5*y = b*n - 80, -2*y = -7*y + 10. Does 9 divide n?
True
Let f = -11 + 9. Does 7 divide 2 - (-24)/(0 - f)?
True
Let o(w) = w - 7. Let f be o(9). Suppose -4*l + 162 = 3*y, 2*y = 3*y - f*l - 64. Is y a multiple of 15?
False
Let s(w) = -3*w**3 - w**2 + w + 1. Let x be s(-1). Suppose 5*y + 4*k - 8 = 3*y, -4*y = -k + x. Suppose 0*q - q + 20 = y. Does 5 divide q?
True
Suppose -2*l + y = -65, 4*l = -2*y + 5*y + 129. Suppose 5*c - l = 42. Is c a multiple of 12?
False
Suppose -3*p = -n - 820, -5*p + 0*n - 5*n + 1400 = 0. Does 11 divide p/15 + 2/3?
False
Suppose 0 = c + 4*p + 17, 2 - 30 = 4*c - 4*p. Let o = 5 - c. Is o a multiple of 14?
True
Let u(o) = o**2 - 6. Let q be u(6). Let f = q - 5. Is 12 a factor of f?
False
Suppose -47 = -p + 4*u, 6*p - 2*p - u = 128. Is 2 a factor of p?
False
Let p(q) = q + 2. Let f(w) = -3*w + 2. Let t be f(-3). Is p(t) a multiple of 7?
False
Let o(f) = -f**3 - f**2 + f. Let p be o(1). Let a be 26/4 + p/2. Is ((-84)/(-9))/(4/a) a multiple of 9?
False
Let s = -5 + 8. Let a = s - 3. Suppose a*y = -2*y + 50. Is y a multiple of 9?
False
Let l = -81 - -89. Does 5 divide l?
False
Suppose 2*c - 75 = 17. Is 23 a factor of c?
True
Suppose 5*a = a + 8. Let p(q) = -4*q**2 - 3 + 4*q**2 + q**2 + a*q + 0*q**2. Is p(-7) a multiple of 9?
False
Suppose 7*v = 8*v. Let p = v + 2. Suppose x - p*x = -3. Is x a multiple of 2?
False
Suppose 0 = -p - 5 + 54. Is p a multiple of 7?
True
Let i(q) = -q**3 - 5*q**2 + 3*q - 7. Let l be i(-6). Let a = l - 8. Suppose t = 2*k - 18, a*t - 5*t - 4 = 0. Does 6 divide k?
False
Suppose -148 = -5*f - 43. Suppose -3*s + 6 - f = 0. Is 3 a factor of (-1)/(2 + 11/s)?
False
Let w be (-34)/6 + 2/3. Let k = w - -9. Let u(p) = 4*p + 3. Does 8 divide u(k)?
False
Let d(a) = -a**2 - 5*a - 2. Let c be d(-3). Suppose 2*m = -2*m + 320. Suppose -4*p + m = k + k, -5*k - c*p = -170. Is k a multiple of 15?
True
Suppose -4*n + 308 = -2*n. Does 6 divide n?
False
Suppose -4*u - 24 = -2*s, -s - 4 = u + u. Let r = u - -9. Is 3 a factor of r?
False
Let v(j) = 3*j - 12. Let t be v(8). Let q = t + -7. Is q a multiple of 2?
False
Suppose 0*c - 11 = 5*o + c, -2*o - 4*c = 8. Let t = o + 7. Suppose 0 = d - t. Does 2 divide d?
False
Suppose 5*u = 2*u + 9. Let d be -1 + 0/u + 12. Suppose 0 = w - 0*w - d. Is 4 a factor of w?
False
Suppose 23*s + 1134 = 30*s. Does 18 divide s?
True
Let o = 29 - -4. Let t = 87 - o. Suppose 3*j + 0*j - t = 0. Is j a multiple of 10?
False
Suppose 7 = -x + 2*x. Suppose -2*w = -3*c - x*w - 36, 3*c - 3*w + 12 = 0. Is (-37)/c + 4/(-14) a multiple of 5?
True
Let q(j) = j**2 - 4*j. Let t be q(5). Suppose -3*c + 63 = 3*i, t*i - 107 = -c - 2*c. Is 16 a factor of i?
False
Suppose 5*s - 2*i = 100, -5*s + i = -s - 77. Does 5 divide s?
False
Suppose 2*v + 0*v = 4. Suppose -3*d = -5*j + 407 + 64, v*j - 4*d = 180. Is j a multiple of 25?
False
Let d(f) = 14*f - 3. Let h(k) = -k. Let o(b) = d(b) + 5*h(b). Is 7 a factor of o(5)?
True
Let v be 0 + -2 + 1 + 14. Let b be v/3 + 6/9. Suppose j - 27 = -b*c, -j = -8*c + 3*c + 3. Is 12 a factor of j?
True
Suppose 5*v = 7*v. Suppose -4*f = -3*z - v*f + 90, -4*z + 