 - 2*q - 4, -v*q + 53 = o*l. Is 5 a factor of l?
False
Let c(i) = -i**3 + 12. Let k(u) = -u**2 - 3*u. Let d be k(-3). Is c(d) a multiple of 6?
True
Let c(v) = -46*v - 8. Does 22 divide c(-4)?
True
Suppose 3*q = 20 - 53. Let r = 18 + q. Is r a multiple of 7?
True
Let i be (-105)/12 - 2/8. Let g = -5 - i. Is g a multiple of 4?
True
Let a(u) be the second derivative of -u**7/2520 + u**6/144 + u**5/40 + u**4/6 + u. Let g(i) be the third derivative of a(i). Is g(4) a multiple of 7?
True
Suppose -h + 60 = 2*h. Suppose 0 = 4*a - 44 - h. Is 122/8 + (-4)/a a multiple of 12?
False
Suppose -s - 3*g + 7 = 4*s, 0 = -3*g - 3. Does 17 divide 3 - s*(-164)/8?
False
Is 3 + 4/(-12)*-51 a multiple of 10?
True
Let j(g) = -5*g - 11. Is j(-8) a multiple of 12?
False
Suppose 3*c - 42 - 168 = 0. Suppose -u = 4*u - c. Does 7 divide u?
True
Let i(z) = -z**3 + 5*z**2 - 6*z + 4. Let h be i(4). Is (-1 - -6)/(h/(-4)) a multiple of 5?
True
Let l(n) = 2*n + 17. Is 5 a factor of l(-4)?
False
Suppose -5*j = -2*j. Suppose j = -t + 2*i + i + 36, -4*t + 195 = 5*i. Does 15 divide t?
True
Suppose 0*j - 8 = -2*j. Is 14 a factor of (j/(-5))/(12/(-210))?
True
Let c = -197 + 397. Is c a multiple of 40?
True
Let g = -5 + 7. Let u = g - -13. Is 15 a factor of u?
True
Let i(j) = -5*j - 13. Is i(-9) a multiple of 3?
False
Suppose 2*j = 7*j - 140. Does 4 divide j?
True
Suppose n - 4*a = a + 102, -6 = -3*a. Let j be (-47)/(-9) + 4/(-18). Suppose -j*k + n = -38. Is k a multiple of 14?
False
Let r(h) = 6*h**3 - h**2 + 1. Let q(a) = a**3 - 7*a**2 - a + 10. Let n be q(7). Let b be n/5 - 8/(-20). Is r(b) a multiple of 3?
True
Suppose -13*i = -10*i - 189. Does 21 divide i?
True
Let f = 56 - 6. Is f a multiple of 15?
False
Let v(w) = -4*w - 4*w - 1 - 2*w. Let g be v(-2). Suppose -2*i + 5*x = -37, -42 = -3*i + x - g. Is i a multiple of 5?
False
Let a(p) = p**3 - 8*p**2 + 4*p - 6. Let m be a(4). Let r = m - -90. Is 18 a factor of r?
True
Let b = 51 - 35. Does 4 divide b?
True
Let a = -2 + 3. Let s = 5 - a. Suppose x = -s*x + 180. Is 20 a factor of x?
False
Suppose 0 = w + 3, -2*w - 2 = -2*g + 6. Let q be g/1 - (2 - 5). Suppose 4*k = 0, q*d - k - 65 = -1. Is 13 a factor of d?
False
Suppose 0 = -0*t + 3*t. Suppose y = -t*y + 126. Suppose 3*f - 5*h - y = 0, -2*f + h = -83 - 1. Does 12 divide f?
False
Let i be (-2)/(-6) + (-4314)/(-18). Suppose -4*c + i = c. Is 15 a factor of c?
False
Suppose 200 = 6*y - 118. Is 3 a factor of y?
False
Suppose -s = 3*s + 68. Let h = s - -24. Is h a multiple of 6?
False
Suppose 5*b = -4*f + 265, 3*b - 13 = 2. Is 10 a factor of f?
True
Let n be 2/(1*(-2)/(-2)). Suppose -3*m - n*m = -10. Suppose p = m - 0. Is 2 a factor of p?
True
Let q be -1 + 4 - 1 - 1. Let t(g) be the first derivative of 19*g**2 - 1. Does 13 divide t(q)?
False
Let c(z) = z**2 - 9*z - 5. Is 3 a factor of c(10)?
False
Let o = 10 - 6. Suppose -5*m = -4*a + 14, 11 = 3*a + o*m - 15. Does 2 divide a?
True
Let l(h) = h**2 + 8*h + 34. Is 16 a factor of l(-10)?
False
Let v = 1 - 4. Let u(m) = -1 - 18*m + 3*m**2 + 38*m - 18*m. Does 10 divide u(v)?
True
Let t = 18 - 6. Is 6 a factor of t?
True
Suppose 2*o - 3*o = -5. Is 3 a factor of o?
False
Let f(s) be the second derivative of 5*s**3/6 - 3*s**2/2 - s. Is 2 a factor of f(2)?
False
Let u(b) be the first derivative of -b**3/3 - 7*b**2 - 5*b + 2. Does 17 divide u(-8)?
False
Suppose 0 = -q + 6 - 4. Suppose -3*p - q*p = -r + 86, -r + p + 66 = 0. Is r a multiple of 24?
False
Let a = -88 + 148. Is 10 a factor of a?
True
Let z = -42 - -91. Suppose -g = -5*j - z, 5*g - 190 = -j - 75. Is 16 a factor of -2 + 0 + g*1?
False
Let k(c) = 9*c**2 - c. Let u be k(1). Is ((-3)/2)/((-2)/u) a multiple of 3?
True
Is 24/(-18)*(-174)/8 even?
False
Suppose -37*q - 244 = -41*q. Is q a multiple of 7?
False
Let f(b) = -b**3 - 3*b**2 + 12*b + 5. Let m(r) = 2*r**3 + 7*r**2 - 23*r - 11. Let o(y) = 5*f(y) + 3*m(y). Is o(-6) a multiple of 16?
False
Let l = 16 - 14. Let f = 40 - l. Is 16 a factor of f?
False
Let i = 167 - 307. Let c = i + 75. Let y = -31 - c. Does 12 divide y?
False
Let d(l) = 12*l. Let r be d(2). Suppose -2*y + 4*y - r = 0. Is 6 a factor of y?
True
Let x = 7 - 3. Let k(z) = 7*z - 5. Is k(x) a multiple of 8?
False
Suppose g = 3*s + 4, 4*g + 10 + 4 = -3*s. Let f(j) = -5*j**3 + j**2 + 2*j. Does 10 divide f(g)?
True
Let k be 5 - (2 + -1 + 2). Let y be (k - 8)/(-3)*-2. Is -1 + 18 + y/2 a multiple of 5?
True
Let f(b) = -b**2 - 16*b - 13. Let x = -26 + 13. Is f(x) a multiple of 8?
False
Let j(a) = 2*a**2 - a - 1. Let m be j(3). Suppose i = -5 + m. Is 3 a factor of i?
True
Let u be 63/6 + 3/(-6). Does 3 divide 75/5*4/u?
True
Suppose 0 = -f + 5*z - 3 + 11, -f + 43 = 2*z. Is f a multiple of 11?
True
Suppose -18 = -3*v + 156. Is v a multiple of 28?
False
Let o(f) = -f + 3. Suppose 65 = -5*i + 25. Let a be o(i). Let q = -3 + a. Does 8 divide q?
True
Let s be (2/(-5))/(7/(-1365)). Is 2/5 - s/(-30) a multiple of 3?
True
Let m = -6 - -6. Let z be (m + -2)/(2/11). Is 10 a factor of (z/4 - 3)*-4?
False
Let l = -42 + 157. Is l a multiple of 13?
False
Suppose -15 = 5*n, 4*d = 2*n + 414 + 312. Suppose -5*b - 4*m = -d, b - 3*b - 5*m = -72. Does 12 divide b?
True
Let n(m) be the third derivative of -m**6/120 + m**5/5 - 5*m**4/12 + 11*m**3/6 - 3*m**2. Does 11 divide n(11)?
True
Let p be (-1 - -5)*(-7 + 24). Let i = p + -47. Is 17 a factor of i?
False
Let i(n) be the second derivative of -1/6*n**3 + 1/20*n**5 + 4*n + 0 + 0*n**2 - 1/6*n**4. Is i(4) a multiple of 16?
False
Let a = 17 + -11. Let d = a + -3. Does 3 divide ((-2)/d)/((-3)/18)?
False
Let y = 722 - 394. Is 41 a factor of y?
True
Suppose 2*c = 6 + 210. Is c a multiple of 12?
True
Let v = -51 - -151. Does 10 divide v?
True
Let i = -4 + 7. Let f = -3 + i. Suppose f*o - 4*o + 36 = 0. Is 9 a factor of o?
True
Let z(v) = v**3 - 8*v**2 - 8*v - 1. Does 4 divide z(9)?
True
Let u(y) = -y**2 + 11*y + 3. Let i(x) = x**3 + 2*x - 2. Let g be i(2). Is 8 a factor of u(g)?
False
Suppose -2*s - 3 = -3*s. Suppose s*n + 16 = 5*n. Does 3 divide n?
False
Let a(o) = 15*o**2 - 2*o + 1. Let k(d) = -d**3 - 7*d**2 - d - 7. Let z be k(-7). Suppose -2*p = -z*p - 2. Is a(p) a multiple of 7?
True
Suppose 4*s + 1809 = -3*l, -l + 0*l = -2*s - 907. Is 8/28 + s/(-7) a multiple of 24?
False
Is 24 a factor of 62/4*(14 + -10)?
False
Suppose 5*f = 8 + 37. Is 2 a factor of f?
False
Suppose -8*c = -13*c + 10. Is (-9)/(-1) - (1 - c) a multiple of 8?
False
Suppose 0 = 5*c - 5*x - 475, -2*x - 78 = -c + 14. Is 21 a factor of c?
False
Suppose -3*f - 3*w = -0*w - 285, 4*f - w - 355 = 0. Is f a multiple of 9?
True
Suppose -245 = -4*x - 0*x - 3*t, 3*t - 183 = -3*x. Is 31 a factor of x?
True
Suppose -2*n = -7*n. Let v be (2/(-1) + n)*-25. Let r = -32 + v. Is r a multiple of 8?
False
Let r = -3 - -7. Suppose -f + 4*v - r = 0, 5*f - 12 = v + 3*v. Is 4 a factor of f?
True
Let z = -88 + 150. Does 13 divide z?
False
Let w(t) = -t**3 + 6*t**2 - 2*t - 3. Let p be w(6). Does 11 divide ((-110)/p)/(4/6)?
True
Let f(h) be the third derivative of -h**8/6720 + h**7/315 + h**5/20 - h**4/8 + 2*h**2. Let z(v) be the second derivative of f(v). Does 6 divide z(8)?
True
Suppose 5*p - 2*w = 805, -3*w - 168 = -p - 4*w. Is 28 a factor of p?
False
Let c(z) = z. Let j be c(3). Suppose -r = -w, -4*w + j*r + 0*r - 2 = 0. Does 2 divide (3/w)/(2/(-4))?
False
Let b(t) = -t**3 + 2*t**2 + 2*t - 2. Let h be b(2). Let a be h/6 + 232/6. Suppose -a = -3*k - r + 5*r, 3*r = -4*k + 27. Does 4 divide k?
False
Let u(g) = 54*g**2 - 4*g - 4. Is 5 a factor of u(-2)?
True
Let v = 73 - 42. Is 5 a factor of v?
False
Suppose 0 = p + 10*p + 55. Let v = -16 - -3. Let m = p - v. Does 8 divide m?
True
Let w = 69 - 99. Is ((-18)/w)/((-2)/(-50)) a multiple of 6?
False
Is 19 a factor of 55 + (4 - 2)*(2 - 1)?
True
Does 11 divide (-16)/(-24) - (-326)/6?
True
Let v be (1 + 0)*0 - -2. Let x = v + -4. Is 8 a factor of (-17)/(-1) - x/(-2)?
True
Suppose 2*a - 5*l + 0*l + 42 = 0, 3*a = 5*l - 63. Does 7 divide (a*(-8)/(-12))/(-1)?
True
Let p = 120 - 57. Does 21 divide p?
True
Let s = 14 - -109. Is 35 a factor of s?
False
Let p(b) = b**3 + 3*b**2 - 7*b - 5. Is 7 a factor of p(-4)?
True
Let k be (-2)/6 - (-736)/12. Let c = k + -16. Is 15 a factor of c?
True
Suppose 2*a + 5*r + 169 + 14 = 0, -2*r + 10 = 0. Let p = a - -149. Is 9 a factor of p?
True
Suppos