1 - (9 + -8)?
False
Let k = -12 - -24. Let r(i) = 5*i + k + 7*i - 11*i. Is 8 a factor of r(12)?
True
Suppose 0 = 23*w - 1865 - 2275. Is 8 a factor of w?
False
Suppose -8*o - 3360 = -28*o. Is o a multiple of 10?
False
Suppose 44*c - 9520 = 10*c. Does 35 divide c?
True
Let d be (-3 - -2)*(1 + 0) + 2. Is 12 a factor of (d + 70 - -2) + -1?
True
Suppose 0 = 9*s - 5*s. Let v = s - -3. Suppose -v*x - 5*y + 188 = 0, 0 = -3*x - y - 19 + 191. Is x a multiple of 16?
False
Let k(f) = -f + 6. Let s be k(4). Suppose -3*i + 308 = s*n, -244 + 650 = 4*i + 5*n. Does 13 divide i?
True
Let b(i) = -i**3 + 11*i**2 + 10*i + 15. Let w be 174/14 + 6/(-14). Let g be b(w). Is 6 a factor of g/(-2 - 3/(-2))?
True
Let w = -44 - -29. Let x be w/20 + 22/8. Suppose -32 = -x*u + 5*j - j, 35 = 2*u - 5*j. Is 5 a factor of u?
True
Suppose -2 = -l, 2*i + 0*i - l - 10 = 0. Suppose -4 = -2*p + i. Suppose -3*o - 229 = -x - 3*x, p*o = 4*x - 227. Is 29 a factor of x?
True
Suppose -4624 = 19*u - 23*u. Is 31 a factor of u?
False
Let t(g) = 2810*g - 91. Is t(1) a multiple of 10?
False
Suppose -2*m - 2049 = -5*j, 9*j - m - 2052 = 4*j. Let h be (-1)/((-1)/j*-3). Does 7 divide 9/15 - h/5?
True
Let u = 67 - 66. Suppose -2*g + 4*k + 196 = 0, 0 = 2*k - 3*k - u. Is 32 a factor of g?
True
Let w(c) be the first derivative of 15*c**2 + 13*c - 5. Let h be w(12). Suppose 0 = -5*g - 133 + h. Is g a multiple of 24?
True
Let n = -80 + 127. Let b be -2 - 0 - (-5 - n). Suppose t - b = -t. Is t a multiple of 5?
True
Let p = 56 + -54. Suppose 0 = p*o + 4*o - 66. Does 4 divide o?
False
Does 21 divide (1780/(-12) + 2)*-3?
False
Suppose 0*q = -4*q + 4, 4*w + 5*q - 13 = 0. Suppose 20 = -w*o + 10. Is 7 a factor of -2 + 0 + (-45)/o?
True
Let a(f) = -f**2 + 5*f + 6. Let j(n) = -n**2 + 3*n + 3. Let m(x) = 3*a(x) - 5*j(x). Is m(0) a multiple of 2?
False
Let d = 625 + 179. Is 12 a factor of d?
True
Suppose 2*a = -4*o - 28, 2*a + 2*o + 3*o = -32. Let f(j) be the third derivative of j**5/60 + j**4/4 + 5*j**3/3 - 3*j**2. Is f(a) a multiple of 3?
False
Let u = 89 + -77. Is u a multiple of 4?
True
Let x = -1373 - -1400. Does 14 divide x?
False
Suppose -3*j - 30 = -4*a, 3*j = 2*j - 4*a - 26. Let x(o) = 4*o - 3. Let l be x(j). Let d = -41 - l. Is d a multiple of 18?
True
Suppose 0 = -37*z + 32*z + 65. Suppose 432 + 387 = z*u. Does 3 divide u?
True
Suppose 21*w - 2610 = 12*w. Is 14 a factor of w?
False
Suppose 0 = 6*m - 40 + 688. Let a = -53 - m. Is a a multiple of 13?
False
Let s = -19 + 15. Is 1/s - (-1413)/36 a multiple of 7?
False
Is 15 a factor of ((-806984)/(-447))/(4/6)?
False
Suppose -2*c - 2*c = -n + 2, c = 3*n - 6. Suppose p + p + 130 = n*d, p - 127 = -2*d. Does 17 divide d?
False
Let i(c) be the third derivative of -c**4/8 - c**3/2 - 5*c**2. Let g be i(-7). Let q = 19 + g. Is 8 a factor of q?
False
Is ((-3335)/10 - 3)/((-5)/10) a multiple of 48?
False
Suppose 1391*i - 1384*i = 861. Does 3 divide i?
True
Let m(k) = k**3 - k**2 - 14*k + 6. Suppose a = -201 + 207. Does 15 divide m(a)?
False
Let r(g) be the second derivative of 3*g + 0 - 1/3*g**3 + 1/20*g**5 - g**2 + 5/12*g**4. Is 8 a factor of r(-5)?
True
Let k(u) = -u**3 + 4*u**2 - 4*u + 2. Let j be k(2). Let b be (-346)/4*j*-1. Suppose -3*w - 5*c + b = 0, 4 = -4*c + 20. Does 10 divide w?
False
Let o(d) = -d**2 - 55*d + 135. Is o(-28) a multiple of 9?
True
Let n(z) be the first derivative of -z**3 - 4*z**2 - 13*z + 11. Let o(j) = 10*j**2 + 23*j + 40. Let p(x) = -7*n(x) - 2*o(x). Is p(-11) a multiple of 22?
True
Suppose -25*u = -36*u + 2673. Is 27 a factor of u?
True
Let m = 36 + -31. Suppose -5 = -m*j + 35. Is 3 a factor of j?
False
Let r be (-1*4)/(-7 + (-5 - -11)). Suppose -r*p = 12*p - 1520. Is p a multiple of 12?
False
Let j(a) = -11*a + 6. Let x be j(-4). Let f = x + -46. Is 4 a factor of f?
True
Let q(r) = 4*r + 84. Is q(75) a multiple of 18?
False
Let n = -925 + 1402. Is 53 a factor of n?
True
Suppose -10 = 7*g - 24. Suppose 0 = p - g - 2. Suppose -p*z = -5*y + 146, -4*y + 4*z + 0*z + 116 = 0. Is 19 a factor of y?
False
Suppose -7*v = -2*v - 1095. Suppose -5*o + 355 = 5*r, 3*o = 3*r - v + 24. Is r a multiple of 25?
False
Suppose 0*q - 5 = -q, -5*a - 5*q = -25. Suppose 3*m - 53 + 5 = a. Does 4 divide m?
True
Suppose 8 = 2*s - 5*v - 0, -8 = -2*s - v. Suppose -i - s*i = 0. Suppose 3*g - 3*c - 117 = i, 3*g - 5*c - 138 = -27. Is 24 a factor of g?
False
Let j be 15 - ((-19)/4 + 12/16). Let q = 37 + j. Is q a multiple of 8?
True
Suppose -3*i - 57 = -3*x, -2*i - 2*i = -3*x + 58. Is (176/24)/(2/x) a multiple of 22?
True
Let k = 12 - 10. Let l = k - -3. Is 7 a factor of (-3 + -3 + l)*-22?
False
Is (-3)/((-21)/791) - 5 a multiple of 27?
True
Let g = 88 - -64. Suppose -3*h - 2*c + g = 0, -c - 4*c = -2*h + 114. Is 9 a factor of h?
False
Suppose -16 = -7*o + 3*o. Suppose 431 = o*b - 53. Does 31 divide b?
False
Let p(d) = 10*d**2 - 20*d + 12. Let t(f) = f**3 + 21*f**2 - 23*f - 16. Let v be t(-22). Is p(v) a multiple of 18?
True
Let f = -22 + 79. Is 3 a factor of f?
True
Suppose -16 = 4*q, 5*y + 3*q = -0*y + 478. Is y a multiple of 7?
True
Let q(v) be the third derivative of -v**5/60 - 2*v**3/3 + 9*v**2. Let b be q(-7). Let s = b + 76. Is 8 a factor of s?
False
Suppose -7*f + 2*t = -2*f - 2138, f - 406 = -5*t. Is f a multiple of 71?
True
Let f = 37 - 49. Is 34 a factor of 136/(-6)*54/f?
True
Suppose -37 = -2*r - 27. Suppose 2*n = -r*n + 1652. Does 36 divide n?
False
Suppose 0 = m, -24*w = -19*w - 3*m - 4195. Is w a multiple of 10?
False
Let f = 27 + -25. Suppose 0 = -x - f*x + 252. Does 12 divide x?
True
Suppose 22*v - 10506 = -80*v. Does 103 divide v?
True
Suppose -5*h + 2829 = 294. Does 13 divide h?
True
Let i(m) = 5*m + 56. Is 14 a factor of i(18)?
False
Let u be (22/(-3) - -3)*6. Let l = u - -77. Is 20 a factor of l?
False
Let u(d) = -6*d + 34. Let r be u(6). Is r*(11/(-2) + 3) even?
False
Let g(m) = 32*m - 39. Is g(6) a multiple of 9?
True
Suppose -o - 25 = 4*d, -2*d - 29 = 3*d + 2*o. Is 2 a factor of (d + 22)*(-4)/(-5)?
True
Suppose -2 = -2*n - 4, -5*b + 4*n + 9 = 0. Suppose 267 + 13 = 8*t. Is t + 14 - (b + 0) a multiple of 12?
True
Let j be (-35)/(-14)*12/10. Let w be 3 + 2 + -105 + j. Let k = -67 - w. Is 10 a factor of k?
True
Is (636/18 + 2)*(20 + -2) a multiple of 22?
False
Suppose l - 106 = -8. Does 6 divide l?
False
Let p be (2 - 1)/(1/(-9)). Let y be (9/(-18))/((-8)/(-640)). Let d = p - y. Is 8 a factor of d?
False
Let y(g) = -g**3 + 7*g**2 + 4. Suppose 4*i - 13 - 15 = 0. Let t be y(i). Suppose t*p = -8*a + 3*a + 183, 0 = 5*a + 5. Is p a multiple of 11?
False
Suppose 5*z - 442 = 4*n, 5*z - 27*n - 444 = -24*n. Is z a multiple of 18?
True
Suppose 150 = -y + 164. Suppose 11*b - y*b = -60. Does 4 divide b?
True
Let j = 148 + -51. Is j a multiple of 9?
False
Suppose 52 = -2*p - q + 1475, -q + 3565 = 5*p. Does 34 divide p?
True
Let y be (-1)/(-2) - 113/(-2). Let o be (4 + -3 + 1)/((-2)/(-8)). Let k = o + y. Is k a multiple of 17?
False
Let r = -48 + 52. Suppose -5*x - 208 = -3*u, 4*u = r*x - 152 + 424. Is u a multiple of 7?
False
Let c be 3 - (-8)/((-24)/(-45)). Suppose 0 = -2*r - 10 + c. Is 2 a factor of r?
True
Let d = -102 + 21. Let b = d + 212. Does 16 divide b?
False
Let y(m) = m**3 + 2*m**2 - 3*m + 3. Let j be y(-3). Suppose 0 = -j*p - 2*p + 25. Suppose p*x + 5*q = 4 + 16, q + 20 = 5*x. Is 4 a factor of x?
True
Let w(r) = -16*r - 9. Is w(-16) a multiple of 13?
True
Let m = -4 - -17. Suppose -8*q - 770 = -m*q. Is q a multiple of 22?
True
Suppose -3*o + 9 - 3 = 0. Suppose 3*g - c = -0*c + 705, o*g = 4*c + 480. Does 29 divide g?
False
Does 2 divide -3*(238/85)/((-6)/35)?
False
Let p(w) = 15*w**3 + 4*w**2 - 7*w + 36. Is p(4) a multiple of 7?
False
Let x(r) = -r**2 + 55*r - 379. Does 7 divide x(9)?
True
Let b(z) = z**2 - 5*z + 2. Let s be b(5). Suppose -r - 16 = -5*r - s*k, 3*r - 22 = -4*k. Suppose -a = 1, -r*a - 8 = -n + 3. Is 9 a factor of n?
True
Let a = -18 - -20. Suppose 0 = -a*d + 32 + 136. Does 21 divide d?
True
Suppose -2*w + 1262 = -4*v, 8*v = 10*v - 4. Does 6 divide w?
False
Let c(k) = 4*k + 3. Suppose 3*h = 5*h - 22. Let n = -5 + h. Is 9 a factor of c(n)?
True
Let p(m) = m**2 + 5*m. Let o be p(-4). Let g be o/8*(0 + 2). Let q = g - -53. Does 10 divide q?
False
Let c(g) be the first derivative of -g**4/24 - 4*g**2 + 5. Let t(b) be the second derivative