 x(p)?
False
Let g(x) = x**3 + 10*x**2 + 3*x - 11. Suppose 0 = 3*o - q - 355, 2*o + 3*q = -2*o + 456. Let p be 4/(-20) + o/(-15). Is g(p) a multiple of 22?
False
Suppose 2*s - 46 - 44 = 0. Suppose s = 6*z + 3. Suppose z*i - 124 = 5*i. Does 34 divide i?
False
Let u(f) = -3*f**2 + 22*f - 31. Let m be u(2). Let j(r) = 2 - 2 + 44*r. Is 4 a factor of j(m)?
True
Let v = 35 - 35. Suppose -4*g + 491 = -v*g - 3*p, 5*g - 4*p - 614 = 0. Suppose 6*l - g = 310. Is l a multiple of 8?
True
Let s(t) be the second derivative of -t**6/120 + t**5/60 + t**4/12 + 7*t**3/2 - 8*t**2 - 8*t. Let d(m) be the first derivative of s(m). Is d(0) a multiple of 3?
True
Let g(j) = 6*j**3 - 8*j**2 - 6*j - 6. Let q be g(6). Suppose 0 = 3*k - k - 20. Suppose -k*o = -17*o + q. Is o a multiple of 23?
True
Suppose 5*y = 20, 2*n + n - 4*y + 250 = 0. Suppose 71*z - 63*z - 1480 = 0. Let b = n + z. Is b a multiple of 40?
False
Let v = -480 - -2496. Does 18 divide v?
True
Let h(u) = 0*u**3 - 6*u**2 + 3*u**2 + 6*u**3 + 0*u**2 - 3 + 6*u. Let f be h(3). Suppose -5*x + 7*t - 2*t + f = 0, 0 = -2*t. Is x a multiple of 5?
True
Let c be ((-2)/(-3))/((-3)/(-5 + -4)). Suppose -4 = c*x, -4*x = 3*b + 640 + 169. Let z = b - -465. Is 22 a factor of z?
True
Let w(a) = -3*a + 18. Let b be w(5). Suppose 0*l - 3*l - 4 = g, -b*g = 4*l - 8. Let r = 4 + g. Does 4 divide r?
True
Let u = 10 + -13. Let h(s) = -11*s + 7. Let i be h(u). Suppose 0*x - 80 = -2*x + 5*r, x - i = r. Is x a multiple of 10?
True
Let f be -22640*(3/7 + (-20)/14). Does 42 divide 4/6 + f/60?
True
Let j(a) = -2*a**2 + 41*a + 45. Let u(p) be the second derivative of p**4/4 - 31*p**3/3 - 67*p**2/2 - 12*p. Let y(g) = 8*j(g) + 5*u(g). Is 19 a factor of y(16)?
True
Let c = -5947 - -12526. Is 17 a factor of c?
True
Let f be (3 + -1)*1*11. Suppose 19*u + 126 = f*u. Does 23 divide (-3732)/(-27) - (u/(-27))/(-7)?
True
Suppose c + 11 - 1 = 3*p, 35 = 5*c + 2*p. Suppose 4*l = c*l. Suppose 8*a - 185 - 487 = l. Is a a multiple of 14?
True
Let y(o) = 481*o**2 - o + 5. Is y(-2) a multiple of 2?
False
Let p be (-3404)/3*126/(-84). Suppose 2*v - 4*c = p, 2*v + 2*c = 5*c + 1701. Is 73 a factor of v?
False
Suppose q = 5332 - 1741. Is q a multiple of 19?
True
Let r be (-4)/4 - (-1181 - 12). Is 2 + -1 - (r - 7)/(-3) a multiple of 18?
True
Let m(w) = -73*w + 5986. Is 10 a factor of m(-98)?
True
Suppose 12*m - 3649 = 167. Suppose t = 3*r + 95, -3*t - 4*r + m = -2*r. Is 6 a factor of t?
False
Let v = 41844 - 23580. Is 125 a factor of v?
False
Let d(a) be the third derivative of -a**5/30 - 7*a**4/24 - a**3/6 + 15*a**2. Let n be d(3). Is 5/n + (-601)/(-8) a multiple of 11?
False
Let j(o) = -337*o**3 + 33*o**2 + 147*o - 119. Does 27 divide j(-5)?
False
Let x = -9 + 12. Is 27 a factor of (4 + 36/(-8))/(x/(-600))?
False
Let d(j) = -69*j - 4. Let m be d(-1). Let u = 70 - m. Suppose u*c + 398 = 993. Is c a multiple of 17?
True
Let s(n) = 193 + 28 + 2*n - n - 4*n. Is s(15) a multiple of 9?
False
Let a(j) = 2*j**3 + 6*j**2 - 19*j + 3. Let s be a(-5). Does 60 divide (5 - 1278/27)/(s/18)?
False
Does 96 divide 2 - 50090/(-6) - ((-644)/(-69) - 11)?
True
Suppose -4*l + 35468 = 3*o, 10*o + 35443 = 13*o - l. Is 9 a factor of o?
False
Let a(p) = 181*p + 1134. Does 16 divide a(-6)?
True
Let i = -153 - -303. Suppose y = -2*f - 60, 5*f + 8*y = 3*y - i. Does 6 divide (-6 + 3)/((6 - 3)/f)?
True
Let y = -3865 - -6978. Is 11 a factor of y?
True
Suppose 4*m = 58*q - 63*q + 146993, -m - 117565 = -4*q. Is 17 a factor of q?
True
Suppose 0 = 4*x + 8, 51 = 3*w + x + 2. Let r be w/(-68) + (-206)/8. Let n = 75 - r. Is n a multiple of 17?
False
Does 31 divide (-181)/7*-229 - ((-81)/(-63) - 1)?
True
Let y(f) = -f**3 + 10*f**2 + 11*f - 13. Let a = 4 - -15. Let s = 27 - a. Is 16 a factor of y(s)?
False
Let m(l) = -13*l - 13*l**2 + 12*l**2 - 13 - 10*l**2 - 9 - l**3. Let q be m(-9). Let p = -43 - q. Does 24 divide p?
True
Let s be 4*3*(-3 - 14/6). Let v = s + 86. Suppose 0*o - v = -o. Is o a multiple of 12?
False
Suppose 0 = 3*x + 2*d - 340, -7*x - 3*d + 342 = -4*x. Is 2 a factor of 1 - 5/7 - (-3552)/x?
True
Is ((192/42)/8)/(10/827645) a multiple of 214?
True
Is 24 a factor of ((-38)/(7 - 58424/8344))/1?
False
Let n be 20 - 23 - (-1 - 5). Suppose d = -d + 4*j + 356, n*d = -4*j + 484. Is 21 a factor of d?
True
Let v = -157 - -152. Does 47 divide -1*0/v + 436?
False
Let s = 60075 + -20244. Is 187 a factor of s?
True
Let v be ((-28)/12 - -1)*(-3 + 0). Suppose v*l - 222 = -2*n, -2*n = l - 52 - 179. Does 8 divide n?
False
Let h(n) = n**2 + 3*n - 22. Let a be (0/(1 - 0))/1. Suppose -m = u - 7, a*u - m = -u + 7. Is 20 a factor of h(u)?
False
Let z = -25 - -17. Let v be (-2)/z - 390/24. Let o = v + 53. Does 8 divide o?
False
Let n(u) = -u**3 + 9*u**2 + 2*u - 19. Suppose -p + 0*l - 4*l = -9, -3*l = p - 9. Let b be n(p). Is (1*1/2)/(b/(-64)) a multiple of 3?
False
Is 310 a factor of (-318 - (12 - 20))*-47?
True
Let q(u) = u**3 + 5*u**2 + u - 1. Let o be q(-2). Suppose 12 = -z - z. Is (o/z)/((-2)/8) even?
True
Suppose -9*y - 1072 = -10*y - 3*w, 3*w + 2144 = 2*y. Is 8 a factor of y?
True
Let c = -137 + 166. Suppose 6535 = c*u - 5964. Does 10 divide u?
False
Let n(s) = 580*s + 192. Let v be n(5). Let a = 4424 - v. Does 74 divide a?
True
Suppose 7*t - 9003 = -k + 2*t, -3*k - 4*t = -26976. Does 40 divide k?
False
Let m = -43 + 45. Suppose 2*j = -2*s + m, -3*s = 4*j - 4*s - 29. Suppose j*k - 2380 = -8*k. Does 34 divide k?
True
Let b be -1 + 11844/(-44) - 8/(-44). Let z = b + 361. Does 21 divide z?
False
Let u = -43 + 45. Let t be ((-60)/9)/(u/21). Let d = 117 + t. Is 15 a factor of d?
False
Let u(a) = -22*a - 106. Let w be u(-15). Suppose -125*o - w = -126*o. Is o a multiple of 28?
True
Suppose 0 = 5*f + 89 - 104. Suppose -h - 2*y = -316, -2*y = h + f*y - 310. Is 8 a factor of h?
True
Let q be (6 - (-30)/(0 - 5))/(-3). Suppose q = -21*c - 5*c + 45578. Is c a multiple of 19?
False
Let s = 12412 - 9161. Does 10 divide s?
False
Let w(r) = -70*r + 4. Let o be 1/(-4)*-3 - (-297)/(-108). Let t be w(o). Suppose -2*q = -0*q - 5*c - 96, 5*c - t = -3*q. Does 9 divide q?
False
Let w = 19928 + -13466. Is 9 a factor of w?
True
Let w = -66 - -89. Suppose 278 = -w*r + 1244. Is r a multiple of 14?
True
Let r = -4182 - -11188. Does 226 divide r?
True
Let j be 58/(-319) - 1223/(-11). Suppose 0 = -3*h - 123 - j. Is (-121*2/(-6))/((-26)/h) a multiple of 11?
True
Suppose -f = -0*f - 3*w - 41, 2*f - 74 = 2*w. Let o be (-5528)/(-28) - (-20)/f. Suppose 52*p = 55*p - o. Does 6 divide p?
True
Let g be -7 - (2 + -9) - 163. Let t = 195 - g. Does 22 divide t?
False
Suppose 12 = -347*w + 353*w. Suppose 10*j = -w*j + 1476. Is 6 a factor of j?
False
Is 2 a factor of 10865/7 + (-16)/(-1904)*-17?
True
Let o(z) = 78*z + 46. Let x(c) = 39*c + 23. Let n(b) = 6*o(b) - 13*x(b). Let s(y) = y. Let r(k) = n(k) - 4*s(k). Is r(-6) a multiple of 16?
False
Let b = -35350 - -65828. Is b a multiple of 14?
True
Suppose 0 = 4*w - 4*p - 37580, -4*w + 14724 + 22865 = -p. Is 127 a factor of w?
True
Suppose 9036 = 2*m - 4*i, 3*m - 165*i + 170*i - 13653 = 0. Does 72 divide m?
True
Let h = -16 + 18. Suppose 114 = l + h*l. Is l even?
True
Let a(g) = g**3 + 39*g**2 + 35*g + 21. Is a(-17) a multiple of 55?
False
Suppose 4*p = 4*p + 4*i, p - 2*i - 5730 = 0. Is 10 a factor of p?
True
Suppose 2*v = 8*z - 540, 10*v - 124 = -2*z + 5*v. Suppose 11 = x - 23. Let b = z - x. Is 3 a factor of b?
True
Let k(m) = -33*m**2 - m + 1. Let l be k(-1). Let g = l + 34. Suppose g*z - 2*z - 136 = 0. Does 17 divide z?
True
Suppose -105 = v - r, 2*v + 3*r - 4*r + 213 = 0. Let u be 1/9 + (-8304)/v. Let j = 260 - u. Does 10 divide j?
False
Let p(t) be the second derivative of -t**4/6 - 49*t**3/6 - 37*t**2/2 - 3*t + 6. Does 11 divide p(-21)?
True
Suppose 4*y - 928*i = -932*i + 37232, -2*i = 5*y - 46552. Is y a multiple of 5?
False
Let u(a) = -6*a**2 - 86*a - 11. Does 2 divide u(-7)?
False
Suppose 2*u - 682 = -670, -5*r = 5*u - 37830. Is 42 a factor of r?
True
Let c be (-3136)/24 + (-2)/6. Suppose 1635 = -57*j - 5376. Let i = j - c. Is 8 a factor of i?
True
Let v(i) = -i**3 + 29*i**2 - 27*i + 61. Let b be v(28). Is (b + 6)*(-76)/(-20) a multiple of 19?
True
Suppose r + 13*a = 9*a + 1, r - 3*a = 8. Suppose -480 + 140 = r*k. Let c = k - -88. Is 20 a factor of c?
True
Let u = -68266 - -43006. Is (-1