= q. Is 9 a factor of f?
False
Let v(b) be the first derivative of -b**5/20 + 5*b**3/6 + b**2 - 2*b + 1. Let c(d) be the first derivative of v(d). Is 10 a factor of c(-3)?
False
Suppose 41 = 4*h - 139. Is h a multiple of 15?
True
Suppose -4*p = 4*s + p + 32, s = -4*p - 19. Let h = s - -10. Suppose 3*t - c - 30 + h = 0, -t = 3*c - 21. Is t a multiple of 9?
True
Let k = 8 + -4. Is (6/k)/(6/40) a multiple of 5?
True
Let r(k) = k**3 - 13*k**2 + 5*k - 14. Let j be r(13). Let f = -18 + j. Is f a multiple of 12?
False
Let j be (3 - -1)*9/12. Suppose m + j*m - 32 = -5*b, 3*b + 5*m - 27 = 0. Suppose b*o = 2*o + 22. Does 7 divide o?
False
Let z(n) = 4*n**2 + n - 8. Is 13 a factor of z(7)?
True
Let u = -8 - -12. Is 2 a factor of u?
True
Let f = 8 + -13. Let b be (-12)/2*f/(-2). Does 4 divide -1*((-3)/(-1) + b)?
True
Let a be ((-114)/(-4))/((-12)/128). Let d = a - -461. Suppose -r + 0*r + 5*z + 14 = 0, -d = -5*r - 4*z. Is r a multiple of 16?
False
Let j be 2/4*(3 - -5). Suppose 4*l - 24 = 4*m, -j*m = 2*l + 3*l - 30. Is l a multiple of 2?
True
Suppose -3*k + 36 = -9. Is k a multiple of 15?
True
Let y be 0/((-3 + 2)*-1). Let q = 5 - y. Is q a multiple of 5?
True
Let l = 0 + -4. Does 7 divide 23 - l/(0 + -2)?
True
Let g be 1/(-4)*0 - 84. Is 14 a factor of 60/3*g/(-30)?
True
Let a(z) be the first derivative of -z**2 - 5*z + 3. Does 9 divide a(-7)?
True
Suppose -t - 2*t = -402. Is 16 a factor of t?
False
Let a = -7 + 45. Let i = -5 + a. Is i a multiple of 22?
False
Does 30 divide (1/(3/(-45)))/(5/(-40))?
True
Let r = 2 + -12. Let w = 33 - 54. Let z = r - w. Does 6 divide z?
False
Let t be (1 - 3)/((-6)/15). Suppose t*q - 3*q - 36 = 0. Is q a multiple of 9?
True
Suppose -5*u - 4 = -154. Suppose -5*n - u = -0*n. Does 3 divide (-20)/n - 1/3?
True
Let b = 179 + -115. Is 16 a factor of b?
True
Let o = 25 + -45. Let v = o + 43. Is 18 a factor of v?
False
Suppose -301 = -5*l + 129. Suppose -4*r + 34 = -l. Is 12 a factor of r?
False
Suppose 4*l - 4*j = -24, -l - j = -0*j + 2. Is (-1)/l + (-909)/(-12) a multiple of 23?
False
Let u = 244 + -143. Is 18 a factor of u?
False
Let v(t) = 3 + 4 - t + 2*t. Let k be v(-5). Suppose -k = -2*s + 5*w + 31, 0 = 2*s - 3*w - 23. Is 4 a factor of s?
True
Let g be (-266)/35 - 2/5. Is 19 a factor of (6/g)/(6/(-456))?
True
Let k(a) = -3*a**3 + 4*a**2 - a - 2. Let s be k(2). Is 17 a factor of s/(-8)*(-128)/(-6)?
False
Suppose r - 5 = -1. Suppose f + t - 189 = 0, -2*f - 4*t + 8*t = -366. Suppose f = r*b + 3. Is b a multiple of 23?
True
Let h be ((12*2)/3)/2. Suppose -2*w + 36 = -2*q, 3*q + 74 = h*w - 2*q. Does 8 divide w?
True
Suppose 0 = 5*b - 261 - 439. Is 20 a factor of b?
True
Let j = -9 - -19. Suppose 3*c + j = 28. Is 3 a factor of c?
True
Suppose 0*s + 3 = -s - 5*w, -3*w - 34 = -4*s. Suppose -s = -4*r + r + 4*y, 0 = 2*r + 4*y - 18. Does 4 divide r?
False
Let q = 23 + -20. Suppose -66 = -5*d + q*p, 4*d - 2*d - 33 = -p. Is 15 a factor of d?
True
Suppose 14 = -5*v - 11. Let i(g) = -4*g - 6. Is 14 a factor of i(v)?
True
Suppose 0*s - 384 = -4*s - 2*l, l = 4. Let t = s + -45. Suppose -4*k + t = -23. Does 5 divide k?
False
Suppose 0*t - 5*t + 20 = 0. Suppose -4*s = 3*m - 75, 3*s - 50 = -2*m + t*s. Is m a multiple of 14?
False
Let y(l) = -l**3 - 9*l**2 - 7*l - 10. Is 25 a factor of y(-9)?
False
Let n(q) = -11*q - 1. Is n(-1) a multiple of 10?
True
Is 0 + (0 - 5) - -50 a multiple of 37?
False
Suppose -3*t + t = -132. Is 6 a factor of t?
True
Suppose m + 397 = 3*t - 3*m, -3*t = m - 422. Does 27 divide t?
False
Let c(g) = g**2 + 2*g - 1. Let x be c(-2). Let n = 3 + x. Is 2 + (n + -2 - -11) a multiple of 13?
True
Suppose -4*y - 170 = 4*h - 602, -2*y = -5*h - 216. Suppose -2*n = -6*n + y. Suppose l + n = 4*l. Is 3 a factor of l?
True
Let t = 8 + 22. Suppose -h + 3*g = -16 + 1, 2*h = -2*g + t. Suppose -4*z = -51 + h. Does 9 divide z?
True
Let d(q) = 313*q**2 + q. Let w be d(1). Does 13 divide w/6 + (-1)/3?
True
Suppose 34 = 4*j - 6. Is 10 a factor of j?
True
Let s be (-12)/(-9)*(-3)/(-2). Suppose 2*c - 90 = -s*f, -4*f + c = -6*f + 94. Does 21 divide f?
False
Suppose -u + 1107 = 6*d - d, 2*u - 667 = -3*d. Is 17 a factor of d?
True
Is 5 a factor of 2 - 48/22 - 3272/(-88)?
False
Let x(n) = -n**3 + 11*n**2 + 12*n + 14. Is x(12) a multiple of 14?
True
Let w(l) = l - 36. Let b be w(20). Let s = 50 - 12. Let f = b + s. Does 22 divide f?
True
Suppose -2*z + 2*q = -q, -3*z + 4*q - 1 = 0. Let d = z + 4. Does 5 divide (3/3)/(d/7)?
False
Let v be 1/2*(6 - -4). Suppose -9 = -v*l + 2*l. Suppose -60 = -l*r + o, o + 2*o = 0. Is r a multiple of 10?
True
Let g be (2 - (-130)/2) + 4. Suppose 4*n + 4*d - 268 = 0, -n + 3*d + g = -0*d. Does 10 divide n?
False
Let g(v) = 2*v**2 - 8*v - 22. Is g(-12) a multiple of 36?
False
Let m(y) = -4*y**3 - 6*y**2 - 12*y - 10. Is m(-4) a multiple of 33?
True
Let d(g) = g**2 - g - 1. Let q be d(3). Suppose 96 = -3*n + q*n - 2*s, -252 = -5*n + 2*s. Does 13 divide n?
True
Suppose -12 = 7*j - 68. Does 3 divide j?
False
Let o(b) = -b - 7. Let f be o(5). Let i = f + 22. Is i a multiple of 5?
True
Suppose -2*v = -4, -10 = -5*u - 3*v - 2*v. Let o(q) = q + 20. Is 15 a factor of o(u)?
False
Let c = 8 - 3. Suppose -c - 14 = -a. Does 19 divide a?
True
Suppose -13 - 87 = -5*a. Is 15 a factor of a?
False
Let f(j) = j**2 + 2*j + 2. Does 6 divide f(-4)?
False
Is 16 a factor of (0 - 2)*-1 - -79?
False
Does 27 divide (-30)/4*(-220)/33?
False
Let a(z) = -48*z + 2. Is a(-1) a multiple of 9?
False
Suppose 0 = -0*m - 8*m + 32. Does 3 divide m?
False
Is 11 a factor of (-4)/10 + 285/25?
True
Let q be (-2 - -1)*(0 - 0). Let o be (5 - q) + -3 + 1. Suppose -3*w + o*y + 108 - 6 = 0, 5*w - 4*y - 171 = 0. Is 9 a factor of w?
False
Let y = 5 + -3. Let f(v) = 3*v - 2. Let j be f(y). Suppose 3*b = j*b - 16. Is 13 a factor of b?
False
Let y = -27 - -19. Is (-6)/(-8) - 26/y a multiple of 2?
True
Let g = 10 - 16. Let v be 2/g*(-1 - 2). Let r = 12 - v. Does 11 divide r?
True
Let g = -32 + 82. Is 30 a factor of g?
False
Suppose -2*d - 470 = -2*l, 0 = -5*l - 4*d - 0*d + 1166. Suppose -5*i = -6*p + 2*p + l, -3*p - 4*i = -160. Is 18 a factor of p?
False
Let d(v) = 10*v**2 - 6*v - 1. Let n(a) = a**2 + a. Let u(t) = d(t) + 6*n(t). Is u(-1) a multiple of 7?
False
Suppose 40 = 6*x - 4*x. Is (-3 - (-76)/x)*5 a multiple of 2?
True
Let n(s) = s**3 + 6*s**2 - 7*s - 10. Is n(-6) a multiple of 32?
True
Let p be (-1 - 1)*(0 - -1). Let z(m) = -3*m**3 + m**2 + m - 1. Is 11 a factor of z(p)?
False
Suppose 0*s + 2*s = -12. Is 6 a factor of s/27 - 330/(-27)?
True
Let t(o) = 2*o**2 - 6*o - 8. Let i(k) = k. Let r be i(6). Is t(r) a multiple of 14?
True
Let d(s) = 141*s. Let g be d(1). Does 2 divide (-6)/27 + g/27?
False
Suppose -3*v + 126 = 51. Does 13 divide v?
False
Let i be 1/((0 - -1)*1). Let n(c) = -53*c**2 + c - 1. Let y be n(i). Does 8 divide (-4)/(-24) - y/6?
False
Is 31 a factor of (-32 + 31)/(1/(-314))?
False
Does 19 divide (-8)/(-52) + (-5760)/(-78)?
False
Let j(g) = -11*g - 3. Suppose -3*r + 2*r = 2. Is j(r) a multiple of 12?
False
Suppose 4*u - 6 = 2*u. Suppose -u*l = -l - 76. Is l a multiple of 14?
False
Let h = -4 - -9. Suppose -5*b = -135 - h. Suppose 3*i + b - 109 = 0. Is i a multiple of 9?
True
Let r = -329 + 520. Is 40 a factor of r?
False
Let x(r) = 15*r**2 + 3*r + 2. Let s be x(-5). Suppose -4*a = -2*z + 168, 0*z = 4*z + 5*a - s. Suppose 7*v - z = 3*v. Is 8 a factor of v?
False
Let u = 3 + -42. Let g = u - -65. Is 12 a factor of g?
False
Let a(s) = -s**3 - s**2 + s + 2. Let z be a(0). Suppose -n + z = 3*k - 32, -k = n - 8. Is 6 a factor of k?
False
Suppose -5*n = -10 - 5. Let l = -1 - n. Let h = l - -6. Is h a multiple of 2?
True
Suppose -s = -2*s + 266. Let w(g) = -g + 1. Let p be w(-3). Is p/(-16) - s/(-8) a multiple of 20?
False
Let k = 7 - 5. Let h be -1 - (-2 - 1 - k). Suppose 0 = -5*a + 5*p + 220, -3*a + 135 = -h*p + 2*p. Is a a multiple of 24?
False
Let w = 8 - 4. Suppose w + 100 = 4*x. Does 13 divide x?
True
Is 14 a factor of (0 + 1)/(5/225)?
False
Suppose 3*x + 440 = 8*x. Is 11 a factor of x?
True
Let m(n) = n + 3. Let y be m(-3). Let t be y + -1 + (-2)/(-1). Is t - (-20 + 2 - -3) a multiple of 13?
False
Suppose 3*n + 0*n + 29 = f, -3*n = -2*f + 61. Does 20 divide f?
False
Let p = -657 - -981. Is p a multiple of 12?
True
Let v(b) = -b**3 + 7*b**2 - 4*b - 7.