ppose 4*a - a = -3*c + 69, -3*c = -w*a - 77. Is 12 a factor of c?
True
Let d(k) = 8 + 5*k**2 - 24 + 8. Let l be d(-4). Suppose -3*x = -2*v + l, -3*x - 2*x + 70 = 3*v. Does 6 divide v?
True
Let z be 46 - ((3 - 3) + 2). Suppose 5 = -4*y + 2*j + 39, 4*y = 4*j + z. Is 2/y - 558/(-27) a multiple of 7?
True
Let i(q) = 6*q + 84. Is i(6) a multiple of 3?
True
Let s(c) = -9*c - 22. Let q be s(-2). Let l = q + 24. Does 10 divide l?
True
Suppose -v + 10 = -c, 2*c = -4*v + v + 5. Suppose 2*p - 4 = u - 3*u, 4*p - v*u - 35 = 0. Suppose -15 = -l + f + f, -4*l = -p*f - 66. Is 12 a factor of l?
False
Let c(s) = -s**3 - 20*s**2 - 18*s + 19. Let o be c(-19). Suppose -t - 96 = -v, t - 192 = -2*v - o*v. Is 23 a factor of v?
False
Suppose 0*g - 3*g = 0. Let y = g - 24. Let i = y - -48. Is 12 a factor of i?
True
Suppose 1045*o - 1041*o - 840 = 0. Is 6 a factor of o?
True
Suppose 2*i = 312 - 230. Does 8 divide i?
False
Suppose -j - 3 = 0, -4*j = -3*a - 0*a + 6. Let u(r) be the second derivative of r**4 - 2*r. Does 16 divide u(a)?
True
Let z = -17 + 20. Suppose -z*j + 4*j - 239 = -3*d, d + 3*j - 93 = 0. Is 26 a factor of d?
True
Suppose 5*u - 6*p = -2*p + 4236, u + p - 849 = 0. Does 8 divide u?
True
Let g(q) be the second derivative of 5*q**3/6 + 15*q**2/2 - 9*q. Does 10 divide g(7)?
True
Let b(s) = s**3 + 4*s**2 - 5*s - 1. Let g be b(-5). Let k be 3/(3/(-8)*g). Is 8 a factor of 27 + 1 - (11 - k)?
False
Let a = -37 + 26. Let y(f) = -f**3 - 11*f**2 - 10*f - 12. Let h be y(a). Let s = h - 53. Does 16 divide s?
False
Let j(s) = -s**2 - 17*s + 19. Is 17 a factor of j(-13)?
False
Let w(x) = x**3 + 13*x**2 + 5*x + 11. Let p(f) = -f**2 - 8*f - 3. Let i be p(-9). Let d be w(i). Let a = -3 + d. Is 30 a factor of a?
False
Let o(m) = 15*m + 26. Is o(8) a multiple of 73?
True
Suppose -2*i - 2*p + 46 = 0, 6 = 2*p - 4. Let f(a) = -8*a - 59. Let b be f(-8). Suppose -b*w = -123 + i. Is w a multiple of 10?
False
Suppose 3*v + 2*v = -3*s + 109, -s + 31 = -v. Suppose -i = 3*m + 1, 4*i - 5*i - 1 = 4*m. Suppose -4*k + f + s = 0, m*f + 13 = k - 5*f. Is 4 a factor of k?
True
Suppose 2*z - 4*z = -298. Let i = z + -83. Is 6 a factor of i?
True
Let l(m) = -1. Let b(y) = -58*y + 7. Let u(o) = b(o) + 4*l(o). Let f be u(-3). Let q = f + -81. Is q a multiple of 24?
True
Let z(q) = q - 11. Let t be z(16). Suppose t*i - 55 - 145 = 0. Is 10 a factor of i?
True
Let l be ((-1 + 5)/2)/1. Let u be (-18)/12*(-40)/6. Let d = l + u. Is d a multiple of 4?
True
Let c = -18 + 26. Does 7 divide 6/(-3)*(-156)/c?
False
Let z(m) = 12*m**3 + 2*m**2 + m - 3. Is 2 a factor of z(1)?
True
Suppose -2219 = -8*d + 2701. Is d/3 - 12/(-3) a multiple of 11?
True
Suppose 23733 - 66948 = -15*g. Does 62 divide g?
False
Let v(r) = -25*r + 35. Let c(l) = 8*l - 12. Let y(s) = -17*c(s) - 6*v(s). Let h be y(3). Suppose 0*f + f - h = 0. Does 6 divide f?
True
Suppose -2*c + 2*b + 4508 = 0, -54*b = c - 52*b - 2248. Does 80 divide c?
False
Let p(w) = -7*w - 5. Let r be p(-3). Suppose 0 = -x - 3*x + r. Is 96/18*6/x a multiple of 8?
True
Does 15 divide 4*63/(-36) + 877?
True
Suppose 0 = i + 5*w - 65, 4*i - 18*w - 385 = -13*w. Is 3 a factor of i?
True
Let t be 0 - (3 + -62 - 1). Let x be t/18 + (-2)/6. Suppose -128 = -x*y + 22. Is y a multiple of 14?
False
Let q be 4 - 4 - -3 - 758. Let r = -517 - q. Is 17 a factor of r?
True
Suppose 0 = 2*w - 5*w + 21. Suppose 0 = -w*x + 2*x + 15. Is 13 a factor of 525/20 - x/12?
True
Let p(h) = h**2 + 15*h + 48. Is 7 a factor of p(-23)?
False
Suppose 54 = -2*r + 4*r. Let d = 41 - r. Let f = 17 - d. Is f even?
False
Suppose 2*i - n = 1006, 5*i + 433 = 3*n + 2947. Does 20 divide i?
False
Suppose -11*a = -9*a + 5*r - 36, 0 = -3*r + 6. Suppose 0 = -a*m + 6*m + 336. Does 5 divide m?
False
Let z = 71 + -67. Suppose v - i = -0*i + 61, -z*v + 242 = -3*i. Is v a multiple of 22?
False
Let x = -68 + 61. Does 2 divide ((-1)/5*3)/(x/175)?
False
Is 2 a factor of (-4)/22 + (-4557)/(-77) + 3?
True
Suppose 9 = -4*w - 4*d + 69, 2*d + 50 = 2*w. Suppose -4*m = w, 2*m + 0*m = v - 20. Is v even?
True
Let k(b) = 12*b**2 - 10*b - 32. Is k(-6) a multiple of 5?
True
Let f be ((-2)/3)/(6/(-36)). Suppose -8 = -4*g + f. Suppose -48 = -4*d + 4*x + 292, -g*d = -5*x - 263. Is d a multiple of 11?
False
Let c = -246 - -524. Is c a multiple of 7?
False
Let b be (-1 - (1 - 1853))*(-3)/(-9). Let s = b + -347. Does 30 divide s?
True
Let o = 5 + 0. Suppose -2*u - 19 = 3*s, o*u + 2*s = 4*s - 95. Let f = 44 + u. Is f a multiple of 19?
False
Let g(m) = m**3 - 7*m**2 + 5*m + 10. Let v be g(6). Suppose v*h - 51 - 89 = 0. Is 3 a factor of h?
False
Does 5 divide (-100)/(-75) - (-3948)/9?
True
Suppose t - 24 = -0. Is 30 a factor of (10 + (-2 - 2))*t?
False
Let n = 10 + 35. Let s = n + -24. Suppose k - 6 - s = 0. Is k a multiple of 9?
True
Let q(o) be the second derivative of -o**5/20 + 17*o**4/12 - 5*o**3/2 + 12*o**2 - 8*o. Is q(16) a multiple of 11?
False
Suppose v - 31 - 36 = 0. Suppose 4*b - 155 = -x, 5*b - v = 3*b + 3*x. Does 19 divide b?
True
Let k(l) = 3 - 7*l + 6 + 2 + 0. Is k(-11) a multiple of 22?
True
Let r = -31 + -13. Let w = -23 - r. Is 11 a factor of w?
False
Suppose -74*i + 17*i + 98496 = 0. Is i a multiple of 48?
True
Let f(k) = 5*k**3 - 11*k**2 - 9*k - 2. Is f(6) a multiple of 13?
False
Let z = 438 - -1257. Is 34 a factor of z?
False
Let j(w) = w**3 - 2*w**2 + 4. Let f be 2/14 - 180/(-63). Is j(f) a multiple of 2?
False
Suppose -103*a + 105*a - 3*v = 288, 2*a + 3*v = 288. Is a a multiple of 3?
True
Let f be ((-354)/(-8))/((-12)/48). Let a = f - -280. Let p = 144 - a. Does 9 divide p?
False
Let n be 12/(-7) - -2 - (-21996)/91. Let l = n - 116. Is 14 a factor of l?
True
Let s = 1245 + -591. Is s a multiple of 3?
True
Let y(f) = 78*f**3 + f - 2. Let c be y(1). Let g = c - 38. Let q = 65 - g. Is q a multiple of 13?
True
Suppose -q + 24 = q. Suppose q = p - 30. Suppose 5*x = k + p, -5*x + 0*k - 3*k + 34 = 0. Is 3 a factor of x?
False
Let i be ((-7 - -4) + 3)/(-1). Suppose -2*v - 30 - 10 = i. Is 9 a factor of 75/6*(-24)/v?
False
Let t(i) = -3*i - 21. Let s be t(-9). Suppose -4*u - 32 = 2*x - s*x, 2*u - 8 = -2*x. Let l = x + 1. Is l even?
False
Let n = 229 - 94. Is n a multiple of 27?
True
Let k(v) = -18*v**3 + 5*v**2 - 11. Does 26 divide k(-3)?
True
Let z(j) = j**3 - 10*j**2 - j + 14. Let k be z(10). Suppose -2*o - o + 44 = -5*t, k*t = 3*o - 40. Let d = 3 + o. Is 11 a factor of d?
True
Let v(t) = t**3 - 6*t**2 - 4*t + 13. Let j be v(7). Let m = 49 - j. Is m a multiple of 2?
False
Suppose 4*b = 41 + 107. Suppose 2*j = 19 + b. Is j a multiple of 4?
True
Let s(z) = 3*z**2 - 23*z - 124. Is s(20) a multiple of 22?
True
Suppose 0 = -l + p - 9, -73 = 5*l + 4*p + 17. Let o(t) = -4*t**2 + 33*t + 22. Let v be o(9). Let r = v - l. Is r a multiple of 9?
True
Suppose 5*u - 6 = 2*u. Let r = 591 - 567. Suppose 0*l + u*l = r. Does 4 divide l?
True
Suppose 0 = 5*v + 2*s + 18, -3*v = 3*s - s + 10. Let k be -3 - 8/v*2. Does 4 divide -1 + 7 + k + 0?
False
Let k be (4 - 5) + 5 - 1. Suppose -32 - 85 = -4*c + k*j, -4*j = -c + 13. Is 11 a factor of c?
True
Let l be ((-6)/(-3))/(1 + -2). Let o(u) = 6*u**3 + u**2 + 1. Let q be o(l). Let j = -8 - q. Is j a multiple of 9?
False
Suppose -2*z + 7 = -1. Suppose 0 = 3*d, 0 = -z*r + 5*d - d + 176. Does 27 divide r?
False
Let q(x) = -x**2 - 6*x - 4. Let a be q(-4). Suppose -7*n = 72 + 152. Is 32 a factor of (-14)/(2*a/n)?
False
Let w(r) = 4*r**2 - 2*r + 56. Is w(14) a multiple of 21?
False
Let c be 2/(-16) + (6/16)/3. Suppose 0 = -5*u - 20, u = -b - c*u + 60. Does 4 divide b?
True
Suppose -2*o = 6, -4*h - 2*o + 3191 = o. Does 40 divide h?
True
Suppose -2*v + w + 285 = 0, 4*w + 160 = v - 0*v. Let l = v - 77. Suppose m + 56 = 3*m - 4*g, -3*m - g + l = 0. Is m a multiple of 13?
False
Let f = -118 + 370. Let p = -165 + f. Let h = 152 - p. Is 17 a factor of h?
False
Let g = -1048 - -2324. Is g a multiple of 74?
False
Let u = -430 + 522. Is 23 a factor of u?
True
Suppose 290 + 88 = b. Is 27 a factor of b?
True
Suppose 5*x + 71 = 1511. Is x a multiple of 48?
True
Let y be 6/9*-6 - -4. Suppose y = 3*c - 4*c + 5*k + 193, -3*c + 5*k = -539. Does 14 divide c?
False
Let z(w) = w**2 + w - 1. Let i(q) = 14*q**2 - 7*q + 6. Let h(x) = i(x) + 4*z(x). Is 17 a factor of h(1)?
True
Suppose d = 2*g - 243 - 174, 0 = -g - 3*d + 219. Is g a 