 = -2*y, 0*h + 9 = -3*h + 3*y. Let g(b) = -5 + 4 + 1 + 10*b. Is 5 a factor of g(h)?
True
Suppose 0 = 2*m + 8 - 18. Suppose -j = m*g - 85 + 21, -5*j - 3*g = -276. Is j a multiple of 19?
False
Let p = -82 + 322. Is p a multiple of 16?
True
Let f = -51 + 34. Let n = f - -43. Does 15 divide n?
False
Let i(d) = 5 + 9 + 1 - d**3 + d**2 - 2*d + 3*d. Let y be i(0). Let f = 7 + y. Does 13 divide f?
False
Let w(l) = 4*l**3 + 13*l - 3*l**2 - 2*l**2 - 6*l**2 - 9 - 3*l**3. Is w(10) a multiple of 6?
False
Let b = -1 + 0. Let y be 1*-2 + (b - -3). Is 4 a factor of -2*(-5 - (0 + y))?
False
Let t(l) = -7*l. Suppose -d + 2 = 4*n, -2*d - 1 = 3. Let s be t(n). Is 15 a factor of ((-30)/s)/(4/28)?
True
Suppose -5*i + 0*i = 4*n + 3, -i = -2*n + 9. Let d(t) = 5*t - 4. Does 7 divide d(n)?
False
Suppose -w + 8 = w. Suppose 5*s - 11 = w*j, 4*j - 11 = -2*s - j. Suppose 3*m + v = 81, 4*v - s = 9. Does 26 divide m?
True
Suppose -a = -5*a. Let l = -16 + a. Let n = l + 53. Is n a multiple of 18?
False
Suppose t = 5*k + 32, t - 3*k - 30 = -0*k. Let o = 42 - t. Is 9 a factor of o?
False
Let j = -15 + 9. Let s be (-3 + 2)/(2/j). Suppose -2*c + 2*k + 130 = 2*c, -s = 3*k. Is 14 a factor of c?
False
Let j(u) be the first derivative of 2*u**3/3 - u**2 + 5*u + 1. Is j(5) a multiple of 19?
False
Let c(a) = -a - 9. Let b be c(-6). Let r(l) = 4*l**2 - 4*l. Is r(b) a multiple of 14?
False
Let o = 418 - 247. Suppose -4*f + 429 + o = 0. Suppose 10*t = 5*t + f. Does 11 divide t?
False
Let h(a) = a**3 + 10*a**2 + 2*a + 2. Is h(-9) a multiple of 13?
True
Suppose -4*l - j = -243, -4*l - 6*j + 2*j = -252. Is 14 a factor of l?
False
Is 13 a factor of 9*1*(-148)/(-12)?
False
Suppose 0 = 2*s + 1 + 17. Let d(n) = n**2 + 6*n - 5. Let k be d(s). Suppose -12 = -2*u + k. Is u a multiple of 17?
True
Suppose 9*i = 4*i + 15. Suppose -2*n = -i*n + 13. Is n a multiple of 13?
True
Let m(o) = 6*o - 3. Is 7 a factor of m(3)?
False
Let s = -18 + 48. Is s a multiple of 2?
True
Suppose 3*w = 5*w - 506. Let b = -105 + w. Suppose -b = -5*o + 12. Is 11 a factor of o?
False
Let p(n) = -2*n**2 - 15*n - 3. Is p(-6) a multiple of 5?
True
Let u(g) = -29*g - 5. Let l(n) = 117*n + 21. Let v(c) = 5*l(c) + 21*u(c). Is v(-2) a multiple of 21?
False
Suppose 0*s = -3*s + 6. Suppose -z = -3*j + s, -2*j = z + z - 12. Suppose -z*x + 80 = x. Is 16 a factor of x?
True
Let j = -69 + 69. Suppose 3*q = -2*q + 1025. Suppose j = 4*d + d - q. Is d a multiple of 16?
False
Suppose 5*o + 5*d - 505 = 0, -5*d + 4*d - 319 = -3*o. Is o a multiple of 15?
True
Let z(s) = -4*s + 1 + 5*s + 6*s. Does 18 divide z(5)?
True
Let k = 18 - -22. Does 20 divide k?
True
Suppose 3*v - 60 = v. Does 5 divide v?
True
Suppose 0 = 5*z - 52 - 153. Let s = z + -24. Is s a multiple of 10?
False
Let n(v) = 3*v**2 - 3*v - 6. Is n(-4) a multiple of 18?
True
Suppose 11*x = 10*x. Suppose z - 3 = 2. Suppose 0 = -5*l - 4*m + 23, 0 = -x*l + 2*l + 3*m - z. Is 7 a factor of l?
True
Let l(v) = v - 3. Let s be l(3). Suppose -5*m + m + 12 = s. Let c = 6 + m. Is 9 a factor of c?
True
Let k = -5 + 29. Is k a multiple of 12?
True
Let l(f) = -f**3 + 6*f**2 + 9*f - 2. Let i be ((-70)/6)/(-5)*3. Is l(i) a multiple of 3?
True
Let f = 2 + -9. Let y = f - 3. Is 13 a factor of (y/2)/(4/(-28))?
False
Let l be 1/(-5) - (-36)/30. Let c be (l/1)/(2/48). Suppose 2*q - 10 = c. Does 17 divide q?
True
Suppose 3 - 9 = -o. Let f be (3/(-2))/((-9)/18). Suppose f*c + 0*c = o. Does 2 divide c?
True
Let m(w) = 2*w + 70. Is m(-14) even?
True
Let b = 62 + -39. Let x = 0 - -2. Suppose a = x*d - b, 5*d - 8 = 3*d + 4*a. Is 14 a factor of d?
True
Suppose -2*k - 2*x + 9 = -3*x, 4*x = 3*k - 16. Does 4 divide k?
True
Suppose -466 = t - 2*t + 3*x, 3*t - x - 1366 = 0. Is 13 a factor of t?
False
Suppose -4*l + 2*l = -4. Let z = l - 39. Let n = z + 64. Does 7 divide n?
False
Let d(i) = -23*i**3 - i. Let l be d(1). Let v be (2/(-6))/(4/l). Suppose 0 = -v*o + 14 + 54. Does 17 divide o?
True
Suppose -5*t = -568 - 17. Is t a multiple of 39?
True
Let y = -211 - -316. Let z be 1/(y/(-51) + 2). Is (-3 + 1)*z/2 a multiple of 5?
False
Suppose -s - 2*q = 0, -2 = -2*s - 0*s - 3*q. Suppose 31 = s*c - 17. Is c a multiple of 12?
True
Let j(t) be the second derivative of -t**6/360 + 3*t**5/40 - 5*t**4/24 - t**3/3 - 2*t. Let f(w) be the second derivative of j(w). Is f(6) a multiple of 8?
False
Let j = -114 - -196. Does 17 divide j?
False
Let y(d) = -d**3 + 9*d**2 - 2*d. Is 16 a factor of y(8)?
True
Let y be 14/(-8) - 2/8. Let p(q) = -5*q**3 - 2*q**2 - 1. Is p(y) a multiple of 18?
False
Let f = -465 + 745. Suppose 5*t = t + f. Is t a multiple of 14?
True
Suppose 0 = -x - 2*x + 480. Is x a multiple of 20?
True
Let l = 15 + -8. Suppose 0 = -3*g + b, -l*g + 5*b = -2*g. Is 0 - g - (0 - 7) a multiple of 3?
False
Suppose 4*n - 392 - 467 = -3*x, -4*n + 2*x = -834. Does 16 divide n?
False
Let n(j) = -j**3 - 7*j**2 + j - 1. Is 38 a factor of n(-9)?
True
Let m(c) = 2*c**2 + 8*c - 11. Let y be m(-9). Suppose -3*l + 22 = y. Let g = 38 + l. Does 10 divide g?
False
Does 16 divide 32 - (-1 - (-2 + 1))?
True
Suppose 3*i - 2*t - 17 = 0, 1 = -9*i + 4*i - 4*t. Suppose -2*n - i*q = -23, -q + 3 = n - 10. Is 14 a factor of n?
False
Suppose -b = 2*n - 32, 0 = n + 3*n + 12. Let v be 156/(-11) + (-6)/(-33). Let i = b + v. Is i a multiple of 12?
True
Suppose 3*f + 194 = i + 26, 2*i - 224 = 4*f. Is 4 a factor of ((-4)/(-14))/((-4)/f)?
True
Let v be -2 - 1/(3/(-18)). Let b be 447/21 + v/(-14). Is (0 - b)/((-6)/4) a multiple of 6?
False
Suppose 0 = 3*i - 6*i + 15. Suppose i*w + 101 = 4*m, -2*w + 29 = m - 4*w. Does 7 divide m?
False
Let n = -100 - -159. Let p = n + -35. Is 12 a factor of p?
True
Let z be (4/8)/((-1)/(-4)). Let n(f) = -f**2 - f + 2. Let l be n(z). Is (-216)/(-21) - l/(-14) a multiple of 5?
True
Let t(b) = -b**3 - b + 19. Let n be t(0). Let z = 55 - n. Does 12 divide z?
True
Suppose 0 = 5*y - 289 - 311. Suppose -3*n + y = n. Is n a multiple of 11?
False
Let q(l) be the first derivative of l**4/4 + 4*l**3/3 - 3*l**2/2 - 3*l + 2. Let j be (-6)/10 + 34/(-10). Is 6 a factor of q(j)?
False
Let y(j) = -j**2 - 11*j + 7. Let x be y(-9). Suppose 5*h = 5*g - 85, -4*g - 3*h + 107 = x. Is 11 a factor of g?
False
Let l(x) = 20*x**3 - 2*x**2 - x + 1. Let a be l(2). Is 19 a factor of a/2 + 5/10?
True
Is 4 a factor of ((-10)/5)/(1/(-8))?
True
Let q(s) = -14*s. Let v be q(-6). Let w = v + -54. Is w a multiple of 15?
True
Suppose 0 = 3*a + 8 + 1, -4*a = 3*n. Suppose -5*c - 3*d + 210 = 0, 4*c = -3*d - 0*d + 165. Suppose -n*p + c = -15. Is p a multiple of 13?
False
Suppose -b + 5*m + 17 = 3*b, -3*m - 23 = -4*b. Let u = 18 - b. Does 5 divide u?
True
Suppose 2*h = 5*u - 3*h - 115, -h = 3*u - 89. Is 7 a factor of u?
True
Suppose -2*r + g = -0*g + 593, -1189 = 4*r + g. Let d be r/(-4) - (-1)/(-4). Suppose -14 = 4*q - d. Is q a multiple of 15?
True
Suppose 6 = -5*r - 49. Let q = r + 4. Let a = q - -11. Is 2 a factor of a?
True
Let n be (0 - 3)/(-12)*4. Let r be (-3)/(-2 + n) + 1. Let m(z) = 2*z - 4. Does 4 divide m(r)?
True
Let g be ((-51)/2)/((-3)/4). Let i = 51 - g. Let y = i + 23. Does 19 divide y?
False
Let z(j) = -j**3 - j**2 - 2*j - 3. Let r be z(-2). Let o = -7 + r. Is 6 a factor of -3*(2 + o - 2)?
True
Let f = 30 - 2. Is f a multiple of 7?
True
Let s = -4 + 4. Suppose 3*c + 39 = 4*b, -2*c - 42 = -s*b - 4*b. Suppose 4*p - 3*p = b. Is p a multiple of 6?
True
Let h be -2 - (2 + 0/1). Let i(d) = -d - 3. Let q be i(6). Is 8 a factor of 6/q*102/h?
False
Let b(y) = -14*y + 5. Does 24 divide b(-5)?
False
Suppose -4*l + 29 + 27 = 0. Suppose -k - 33 = -3*s + l, 2*k = -2*s + 34. Does 3 divide s?
False
Let s = -4 + 10. Suppose -s*p = -p - 405. Is 27 a factor of p?
True
Let c(u) = u**3 - 2*u**2 - 3*u + 2. Is 52 a factor of c(5)?
False
Suppose 0 = 4*l - 5*n - 93, 4*n + 37 = l + 11. Does 11 divide l?
True
Suppose -3*o - 2 + 11 = 0, 4*o = -4*r + 44. Suppose 2*z + r*a = 3*a - 9, -z = 2*a + 4. Is 7 a factor of (-13)/((-1)/(-2)*z)?
False
Let l(w) = 48*w - 8. Is l(10) a multiple of 59?
True
Let o(q) = q + 1. Let m(v) be the first derivative of v**2 + 5*v - 1. Let u(n) = m(n) - 6*o(n). Is 11 a factor of u(-3)?
True
Let q(l) be the first derivative of 4*l**3/3 + 7*l**2/2 + 5*l + 2. Is 28 a factor of q(-5)?
False
Suppose -4*w - 20 = 0, -4*x = -x - 2*w + 17. Let f = x + 15. Is 4 a f