k) = -k + 24. Let v = -38 - -32. Is u(v) a multiple of 7?
False
Let m = 23 - 31. Let s be 49 + 3*m/(-6). Suppose s = 6*j - 91. Does 7 divide j?
False
Suppose 3*q - 2352 = v, -3*q = -3*v - 0*v - 2352. Is 28 a factor of q?
True
Let u(o) = 16*o - 24. Is u(4) a multiple of 10?
True
Let r be -6 + 5 + 4 + 21 + 0. Suppose -7*o = -6*o - r. Is 6 a factor of o?
True
Suppose 0 = 3*d - 4*w + 3, -4*d + 19 = 4*w - 5. Let u be d/2*16/12. Suppose -v - 2*v + 123 = 2*q, q = -u*v + 81. Is v a multiple of 17?
False
Suppose -31*m = -46*m + 17850. Is 14 a factor of m?
True
Suppose -4*s - 3*g - 23 = -0*g, -3*g - 19 = 2*s. Does 17 divide 0/6 - (-327 + s)?
False
Suppose 3*a - 1 = 26. Does 25 divide a/(3 + (-26)/9)?
False
Suppose -n + 3*n = 8. Suppose -n + 7 = m. Suppose 0 = f + m*f - 44. Is 7 a factor of f?
False
Let t = 767 + -479. Does 12 divide t?
True
Suppose r = -0*r, 4*v = -5*r + 120. Suppose 2*s + 5*a - 13 = -s, -4*a = -3*s - 5. Does 8 divide (-4 - s)/((-6)/v)?
False
Let l = 1594 + 401. Does 35 divide l?
True
Let j(l) = -12*l**2 + 4*l - 1. Let a be j(6). Let i = a - -1145. Suppose -5*p + i = 3*p. Is p a multiple of 23?
True
Let s(n) = n + 1. Let o be s(8). Suppose 0 = 5*f - o*f + 64. Is 5 a factor of f?
False
Let d be 8/12*(-45)/6. Is (-2 - 23/(-2))/(d/(-20)) a multiple of 19?
True
Suppose a + 2 = 8. Suppose -4*r + 3*d + a = -18, -5*r + 5*d + 25 = 0. Is 2 a factor of r?
False
Let u(d) = -4*d**2 - d + 0*d + 0*d**2 + 5*d**2. Let z be u(2). Suppose -o - 7 = 4*j - 23, 0 = 2*j - z. Is 11 a factor of o?
False
Is 6 a factor of (-2 - (-202)/(-7))*1050/(-75)?
True
Suppose 130*m - 123*m = 1092. Suppose -4*f + 4*x = -36, -4*f = 4*x + x. Suppose 0 = 4*w + 2*j - m, -3*w - 2*w - f*j = -205. Is 12 a factor of w?
False
Let s = -4 - -8. Suppose -f - s = 5. Let v(i) = 2*i**3 + 18*i**2 - 2*i + 2. Is v(f) a multiple of 8?
False
Let j(v) = 48*v**2 - 2*v - 3. Suppose 57*r - 2 = 59*r. Is j(r) a multiple of 4?
False
Let t(w) = w. Let n be t(3). Suppose 3*a + 4*k - 3*k = 137, 15 = n*k. Does 11 divide a?
True
Let p = 11 - -4. Let m be (18/(-45))/(1/p). Is 8 a factor of (0 - 1)/(m/156)?
False
Suppose -4*w - 20 = 4*f, 14 = -4*f - 2*w + 2. Is 6 a factor of 1*(59 + f + -3) + -1?
True
Let k = 510 - 321. Is 9 a factor of k?
True
Let x = 434 - -123. Is 28 a factor of x?
False
Let b = 2633 - 1842. Is 113 a factor of b?
True
Let w = -1753 - -1770. Is 2 a factor of w?
False
Suppose -4*n - 190 = -2*r - 0*n, -499 = -5*r - 2*n. Let l = r + -57. Is 15 a factor of l?
False
Let i(x) be the second derivative of -x**4/12 + 3*x**3 - 8*x**2 + 4*x. Is i(16) a multiple of 2?
True
Let k = 1043 + -713. Let i = -182 + k. Is i a multiple of 37?
True
Let m(y) = 11*y + 80. Does 4 divide m(0)?
True
Let h(y) = y**3 + 5*y + 192. Is 16 a factor of h(0)?
True
Suppose -7*y + 100 = -2*y. Let u be (-1)/1 + y/5. Suppose u*k - 16 = -k. Is k a multiple of 4?
True
Suppose 30*d + 120 = 40*d. Does 4 divide d?
True
Let z = 887 + -821. Is 22 a factor of z?
True
Suppose 2*v - 4 + 0 = 0. Suppose 10 = -3*h - 5*d, -h + d + 0*d = -v. Suppose h*b + 336 = 4*b. Is 26 a factor of b?
False
Let i = 109 - 101. Let b(s) = 18*s - 20. Is b(i) a multiple of 13?
False
Suppose 6 = -3*x + 6*x. Suppose -32 = -x*v + 4*j, 0 = -2*j + 7*j + 10. Is 16 a factor of -8*(-1 - 75/v)?
False
Let f = 2855 - 1982. Suppose 3*i = -4*s - 268 + f, 400 = 2*i + s. Is i a multiple of 40?
False
Suppose h = -2*h - 18. Let q be (-7 + h/(-2))/(-2). Suppose -q*c - 5*y = -61, -3*c = 2*c + y - 95. Does 6 divide c?
True
Suppose 0 = 6*i - 5*i - 382. Does 64 divide i?
False
Let l(f) = f**3 + 33*f**2 + 8*f - 68. Does 50 divide l(-32)?
True
Let i be (-14)/21 + 5/3. Let p be -3 - 3/i*-29. Suppose -d = -3*d + p. Does 14 divide d?
True
Let d(m) = 2*m**2 - 5*m + 2. Suppose -25 = -4*v - 5. Does 3 divide d(v)?
True
Let w = -24 + 27. Let h = -11 + w. Is (-7 - h)/((-2)/(-34)) a multiple of 8?
False
Suppose 5*o + 40 + 38 = 2*i, o = 4*i - 12. Let u = -14 - o. Suppose 2*b - 46 = u*h, -3*b + 75 = 2*b + 5*h. Does 7 divide b?
False
Let h(q) = -4 + 8*q + 2*q + q - 3*q - 4*q. Suppose y + 3 = 9. Does 11 divide h(y)?
False
Let q(z) be the second derivative of -z**5/20 + 2*z**4/3 + 3*z**3/2 - 4*z**2 - 6*z. Is q(8) a multiple of 13?
False
Let p be (1 - 3) + 2 + 11. Let m = p + -12. Does 4 divide -6*(m - -2)*-2?
True
Let k = -170 + 1106. Is k a multiple of 24?
True
Let a(n) = 4*n**2 + 2 - 5*n**2 - 50*n + 66*n. Is 10 a factor of a(11)?
False
Suppose 3*n = 741 + 348. Is 33 a factor of n?
True
Suppose 0*h + h = 18. Let l be (-36)/(-17) + h/(-153). Suppose 2*z - 16 = g + 5, l*g = -5*z + 48. Is z a multiple of 5?
True
Let v = -117 + 297. Is 18 a factor of v?
True
Suppose 2*c - 40 = 4*h - 2*c, -4*c = -20. Let q(n) = n**3 + 4*n**2 - 6*n - 3. Let p be q(h). Is 19 a factor of 34 + -1 - (p - 5)?
False
Suppose -4*i + 3*i + 11 = 4*q, -15 = -5*i. Suppose q*p - 4 - 4 = 0. Suppose -3*b + 259 = 4*x + 92, p*b = 5*x + 202. Does 14 divide b?
False
Suppose -5*v = 4*s - 1520, -4*s + 1007 = 4*v - 213. Is 30 a factor of v?
True
Let h(b) = -b + 253. Let w be h(0). Let m be (-2590)/20*-2*1. Suppose 0 = -5*x + 2*f + m, -w = 3*x - 8*x - f. Does 25 divide x?
False
Let t(n) = n**3 - 28*n**2 + 268*n - 13. Is 43 a factor of t(9)?
True
Suppose 235 + 629 = 9*y. Does 53 divide y?
False
Let l = -52 + 73. Let g = -15 - 1. Let u = l - g. Is u a multiple of 18?
False
Let o = 125 - 125. Let r be (0 - 0)/(4 + -3). Suppose r*i - i + 151 = o. Is 31 a factor of i?
False
Suppose 0 = -f + 54. Let y be (-9 - 0)*72/f. Is 3/y - 338/(-8) a multiple of 14?
True
Suppose 2624 = -5*c + 3*i, -2*i - 2102 = 4*c - 3*i. Let y = c - -750. Is y a multiple of 11?
False
Let q(y) = y**2 - 6*y + 3. Let s(m) = -m + 3. Let p be s(-4). Let n be q(p). Does 20 divide (-15)/n*(-50)/3?
False
Suppose 5*l - 31 = 59. Let p = 32 - l. Suppose -2*n + 2*r + 6 = -p, 5*r = -10. Is 2 a factor of n?
True
Let w(i) = 8*i - 7. Let o be w(4). Let u = -16 + o. Suppose 0*b - 9 = d - 4*b, -2*b = d - u. Is d even?
False
Let y(v) = 2*v**3 - 2*v**2 - 15*v - 6. Let o(j) = -2*j**3 - 11*j**2 - 8*j - 9. Let k be o(-5). Is 21 a factor of y(k)?
False
Let s(a) = a**2 + 13. Suppose k - 3 = -0*k. Suppose 0 = -5*z - 4*y + 36, z + 4 = -y + k*y. Does 13 divide s(z)?
False
Let y be (-6)/14 + -74*(-4)/(-28). Let a = y - -21. Does 8 divide a?
False
Suppose 12*d - 11*d = 34. Let f = 18 + d. Does 12 divide f?
False
Let o(q) = 19*q + 4 + 2 - 8 + 5. Is 13 a factor of o(2)?
False
Suppose -2*g - 15 = 3*g + w, 0 = 3*g + 5*w + 31. Let a = 25 - 12. Is 2 a factor of 201/39 + g/a?
False
Let t(u) = u - 5. Let v be t(8). Suppose 29 = v*s - 13. Is s a multiple of 14?
True
Let j(w) be the second derivative of w**3/6 + 7*w**2/2 + 6*w. Let c be j(-3). Suppose 3*v = c*v - 36. Is v a multiple of 14?
False
Let h be (68/6)/((-12)/18). Let f be 2 + 1 + -2 + -27. Let j = h - f. Is 9 a factor of j?
True
Suppose 4*w + p - 5 = 0, 2*p + 5 = -w + 1. Suppose 5*o + w = 7. Is 8 a factor of 26 + (o + 3)/4?
False
Let c(d) = 15*d**2 - d - 11. Let k be c(-8). Let q = -420 - k. Does 10 divide q/(-68) + 1/(-4)?
True
Let n(r) = 18*r - 1. Is 9 a factor of n(4)?
False
Let g(r) be the third derivative of 9*r**5/10 + 27*r**4/8 + 27*r**3/2 - 5*r**2. Let v(i) = i**2 + i + 1. Let h(j) = -2*g(j) + 162*v(j). Does 27 divide h(1)?
True
Does 3 divide (2/6)/(-2*3/(-1332))?
False
Let r be ((-16)/6)/(10/45). Let l be 3/r + 18/8. Suppose k + 13 = 3*w, l*w + 2*k = 9 + 13. Does 2 divide w?
True
Is 28 a factor of 721 + -4 + 5 - (-20)/(-20)?
False
Let s = -20 - -46. Suppose -67 - s = -f + 5*p, -5*f - 3*p = -577. Does 16 divide f?
False
Let o(d) = d**3 - 7*d**2 - 6*d + 4. Let k be o(8). Let f = k + 1. Suppose 0 = 4*l + 5*b - f, 0 = -2*l - 5*b + 2*b + 11. Does 3 divide l?
False
Let n(x) = 31*x + 203. Is 12 a factor of n(19)?
True
Suppose -6*u = -4*u + 58. Let a = 11 - u. Suppose 0 = -7*p + 3*p + a. Is p even?
True
Is 32 a factor of (1 + 27/6)*(-9 + 31)?
False
Let a = -161 + 488. Is a a multiple of 24?
False
Let j = -18 + 7. Let l = -3 - -21. Let z = j + l. Is z a multiple of 7?
True
Suppose -3*y = -0*y - 5*j - 55, 4*y + 2*j = 30. Suppose 4*r - x - 6 = 0, 3*r - x = -3*x + y. Suppose 24 = r*o + o. Does 3 divide o?
False
Suppose -1504 = -4*f - h, 38*f - 36*f - 742 = 2*h. Is f a multiple of 25?
True
Let t = -228 - -908. Does 20 divide t?
True
Suppose 0 = -5*p - 2*z