ose 2*j + h - 5 = 2*h, n = j + 4*h. Suppose -j*p = 4 - 28. Does 4 divide p?
False
Is (-3)/2*-52*1 a multiple of 13?
True
Let u(r) = -2*r - 17. Let s be u(-8). Is 21 a factor of ((-9)/12)/(s/84)?
True
Let r = -5 + 10. Suppose w + 3 = 0, -r*o + 16 + 92 = -w. Is 17 a factor of o?
False
Let i(o) = 3 + 0 - 1 - 7 - 5*o. Is 10 a factor of i(-5)?
True
Let n be (150/(-9))/((-2)/6). Suppose -5*w = 4*m - 85, 4*m + w - n = m. Does 6 divide m?
False
Suppose -4*q + 12 = 0, -4*q = 5*y - 5*q + 13. Let j = 6 - y. Does 6 divide j?
False
Let c(d) be the second derivative of d**4/12 + d**3/2 - 3*d. Is c(3) a multiple of 5?
False
Is 14/2 - (0 - 3) a multiple of 5?
True
Let s(v) = v**3 - 5*v**2 + 3*v - 8. Is 16 a factor of s(6)?
False
Suppose -12 = 3*o, 0 = -3*n - 2*o - 2. Does 2 divide n?
True
Suppose 3*z - 1 = 17. Let l be 10 + -1 + (z - 3). Is 5 a factor of l + (-2 + 5)/(-3)?
False
Let m = 3 - 2. Let o = m - -2. Suppose 3*q - 2*u - 29 = 0, -o*u + 25 = 2*q - 16. Is 5 a factor of q?
False
Suppose -4*u + 0*u + 76 = 0. Suppose u = 3*c + 4*w, 0*c + 2*c = 5*w + 51. Is c a multiple of 3?
False
Let p = -32 + 116. Is p a multiple of 22?
False
Let a be ((-14)/4)/((-3)/6). Suppose a*b - 2*b = 30. Suppose -v + b + 10 = 0. Is 10 a factor of v?
False
Suppose 0 = 4*f - f - 5*y + 65, -2*f = -4*y + 44. Suppose -2*n - 6 = 4*m, -5*m - 11 = -3*n + 13. Does 17 divide m/(-4) + (-1005)/f?
True
Suppose -4*f - 29 = 4*g - 265, 0 = 4*g - 4. Is f a multiple of 37?
False
Let m(s) = 12*s**2 - s - 2. Let w be m(-2). Suppose 28 = 2*c - w. Is 11 a factor of c?
False
Suppose -2*i + 24 = -i. Is i a multiple of 6?
True
Let m(d) = -d**2 + 10*d + 3. Is m(7) a multiple of 8?
True
Let u be 1*(2 - (19 - 1)). Let v = 23 + u. Suppose -4*m + 9*m - 17 = -s, m - 5*s + v = 0. Is m a multiple of 2?
False
Suppose -2 = s, -270 = -g + 3*s - s. Is 19 a factor of g?
True
Suppose -q - 2*x + 0*x + 15 = 0, -3*q = -5*x - 45. Suppose 2*u = 5*u - q. Is 2 a factor of u?
False
Let p = 31 + -50. Let x = -4 - p. Is x a multiple of 8?
False
Let c(g) = g - 15. Let m be c(0). Let j = m - -9. Let v(p) = p**3 + 5*p**2 - 9*p - 8. Is v(j) a multiple of 10?
True
Let v = 3 + -2. Let r = -3 + v. Let j = 8 + r. Does 6 divide j?
True
Suppose -9*u + 288 = -171. Is u a multiple of 13?
False
Let f(c) be the third derivative of c**4/12 - c**3/6 + 6*c**2. Suppose 2*i = 4*i - 4. Is 2 a factor of f(i)?
False
Let r(t) = -t**2 - 6*t - 6. Let u be r(-4). Let c(w) = 4*w - 3 + u*w + 1. Is 10 a factor of c(2)?
True
Let t = -84 + 140. Does 8 divide t?
True
Let q(j) = j**3 - 2*j**2 - j. Let f be q(3). Suppose -6 = -3*v - 3*b, -2*b - 2 = -2*v + f. Does 2 divide v?
False
Let l = 2 + 3. Suppose -3*b - 2*b + 3*s = -49, -2*b + 32 = l*s. Is b a multiple of 11?
True
Suppose 15*b - 12*b - 198 = 0. Is 13 a factor of b?
False
Let t(q) = -6*q - 1. Suppose -2*k = -3*k - 2. Does 5 divide t(k)?
False
Let l(w) = 5*w + 5. Let g(o) = 14*o + 15. Let b(x) = -6*g(x) + 17*l(x). Let i be b(-7). Does 10 divide 12/1*(-16)/i?
False
Let p(k) = -k**2 + 4*k - 1. Let c be p(3). Let m be (-22)/(-8) + c/8. Suppose m*f = -0*f + 15. Does 5 divide f?
True
Let p = 10 + -6. Let q(b) = 0*b**2 - 2*b**2 - b - p + 3*b**2. Is q(-5) a multiple of 13?
True
Suppose 8*o - 77 - 147 = 0. Is 6 a factor of o?
False
Suppose 11*m + 192 = 15*m. Does 39 divide m?
False
Let v = -1 + 3. Suppose -4*n = -v*y + 4*y - 14, -5*n = 5*y - 30. Suppose -s = y - 0, -2 = -o - 2*s. Does 6 divide o?
True
Does 17 divide -1*90/(-2) - -2?
False
Let u(k) = k**2 + 7*k + 4. Let y be u(-6). Is y - (-1 - 1) - -6 a multiple of 6?
True
Does 10 divide (-6)/15*(3 + -28)?
True
Suppose 13*u - 10*u = 12. Suppose -u*j + 2*b + 194 = 26, -2*b + 168 = 4*j. Is 14 a factor of j?
True
Let z = -6 - -6. Suppose 0*r + 5*r - 65 = z. Is r a multiple of 5?
False
Suppose -5*n - b + 22 = 0, 5*b - 6 = n - 0*n. Suppose 0 = 3*w + i - 0*i - 50, w + n*i = 35. Is w a multiple of 5?
True
Let m = -5 - -5. Suppose m = 3*x - 311 + 86. Is 22 a factor of x?
False
Let n(q) = q**2 + 6*q - 7. Let x be n(-6). Let c = x + 7. Suppose -5*t + 6*f - f = -80, -5*f + 5 = c. Does 17 divide t?
True
Suppose -3*i + 75 + 12 = 0. Suppose -r = -3*v + i + 19, -v = r - 20. Does 17 divide v?
True
Let u(t) = -2*t + 9. Let v be u(5). Is 38 - 0/2*v a multiple of 7?
False
Suppose 4*i = -3*t + 6, 0 = -i + 5*t - t - 8. Suppose i = -2*r - 0*r, 0 = -4*k + 3*r + 20. Suppose -k*s + 3*n + 52 = -n, s = 5*n + 23. Is s a multiple of 4?
True
Let p = 107 + -190. Let v = 152 + p. Does 23 divide v?
True
Suppose 6 = -2*k - 5*y, -y - 4 = k + 2*y. Suppose -c + 117 = k*c. Is 9 a factor of (8/12)/(2/c)?
False
Does 20 divide -1 + 28 - (-15)/5?
False
Suppose 6*z - 71 = 5*z. Does 25 divide z?
False
Suppose 0 = -3*z + 15, -29 = -4*v + v - 4*z. Let x be (-3)/(v/2)*-1. Suppose -x*h = -m + 43, 4*h = 4*m + 8*h - 160. Is m a multiple of 20?
False
Suppose 8*w - 347 - 45 = 0. Is 7 a factor of w?
True
Let g(k) = k**3 - 7*k**2 + 6*k - 7. Let x be g(7). Suppose -4*v + x = -53. Is v a multiple of 11?
True
Let m be ((-44)/2)/(1 + -2). Let v = m + -13. Is 4 a factor of v?
False
Let f = 0 + 3. Let k be 7 - 6/(f/(-1)). Let s = k - 0. Is 9 a factor of s?
True
Let r be 5*((-1)/5 + 1). Let f(n) = -n + 5. Let s be f(0). Suppose -d + s*t = r*t - 7, -4*d + 13 = t. Is 3 a factor of d?
False
Let u(i) = -3*i**2 + 7*i - 2. Suppose 2*o + o + 21 = -2*h, 4 = -2*o + 2*h. Let l be u(o). Is l/(-6)*3/2 a multiple of 14?
True
Is ((-4)/6 - -1) + (-88)/(-6) a multiple of 8?
False
Suppose -2*v = 0, 4*m - 2*v = 2*v. Does 2 divide m + (4/2 - 0)?
True
Suppose -82 = -3*d - 2*i, -2*d + 2*i = -42 + 4. Suppose -3*k - d = -4*k. Does 9 divide k?
False
Let m(f) = f**3 - 8*f**2 - 10*f + 12. Let i be m(9). Suppose 4*o - i*o - 94 = 0. Suppose -j - 168 = -5*x, o = 3*x - 3*j - j. Is x a multiple of 17?
True
Suppose 8*m - 3*m = 185. Let y(o) = -6*o + 5. Let n be y(-8). Suppose n = 3*d - 4*c, 2*d - m = 6*c - 3*c. Does 6 divide d?
False
Let m = 298 - 148. Is m a multiple of 15?
True
Let z be 1/((4/2)/2). Let c = z + -1. Suppose 6 - 16 = -5*n, c = 2*w - 4*n - 6. Is 5 a factor of w?
False
Let f(w) = -2*w - 1. Let u be f(-5). Suppose 6 = g - 3*i, -29 = -g - 4*i - u. Does 6 divide g?
True
Let q = 7 + -2. Suppose 0 = q*z - t - 3*t - 172, 4*z - 4*t = 136. Is z a multiple of 18?
True
Let p(f) = -f**3 - 6*f**2 - 5*f - 9. Is 21 a factor of p(-6)?
True
Let r be 2 + -2 + (47 - -3). Let d = r + -19. Let g = 55 - d. Is 19 a factor of g?
False
Let n(v) = -26*v - 4. Is 6 a factor of n(-2)?
True
Suppose 0 = -3*o - a + 35, 4*a = -o + 9 + 21. Is o a multiple of 3?
False
Suppose 3*p + 196 = 7*p. Suppose p = 5*a - 21. Does 5 divide a?
False
Let g = 37 + 11. Does 13 divide g?
False
Let x(n) be the third derivative of n**8/20160 + n**7/2520 + n**5/60 + n**2. Let i(v) be the third derivative of x(v). Is i(-3) even?
False
Suppose 4*t + 91 = -25. Let q be t/(-9) - 4/18. Suppose 45 = 3*v - 3*c, 3*v + q*c - 21 = 54. Does 10 divide v?
True
Suppose 7*q - 733 = -26. Is 19 a factor of q?
False
Suppose -100 - 62 = -3*r. Suppose -3*p + r = 3*f, 0 = f - 5*p - 12 - 24. Is 7 a factor of f?
True
Let d(i) = 2*i**3 - 8*i**2 + 5. Let g be d(6). Is 21 a factor of g/4 + 1/(-4)?
False
Suppose -5*q + 275 = 5*w, 3*w + 2*q = 6*q + 151. Suppose -4*m = 2*y - 92, 3*y - w = -m + 60. Does 14 divide y?
False
Let l = 2 - 0. Suppose 0 = 2*f + l*k - 40 - 10, -3*k = f - 27. Does 12 divide f?
True
Suppose 5*v - 325 = 5*z, 4*z - 19 = 3*v - 212. Is v a multiple of 14?
False
Let a(w) = w**3 - 10*w**2 + 7*w + 6. Does 19 divide a(10)?
True
Let a(o) = 9*o**3 + 15*o**2 + 19*o + 5. Let y(s) = -5*s**3 - 8*s**2 - 10*s - 2. Let w(u) = -4*a(u) - 7*y(u). Is 18 a factor of w(-4)?
True
Suppose f - 2*q - 68 = -f, -5*f = -4*q - 165. Is f a multiple of 4?
False
Suppose 4*i + 3*r - 29 = 0, i = -r + 3*r + 21. Is 11 a factor of i?
True
Suppose 24 = -4*i - 0. Does 7 divide -2 + (-36)/(2 + i)?
True
Let h = -20 - -14. Let t(s) = -s**3 - 5*s**2 + 4*s - 1. Does 3 divide t(h)?
False
Suppose 5*i + 216 = 2*h + i, 3*h = 3*i + 324. Does 12 divide h?
True
Suppose 0 = -u - 3 + 7. Suppose 2*n = u*n - 10. Suppose 136 = -n*m + 381. Is 18 a factor of m?
False
Suppose -w + 0*w = 5, w = 3*s - 872. Is 17 a factor of s?
True
Let p(j) = 2*j**2 - 6*j + 2. Let q(l) = -l**2 + 12*l + 5. Let r be q(10). Suppose 5*k + 5*n = r, 5*k - 3*k - 12 = -4*n. Does 5 