es 48 divide g(-9)?
False
Let d = 21 + -18. Suppose 5*a - 5*v = 30, -a + 3*v = d*a - 22. Suppose -r + a*k = -15, 62 = 4*r - 2*k - 68. Does 14 divide r?
False
Let v(d) = -3*d**2 - 154*d - 34. Is v(-46) a multiple of 13?
True
Let g(v) = 2*v**2 - 35*v + 455. Does 43 divide g(21)?
True
Let j(l) = -l**3 + 24*l**2 + 55*l - 70. Let g be j(26). Let x = -2 + 4. Is ((-21)/(-4))/(x/g) a multiple of 7?
True
Let b(q) = -138*q - 194. Is b(-20) a multiple of 25?
False
Suppose -c + 5*u - 9*u - 15 = 0, 5*u = -c - 20. Suppose 0 = 5*b - b - c*s - 374, -3*s = -b + 90. Does 16 divide b?
True
Suppose -4*p = -6*p + 6. Let u be 16 + (4 - p - 4). Let i = u - 7. Is i a multiple of 6?
True
Let i = 50 - 43. Suppose -120 = 5*m - i*m. Is m a multiple of 12?
True
Let a(t) = 2*t**3 + 9*t**2 + 14*t + 8. Let x(s) = -3*s**3 - 9*s**2 - 15*s - 8. Let d(r) = 4*a(r) + 3*x(r). Is d(10) a multiple of 2?
True
Suppose -106 = -3*j + 125. Suppose 5*v + 5*h - h - j = 0, 3 = h. Is v a multiple of 12?
False
Let p(u) = -u**3 + 2*u**2 + 2*u + 3. Let g be p(3). Suppose -w = -42 - g. Is w a multiple of 21?
True
Suppose -4*z = -0*z + 16, -5*n + 1304 = 4*z. Suppose 0 = 8*i - 5*i - n. Is i a multiple of 22?
True
Suppose -r + 31 = i + 4*r, 3*i - 2*r - 144 = 0. Let d = i + -22. Does 8 divide d?
True
Let n(i) = 4*i**2 - 3*i - 7. Let y(s) = 5*s + 5. Let o be y(-4). Let g = o - -10. Does 28 divide n(g)?
False
Suppose -19*r + 1075 - 87 = 0. Is r even?
True
Let a = 2 - 2. Let u(i) be the second derivative of i**5/20 - i**4/12 - i**3/6 + 15*i**2 + 49*i. Is 5 a factor of u(a)?
True
Let q(w) = -2*w - 6. Let s be q(-4). Suppose s*b + 5*m = 55, 0*b - 4*m = -b + 21. Suppose -4*z - b + 69 = 0. Is 11 a factor of z?
True
Let v be 1266/(-4) + 6/4. Let f be (24/(-10))/(14/v). Suppose 0*q = q - f. Does 27 divide q?
True
Let y(m) = -m**2 - m + 10. Suppose t + 24 = -7*t. Is y(t) even?
True
Let v be (-4)/10 + (-255)/(-75). Let g(b) = 9*b - 6. Is g(v) a multiple of 7?
True
Let q(l) = -103*l - 253. Is 26 a factor of q(-7)?
True
Let t be 6/(-4)*28/(-6). Suppose t = y + 22. Let w = 27 + y. Does 6 divide w?
True
Let o = 145 - -95. Suppose 2*d - 2*t + o = 582, 4*d + 5*t - 657 = 0. Does 18 divide d?
False
Let r(v) = -v**3 - 3*v**2 - 2*v. Let l be r(-2). Suppose -2*y = -x - 60, -8 = 2*x - 0*x. Suppose 4*k = -l*k + y. Is k a multiple of 7?
True
Suppose 2*w - 2*b - 5 = 1, 1 = -b. Does 23 divide 8 + -4 + w + 109?
True
Let z = 595 - 49. Is 26 a factor of z?
True
Suppose w - 133 = 2*t - 3*t, -258 = -2*t + 2*w. Let o = -65 + t. Is 27 a factor of o?
False
Let n = -451 - -643. Is n a multiple of 8?
True
Let k(o) be the first derivative of o**3/3 + 15*o**2/2 - 13*o - 3. Let i be k(-11). Let m = i - -92. Is 13 a factor of m?
False
Let w be (39/6)/(7/(-14)). Is 17 + w + (-1 - -230) a multiple of 45?
False
Let k be (-32)/(-12)*6/4. Suppose 0 = 5*b + 3*m - 228, 3*b - 2*m - 132 = -5*m. Suppose -k*v + 10 = 2*g - 68, -2*v - 4*g = -b. Is 18 a factor of v?
True
Suppose -3*h + 5*o + 612 = 0, -2*h - 4*o = o - 408. Let y = h - 117. Does 12 divide y?
False
Let f = 3523 + -2096. Is f a multiple of 108?
False
Suppose -2*j = 4*u - 30, 5*u = 3*j - 16 - 7. Let y(b) = -j*b + 25 - 8 - 9*b + 19*b. Is y(-5) a multiple of 11?
True
Let c(h) = 22*h**2 - 16*h + 27. Does 71 divide c(5)?
True
Let q be ((-18)/27)/(2/(-12)). Suppose q*z - 180 = -16. Is z a multiple of 22?
False
Suppose 3*q - 3*z = 1008, -8*z = -4*q - 5*z + 1344. Does 14 divide q?
True
Suppose 4*v = n + 36, 11 = 2*v - 2*n - 13. Let p be (v/(-12))/((-1)/27). Suppose 3*c - 4*h - p = 45, 3*c - 5*h = 63. Is c a multiple of 6?
False
Let w = -33 + 39. Suppose -w*k + 252 = k. Is 12 a factor of k?
True
Suppose -l - 3*a = -5*l + 1285, 3*l + 4*a = 945. Is l a multiple of 29?
True
Let n = -8 + 17. Let f be (-88)/(-9) - (-2)/n. Let u = 23 - f. Is 3 a factor of u?
False
Suppose 8*v - 4101 - 23019 = 0. Is 113 a factor of v?
True
Suppose -d = -5*w + 12, 2*d - 5*w + 2 + 7 = 0. Suppose 6*b - d*b = 336. Does 14 divide b?
True
Let g = 125 + -213. Let s = -53 - g. Does 5 divide s?
True
Suppose -5*n + 12 = -3, -6621 = -3*b + 4*n. Is b a multiple of 11?
True
Suppose 0 = 7*n - 2*n - 20. Suppose -u + 16 + 15 = r, 0 = -n*r - 16. Is 27 a factor of u?
False
Let h(p) = 1. Let o(g) = 2*g + 4. Let a(c) = -6*h(c) - o(c). Let u be a(6). Let v = 11 - u. Is v a multiple of 11?
True
Is ((-12)/18)/((-8)/30540) - -5 a multiple of 15?
True
Let h(a) = 2*a**2 + 11*a + 1. Let d be (90/(-27))/((-2)/3). Suppose -d*j - 29 - 1 = 0. Is h(j) a multiple of 7?
True
Let r(q) = 120*q + 8. Is r(2) a multiple of 8?
True
Suppose -1 - 7 = 4*p. Is 5/p*(-7)/((-105)/(-246)) a multiple of 9?
False
Let y(x) be the second derivative of x**3/6 + x**2 - 21*x. Let k be 26/4 - (-3)/(-6). Does 8 divide y(k)?
True
Let y be (-5)/(-10)*(-32)/(-4). Suppose 138 = y*l - 114. Is l a multiple of 21?
True
Suppose 0 = -3*i + 4*h + 124, -4*i - 5*h = -8*i + 167. Is 6 a factor of i?
True
Let u(r) = 28*r**2. Suppose -b + 20 = 9*b. Is 4 a factor of u(b)?
True
Let n = -10 + 15. Let b = n + -10. Does 3 divide ((-12)/b)/((-2)/(-5))?
True
Let x(y) = y. Let j be x(3). Suppose 3*u - 9 = 0, -p - 3*u + 333 = 3*p. Suppose p = j*l - 24. Does 7 divide l?
True
Let g(k) = -1. Let u(b) = -b**3 + b**2 + 9. Let o(f) = -3*g(f) + u(f). Let d be o(0). Suppose d = 5*j - j, -92 = -5*r + j. Is r a multiple of 19?
True
Suppose -3*s - 3*s + 252 = 0. Let n be 6/(-21) + 684/s. Let r = n - -14. Does 7 divide r?
False
Let i(q) = 49*q**3 - 6*q**2 + 11*q - 35. Is 49 a factor of i(3)?
False
Suppose 2*b + 3*v = 753, -13*b - 1890 = -18*b - 5*v. Is b a multiple of 23?
False
Let k(w) = -34*w + 5. Let o be (-6)/(-4)*(-6)/3. Is 20 a factor of k(o)?
False
Let x be -3 + 7 + 108/4. Let w = x + -28. Suppose 111 = 4*n - 5*l, -n = n + w*l - 39. Is 12 a factor of n?
True
Let v(k) = k**3 + k**2 - 2*k + 116. Let w be v(0). Suppose -2*h - 3*q + 119 = 0, 2*h + 3*q = q + w. Is h a multiple of 18?
False
Suppose y - 22*c - 74 = -24*c, -y + 5*c + 95 = 0. Is 5 a factor of y?
True
Let m(t) = 5*t**2 - 6*t + 7. Let l be m(2). Let j(d) = -2*d - 3*d - 3*d + d - l. Is 12 a factor of j(-9)?
True
Suppose 9*l - 6 = 21. Suppose -3*r + 3 = 0, -b - 4*b + l*r = -927. Is 16 a factor of b?
False
Let z(p) = -p**2 - 5*p + 8. Let r be z(-6). Let g be -3 - (r - 15/(-3)). Is 24 a factor of (-2)/g - 576/(-20)?
False
Suppose -3*i = 5*n - 15, -n + 3*i = -6 + 21. Let q(p) = -27*p - 24*p - 29*p + 78*p + 15. Is 15 a factor of q(n)?
True
Let u = 16 + -18. Is 3*(u + 1) - 23*-1 a multiple of 3?
False
Suppose 0*s - 3*y = -2*s + 21, s + 5*y = -9. Is 17 a factor of 10/(-3)*(s - (-1428)/(-35))?
False
Let d(l) = l + 17. Let g be d(-14). Suppose -g*b = 4*i - 27, -2*i - 4 = -4*b + 2*b. Suppose b*v = 164 - 24. Does 28 divide v?
True
Suppose 3*r = 4*p + 202, 5*r - 368 = 3*p - 35. Does 6 divide r?
True
Let z = 26 + -23. Is 48/(z/((-36)/(-8))) a multiple of 12?
True
Let u(y) = 48*y**3 - 4*y. Let j be u(2). Suppose -37*t = -41*t + j. Is 22 a factor of t?
False
Let q(t) = 2*t**2 - t + 9*t + 2 + 0 - 3*t**2. Let b be q(8). Suppose 0 = -n - 3, -4*w + 0*w + b*n = -54. Is 6 a factor of w?
True
Let k(h) = 49*h**3 - h**2 - h + 1. Let m be k(1). Suppose 2*n - m = -n. Is n a multiple of 5?
False
Suppose 3*f = 2*z - 3789, -4*f + 5*f + 3783 = 2*z. Does 46 divide z?
False
Let u(m) = m + 5. Let i be u(0). Suppose 0 = -i*l + 3*b + 97, -3*l = -2*l + 3*b - 23. Is 4 a factor of l?
True
Let v(p) = -p**2 - 13*p + 37. Does 11 divide v(-8)?
True
Let s = -65 + 496. Does 72 divide s?
False
Let x be (-5 - -6)/((-3)/(-9)*3). Let y(l) = 47*l + 2. Is y(x) a multiple of 20?
False
Let v(h) = -h - 5. Let f be 4/((-16)/(-13))*-4. Let a be v(f). Suppose -a*k - 35 = -13*k. Is 5 a factor of k?
False
Suppose -u = -2*z - 67, -335 = -3*u - 2*u + 3*z. Let q = u + 141. Is q a multiple of 24?
False
Let l = -10 - 32. Does 10 divide (-2)/7 - 684/l?
False
Let k be ((-22)/66)/((-1)/(-18)). Let b(s) = -26*s - 28. Does 32 divide b(k)?
True
Let t be (-1)/(6/4 + (-4 - -2)). Is 165/t + 20/(-8) a multiple of 17?
False
Let a be ((-8)/(-10))/(32/720). Suppose -288 = -a*n + 2466. Is n a multiple of 9?
True
Let d = 88 + 403. Does 16 divide d?
False
Suppose a = 5*g + 119, -5*a + 679 = -4*g - 0*g. Let w = -83 + a. Does 26 divide w?
False
Suppose -3*i + 730 = g, 2*g - 1346 + 131 = -5*i. Suppose 3*x - 10 = i. Suppose -3*k -