of (j/4)/(-3) + 539/22?
False
Suppose -23*h + 4425 - 791 = 0. Let k = h - -588. Is k a multiple of 74?
False
Suppose 23*k + 88 = 31*k. Suppose k*u + 9*u = 520. Is 12 a factor of u?
False
Let i(o) = o**2 - 9*o + 47. Let y(g) = 2*g**2 - 17*g + 94. Let m(l) = -11*i(l) + 6*y(l). Is 36 a factor of m(0)?
False
Let c be (142 + -1)*31 - 0. Suppose -6*s + 4*a - 7*a + c = 0, -2*s = -a - 1447. Is 11 a factor of s?
True
Suppose 45 + 55 = -5*i. Let s be (-534)/(3*5/i). Suppose n = -7*n + s. Is 20 a factor of n?
False
Let b(i) = 18*i**3 - 4*i**2 - i + 1. Let p(j) = -j**3 - 45*j**2 + j + 48. Let h be p(-45). Is 23 a factor of b(h)?
False
Let b(o) = 432*o**2 - 180*o - 2080. Is 20 a factor of b(-10)?
True
Let x = -79 + 79. Suppose -z - 47 + 29 = x. Let d = z - -100. Is d a multiple of 41?
True
Suppose -557*n + 5631571 - 611751 = -5050740. Is n a multiple of 34?
False
Let j(q) = q**3 - 3*q**2 + 6*q - 62. Let o be -3*(-4)/(-8)*84/(-18). Does 16 divide j(o)?
True
Let b(f) = -783*f + 74. Is b(-8) a multiple of 12?
False
Is 12 a factor of (-2)/(-11) + (-24346966)/(-2387)?
True
Suppose 0 = 3*l + 1 + 2. Suppose 22 = -42*d - 20. Is -3 + (5 - d) + l + 142 a multiple of 36?
True
Suppose 0 = 5*p - 20, -140*z = -136*z - 2*p - 1620. Does 103 divide z?
False
Let r be (0/(1 + 2))/2. Let j(g) = 2*g + 60. Let c be j(r). Is (3 + c/(-25))*20 a multiple of 6?
True
Let b(f) = -26*f**2 - f + 1. Let o be b(-2). Is (o/4)/(2*1/(-8)) a multiple of 4?
False
Suppose z = 5*z - 3*p + 31, 0 = -2*z + 2*p - 14. Let h(x) = -x**3 - 8*x**2 + 21*x + 13. Let o be h(z). Suppose o*u - 188 + 8 = 0. Is 10 a factor of u?
True
Suppose 4*d - 29*d + 177036 - 34186 = 0. Does 15 divide d?
False
Does 6 divide (-58 + 160)*(-96)/(-9)?
False
Suppose 148455 = 5*s - r, -84638 + 25243 = -2*s + 3*r. Is 15 a factor of 2/18 - s/(-90)?
True
Let o(c) = -79*c + 241. Is 34 a factor of o(-50)?
False
Let t be 1/(-1*(2 + -3)). Suppose -t + 11 = 5*q. Does 2 divide (1/q)/(3 - 668/224)?
True
Let s(j) = 15*j**2 - 2*j + 12. Let h be s(-6). Let q = h + -365. Is 85 a factor of q?
False
Suppose -15 = -4*z + z. Suppose z*g = -55 + 220. Let d = g + -5. Is d a multiple of 19?
False
Let n be (-3 + 5)/6 + (-22)/(-6). Suppose 5*r + 3*x = 585, -350 = -n*r + r - 2*x. Does 20 divide r?
True
Suppose -334*b - 120336 = -380*b. Is 8 a factor of b?
True
Let o(l) be the second derivative of -l**4/6 - 2*l**3 + 5*l**2 - 3*l. Let w be o(-7). Is (-17)/(-68) - (163/w + 1) a multiple of 8?
True
Let o(v) = -v**3 + 7*v**2 - 7*v + 6. Let c be o(6). Suppose 32*b - 38*b + 258 = c. Is b a multiple of 3?
False
Suppose 0 = -152*k + 7943 + 9993. Is k a multiple of 11?
False
Let t = 9 + -3. Let u be (t/(-18))/(4/(-120)). Suppose 108 = -4*v + u*v. Is v a multiple of 18?
True
Let t be (-8 - -7)*13/(-1). Suppose -t*l - 777 = -20*l. Suppose 3*z - l = -3. Is 26 a factor of z?
False
Suppose -x + 5*h + 7548 + 4715 = 0, 0 = -5*x - h + 61211. Is x a multiple of 7?
True
Let f be 1/(418/1615 - 1/5). Let v(b) = 27*b - 5. Is v(f) a multiple of 46?
False
Suppose p = -16*p + 12189. Suppose -4*h + p + 1207 = 0. Does 13 divide h?
True
Let n(q) = -2*q**3 - 13*q**2 - 27*q + 47. Does 19 divide n(-21)?
False
Suppose -25341 = -i - k, i - 3*k + 11561 = 36922. Is 46 a factor of i?
True
Suppose 202 = -3*f + 589. Suppose 2*j = -9 + f. Is 6 a factor of (-12)/j + 192/10?
False
Let i(w) = -2*w**2 - 26*w + 62. Let h be i(-15). Suppose h*p = 7*p - 245. Is p a multiple of 16?
False
Let q be (13 - (-2 + 3))*4/12. Suppose 585 = m + q*m. Does 13 divide m?
True
Let u = -19122 + 28885. Does 11 divide u?
False
Let j = 466 - -84. Suppose -x - n - 205 = -j, 1760 = 5*x - 2*n. Suppose w = -w + x. Does 35 divide w?
True
Let f = -2273 + 6469. Is 19 a factor of f?
False
Let d = -28 - 5. Let j = d - -178. Suppose 5*g = -j + 1145. Is g a multiple of 34?
False
Suppose 52*r - 29*r - 50094 = 0. Is r a multiple of 91?
False
Let i = 937 - 247. Suppose 0 = -2*q + 4*q - i. Does 10 divide q?
False
Suppose m = 3*y, 4*m = 3*m - 5*y + 16. Suppose g + m*b - b = -12, -b - 12 = -3*g. Suppose 177 = 3*n + 3*x, -5*x + 3*x - 202 = -g*n. Is 13 a factor of n?
False
Let x be 0 - 1 - (-580 + 41). Suppose -12*r = -x - 926. Is r a multiple of 9?
False
Let a(f) = 7*f**3 - f**2 - 4*f + 22. Is a(3) a multiple of 4?
False
Let l = -1256 - -2254. Suppose 0 = 22*b - 2082 - l. Does 14 divide b?
True
Let h = -36275 - -52235. Is 140 a factor of h?
True
Let d(p) = -80*p - 594. Does 61 divide d(-73)?
True
Let y = 279 - 261. Does 10 divide -1281*(24/y + -2)?
False
Let s = 2177 + -210. Suppose 19*h - 26*h + s = 0. Is 34 a factor of h?
False
Let i be (-245)/((1 + 8/(-4))/1). Suppose -2*w + i + 307 = 0. Does 12 divide w?
True
Let n(l) = -l + 19. Let f be n(14). Suppose -f*y + 120 - 20 = 3*h, h + 4*y = 24. Is 4 a factor of h?
True
Suppose -2*x + 0*x + 300 = 0. Let f be (-180)/(-36)*(-4)/(-5). Suppose -4*h + 248 = f*b, h + x = 3*b - 44. Is 32 a factor of b?
True
Let n(m) = -m**3 + 14*m**2 + 4. Let i be n(14). Suppose 3*q = i*q - 1. Does 5 divide 10 + 13 + (-6)/(2/q)?
True
Suppose -15*f + 5*j = -13*f - 230, 4*f + 4*j - 460 = 0. Let w = -16 + f. Is 25 a factor of w?
False
Let k(v) = -v**3 - 3*v**2 + 2*v + 11. Let c be k(-4). Suppose 0 = p - j - 51, p + j - c = 40. Does 5 divide p?
True
Let g be (5 + 484/8)*(-1 + 21). Let x = -550 + g. Does 50 divide x?
False
Let z(f) be the first derivative of -3*f**5/20 - f**4/3 - f**3/3 - 14*f + 5. Let y(p) be the first derivative of z(p). Is y(-2) a multiple of 2?
True
Let v(u) = -u**2 + 152*u + 1289. Is 21 a factor of v(94)?
True
Let v(b) = 60*b + 30. Let c be v(-2). Does 36 divide (-5)/10*12*c?
True
Let o be -96*(4 - (-27)/(-6)). Let f = o - 44. Suppose 2*h + 38 = f*v, 34 = -v + 3*v + 2*h. Is v a multiple of 12?
True
Let h(d) = 10*d**2 + 12*d - 27. Let u be h(-13). Suppose -367 = 5*l - u. Is 19 a factor of l?
True
Let j = 97 - 57. Suppose z - j = -2*i - 212, 4*z = -2*i - 160. Let d = -22 - i. Is 22 a factor of d?
True
Let d(c) = 56*c - 5673. Is d(117) a multiple of 16?
False
Suppose -8*g + 16 = -0. Let a = -20 - -22. Suppose -a*f = -g*q - f + 338, 2*q + f = 334. Is 18 a factor of q?
False
Let r = 38 - 23. Suppose 0 = 7*w - 10*w + r. Suppose -w*o = -168 - 137. Is o a multiple of 9?
False
Suppose -5*g + 2*d + 5680 = 0, 4*g + 12*d - 9*d = 4521. Is 14 a factor of g?
True
Let g(o) = 2*o**3 - 4*o + 2*o**2 - 13*o**2 + 13 - 7 + 4. Does 3 divide g(6)?
False
Let j be (18/4)/((-6)/4 + 1). Let c(b) = 2*b**2 + 20*b + 18. Let d be c(j). Suppose -5*i - f + 27 + 47 = d, -i = -f - 10. Is 3 a factor of i?
False
Let z(x) = 5*x + 37. Let g be z(-18). Let b = 379 - g. Is b a multiple of 6?
True
Suppose -21*n + 34 = -8. Let t(y) = -y**3 - 7*y**2 - 7*y. Let r be t(-6). Is 23 a factor of 3*(-2)/r + 204/n?
False
Let x(m) = -4*m. Let b be x(2). Does 34 divide (84/b + 10)*3292/(-2)?
False
Let l(y) = 16*y - 5 + 2*y - y - 2*y**2 + 4*y**2. Is 32 a factor of l(3)?
True
Let z(p) = -p**3 + 4*p**2 + 4*p - 9. Let x be z(5). Let m be 2/(-1) - 56/x. Suppose j + a - 238 = -m*a, -5*a = 3*j - 730. Is j a multiple of 25?
True
Suppose -55*x - 23296 = 62*x - 119*x. Does 14 divide x?
True
Let z be 1 - -4*((-15)/10 + 2). Suppose p + 4 = 0, -2*p + 7*p - 250 = -z*f. Does 6 divide f?
True
Let f = -3312 + 3586. Does 8 divide f?
False
Let y = 1075 - 1708. Let r = y + 1149. Is 43 a factor of r?
True
Let a be (-7455)/(-18) - 4/24. Does 36 divide a + ((-13)/(-4) - (-9)/12)?
False
Let d = 1336 + -375. Let u = -681 + d. Is 28 a factor of u?
True
Let c = -15 + 19. Suppose -u = c*u + 10. Is 38 a factor of u/(-11) - (-1248)/33?
True
Let f(c) = c**2 - 11*c + 32. Let q be f(7). Suppose q*g = -16, -5*d - 21*g + 2145 = -26*g. Is 38 a factor of d?
False
Let b(g) be the second derivative of -5*g**3/2 + 3*g**2 - 17*g. Let j be b(-4). Suppose -j = 2*q - 338. Is q a multiple of 30?
False
Let r(w) = -4*w**3 + 19*w**2 + 6*w + 1. Let a be r(5). Suppose 23*u + a*u = 11020. Does 4 divide u?
True
Suppose -2*s - 146 + 56 = 0. Let w be -4 + s/(-27)*6/2. Let q = w + 38. Is q a multiple of 12?
False
Let w be -1 - (-7)/(35/15). Suppose 3 + 23 = 5*c + w*d, -6 = -2*d. Suppose 4*i - 36 = -4*b, 2*b - c*b + 24 = 5*i. Is b even?
False
Let k = 17883 + -9517. Does 89 divide k?
True
Let c(n) = -n**3 + 17*n**2 - 33*n + 35. Let q(f) = -6*f - 21. Let s be q(-6). Let o be c(s). Let i(d) = -18*d + 