. Suppose h - 4*c - 10 = 0, -6 = -q*c - 2. Does 7 divide h?
True
Does 45 divide (-48)/(-108) + (-230650)/(-126)?
False
Let k(f) = 182*f**2 - 96*f + 1018. Is 8 a factor of k(13)?
True
Let d = -58 + 80. Suppose 0 = -5*w + 20, -2*l - 6*w + w = -d. Let s(v) = 83*v**3 - 3*v + 2. Is 41 a factor of s(l)?
True
Suppose 2*j - 45 + 41 = 0. Suppose -2*u + 2 = -4*l, -j*u = l - 6*l + 2. Suppose -u*q = -13*q + 352. Is 11 a factor of q?
True
Let j be 16 + ((-2)/(-3))/((-6)/(-9)). Suppose -j*x + 4736 = -x. Is 72 a factor of x?
False
Let i = -286 - -133. Let m = 329 + i. Is m a multiple of 16?
True
Let v = 644 + -555. Let r = v - 38. Is 17 a factor of r?
True
Let h = -5540 + 10646. Is h a multiple of 17?
False
Suppose 2*i - 62468 = 3*v, -6*v + 62504 = -22*i + 24*i. Does 10 divide i?
True
Does 17 divide -7 + 39485 - (6 + -1 + -4 + 3)?
True
Suppose -5*w = 0, r - 3*w = -98 - 67. Let s = r - -255. Let i = -45 + s. Does 5 divide i?
True
Suppose -124*j - 88*j + 6*j + 1759240 = 0. Is j a multiple of 20?
True
Suppose 1441*r - 1437*r = 39060. Is 21 a factor of r?
True
Suppose 0 = -c + 2*c + 18. Let w = 861 - 881. Let y = c - w. Is 2 a factor of y?
True
Let p = -312 + 262. Let g = p + 281. Is g a multiple of 7?
True
Let o = 6697 + -6698. Let d(h) = -h**3 - h - 1. Let l(k) = -12*k**3 + k**2 - 2*k - 3. Let r(g) = -4*d(g) + l(g). Is r(o) a multiple of 4?
True
Is 14 a factor of 1246*(-131 - -5)/(-14)?
True
Let h = 74 - 55. Let f(l) = 5 + 3 + 15 + 19*l**2 + 2*l - l**3. Is f(h) a multiple of 20?
False
Let k(u) = -78*u - 62. Let v(z) = -117*z - 91. Let x(f) = -7*k(f) + 5*v(f). Is 24 a factor of x(-6)?
False
Is 56 a factor of -56*(-7)/((-63)/12)*-12?
True
Let t(m) = -7*m**3 - 5*m**2 - 8*m + 118. Is t(-8) a multiple of 10?
False
Does 3 divide 2569 + (-21*6/(-18) - 6/3)?
True
Let t(y) = -33*y + 4. Let v be t(0). Is 8 a factor of ((32/(-12))/v)/((-8)/6348)?
False
Suppose 151*g - 60*g = -53118 + 279162. Is 138 a factor of g?
True
Let x(c) = -60*c - 152. Let h(u) = u**3 + 6*u**2 + 15*u + 20. Let a be h(-4). Is 14 a factor of x(a)?
False
Suppose -3*x - 27 = 36. Let r = x - 6. Is 2 a factor of (50/2)/1 + r/9?
True
Suppose 8*n = 9*n - 7. Let j be (n + -7)/((-8)/(-2)). Suppose 6*c - 14 - 112 = j. Is 7 a factor of c?
True
Suppose 3*g + u - 3*u = 10, 0 = -g + 4*u. Suppose -g*n = 21*n - 19800. Does 24 divide n?
True
Suppose 0 = r + 5*d - 2393, r + 2*d + 1191 = 3587. Does 22 divide r?
True
Is (-5 - (0 + (-52)/(-2)))*-92 a multiple of 46?
True
Suppose 5*x - 33 + 60 = u, -u - 13 = 3*x. Let a be ((-4)/(-2))/((-2)/(-4)). Suppose 142 = 4*i - u*o, a*i - 131 = -2*o + 15. Does 6 divide i?
True
Let x(c) = -c**3 + 3*c**2 + 6*c - 6. Let o be x(4). Suppose 3*k - o*j - 461 = 289, -3*j = -4*k + 1000. Suppose -4*w + 2 = -k. Is 9 a factor of w?
True
Suppose -4*r + 71*d = 73*d - 14102, 3*r = 5*d + 10570. Is 47 a factor of r?
True
Suppose 5*w - 92505 = y, -14*w + 92520 = -9*w - 4*y. Is w a multiple of 125?
True
Let u(m) = -40*m**2 + 2. Let a be u(2). Let g = a + 294. Suppose 7*w = 6*w + g. Does 34 divide w?
True
Let g = 281 + -271. Suppose 4*z + g*s - 1624 = 15*s, 1648 = 4*z + s. Is 89 a factor of z?
False
Suppose -2*q = 5*q - 14. Let v be 1677/q - (9/(-2) + 3). Suppose -8*i - 2*i + v = 0. Is 42 a factor of i?
True
Let u = -249 - -254. Suppose 3*c = 5*h - 1928, -378 = -u*h + c + 1548. Is h a multiple of 77?
True
Let g(t) be the second derivative of t**5/24 - 7*t**4/12 + 10*t**3/3 - 23*t. Let s(p) be the second derivative of g(p). Is 4 a factor of s(10)?
True
Let l = 650 + -442. Suppose 2*s = s + 2*h - 89, 2*h + l = -2*s. Let c = -66 - s. Does 8 divide c?
False
Let d be 775/93*(-174)/(-10). Suppose 580 = 4*t - y, -y - d = -t + 4*y. Is t a multiple of 29?
True
Let r be ((0 - 1)*(-10)/10 - 3)*2. Let q = 345 - 205. Is -1*((-1)/(-1))/(r/q) a multiple of 5?
True
Suppose -5*u + 985 = 2*l, -3*u = -557*l + 559*l - 975. Is 8 a factor of l?
True
Suppose 0*h - 5*v = h + 27, 3 = -4*h + v. Is 30 a factor of h/(-11) - (-1 + 988/(-11))?
False
Suppose o - 237 = 2*b, 27*o = 30*o - 4*b - 705. Is 12 a factor of o?
False
Suppose 183816 = -16*m + 789512. Does 26 divide m?
True
Let o = 18 - 20. Let b be o/(-3) + (-215)/(-15). Is (-46 - 1)/(b/(-30)) a multiple of 20?
False
Let k = 816 + -330. Is 3 a factor of k?
True
Let l = 4 + 2. Let v = 795 + -792. Suppose -l*t - v*u + 351 = -3*t, -112 = -t - 2*u. Is t a multiple of 21?
False
Let w be ((-2)/6 + 0)/((-1)/78). Suppose -3*o + 4*x = 5 - w, -o = 4*x + 9. Suppose -350 = -o*f - k, 226 = 2*f - 5*k - 30. Is 19 a factor of f?
False
Let a = 8086 - 4158. Does 176 divide a?
False
Suppose -2*a + 16 = 2*c, -6*c + 28 = -c + 2*a. Let n be (-120)/(-160) + (1 - (-133)/c). Let y = n - -43. Does 13 divide y?
True
Suppose 4*b - 2*u = -u + 3, 4*b + u = -3. Let d be (b/6 - (0 - 1))*3. Suppose -5*j + 307 = -3*c, j + c = d*c + 60. Does 14 divide j?
False
Let w = 311 + -220. Does 13 divide (0/1)/(-9) + (w - 0)?
True
Let u(x) = 153*x + 6. Let i be u(-2). Is (33/9 + -3)/((-2)/i) a multiple of 37?
False
Let f = -1367 - -2392. Let u = -544 + f. Is u a multiple of 13?
True
Suppose 25 = r - 3*r - 5*a, -3*r - 5*a = 35. Is 23 a factor of (17312/20)/4 + 4/r?
False
Let m(l) = 193*l**2 - 36*l + 21. Does 5 divide m(3)?
True
Let s be (-21)/18*27*(-4)/(-6). Is (1 - s/(-28))/(1/632) a multiple of 10?
False
Let x be (6 - (-1 + 7)) + 27. Suppose 0 = 5*m + x*m - 1696. Does 12 divide m?
False
Let v(j) = -j**3 + 51*j**2 + 220*j - 36. Does 11 divide v(54)?
False
Let n = -195 + 197. Suppose -n*r - 3*t + 446 = -166, -2*t + 616 = 2*r. Is 26 a factor of r?
True
Let c be (-57999)/18 - 1/((-12)/(-10)). Is 15 a factor of c/(-5) - 20/(-50)?
True
Let t(f) = -f**3 - 4*f**2 - f - 1. Let d be t(-4). Let u be (d/(-12) + 4/16)/2. Suppose u = 4*q - 6*q + 196. Does 8 divide q?
False
Let h(z) = 3*z**2 - 7 - 2 + 0*z**2 - 2*z + 2. Let o be 1 - (-2 - 0/(-3)). Is h(o) even?
True
Suppose 0 = 17759*f - 17721*f - 674158. Does 9 divide f?
False
Let c(v) = -v**3 - 82*v**2 + 80*v + 2604. Is c(-84) a multiple of 102?
True
Suppose -4*m = 9*m - 65. Suppose 4*w = -0*w + m*x + 4406, 2*w = 4*x + 2206. Does 33 divide w?
False
Let b(p) = -6 - 17 + 18*p**2 + p**3 - 4 + 61*p - 19*p. Does 3 divide b(-15)?
True
Let y be (-24)/32*32/(-6). Is (2/y)/(97/78570) a multiple of 15?
True
Let c be 1/(-4) + 6/(192/488). Let v(g) = 6*g**2 - 41*g - 17. Does 28 divide v(c)?
False
Suppose 0 = 3*t - 2*v - 35888 - 69620, 105524 = 3*t - 4*v. Is t a multiple of 235?
False
Let f(x) = x**2 + 6*x + 6. Let p be f(-5). Suppose 3*u - 4 = -p. Is 64 + -65 + (-80)/(u + -3) a multiple of 5?
False
Is 9 a factor of (-12*10)/((-17)/102)?
True
Suppose -2*z + 34906 - 4197 = -6139. Is 116 a factor of z?
False
Let f(q) = 306*q**2 - 35*q + 148. Does 41 divide f(4)?
False
Let k be 0 + 3 + -2 - (0 + 1). Suppose k = 5*u + 7 + 18. Let p(n) = -5*n - 16. Is p(u) a multiple of 3?
True
Suppose 0 = 5*g - 352 - 528. Suppose -3*l + 9 = m, 0 = 65*l - 68*l + m + 15. Suppose -g = -l*x + 104. Is 5 a factor of x?
True
Suppose -41*q = -9802 + 129546 - 732612. Is q a multiple of 31?
False
Suppose -116462 = -3*r + 4*p, 1306*p - 155286 = -4*r + 1308*p. Does 26 divide r?
False
Let j(h) = h**3 + 121*h**2 + 917*h + 573. Is j(-111) a multiple of 141?
True
Let w(u) be the third derivative of u**6/8 - u**5/60 + u**4/12 - 88*u**2. Is 18 a factor of w(3)?
False
Let i = 759 - 749. Let k = -2279 + 3550. Suppose -i*o = -129 - k. Does 20 divide o?
True
Is (-6)/((-1)/(-592)*(-816)/5032) a multiple of 16?
True
Is (-1)/(33/(-22875)) - (-28)/(-154) a multiple of 7?
True
Let g = 104075 + -68355. Does 190 divide g?
True
Let m(u) = u + 5. Let t be m(5). Let x be ((-16)/t)/((-8)/20). Suppose -4*o - 5*v + 59 = x, 3*v - 27 = -2*o. Is 3 a factor of o?
True
Let b(x) = 4*x**3 - 6*x**2 + 25*x + 19. Let c be b(10). Suppose c - 343 = 2*l. Is l a multiple of 10?
False
Suppose -44*w + 88 + 32 = -41*w. Is w a multiple of 2?
True
Let i(q) = 2*q**3 + 13*q - 198. Is 10 a factor of i(8)?
True
Let t(l) = l**3 + 152*l**2 - 152*l - 3522. Is 107 a factor of t(-151)?
False
Let k(z) = z**3 + 6*z**2 - 2*z - 1. Let a be k(-6). Let i(h) = h**3 + 9*h**2 - 7*h - 38. Let p be i(-4). Let f = p - a. Is f a multiple of 10?
False
Let p be (15/10 - 0)*-2. Let g be (-40)/p - 8/(-12). Suppose -3*f + 131 = g. Is 16 a factor of f?
False
Let v(q) be the first derivative 