et h(m) = m**3 + 8*m**2 - 14*m - 9. Let y(g) = h(g) + 2*n(g). Is y(-7) a multiple of 24?
True
Let f(q) = -4*q + 4. Let l be f(-9). Is 18 a factor of (624/l)/((-3)/(-15))?
False
Let a = 1450 + -1203. Is a a multiple of 24?
False
Let x = -25 + 29. Suppose 1 = -z + x. Is 3 a factor of z?
True
Suppose -16 = -4*y, 4*w + 49 = -y + 2885. Is 20 a factor of 2/(-9) + w/27?
False
Let f(p) be the second derivative of -2*p + 0 + 15/2*p**2 - 1/6*p**3. Is 8 a factor of f(7)?
True
Suppose -3604 = -107*s + 102*s - 4*x, 2*x - 2 = 0. Is 3 a factor of s?
True
Let n be (-1 + -22)/(-2 - -1). Suppose -19*m = -n*m. Is (-2 - -2) + (m - -64) a multiple of 15?
False
Let h = 98 - 66. Is (-12)/h + (-537)/(-24) a multiple of 11?
True
Let c(w) = -w**2 + 25*w + 38. Is c(23) a multiple of 12?
True
Let g = 10 - 10. Suppose -2*a + 87 + 69 = g. Let v = a - 24. Is 12 a factor of v?
False
Suppose 32104 = 26*x - 16256. Is 60 a factor of x?
True
Suppose -3*a + 1650 = -7410. Is a a multiple of 20?
True
Let z = 0 + 9. Let m(k) = -k**2 + 10*k - 6. Let x be m(z). Suppose -3 = 3*h + x*d, -5*h = -2*h - 4*d - 18. Does 2 divide h?
True
Let i = 32 - 30. Suppose 7*o = i*o + 135. Does 13 divide o?
False
Does 68 divide 8 - 1 - (-728 - -20)?
False
Suppose -4*d = -5*c - 704, 3*d + 2*d + 3*c = 843. Is 35 a factor of d?
False
Does 22 divide 2340*10/165 - 2/(-11)?
False
Suppose -5*r + 3834 + 5046 = 0. Does 24 divide r?
True
Suppose 4*a + 5102 = 3*w, -19*a + 17*a + 2 = 0. Is w a multiple of 55?
False
Suppose 2*g + 36 = 332. Suppose -4*q + 3*y = -y - g, 4*y - 212 = -5*q. Does 10 divide q?
True
Let z(y) = y**3 + 4*y**2 - 4*y**2 + y - 3 - 4*y**2. Let l be (-1148)/(-246) - 1/(-3). Is 9 a factor of z(l)?
True
Let l(v) = -v**3 + 75*v**2 + 17*v - 703. Is 26 a factor of l(75)?
True
Suppose 0 = -5*w + 2*y - 2 - 0, -4*w - 3*y = -3. Suppose t - 2*t + 4 = w. Suppose m + t = 13. Is 9 a factor of m?
True
Let n(s) = -10*s + 2 - 10*s + 3*s. Let u be (-6 + 0)/(-12*2/(-16)). Does 14 divide n(u)?
True
Let v = 45 + 11. Let t = -51 + v. Is 4 a factor of t?
False
Let n(o) = 802*o - 764. Is n(8) a multiple of 21?
False
Let j(p) = p**3 + 15*p**2 + 15*p + 12. Let x be j(-14). Let f(z) = -5*z**3 + 2*z**2 - z. Does 10 divide f(x)?
True
Suppose -11*n + 9 = -8*n. Let v(s) = 85*s + 4. Let b be v(6). Suppose -n*x + 310 = a, -2*a + b = 5*x + a. Is x a multiple of 34?
False
Let u = 32 + -196. Is 28 a factor of (95/(-20) - -4)*u?
False
Let f = -3 - -17. Let a = f + -9. Suppose 68 = a*l - l. Is l a multiple of 15?
False
Suppose -3*x + 4 = 7*d - 3*d, 3*x - 6 = -3*d. Suppose -5*v + x*u = -42, -3*v + 0*u + u = -21. Does 13 divide (-9)/v*(-92)/3?
False
Let u(v) = -v + 20. Let x be u(16). Suppose -x*b + 377 = -271. Is 18 a factor of b?
True
Let c(p) = p**2 - 6*p - 4. Let k = 16 - -1. Suppose -b + k = 9. Does 6 divide c(b)?
True
Is 4 a factor of 2 + ((-40)/15)/8*-354?
True
Let h = -1276 + 1978. Is 18 a factor of h?
True
Let a be ((-1)/(-2))/(1/(-86)). Let s = a + 45. Is s a multiple of 2?
True
Suppose 4*q - 10 - 6 = 0. Suppose -q*j - 4 = -12. Suppose -j*n = -1 - 1, 4*s = -3*n + 83. Is s a multiple of 11?
False
Let i(g) be the second derivative of -g**4/12 + 13*g**3/6 + 2*g**2 - g. Let a be i(8). Let j = 62 - a. Does 11 divide j?
False
Is 89 a factor of 8 + -9 + 9*188?
True
Let c be ((-21)/14 + (2 - 0))*12. Suppose -l = 4, 4*h + 10*l = c*l + 480. Is 9 a factor of h?
False
Suppose -5*v - 4*d + 38763 = 0, 0*d + 7752 = v + d. Is 6 a factor of v/132 + (-3)/4?
False
Let n(h) = h**3 - 11*h**2 + 16*h + 20. Does 20 divide n(10)?
True
Suppose -m = c - 6*m - 602, 4*c - 4*m - 2408 = 0. Does 14 divide c?
True
Let w = 38 + 1294. Is w a multiple of 9?
True
Let b(m) = 81*m**3 + 9*m**2 + 5*m - 9. Let o(g) = -20*g**3 - 2*g**2 - g + 2. Let f(s) = 2*b(s) + 9*o(s). Let j = 916 + -917. Is f(j) a multiple of 10?
False
Let a = 1 + -2. Let n(d) = -d**3 - 28*d**2 + 2*d + 58. Let w be n(-28). Does 7 divide (4/w - a) + 11?
True
Does 10 divide 2928/42 + 10/35?
True
Let a(n) be the third derivative of -n**5/60 + 19*n**4/24 + 2*n**3 - 10*n**2. Is a(18) a multiple of 11?
False
Let j(z) = 0*z**3 - z - 6*z**3 - z**2 + 9*z**3 + 3*z**2. Is 6 a factor of j(2)?
True
Suppose 11587 = 24*y - 22613. Is 19 a factor of y?
True
Let q(u) = -8*u + 8 - 7 - 13 - 7. Is q(-12) a multiple of 7?
True
Let z(a) = -a**3 + 11*a**2 + 40*a + 10. Does 13 divide z(13)?
False
Suppose 0 = x + 109 - 113. Suppose -q = w - 21, -4*q + x*w + 54 = -62. Is q a multiple of 3?
False
Let i(c) = -c**3 + 23*c**2 - 31*c + 41. Does 17 divide i(21)?
True
Let b(k) = 3*k**2 + 5*k + 6*k**3 - 8 - 5*k**3 + 4*k**2. Let x be b(-6). Is 108/9 - (0 - x) a multiple of 5?
True
Suppose -128 - 42 = 5*w. Let u = w + 60. Is 7 a factor of u?
False
Suppose -20*s + 465 = -14015. Does 14 divide s?
False
Let o be (180/(-25) - -4)*5. Does 6 divide 14 - o - 2/(-2)?
False
Suppose 2*z - 61 + 17 = -4*b, 0 = -3*b + z + 23. Let s(c) = -c**3 + 8*c**2 + 9*c. Let n be s(b). Suppose n = 2*m - 10 - 18. Does 9 divide m?
False
Let t be 53 - ((-9)/(-3) + 1). Let u = t + 15. Suppose -u = -5*v + 166. Is v a multiple of 16?
False
Suppose -n - 482 = -5*x - 5*n, 4*x + 5*n - 391 = 0. Is 37 a factor of x?
False
Is (-104)/65 + (-28336)/(-10) a multiple of 16?
True
Does 7 divide ((-1132)/8 - -2)*(-16)/6?
False
Suppose 2*h + 24 = 5*h. Suppose -5*x = -5*u + 80, 0*u + 5*x + h = u. Does 7 divide u?
False
Suppose 0 = 2*g + 2*g + 72. Let q = 72 - g. Does 18 divide q?
True
Let u(k) = 6*k**3 + 3*k**2 - 19*k + 33. Is u(2) a multiple of 5?
True
Suppose -4*a = o - 963, -736 = -3*a - 82*o + 84*o. Is 11 a factor of a?
True
Suppose -3*m + 52 + 167 = -2*o, 0 = 4*o. Does 7 divide m?
False
Let i(d) = 305*d - 102. Does 36 divide i(6)?
True
Suppose 3*r - 2*q + 291 = 3*q, 2*r + 190 = 2*q. Let f be (-14)/6 - 3*(-10)/(-45). Does 15 divide 1*f*r/12?
False
Suppose -4*o - 5*f + 4761 = 0, 3*o - 2382 = o - 4*f. Does 26 divide o?
False
Let l(b) be the first derivative of -3*b + 2 + 1/2*b**2. Is l(12) a multiple of 3?
True
Suppose 7*z - 4*z - 2100 = 0. Suppose -3*n = -10*n + z. Is 18 a factor of n?
False
Let y be 2*(1 + 2/(-4)). Let u = 3 + y. Suppose u*m - 9 - 25 = 2*l, -m = 3*l - 26. Does 3 divide m?
False
Let o = -2361 + 4223. Does 19 divide o?
True
Let v(b) = b**2 - 7*b - 3. Let h be v(8). Suppose 29 - h = 6*c. Suppose y + 2*y + 39 = g, 2*y - 114 = -c*g. Does 17 divide g?
False
Let a be (-2)/3*(-16 - -10). Suppose -140 = 4*n + a*k, k - 110 = 3*n + 5*k. Does 18 divide (-12)/n - 178/(-5)?
True
Let d be 10/3*(-12)/(-10). Suppose -d*q - 135 = -759. Suppose -5*a + a = -q. Is 13 a factor of a?
True
Let m(c) be the first derivative of -2*c**3/3 + c**2 + 2*c - 3. Let y be m(-2). Does 16 divide (-322)/y - 3/15?
True
Let j(s) = 8*s**2 + 5*s - 1. Let g be j(-4). Let i = -53 + g. Suppose -q + i = -3*n, 6*n - 170 = -5*q + n. Does 13 divide q?
True
Let x = 37 - 37. Suppose -5*i = -x*i + 3*s - 357, -212 = -3*i - 4*s. Is 9 a factor of i?
True
Let p(h) = -h - 31 - 32 - h**2 - 28 + 88 + 2*h**3. Is 19 a factor of p(3)?
False
Is 22 a factor of (-10 - (-8 + -1)) + 1321?
True
Let i(n) = n**3 + 2*n**2 + n + 65. Let o be i(0). Suppose -r + o = 2*b, -2*b - 3*r + 7*r = -40. Is b a multiple of 6?
True
Suppose 3*s + 5*a + 299 = 0, 0 = -s - 3*s - 5*a - 407. Let h = 237 + s. Is 21 a factor of h?
False
Let h be ((-15)/5)/((-3)/(-2)). Is 9 a factor of h/(-3)*(-3 + 75)?
False
Suppose 3*a - 442 = 23. Suppose l - 4 = 2*z + 15, 2*z = -5*l + a. Is 29 a factor of l?
True
Let l(n) = -2*n + 11. Let g be l(15). Let d = 1 + g. Let o = d + 37. Is o a multiple of 19?
True
Suppose 5*m - 284 = 2*b + 4*m, b + 3*m + 156 = 0. Let s = b - -282. Is 13 a factor of s?
False
Suppose -u = k - 123, -4*k + 3*k + 3*u = -139. Does 23 divide k?
False
Suppose 7*n = -8*n + 810. Is n a multiple of 54?
True
Let a = 33 + 1122. Is a a multiple of 77?
True
Let q be ((-36)/(-24))/(3/(-200)). Let z = 221 + q. Does 11 divide z?
True
Let q be (0/(-4) - 0)/(0 - -2). Suppose 2*b - 100 - 140 = q. Does 15 divide b?
True
Let o = 213 - 79. Suppose -2*i + o = 2. Is i a multiple of 6?
True
Let u(o) = 2 - 4*o + 7 - 6. Is u(-10) a multiple of 14?
False
Suppose 3*z + 16 = -z. Suppose 10 = 5*t, 2*a - 3*a - 3*t = -9. Is 8 a factor of ((-120)/z)/(a/2)?
False
Suppose -5*t = -2*j + 6, 3*t - 4 = -3*j - 16. Let g(n) = -12*n**2 - n. Let s be g(-1). Does 12 divide t/s +