es 6 divide s(5)?
False
Let q(n) be the second derivative of n**3/2 + 7*n**2 + 4*n. Let c be q(-6). Is (-32)/(-1 - (-3 - c)) a multiple of 3?
False
Let c be ((-4)/(-3))/(3/(27/2)). Suppose -7*p + c*p + 27 = 0. Is 10 a factor of p?
False
Let o be ((-16)/10 - -1) + (-6)/15. Is 12 a factor of o + 77/6 - 20/(-120)?
True
Suppose -1915 - 821 = -8*s. Is s a multiple of 9?
True
Suppose 0*r = 5*h + 5*r - 5255, 3*h = -2*r + 3152. Does 25 divide h?
True
Let k(z) = -19 - 11*z**2 + z**3 - 3*z**2 - 8*z + 37*z**2 + 5. Is 10 a factor of k(-23)?
True
Let x = -50 - -242. Suppose 32*m + x = 34*m. Does 16 divide m?
True
Let f = 1 + -13. Suppose 0*t - 7 = -t. Does 13 divide 4*((-819)/f)/t?
True
Suppose 5*l = l + 8. Let g(t) = -l + 8*t - 3 - 14*t. Is g(-5) a multiple of 7?
False
Suppose 5*n = w + w - 28, -5*w + 28 = -2*n. Is (-2 - n) + (22 - -11) a multiple of 23?
False
Suppose 0 = -v + 5 + 2. Suppose v*y - 172 = 3*y. Is y a multiple of 16?
False
Suppose 0*u - 416 = -2*u. Suppose 4*s = 6*s - u. Does 26 divide s?
True
Let p = -222 - -471. Is 14 a factor of p?
False
Let w be (2/(-4))/(-1 - (-57)/58). Let n = w + 4. Is n a multiple of 11?
True
Suppose 32 + 37 = -3*t. Let l = t - -40. Is l a multiple of 3?
False
Let c = -46 + 195. Suppose -47 = q - c. Is q a multiple of 27?
False
Suppose 2*p = -3*d - 9, -p + 3 = -4*d + 3*d. Suppose t + 5*g - 9 = p, 3 + 9 = -4*g. Does 7 divide t?
False
Let r(n) be the second derivative of -3*n**3/2 - 5*n**2/2 - n. Let o be 2/(-4)*(-4)/(-1). Is r(o) a multiple of 13?
True
Let a = -61 - -59. Is 18 a factor of (-2 - 2*a) + (119 - -1)?
False
Suppose -1 = -2*v + 7. Let w be 6/(-15) + v/10. Suppose 4*b + u - 10 = w, -5*u - 3 = b - 2*u. Is b a multiple of 2?
False
Suppose 155*h = 175*h - 3360. Does 12 divide h?
True
Let x be ((-3)/(-2))/(15/30). Let o be 11 + (x - 4) + 2. Let b = o + -4. Does 3 divide b?
False
Let c(l) = 3*l**2 - 12*l + 1. Let g(d) = 9*d - 2. Let f be g(1). Is c(f) a multiple of 17?
False
Let d = -91 + 123. Let z be (-3 - (-8 + 3)) + 18. Let c = d + z. Is c a multiple of 16?
False
Let h(j) = -8*j + j**2 - 4*j + 20*j - 7*j**3 - 11. Let u(f) = -f**3 + f**2 - 1. Let x(t) = -h(t) + 6*u(t). Is x(-6) a multiple of 4?
False
Suppose -133 = -3*h - 130. Is (-2)/6*(-87 - (h - 1)) a multiple of 8?
False
Let g(d) be the first derivative of 13*d**2/2 - 6*d - 8. Is g(6) a multiple of 18?
True
Let v be 540*(0 + (-2)/(-4)). Suppose -13*a - v = -18*a. Does 21 divide a?
False
Let d(w) = 11*w**2 + 39*w - 836. Is 10 a factor of d(18)?
True
Let x be (-207)/6 - (-2)/16*-4. Let o = x - -59. Is o a multiple of 4?
True
Let r = 36 - 50. Let z = r + 20. Let g = z - 1. Is g even?
False
Let s = 139 - -642. Is 11 a factor of s?
True
Let c = 683 + -674. Is c a multiple of 2?
False
Let o(f) = -7*f. Let q(r) = -14*r - 1. Let w(p) = -5*o(p) + 2*q(p). Let s be w(2). Does 9 divide (-6)/(0 + (-4)/s)?
True
Let v(y) = y + 2. Let i be 14 - 0 - (-10)/(-5). Let o = i - 7. Does 4 divide v(o)?
False
Suppose 3*y + 4*b - 5*b = 61, -4*y + 2*b = -84. Suppose -18*c - 11 = -y*c. Is 11 a factor of c?
True
Suppose 48268 = 61*z - 39572. Is z a multiple of 60?
True
Let u(h) = 4*h**2 - 3*h**2 - 2*h**2 + 2*h**2 - h + 51. Is u(0) a multiple of 17?
True
Let w(l) = -l**2 - 22*l - 24. Suppose -2*m - 19 = 1. Is 32 a factor of w(m)?
True
Suppose -7*h + 57 + 20 = 0. Let c = 25 + h. Is c a multiple of 36?
True
Suppose 10*y - 718 = 1532. Is 49 a factor of y?
False
Let f = 134 - 218. Let l be (-5)/(-15)*f/(-2). Suppose 0 = -s + 8 + l. Is 6 a factor of s?
False
Is (-9)/(-21) - 6000/(-14) a multiple of 7?
False
Suppose 0 = 16*d - 5361 - 719. Is 15 a factor of d?
False
Suppose -5*m - 27 = 4*f, 3*f + 0*f = 4*m + 3. Let u(w) = -w + 5. Let k be u(4). Is 19 a factor of (m/k)/(1/(-7))?
False
Let g = 30 - 14. Suppose -g = -0*q - 4*q. Suppose -3*p + 4*f + 3 = 0, q = -p + 3*f - 0. Is p a multiple of 2?
False
Suppose 3*n + 6321 = 4*y, -y + 4*n + 913 = -651. Is y a multiple of 9?
True
Suppose 0 = 4*n - 8*n + 168. Suppose -n = 4*d + 4*c + 2, 0 = 2*d - 5*c + 1. Let s(i) = i**2 + 8*i + 3. Is s(d) even?
False
Let d(q) = -q**2 + q + 52. Let w be d(0). Suppose -17*m + w = -13*m. Is 6 a factor of m?
False
Suppose 18*m - 5866 = 4*m. Is 79 a factor of m?
False
Suppose -r + 1 + 4 = 0. Suppose -23 = r*f - 73. Does 11 divide 54/f*(3 - -2)?
False
Let j be (-10)/(1 + (-1 - 3) + 1). Suppose 4*b - 150 = -2*c, -4*b + 175 = -j*c + 2*c. Does 5 divide b?
True
Let l(o) = o**3 - 4*o**2 - 3*o - 6. Let a be 2 - (0 + 6 - 3). Let i be (-5 - (-2)/(-2))/a. Does 12 divide l(i)?
True
Let p(g) = -g**2 - 20*g - 36. Let j be p(-18). Suppose u + 23 - 151 = j. Is 16 a factor of u?
True
Let w(c) = c**3 + 8*c**2 + 11*c + 17. Let j be w(-7). Let b = j - -11. Suppose 8*u - 5*u - 90 = b. Does 17 divide u?
False
Let z = 75 - 47. Suppose 0 = -4*h + 2*h + z. Does 14 divide h?
True
Suppose 2*r + 58 = 2*y, 2*r = -4*y + y + 92. Is 15 a factor of y?
True
Let k(l) = -2*l - 38. Let j be k(14). Let h = 76 + j. Is 5 a factor of h?
True
Suppose 5*a - 6*a = 4*i - 34, 3*i = -2*a + 63. Is 10 a factor of a?
True
Let i(r) be the third derivative of r**4/24 + r**3/6 + 4*r**2. Suppose 4*t + 0*t - 56 = 0. Is 6 a factor of i(t)?
False
Let h = -10 - -12. Suppose -12 = -2*c + h. Does 2 divide c?
False
Let j(m) be the second derivative of -m**3/6 + 11*m**2/2 - 7*m. Let d be j(8). Suppose -4*r + 19 = -d*y + 6*y, -3*r = 2*y - 11. Does 3 divide y?
False
Suppose 0 = -5*k - 0*k + 2*v - 7, -4*k + 3*v = 0. Is 6 a factor of k/(12/2)*-36?
True
Let h be 9*(-8)/12 - 2. Let v = 13 + h. Suppose v*g - 206 = o, 2*o - 218 = -5*g - 0*o. Is g a multiple of 21?
True
Let m(b) = 59*b**2 - b - 1. Suppose 7*c - 6*c = -1. Let u be m(c). Suppose 249 = 3*o - n + u, 0 = 3*o - 4*n - 184. Is o a multiple of 20?
False
Let a(f) be the second derivative of -f**4/6 - 19*f**3/6 + 2*f**2 - 3*f. Is a(-8) a multiple of 6?
False
Suppose 6*k - 3838 = 13802. Is 18 a factor of k?
False
Let p = -29 - -11. Does 8 divide 3/(p/40)*-3?
False
Let r(d) be the first derivative of d**4/4 + 7*d**3/3 - 11*d**2/2 - 5*d + 25. Does 49 divide r(5)?
False
Suppose 0 = -60*k + 1030 + 650. Is k even?
True
Suppose -1505 = -r + m, -5*r + m + 7527 = -2*m. Does 7 divide r?
False
Suppose 77*a - 73*a = 2208. Is 46 a factor of a?
True
Suppose 8*u - 6*u = -2*g + 2076, u = -3. Is 45 a factor of g?
False
Suppose 0 = -2*o + 6, -44*y = -48*y - 5*o + 499. Does 11 divide y?
True
Let d = -481 - -950. Let t = d + -241. Does 19 divide t?
True
Suppose -3*c = -15, 5*c + 205 = 3*o + 4*c. Is o a multiple of 7?
True
Let n = 13 + -9. Suppose 0 = -4*f, 0 = h - n*h + f - 885. Let l = -186 - h. Is l a multiple of 30?
False
Suppose -4*w + 2*s = -7*w + 177, 2*w - 5*s - 118 = 0. Is 58 a factor of w?
False
Suppose -2*r + 9 = 5*x + 3, 5*r + 10 = 0. Does 10 divide (-237)/(-6) - (x + (-3)/2)?
False
Suppose 10 = -z + 5*o, 5*z + 1 = -4*o + 9. Suppose y - d = 2*y - 28, -4*y - d + 106 = z. Is y a multiple of 13?
True
Let h(k) = 93*k**2 - 5*k + 4. Let u be h(1). Let t = u - 48. Does 20 divide t?
False
Let o = 45 + 52. Is o a multiple of 7?
False
Let i(c) = 2*c**2 + c - 6. Let l be i(7). Suppose 5*f = 2*f + l. Does 6 divide f?
False
Let r(u) = 36*u + 110. Does 50 divide r(6)?
False
Let h(q) = -q**2 - q + 187. Let n be h(0). Suppose -2*y + n = 55. Suppose 0 = 5*f - l - 408, 3*f - 170 - y = 5*l. Is 21 a factor of f?
False
Let o(u) = -15*u**2 + 9*u - 21. Let z(d) = 3*d**2 - 2*d + 4. Let i(f) = 4*o(f) + 21*z(f). Is 32 a factor of i(5)?
False
Let w be (-22)/(-5) - (-14)/(-35). Suppose c - 5*k = w*c - 44, 5*c - 4*k = 61. Is c a multiple of 13?
True
Let n(t) = 6*t - 1. Let f = 32 - 24. Suppose 0 = 3*d - f - 4. Does 13 divide n(d)?
False
Let n be -4 - (-3 + 0 + 7). Let f be ((-2)/n)/((-8)/32). Is 2*(f + 0)*-2 a multiple of 2?
True
Suppose 16 = 2*p - 2*f, 0*p = -4*p - f + 52. Is (-90)/(-7)*112/p a multiple of 21?
False
Suppose 7*h = 1916 + 1374. Is 10 a factor of h?
True
Is 253*((-1)/2)/(25/(-100)) even?
True
Suppose -5*z - o = -20, -4*o + o = -5*z. Is (z + -3 - 3) + 51 a multiple of 12?
True
Suppose -108 = -3*p - 21. Let r(w) = -w**3 - 9*w**2 - 8*w. Let j be r(-8). Let a = p + j. Is a a multiple of 17?
False
Let o(x) = x**3 + 5*x**2 - 9*x - 14. Let y be (-10)/(-4)*20/10. Suppose y*w - 9 = -39. Is 4 a factor of o(w)?
True
Let s(b) = b**2 + 2. Let x(f) = -f**2 - 10*f - 