True
Let t = -6 + 5. Let b be (10/6)/(t/(-3)). Suppose -k = -b*k + 20. Is k a multiple of 3?
False
Suppose -3*a = -f - a + 10, 4*a - 40 = -3*f. Suppose 4*l + 0*l = f. Suppose l*n - 5*v = 14, -3*n + 5*n - 4*v - 8 = 0. Is n a multiple of 8?
True
Let x(k) = -4*k - 2. Let h be x(5). Let o = h + 114. Is 23 a factor of o?
True
Let z = 7 + 8. Is 2 a factor of z?
False
Let t(k) = 6*k**3 - 11*k**2 - 2*k + 2. Let l(g) be the first derivative of g**4/4 - g**3/3 - g**2/2 + 3. Let i(h) = 5*l(h) - t(h). Is 18 a factor of i(4)?
True
Let w(t) = t + 0*t + t**2 - 6*t + 1 - 5. Let p(k) = -4*k**2 + 15*k + 11. Let d(x) = -2*p(x) - 7*w(x). Is d(-5) a multiple of 6?
True
Suppose -m + 1 + 10 = 0. Let y = 6 - 5. Suppose p + y - m = 0. Is p a multiple of 5?
True
Let k(a) be the first derivative of -a**4/4 - a**3/3 + 3*a**2/2 + 2*a - 2. Is k(-3) a multiple of 6?
False
Suppose -j - j + 37 = h, -5*h - 5*j = -205. Does 22 divide h?
False
Suppose -3*g = -4*g + t + 13, 0 = 4*g + t - 77. Is 9 a factor of g?
True
Suppose 3*c + 5*r - 71 = 0, -c + 2*r - 6*r = -26. Suppose -22 = -4*s + c. Let t = s + -5. Is 6 a factor of t?
True
Suppose 0 = 19*o - 14*o - 1035. Is 28 a factor of o?
False
Suppose 0 = s - 3*q - 5 - 4, 8 = -4*q. Suppose -2 = s*u - u. Is 21 a factor of (3 + (u - -12))*3?
True
Let r = 14 + -14. Is 17 a factor of (72 + -1 - r) + -3?
True
Suppose 5*p - 1 - 9 = 0. Suppose -p*u - 16 + 74 = 0. Is u a multiple of 28?
False
Suppose -4*f + f + 69 = 0. Suppose 2*k - f = -3*t, -3*k = 2 - 14. Suppose -t*z + 26 = -134. Is 13 a factor of z?
False
Is (-484)/(-6) + 6/(-9) a multiple of 20?
True
Suppose 0 = -4*z - 3*u + 266, u - 197 = -z - 2*z. Is z a multiple of 13?
True
Let k = 12 + -12. Suppose -p - 3*s + 19 = k, -p + 5*s = -5*p + 62. Is p a multiple of 5?
False
Suppose 3*z - 613 - 122 = 0. Is z a multiple of 35?
True
Let r = 12 - -37. Let o = r + -35. Is o a multiple of 7?
True
Let l = -88 + 128. Is 10 a factor of l?
True
Suppose -23 - 25 = -2*v. Is v a multiple of 5?
False
Let f = 1 - 5. Let q = f - 5. Let l = 18 + q. Is 7 a factor of l?
False
Let t = 4 - 2. Let w be t/8 - 453/(-12). Suppose -4*m = -5*m + w. Does 17 divide m?
False
Suppose -5*o - 3*h = 22 - 55, 7 = o + h. Suppose -r + o*r + 40 = 0. Is r/(-10)*(-130)/(-4) a multiple of 13?
True
Suppose -d + 6*d = 280. Is d a multiple of 28?
True
Let s = 26 - 22. Suppose 0 = v - s. Does 2 divide v?
True
Suppose 4*a = 5*a - 5. Suppose -a*c + 70 + 30 = 0. Does 11 divide c?
False
Is 10 a factor of (-1 + (-106)/(-6))*3?
True
Let b = 15 + -8. Suppose -4*h - j - 150 = -b*h, -j = 0. Is h a multiple of 25?
True
Suppose 0 = -5*s - 2*b - 990, 3*s = 2*s - 3*b - 211. Is 15 a factor of s/(-8) + (-1)/2?
False
Let s(v) = v**3 - 3*v**2 + v. Let m be s(5). Suppose -3*n - 3*x = -174, -12 = -0*x - 4*x. Suppose -5*a + n = -m. Is 12 a factor of a?
False
Suppose l - 80 = -o, -6*l + 3*l - 5*o + 250 = 0. Is 10 a factor of l?
False
Let n = -8 + 12. Suppose 4*s - 1 = 7. Suppose -4*z = 3*b + s*b - 20, n*z - 28 = -3*b. Is 5 a factor of z?
True
Suppose 15 = 5*f - 4*k, 4*k - 3 = -2*f + 3. Is f even?
False
Let f(l) = -l + 9. Let c be f(6). Suppose 1 + c = j. Let g(b) = 12*b - 5. Does 25 divide g(j)?
False
Is 3/(18/(-744)*2/(-7)) a multiple of 28?
False
Let g = 74 - 13. Is 7 a factor of g?
False
Suppose r + 1 = f - 0, 3*r - 17 = -f. Is 9 a factor of -5 + f - (-18 - 0)?
True
Let o = 71 + -113. Suppose 0 = -0*j - 2*j - 4*d - 110, -272 = 4*j - 5*d. Let b = o - j. Does 9 divide b?
False
Does 12 divide (193 + -4)/(-3 - 12/(-3))?
False
Let b(z) = z**2 - 4*z - 3. Let f be b(4). Let h be -4*3*f/6. Is (-4)/(-12) + 232/h a multiple of 16?
False
Let r = -79 + 139. Is 15 a factor of (9/(-3))/(-3)*r?
True
Let l(f) = -1 + 2 + 12*f**2 + f - 4*f**2. Suppose 5*w - 13 = 4*b - 3, 0 = 4*b. Is 16 a factor of l(w)?
False
Suppose 2*u + 2*s = -s - 2, 0 = 5*u - 3*s + 5. Let t(g) = -7*g - 2. Does 3 divide t(u)?
False
Suppose -3*v = -5*h - 0*v + 93, 2*h - 41 = 5*v. Suppose -j + 3*j - h = 0. Suppose -4*p = 2*i + i - 38, i + j = 3*p. Is 6 a factor of i?
True
Let a = 19 + -16. Let k = -93 + 201. Suppose a*l = -l + k. Is 10 a factor of l?
False
Let q(y) = y**2 + y + 2. Let u be q(0). Suppose 3*h + 2*h - u*g + 90 = 0, 3*g = -15. Let f = 34 + h. Is 7 a factor of f?
True
Is 1*(6/18)/(1/33) a multiple of 5?
False
Suppose -251 = -4*l + 21. Let h(m) = 2*m**2 - 14*m + 6. Let y be h(12). Let n = y - l. Is n a multiple of 21?
False
Suppose 0 = w - 3*u + 3, -5*w = -u + 6 - 19. Let j be ((-12)/8)/(w/(-440)). Suppose j = -q + 6*q. Is q a multiple of 16?
False
Let h(v) = 14*v - 70. Is h(18) a multiple of 14?
True
Let h = -131 + 207. Suppose -3*l - h = -5*f, -4*l - 33 = -f + 91. Let u = -20 - l. Does 12 divide u?
True
Let m be (8 - (0 - 2))/2. Suppose m*y - 128 = 3*u, -2*y - u = -y - 32. Does 14 divide y?
True
Suppose -172 = -2*w - 44. Does 16 divide w?
True
Suppose 7*v + 5*a - 91 = 3*v, v + a = 23. Is 3 a factor of v?
True
Let z(y) = 44*y**2 - 2*y - 1. Let b be z(-3). Suppose 0 = -3*n - 5*m + b, 2*m - 237 = -2*n + 25. Suppose -23 = 4*k - n. Is 13 a factor of k?
True
Suppose -2*w = w - 5*t - 34, w = 5*t + 28. Let j be 1*w + 3 + -3. Suppose 0 = j*o - 7*o + 72. Is 9 a factor of o?
True
Let p = -17 + 31. Does 14 divide 0 - p*(-1 - 0)?
True
Let y(i) = 14*i**2 + 4*i + 1. Let v be y(-3). Suppose -3*c + v = 2*c. Does 12 divide c?
False
Suppose 24 = -a + 212. Is a a multiple of 47?
True
Suppose -h + 5 = 7. Let b(o) = -17*o + 2. Is b(h) a multiple of 29?
False
Suppose -5*q - 13 = -63. Let p(a) = -a**2 + 12*a - 8. Is 8 a factor of p(q)?
False
Let o(s) = 5*s + 6. Let d(l) = 10*l + 12. Let t(z) = -6*d(z) + 11*o(z). Let n(x) = -x**3 - 6*x**2 + 2*x + 8. Let j be n(-6). Is 7 a factor of t(j)?
True
Let x = -5 + 25. Let f = x + -5. Does 5 divide f?
True
Suppose 4 = a - 0. Suppose 4*g - 72 = -a*t, g + 6*t - 2*t = 9. Is 8 a factor of g?
False
Suppose -26 = 5*g + 59. Suppose -2*v = -5*v - 5*q + 73, 0 = -4*v + 2*q + 106. Let c = v + g. Is 8 a factor of c?
False
Suppose 4*t + 145 - 4 = m, -5*m - t + 684 = 0. Is 16 a factor of m?
False
Suppose -2*q - 21 = q. Let v = q + 16. Does 9 divide v?
True
Suppose 3*h + 333 = 2*y, -2*y - 5*h + 114 = -259. Is y a multiple of 35?
False
Let z be -1*(4 + -3)*-17. Let p = 3 + z. Does 13 divide p?
False
Let t(z) = 2*z**2 + 2*z. Is t(-4) a multiple of 24?
True
Suppose 9 = -a + 4*a, -b + 34 = 2*a. Is b a multiple of 16?
False
Let n = 2 - -5. Suppose n = 3*w + 5*q, -3*w + 23 + 8 = -q. Is 3 a factor of w?
True
Is (-8)/4*(-78 + 0 + -2) a multiple of 34?
False
Let v = 56 + -28. Is 11 a factor of v + 1 + 4/4?
False
Is ((-4)/(-3))/(361/90 + -4) a multiple of 24?
True
Let r(w) = -w. Let v be r(0). Suppose v*s - 4 = s. Is 6 a factor of s/(-6) + 32/6?
True
Let o = -7 - -16. Let s = o - 1. Suppose -4*n + 12 = -s. Does 2 divide n?
False
Let z(m) = m**2 - 3*m + 1. Let r = 4 + -1. Let u = r - -3. Is z(u) a multiple of 19?
True
Suppose 345 = -7*h + 2*h. Let q = -29 - h. Is q a multiple of 20?
True
Let z(y) = -4*y + 4. Let s be z(-6). Suppose 5*j - s = -3*v, -5*v + 4*j + 117 = 21. Does 7 divide v?
False
Let g = 120 - -12. Is 11 a factor of g?
True
Suppose 0*f + 3 = f + 2*m, 0 = 2*f - 2*m - 6. Suppose 2*k - 148 = -3*o, -4*k + 6*k - f*o - 124 = 0. Is 15 a factor of k?
False
Suppose -4*x = -4*w - 32, w - 21 - 7 = -2*x. Does 3 divide x?
True
Let w(k) = -k - 1. Let u(g) be the second derivative of -g**3/3 + 2*g**2 + 2*g. Let z(q) = -3*u(q) - 12*w(q). Is z(4) a multiple of 27?
False
Let z(w) = -5*w + 15. Is 8 a factor of z(-8)?
False
Suppose 0 = -z + 5*d + 19, -z + d + 7 = -d. Is 23 a factor of ((-27)/36)/(z/92)?
True
Let t(s) be the third derivative of s**6/120 + s**5/30 - s**4/8 - 2*s**2. Is t(3) a multiple of 12?
True
Is 19 a factor of (-63)/((12/3)/(-4))?
False
Suppose 2 = -2*y + 6. Let m = y - 0. Is 16 a factor of 63/m + 1/2?
True
Suppose n = -2*q + 301, 4*n - 1 - 3 = 0. Does 15 divide q?
True
Let p be 13 + (0 - (2 - 3)). Let t(y) = 2*y - 6. Is 7 a factor of t(p)?
False
Let j = 126 - 90. Is 9 a factor of j?
True
Suppose u + 3*u = -44. Let p = u + 47. Suppose p = -2*h + 6*h. Does 9 divide h?
True
Suppose 0 = 2*b + b. Suppose b = 3*r + 65 - 11. Let q = -3 - r. Is 14 a factor of q?
False
Let a(s) = 2*s**2 - 6*s + 1. Let l be a(6). Suppose -3*m + 5*m - 139 = b, -3*m + 181 = 4*b. Let t = m - l. Is t a multiple of 