 59 a factor of u?
False
Suppose -173 - 111 = 4*s. Let q = s - -94. Suppose k = 2*a + q, 5*k - 3*a - 141 = -6*a. Is k a multiple of 2?
False
Let f(t) = 21*t**3 - 15*t**2 - 5*t + 70. Does 4 divide f(11)?
False
Let w be (5/2)/((-3)/(-6) + 0). Let d be (5 + -2)/(w/(-2) - -4). Suppose d*x = 40 + 94. Is x a multiple of 25?
False
Suppose -k = d - 556 - 704, -d = 4*k - 5022. Does 6 divide k?
True
Let v = 406 - -223. Let g = v + -209. Is 21 a factor of g?
True
Let i(z) = -6*z + 28. Let l(g) = 2*g - 9. Let s(r) = -4*i(r) - 11*l(r). Let y be s(9). Does 16 divide (48/y)/((-9)/(-120))?
True
Suppose -3*r + 38*v - 36*v + 48918 = 0, 3*v = -18. Does 78 divide r?
True
Let j = -25 - -17. Let r be -1*(j + -1 - -4). Suppose 33 + 137 = r*x. Is x a multiple of 17?
True
Let n(p) = 573*p - 4804. Is n(10) a multiple of 10?
False
Let t(f) = -5 - 2*f**2 + 280*f - 285*f + f**2. Let a be t(-2). Is 14 a factor of -1 - (-70 - -4 - a)?
False
Let o(h) = -2*h**2 - 6*h - 9. Let f be o(-3). Let u(x) = -x**2 + 3*x**2 + x**2 - 18. Is u(f) a multiple of 45?
True
Let w(m) = 9*m**2 - 14*m + 30. Let o = -265 + 267. Does 38 divide w(o)?
True
Suppose 2*a = -4*o - 72, 3*a + a = -5*o - 135. Let f = -2609 - -2702. Does 18 divide 11/(-3) + (-20)/a + f?
True
Let t(u) = u**2 - 6*u + 10. Let n be t(11). Let m = n + -67. Let p = m - -20. Is 3 a factor of p?
True
Let k be (-69)/(-207) - (16/(-6) - -1). Suppose -k*p - 3177 = p. Is 4 + 42/(-9) - p/9 a multiple of 9?
True
Suppose 3*b - 15 = 4*j, 3*j + 14 = -0*b + 5*b. Let y be b/(3/(-6)*-1). Suppose -244 = -y*c - 2*c. Is c a multiple of 10?
False
Let y be (8 + -2 + -4)/1. Suppose l + 2*t - 164 = -y*t, -5*t + 165 = l. Is l a multiple of 28?
False
Let j(h) be the second derivative of -7*h**3/3 + 37*h**2/2 - 58*h. Is 33 a factor of j(-8)?
False
Suppose 4*k - 7 - 25 = 0. Let j be 3/15 - (-99)/55. Let l = k + j. Is 4 a factor of l?
False
Does 120 divide (-6)/(1 - 7)*(-82311)/(-3)?
False
Suppose -3*c = 5*p - 56, 2*c - 41 - 13 = -5*p. Suppose 0 = -p*g - 12*g + 2574. Is 9 a factor of g?
True
Let y(f) = 2*f**3 + 61*f**2 + 32*f + 54. Let s be y(-30). Is s + (3 - -18)*27 a multiple of 17?
True
Let x be ((-12)/14)/3 - (-6668)/14. Let f be (-1)/(-2)*-622*1. Let u = x + f. Is 15 a factor of u?
True
Let p = -1716 - -1733. Let c(u) = -u**2 + 9*u - 13. Let y be c(12). Let o = p - y. Is 11 a factor of o?
True
Let f(p) = 23*p**2 - 66*p + 834. Is f(14) a multiple of 4?
False
Let q = 3164 - -2312. Does 72 divide q?
False
Let i(g) = -5*g - 34. Let o(u) = -2*u**2 + 11*u - 28. Let m be o(4). Is 30 a factor of i(m)?
False
Let r be 19232/(-24)*6/(-8). Suppose 599*k + 274 = r*k. Is k a multiple of 4?
False
Suppose 32*t - 11*t - 47602 = 134426. Is 35 a factor of t?
False
Let p = 105 + -83. Suppose 21*y + 224 = p*y. Is y a multiple of 14?
True
Let q(k) = -3*k**2 - 8*k + 15. Let h(y) = 2*y + 4. Let i be h(1). Let x(z) = -2*z**2 - 8*z + 14. Let w(f) = i*x(f) - 5*q(f). Is w(5) a multiple of 11?
True
Suppose -i + 4*i = 2*s - 96477, 0 = -s + 3*i + 48234. Does 21 divide s?
False
Does 14 divide ((-5)/((-15)/4647))/(7*9/3465)?
False
Let n(w) = 10*w**2 - w + 15. Let c be n(-10). Suppose -5*g + c - 84 = -d, -4*g + 772 = 4*d. Is g a multiple of 7?
True
Is 299 a factor of -2 + 26609 + (540/(-27) - -24)?
True
Let x be (-2086)/(-2)*(130/(-35))/(-13). Suppose 5*v + x = 2*k + 1736, 575 = 2*v - k. Does 18 divide v?
True
Suppose 3*r = -2*x + 7, x + 0*r = 3*r + 26. Let k = x + 0. Suppose -72 = 7*d - k*d. Does 9 divide d?
True
Let h(q) = -23*q**3 - 7*q**2 - 8*q + 2. Let i(m) = -16*m - 178. Let k be i(-11). Is 58 a factor of h(k)?
True
Let p = 8870 + -3206. Is p a multiple of 59?
True
Let l be (-1)/(-3)*2 - 16/24. Suppose 0 = -0*o + 2*o - c + 64, l = -3*o - 4*c - 85. Let s = 96 - o. Does 41 divide s?
False
Let o be (-3)/(-2)*-67*10. Let d = 1500 + o. Does 15 divide d?
True
Let d(l) = 20*l + 10. Suppose -5*p + 4*n - 16 = 0, 3*n = -3*p - 2*n + 20. Suppose -4*c + 6 = -2*f - 12, p = 5*c - f - 30. Is d(c) a multiple of 30?
True
Let u(t) = t**2 - 2*t - 5. Let v be u(-3). Suppose -v*q = -21*q + 143. Is q*3 + (22 - 21) a multiple of 20?
True
Let n(j) = -j**2 - 8*j + 7. Let l be n(-7). Let a be 2508/108 + (-2)/36*4. Let v = a - l. Does 2 divide v?
False
Let r(h) = h**3 + 7*h**2 - 11*h - 20. Let b be r(-8). Is (6*b/(-32))/((-2)/280) a multiple of 35?
True
Let f = 256 - 305. Is -1 + f/(-35) + 898/5 a multiple of 60?
True
Let h = 93448 + -25705. Is h a multiple of 13?
True
Let a = 459 - 155. Let y = a + -187. Does 10 divide y?
False
Suppose 52*i + 3*i - 240754 - 91721 = 0. Does 155 divide i?
True
Suppose 2*j - n = 6*j - 5168, 4*n + 2602 = 2*j. Is 22 a factor of j + 3/(-6)*-10?
True
Suppose -6*d - 4*z + 4043 - 767 = 0, -1638 = -3*d - z. Is d a multiple of 8?
False
Let l(d) = d**2 + 23*d + 52. Let b be l(-21). Does 4 divide (-24)/40 - (-296)/b?
False
Let f = -223 + 225. Suppose -550 = -3*t - 2*h + 541, -f*h = -2. Is 33 a factor of t?
True
Let a(u) = 69*u**2 + 21*u + 94. Is a(-15) a multiple of 2?
True
Is 2 a factor of (-56)/(-252) - (-272083)/63?
False
Let q = -13 + 24. Let d(t) = 6*t - 63. Let m be d(q). Suppose 0 = 5*p + 2*b - m*b - 1971, -387 = -p + 2*b. Is p a multiple of 40?
False
Let p = -419 - -391. Is 23 a factor of -179*108/(-21) - (-16)/p?
True
Is 71 a factor of ((-3648)/285)/(5/(-18775)*2)?
False
Is (13 - (23 + -13)) + 1345 a multiple of 85?
False
Let k(z) = z**3 - 24*z**2 + 24*z - 14. Let q be k(23). Suppose 0 = q*g - 3*g + 210. Is g/(-1) + (-2 - -6) a multiple of 39?
True
Let m be ((-330)/385)/(2/(-7)). Suppose 3*g - b - 3302 = -m*b, -5*b = -g + 1129. Is g a multiple of 24?
True
Let d(h) = h**2 + 30*h - 183. Let t be d(6). Does 16 divide 26202/t - (-3 - -2)?
False
Let y(q) be the third derivative of q**6/120 + 23*q**5/60 - 7*q**4/6 + 8*q**3 + 6*q**2. Suppose 85 = -12*h - 203. Is y(h) a multiple of 24?
True
Suppose 9052013 = 181*k + 115*k + 53*k. Is k a multiple of 129?
False
Suppose -80864 = -8*m + 63664. Is 44 a factor of m?
False
Suppose 19*y = 24*y - 45. Suppose 19*d - 90 = y*d. Does 9 divide d?
True
Suppose -5*r - s = -57653, -5*r + 57685 = -946*s + 951*s. Is 9 a factor of r?
True
Let t(o) = 2*o**3 - 58*o**2 + 49*o + 107. Let v be t(28). Suppose 3*p - 5*n = -79 + 398, 3*p + 5*n = 359. Let d = p + v. Does 6 divide d?
True
Let k(z) be the third derivative of -6*z**4 + 5*z**3/6 - 28*z**2. Let q be k(1). Let f = q + 310. Is f a multiple of 19?
True
Let i(o) = -o**3 + o**2 + 4*o + 7. Let s be i(3). Let g(u) = 495*u + 4. Is 38 a factor of g(s)?
False
Let b be 6/(-4)*(-100)/30. Suppose -3*g = -2*q - b, 0 = 3*q + 4*g - 6 - 12. Is 0/q + (-12 - -21) a multiple of 8?
False
Let a = 580 - 106. Suppose h - 5*q = 494, 2*h + 5*q = h + a. Is 11 a factor of h?
True
Let y = 41 - 38. Let n be y*24/(-27)*(-186)/(-4). Let v = n - -215. Does 13 divide v?
True
Suppose 7 = 11*k - 26. Does 19 divide 244/(4 - 3) + k?
True
Let s = -213 + 222. Suppose 5*o + s = -4*x + 280, -5*x = 4*o - 215. Does 11 divide o?
True
Suppose z = -3*h + 994, -z = -6*z - h + 5040. Let l = z + -694. Is l a multiple of 35?
True
Let i = -2799 - -3987. Is i a multiple of 54?
True
Let b be (-4)/((176/(-58) - -3)*2). Let c = 1141 - b. Is c a multiple of 70?
False
Let i(q) = 212*q - 1436. Is i(13) a multiple of 33?
True
Does 4 divide (-80 + 18)/(3/(-813))?
False
Suppose -5*t + 5*r = -60, 4*t - 2*t - 4*r - 30 = 0. Suppose -t*m - 4*m = -2288. Is m a multiple of 12?
False
Suppose 3*o - 683 = -5*l, l + 5*o + 675 = 6*l. Suppose 4*u - 309 - 99 = -4*a, -a - 4*u = -117. Let m = l - a. Is m even?
False
Suppose 13*s = 13505 + 4045. Is s a multiple of 6?
True
Let n = 25 + -24. Let d be -21 + 0 + -2 - n. Is 101/3 - (-3 + d/(-9)) a multiple of 8?
False
Let n(l) = 11*l**3 - 5*l**2 - 3. Let o(u) = -u**3 + 2*u**2 - u + 1. Let m(z) = -n(z) - 2*o(z). Is m(-3) a multiple of 19?
True
Let b(h) = -29070*h**3 + h**2 + 106*h + 104. Does 140 divide b(-1)?
False
Let q(l) = -77*l**3 - 3*l - 2. Let c(b) = -59*b**2 + 2*b - 3. Let n be c(1). Let v = -61 - n. Does 6 divide q(v)?
True
Suppose 2*o = 14*j + 2*j - 31102, -5*j + 2*o + 9718 = 0. Is 31 a factor of j?
False
Suppose 17264 = 5*x + 3*r, 3*r - 3460 = 31*x - 32*x. Is x a multiple of 17?
True
Let m = -3235 - -34408. Is 84 a factor of m?
False
Suppose 3*n + 1350 = 3*s + 5727, -3*s = 0. Does 69 divide 4 + -10 + n + -4?
True
Le