 + o + 84 = -2, 3*n + o = q. Does 9 divide n?
True
Is 4 a factor of 2 + 1 + (-15)/(-3)?
True
Is 2186/7 - (133/(-49) + 3) a multiple of 52?
True
Is 11 a factor of 36/(-48) + 223/4?
True
Suppose 2 = -2*i, -2*i = 4*r - 4 - 10. Suppose -2*n = -d + 1 + 8, -r*d + 27 = n. Is d a multiple of 3?
False
Suppose -5*x = 20 - 95. Suppose 3*j - x = -2*j. Suppose 2*g - 3*n = 30, -4*g + j*n = -g - 45. Is 8 a factor of g?
False
Let b(r) = -r**3 + 4*r**2 - r + 2. Let i(w) = -w**3 - 3*w**2 + 3*w - 1. Let x be i(-4). Let h be b(x). Let k = h - 4. Is 2 a factor of k?
True
Suppose 4*p + 11 = -21. Let o(h) = -h + 1. Let m be o(p). Suppose -c + m = -23. Does 15 divide c?
False
Suppose -5 - 3 = 2*j - 3*m, 0 = -j + 3*m - 10. Suppose 0 = -4*u + 2*x + 2, -5*u - 5 + 21 = j*x. Is 2 a factor of u?
True
Let r = 7 - 13. Let c = r - -42. Does 13 divide c?
False
Suppose 5*w - 4 = 1. Is 23 a factor of ((-42)/w)/((-48)/64)?
False
Is 6 a factor of ((-9)/(-3) - 5)/((-2)/8)?
False
Let x(h) = 2*h**2 - 14. Is 6 a factor of x(-4)?
True
Suppose 3*v = 297 - 36. Does 20 divide v?
False
Let o(u) be the second derivative of u**4/8 - 7*u**3/6 + u**2 - 2*u. Let c(w) be the first derivative of o(w). Is c(7) a multiple of 6?
False
Let i = -76 - -108. Suppose -g + 126 = n, -i = 2*g - 2*n - 268. Is 25 a factor of g?
False
Let k be (7 - 1)/(3/(-72)). Is 9 a factor of ((-6)/(-8))/((-6)/k)?
True
Let o be -1 + 5 - (-2)/(-1). Let p be -2 + 6 + 0 + -2. Suppose p*l = -o*l + 20. Does 4 divide l?
False
Let g(u) = u**3 + 6*u**2 - u - 8. Let h be g(-6). Let l(m) be the second derivative of 7*m**4/6 + m**3/2 + 4*m. Is l(h) a multiple of 17?
False
Let d(n) = n**2 - n + 2. Let g be d(-2). Suppose p - 3 = g. Is 3*p - (2 - -1) a multiple of 11?
False
Is 3 a factor of (-4 - -6 - (1 - -28))*-1?
True
Let r(f) = 67*f**2 - f. Does 17 divide r(-1)?
True
Suppose 392 = 5*w + 2*p, 3*w - 129 - 108 = -3*p. Does 16 divide w?
False
Let r = 1 + 1. Let o be ((-1 - 1) + r)/(-3). Suppose 2*q - q - 24 = o. Is 12 a factor of q?
True
Suppose -2*y + 1 = -5*k, y + 3 = 2*y. Let o = k - -8. Does 7 divide o?
False
Let h(u) = 25*u**2 - 6*u - 1. Let y(d) = 25*d**2 - 5*d - 1. Let j(f) = -4*h(f) + 5*y(f). Does 9 divide j(-1)?
False
Suppose 3*v - 87 = -i - 0*i, -2*v = 5*i - 474. Let x = -67 + i. Is 13 a factor of x?
False
Suppose 2*m - 5*y = -4, -4*m - 7 + 19 = -5*y. Let v(l) = 3*l - 8. Let x be v(m). Suppose 2*j + 2 = x. Is j a multiple of 7?
True
Suppose -5*w + 38 = -2*y - 46, 5*w - 75 = 5*y. Is w a multiple of 18?
True
Let u be (-145)/(-3) + (-1)/3. Suppose -f + 7 + 7 = -4*v, 2*f + 2*v = u. Does 16 divide f?
False
Let i = 337 - 193. Does 16 divide i?
True
Let x(f) = 42*f + 8. Is x(4) a multiple of 21?
False
Let v(y) = -y. Let k be v(-3). Suppose 3*r - 115 = 5*d, -r + 15 = -0*r + k*d. Is 10 a factor of r?
True
Let i = 8 + -14. Let x be i - (-2 + 4 + -1). Let u = 11 + x. Is u a multiple of 3?
False
Let s(f) be the second derivative of f**7/2520 + f**6/144 - f**5/15 - f**4/3 - 3*f. Let a(r) be the third derivative of s(r). Does 6 divide a(-7)?
True
Let q(b) be the first derivative of b**2/2 + 4*b - 1. Let d(n) = 4*n - 8. Let j be d(2). Does 4 divide q(j)?
True
Let f(y) = -y**3 - y**2 + y. Suppose 5*c = 3*m - m + 10, -3*m = -c - 11. Let s(b) = 5*b**3 - 2*b**2 + b - 7. Let h(o) = c*f(o) + s(o). Does 7 divide h(6)?
False
Let l be 3*(3 - 2) - 2. Let t = 6 + l. Does 7 divide t?
True
Suppose 0 - 8 = 4*h. Let a(u) = 11*u**2 + 2*u - 2. Does 19 divide a(h)?
True
Is -30*(-8)/20*2 a multiple of 6?
True
Let u be 30/7 - 8/28. Suppose u*d - 112 = -16. Does 24 divide d?
True
Let j be (-15)/(-4)*(32 + -4). Suppose -j = -5*y - 5*p, -4*y + 31 = -p - 43. Does 13 divide y?
False
Suppose -28 = -3*g + 5*h, 0*g + 5*g - 3*h = 68. Suppose 5*z - g = 9. Suppose -5*v + r + 43 = 0, -z*r = -4*v + v + 17. Is 4 a factor of v?
False
Let t(s) = s**2 - 1. Let w be t(-2). Suppose 5*o - 43 = -w*m + 9, 88 = 3*m - 4*o. Does 12 divide m?
True
Let c(g) = 4*g - 9. Let d be c(7). Suppose 3*i = -7 + d. Is i a multiple of 4?
True
Let q be -1 + (-5)/((-15)/72). Suppose 3*y + 12 + 9 = 0. Let o = y + q. Is o a multiple of 6?
False
Suppose 0 = -5*g - 0*g + 5. Suppose -2*c + t + 8 = 0, t = -c + 3*t + g. Suppose c*q = -b + 25, 2*q + 0*q = -3*b - 3. Is 3 a factor of q?
True
Suppose h = -u + 338, -4*h = -2*u - 1128 - 194. Does 37 divide h?
True
Let p = -8 + 13. Suppose -69 = -2*r - 3*y, 98 = 4*r - p*y - 51. Does 31 divide r?
False
Let b(f) = f**2 - 6*f + 3. Let z be b(6). Suppose z*j + 19 = l, -6 = 3*j - 0*j. Is 4 a factor of l?
False
Let g(k) = 27*k**3 - 2*k**2 + 1. Suppose -2*b - 8 = 0, 0*m + 2*m - 3*b - 30 = 0. Suppose -r + w = -2*r, 0 = 5*r - 4*w - m. Does 13 divide g(r)?
True
Suppose 3*r - 17 = -8. Does 5 divide (1 + r/2)*2?
True
Let f be 2/4 + 154/4. Let p(g) = g**2 + 3*g. Let k be p(-3). Suppose k = -4*l + 21 + f. Is 15 a factor of l?
True
Let d = -44 - -120. Does 38 divide d?
True
Suppose -5*v + 3*v + 4*s = -276, 5*s = 2*v - 279. Does 22 divide v?
True
Let h be (6/(-4))/(3/(-4)). Suppose -h*i + 69 = -i. Is 19 a factor of i?
False
Let s(d) = -d**3 - 3*d**2 + 6*d + 6. Let i be s(-4). Let r be (3/3 + -1)/i. Does 6 divide 8 + 2 + (0 - r)?
False
Suppose -2*b - b = -24. Is b a multiple of 8?
True
Let k(z) be the first derivative of z**3/3 - z**2 + 2*z - 1. Suppose 3*y - 10 = 2*x, 5*x - x = -y + 8. Does 5 divide k(y)?
True
Let t = 19 + -74. Let i = 8 - t. Does 13 divide i?
False
Is 2*-1 + (-630)/(-9) a multiple of 16?
False
Let s be (-15)/1 - (5 + -5). Let i = s - -38. Is i a multiple of 10?
False
Suppose 4*x - 4*m + 9*m = 144, -3*m + 152 = 4*x. Does 12 divide x?
False
Suppose 3*q = 4*n + 39, -4*q + 5*n + 5 = -46. Let d = q + -2. Is d a multiple of 7?
True
Let y(i) = -2*i + 0*i + 6*i. Let q be y(-1). Is (-106)/(-6) + q/6 a multiple of 16?
False
Suppose 41 = 5*u + 206. Let g = 57 + u. Is 8 a factor of g?
True
Suppose 4*y - 25 = 71. Suppose 5*l - 10 = 0, -2*v + l + y = -34. Is v a multiple of 10?
True
Let y(k) = k**2 + 11*k + 15. Let a(z) = -z**2 - 12*z - 16. Let m(s) = -6*a(s) - 7*y(s). Let t be m(-6). Is 15 a factor of t/2*(-3 - -1)?
True
Let y = 48 - 117. Let t = 111 + y. Is 35 a factor of t?
False
Let l = -49 - -203. Does 7 divide l?
True
Let b = 9 - 6. Suppose -m = -b*m + 114. Suppose -5*o + 2*o = -m. Is 19 a factor of o?
True
Suppose 3*v = 3*y + y - 511, 5*v + 635 = 5*y. Is y a multiple of 13?
True
Let g = -12 + 63. Is 17 a factor of g?
True
Suppose -5*y = -0*c - 2*c + 11, 5*y = -5*c + 45. Is c a multiple of 4?
True
Is 24 a factor of 351/3 + (-3 - -6)?
True
Suppose 0 = -2*a - 2*w - 16 + 234, -2*a + 2*w + 222 = 0. Is a a multiple of 22?
True
Suppose -j = 5*f - 385 + 135, 0 = 2*j - 2*f - 476. Is j a multiple of 30?
True
Suppose 2*s - 36 = 4*w, 3*s + 3*w - 56 = 8*w. Does 10 divide s?
False
Suppose -4*l - 3*h + 0*h + 11 = 0, 4*l + h = 1. Let f(t) = -25*t**3 + t. Is f(l) a multiple of 6?
True
Let v = -7 - -4. Let u = 7 + v. Suppose -2*r - 3*b + 23 = -0*r, 71 = u*r + b. Is r a multiple of 18?
False
Let v(c) = c**2 + 4*c + 3. Let g be v(-4). Suppose -g = 2*d - 13. Is d even?
False
Let u(m) = -m**2 - 2*m. Let q(t) = -2*t**2 - 3*t + 1. Let f(k) = -4*q(k) + 10*u(k). Let a be f(-7). Let b = -32 - a. Does 10 divide b?
False
Suppose m - 11 = 23. Does 17 divide m?
True
Suppose -14*s - 622 = -3646. Is s a multiple of 27?
True
Suppose 5*k = 55 + 20. Is 5 a factor of k?
True
Suppose -5*r + 31 + 24 = 0. Does 6 divide r?
False
Let i = 93 + -41. Does 13 divide (-1 + 2)/(4/i)?
True
Let f(c) = c - 7. Let s be f(9). Suppose -4*z + 49 = 5*t, 4*t + 10 = -s. Does 8 divide z?
True
Suppose -g + 5*n + 29 = 0, 8 = 3*g - 4*n - 24. Suppose 2*o = g*o + 150. Does 15 divide (-2)/4 - o/2?
False
Suppose 0 = -2*a + 2 + 2. Is 26 a factor of 49 - ((-6)/a + 1)?
False
Suppose 0 = h - 0*h - 200. Let l = h - 42. Suppose i - 3*j + 2*j - 30 = 0, -5*i + j = -l. Is i a multiple of 16?
True
Let d be (-2)/(-4)*5*2. Suppose d*l = l + 8. Suppose -6*n = -l*n - 96. Does 12 divide n?
True
Let o = 235 - 168. Does 12 divide o?
False
Suppose 5*x + 4*n - 32 = -1, 0 = 2*x - n - 2. Suppose -3*c + 4 = -x*u + 13, -2*c = -u + 5. Is 17/(-2*c/8) a multiple of 17?
True
Does 2 divide (-5 - -46) + 3 + -3?
False
Suppose b - 3*t - 52 = 0, t = -t + 8. Is 13 a factor of b?
False
Is 62/279 - (1 - 538/9) a multiple of 4?
False
Suppose -116 = -5*l - 4*h, 4*h 