o(d) = -29*d**2 - d + 6. Let b be o(-3). Let g be b/60 + (-2)/(-10). Let q(a) = -7*a - 3. Is 25 a factor of q(g)?
True
Let w(a) be the second derivative of a**4/2 + 5*a**3/6 + 3*a**2 - 5*a. Is 7 a factor of w(-3)?
False
Suppose 7*k = 2*u + 4*k - 208, -3*k - 104 = -u. Is u a multiple of 55?
False
Let w = 163 + -134. Suppose 25*y + 20 = w*y. Does 2 divide y?
False
Let q be (2/(-4))/((-1)/26). Suppose 2 - 31 = -3*l + j, -3*j = l - q. Let f = -5 + l. Does 3 divide f?
False
Let d be (2/(-4))/(-1)*8. Suppose t - 105 = -2*k, 0 = k + d*t - 22 - 27. Let v = k - 31. Is v a multiple of 11?
True
Let q(x) = x**3 + 2*x**2 - x. Let w be q(-2). Suppose -w*v = 2*d - 72, d - 2*v - 2*v - 31 = 0. Suppose -5*r = -d - 185. Is r a multiple of 9?
False
Let t = 56 - 29. Let u be (-107 - (-1 + 1))*-1*1. Suppose -4*l - t = -u. Is 8 a factor of l?
False
Is 12 a factor of (-9592)/327*141/(-2)?
False
Is 2 a factor of 1 + 3984/51 - 28/238?
False
Let c = 5 - -2. Suppose d - c - 48 = 0. Is d a multiple of 11?
True
Suppose 4*c - 4*n - 20 = 0, -2*c = -c + 5*n + 13. Suppose c*t - 18 = -16. Does 16 divide (-23 - t)*(-1 - 1)?
True
Let q(m) = 8*m**2 + 34*m - 82. Is q(3) a multiple of 3?
False
Let r(s) be the third derivative of -13*s**4/12 + s**3/3 - 7*s**2. Let a = 16 + -17. Does 13 divide r(a)?
False
Let o = 35 + -18. Suppose 3*u - o - 13 = 0. Does 8 divide u?
False
Suppose 44*m - q + 1544 = 45*m, -5*q = -4*m + 6185. Is 32 a factor of m?
False
Let o(x) = x**2 - 2*x - 3. Let f be o(3). Let v be f/(2*1/(-2)). Suppose 2*s + v*s - 28 = 0. Is 7 a factor of s?
True
Let n be 2 - (12/(-24))/((-2)/(-8)). Suppose -b + n*w - 13 = -2*b, 2*w = -b + 11. Does 9 divide b?
True
Suppose -10*g = 23*g - 13530. Does 41 divide g?
True
Let t = 22 + -22. Suppose -2*x - 5*p + 154 = t, -3*x + 134 = -5*p - 72. Suppose -2*l = -3*l + x. Is 24 a factor of l?
True
Suppose 3*q + 2502 = 3*l, -2*l + 9*q + 1673 = 8*q. Does 7 divide l?
False
Suppose 0 = 3*r + 69 + 15. Let h be (-1896)/r - 2/(-7). Suppose 8*s = 6*s + h. Does 14 divide s?
False
Let r(s) = -s**3 - 5*s**2 - 7*s - 6. Let q be r(-4). Suppose q*y = 6 + 66. Does 2 divide y?
True
Let w be ((2088/(-28))/(-3))/(2/(-14)). Let f = 398 + w. Is f a multiple of 11?
False
Let c = 11 - -72. Suppose -4*u = 5*x + 275, u - 2*u - 55 = x. Let m = x + c. Is 7 a factor of m?
True
Let r(n) = 675*n - 854. Does 19 divide r(6)?
False
Let l = -47 + 37. Let m(d) = d**2 + 2*d + 22. Is 34 a factor of m(l)?
True
Let m(a) = -25*a**3 + a - 2. Let o be m(-2). Suppose 3*c + 3*f = 132, 5*c - 5*f - o = -2*f. Suppose -3*i + c = -10. Does 10 divide i?
False
Suppose 5*j = 211 - 6. Suppose -3*k + 94 = -j. Does 15 divide k?
True
Let h(w) = -w**2 - 5*w - 1. Let y be h(-4). Suppose -y*q = -15 + 63. Let v = q + 21. Does 2 divide v?
False
Let s = -25 + 6. Let p(m) = m**3 + 20*m**2 + 13*m - 24. Is p(s) a multiple of 15?
True
Let k(o) = o**2 + 29*o + 174. Is 12 a factor of k(-30)?
True
Let g(u) = u**3 - 3*u**2 - 2*u. Let x be g(5). Suppose -2*n + x = 3*n. Suppose -56 = -4*v - 4*c, 0 = -n*c + 3*c. Is 13 a factor of v?
False
Is 9 a factor of (-3 - (-44)/4) + 55?
True
Let j(u) = -u + 7. Let g be j(7). Suppose 5*h = -g*h + 10. Suppose h*i = -i + 96. Does 7 divide i?
False
Let x = 10 + 89. Is -3 + 1 + 1 + x a multiple of 24?
False
Let s = -417 + 770. Does 67 divide s?
False
Let r be (4/(-5))/(4/(-10)). Let w(y) = 18*y - 4 + 0 + 1. Is 11 a factor of w(r)?
True
Let p = -330 - -1292. Is 37 a factor of p?
True
Let d = -39 - -42. Suppose -2*r - 13 = -d*r. Does 6 divide r?
False
Let i = 4017 + -2571. Does 47 divide i?
False
Let p(q) = -6*q - 3. Let t = 57 + -33. Suppose -2*h - t = h. Does 15 divide p(h)?
True
Let p(w) = 4*w**2 - 3*w + 2. Let t be p(2). Let h = -7 + t. Is h a multiple of 5?
True
Suppose 4*v + 3*w + w + 24 = 0, 2*w - 2 = 5*v. Does 22 divide (-91)/(-2) - (-3)/v?
True
Suppose -20*t - t = -9072. Is t a multiple of 27?
True
Suppose 4*d + 4*t = 32, -6*t - 8 = -2*t. Let m = 13 + d. Does 5 divide m?
False
Let l(c) = -c**3 + 2*c**2 + 2*c + 1. Suppose -3*x = -0*x - 15. Suppose 10*h - x*h = -15. Does 20 divide l(h)?
True
Suppose 93 = 5*g + 4*x, -3*g = 2*x - 47 - 10. Suppose 0 = -6*b + g - 3. Let t(z) = 4*z**2 - z. Is t(b) a multiple of 33?
True
Let p(d) = -d**2 - 9*d - 15. Let o be p(-6). Suppose 0 = -4*b + j + 950, 0*b = o*b - 4*j - 719. Is 40 a factor of b?
False
Let g = 34 + -24. Let n be 1/((45/g)/9). Suppose -6 = -i - 5*u, -u - 3*u - 68 = -n*i. Is 9 a factor of i?
False
Let w = 21 + -17. Suppose -4*a + 1 = w*z + 81, -2*a = -4*z - 80. Does 4 divide (18/12)/((-2)/z)?
False
Let t(k) = -61*k + 1. Let l be t(-1). Suppose 2*h - 4*h = -l. Is h a multiple of 6?
False
Let b be 38/10 + ((-248)/(-40) - 6). Suppose -n = b*x - 381, 3*x - 287 = -0*x - n. Does 47 divide x?
True
Suppose 2*a - 5 = 7. Let p be (a/15)/(1/5). Suppose -p*l = 0, -l = 3*v + 4*l - 186. Is v a multiple of 13?
False
Suppose 28*r - 43*r = -25035. Is 61 a factor of r?
False
Let l(x) = 33*x**3 - 14*x**2 + 81*x - 5. Is 20 a factor of l(4)?
False
Suppose -4*w + 20 = 0, -w + 7 = 4*b + 38. Is (-81)/(-12)*((-48)/b + 0) a multiple of 6?
True
Let d = 367 - 708. Let p = -185 - d. Is 13 a factor of p?
True
Suppose -11880 = -20*g + 4320. Is g a multiple of 18?
True
Let m(q) = q**2 + 2. Suppose 2*l - 5*s = -15, -2*s + 9 = s. Let k be m(l). Is 5 a factor of k/(-3) - 434/(-21)?
True
Let h(t) = 267*t**3 + 31*t**2 - 61*t + 4. Does 18 divide h(2)?
True
Does 3 divide (-27)/6*((-4606)/42 - 11)?
True
Suppose 12*p - 8*p - 4278 = u, 0 = 5*p - u - 5348. Is 5 a factor of p?
True
Let a be (7 - -1 - 3)/1. Suppose -a*k = -638 - 292. Does 13 divide (-10)/35 + k/14?
True
Suppose 0 = -12*a + 11*a - 564. Is 19 a factor of a/(-10)*(-150)/(-45)?
False
Let i be ((-83)/4 + 4)*-8. Let x = i + -38. Is 32 a factor of x?
True
Let f = 85 - -50. Suppose -24*x - f = -29*x. Does 9 divide x?
True
Suppose -2*s + 6 = 0, -s + 662 = 4*o - 3*s. Suppose -5*f + o = -4*f. Does 30 divide f?
False
Suppose 13*a - 18*a + 480 = 0. Does 17 divide a/168 + 1896/14?
True
Let f(g) = 182*g**3 - 3*g**2 + 3. Is 9 a factor of f(1)?
False
Let x = 116 - 116. Suppose -d - i + 42 = -2*i, x = -4*d + 3*i + 164. Does 16 divide d?
False
Suppose 0*v - 158 = -x - 2*v, 0 = -x + 3*v + 163. Suppose x = 11*m - 3*m. Is 18 a factor of m?
False
Let s(u) = -u**3 - 3*u**2 - 3. Let j be s(-3). Let f be (4 + 5)*(-4 - j). Let p = f + 24. Is p a multiple of 5?
True
Suppose -2*o = 3*o + 160. Let h be (-2 - -1)*o/8. Suppose b + s - 4*s = 3, -6 = -2*b - h*s. Is b a multiple of 2?
False
Let x = 3 - -110. Is x a multiple of 8?
False
Suppose -h + 6*k + 222 = 4*k, 252 = h + 4*k. Suppose -h = -4*x - 3*c, -3*c + 16 = c. Is x a multiple of 13?
False
Suppose -4*f + 178 = 3*s, -5*f = 4*s + 94 - 333. Suppose -2*k + 2 + s = 0. Does 6 divide k?
False
Is ((-42)/9)/(2/(-36)) a multiple of 6?
True
Let y(q) = 4*q**2 + 83*q - 2. Is 31 a factor of y(3)?
False
Let s = 440 - -49. Is s a multiple of 33?
False
Let s(g) = g**3 + 8*g**2 + 9*g + 9. Let n = -32 - -34. Suppose -n + 7 = -t. Does 16 divide s(t)?
False
Let h be 96/(-112)*(-7)/(-1). Let k = h - -9. Suppose -142 + 451 = k*o. Does 27 divide o?
False
Suppose 0 = -5*y + 645 - 40. Suppose -553 + y = -8*s. Is s a multiple of 18?
True
Let x = 56 - -22. Let u = 52 - 30. Let z = x - u. Is 19 a factor of z?
False
Suppose 2*u - 5*u + 31 = 2*n, -4*u = 2*n - 36. Suppose 0 = -j + n - 5. Suppose j*g - 104 = g. Is g a multiple of 16?
False
Let f be (0 + (-3)/(-2))*(-24)/(-9). Suppose -6*b = -f*b - 68. Is 4 a factor of b?
False
Suppose -4*p - 3*u = -5*u - 2124, 0 = -4*p - 3*u + 2144. Is 13 a factor of p?
True
Is 14 a factor of 1415 - (-4)/(32/40)?
False
Suppose 6*q = 5*q + 18. Let s(w) = w**2 - 5*w + 6. Let h be s(4). Suppose v = h*v - q. Is 10 a factor of v?
False
Let q(c) = 4*c**2 - 2*c - 3. Let u be q(-2). Let y = 37 - u. Does 40 divide 2412/y - (-6)/(-10)?
True
Let r(t) = -4*t + 431. Is r(-39) a multiple of 25?
False
Let q be 6/8 - (-9)/4. Suppose -2*j + 4*f + 942 = q*j, -5*j = -2*f - 946. Let s = j + -112. Is s a multiple of 14?
False
Suppose 0 = 3*m - 147 - 54. Let f = m + -24. Is f a multiple of 16?
False
Suppose 0 = 5*l + 315 - 620. Does 27 divide l?
False
Suppose 4*x = 1118 - 270. Is x a multiple of 2?
True
Suppose 4*n = -0*n + 80. Let b be (3/5)/(4/n). Suppose q - 3*q + b*x = -25, 4*q = -2*x + 10. I