Is 4 a factor of f?
True
Suppose -2*q - 28 = -4*q. Let s = 34 - q. Is 8 a factor of s?
False
Let q = -26 + 38. Suppose 21 = 3*n - q. Does 7 divide n?
False
Suppose -4*u = 4*h - 16, 2*u - 11 = 4*h + 3. Suppose j = 5*s - 5, 3*s = u*s + j - 9. Let b = s + 21. Is b a multiple of 9?
False
Let c(u) = -u**2 - 7*u + 5. Let v(a) = 5*a + 3. Let f = 2 - 4. Let h be v(f). Does 3 divide c(h)?
False
Is 14 a factor of ((123 + -3)/3)/((-4)/(-10))?
False
Let d(b) = 42*b**3 - b**2 + b. Is 8 a factor of d(1)?
False
Let x(k) = -k**3. Let v be x(0). Suppose v = 2*i - c - 0*c + 2, 2*c = 4. Does 16 divide (i + 76)*2/4?
False
Is ((4 - 277)/(-3))/1 a multiple of 20?
False
Let u = 10 + -6. Suppose u*i - 45 = i. Is i a multiple of 15?
True
Let g be (700/(-21))/((-2)/30). Is 25 a factor of ((-2)/5)/((-2)/g)?
True
Let g(m) = -m - 1. Let c be g(-6). Let o = c + 5. Is 5 a factor of o?
True
Suppose -5*w + 15 + 25 = 0. Suppose 16 - w = a. Is a even?
True
Suppose -3*w + 2*n + 503 = 0, -2*w - 6*n + n + 310 = 0. Is 15 a factor of w?
True
Is 13 a factor of (438/21)/(2/7)?
False
Suppose 3*y = -0*y + 3*j + 6, 0 = 4*j. Suppose -5*r + 70 = 5*s, 4*r + y*s + s - 56 = 0. Does 7 divide r?
True
Suppose -2*r = -4*f - 20, 0 = -3*r - 5*f + 3*f - 2. Let c = 7 - r. Suppose -4*n - 23 = -4*v + 53, -c*v = 5*n - 75. Does 17 divide v?
True
Let m be (48/60)/(1/10). Let u = m + 15. Is u a multiple of 8?
False
Is 3 a factor of (1 - -11 - 2)*1?
False
Let n(c) = 16*c + 18. Is n(3) a multiple of 11?
True
Let t(x) = -x**2 - 5. Let r be t(0). Let h = r + 3. Does 14 divide (9/(-2) - h)*-14?
False
Suppose -9 + 1 = 2*p. Let j be (-27)/p - 1/(-4). Let v(o) = o**2 - 4*o + 1. Is v(j) a multiple of 11?
True
Suppose -4*s + 4 + 12 = 0. Is (-17)/(-5) + s/(-10) a multiple of 3?
True
Let g(j) = -3*j - 9. Does 12 divide g(-13)?
False
Does 4 divide (-6)/(-15) + 1782/45?
True
Let m(k) = 2*k**3 + 6*k - 4. Is m(3) a multiple of 17?
True
Let b = -56 + -25. Let c = b + 115. Is 17 a factor of c?
True
Suppose 2*r = -r + 210. Is 11 a factor of r?
False
Let b(p) = -p**2 + 11*p + 1. Let o be b(11). Suppose -7 = -z + o. Is 3 a factor of z?
False
Is 20 a factor of 4/22 + 4 + (-1268)/(-44)?
False
Let x = -12 - -43. Does 18 divide x?
False
Let x = 23 + -11. Does 4 divide x?
True
Suppose 5*j - 10 = 0, 0 = -4*m - 4*j - j + 34. Does 13 divide m/4 + 567/14?
False
Suppose -g + 201 = d, -g + 3*g + 822 = 4*d. Suppose -4*i + d = 8. Is i a multiple of 13?
False
Let n(m) = 8*m - 43. Is 23 a factor of n(14)?
True
Is 37 + 5 + 0 + -2 a multiple of 11?
False
Is 126/(-10)*(-30)/9 a multiple of 4?
False
Suppose -4*z + 171 + 17 = 0. Suppose 73 = 3*x - 0*j + 2*j, -2*x + z = j. Does 15 divide x?
False
Does 11 divide ((-3686)/38)/((3 - 2)/(-1))?
False
Let f be (-10)/(-5) + 5*1. Suppose -f*w + 153 + 141 = 0. Is 7 a factor of w?
True
Suppose -5*y - 8 = -788. Does 16 divide y?
False
Let g be 5/(-10) + 2/4. Suppose g = u + r - 1, -4*u + 3 = 2*r + r. Suppose -y - 3*l = -u*y - 2, 3*y - 54 = 3*l. Is y a multiple of 7?
True
Suppose 0 = -2*m, -4*d - 5*m - 21 - 3 = 0. Is 12 a factor of ((-2)/d)/(2/186)?
False
Let o be (-30)/(-4)*(-2)/3. Let i be (-57)/(-15) + (-1)/o. Suppose -4*q - 26 = -i*w - q, -2*w + 6 = -5*q. Is 4 a factor of w?
True
Let h be 0 - 0/(2 + 0). Suppose 3*w = 2*n + 2*n - 22, 4*n + 2*w - 12 = h. Is 3 a factor of n?
False
Let p = 6 - -13. Does 19 divide p?
True
Let j be (-3)/(1/(-1))*3. Let b(w) = -w**3 + 9*w**2 + 3*w - 10. Is b(j) a multiple of 9?
False
Suppose 10 = 9*j - 4*j. Is j a multiple of 2?
True
Suppose -2*r + 15 - 3 = d, 3*r = -3*d + 24. Suppose -r*w + 2*w = -30. Is 9 a factor of w?
False
Let k be 4/(-4) - (-14 + 0). Suppose 0 = -4*j + 85 - k. Does 18 divide j?
True
Suppose -l - 1 = -20. Let r = -10 + l. Let b(w) = w**2 - 8*w + 4. Does 13 divide b(r)?
True
Suppose 4*j + 58 = 294. Suppose -4*d + 125 = -j. Is 15 a factor of d?
False
Let p(d) = -9*d - 2 + 57*d + 4 + 1. Let x be p(3). Suppose -5*f - g + x = 0, 3*g + 81 + 29 = 4*f. Is f a multiple of 12?
False
Let y = -25 - -35. Let j = y + -2. Suppose -3*p - 25 = -j*p. Is p a multiple of 5?
True
Let n(l) = -4*l**3 + 2*l**2 + 4*l + 2. Let b be n(-2). Suppose -5 = 5*g, 3*g = 2*i - 7 - b. Is i a multiple of 14?
False
Suppose 0 = -3*h - 13 + 103. Does 11 divide h?
False
Suppose -687 = -7*l - 8. Does 7 divide l?
False
Let i = 112 - 80. Does 8 divide i?
True
Is (1/3)/(3/693) a multiple of 11?
True
Let h = -27 - -152. Is 25 a factor of h?
True
Suppose 5*q - 560 = -5*q. Is 14 a factor of q?
True
Let w = 11 + -6. Suppose 5*r - h = 970, 1000 = w*r - 0*r + 5*h. Suppose 5*k - r = 5*n - 0*n, 4*k - 177 = -3*n. Does 17 divide k?
False
Suppose -3*h = -2*h - 46. Suppose v - 112 = -v - w, v - 2*w - h = 0. Is v a multiple of 18?
True
Let j(g) = 6*g - 9. Is 35 a factor of j(19)?
True
Suppose -13*h = -10*h - 96. Is h a multiple of 8?
True
Let b be (-6)/(-9) - (-29)/(-3). Let t = b + 17. Is 8 a factor of t?
True
Suppose 1 = c - 10. Let n(w) = -w**2 + 12*w + 16. Is n(c) a multiple of 9?
True
Let b be 3/5 - 32/(-5). Let l(q) = -q**2 + 3*q + 12 - 3 + b*q. Is l(9) a multiple of 9?
True
Let h(z) = z**3 - 4*z**2 + 5*z - 11. Is h(5) a multiple of 2?
False
Suppose 4*j + 7 = -f, -3*f + 4*j = 3*j + 47. Let v be (-3)/(-2)*40/f. Does 9 divide 1*6/v*-6?
True
Suppose -4*n = -5*t - 164, -2*t + 18 + 10 = n. Is n a multiple of 9?
True
Let f(t) = 4*t - 7. Suppose 102 = -0*w + 2*w. Suppose 18 = 3*y + b, -5*y + 3*b - 21 = -w. Is 7 a factor of f(y)?
False
Suppose 2*x - 2 = 0, k - 5*x + 30 = -4*k. Let p(h) = h**3 - 7*h**2 + 8*h - 1. Let a be p(6). Let o = a + k. Is o a multiple of 3?
True
Is 17 a factor of 2/(-6) + ((-3080)/(-15))/4?
True
Suppose -3*w = 3*o, -3*w = -o + 3*o - 5. Suppose 4*h - w*h - 21 = 0. Let u = h + 39. Does 6 divide u?
True
Let c(g) = -7*g**2 - 4*g + 1. Let s be c(-3). Suppose 3*m = 3*o - 8*o + 20, 3*m - 2*o - 13 = 0. Is ((-6)/4)/(m/s) a multiple of 7?
False
Suppose 4*x = 5*f - 2*f + 3, x + 3*f - 12 = 0. Is 11 a factor of (0 - x)*(-15 - -4)?
True
Suppose -139 = -3*t - u + 2*u, -4*t - 3*u = -181. Is t a multiple of 14?
False
Does 4 divide (-12)/18 + 38/3?
True
Let s(l) = 3*l - 3 + 8 + 4*l. Let z(w) = -w**2 - 10*w + 15. Let d be z(-11). Does 11 divide s(d)?
True
Let j be (-26)/(2 - 0)*-2. Suppose 3*b - 92 + j = 0. Is b a multiple of 9?
False
Suppose 19 - 3 = -2*b. Does 10 divide b/(-36) + (-88)/(-9)?
True
Suppose -5*f - 4 = 1. Let x be f*2*(0 + -1). Suppose 0 = -j + 4*j - 4*c - 67, -j = x*c - 29. Is 12 a factor of j?
False
Suppose -4*t - 4*x = 28, -2*x - 10 = 5*t + 13. Is 3 a factor of 9 + t - (0 + 0)?
True
Let g(k) be the first derivative of -71*k**4/4 + k**3/3 - k - 5. Is g(-1) a multiple of 18?
False
Let m be 12/2*2/3. Suppose 1 = -m*r + 73. Does 9 divide r?
True
Let p(a) = a**3 + 8*a**2 - 10*a. Is 16 a factor of p(-8)?
True
Suppose -3*r = -4*u + 1, 5*r - 13 = -0*r + 3*u. Suppose 0 = r*c + 19 - 79. Is 8 a factor of (c/(-5))/((-9)/60)?
True
Let m(c) = -c**2 + 16*c - 4. Suppose 0 = -5*d - 4*q + 32, 5*d + 8*q = 3*q + 30. Does 20 divide m(d)?
True
Suppose 4*x - 4*y - 128 = 0, -4 = -y + 5*y. Suppose -q - 3*u - u = -14, 5*u - x = -2*q. Is q a multiple of 6?
True
Let v be (0*(-3 - -4))/(-1). Let c(h) = -h + 16. Is 16 a factor of c(v)?
True
Suppose -2*n + 204 = n. Suppose -n = -2*x + 4*x. Is 17 a factor of x/(-3 + 2) + 0?
True
Suppose -26 = -2*a + p, 2*a - 15 = -4*p + 21. Suppose 2 = t - a. Is t a multiple of 8?
True
Suppose 0*c - c + 5*r = -103, -5*c + 4*r + 410 = 0. Is c a multiple of 14?
False
Let q(z) = z + 11. Is q(10) a multiple of 7?
True
Suppose 84 = 5*t + t. Is 2 a factor of t?
True
Suppose 0*h - 2 = -h. Let z be (0 - 1)*54/h. Is z/(-5) - (-6)/(-15) even?
False
Suppose -1362 = -5*a - 3*x, 4*x - 2*x + 1342 = 5*a. Does 15 divide a?
True
Let i be (-68)/(-5) + (-6)/(-15). Does 2 divide (1 + i)/3 - 3?
True
Let g = -291 - -417. Is 21 a factor of g?
True
Let r = 202 - 120. Is r a multiple of 47?
False
Is 3*(-6)/45*285/(-6) a multiple of 4?
False
Suppose r = -0*r + 2. Suppose v + 22 = r*v. Suppose 2*k - v = -2*j - j, 32 = 4*j + 2*k. Is j a multiple of 4?
False
Let b(o) = o**2 - 8*o - 13. Is 20 a factor of b(11)?
True
Let u(f) = 2*f**2 + f - 1. Let l be u(3). Suppose -55 + l = -5*w. Is 7 a factor of w?
True
Suppose 35 = 5*s - 530. Is 44 a factor of s?
False
Let o(h) = -h**2 + 4*h - 2. Let b be o(2). Is b + -5 - 16/(-1)