or of x?
False
Let g be 3/4*(183 + 1). Let u(v) = -v**2 + 17*v + 6. Let w be u(22). Let f = g + w. Is f a multiple of 5?
False
Let x(t) = 92*t**3 - 213*t**2 + 4*t - 63. Is x(8) a multiple of 28?
False
Suppose -2*a + c - 146 = -6*a, 0 = -3*a - 5*c + 101. Let l = -36 + a. Let u(p) = 40*p**3 + 2*p**2 - p. Does 8 divide u(l)?
False
Let q be (0 + (0 - -1))*4. Let b(z) = 7*z + 82. Let r be b(-11). Is 27 a factor of 193/(r - q) - -1?
False
Let c = 19 - 17. Let j be (-150)/4 - (-3)/c. Is 9 a factor of j/12 + 0 + 52?
False
Let k be 4 + (-8952)/(-16) + 3/(-2). Suppose k = h - 4*z, -5*z - 1700 = -8*h + 5*h. Is h a multiple of 77?
False
Let h be (9/3)/((-2)/((-20)/15)). Suppose 0*t - h*l = 3*t - 235, -220 = -3*t + l. Is t a multiple of 5?
True
Let i be ((-60)/9)/5 + (-231)/9. Let f(a) = a**3 + 28*a**2 + 14*a. Does 27 divide f(i)?
True
Let u(p) = -p**3 - 8*p**2 + 82*p + 1707. Is 4 a factor of u(-16)?
False
Let d be (6/9)/(-1 - 226/(-222)). Let c = -44 - d. Let y = -36 - c. Is 6 a factor of y?
False
Does 7 divide (-15092)/110*(4/(-5))/((-20)/(-250))?
True
Let d(w) = 84*w**2 - 5*w - 4. Suppose 2*y - 8 = 2*k, -3*y - 4*k + 7 = -2*k. Let v be d(y). Suppose -2*l + 292 = 6*p - 4*p, -v = -5*l + 2*p. Is 21 a factor of l?
True
Is 22 - ((7 - (22 - 19)) + (0 - 6)) a multiple of 12?
True
Let v(b) = -b**3 - 9*b**2 + 10*b + 2. Let a be v(-10). Let l(y) = 8*y**a - 1 + 4 - 3*y - 9. Is 32 a factor of l(-2)?
True
Suppose 2*n = -h + 152, -453 = 26*h - 29*h - 5*n. Let v = h + -14. Is 22 a factor of v?
True
Let q = -60 + 62. Suppose -3*j - q*j = 2*a - 252, -5*j = -2*a + 252. Is 9 a factor of a?
True
Is 8 a factor of (-433668)/(-28) + 48/56?
False
Let w(t) = 81*t - 72. Let j be -4 - ((-246)/21 + (-10)/35). Does 32 divide w(j)?
True
Suppose -458590 = 190*s - 1487251 - 207479. Is 33 a factor of s?
False
Let h = 51 - 35. Suppose 0 = -h*j + 3*j - 39. Is 61 - (2/j + 3/(-9)) a multiple of 3?
False
Suppose -90 - 62 = -8*u. Suppose 25*g - 3264 = u*g. Is g a multiple of 68?
True
Let o(j) = -2*j**2 + 46*j - 23. Let i(l) = 2*l**2 - 45*l + 23. Let a(g) = 3*i(g) + 2*o(g). Let k be a(21). Is 168/8 + (-2 + k - -2) a multiple of 5?
False
Let x = 373 - 223. Suppose x*b = 145*b + 4580. Is 9 a factor of b?
False
Let m(r) = 44*r + 26. Let b be m(-1). Is b/(-63) + 3690/21 a multiple of 4?
True
Let x(q) = 4336*q - 1066. Is x(10) a multiple of 21?
True
Let c(m) = 3*m**3 + 21*m**2 + 3*m - 18. Does 24 divide c(10)?
True
Does 17 divide 3500028/756 + ((-2)/(-8))/((-3)/20)?
False
Let r(h) = -h. Let v be r(-4). Let t(u) = -u**2 + 10*u + 4. Let b be t(10). Suppose 357 = b*q - 3*i, -3*i + v = 1. Is 12 a factor of q?
False
Suppose 14 = -6*u + 7*u. Suppose u = -h + 16. Suppose -3*y - 85 = -2*n, 4*n - h*y - 174 + 0 = 0. Is n a multiple of 22?
True
Let q = 8216 + -5422. Does 95 divide q?
False
Let a = 13990 + -13822. Is a a multiple of 4?
True
Suppose -16 = 42*p - 1416 - 490. Does 45 divide p?
True
Let r be (1 + -106)*(-2 - (5 + -5)). Let y be (2/5)/(3 - 629/r). Suppose -3*m = -5*m + y. Is 14 a factor of m?
True
Let z(y) be the third derivative of y**6/180 - y**5/40 - y**4/12 + 11*y**3/3 + 28*y**2. Let s(q) be the first derivative of z(q). Is s(5) a multiple of 11?
True
Suppose 2*o + 82 = 4*b, 0*b - 4*b = -3*o - 79. Let v(j) = j**2 - 14*j - 50. Is v(b) a multiple of 7?
True
Suppose 5*i - 7*q = -2*q + 1135, -2*i + 452 = -4*q. Suppose -i - 744 = -4*y. Is 45 a factor of y?
False
Is (2112476/(-348))/(4/(-12)) a multiple of 23?
False
Let t(u) = u**3 - 25*u**2 + 118*u - 3. Is t(23) a multiple of 4?
False
Let f be (-5165)/(-45) - 2/(-9). Let r = -28 + f. Let t = r - 23. Is 8 a factor of t?
True
Suppose 206338 = 76*a - 43555 - 50307. Is a a multiple of 36?
False
Suppose -v + n + 7458 = 0, 3*n = -65*v + 70*v - 37300. Does 49 divide v?
False
Let m(d) be the second derivative of d**5/20 - 8*d**4/3 - 31*d**3/6 - 26*d**2 - 6*d - 3. Is m(33) a multiple of 5?
False
Suppose -3*y = 4*y + 3*y. Suppose y = -7*o + 11 + 3. Suppose n - 6*n = 15, -t - o*n = -164. Is t a multiple of 10?
True
Suppose -7*m = -0*m - 35. Suppose -s + 1580 = m*z, 4*z = -s + 3*s + 1250. Is z a multiple of 15?
True
Let o = 732 + -1136. Let k = 600 + o. Does 4 divide k?
True
Suppose -3 + 59 = 14*g. Let w(u) = 6*u**3 + 2*u**2 - 10*u + 5. Let j be w(g). Suppose -j - 623 = -4*z. Does 17 divide z?
False
Let a = -192 + 197. Suppose 150 = a*k + 5*d, 4*d - 120 = -4*k + 3*d. Is 10 a factor of k?
True
Is (-210599)/(-5) - -7 - (-5)/25 a multiple of 82?
False
Let s = -2384 + 2744. Is s a multiple of 120?
True
Suppose 22*g + 149210 = -817690. Is g/(-54) - (-1)/9 a multiple of 22?
True
Suppose -84*h = -549*h + 8329080. Is 12 a factor of h?
False
Let k(i) = -11*i**3 + 50*i**2 + 90*i + 98. Let f(b) = -5*b**3 + 25*b**2 + 45*b + 49. Let g(a) = 13*f(a) - 6*k(a). Is 6 a factor of g(-23)?
True
Suppose -5*t + 42965 = 2*c, -4*c + 96782 = 3*t + 10901. Is c a multiple of 81?
True
Let p be (-3 - -1)*3123/(-18). Suppose -p = -3*t + 19. Suppose 2*x = 4*x - t. Is 17 a factor of x?
False
Let o = 8874 - -16559. Is 41 a factor of o?
False
Let d = -3459 + 6045. Let b = d + -881. Is 43 a factor of b?
False
Let y(l) = -6*l - 30. Let i be y(-13). Does 26 divide (-189)/(-12)*1664/i?
True
Suppose 30 = -37*v - 155. Is 108 a factor of -1 + (v - -4 - -1082)?
True
Suppose 3*p - 4*y - 949 = 0, -y = -2*p + 105 + 531. Suppose 5*q - 1595 = -5*f, p = f - 0*f + 4*q. Suppose -1354 = -3*w - f. Is 53 a factor of w?
False
Let q = -6603 - -6793. Is 3 a factor of q?
False
Suppose -5*f = -3*u - 6*f - 75, -3*f = u + 25. Let h be 5/u - (-828)/(-10). Does 33 divide -5*(h/5 - -2)?
False
Let s be (-24)/30 - ((-1416)/10)/2. Suppose -s - 290 = -l. Is 36 a factor of l?
True
Let t = -5339 - -5470. Is t a multiple of 11?
False
Suppose 185*i - 94342 = 209*i - 488374. Is 42 a factor of i?
False
Let r(y) = -8*y - 53. Let q be r(-7). Let d be (q/9)/((-1)/(-9)). Suppose 109 - 25 = d*i. Is 7 a factor of i?
True
Let f = -8178 + 9926. Is 15 a factor of f?
False
Let y be ((-50)/20 + -5)/(3/(-328)). Suppose 24*q = -y + 14644. Is q a multiple of 4?
True
Let h(q) = 788*q - 10086. Is 31 a factor of h(39)?
True
Suppose j - 2*o - o = -4, 0 = -2*j - 4*o - 48. Let n = -250 + 258. Is ((-10)/n - -1) + (-292)/j a multiple of 14?
False
Suppose 0 = -4*b - 2*l + 5244, b - 1320 = -4*l + 8*l. Suppose -4*x - 1642 = -5*r, b = 4*r - 3*x - x. Is 55 a factor of r?
True
Suppose 24*t - 18*t - 1878 = 0. Suppose -a + t = 4*g, 53*a = 51*a - 4*g + 642. Is a a multiple of 8?
False
Let r(x) = 3*x + 3750. Let y be r(0). Suppose 20*z - 15*z = y. Let w = z - 523. Is w a multiple of 20?
False
Is 24 a factor of ((-3)/(-3))/(10/88750)?
False
Let a(m) = m**3 - 2*m**2 + 7*m + 13. Let y be a(-6). Let z = 443 + y. Is z a multiple of 18?
True
Let l(c) be the first derivative of c**5/10 - c**4/6 + c**3/3 - 18*c - 16. Let s(r) be the first derivative of l(r). Does 6 divide s(2)?
True
Let d(q) = q**3 - 10*q**2 - 7*q - 28. Suppose -2*v = 9*v - 132. Is d(v) a multiple of 5?
False
Let c = -4333 - -6148. Suppose -3*a + c = 12*a. Does 19 divide a?
False
Suppose -13*s = -41387 - 14409. Is 37 a factor of s?
True
Let k be (-15)/(-20) - 199/8*2. Let g = 51 + k. Suppose -2*v + 2*q = -4*v + 68, 0 = -5*v + g*q + 156. Does 16 divide v?
True
Suppose 0 = -n - 4*i + 15, 3*n + 0*n + i + 10 = 0. Let k(o) = -6*o**2 - 43*o + 3. Is k(n) a multiple of 51?
False
Suppose 7*o = 2*z + 183588, o + 350 = -2*z + 26570. Does 78 divide o?
False
Let p(t) = 15 - 4*t + 5*t - t**3 - 2*t + 2*t**3 - 9*t**2. Is 15 a factor of p(10)?
True
Suppose 3*g - 4*s + 9*s - 55976 = 0, 20 = 5*s. Is 5 a factor of g?
False
Let c(x) = 2*x**2 + 39*x - 18. Let f be c(-25). Is 11 a factor of f/(-2)*(-35 - -33)?
False
Let o = -109 + 124. Suppose -24*s - o*s + 9828 = 0. Is 21 a factor of s?
True
Suppose -41121 = -2*r - d, 4*d + 306 = 342. Is r a multiple of 17?
False
Suppose p - 5 = -8, p = d + 314. Let j = 8 - d. Is j a multiple of 13?
True
Does 3 divide 6 + 2392 + 3 + -8?
False
Let g be (-8 - -3)*(-1 + 215/25). Let r = g + 169. Suppose 37 = 3*l - r. Is 14 a factor of l?
True
Let r(q) = -q**3 + 18*q**2 - 14*q - 33. Let m be r(17). Suppose n - 83 + m = 0. Suppose 6*h = 217 + n. Is 14 a factor of h?
False
Suppose -9 = o + 3*i, -o + 9 = -i + 2. Suppose 6*t + 2*k = o*t + 2, 0 = 2*k - 8. Does 23 divide (-98)/t + (-9)/(2 + 1)?
True