3*m. Is 9 a factor of g?
False
Let w = 1 + -12. Is (w + -3)*-1*1 a multiple of 7?
True
Let h(t) = t**3 - 6*t**2 - 6*t - 7. Let z be h(7). Let a be 2/(-5 + 3 - z). Is 20/(-8)*a*2 a multiple of 5?
True
Is (2 + 12448/(-12))*15/(-10) a multiple of 37?
False
Suppose 10*a = 9*a - 60. Let x = a + 104. Is x a multiple of 11?
True
Let j(q) = 12*q**2 + 6*q - 1. Suppose 7*y + 15 = 2*y. Is j(y) a multiple of 30?
False
Let k(o) be the first derivative of 4*o**3/3 + 7*o**2/2 + 12*o + 40. Does 19 divide k(-6)?
True
Does 8 divide (38/57)/((-2)/(-462))?
False
Suppose 35*i = 101*i - 351648. Is 24 a factor of i?
True
Let a(l) = -3*l - 23. Let s(u) = -3*u**2 + 2*u + 2. Let v be s(-2). Does 7 divide a(v)?
False
Let i be 44/(-10) + 6/15. Does 14 divide 27*5 + (i - -9)?
True
Suppose -11*u - 3*l + 162 = -9*u, 4*l = 3*u - 209. Does 11 divide u?
False
Suppose -4*f + a + 146 = 0, 4*f + 3*a - 133 - 21 = 0. Suppose f - 139 = -t. Does 34 divide t?
True
Let i(p) = 3*p - 19. Let r(g) = 7*g**2 + 3*g - 6. Let l(t) = 6*t**2 + 4*t - 7. Let d(k) = -5*l(k) + 6*r(k). Let s be d(-1). Is 12 a factor of i(s)?
False
Let o(k) = -273*k + 33. Is o(-13) a multiple of 18?
True
Suppose 0 = 2*j + 4*f - 76, 7*j - 4*f = 2*j + 134. Suppose -34*p + 172 = -j*p. Is 11 a factor of p?
False
Suppose 5 = -s + d, 4*d - 2 - 2 = 2*s. Let m(j) = 11*j - 6. Let y(v) = v - 1. Let p(x) = -m(x) + 4*y(x). Is 18 a factor of p(s)?
False
Suppose -2*r + 0*r - 67 = -5*z, -z = -2*r - 15. Suppose 0 = -z*j + 221 + 611. Is j a multiple of 8?
True
Suppose -2*j - 4 = p - 6, 3*p = -j + 6. Is 44 + (2 - 4)*p a multiple of 8?
True
Is 16 a factor of (-51)/(530/(-384) + 16/12)?
True
Does 11 divide (((-52)/3)/(2/6))/(-2)?
False
Let u(y) = -97*y - 153. Is 33 a factor of u(-6)?
True
Let s(f) = 24*f**2 - 2*f - 7. Let v be s(-6). Is 16 a factor of v/(-33)*(-3)/1?
False
Let l = 31 + -31. Suppose 4*n - 86 = -x, l*x - 2*x + 154 = -n. Is 13 a factor of x?
True
Suppose -19*k + 9*k = -1820. Is k a multiple of 26?
True
Suppose -4*x + j = -5698, x + 247 = -3*j + 1665. Is x a multiple of 16?
True
Suppose -2*p = 3*a - 204, 2*a - 3*p - 93 = 30. Suppose -a = -4*q + 154. Is q a multiple of 9?
False
Let i = -158 - -299. Is 5 a factor of i?
False
Suppose 2*r - 6*p = -3*p + 10, -10 = 5*p. Suppose 0 = 3*i - 437 - 322. Suppose -3*s = 4*m + r*s - i, 3*m - 3*s = 156. Is 19 a factor of m?
True
Suppose 0 = -7*x - 7*x + 1372. Is x a multiple of 5?
False
Suppose 0 = -3*c, -6*w = -w + 3*c - 200. Is 10 a factor of (6 + -2)/(2/w)?
True
Suppose -2*b - 2 = -0. Does 4 divide (-24 + 31)/(b/(-2))?
False
Suppose -5*u + 10*u = 0, -4*u - 4335 = -3*h. Does 5 divide h?
True
Let n(j) = -5*j**3 + 3*j**2 + 8*j. Let v be n(-5). Suppose 0 = 5*r + 50 - v. Does 24 divide r?
False
Let u be (6/4)/((-3)/(-2)). Suppose w - 5 = -4*c, -3*c + u = -4*w + 2*c. Is 7 a factor of 3/w - (-6)/1?
False
Let w = 29 - -27. Let x be 16/w + (-215)/(-7). Suppose 3*o - 3*g = 147, -3*o - 5*g = x - 154. Is o a multiple of 15?
False
Let l(b) = -b**2 - 19*b. Let z be l(-18). Suppose 162 = z*r - 9*r. Is 2 a factor of r?
True
Let a = -17 - -17. Let n = a - -16. Is n a multiple of 16?
True
Let f = 6304 + -3424. Is 12 a factor of f?
True
Let o = -119 + 122. Suppose 193 = 5*s - o*x, x + 2*x = -3. Does 3 divide s?
False
Let o(b) = -161*b - 86 + 39 + 33. Does 41 divide o(-2)?
False
Suppose -5*c + 297 = 2*i, -2*i + c - 21 = -336. Is 4 a factor of i?
True
Suppose a = 4*d - 1027 + 90, -a - 469 = -2*d. Let h = d + -162. Let x = h + -50. Does 22 divide x?
True
Let z(b) = -10*b - 5. Let j be z(-1). Suppose -j*x + 18 + 71 = -4*d, x + d = 16. Is x a multiple of 9?
False
Let p = -286 - -344. Is p a multiple of 11?
False
Let c = -4937 - -7762. Is 115 a factor of c?
False
Suppose -5*b - 2 = 4*x, 0 = 3*b - x + 9 - 1. Let o(i) be the second derivative of -11*i**3/6 + 2*i**2 - i. Does 14 divide o(b)?
False
Let u(d) = d + 7. Let n be u(-5). Does 8 divide 5 + -7 + n - (-32 + 0)?
True
Let p = 635 + -62. Suppose 13*l = p + 1871. Does 32 divide l?
False
Suppose -1900 = -0*f - 5*f - n, -f + 380 = -4*n. Is 4 a factor of f?
True
Let b(o) = -o**2 - 21*o - 24. Let p be b(-20). Is 9 a factor of 22 + (-6)/12 + (-2)/p?
False
Let a(r) = 5*r**2 - 11*r + 33. Suppose 0 = k - 7. Is 67 a factor of a(k)?
True
Let d(b) = b + 1. Let j(a) = -4*a**2 - 6*a + 7. Let k(x) = d(x) - j(x). Let c be k(-5). Suppose -c = -v + 13. Is 24 a factor of v?
True
Let z = 45 + -37. Suppose -2*f - z = 0, v - 4*f = -v + 96. Is v a multiple of 4?
True
Suppose 3*u + 2 = 14. Suppose -208 = -u*n + 72. Is 25 a factor of n?
False
Suppose 0 = -51*y + 47701 + 9419. Does 8 divide y?
True
Suppose -b + 515 = b + t, t = 2*b - 517. Does 3 divide b?
True
Let i = 61 - 35. Suppose -i = d - 1. Is d/1*(-56)/40 a multiple of 24?
False
Suppose 826 = 4*y - 2*u, 5*y + 11*u = 7*u + 1000. Does 66 divide y?
False
Is 5 a factor of ((-6)/9 - -2)/((-4)/(-606))?
False
Suppose 0 = -h + 2*a + 165, -3*h + 87 = 5*a - 452. Let d = -83 + h. Let r = -3 + d. Is r a multiple of 29?
True
Does 9 divide (20/6 - 3)*(0 - -582)?
False
Suppose 5*n - x - 3702 = 0, 8*x - 6*x + 2217 = 3*n. Does 77 divide n?
False
Let v(x) = 3*x - 12. Let r be v(5). Is 71*r*5/15 a multiple of 19?
False
Let p = 2124 - 213. Is 12 a factor of p?
False
Let l be 4/2*-2 - -12. Suppose -19 = -3*s + l. Is (s - 2)*(13 + -3) a multiple of 12?
False
Suppose 2*o - 124 = 212. Does 24 divide o?
True
Let q(i) = 20*i**2 - 8*i - 26. Let p(u) = 7*u**2 - 3*u - 9. Let v(k) = 17*p(k) - 6*q(k). Let b be v(2). Let w(h) = h**3 + 7*h**2 - 7*h - 9. Does 30 divide w(b)?
False
Let f = -12 + 26. Suppose -2*s - 3 = -5*d - 1, -5*s + f = -3*d. Suppose s*u = 5*u - 20. Is u a multiple of 10?
True
Let x(k) = 0 + 2*k - 5 + 120*k**2 + 3 + 0*k. Does 24 divide x(1)?
True
Let s be -3 - (-7)/(21/(-873)). Let f = -200 - s. Is 20 a factor of f?
False
Suppose 0 = -4*h + f - 3, 3*f - f - 6 = 0. Does 3 divide 3/(-1 - (h - 2)) + 3?
True
Suppose 0 = 2*g - 3*g - 13. Let o = g - -15. Suppose -15 + 3 = -o*p. Is 3 a factor of p?
True
Let b(n) = -n**2 + 10*n + 15. Let q be b(-19). Is 38 a factor of 1/((-14)/q) + (-4)/14?
True
Let l = 9 + -3. Let t(v) = -v**3 + 9*v**2 - 10*v + 9. Does 10 divide t(l)?
False
Let l(j) = 3*j + 18. Let g be l(-11). Let n(q) = -q**2 - 6*q - 4. Let m be n(-4). Is 17 a factor of (0 - 2) + m - g?
True
Let o be -4 - 0 - 21/(-3). Is (131 - -3)*o/6 a multiple of 20?
False
Let i(n) = -n**2 + 6*n - 4. Let s be i(4). Suppose r + r = -5*j + 104, s*j = -2*r + 84. Suppose p + j = -3*p, 41 = 3*o - p. Is 12 a factor of o?
True
Let u = -69 + 61. Let w = u + 88. Is 16 a factor of w?
True
Let l = 5 - 7. Let q be 1071/117 + l/13. Suppose -11 = -4*j + q. Does 3 divide j?
False
Let o(l) = -l + 1. Let f(g) = 2*g**2 - 2*g - 11. Let t(z) = f(z) + 2*o(z). Does 6 divide t(-4)?
False
Let u = -147 - -202. Suppose 125 = 6*m - u. Is 15 a factor of m?
True
Suppose -3*l - 3*y + 1842 = 0, -y - 1 + 6 = 0. Is 7 a factor of l?
True
Let i(j) = j**2 + 32 - 7 + 7 + 6*j + 9*j. Is i(-15) a multiple of 6?
False
Suppose -2 = 4*d + 2*j - 1200, 4*d - 5*j = 1205. Suppose -4*q + d = 2*q. Is 6 a factor of q?
False
Let f(g) be the second derivative of -g**4/12 - 5*g**3/6 + 3*g**2 - g. Let r be f(-5). Let o = r + 17. Is 5 a factor of o?
False
Let r = 6 - 6. Suppose -5*g + 15 = -r*g. Suppose -2*z + 122 = 2*o - 5*z, g*o = z + 190. Does 32 divide o?
True
Let d(q) = -q**2 - 11*q - 8. Let s be (-3)/((-9)/(-8))*3. Is d(s) a multiple of 16?
True
Does 37 divide (((-35)/(-14))/(-5))/(2/(-292))?
False
Let o(w) = 8*w + 1. Suppose 0 = 2*u + 5*a + 27, 2*u - 4*u = -a - 3. Let d be o(u). Let r(n) = -n**3 - 6*n**2 + 3*n - 8. Is r(d) a multiple of 12?
False
Suppose -s + 2 = 0, 3*x + 2*s - 14 = -2*s. Suppose x*o = -8 + 36. Is 7 a factor of o?
True
Suppose -w = -3*p - 12, p - 2*p - 4 = 0. Suppose 3*t - 2*t - 288 = w. Suppose -a + t = 3*a. Is a a multiple of 13?
False
Let c(q) = 2*q**2 + 3*q + 3. Let g be -2*1*(-1 - -2). Let y be c(g). Let k(d) = d**3 - 4*d**2 + 5*d + 4. Is 15 a factor of k(y)?
False
Let a = 645 + -553. Is a a multiple of 3?
False
Let t(d) = -7*d - 17. Let c be t(-4). Suppose 5*u + 354 = c*u. Is 38 a factor of u?
False
Suppose 10 = -u + o - 7, -2*u - 35 = -o. Let k be 6/u*(-1 - 5). Suppose -h + 7 = -k*n - 5, -3*h + 20 = -2*n. Does 2 divide h?
True
Suppose 2*o - 4*r + 2*r - 32 = 0, -3*r + 48 = 5*o. Supp