
Let m = -8 + 14. Suppose 10 = k - m. Is 8 a factor of k?
True
Let x = -18 - -25. Suppose c + 0*c = x. Is c a multiple of 2?
False
Let t(j) = j**2 - j + 2. Let a be t(2). Let p(u) = u**2 - 4*u + 2. Does 2 divide p(a)?
True
Suppose -68 = -4*l + 2*y, -l - 5*y + 39 = -0*y. Is l a multiple of 19?
True
Let s = 197 - 97. Is 35 a factor of s?
False
Suppose -5*s - 6 - 14 = 0. Is 5 a factor of 1*(s - -1 - -24)?
False
Let i(v) = -v**3 - 19*v**2 - 5*v + 3. Is i(-19) a multiple of 9?
False
Let u(x) = -x**2 + 6*x + 10. Let f be u(7). Suppose -k + 2*y - 17 = -2*k, -3*k + f*y = -15. Is k a multiple of 9?
True
Let n(d) = -19*d**3 + 7*d**2 - 6*d. Let m(l) = 19*l**3 - 6*l**2 + 5*l. Let o(u) = 6*m(u) + 5*n(u). Is o(1) a multiple of 9?
True
Suppose -2 = -w - 3. Let a be ((-4)/(-6))/(4/6). Is 5 a factor of -5*a*w/1?
True
Is 5 a factor of -1 + (-313)/(-9) + 2/9?
False
Let n = -1 - -2. Is ((-4)/6)/(n/(-48)) a multiple of 10?
False
Suppose 4*g - 5*g = 0. Let i = g + 2. Suppose -7*t + 90 = -i*t. Is t a multiple of 9?
True
Let b = 18 - 8. Suppose -2 = -2*h + 2, 3*y - 2*h = -b. Is (-57)/(-6) - y/4 a multiple of 4?
False
Let x = -20 + 62. Is 18 a factor of x?
False
Suppose -z - 36 - 1 = 0. Let d = z - -61. Suppose -15 - d = -3*a. Is a a multiple of 8?
False
Let f(s) = s + 6 + 1 + 0. Let i be f(-6). Does 8 divide (i + 0 - 2) + 17?
True
Let n(l) = -l**2 - 7*l - 3. Let j be n(-7). Does 23 divide (-2)/6 + (-118)/j?
False
Suppose 0 = 3*n - 4*l + 62, -4*n - 3*l - 81 = -8*l. Let x be 36 - ((-3)/(-3) - 1). Is 14 a factor of (x/n)/((-12)/112)?
False
Let v(u) = 5*u**2 + 4*u + 3. Let t(w) = 9*w**2 + 8*w + 5. Let a(g) = 4*t(g) - 7*v(g). Is a(-10) a multiple of 20?
False
Let j be (-32)/(-8)*2/4. Suppose -j*w + 29 = 1. Suppose 0 = -3*d + w + 19. Is d a multiple of 10?
False
Suppose -4*b = 2 - 22. Suppose -50 = -3*t - d, 4*d + 112 = b*t + 6. Is 9 a factor of t?
True
Let c be (14/8)/((-1)/(-4)). Let z(q) = -29*q + 2. Let r be z(-1). Suppose 2*j - c = r. Is j a multiple of 13?
False
Suppose -s - 48 = -4*s. Is 4 a factor of s?
True
Suppose 4*o = -4*l + 284, 5*o - 9 = 2*o. Is 23 a factor of l?
False
Let f be 78/4*(0 + 2). Suppose -3*k + w + 301 = 0, -5*w = 5*k - 514 + f. Is 25 a factor of k?
False
Suppose o + 2 = -o. Let m be (39/9)/(o/(-3)). Is 2 a factor of (-4)/12 + m/3?
True
Let q(p) = 2*p**2 - 4*p - 6. Is q(-7) a multiple of 20?
True
Suppose 68 = -11*w + 12*w. Does 17 divide w?
True
Suppose 2*c - 24 = -2*c. Suppose -4*u = -c - 30. Is u a multiple of 3?
True
Suppose -2*i - 117 - 137 = -5*z, i + 202 = 4*z. Let p = -29 + z. Suppose -4*l + 19 = -p. Does 4 divide l?
False
Let s(f) = -2*f**3 - 3*f**2 - f - 2. Let t be s(-2). Let c be (-2)/6 - 2/(-6). Suppose -5*b - t*o + 30 = c, 4*b - 4*o - 58 = 2. Does 10 divide b?
True
Suppose -5*v + 22 = 3*n - 2, 40 = 5*n + 2*v. Let h(o) = -o**3 - o**2 + o + 1. Let p be h(-2). Is 3 a factor of p + 0 + n*1?
False
Let l = -109 - -192. Is 17 a factor of l?
False
Let z(y) = -y - 6. Let r be z(-8). Suppose 0 = -6*m + r*m + 164. Let w = m + -24. Does 12 divide w?
False
Suppose -4*w = -7 - 1. Let m = -1 + w. Let z = 3 - m. Is z a multiple of 2?
True
Suppose 0 = 2*u + 1 + 3. Let s(x) = 3*x**2 - 6*x + 1. Let i(p) = p. Let f(t) = 4*i(t) + s(t). Does 14 divide f(u)?
False
Let o(m) = m**3 - 5*m**2 - 4*m - 6. Suppose -7*r + 16 = -3*r. Suppose -t - 21 = -r*d, -t = -0*d + d - 9. Is 6 a factor of o(d)?
True
Let v(q) = q + 10. Let f be v(5). Suppose 0*t + 3*t = f. Is t a multiple of 5?
True
Let n be -1 - (-2)/(-4)*166. Suppose -2*y + 4*y = 8, -5*o + 2*y = -687. Let r = n + o. Does 14 divide r?
False
Let b(w) be the second derivative of w**5/20 - 7*w**4/12 + w**3 + 7*w**2/2 - 4*w. Does 7 divide b(6)?
True
Let g be (-5)/(-10) - (-558)/4. Suppose -g = -o + 6*o. Is (-93)/(-7) + 8/o a multiple of 13?
True
Suppose 195 = 5*x + 30. Does 11 divide 6/1*x/9?
True
Let s = -4 - -7. Suppose s*z - 44 = 4*x, -5*x - 1 = 6*z - 3*z. Is 8 a factor of z?
True
Let q(i) = i**3 - 10*i**2 + 3*i - 12. Let r be q(10). Let k = 2 + r. Does 20 divide k?
True
Let j(f) = 3*f**2 + 2*f + 5. Is j(3) a multiple of 16?
False
Let h(q) = -q**2 + 16. Let l be h(0). Suppose -i = -2*f + i + 2, -4*i + l = 0. Let r = f - 2. Is r even?
False
Let v(a) = -a**2 + 1. Let q(c) = -3. Let g(m) = -2*q(m) - 2*v(m). Let l = 48 - 45. Is g(l) a multiple of 6?
False
Suppose -2*r + 17 = 7. Suppose q - 6 = n, r*n = -4*q - 0*n + 15. Suppose 45 = 3*x - 2*a - 9, q*x + 4*a - 112 = 0. Is x a multiple of 20?
True
Is 13 a factor of 126/5 + 20/25?
True
Let o(s) = -2*s**3 - 3*s**2 - s. Let a be o(3). Let k = -45 - a. Is k a multiple of 13?
True
Suppose 0 = 2*q - 10 - 10. Does 4 divide q?
False
Suppose 0 = 3*c - 0*c. Suppose 4*d + 0*k - k - 17 = c, 2*d - 22 = -4*k. Is d a multiple of 5?
True
Suppose 26 = -d - 20. Suppose -k = 2*k - 198. Let o = k + d. Is o a multiple of 14?
False
Does 7 divide 28*(-4 + (-27)/(-6))?
True
Let l(c) = 4*c**2 + 12*c - 1. Does 29 divide l(-7)?
False
Does 14 divide 7/(-3)*3*-6?
True
Let n = 89 - 20. Let j(f) = f + 6. Let z be j(-4). Suppose n = v + z*v. Is v a multiple of 8?
False
Let k be 16/(-72) + (-20)/(-9). Suppose 0 = -2*r + 10, -k*r + r + 9 = 4*n. Is 5 a factor of ((-5)/(-2))/(n/2)?
True
Let u = -110 - -181. Is u a multiple of 16?
False
Let b(g) = g**2 + 16*g - 11. Is 12 a factor of b(6)?
False
Does 10 divide 10/((-22)/8 - -3)?
True
Let x = -50 + 160. Suppose 3*n + 2*n - x = 0. Suppose 0 = -4*p + 9*p + 2*t - 56, 0 = -p - 4*t + n. Is 10 a factor of p?
True
Let r = -160 - -65. Let n = 147 + r. Suppose w = -w + n. Does 20 divide w?
False
Let y be 3 - (2 - 1)*-2. Let q = -2 + y. Suppose q*f + 3*p = 3, 2*p + 1 = -3*f - 3*p. Does 3 divide f?
True
Suppose 83 = -2*l + l. Let v = l + 155. Is 24 a factor of v?
True
Let b = 278 - 159. Is b a multiple of 30?
False
Let x(i) = i + 1 + 3*i - 3*i - i**2. Let z(u) = 5*u**2 - 5*u + 22. Let r(d) = 4*x(d) + z(d). Is r(0) a multiple of 9?
False
Let k = 2 + 0. Let m = k + -4. Is 1*(m + 3) - -3 a multiple of 2?
True
Suppose -2*c = -5*m + 41, -5*m + 3*c = -0*c - 44. Suppose 4*i = m*i - 27. Let t = i + -4. Does 5 divide t?
True
Suppose -x - 6 = -3*x. Suppose -4*j + x*z = j - 99, 0 = 3*z + 9. Is 6 a factor of j?
True
Let z be 0/(-2) + -4 + 3. Is (2/4)/(z/(-24)) a multiple of 6?
True
Let g = 2 - -1. Suppose -27 = -j - 0*j - 5*x, 3*j = -g*x + 21. Is j a multiple of 2?
True
Suppose 0 = -5*j + 4*n + 856, 3*n + 0 = -12. Is j a multiple of 7?
True
Let r = 34 - -190. Suppose -4*n + 370 = x, 3*n + x - 54 = r. Suppose -n = -b - 3*b. Does 10 divide b?
False
Let z = -11 + 89. Suppose -18 - z = -4*q. Is 12 a factor of q?
True
Suppose 2*c - 119 = -27. Is 23 a factor of c?
True
Suppose 4*u + 8 + 22 = 2*s, 0 = -5*s + 4*u + 75. Is 4 a factor of (s/(-6))/((-1)/6)?
False
Suppose -4*f - 843 = -5*n, 0 = -3*f + 3 - 9. Let s = n - 108. Is s a multiple of 21?
False
Suppose 17*j - 456 = 13*j. Suppose 0 = -0*x - 3*x + j. Is 21 a factor of x?
False
Let p = 51 - -80. Suppose s = -4*w + p, 5*w - 3*s + s = 180. Suppose -2*k + w = -8. Does 9 divide k?
False
Suppose -5*l + 2*a = a - 953, -l + 5*a + 181 = 0. Is l a multiple of 13?
False
Let l(r) = -r**2 + r + 31. Does 8 divide l(0)?
False
Let a(j) = -j + 1. Let r(u) = -u**3 - 13*u**2 - 13*u - 16. Let z(g) = a(g) - r(g). Is 6 a factor of z(-12)?
False
Let j be (2/4)/(-1)*12. Let z = j - -8. Suppose -z*s - 45 = -5*s. Is s a multiple of 7?
False
Let i = 97 - -39. Suppose -n = 3*n - i. Is 17 a factor of n?
True
Does 16 divide (-1 - (-1704)/10) + 6/10?
False
Let j be 6 + 4/(-2 + 0). Suppose -j*m = 2*p + 2, -4*p + 3*p - 5 = -2*m. Suppose 31 = l + m. Is 17 a factor of l?
False
Suppose 0 = -n + 4*n + 3. Let p = 6 + n. Suppose 0 = -2*w + 4*l - l + p, -5*l = -2*w - 5. Does 5 divide w?
True
Suppose -5*m + 3*m = w - 30, 25 = 5*m. Does 19 divide 8/w + (-188)/(-5)?
True
Suppose -3*b + 152 = 2*b - 3*k, 5*k = -4*b + 129. Let i(j) = j**3 + 8*j**2 + 8*j + 7. Let n be i(-7). Suppose n = 5*o - b - 19. Does 8 divide o?
False
Suppose 8 = 5*b - 7. Suppose -3*c + 12 = 0, -p + 5*c - 23 + b = 0. Suppose 3*t + 2*n - 33 - 40 = p, 3*n - 96 = -4*t. Does 10 divide t?
False
Suppose 16*h = -6*h + 814. Is h a multiple of 10?
False
Suppose 0 = -g - 4*g + 10. Suppose 0 = g*d - 4*k - 64 - 2, -3*k = 3*d - 63. Suppose 3*q + 80 = 6*i - i, 0 = 5*q + d. Is i a multiple of 13?
True
Let h(c) = c**3 + 