 1. Let v be j(-2). Let q be ((-15)/(-10))/(v/2). Suppose -q*x - x - 4*z = -116, -z = -5. Does 10 divide x?
False
Suppose 1001 = -14*l + 6629. Is l a multiple of 66?
False
Let m = -57 - -77. Does 4 divide m?
True
Suppose t = -3*x + 20, 0*x + x - 20 = -t. Is 3 a factor of t?
False
Let d = 10 - 6. Suppose -115 = -l - d*l. Let p = l - 6. Is 17 a factor of p?
True
Let z = -16 + 26. Does 2 divide z?
True
Suppose m = 2*g + 2*m - 371, -g + 3*m = -175. Let x = g - 124. Is 26 a factor of x?
False
Is 20 a factor of 129/6 - (-6)/(-4)?
True
Let z = 13 - 8. Let b = 15 - z. Does 8 divide b?
False
Suppose -2*n - 14 = -4. Let o be 2/(-10) - 31/n. Suppose 2*j - 14 = o. Is j a multiple of 5?
True
Let k(o) = 9*o**2 + 3*o - 2. Does 40 divide k(2)?
True
Let p(c) = -19*c - 2. Let f(k) = -3*k + 1 + 15*k - 2*k. Let v(s) = 11*f(s) + 6*p(s). Is v(-4) a multiple of 15?
True
Let c(s) = -s - 1. Let p be c(5). Let i be (-2)/(3/(9/p)). Suppose -k = -i - 15. Is k a multiple of 8?
True
Suppose 2*p - 10 = -3*p. Suppose 4*o = p*o + 10. Suppose -3*i + 20 = -2*k, 35 = 6*i - i - o*k. Is i a multiple of 3?
True
Let y(w) = 12*w + 14. Is y(7) a multiple of 18?
False
Let q(o) = o**3 - 4*o**2 + 3. Let z be q(5). Suppose 0 = k - 3*s, -2*k + z = 2*s - s. Is k a multiple of 7?
False
Suppose 0 = -12*a + 8*a + 88. Is 14 a factor of a?
False
Let z(l) = -2*l**2 - 24*l - 1. Let p(h) = h**2 + 12*h. Let o(m) = 7*p(m) + 4*z(m). Is 17 a factor of o(-6)?
False
Let s = 5 + -2. Suppose -r = s*r - 8. Suppose 3*y - 3*u = 5*y - 28, -32 = -r*y - 4*u. Does 4 divide y?
True
Suppose -5*j = -74 + 14. Is 12 a factor of j?
True
Suppose 15 = -5*z + 45. Let g(k) = k**3 - 5*k**2 - 5*k - 1. Is 2 a factor of g(z)?
False
Let q = 105 + -70. Does 5 divide q?
True
Suppose 0 = -4*s - 0*s. Let t be 6/(((-6)/3)/(-2)). Suppose 0 = 2*j - s*j - t. Is 3 a factor of j?
True
Let u = -3 + 0. Let l be (u - 33/(-12))*-20. Suppose l*c - 76 = c. Does 9 divide c?
False
Suppose 0 = -2*b - 8, 5*b + 10 + 85 = 5*c. Suppose c = 5*r, -5*r - 3 = -z + 21. Does 17 divide z?
False
Suppose 0 = 2*g + 8, g + 88 = x + 4*g. Let r be 1/2 - x/(-8). Let w = -7 + r. Is w a multiple of 3?
True
Suppose 2*v - o = 3*v - 44, 0 = 5*o + 20. Is 8 a factor of v?
True
Let o(s) = s**3 + 14*s**2 + 8*s - 7. Let j be o(-13). Let r = -31 + j. Is r a multiple of 8?
False
Let g(b) = -3*b**2 + 10*b - 13. Let o(q) = 13*q**2 - 40*q + 52. Let v(d) = -9*g(d) - 2*o(d). Is v(11) a multiple of 7?
False
Suppose -2*a = -7*a + 205. Is a a multiple of 6?
False
Suppose -5*c + 2*l + 5 = 0, 3*l - 2 = -2*c + 2*l. Suppose -4*p = -4*t + 12, 5*t - c = 4*t. Let f = 23 + p. Is f a multiple of 6?
False
Is -4 + 3 + -3 + 38 a multiple of 8?
False
Suppose -5*l + 16 = -9. Suppose -l*r - 5*b + 180 = -0*b, 5*r = 2*b + 208. Suppose -x + 2*x - r = 0. Is 16 a factor of x?
False
Let t = -2 + 84. Let l = -51 + t. Is l a multiple of 17?
False
Let g(o) = -15*o + 8. Does 15 divide g(-5)?
False
Let z = 8 + -9. Let f = 17 + z. Is f a multiple of 5?
False
Let o = -13 - -23. Let g = o + -3. Suppose -5 = -2*y + g. Is 6 a factor of y?
True
Let a(x) = -x**2 + 2*x - 3. Let s be a(3). Let t be 4/s + (-29)/(-3). Let i = 37 - t. Is i a multiple of 14?
True
Suppose 4*v - 443 = -83. Is v a multiple of 14?
False
Let g = -30 + 70. Does 10 divide g?
True
Suppose 3*n + 0 - 6 = 0. Let w = n + 21. Let x = 38 - w. Is x a multiple of 14?
False
Let k(a) = -4*a**3 - 3*a**2 - a - 2. Let w(t) = -3*t**3. Let o be w(-1). Suppose -3 = p + u, 4*p = 3*p + o*u + 1. Is 6 a factor of k(p)?
False
Let x(y) = 2*y**2 - 18*y + 12. Is x(14) a multiple of 38?
True
Suppose -9*s = -0*s - 873. Is s a multiple of 21?
False
Suppose 4*j = 112 + 32. Is j a multiple of 6?
True
Let k = 31 - 19. Let c be k*(2/(-6))/(-1). Suppose t = c + 6. Does 4 divide t?
False
Suppose -5*y + 50 = -5*i, 0*y + 5*i = -4*y + 13. Let b(j) = j + 5. Is 12 a factor of b(y)?
True
Let w be 14 - (-2 - (-3 + 0)). Suppose -4*j + t + 11 = -w, -3*j = -4*t - 5. Is j a multiple of 2?
False
Let g = -6 + 9. Is -3 + (204/4)/g a multiple of 7?
True
Suppose 0 = -a - h + 14, -3*h + 6 = a - 0*a. Is a a multiple of 6?
True
Let f = 3 + 0. Suppose -5*z + 57 = 4*j, 5 - 44 = -f*j - 3*z. Is j a multiple of 3?
False
Suppose -2*s + 142 = 44. Suppose s = 5*j + 4. Does 16 divide (-1)/3 - (-255)/j?
False
Suppose 0 = -2*l + 7*l - 25. Suppose 0 = -4*t - 3*v + 86, 0*t + 2*t - l*v - 30 = 0. Is 5 a factor of t?
True
Suppose -20 = -3*h - h. Suppose 5*k - a - 15 = 45, 4*k + h*a = 77. Let m = 55 - k. Does 21 divide m?
True
Suppose 0 = 3*r - 0*n + 2*n - 652, -4*r = -n - 873. Is 22 a factor of r?
False
Let t = 434 - 242. Is 22 a factor of t?
False
Let r = 3 + 2. Let c = 27 - 22. Suppose -2*y - 222 = -c*f, -4*f - 7 = -r*y - 188. Does 12 divide f?
False
Let q be 2*(-2)/4*0. Let t(x) = -x**3 + x**2 - x + 48. Let d be t(q). Suppose -3*i = -7*i + d. Does 4 divide i?
True
Let j = -2925 - -1857. Is 18 a factor of 4/10 - j/30?
True
Let r = 16 + 22. Let m = 68 - r. Is 15 a factor of m?
True
Let d = 22 - 69. Does 8 divide (-2)/(-3)*(-5 - d)?
False
Suppose l = -2*l. Let v = l + -1. Is 16 a factor of 3/3 + (-17)/v?
False
Let n = -5 - -8. Suppose 4*g = -n*u + 7*u - 64, 0 = 4*u - 2*g - 70. Suppose 4*x - 3*j - 113 = u, -8 = 2*j. Does 17 divide x?
False
Let b be 149/2 - (-6)/12. Suppose 4*j - j + 2*i - b = 0, 0 = 4*j - 3*i - 100. Suppose -47 = -4*d + j. Is d a multiple of 9?
True
Let w be (-8)/12 - 232/(-6). Suppose 2*f + 3*b = -w, -b + 2 = -f - 27. Is 11 a factor of 216/10 + (-10)/f?
True
Let a be 2/(0 + 2/4). Let r(i) = i**2 - 1. Let j(d) = d**3 - 3*d**2 - 4*d - 1. Let q(s) = -j(s) + r(s). Does 11 divide q(a)?
False
Let n(s) be the third derivative of s**4/24 - s**3/3 + 3*s**2. Let y be n(7). Let g = y + -2. Is g a multiple of 3?
True
Is (18/(-3))/(3/228*-6) a multiple of 7?
False
Is (9/18)/((2/(-36))/(-1)) a multiple of 9?
True
Suppose 5*y - 2*m = -0*y + 51, 4*y = m + 42. Is y a multiple of 3?
False
Let c(r) = 8*r - 7. Let v be c(5). Suppose 5*i + 3*f - v = 83, -3*i = -3*f - 60. Is 488/i + (-2)/11 a multiple of 22?
True
Suppose -d = -2 + 8. Let k = -2 - d. Let x = k + 2. Does 3 divide x?
True
Let w be (-2)/4 + 2289/(-14). Let t be (-2)/(1 - -3)*w. Let z = t - 56. Does 13 divide z?
True
Suppose -105 = -3*k - 18. Suppose 2*d - 3*d = -k. Is 14 a factor of d?
False
Suppose -9 = 3*x + 3*l, 3*l = -x - 9 - 4. Is x even?
True
Let w(t) = -t + 10. Let n(l) be the third derivative of -l**4/24 - 5*l**3/6 - l**2. Let f be n(-5). Is w(f) a multiple of 6?
False
Let o(r) = -r**2 + 11*r - 7. Let b(t) = t**3 - 8*t**2 + 2*t - 9. Let y be b(8). Is o(y) a multiple of 16?
False
Suppose -7*v + 2*v = 0. Let f = 1 + v. Is 5 a factor of ((-40*f)/2)/(-2)?
True
Suppose 0 = i + n - 65, 4*i = 3*n - 4*n + 275. Does 14 divide i?
True
Suppose -5*d - 3*z = -109, 2*z - 37 = -4*d + 51. Let g = 43 - d. Does 9 divide g?
False
Suppose 123 = 2*d - 3*k, -d + 6*d + k = 316. Is 14 a factor of d?
False
Let i be (12/3)/1 + 16. Does 19 divide -5*2*(-114)/i?
True
Let t = -8 - -4. Let k = t - 3. Does 9 divide k/((-7)/20) - 2?
True
Suppose 3*q - 23 = 2*d, -q + 3*d = -5*q + 25. Suppose 128 = 3*j - q*j. Let i = -23 - j. Does 9 divide i?
True
Let c be 7 + 1*-2*1. Suppose -2*q + 3*q + 2*i = 3, 3*i + 6 = -c*q. Is (-1)/(1 + -2) - q a multiple of 4?
True
Let c be 11 - 1/1 - -2. Let x be (-479)/(-4) + (-9)/c. Suppose 4*g - 36 = 3*m - 170, 3*m = g + x. Is m a multiple of 19?
True
Let t(d) = 5*d - 9. Let o(z) = 2*z - 4. Let y(i) = 5*o(i) - 3*t(i). Let p be y(5). Is p/((-9)/3) + 2 a multiple of 8?
True
Let g = -57 - -138. Is 9 a factor of g?
True
Suppose -2*i + 72 = -0*p + 4*p, 5*p = -5*i + 155. Is i a multiple of 26?
True
Suppose -26*p + 252 = -19*p. Is 9 a factor of p?
True
Let l = 125 - 83. Does 21 divide l?
True
Suppose -4*p + 1 = -2*q + 9, -4*q - 2*p = -16. Suppose 3*o + 2*y = 19 - 5, -24 = -q*o - 4*y. Suppose b - o = 1. Does 2 divide b?
False
Let h(k) = 5*k**2 - 7*k + 1. Is 15 a factor of h(-3)?
False
Let s = 142 + 82. Is 38 a factor of s?
False
Let g(h) = 1 - h + h - 11*h**2 + 30*h**2. Is g(-1) a multiple of 13?
False
Suppose 5*m - 2*x + 349 = 29, -4*m - 256 = 2*x. Let q = -37 - m. Suppose -3*v = 2*u - v - 84, 0 = -u + 4*v + q. Is u a multiple of 13?
True
Let a = -3 + 6. Let o = a + -1. Suppose o*n = -2*n + 80. Does 10 divide n?
True
Let t be ((-12)/(-18))/((-2)/(-144)). 