 = -2*a + 2997. Is 19 a factor of y?
False
Is 42 a factor of (-7 + 14)/(-7)*-45?
False
Let c(h) = h**3 - 4*h**2 - 2*h. Let b be c(5). Suppose -2*x + b + 15 = 0. Suppose -4*z + 10 = v, v - 3*z + x = 2*v. Does 15 divide v?
True
Suppose 5*j - 345 - 5 = -3*g, 3*j - 186 = 3*g. Suppose -4*t + 12 = 0, -7*p + t + j = -2*p. Does 4 divide p?
False
Suppose 2*z - 2*q - 33 = 3*q, 5*z - q = 117. Suppose 0 = -y + z. Does 12 divide y?
True
Suppose -5*t = 20, -10*c - 18342 = -15*c + 3*t. Does 13 divide c?
True
Let c(n) = -n**2 - 10*n - 7. Let f be c(-9). Suppose -4*w = -2*k + 4 + 6, 0 = -f*w - 2. Suppose k*u = 128 - 47. Is u a multiple of 8?
False
Suppose -4*v - 6*v = -2200. Is 10 a factor of -3 + 1*(v + -1)?
False
Let a(q) = 4*q**2 + 3. Let b(x) = 10*x - 5*x + 2*x - x**2 - 7. Let c be b(5). Does 13 divide a(c)?
True
Let m = -355 - -378. Is 4 a factor of m?
False
Let i(j) = j**2 - 5*j + 5. Let f be i(5). Let w = 73 - f. Is w a multiple of 17?
True
Let z = 31 - 8. Suppose h - 8 = -2*s + 5*h, 4*s - 3*h = 6. Suppose s = m - 11 - z. Does 16 divide m?
False
Let v(h) be the first derivative of h**6/180 - h**5/15 - h**4/24 - 2*h**3 + 7. Let i(k) be the third derivative of v(k). Is i(8) a multiple of 21?
True
Let z(j) = j**3 + 21*j**2 + 71*j - 11. Is z(-11) a multiple of 14?
False
Let u(w) = -11*w + 8. Let d be u(-6). Suppose -5*l + 2*f - 97 = 171, 176 = -3*l + 5*f. Let z = d + l. Is 5 a factor of z?
False
Let h(q) = 20*q + 5. Let x be h(-3). Let b be 78/(-10) - (-11)/x. Let k(m) = m**3 + 10*m**2 + 11*m + 5. Does 15 divide k(b)?
True
Let x = 42 + -49. Is 8 a factor of (-26)/(-65)*(-7)/(x/300)?
True
Let w(a) = a**3 - 7*a**2 - 6*a - 34. Is w(9) a multiple of 5?
False
Suppose 3*v - 2*v + 8 = -5*a, 4*v = -5*a + 13. Suppose -5*o = -2*o + 3, -3*h - 5*o + v = 0. Suppose -3*d + 35 = -0*c + h*c, c + 34 = 4*d. Is d even?
False
Let t = -123 + 141. Is 18 a factor of t?
True
Suppose 5*i + 2*k + 7 = -k, 3*k = -3*i - 3. Is (-6)/(4/i)*160/30 a multiple of 8?
True
Let n(m) = 161*m**2 - m. Let w be n(-1). Suppose 41*c = 43*c - w. Does 19 divide c?
False
Is 50 a factor of 31 + -24 - 1362/(-2) - 4?
False
Suppose 3*h - 667 = -7*r + 6*r, -2*h - 5*r + 423 = 0. Does 56 divide h?
True
Let b(w) = -w. Let i(v) = v + 13. Let a be i(-6). Suppose a = -4*t - 25. Is 8 a factor of b(t)?
True
Let o(s) = -s**2 - 5*s - 2. Let m be o(-4). Let d be (-6)/(-4)*(-42)/(-21). Is 15 a factor of d - (m - 35)*1?
False
Let w = -84 - -37. Is w/(2*(-4)/8) a multiple of 15?
False
Suppose -2*o = -5*q - 48, 0 = -2*o + 3*o + 3*q - 24. Is 32 a factor of ((-1)/((-8)/(-222)))/((-9)/o)?
False
Let o(m) be the second derivative of -m**4/12 - 7*m**3/6 - 9*m. Let f be o(-7). Suppose 5*c + k = 298, -3*c + f*k - k = -178. Is c a multiple of 15?
True
Let n = 2 - -6. Suppose -d + n = 12. Is 3 a factor of 8*(d - 18/(-4))?
False
Suppose -5*p - 4*x - 34 = -254, 15 = -3*x. Suppose 3*d = -21 + 75. Let t = p - d. Is 15 a factor of t?
True
Let d(m) = 3*m + 3*m - 4*m + 3 - 3*m. Let u be d(1). Suppose -u*w + 5*a + 159 = 40, -3*a = w - 43. Does 11 divide w?
False
Suppose 0 = -x - 1 - 4, 2*j + 2*x - 24 = 0. Is j a multiple of 3?
False
Suppose 2*k = -4*d + d + 20, 28 = 5*d + 2*k. Suppose -3*v + 5*z - z + 51 = 0, d*z = -v + 1. Is 3 a factor of v?
False
Let z(n) = n**3 - 2*n**2 - n + 5. Let g be z(2). Suppose -12 = -3*t - g, -3*x + 4*t = -156. Does 14 divide x?
True
Let r = 12 - 7. Suppose -r*l = 32 - 612. Suppose 10*q = 6*q + l. Is 27 a factor of q?
False
Let f(w) = w**2 - 7*w + 5. Let k(a) = -a**2 + 7*a - 6. Let q(i) = -3*f(i) - 2*k(i). Let b(v) = -v. Let x(m) = -6*b(m) + q(m). Does 9 divide x(10)?
True
Let q(m) = m - 10. Let j be q(8). Let b be (1/3)/(j/(-234)). Suppose 0 = -0*t + 3*t - 2*u - b, 4*t - 52 = 3*u. Is t a multiple of 7?
False
Let q(i) = -3*i**2 + 8. Let o(m) = 2*m**2 - 9. Let t(j) = -6*o(j) - 7*q(j). Is t(2) a multiple of 17?
True
Let w = 17 + -18. Let c(d) = 55*d**2 - d - 2. Is c(w) a multiple of 18?
True
Let h be (-6)/30 - (-1101)/5. Suppose -2*j + s = 6*s - 18, 4*j = 5*s + 6. Suppose h = v + j*v. Does 11 divide v?
True
Suppose 4*o = -x + 6*o + 114, 5*o - 298 = -3*x. Does 5 divide x?
False
Suppose 4*i + 10 = 6. Let w(k) = -50*k**3 - k**2 - k. Is w(i) a multiple of 25?
True
Suppose 12*u + 17556 = 78*u. Is u a multiple of 125?
False
Suppose 68 = -78*y + 80*y. Does 4 divide y?
False
Let q(u) be the first derivative of 2*u**3/3 - 4*u**2 - 6*u + 22. Let a be -1*(-28)/12*3. Is q(a) a multiple of 16?
False
Suppose 3*f + 13*c - 8*c - 1847 = 0, 5*f - 2*c = 3130. Does 39 divide f?
True
Let l be 20/8*12/15. Suppose -2*m - 3*j + 0*j = -87, -2*m + l*j + 102 = 0. Does 16 divide m?
True
Let c(z) be the second derivative of z**5/40 + 5*z**4/8 - 5*z**3/3 - 3*z. Let f(u) be the second derivative of c(u). Is f(11) a multiple of 24?
True
Let h(g) = -g**2 - 18*g - 12. Let w(q) = -q**3 + 4*q**2 - 6*q + 2. Let i be w(3). Is h(i) a multiple of 31?
False
Suppose -15 = -3*b + 78. Suppose i - b = 15. Does 23 divide i?
True
Suppose f = 5*w + 6*f - 25, -f = -w + 1. Let z = 152 + -38. Suppose w*m - m = z. Is 12 a factor of m?
False
Let t = 6 + -2. Suppose t = d + 1. Suppose 0 = c + 3*b - 30, d*c + b - 94 = -2*c. Does 9 divide c?
True
Suppose 5*o - 12 = -2. Let j(q) = 3*q**2 - 4*q + 3. Let v be j(o). Suppose -v*m + 67 = -73. Is m a multiple of 10?
True
Suppose 71*t - 59*t - 42444 = 0. Is 39 a factor of t?
False
Suppose 5*y = -l - 12, -3*y = l + 5 + 1. Suppose -2*r + 608 = 4*k - 3*r, 0 = -5*k - l*r + 760. Is 12 a factor of k?
False
Suppose -3*q + 2 = -2*q. Is 12 a factor of (-1894)/(-12) + 4*q/48?
False
Let n(y) = y - 10. Let q be n(10). Suppose q = 3*r + 2*d - 6 - 2, 5*d = -10. Is 15 a factor of 2*15*6/r?
True
Let y(f) = 243*f**2 + 55*f - 102. Is 35 a factor of y(2)?
True
Suppose -597*q + 585*q = -4692. Does 7 divide q?
False
Let d(b) = b**3 - 5*b**2 + 3*b + 3. Suppose -2*z + 0*z + 8 = 0. Let u be d(z). Does 18 divide ((-4)/(-6))/(u/(-54))?
True
Is (-4018)/(-21) + 8/12 a multiple of 64?
True
Let u = 185 + -81. Is 8 a factor of u?
True
Suppose -13*d + 12441 = -4446. Is d a multiple of 51?
False
Suppose 2*t - 152 = n - 0*n, 402 = 5*t + 3*n. Is t a multiple of 31?
False
Let j be -2 + -1 + 1 - (-1547)/(-7). Let y = 376 + j. Does 17 divide y?
True
Suppose -5*c - 9 = -4*n, 3*c = -n + 2*c. Is 25 a factor of -1 + n*76/1?
True
Let l(n) = 4*n**3 + 2*n**2. Let x be l(2). Let q = x + -4. Let k = q - -66. Does 17 divide k?
True
Is 34 a factor of ((-3318)/70 - (-2)/5)*-6?
False
Suppose -2*q + 668 = 4*a - 3*q, -3*a + 488 = -4*q. Suppose 8*c + 1344 = 22*c. Let b = a - c. Does 20 divide b?
False
Let x(v) = v**3 - 5*v**2 - 27*v + 9. Does 103 divide x(15)?
True
Suppose -59*f + 12147 + 106384 = 0. Does 49 divide f?
True
Suppose 8*m - 2*s = 3*m + 82, -m - s + 15 = 0. Is 8 a factor of m?
True
Suppose -4*z = -0*z - 8, j - z - 77 = 0. Suppose r = 5*p + j, 207 = 4*r + 5*p - 134. Is 6 a factor of r?
True
Let z = -5271 + 8023. Does 117 divide z?
False
Suppose 0 = 8*u + 19*u - 11637. Is u a multiple of 23?
False
Suppose -2*b + 4 + 2 = 0. Let m be (2 - b) + -2 + 246. Let z = -168 + m. Is 20 a factor of z?
False
Let y(j) = -j + 9. Let g be y(5). Suppose -5*m = -8*m + f + 484, -g*f + 624 = 4*m. Is m a multiple of 20?
True
Let b(l) = -3*l - 34. Does 22 divide b(-30)?
False
Let r(m) = m**3 + 7*m**2 - 27*m - 6. Let n be r(-12). Is n/(-5) + (-4)/10 a multiple of 40?
True
Let k = 991 + -889. Does 34 divide k?
True
Let b = -2 - -4. Let v be (b/(-8))/(18/(-72)). Let n(c) = 56*c**3 - 2*c**2 + 1. Is n(v) a multiple of 21?
False
Let c = 542 - 379. Is 20 a factor of c?
False
Let d = 93 - -231. Is 18 a factor of d?
True
Suppose 4*r + 22 - 6 = -4*w, -r + w + 4 = 0. Suppose -10*m + 65 + 75 = r. Is 14 a factor of m?
True
Let y be 7 - 5 - (-51 + -1). Let f = y - 24. Does 4 divide f?
False
Let l(n) = -n**3 + 16*n**2 - 5*n - 26. Does 16 divide l(13)?
True
Suppose 15456 = -8*g - 6*g. Does 30 divide -4 - (g/4 + 2)?
True
Let b be (57/(-9))/((-4)/(-96)). Let a be b/4*3*2. Let c = -157 - a. Is 16 a factor of c?
False
Let s(x) = 43*x - 495. Does 21 divide s(57)?
False
Let l = 1539 + 337. Is l a multiple of 14?
True
Is 4/(16/(-1074))*8/(-12) a multiple of 4?
False
Let s = -1061 - -2211. Is s a multiple of 34?
False
Let t(d) = d**3 + 50*d**2 + 28*d + 115. Is 44 a factor of t(-49)?
True
Suppose 0 = -l - 19 + 2