 + n + w. Does 10 divide t?
True
Let r be 5 - 5 - (-10)/1. Suppose 18 = 3*u - t - 4, 5*t = -3*u + 16. Let k = r - u. Does 3 divide k?
True
Suppose 5*j + 5 = 20. Suppose -j - 67 = -5*t. Is t a multiple of 7?
True
Let d(g) = -g**3 + 6*g**2 + 9*g + 10. Let b(q) = q + 3. Let f be b(0). Suppose f*j = -2*j + 3*z + 26, 0 = 3*j + z - 24. Is d(j) a multiple of 14?
False
Let z = 11 + -17. Let n(g) = -g**2 - 8*g + 8. Does 14 divide n(z)?
False
Is 25 a factor of (30/3)/1*10*1?
True
Let b = 98 + 30. Is b a multiple of 36?
False
Let c(l) = 3*l + 2. Let y be c(-14). Let r = -17 - y. Is 6 a factor of r?
False
Let w = -58 - -88. Is w a multiple of 3?
True
Let y(z) = -4*z**2 + 1. Suppose 3*r + 11 = 2*w, 4*w = -3*r - 3 - 2. Let o be y(w). Let s = 7 + o. Is 4 a factor of s?
True
Suppose 0 = w + u - 33, -5*u = -2*w - 0*w + 80. Does 7 divide w?
True
Suppose -5*f + 4*w = -178, 0*w - 5*w = 4*f - 167. Is 11 a factor of f?
False
Let n = 156 - 150. Does 4 divide n?
False
Let i be (-808)/6 - 3/9. Let u = -85 - i. Suppose m + m = 4*z - u, 16 = 2*z + 2*m. Is 5 a factor of z?
False
Let g = 73 - 70. Is g even?
False
Suppose -2*r - 2*r = -208. Suppose -r + 8 = -4*f. Is f a multiple of 3?
False
Suppose k + o = 0, -o + 6 = -4*k - 9. Is 4/(-6) - 32/k a multiple of 10?
True
Suppose 6 - 14 = j + w, w - 8 = 3*j. Is 16 a factor of j/(-8)*-1*-32?
True
Let q = 1 - 0. Suppose 3*g + 3*u = 6, u = -q - 2. Let k(a) = a + 1. Is k(g) a multiple of 3?
True
Let y be ((-1)/3)/((-2)/84). Suppose -5*f + f = -128. Let i = f - y. Is 7 a factor of i?
False
Suppose 10*j - 2*j - 224 = 0. Is j a multiple of 7?
True
Let p = -61 + 119. Suppose -p = -5*i + 37. Let d = i - 5. Is 7 a factor of d?
True
Does 3 divide 13*(2/4 + 2/4)?
False
Suppose 3*m = -4*r, m + 5*r = -0*m. Suppose s - 8 = -f + 27, -f - 5 = m. Does 14 divide (s/(-3))/(2/(-6))?
False
Let k be (2 - 1)*(1 - 4). Is (-1)/(-1*k/(-15)) a multiple of 4?
False
Let g = 4 + -2. Let m(n) = -2*n**g + 1 - n + n + 13*n**3. Does 12 divide m(1)?
True
Let l(p) = -p + 6. Let h(y) = -2*y**3 - 2*y**2 + 2*y + 1. Let j be h(-2). Let k be l(j). Is 5 a factor of 2 - (1 - k - 3)?
True
Suppose 226 = 7*h + 9. Does 5 divide h?
False
Suppose -5*b = -4*b. Suppose -2*t - 2*a + 64 + 34 = b, 5*t - 210 = 2*a. Does 22 divide t?
True
Let d(g) = 3*g**2 - 3*g - 5. Let b be d(4). Let c = 56 - b. Is c a multiple of 9?
False
Let l(z) = z - 2. Let w = -1 - -5. Let i be l(w). Suppose -i*v + 6*p - 2*p + 76 = 0, 2*p = 2*v - 86. Does 17 divide v?
False
Suppose -o + 5*p = -7, p = 4*o - 44 - 41. Let d = o + 16. Does 19 divide d?
True
Let u = -8 - -2. Is 5 a factor of -4 + 1 - 3*u?
True
Suppose -v + b = 1, -b - 11 + 0 = -5*v. Suppose 0 = -7*q + v*q + 216. Does 18 divide q?
True
Let f(n) be the first derivative of n**4/4 - 5*n**3/3 - 9*n**2/2 - 9*n + 2. Does 13 divide f(7)?
True
Suppose 125 = i + 4*i. Let q(z) = -z - 3. Let b be q(-6). Suppose -i = b*a - 70. Does 15 divide a?
True
Let k be 9*(-3 + (6 - 2)). Let g(l) = 3*l - 13. Is g(k) a multiple of 3?
False
Let i = 17 - 2. Let b = 29 - i. Is 5 a factor of b?
False
Suppose -19*f - 25 = -24*f. Is 3 a factor of f?
False
Let s = 190 - 31. Is s a multiple of 12?
False
Let c = -43 + -8. Let x(h) = -h - 19. Let z be x(13). Let k = z - c. Is k a multiple of 7?
False
Let c = 5 + 1. Let z(y) = y**2 - 3. Does 11 divide z(c)?
True
Is (-6)/30*-5 - -202 a multiple of 32?
False
Let z = 8 - 16. Let g(x) = x**2 + 6*x - 11. Is g(z) a multiple of 5?
True
Let i(n) = -2*n**3 - 3*n**2. Is i(-3) a multiple of 9?
True
Let z(v) = -2*v**3 - 10*v**2 - 5*v + 1. Is z(-7) a multiple of 14?
False
Let o(t) = -4 - 2*t - 4*t**2 + t**3 + 2 + 0*t**3. Suppose -4*k = -7*k + 15. Is 5 a factor of o(k)?
False
Suppose -2*k = 4*a - 16, 2*k = -3*k - a + 4. Let r(o) = o**3 - o**2 + o + 18. Does 5 divide r(k)?
False
Let g be 6*(-1 + 1/2). Does 2 divide (2 + 1)*(-4)/g?
True
Let c = -3 - -7. Suppose z + 354 = 2*m + 5*z, c*m = -2*z + 738. Suppose 3*l = -w - 0 + 139, 4*l - m = -w. Is l a multiple of 14?
False
Let g(q) = -q - 2. Is g(-11) a multiple of 9?
True
Let b be (-1554)/(-15) - 6/(-15). Suppose 0 = -3*i - 5*p + 143, 0*i - 2*i + b = -p. Is 17 a factor of i?
True
Let g = 138 + -36. Does 17 divide g?
True
Let s(a) = -3*a - 10. Let o(h) = -16*h - 50. Let r(y) = 2*o(y) - 11*s(y). Is 3 a factor of r(-5)?
False
Let f = 6 - -4. Does 8 divide f?
False
Let y be (-4)/(2/1)*-1. Suppose -20 = -4*m, 4*m - 19 = -y*d + 59. Let g = 50 - d. Does 9 divide g?
False
Let b(h) = -h + 6. Let w be b(6). Suppose -j + 6*j - 195 = w. Does 13 divide j?
True
Suppose -5 = -j + 27. Is 7 a factor of j?
False
Suppose q - 5*q + 26 = -5*l, 0 = -3*q - 2*l + 8. Is 4 a factor of q?
True
Let c = 46 + -24. Suppose 0 = -5*i - c + 147. Suppose -5*j = -i, -r + 4*r - 17 = -j. Does 4 divide r?
True
Let w be 4 - (0/1)/2. Suppose 2*n - 20 = w*h, 0*h + 3*h + 15 = n. Suppose n = r - 2 - 3. Does 5 divide r?
True
Let q(r) = 6*r**2 + r**3 - 2*r - 1 - r - 2*r**3. Let v be q(5). Is (-3)/1*(-12)/v a multiple of 4?
True
Let c(a) be the second derivative of -a**3/6 + 6*a**2 + 2*a. Suppose -3 = -b + 2*p + 15, p - 11 = -2*b. Is c(b) a multiple of 4?
True
Let z(x) = 3*x + 17. Is 17 a factor of z(10)?
False
Let u(b) = -b - 11. Let n be u(-8). Let l = 12 + n. Is l a multiple of 9?
True
Let q(i) = -2 - i - 1 + 1 + 8. Does 6 divide q(0)?
True
Let k(h) = 3 + h**2 + 0*h**2 - 5. Let j be k(-2). Let t = j + 5. Is t a multiple of 4?
False
Suppose -3*i = -3*v, -3*v - 4 = -4*i - i. Suppose -v*n + 9 = t, 2*n - 5*n = -4*t - 8. Does 13 divide 25 - (0 - (-4 + t))?
False
Is 30 a factor of 6/(-18) - (2 + 208/(-3))?
False
Let u(i) = -50*i**3 + 2*i**2 + i. Is u(-1) a multiple of 17?
True
Let t(f) = -f**3 - 4*f**2 + 4*f - 3. Suppose -2*n - 8 = 2. Let q be t(n). Suppose -5*j = 5*u - 275, 140 = u + q*u - 2*j. Is 18 a factor of u?
False
Let t(x) = -x**2 + x + 28. Is 7 a factor of t(0)?
True
Suppose 3*c - c = 6. Does 10 divide 0 - (c + 2*-13)?
False
Let g = -189 + 348. Is 33 a factor of g?
False
Let i = -144 - -199. Does 11 divide i?
True
Suppose -y - j + 499 = 4*y, -3*j = -3*y + 303. Is y a multiple of 20?
True
Suppose -7*h + 3*h = 4*x - 4, 4*x = -5*h + 2. Suppose 0 = -y - x*y + 64. Is y a multiple of 8?
True
Let z = 10 - -2. Does 4 divide z?
True
Suppose -3*f = -t - 64, 2*t = -0 - 2. Is 20 a factor of f?
False
Let o be (4/(-2) - -39) + -3. Let p = o - -5. Is 10 a factor of p?
False
Let z = -1 - 1. Let v be (60/z)/(-2 + 1). Let x = v - 12. Is x a multiple of 10?
False
Let g(p) = p**2 + p - 39. Let z be g(0). Is (0 + -1)/(3/z) a multiple of 7?
False
Let b(t) be the first derivative of t**3/3 + t**2/2 - t - 1. Let p be b(2). Suppose 0 = -3*w + p + 1. Is w even?
True
Let z(s) = 9*s**3 + 13*s**2 + 15*s - 12. Let q(j) = -4*j**3 - 6*j**2 - 7*j + 6. Let w(b) = 13*q(b) + 6*z(b). Is w(3) a multiple of 13?
False
Suppose -r + 614 = 3*r - 5*h, 304 = 2*r - 4*h. Does 26 divide r?
True
Suppose 4*v - m = 271, -6*m + 11*m = 4*v - 283. Is v a multiple of 14?
False
Let y = 9 + -6. Suppose 13 = y*v - 17. Is v a multiple of 3?
False
Suppose -6*m + 2*m + 88 = 0. Suppose -7 = -5*d - 4*b, -5*d = -3*b + 1 - m. Suppose -4*s = -d*s - 3. Is s a multiple of 3?
True
Let n(j) = 7 - j**2 + 11 + 2*j - 2*j + j. Does 7 divide n(0)?
False
Let u(o) = o - 7*o + o. Let y be u(-1). Suppose 2*d - 10 = v - 0*v, 0 = y*v - 10. Does 3 divide d?
True
Suppose -4*l = q - 6*q + 4, -l - 4 = -2*q. Let h(f) = -f**3 - f**2 + 3*f + 3. Let r be h(-2). Does 3 divide r/q - (-57)/12?
False
Suppose -3*h = -h - 40. Let x be 7 + -21 + (2 - -2). Let o = x + h. Is 5 a factor of o?
True
Let u = 50 - 77. Let y be 1*(1 + 1) - -49. Let x = u + y. Is x a multiple of 9?
False
Suppose -2*y + t + 152 = -t, -2*t = 2*y - 168. Is y a multiple of 16?
True
Let c(d) = -d**3 - 3*d + 2*d**2 + 2*d**3 + 3 - d**2 + d**2. Let j be c(-3). Suppose -5*p + 340 = 5*f, 102 + 166 = 4*f + j*p. Is 22 a factor of f?
False
Suppose u + 24 = 3*u. Does 17 divide (u/30)/((-2)/(-170))?
True
Let n(h) = 4*h**2 - 5*h - 3. Let r(i) = -i**2 - 9*i - 8. Let x be r(-7). Let q be ((-3)/x)/((-1)/(-6)). Is 16 a factor of n(q)?
True
Let m = -23 - -31. Is 5 a factor of m?
False
Let r(c) = 11*c + 10. Is 21 a factor of r(4)?
False
Suppose 3*l - l - 14 = 0. Suppose -3*a - l = -5*h + 6, -a - h = -1. Let u = 2 - a. Is 2 a factor of u?
False
Is 16 a factor of 76/(2/2) + (-72)/2