 Does 13 divide w(-18)?
False
Let k = 126 - 88. Is 10 a factor of k?
False
Let s = 76 - 168. Let q = -34 - s. Let v = -35 + q. Does 13 divide v?
False
Let y be 576/20 + 2/10. Is 15 a factor of y - (-3)/6*2?
True
Does 11 divide -4 + 47 - (-3 + 2)?
True
Let c(h) = 2 + 2*h + 7 - 5 - 3*h. Is 4 a factor of c(0)?
True
Suppose -4*z = -69 + 9. Let h be (1/(-3))/((-1)/z). Does 7 divide h/20 - 47/(-4)?
False
Let c(o) = 14*o**2 + 9*o + 3. Is c(-3) a multiple of 55?
False
Suppose 5*a - 1 = i, 0*i + 5*i = -2*a - 5. Let j be (i - -10)*(-12)/9. Is (-489)/j - 3/4 a multiple of 15?
False
Suppose 0 = -5*m + 5*z + 140, 0 = 5*m + 5*z - 60 - 90. Does 25 divide m?
False
Is 10 a factor of (19/2)/(4/8)?
False
Let a(l) be the third derivative of l**5/30 + 7*l**4/24 + l**3 + 8*l**2. Is 26 a factor of a(-8)?
True
Let m = 5 + -7. Let a = 3 + m. Let x = 8 + a. Does 4 divide x?
False
Let y(s) = -3*s + 4. Let c be y(-6). Is (-3)/(-8 + 2)*c a multiple of 6?
False
Suppose 2*q - 40 = 7*q. Does 4 divide 210/56 + (-2)/q?
True
Suppose -5*g + 6*g = 24. Is g a multiple of 20?
False
Let q = -9 + 26. Does 9 divide q?
False
Suppose -3 = -4*r + p, 2*r + r + 6 = -2*p. Suppose r*b = -3*b + 297. Is b a multiple of 34?
False
Suppose -2*p - 2*t + 14 = 4, 3*t + 9 = 5*p. Let g be (2 - (p + -3)) + -2. Suppose 3*z = -4*v - g*z + 199, -4*z = -20. Is v a multiple of 12?
False
Let c be 142/10 + 3/(-15). Suppose -3*k + 2*k = -3*s + c, 4*s = 5*k + 48. Let f = k + 17. Does 5 divide f?
False
Suppose -109 = -5*o - 14. Suppose -4*u + 2*s + 0*s = -14, -3*s = -4*u + 11. Is (-1*o)/(-6 + u) a multiple of 14?
False
Suppose 2*v - 108 = 40. Does 22 divide v?
False
Suppose 0 = 2*t - 16 - 0. Suppose 5*s + t = 28. Let o = 12 - s. Is 5 a factor of o?
False
Let r(y) = 4*y**2 - 2*y + 1. Let f be r(1). Let a(d) = -2 - 2*d - d - 4*d + 6*d + 3*d**2. Is 11 a factor of a(f)?
True
Is 20 a factor of -1*2 + (66 - 4)?
True
Let w(r) be the first derivative of 0*r + 1/2*r**2 - 1/3*r**3 + 5*r**4 + 1. Does 6 divide w(1)?
False
Suppose d = -2, -5*y + 0*d - 14 = 2*d. Does 8 divide 7 + y/(0 - 2)?
True
Let l = -472 - -699. Does 20 divide l?
False
Let d be -2*(-1)/(-6)*-6. Suppose 4*v - 6 - d = 0. Is (-130)/(-6) - v/3 a multiple of 13?
False
Let i be 58/7 + (-2)/7. Suppose -q + i = -26. Does 34 divide q?
True
Suppose 0*d + 3*d - 24 = 5*j, -d = -5*j - 8. Let r(t) = -2*t + 11. Let l be r(d). Let g = l + 23. Does 7 divide g?
False
Let j = 42 - 42. Let z(o) = 2*o - 5. Let l be z(4). Is 9 a factor of (j - l) + (25 - -1)?
False
Let m(r) = -r**2 - r + 1. Let z(s) = -2*s**2 + 7*s + 5. Let w(c) = -3*m(c) + z(c). Let q be w(-8). Let o = -8 - q. Is o even?
True
Let w(d) be the first derivative of -d**2/2 - d + 2. Let b be w(-6). Is b/(-10) + (-18)/(-4) even?
True
Suppose -4*t + 4*u - 19 = -167, 0 = -3*t + 5*u + 121. Suppose 109 = 4*l - f, -3*f + t = 3*l - 46. Does 9 divide l?
True
Suppose 5*g - 9 = 6. Suppose k + a - 84 = -3*k, -2*k + g*a = -28. Is k a multiple of 10?
True
Suppose -3*j = -4*j + 125. Does 23 divide j?
False
Suppose 90 = w - 3*k, 3*w + w - 388 = 5*k. Does 34 divide w?
True
Let t be (-4)/2 - -12 - 3. Let z(b) = -b + 1. Let u be z(-1). Let a = t + u. Is 4 a factor of a?
False
Let k(a) = a + 3. Let j be k(-3). Suppose j = -3*z - 3 - 3. Is 16 a factor of z/(43/(-21) + 2)?
False
Let m = 12 + -6. Suppose -2*q + m = -0*q. Suppose -q*i + 2*d + 99 = 0, -3*d - 2*d = 0. Does 14 divide i?
False
Suppose -17*h = -6*h - 418. Is 38 a factor of h?
True
Let j(u) = -u + 6. Let d be j(11). Let n = -5 - d. Suppose -2*g + 65 = -5*p, -34 = -n*g - g + 4*p. Does 12 divide g?
False
Let g = 13 + -2. Suppose 10*t - g*t + 19 = 0. Is 6 a factor of t?
False
Suppose 5*i - 2*s + 0*s = -18, 0 = 5*i + 2*s + 22. Let l = i - -23. Is l a multiple of 8?
False
Let p = -729 + 1185. Is p a multiple of 24?
True
Let a(j) = -66*j**3 + j**2 + 3*j + 2. Does 14 divide a(-1)?
False
Let m(a) = -3*a - 4. Let z = -2 - 1. Let v be m(z). Suppose -v*c = 4*g - 76, 3 = 3*g - 9. Is c a multiple of 12?
True
Let v(q) = q**3 + 15*q**2 - 5*q - 10. Does 22 divide v(-15)?
False
Suppose -4*o + 3*o = -32. Let l = o - 23. Is l a multiple of 9?
True
Let f be (1/2)/((-7)/(-28)). Suppose 22 = f*a - 122. Is a a multiple of 24?
True
Suppose -5*r = -2*r - 129. Let t = 74 - r. Is t a multiple of 10?
False
Suppose -5*h = -3*h + 8. Let d = h - -11. Does 3 divide d?
False
Is 10/(-35) + (-508)/14*-1 a multiple of 18?
True
Let f(h) = h**2 - 10*h - 5. Let y(m) = -m**2 + 9*m + 6. Let o(z) = -3*f(z) - 2*y(z). Is o(7) a multiple of 22?
False
Let n = 1 - 4. Let r be -38*(n/3 + 0). Suppose -8 = 3*c - 2, -c - r = -4*h. Does 5 divide h?
False
Let t(s) = -2*s - 1. Let v be t(-3). Suppose -6*a + v*a + 80 = 0. Suppose i - 9 = 2*n, -3*i - 3*n = i - a. Is i a multiple of 17?
True
Suppose 5*u = 25, 2*h - 11 = -u - 0*u. Suppose -h*t + 4*f = -f - 27, 0 = -t + 4*f + 9. Suppose 3*i + 2*c - t = 116, 3*c + 105 = 2*i. Is 19 a factor of i?
False
Suppose -m - 21 + 117 = 0. Suppose 3*z = 6*z - m. Is 8 a factor of z?
True
Let o(g) = -g**3 + 2*g**2 + 3*g + 2. Let h = -5 + 9. Let m be o(h). Let p = m - -33. Is p a multiple of 6?
False
Let l = 16 - 6. Does 5 divide (-16)/l*15/(-2)?
False
Let s = -3 - 22. Let r = 5 - s. Is r a multiple of 7?
False
Suppose 1185 = -6*y - 1035. Is 21 a factor of 12/9 + y/(-6)?
True
Suppose -2*v + 7*v = 100. Is v a multiple of 8?
False
Suppose 0*q - 3*q = 4*b, 0 = -2*q - 8. Suppose h = 2, -3*l - b*h - 2*h = -127. Is 10 a factor of l?
False
Suppose 4*s - 2*n = 120, n - 60 = -2*s + 6*n. Is 10 a factor of s?
True
Let c(t) = -t**3 - 4*t**2 - 3*t + 2. Is c(-5) a multiple of 21?
True
Let t be 2/((-3)/(-9)*-2). Let h = 1 - t. Suppose h*l = l + 18. Is l a multiple of 6?
True
Suppose 2*u + 142 = 5*c - 120, -5*u + 128 = 2*c. Does 18 divide c?
True
Let m = 131 - 51. Is m a multiple of 8?
True
Suppose 18 = 2*c - 0*c. Suppose 2*l - c - 29 = 0. Is 4 a factor of l?
False
Let s(h) = h**3 - 3*h**2 - 3*h - 2. Let y be s(4). Let d be 3/y*(-32)/6. Let m(j) = j**3 + 7*j**2 - 11*j - 11. Does 10 divide m(d)?
False
Let s be 902 - (1 - -2)*-1. Let j be 2/(-4)*(s + 7). Does 22 divide j/(-21) - (-4)/14?
True
Let z(f) = -f**3 - 13*f**2 - 12*f - 6. Let i be z(-12). Is (-70)/i + 2/6 a multiple of 6?
True
Let n(p) = -p**2 + 14*p - 6. Does 6 divide n(12)?
True
Let c(a) be the second derivative of -a**5/20 + a**4 - 2*a**3 + 4*a**2 + a. Let y be c(11). Is 7 a factor of 1/(y/132*-2)?
False
Suppose 2688 = 3*z + 11*z. Is 45 a factor of z?
False
Let p(d) = 30*d**2 + d - 3. Is p(1) a multiple of 18?
False
Let f be 0/((-2 - -1)/1). Let h = f - 0. Suppose 4*p + h*g - 172 = 4*g, -p = -2*g - 48. Is 18 a factor of p?
False
Let v = -79 - -152. Let i = v - 40. Is 11 a factor of i?
True
Let n = 28 - -60. Does 22 divide n?
True
Let w = 137 + -57. Suppose 5*u + w = 235. Is u a multiple of 17?
False
Let m be (-3)/(0 + (-6)/4). Let y be (1*m)/(-4 + 3). Does 6 divide (6/1)/(-1 - y)?
True
Suppose j - 3*z = 7, -j + 5*z + 9 = -0*z. Is (11/j)/((-4)/(-16)) a multiple of 11?
True
Let f(r) be the second derivative of r**4/12 - r**3/3 + 11*r**2/2 + 2*r. Let h be f(8). Suppose -5*v + 26 = -h. Does 11 divide v?
False
Let x(b) = -3*b - 16*b + 1 - 4*b. Does 12 divide x(-1)?
True
Let g = 15 + -16. Does 2 divide 6/8*(g - -5)?
False
Let w = -3 - -18. Is w a multiple of 3?
True
Suppose 3*b = -5*v + 277, -2*b - b - 227 = -4*v. Is 28 a factor of v?
True
Is 26 a factor of (-15994)/(-110) + 2/(-5)?
False
Let z(w) = 2*w - 2*w + w. Is z(4) a multiple of 2?
True
Is 8 a factor of (-242)/(-6) + (-5 - 28/(-6))?
True
Suppose 2*t + 2*c - 6 = -0*c, 5*t + 9 = 3*c. Suppose 2*j - a - 15 = t, -4*a = -3*j + 9 + 16. Does 6 divide j?
False
Let q = -81 + 156. Is 15 a factor of q?
True
Suppose 4*t = 241 + 155. Is 9 a factor of t?
True
Let h be 0*1/(-3) + 86. Suppose 5*w - h = 3*j, -w - 2*w - j = -46. Does 6 divide w?
False
Suppose q - u - 27 = 61, -4*u - 94 = -q. Suppose -4*w + q + 4 = 3*d, -2*d = -2*w + 52. Is 8 a factor of w?
True
Let z(x) = 30*x + 6. Let q be z(5). Suppose 0*y + 2*y = -2*k + 152, q = 2*y - 2*k. Is 23 a factor of y?
False
Let l be 3/(6/(-4)) + -27. Let w = 112 + l. Suppose -27 = -2*y + r, 5*y + r - w = 2. Does 14 divide y?
False
Suppose 230 = 7*i - 148. Does 12 divide i?
False
Let a be (24/(-30))/(6/(-15)). Let k(x) be the second derivative of 5*x**4/12 - x**3/6 + x. Is 