et o be a(9). Suppose -o*q = -s*q - 60. Is 5 a factor of q?
True
Let x = 22 - 20. Suppose -q = -0*q + 2*g - 84, -4*q + x*g + 336 = 0. Does 14 divide q?
True
Let f(g) = -g**2 - 7*g + 3. Let u be f(-8). Let j = u - -10. Suppose -4*r = -4*o + 56, 0 = -o - j*r - 16. Is o a multiple of 2?
False
Let l(h) = 11*h**2 + 4*h + 17. Let s be l(5). Is (s/(-15))/((-4)/90*3) a multiple of 39?
True
Let w(s) = 1 - 12*s + 2*s - s**3 - 2*s**2 - 13 + 13*s**2. Is w(9) a multiple of 15?
True
Let x(t) = -t**3 - 4*t**2 - 4*t - 1. Let o be x(-3). Suppose 522 = -4*z - 2*v, o*z - z = 5*v - 125. Let w = z + 226. Does 32 divide w?
True
Suppose 3*m + 4*c - 1424 = 0, -8 = 5*c - 3. Does 28 divide m?
True
Suppose 2*m - 2*t = 28 + 12, -2*m + t + 42 = 0. Suppose -5*q - 26 = -11. Is m/2*(-3)/q a multiple of 7?
False
Let f(s) = s**3 - 29*s**2 - 27*s + 36. Is f(30) a multiple of 14?
True
Let a(n) = 1. Let f(q) = 3*q - 7. Let y(z) = -21*a(z) - 3*f(z). Does 5 divide y(-3)?
False
Let d be 1/3 + 22/6. Suppose -3 = -14*y + 39. Suppose y*b = -d + 31. Is b a multiple of 9?
True
Let s(w) = -9 + 8*w - 13 + 7 - 10*w. Does 8 divide s(-19)?
False
Let k(g) = -g**3 - 19*g**2 + 52*g + 22. Does 5 divide k(-22)?
True
Suppose -3*g + 330 = 29*r - 30*r, 2*r = -3*g + 330. Is g a multiple of 10?
True
Let x(l) = 29*l - 148. Is 3 a factor of x(6)?
False
Let f = -16 - -12. Let x be (f/(-3))/(6/117). Let n = -15 + x. Does 3 divide n?
False
Suppose 0 = -q + 3*o + 435, -3*o + 2 - 5 = 0. Does 54 divide q?
True
Let r(n) = -n**3 + 20*n**2 + n + 17. Does 5 divide r(20)?
False
Suppose -5*f - 128 + 38 = 0. Let v be 12/(-54) - 706/f. Is 6/v + (-852)/(-39) a multiple of 22?
True
Let u(d) = d**2 + 3*d - 8. Let f be u(-3). Does 19 divide (-610)/(-8) + 2/f?
True
Let m(z) = -24*z + 616. Is m(-11) a multiple of 8?
True
Suppose 3*q + 3*n = -159, -3*q + 2*n - 251 = 2*q. Let w = -31 - q. Let d = w - 5. Is 15 a factor of d?
True
Suppose 17*x - 108 = -x. Suppose -2*s - 2*i + 224 = -x*i, -i = -3*s + 326. Is s a multiple of 9?
True
Suppose -6 = 35*o - 37*o. Suppose -3*s = 2*s - 15. Suppose -6 = s*m - m, -z + 53 = -o*m. Is 11 a factor of z?
True
Let n(r) = r**3 + 0*r**2 - 2*r - 12*r**2 - 2*r**3 + 0 - 3. Is n(-12) a multiple of 7?
True
Suppose -4*z + 110 = 114. Let a(q) = -46*q**3 - 2*q**2 - 7*q - 5. Is 3 a factor of a(z)?
False
Suppose -4*m + 3*a - 35 = 0, -29 = 4*m - 0*m + 3*a. Let v(c) = -c**3 - 7*c**2 + 4*c - 8. Is 12 a factor of v(m)?
True
Let u(r) be the first derivative of -r**4/12 + 3*r**3/2 - 5*r**2/2 - 2*r - 1. Let q(n) be the first derivative of u(n). Is 6 a factor of q(7)?
False
Let a(y) = 2*y - 52. Let p be a(26). Suppose 31*c - 42*c + 1232 = p. Is c a multiple of 14?
True
Let q = -78 - -41. Let y(m) = 18*m - 4. Let v be y(-4). Let w = q - v. Does 19 divide w?
False
Suppose 4*t = 3*i + 2298, 3*t + t = -3*i + 2310. Does 32 divide t?
True
Let s = 11 - 11. Let r = s - 2. Is 8/3*(-21)/r a multiple of 7?
True
Let x = 23 - 20. Let t be 44*(-1)/(-6)*3. Is 2*(3 + t - x) a multiple of 11?
True
Suppose -v = -3*v + 88. Let r = -26 + v. Is r a multiple of 14?
False
Let l = -185 + 265. Let s = l + -47. Let b = 46 - s. Is b a multiple of 4?
False
Let c(m) = 6*m - 44. Let o be c(18). Suppose s - o = -s + 2*n, -3*s + 106 = -5*n. Is s a multiple of 16?
False
Suppose 0 = 2*k + 2*z - 6, -3*z + 3 = 4*k - 3*k. Suppose 5*c = c + k*s + 112, -5*c - s + 159 = 0. Let p = c - 17. Does 6 divide p?
False
Suppose -83 = -5*f - 4*t, -2*t - 35 = -2*f - 3*t. Suppose 21*x = f*x + 140. Is x a multiple of 12?
False
Suppose -540 = -36*g + 32*g. Suppose 3*o + 2*c - 491 = 0, -o + 3*c + 36 = -g. Does 33 divide o?
True
Let f = -17 - -17. Let q be (-95)/(-5)*(6 + -1). Suppose 5*a - q = -f*a. Does 9 divide a?
False
Let p = 120 + 33. Does 55 divide p?
False
Is -356*(1/2)/(1/(-2)) a multiple of 13?
False
Suppose 4*l - 20 = 8*l. Let r be 598/18 + ((-8)/36 - 0). Let h = l + r. Does 7 divide h?
True
Suppose 14*z + 8 = 10*z. Does 11 divide z - (1038/(-18) + (-4)/(-6))?
True
Does 19 divide 14824/22 + (-4)/(-22)?
False
Let y be ((-2)/1)/((-1)/6). Let q be (-21)/(-2)*8/y. Suppose -154 = -q*k + 5*k. Is k a multiple of 11?
True
Suppose -3*k = -5*h - 140, -h + 104 = 2*k + h. Let j(b) = b**3 + 5*b**2 + 2*b - 3. Let o be j(-4). Suppose -o*z + 10 = -k. Is z a multiple of 9?
False
Let j(o) = 2*o**3 - 3*o**2 - 9*o + 6. Let i be j(3). Suppose -20 = -i*l + 4*l. Is l a multiple of 3?
False
Let v = 2288 - 1694. Does 23 divide v?
False
Suppose -13 = -3*w + 2*w - 2*s, -5*w - 4*s = -71. Let d = 43 - w. Is 22 a factor of d?
False
Let b(d) = 15*d**2 - 3. Let r(s) = -74*s**2 - s + 16. Let n(t) = 11*b(t) + 2*r(t). Is n(-1) a multiple of 18?
True
Let t = 3670 - 2610. Is 56 a factor of t?
False
Let a(y) = -6*y + 74. Does 7 divide a(10)?
True
Let p(s) = -2*s**3 - 3*s - 4. Let z(d) = d**2 + 5*d + 2. Let m = -13 - -9. Let n be z(m). Is p(n) a multiple of 6?
True
Let s(m) = -m**3 - 6*m**2 + 11*m + 34. Let i be s(-12). Suppose -4*c - c + 952 = 3*f, -4*c + 2*f = -i. Is c a multiple of 6?
False
Let a(s) = 6*s**2 + 2*s + 5. Let h(x) = 11*x**2 + 4*x + 9. Let r(u) = -7*a(u) + 4*h(u). Let m = -11 - -8. Does 5 divide r(m)?
False
Does 10 divide (-1)/4 - 213473/(-52)?
False
Let s be ((-24)/(-4))/((-6)/(-357)) - 0. Suppose -s = -6*z + 3*z. Does 17 divide z?
True
Let m(d) = 3*d**2 + 12*d - 27. Does 31 divide m(13)?
False
Suppose -5*b - 7*i + 2*i + 725 = 0, -i = 4*b - 586. Is b a multiple of 7?
True
Suppose 0 = -2*x - 4*a + 372, x - 4*a - 107 - 49 = 0. Is 2 a factor of x?
True
Suppose 3 = l - 0*l. Let w(h) = 8*h - 11. Let k be w(4). Let b = k - l. Is 6 a factor of b?
True
Let v(d) = -2*d - 4*d + 10 - 3. Does 22 divide v(-5)?
False
Let u be (-1)/(4/(-8))*59. Let c = 315 - u. Suppose -4*f + 39 = -c. Is f a multiple of 12?
False
Suppose 0 = 11*h - 20*h. Suppose h = 13*p - 18*p + 1040. Does 26 divide p?
True
Let n(y) = -y**2 + 12*y + 10. Let h be 22/(-3 + 4 - -1). Does 6 divide n(h)?
False
Suppose 9*b - 4834 = 10016. Is 33 a factor of b?
True
Let k(w) = 2*w**2 + 3*w. Let l be k(-2). Let i(y) = 4 - 4 - l + 13*y - 2. Does 16 divide i(3)?
False
Let o(b) = 3*b + 1. Let m be o(-1). Let y = -16 - -9. Is 4 + m - 28/y even?
True
Let h be (39/(-9))/((-1)/3). Suppose 4*w - 3*c + 7 = 0, -3*w + 12*c - 3 = 9*c. Let o = w + h. Is o a multiple of 3?
True
Let y(b) = -5*b**3 + 21*b + 51. Does 50 divide y(-8)?
False
Let p(v) = 15 - 3 - 3*v + v + 8. Let j be p(9). Does 8 divide 21/2 - (-1)/j?
False
Suppose 2*x + 0 = 4. Let t = -61 + 80. Suppose -x*i - t + 107 = 0. Is i a multiple of 22?
True
Let c(r) = -24*r**2 - 143*r + 10. Let v be c(-6). Let s(o) be the second derivative of o**4/6 - 5*o**3/6 + o**2 - o. Is s(v) a multiple of 7?
True
Let w = -27 - -30. Suppose -w*j + 44 = -4*n, 0*j = j + 3*n - 32. Does 4 divide j?
True
Let h = 119 - 110. Does 4 divide h?
False
Let i(m) = -m**3 + 17*m**2 - 30*m + 10. Let s be i(15). Suppose -2*g - f = -4*f - 58, s = 5*f. Is 5 a factor of g?
False
Suppose -l = v - 4, 0 = -2*v + 2*l - 3*l + 8. Suppose m - 12 = v*m. Is 91 - 3/(-6)*m a multiple of 18?
False
Does 31 divide (68/51)/(3/(-279))*-2?
True
Let s = 18 + -13. Let l(m) = 4*m**2 + 11*m - 1. Let o(n) = n**2 + n + 1. Let y(z) = s*o(z) - l(z). Is y(10) a multiple of 17?
False
Let c = 20 + -17. Let f be (-2)/(-6) + c/(-9). Does 12 divide 27/(-6)*(f + -8)?
True
Let y be (-1)/(-2)*(-3 + 2)*-18. Let k(c) = 2*c**3 - 17*c**2 - 7*c + 3. Is 3 a factor of k(y)?
True
Let f(l) = -l**2 - 2*l + 2. Let d be f(0). Suppose -a - 3 = d, 4*a = -4*y - 20. Does 7 divide y - -5 - (-2 + 0)?
True
Let i be (12/5)/(2/(-45)). Let z = 27 + i. Let h = 47 + z. Is 6 a factor of h?
False
Let g = -5 + 9. Let i be ((-26)/(-8))/(g/48). Is 3 a factor of ((-130)/i)/(2/(-3))?
False
Is ((-16)/(-6))/2*(24 + 144) a multiple of 32?
True
Let g = 207 - -81. Is 36 a factor of g?
True
Let a = 1506 + -1065. Is a a multiple of 49?
True
Does 21 divide -3 + 5 - 1*-498?
False
Let h(x) = -7*x - 1 - 4 + 5*x - 9*x. Is h(-10) a multiple of 21?
True
Let z = 0 - -1. Let m be z - 0 - -18 - 3. Suppose 0*i = -i + m. Is i a multiple of 16?
True
Let o = -159 + 148. Let x(f) = -29*f - 79. Is x(o) a multiple of 16?
True
Let b(a) = -a**3 + 12*a**2 - 10*a - 4. Let i = 29 - 18. Let g be b(i). Let x(j) = 2*j**2 - 4*j - 7. Is x(g) a multiple of 21?
True
Let m = 91 - -5. Let b = 152 - m. Does 28 divide b?
True