alse
Let a(w) = w**3 - 4*w**2 - 11*w - 33. Let g be 462/44 - (-2)/(2 + 2). Is 33 a factor of a(g)?
True
Let n(i) = 18*i + 9. Let f be n(2). Let p = 57 - f. Suppose -3*r + p + 15 = 0. Is 2 a factor of r?
False
Let o(q) = -q**3 - 40*q**2 + 26*q - 26. Let p(k) = -k**3 - 40*k**2 + 25*k - 25. Let b(t) = 5*o(t) - 4*p(t). Does 42 divide b(-41)?
False
Let o = 1002 - 682. Suppose 0 = -25*w + 1445 - o. Does 15 divide w?
True
Let q(d) = 107*d**2 + 16*d - 2. Let b be q(3). Suppose -116 = -5*a + b. Is 45 a factor of a?
True
Let z(m) = 220*m - 8. Let p(x) = -x**2 - 11*x - 5. Let c be p(-10). Let u be z(c). Does 3 divide u/48 - (10/(-8) + 1)?
False
Let w be (12/27*-6)/(6/(-9)). Suppose -w*p - 288 = -8*p. Is 4 a factor of p?
True
Let b = -251 + 369. Let w = 127 - b. Does 2 divide w?
False
Suppose 3*s + 2*s = 20. Suppose -2715 = -4*i - 5*n, -3363 = 5*i - 10*i + s*n. Is 45 a factor of i?
True
Let l = 136 - 133. Let y be 161/(-3) - ((-50)/(-15) - l). Let p = y - -64. Is p a multiple of 3?
False
Suppose 4 = k - 2. Suppose -26 - 4 = -k*c. Let z = c - -23. Is 14 a factor of z?
True
Let k = 102 - 93. Suppose -5*l = 2*w + k, 0*w = 2*w + 2*l. Suppose w*c - 3*o - 274 = 26, c = -5*o + 130. Is c a multiple of 6?
False
Suppose -i = 5*p - 4, 5*i + 3*p = -p + 20. Suppose i*j = 2*z - 3746, -5*j + 1607 + 2166 = 2*z. Suppose 161 + z = 10*n. Does 17 divide n?
True
Let r(l) be the third derivative of l**6/40 - 2*l**5/15 + l**4/3 - 3*l**3/2 + 17*l**2. Does 13 divide r(5)?
False
Suppose 0 = j + 179 - 181. Let n = 50 + -47. Suppose -2*r + 3*h + 345 = 0, n*r - j*h - 857 = -2*r. Is r a multiple of 19?
True
Let k(y) = -y**3 - 13*y**2 + 20*y + 57. Let p be k(-14). Is 3/(p/(-45)) - -1268 a multiple of 67?
True
Let h(z) = -23*z - 44. Let s be h(-12). Let v = 187 + s. Is 10 a factor of v?
False
Let o(s) be the first derivative of 6*s**2 - 168*s + 61. Is o(19) a multiple of 30?
True
Suppose -3*v - 4*j = v + 40, -5*v - 77 = -4*j. Let z = v + 55. Does 18 divide 734/8 + z/(-56)?
False
Let y(r) = -164*r + 44. Does 80 divide y(-9)?
True
Let r(u) = u**2 + u - 4. Let b(x) = -3*x**2 - 2*x + 7. Let t(i) = -3*b(i) - 5*r(i). Let a be t(1). Suppose -25 - 31 = -a*s. Does 5 divide s?
False
Suppose -d = 5*z - 255, -10*z + 267 = d - 8*z. Does 40 divide d/1*(-12)/(-15)?
False
Suppose 15*h = 24*h - 117. Does 30 divide (-37376)/(-416) + 2/h?
True
Let q(l) = l**3 + 30*l**2 + 67*l + 320. Is q(-21) a multiple of 9?
False
Let y be 30/70 + (-6)/14. Suppose y = 4*m - 16, 5*m + 188 = -l + 3*l. Let a = l + -97. Is a a multiple of 2?
False
Let v(i) = 2*i**3 - 2*i**2 - 5*i - 4. Suppose 3*y - 4*m = -23, -2*m = 5*y - m. Let c be v(y). Is (-4 - (-8 + c))/(2/10) a multiple of 25?
False
Let q(j) = -38 + 96 - j - 28 + j**2 - 120*j**3 - 32. Suppose 3*b + y - 1 = -0*y, 3*b + 5*y = 17. Is 12 a factor of q(b)?
True
Does 100 divide 60*-4*(-5205)/180?
False
Is 4071 - (0 + (-10)/(-35) + (-51)/7) a multiple of 26?
False
Let i = 178 + -174. Suppose -4*y - i*o = -5*o - 2216, -3*y = 5*o - 1639. Is y a multiple of 24?
False
Suppose r + 4*p = 1275, 3*p = -p. Is 75 a factor of r?
True
Let d = 21647 + -15996. Is 5 a factor of d?
False
Let w = 219 - 215. Is 19 a factor of (-152)/w*6/(-4)?
True
Let u = -38 - -87. Let m be ((u - 4)/(-5))/1. Let y = m - -53. Is 11 a factor of y?
True
Let t = -276 - -205. Let w = t + 89. Does 2 divide w?
True
Suppose -9*m + 50259 = 12576. Does 20 divide m?
False
Does 96 divide ((-18)/((-1080)/105))/(-2 + 149085/74540)?
False
Let h = -3043 - -4664. Suppose 736 = x - j, -3*j + h = 2*x + 129. Is 25 a factor of x?
False
Suppose 7*u + 291 = 10*u. Let c be (u + (10 - 4))/((-1)/(-4)). Suppose v + 3*v = c. Is 14 a factor of v?
False
Suppose -3*w = 5*k - 31, -k - 2 + 3 = -2*w. Suppose w*q + 14*q - 2640 = 0. Does 23 divide q?
False
Let p = -65 - -101. Suppose 4*c - 13*w = -12*w + 20, -5*w = -20. Is 2 a factor of (-2 + 5 - c) + p + 0?
False
Let y = -182 + 349. Let o = -42 + y. Is 25 a factor of o?
True
Let f = -8740 - -8763. Suppose 0*o = -5*o. Suppose -27*c + f*c + 448 = o. Is 8 a factor of c?
True
Suppose -96*u + 1192958 + 1830854 = -20*u. Does 13 divide u?
False
Let s(u) = -u**3 + 31*u**2 + 9*u + 53. Let f be s(31). Let c = -183 + f. Is c a multiple of 4?
False
Suppose 0 = -3*a + 4*d + d + 781, 275 = a + 2*d. Let u = -398 + 554. Let r = a - u. Is 20 a factor of r?
False
Let c(x) = -2*x**2 - 30*x - 8. Let o be c(-12). Let f = -87 + o. Let z = f - -32. Is 2 a factor of z?
False
Let a be (21 + -4 + 10)*(-1)/3. Let m(u) = 9*u + 182. Does 8 divide m(a)?
False
Suppose -11*f - 118125 = -7*f - 11*f. Is 45 a factor of f?
True
Let g(i) = -3*i**3 + 8*i**2 - 2*i - 109. Does 12 divide g(-18)?
False
Suppose 0 = -51*w - 432875 + 1237145. Is w a multiple of 95?
True
Let w(t) = -6*t**3 + 6*t**2 - 4*t - 4. Let p = -234 + 232. Is 4 a factor of w(p)?
True
Suppose -7*t + 75 = -275. Is (-43 + 3)/((-5)/t) a multiple of 20?
True
Suppose 0 = -192*z + 40*z + 98952. Is z even?
False
Suppose 5 - 1 = -2*i. Is 44 a factor of 2 + i - 572/(-1)?
True
Let h be (-1)/((-5994)/5985 - -1). Let p = h + -564. Is p a multiple of 3?
False
Suppose 247*q - 269840 = 750270. Is q a multiple of 39?
False
Let z be (0 + 0 + 3)*25/15. Suppose z*h + 2*r = 585, 0*h + h - 2*r = 117. Does 7 divide h?
False
Let m(a) = -6*a**3 + a**2 + 6*a + 6. Let x be m(-2). Is x*3/(12/46) a multiple of 23?
True
Let z(x) = -5*x**2 + 139*x + 30. Suppose -348 = -39*p + 354. Does 22 divide z(p)?
False
Let f(j) = -31*j**3 - 9*j**2 + 53*j + 267. Is 6 a factor of f(-6)?
False
Let o(d) = -1524*d + 509. Does 15 divide o(-2)?
False
Let a = 10496 + -5726. Does 10 divide a?
True
Let v = 906 - -1677. Is v a multiple of 7?
True
Let m(g) = 3*g**2 - 9*g + 3. Let r be m(3). Suppose -2*h + 4*n - 1045 = -5*h, 0 = -3*h + r*n + 1017. Is h a multiple of 12?
False
Let x = 3 + -5. Let o be (642/2)/(-101 + 104). Let d = o + x. Does 29 divide d?
False
Let k(t) = 3607*t**3 + 10*t**2 - 10*t. Is 11 a factor of k(1)?
False
Suppose 0 = -6*d + 9*d + 2*b - 2970, 3*d - 2970 = -3*b. Let t = -552 + d. Is 8 a factor of t?
False
Suppose 488 = 11*i - 10*i - 402. Is 4 a factor of i?
False
Let c(d) = 19488*d - 822. Does 18 divide c(1)?
True
Let d(m) = m**3 + 23*m**2 - 24*m + 14. Let o be d(-24). Suppose 0 = -3*x - 3*k + 918, 13*k - o*k = -5*x + 1506. Let f = x - 194. Is f a multiple of 9?
True
Suppose y - 2*y - 2*v + 447 = 0, 0 = 5*y - v - 2191. Let m = -260 + y. Is 11 a factor of m?
False
Let l(h) = 43*h - 30. Let o = 13 + -2. Suppose -o*c + 7 = -48. Is l(c) a multiple of 15?
False
Let v be (312/18)/(8/(-12)). Is 36 a factor of 36416/104 - (-4)/v?
False
Let b(p) = p**3 + 16*p**2 + 12*p - 12. Let w be (25/(-10))/((-1)/54). Suppose -5*y - w = 4*y. Is b(y) a multiple of 3?
True
Let h(y) be the third derivative of y**5/30 + y**4/24 - 2*y**3 - y**2. Suppose 5*u - 17*j - 12 = -19*j, 0 = 2*u - j - 12. Does 6 divide h(u)?
True
Suppose 26830*x - 105357 = 26801*x. Is 7 a factor of x?
True
Suppose 4965 = -7*y - 7124. Let b = 2613 + y. Is b a multiple of 56?
False
Suppose 0 = -i - 3*i + 7*i - 21438. Is 166 a factor of i?
False
Let o = 260 - 254. Let v(t) = 0*t**2 + 2*t**2 - 7 + 12*t - 1 - 4. Is v(o) a multiple of 22?
True
Suppose 840*l + 11520 = 864*l. Is 6 a factor of l?
True
Let u(h) = h**3 - 22*h**2 - 21*h - 6. Let s(j) = -9*j - 4*j - 1 + 5*j. Let y be s(-3). Is 5 a factor of u(y)?
True
Let v = 79 + 543. Let q = 890 - v. Is 14 a factor of q?
False
Let j(x) = 15*x**3 - 60*x**2 - 21*x - 6. Is 168 a factor of j(9)?
True
Let b = 1067 + 285. Suppose -3*t + z + b = -1079, 0 = 2*t + z - 1619. Is t a multiple of 10?
True
Let m(t) = 410*t**2 - 2*t - 2. Let g be m(1). Let y = -208 + g. Is 11 a factor of y?
True
Suppose -5*h = -3*c + 4204, -c - 4*h = -395 - 995. Does 3 divide c?
True
Let o(m) = 42*m**3 - 8*m**2 + 5*m - 20. Let q(b) = 22*b**3 - 4*b**2 + 2*b - 10. Let p(d) = -3*o(d) + 5*q(d). Does 89 divide p(-4)?
False
Let o be 186/3*(-4 + (-66)/(-12)). Suppose 627 = -90*a + o*a. Is 19 a factor of a?
True
Suppose 3*a - 24 = 5*c, 17 = 3*a - 2*c + 2. Suppose a*g = 5*t + 259, 3*g - 249 = -0*t + 3*t. Is (-2)/(-1)*g*2/8 a multiple of 11?
False
Suppose 5*s + 701 = -4*x, -2*x + 2*s + 2*s = 344. Does 19 divide -2*x/(-12)*-30?
False
Let w(l) = 56*l + 475. Suppose 18*a - 5*a - 4*a = 0. Is w(a) a multiple of 26?
False
Is 20/6*((-4618)/(-3))/(80/72) eve