-18. Suppose -s*w = -4*t - 312, 2*t = -3*w + 199 - 25. Is w a multiple of 12?
True
Let a be 6/(-4)*224/(-6). Suppose -6*d + 360 = -3*d. Let p = d - a. Is p a multiple of 11?
False
Is 34 a factor of (-3 - (-8 - -3))/(6/1407)?
False
Suppose -23*n + 11466 = -5*n. Is 47 a factor of n?
False
Let r(h) = -19*h - 6. Let l be r(1). Let o = l + 57. Is o a multiple of 16?
True
Let r(s) = -s**2 - 2*s - 4. Let n(h) = 2*h**2 + 4*h + 7. Let f(z) = 4*n(z) + 7*r(z). Let i be f(4). Suppose -k - i + 46 = 0. Is 22 a factor of k?
True
Let o(y) = -3*y**2 + 29*y - 21. Let v be o(9). Is (-46)/v - 12/(-18) a multiple of 16?
True
Suppose 4*g - 4*w = 20, -2*g - 2*w + 16 = 2. Suppose g*h - 2*h = 172. Let c = h + 8. Is 17 a factor of c?
True
Let d be ((-3)/(-1))/((-2)/(-452)). Suppose 4*y - 8*y = 3*p - d, -5*p = -5*y + 830. Suppose 294 = 5*z - 3*j, z - j + y = 4*z. Does 19 divide z?
True
Let c = -16 - -45. Suppose 0 = -6*g - c + 113. Does 14 divide g?
True
Let f = -13 + 13. Suppose g = -f*g + 19. Is 6 a factor of (g - -1) + (-5 - -7)?
False
Let m be (-168)/(-9)*(-6)/(-2). Let x = 9 - 9. Suppose h + 89 = 3*y, x*y + h - m = -2*y. Is 17 a factor of y?
False
Let j(z) = 9*z + 9 + z**2 + 3 - 2. Let l be j(-5). Let n = 22 + l. Is n a multiple of 12?
True
Let j = 9 - 5. Suppose 0 = -i - 3*i - 4*p + 88, -j = -2*p. Is i a multiple of 10?
True
Suppose y + y = 0. Suppose 0*t - 2*t - 2*l + 10 = y, -33 = -5*t - l. Let h = t - -9. Does 16 divide h?
True
Let a(f) = f**2 + 17*f - 15. Suppose 0 = -4*x + 3*u + u - 72, u + 72 = -4*x. Let d be a(x). Suppose 0*w = 3*w - d*b - 87, -5*w = 4*b - 136. Is 28 a factor of w?
True
Suppose -24 = -4*m + 6*m. Suppose -4*i = -x - 56, 0 = -4*i - 2*x - 5 + 61. Let s = m + i. Is 2 a factor of s?
True
Suppose 15*z + 11560 = 35*z. Does 17 divide z?
True
Is 36 a factor of 3*192 + (-4 - -4)?
True
Does 36 divide 648/(-5)*(-13 + 8)?
True
Suppose -4472 + 1121 = -3*s + 4*b, -2*s - 3*b + 2234 = 0. Is 19 a factor of s?
False
Let y(j) = -j**2 - j + 6. Let v be y(0). Let d(w) = w**3 - 6*w**2 + 2*w + 2. Let q be d(v). Is 598/22 + q/(-77) a multiple of 11?
False
Let z be 96 + 3 + 0 + 0. Suppose -4*i + 17 = -z. Is i a multiple of 2?
False
Let m(z) = -z**3 + 2*z**2 - 2*z. Let u(o) = 2*o**3 - 7*o**2 + 7*o. Let p be 8/40 - 9/(-5). Let l(b) = p*u(b) + 7*m(b). Is 3 a factor of l(-1)?
True
Suppose -59 - 25 = -6*k. Let o be ((-7)/k)/(2/(-8)). Suppose -r - 12 = -5*t + 44, 5*t + o*r = 68. Is t a multiple of 3?
True
Let s(d) = 24*d**2 - 9*d + 69. Is s(8) a multiple of 5?
False
Is 46 a factor of 1060/15*3/(-1)*-1?
False
Suppose 2*i = 8, 3*i + 264 = 3*l + 6*i. Suppose 4*p + l = -2*p. Is 19 a factor of (-8)/28 + (-270)/p?
True
Suppose 437*v - 436*v = 232. Does 8 divide v?
True
Suppose 4*w - 2 = 6. Suppose 12 = -3*k, w*k = -3*b + b. Suppose 4*v + b*h = 340, 0*h + h = 2*v - 167. Is v a multiple of 28?
True
Suppose 19 + 44 = 3*z. Let i = z - 25. Does 18 divide (10/i)/((-11)/286)?
False
Let f(d) = d**3 - 5*d**2 + 3*d - 5. Let g be f(5). Suppose 9*z - g = 4*z. Suppose -z = c + 5*s, -3*c = -4*c - 3*s + 6. Is 6 a factor of c?
True
Let a = 63 - -301. Is 13 a factor of a?
True
Is (-8)/(-14)*-1 + 9785/35 a multiple of 17?
False
Is 94360/196 + (-40)/28 a multiple of 24?
True
Let y(z) = 7*z**3 + 2*z**2 - 8*z + 5. Let t be y(4). Let f = -222 + t. Suppose 0 = 3*j - 3*p - f, -2*j = -0*p + 3*p - 139. Is j a multiple of 37?
True
Let n(v) = 346*v**2 - 9*v + 13. Is n(2) a multiple of 12?
False
Suppose 9*p - 5*p - 192 = 0. Suppose 16*h - 13*h + p = 0. Let o = h + 26. Is o a multiple of 10?
True
Let u(q) = -2*q**2. Let m(n) = 22*n**2 - 2*n + 6. Let t(f) = 2*m(f) + 20*u(f). Is 21 a factor of t(3)?
False
Suppose -26096 = 48*m - 62*m. Is 78 a factor of m?
False
Suppose -2*i - 6 = -18. Is 9 a factor of i/(-15) + 1 - 1071/(-15)?
True
Suppose -5*n + 8 = 4*z, 0 = -2*n - 4*z + z + 6. Suppose 6 = -p - n. Let u = p + 10. Is u a multiple of 2?
True
Let f = 363 - 126. Suppose 4*g - 901 = -f. Let m = g - 94. Is 26 a factor of m?
False
Let h be (-2 - -1)*20/(-2). Is 8 a factor of 6/h + 186/15?
False
Let w(v) be the first derivative of 37*v**2 - 26*v + 7. Is 48 a factor of w(2)?
False
Let v(c) = 141*c - 145. Is 12 a factor of v(6)?
False
Suppose 5 = w - 4. Let c(o) = -9*o + 5. Let y(k) = -17*k + 11. Let m(z) = 7*c(z) - 4*y(z). Does 9 divide m(w)?
True
Let w(q) = -14*q - 11. Let z(i) = i + 1. Let r(o) = w(o) + 6*z(o). Is 9 a factor of r(-5)?
False
Let h(v) = v**2 - 15*v + 54. Is h(21) a multiple of 20?
True
Let w = -1198 - -1391. Is 66 a factor of w?
False
Let l(t) = 2*t**2 + 2*t + 24. Does 21 divide l(26)?
True
Let a = 0 + 28. Let k = 50 - a. Is k a multiple of 11?
True
Let b = 48 - 76. Let d be 4/14 + (-104)/b. Suppose -5*j + d*j = -46. Is j a multiple of 12?
False
Let m = 16 - 11. Suppose -8*y - 13*y = -26*y. Suppose -165 = -4*r + m*j, y = 2*r + 5*j - 2*j - 55. Is 35 a factor of r?
True
Suppose 17*b - 1703 = -326. Is b a multiple of 9?
True
Suppose -9532 - 2060 = -14*d. Does 69 divide d?
True
Suppose -239*p + 44688 = -220*p. Is 18 a factor of p?
False
Suppose 4 = -4*q + 2*q - 2*o, 5*q = -o + 6. Let b(n) = n**2 - 2*n - 1. Let c be b(q). Is 12 a factor of (3 - c) + -2 - -10?
True
Let g(j) = 90*j + 2. Let b be g(4). Let q = 11 - 7. Suppose -2*u - q*a + 194 = a, b = 4*u - 3*a. Is 10 a factor of u?
False
Let h = -12 - -4. Let l(d) = d**3 + 8*d**2 - 7*d - 8. Let s be l(h). Let m = -35 + s. Is 3 a factor of m?
False
Let c be (-1 + -2)*((-8)/(-6) + -1). Is 2 a factor of (c - (0 + -20)) + 7/(-7)?
True
Let l(z) be the second derivative of z**4/12 + 4*z**3/3 + 5*z**2 + 5*z. Let v be l(-7). Suppose -v*s + 40 = s. Is s a multiple of 10?
True
Let w be (55 - (-6)/3) + 1. Let x be 3 - -1 - -74 - (4 - 2). Suppose x = 5*i - 3*o - 67, 2*i = 2*o + w. Does 23 divide i?
False
Suppose 45 = 2*j + z - 4*z, 4*j - 5*z - 91 = 0. Suppose -2*x + j = 2*s - 26, 2*s = -5*x + 125. Is 7 a factor of x?
False
Suppose 2*m = 4*z + 74, 0 = 4*m + 6*z - 4*z - 128. Let n = m - 63. Does 10 divide 3/(-2) - 945/n?
True
Suppose -4*h + 1072 = 4*i, 14*i - 3*h - 546 = 12*i. Is i a multiple of 27?
True
Let j(k) = k**2 + 3*k + 2. Let g be j(-3). Suppose v + 214 = s - 50, -s = g*v - 252. Suppose -f - 4*f + s = 0. Does 11 divide f?
False
Let h(u) = -8 + 4*u + 10*u + 17 + 9*u - 3*u - u**2. Suppose -s + 0 = -10. Is 28 a factor of h(s)?
False
Let r = 10 + -5. Suppose -r*x - 29 = -109. Suppose -4*w - x = 0, 5*w + 0*w - 20 = -5*a. Does 4 divide a?
True
Suppose -3*w = -120 - 66. Let y = w - 10. Is 10 a factor of y?
False
Suppose 77*y = 73*y + 440. Does 11 divide y?
True
Let r be (1 + 161)/(-1 + 3). Suppose 3*l - v = r, -l + 0*v = v - 27. Does 6 divide l?
False
Suppose 3*a - 5*d - 23 = -0*d, a - 5*d - 1 = 0. Suppose -a = -g + 10. Is 9 a factor of g?
False
Let t(y) = 9*y + 25. Is t(14) a multiple of 3?
False
Does 36 divide (-4 + 0)*(18 - 31)?
False
Suppose 124 = r - 6*a + 3*a, -2*r + 5*a + 246 = 0. Suppose -x + 0*t - 4*t + 40 = 0, 5*t = 4*x - r. Is 32 a factor of x?
True
Let z = 1 - -3. Suppose -3*g + 73 = z*v - 2*g, -4*g + 26 = 2*v. Suppose n = 15 + v. Is 17 a factor of n?
True
Let f = 111 + 122. Is 3 a factor of f?
False
Suppose 2*s = -s + 12. Let d(g) = 6*g**2 - 5*g + 13. Does 25 divide d(s)?
False
Let x(r) = -746*r + 29. Is x(-1) a multiple of 7?
False
Let l(w) = w - 4*w - w**2 + 1 + 2*w**2 - 7. Let p be l(5). Is 242/p + (-9)/(-6) a multiple of 13?
False
Is 20 a factor of (14/(-35))/(4/18800*-2)?
True
Is 17 a factor of (-1)/(-1)*(4 + (-6 - -495))?
True
Suppose 2*a - 1082 = -22. Let b = a + -230. Does 27 divide b?
False
Let q(l) = -19*l - 57. Does 19 divide q(-9)?
True
Is 117 a factor of 6300/3 - (-7 - -1)?
True
Suppose -2142 = 79*s - 82*s. Is s a multiple of 42?
True
Let o(v) be the first derivative of -11*v**2/2 + 2*v + 1. Let c = 412 - 415. Is o(c) a multiple of 12?
False
Does 3 divide (-924)/(-9) + (-3 - 50/(-15))?
False
Let b(y) = 4*y - 13. Let g be b(5). Let q(z) = -z**3 + 7*z**2 + 6*z - 10. Does 4 divide q(g)?
True
Let p be (20/(-8))/((-10)/16). Suppose -4*q - 108 = -p*i, -i - 2*q + q = -33. Is 10 a factor of i?
True
Let r = 740 + 74. Suppose 3*m + 3*t - 798 = 0, 2*t - r = -3*m + 3*t. Is 54 a factor of m?
True
Let r(u) = -27*u + 287. Does 61 divide r(-21)?
True
Suppose -2*h - 777 = n - 3939, 4*h = 5*n - 15852. Suppose -b + 4*b = -n. Is 2/14 - b/56 a multiple of 5?
