. Let h be r(b). Suppose 4*z - 2 = -p, -2*p - 3*z = -h*p - 14. Does 5 divide p?
True
Is 36 a factor of 5 + -9 + 3 + (-10)/5 + 3381?
False
Suppose 21 = 9*g - 2*g. Suppose 3*w = -5*d + 241, -2*d = 3*w - g*d - 211. Is w a multiple of 18?
True
Let b = 33002 - 17814. Does 10 divide b?
False
Let o(u) = -22*u + 11. Let s(w) = -45*w + 24. Let m(q) = -5*o(q) + 2*s(q). Is 9 a factor of m(8)?
True
Let t(c) be the first derivative of -c**5/24 + 21*c**4/8 - 5*c**3 + 14. Let z(a) be the third derivative of t(a). Does 28 divide z(7)?
True
Let h(b) = 3686*b**2 + 272*b - 820. Is h(3) a multiple of 34?
False
Let w(z) = -z**3 - 7*z**2 - 8*z + 1. Let b(i) = -2*i**2 - 16*i - 6. Let q be b(-8). Let p be w(q). Suppose -701 - 937 = -p*m. Is 21 a factor of m?
True
Let v = 636 - 288. Suppose -36 = 6*l - v. Suppose 2*z - 4*x = 58, -4*z - x + l = -z. Does 12 divide z?
False
Let n be (-32)/24*(-975)/10. Suppose -3*d - 2*d = 10, -5*d - n = -5*h. Is h a multiple of 24?
True
Let a(g) = 52*g - 182. Suppose -5*f - 4*c = -32, -3*f + 2*c = -5*f + 14. Is a(f) a multiple of 4?
False
Suppose -q + 7 = 40. Suppose -3*h + 126 = -9*h. Let p = h - q. Is p even?
True
Suppose -3*c + 728 = -14947. Is 10 a factor of c?
False
Let v = 3989 - 2226. Is 47 a factor of v?
False
Suppose -g + l + 5864 + 5253 = 0, 0 = -3*g + 2*l + 33356. Is g a multiple of 166?
True
Let n = 10682 + -5114. Is 213 a factor of n?
False
Suppose -3*r + 2640 = 129. Suppose -i - r = -1087. Is 25 a factor of i?
True
Let t(b) = 93*b**2 - 1168*b + 18. Is t(15) a multiple of 7?
True
Suppose -3*i + 17*i - 3014016 = -362*i. Is 8 a factor of i?
True
Suppose -219*w - 484599 = -224*w + g, -3*g = 2*w - 193843. Does 20 divide w?
True
Is 48 a factor of 0 + 0 + (-23)/(552/(-31104))?
True
Let w(c) = -5887*c**3 - 2*c**2 + 4*c + 5. Does 9 divide w(-1)?
True
Let s(p) = -22 - 27*p**2 + p**3 - 7*p - 12*p - 12. Is s(28) a multiple of 11?
False
Suppose 616737 = 114*g - 257415. Is 18 a factor of g?
True
Suppose 0 = -12*t - 0*t + 96. Let f be t + (-11 - 1)/3 + 136. Suppose -5*z + 4*q = 2*q - 760, -z - 2*q + f = 0. Is 30 a factor of z?
True
Let j be (-4603 + (-3 - -2))*(-4)/8. Suppose -7*k + 1625 + j = 0. Is k a multiple of 12?
False
Is 6999 - ((-1 - -7) + (-16 - -16)) a multiple of 27?
True
Let o(x) = -x**3 - 14*x**2 - 41*x - 19. Let q be o(-10). Is 9 a factor of q + (-4 - -6) - -115?
True
Let a(b) = 19*b**2 + 4*b + 7. Suppose 6 = 2*f - 0. Suppose 3*n + 4*j - 4 = 2, 4*n + f*j - 1 = 0. Is a(n) a multiple of 15?
True
Let w be ((-2)/(-10))/(1/35). Let k(g) = -g**2 + 14*g - 24. Let n be k(w). Suppose -5*m + 285 = 5*b, -3*b + 88 = 2*m - n. Is 12 a factor of m?
False
Suppose -6*t + 2*t = 4*i - 100, 0 = -t - 3. Suppose 0*l = -4*h - 3*l + 49, -3*h - 4*l + i = 0. Let c(f) = -f**3 + 18*f**2 - 19*f - 23. Is c(h) a multiple of 37?
True
Let h(t) = -t**2 - 252. Let a be h(0). Let s(k) = -5*k**2 - 9*k - 34. Let r be s(-9). Let w = a - r. Does 31 divide w?
False
Let l(t) = 988*t + 76. Let c be l(4). Is (-1)/((-10)/c) + (-24)/(-120) a multiple of 31?
True
Let p = 194 + -191. Suppose c - 3*n = 21, p*c + 12 = -4*n + 49. Is c a multiple of 3?
True
Is 23503 - (-85)/(21 + -4) a multiple of 95?
False
Let n(s) = 17*s. Let f be n(3). Let o = 56 - f. Suppose -899 = -4*u + 5*l, u - o*l - 1125 = -4*u. Does 32 divide u?
False
Let u(c) = c**2 - 7*c + 9. Let q = 545 + -534. Is 4 a factor of u(q)?
False
Is 119318/10 - (-2088)/(-2610) a multiple of 4?
False
Let v be 1018071/287 + (-2)/7. Suppose -4*s + 3553 = 5*l, 2*l - 3*l = -4*s + v. Is s a multiple of 17?
False
Let v(f) = -9*f**2 - 51. Let x be v(-5). Is (1534/156)/((-2)/x) a multiple of 59?
True
Suppose 0 = -8*l + 31*l + 12596 - 313551. Is l a multiple of 18?
False
Suppose 3*j - 6 = 0, -26 = 22*v - 24*v + 3*j. Is v + ((-4)/(-8)*-8 - -7) even?
False
Suppose -24*g + 2*r - 22322 = -28*g, 0 = -3*r + 15. Does 29 divide g?
False
Suppose -3*m - 24 = 0, 45*t - 42*t - 82696 = 5*m. Does 89 divide t?
False
Let v(o) be the first derivative of o**4/4 + 6*o**3 - o**2 + 16*o + 244. Is v(-8) a multiple of 41?
False
Let d(i) = -i**3 + 16*i**2 - 68*i + 15. Let a be d(10). Let v(f) = -4*f**3 - 3*f**2 - f + 2. Let g be v(-4). Let q = a + g. Does 22 divide q?
False
Let o be (66/(-99))/(2/(-561)) + 5. Suppose g + 0*g = 5. Suppose -z + o = g*z. Is z a multiple of 24?
False
Let o be 5*(10/10 + 6/(-10)). Suppose -o*j - 980 = -16*j. Is 10 a factor of j?
True
Let o(p) be the third derivative of -p**6/720 + 7*p**5/15 - 17*p**4/24 - 30*p**2. Let i(l) be the second derivative of o(l). Is 26 a factor of i(-11)?
False
Let q(t) = 21*t**2 + 12*t - 32. Let j be q(-12). Suppose 512 = 7*z - j. Does 30 divide z?
True
Let s(c) = 5986*c**2 + 27*c - 70. Is 12 a factor of s(2)?
True
Does 103 divide (-46070 + 29)*-1*2/6?
True
Let z(x) = -x**3 - 2*x**2 - 8*x - 11. Let w = 47 - 48. Let u be (w + (-4)/8)*(-30)/(-9). Does 26 divide z(u)?
True
Let w be ((-22)/8)/((-4)/(-16)). Let g(i) = -19*i - 97. Is g(w) a multiple of 14?
True
Let q(b) = -b**3 + 24*b**2 + 28*b + 16. Let u be (-1)/(-3)*-2 - (-154)/6. Let h be q(u). Suppose 0 = 2*v + v + k - h, -3*k - 27 = -v. Is 4 a factor of v?
False
Let p = 28855 - -20904. Is p a multiple of 17?
True
Suppose -130992 = -16*x + 121600. Is x a multiple of 114?
False
Suppose 33266 + 13261 = 39*z. Suppose p = -2*l + 1198, 27*l + z = p + 24*l. Is p a multiple of 92?
True
Let l(x) = -x**3 - 12*x**2 + x + 12. Let y be l(-12). Suppose -5*a + 0*a = y. Suppose a*n + 195 = 3*n. Is n a multiple of 40?
False
Let d(b) be the second derivative of 11/3*b**3 + 0 + 1/3*b**4 + 9*b + 9/2*b**2. Does 7 divide d(-6)?
True
Suppose -n + o + 151 = 0, -7*o + 5 = -8*o. Let c(g) = -63*g - 5. Let d be c(-2). Let k = n - d. Is k a multiple of 5?
True
Let g(b) be the first derivative of 5*b**4/4 + 5*b**3/3 + b**2 - 22*b - 341. Does 49 divide g(4)?
False
Let s(k) = -9*k**2 + 22*k + 75. Let c be s(13). Let r = -80 - c. Is r a multiple of 15?
True
Let u = 528 + -556. Is 25 a factor of 60/(-28) + (-4)/u + 677?
True
Let d = 2224 - 3115. Let l = d + 912. Is l a multiple of 2?
False
Let r = 218 - -2033. Does 4 divide r?
False
Let i(w) = -3*w + 82. Let b be (20/3)/(-4*(-8)/48). Is 26 a factor of i(b)?
True
Suppose -11*a + 78 = 23. Suppose 106 = 3*y - a*l + 7*l, 182 = 5*y + 2*l. Is 10 a factor of y/(-6)*(-21 - -18)?
False
Let o(b) = -b**2 + 14*b - 28. Let h be o(8). Let a(c) = c**3 - 5*c**2 - 5*c + 6. Let g be a(6). Suppose -3*y - y + h = -d, 2*y - g = d. Is y a multiple of 2?
True
Let j(b) = -2*b**3 + 4*b**2 - 8*b - 8. Is j(-13) a multiple of 18?
True
Let f be (-3 + 2)/(2 - 66/30). Suppose 541 = 5*g + 3*o + 17, 0 = -f*g - o + 518. Is g a multiple of 49?
False
Let o = 64388 + -43276. Is o a multiple of 76?
False
Suppose -10*d + 9*d - 5*r + 3797 = 0, 0 = d + 3*r - 3807. Does 49 divide d?
True
Let u(s) be the third derivative of -13*s**4/8 + 3*s**3/2 + 13*s**2. Let c(h) = h + 1. Let a(q) = 2*c(q) + u(q). Is a(-3) a multiple of 13?
False
Suppose -9*v = -826 - 1217. Suppose 3*q = 253 + v. Is 23 a factor of q?
False
Suppose 668*i - 669*i = 3*n - 13325, -3*i + 39950 = 4*n. Does 9 divide i?
False
Let g(z) = -140*z - 109. Let p be g(-4). Let x = p - 320. Is x a multiple of 8?
False
Let p = -16 + 14. Let k be (-56)/(-35)*(-5)/p. Suppose 0 = 2*r - k*d - 124, -r - d = -3*r + 139. Is r a multiple of 12?
True
Suppose -17*o + 21*o = -3*f + 55774, 2*o = -2*f + 27884. Does 87 divide o?
False
Suppose 0 = 4*u + 64 + 96. Let z be (-24)/u - (8/5 - 1). Suppose -2*x - 7*x + 612 = z. Is 35 a factor of x?
False
Let o be (-1)/((-20)/(-8) - 3). Suppose o - 182 = 3*r. Does 7 divide ((-471)/(-7) - 1) + r/210?
False
Suppose -4*d + 38 = -2*d + 4*z, 3*z - 15 = 0. Let l(r) = 2*r**2 - 13*r - 1. Let q be l(d). Suppose 0 = q*c - 45*c + 14. Does 3 divide c?
False
Let m(s) = 6*s - 1. Let v be m(2). Let j(g) = 7*g - 2. Let k(t) = -7*t + 3. Let r(x) = 4*j(x) + 3*k(x). Does 18 divide r(v)?
False
Suppose 38 + 49 = 3*h. Suppose 2*f + 4*t = 56, -5*f - 188 = -2*t - 316. Let k = h - f. Does 3 divide k?
True
Let z = -2218 + 3779. Suppose 5*q - n - z = 0, -n + 1048 = 3*q + 105. Does 34 divide q?
False
Let n be 8/12 - (-152)/6. Let p = 29 + -27. Let v = p + n. Does 19 divide v?
False
Suppose 109*q - 58229 = 1547450. Is 30 a factor of q?
False
Let o = -77 + 73. Let w be (o - -5) + 18 + -2*1. Is 13 a factor of 68/w - (0