ivide a?
True
Suppose 0 = 2*g + 5*x - 24, -4*x + 14 = -0*g - g. Suppose -4*t - g*h = t - 106, -56 = -3*t - 5*h. Is t a multiple of 10?
False
Let j be (4 + 0)*30/(-8). Let k = 12 - j. Is 8 a factor of k?
False
Suppose 3 = 2*q - 5. Let u be 6/q*(-8)/(-3). Does 2 divide (u - 4) + (1 - -1)?
True
Let c = 0 - 2. Let b be 7/(7/12) - 3. Let d = b + c. Is 3 a factor of d?
False
Suppose z + 10 = 29. Does 5 divide z?
False
Suppose 5*k = 4*j + 8, 27 = 2*k + 4*j + 7. Suppose 9*f = k*f. Suppose f = h - 2*h + 39. Is 14 a factor of h?
False
Let p = 93 + -48. Let t = p - 22. Does 12 divide t?
False
Suppose -4*o + 0*y + 584 = 5*y, y = -2*o + 298. Suppose t + 3 = 2*l, -5*l = -0*t + 3*t - 2. Suppose l - o = -5*k. Is k a multiple of 15?
True
Suppose -5*x - 36 = -4*a, -2*x + 28 = -7*x + 2*a. Let k(g) = 9*g - 3*g - 5 - 2*g + 10 + g**2. Does 5 divide k(x)?
True
Let v = 23 + 11. Suppose 0 = 4*t + v + 22. Does 9 divide 1/2 + (-315)/t?
False
Suppose -2*j = -5*i - 7*j + 50, i - 4*j - 15 = 0. Does 11 divide i?
True
Let b = 21 - 14. Is 7 a factor of b?
True
Let w = 7 - 44. Let r = -21 - w. Is 16 a factor of r?
True
Let j(r) = 6 - r**2 - 2 + 3*r - 2*r. Let n be j(3). Is (-1 - -35) + (-2)/n a multiple of 19?
False
Let j = -110 + 316. Suppose 3*v = 5*v - j. Suppose 4*m - 2*x = 66, 4*m = x - 40 + v. Is m a multiple of 15?
True
Let o = 11 - 15. Let a(w) = 13*w + 2. Let s(f) = 12*f + 3. Let d(v) = o*s(v) + 5*a(v). Is 16 a factor of d(2)?
True
Suppose -4*t = -t + 2*s - 26, 2*t + 3*s = 9. Let b be (-1)/4 + 15/t. Let j(u) = 11*u + 1. Is j(b) a multiple of 5?
False
Suppose 0 = 2*y - 4 - 2. Suppose -y*l - 12 = l. Let m = l + 5. Is m a multiple of 2?
True
Suppose 2*h + 7 - 1 = 0, 2*n = h + 19. Let u(o) = o**3 - 9*o**2 + 10*o - 5. Is 11 a factor of u(n)?
True
Let c be ((-4)/(-2))/(5/470). Suppose -7 = -5*x + c. Is x a multiple of 21?
False
Let b = 21 + -33. Let k be 1/2 + (-558)/b. Suppose -k = -5*l - 2*z, -5*l + 5*z + 15 = -25. Is l a multiple of 4?
False
Suppose 3*a = 2*i + 116, -4*i + 2*i = 4*a - 136. Is 12 a factor of a?
True
Let o = 112 + -48. Is 6 a factor of o?
False
Let w = -4 + 5. Let u = 3 + w. Is u a multiple of 3?
False
Let k = 362 - 258. Is 23 a factor of k?
False
Let y(r) = 0*r**3 - 2*r**3 - r + 7 + r**3. Let k = -39 + 39. Is y(k) a multiple of 7?
True
Let o be (-3)/(2 - 5/2). Suppose o*k - k - 65 = 0. Does 12 divide k?
False
Suppose -32*o - 414 = -34*o. Is 30 a factor of o?
False
Suppose 3*r = -2*r + 25. Suppose m + 145 = 3*w, -2*m + 5 = r*w - 233. Does 16 divide w?
True
Suppose -3*q - 4*j = -103, 2*j - 135 = -4*q - j. Is q*(-4)/(-12)*3 a multiple of 11?
True
Let h be (-26)/(-6) - (-2)/3. Suppose -h*l - 24 = -199. Is 15 a factor of l?
False
Let q(n) = -n**2 - 6*n + 4. Let g be q(-6). Let a(v) = 7*v**2 + v**2 - v**2 - g*v + 2. Is a(2) a multiple of 11?
True
Let g(u) = -3*u**2 + 7*u**2 - 1 - 3*u**2 - 3. Is g(4) a multiple of 4?
True
Let u = -4 + 3. Let g = u - -5. Suppose -g*c + 24 = -2*c. Is 6 a factor of c?
True
Suppose -5*m - 3*v - 52 = 0, -4*m + 4 = -3*m - 3*v. Let l = -20 + 21. Does 3 divide m/(-4) - (l - 3)?
False
Suppose 0*a = -2*a. Suppose 0 = -n + 2*j + 7, -2*n + a*n + j + 11 = 0. Suppose l = -4*u + 66, -99 = -n*u + l - 12. Does 17 divide u?
True
Let f(w) = 3*w - 18. Is f(8) a multiple of 2?
True
Let f(t) = t**2 + 4*t - 5. Let r be f(-6). Suppose r + 2 = 3*a. Suppose -a*s + 9 = -6. Is s even?
False
Let s(o) = -1 - 3 + 3*o + o**3 + 2*o**2 - 2*o**3. Does 15 divide s(-3)?
False
Is 16/(-4 - 0) + 49 a multiple of 45?
True
Let j(z) = 4*z**2 + z + 3. Is j(-3) a multiple of 12?
True
Let h = 41 - 29. Does 6 divide h?
True
Let m be ((-1)/(-3))/((-2)/(-12)). Suppose 3 = -m*n + 109. Does 25 divide n?
False
Let l(v) = 2*v**2 - 3*v - 9. Is l(7) a multiple of 15?
False
Suppose m + 2 - 13 = 0. Is 11 a factor of m?
True
Suppose 3*n + 4*g = 0, 0 = -n + 2*g + 3*g. Suppose -2*d - 14 = -c, n = 2*c - d - 0*d - 22. Is c a multiple of 6?
False
Let k = 7 + -3. Suppose -k*n - 43 = 37. Let w = 56 + n. Does 17 divide w?
False
Is 5 a factor of (-4260)/(-44) - 2/(-11)?
False
Let h = 11 - 7. Suppose -h*w + 150 = w. Does 11 divide w?
False
Let i = -22 - -31. Let v = 15 - i. Suppose a = v*a - 10. Is a a multiple of 2?
True
Let b(o) = -o**3 + 8*o**2 - 5*o - 8. Let x(g) = -g**2 + 11*g - 11. Let f be x(9). Is b(f) a multiple of 3?
True
Suppose -s + 108 = 4*k - k, -s + 108 = k. Does 9 divide s?
True
Let o = -64 + 109. Is o a multiple of 8?
False
Suppose 0 = -3*j + 9*c - 4*c + 235, -j = -2*c - 79. Does 25 divide j?
True
Suppose 0 = -2*i, -w - i = -17 + 92. Let n = 7 - w. Does 24 divide n?
False
Does 13 divide (-10)/(-90) + (-2932)/(-18)?
False
Does 20 divide ((-3)/(-1))/(3*2/304)?
False
Let n = 13 + -7. Let i be 2/3 - (-2)/n. Is 5 a factor of 9 + (1 - 1 - i)?
False
Suppose -496 = -2*x - 2*x. Does 26 divide x?
False
Does 20 divide ((-54)/72)/((6/(-392))/3)?
False
Is (5/7 - 5)*14/(-3) a multiple of 4?
True
Let w(x) = 62*x**2 + 4. Is 36 a factor of w(2)?
True
Suppose 9 = -2*j + 3*j. Is 2 a factor of j?
False
Let k = 9 - -39. Suppose 2*h - 32 = k. Does 14 divide h?
False
Let j = -8 + -8. Let y be ((-1)/(-2))/((-2)/j). Suppose -l = l - y. Is 2 a factor of l?
True
Let i = 64 - 39. Suppose 7 = -y + v, 4*y - v = 4*v - 23. Let z = y + i. Does 13 divide z?
True
Let j(a) = a**3 - 8*a**2 + 5. Let i be j(8). Suppose -68 - 57 = -i*s. Does 17 divide s?
False
Suppose 3*h - 2 = 2*h. Suppose 5*b + 3*p - 35 = 64, -b + h*p + 12 = 0. Is b a multiple of 8?
False
Let q(m) = 2*m + 5. Let p be q(6). Let b = p - 1. Suppose b = -2*a + 3*a. Is 8 a factor of a?
True
Let l be ((-6)/(-7))/(2/42). Suppose -4*j + 2*w = -66, 3*w = -2*j - w + l. Does 10 divide j?
False
Suppose 2*c + 5*k = 95, 0*c - k + 162 = 3*c. Suppose -3*q + 29 = -c. Is 10 a factor of q?
False
Let t(a) = a + 1. Let f be t(4). Let j = -26 + 30. Suppose -x + 2*x = 3*h + 9, j*x - f*h - 64 = 0. Is 11 a factor of x?
False
Suppose 4 = 3*f + 19, 2*b - f - 203 = 0. Is 33 a factor of b?
True
Let c(s) = -s**2 + 26 + 0*s - 4*s + 5*s. Is c(0) a multiple of 13?
True
Suppose 0*q + 3*d - 63 = -3*q, -4*q + 4*d = -60. Is 3 a factor of q?
True
Let m = -3 + 0. Does 5 divide (-122)/(-12) + m/18?
True
Suppose 3*x - 2*c = -5*c + 57, 0 = -3*x - 4*c + 57. Is 19 a factor of x?
True
Let g(s) = 4 - 2 - 4 + 5*s**3 - s - 3*s**3 - 5*s**2. Is g(4) a multiple of 21?
True
Suppose 0 = 5*d - 5*l - 125, 3*d - 5*l + l = 75. Suppose 3*o - d - 22 = 2*u, -2*o - 3*u + 27 = 0. Is 5 a factor of o?
True
Suppose 3*p = -p. Suppose p = 2*i + i - 111. Does 13 divide i?
False
Let i(n) = 2*n**2. Is 3 a factor of i(-2)?
False
Let h(r) = -r**3 - 7*r**2 + 7*r + 1. Let y be h(-8). Let v = -4 + y. Is v a multiple of 5?
True
Let x = -12 - -17. Is 4 a factor of x?
False
Let p = 4 - 2. Suppose p*n + n - 42 = 0. Is (24/14)/(2/n) a multiple of 9?
False
Let q(j) = 2*j**3 - 7*j**2 - j - 7. Suppose 3*x - 4*x = -5. Let c be q(x). Does 9 divide (4/3)/(3/c)?
False
Let b(v) = 5*v**2 + 6*v + 4 - 6*v + 3*v. Is b(-3) a multiple of 10?
True
Suppose -3*f + 135 = -2*x, -36 = -f - 2*x + 9. Does 11 divide f?
False
Let u be (-1)/3 + (-1)/(-3). Let m(d) = -4*d - 3. Let y be m(-5). Let t = y + u. Is 10 a factor of t?
False
Let t be (-11 - -7)/((-1)/5). Let f = -4 + t. Is f a multiple of 8?
True
Let j = 225 - 137. Is 8 a factor of j?
True
Let x(v) = 6*v**2 + 5*v - 5. Is x(3) a multiple of 16?
True
Suppose 0*k - 115 = -5*k. Suppose -2*p = -k - 7. Is p a multiple of 5?
True
Let d = 159 + -63. Is 29 a factor of d?
False
Suppose -3*t - 6 = 0, 5*t = 3*y + t - 98. Suppose 0 = -5*q + 5*u + 10, 3*q + 0*q - y = -5*u. Is q a multiple of 5?
True
Let h = -128 - -213. Is h a multiple of 17?
True
Let m = 7 - 6. Let k be 0 + m + (-1 - -2). Is (-1)/((-3)/18*k) a multiple of 2?
False
Suppose -2*q - 3*k + 6 = 0, q - 5 = -k - 2. Let h be (-2)/6 + 4/q. Suppose d = 13 + h. Is 5 a factor of d?
False
Suppose 4*q + 2 = -2*p, -3*q + 4 = -3*p + 19. Suppose -2*a = a + 2*f - 87, 5*a = p*f + 126. Is a a multiple of 9?
True
Does 7 divide (-167)/(-5) - 4/10?
False
Does 17 divide ((-4)/(-2))/((-4)/(5 - 73))?
True
Suppose 8 = 4*t - 2*t - 2*v, 4*v + 6 = -t. Suppose -3*d + 0*i + 26 = t*i, 2*d - 2*i = 34. Suppose 0*y = -2*y + d. Is y a multiple of 4?
False
Let n = 57 - 38. Does 4 divide n?
False
Let i(r) = r**2 - 4*r + 9. Is i(5) a multiple of 7?
True
Let x be 6/(-9)*(-36)/