s 5 a factor of y(-116)?
False
Let b be 1 - -63 - (-8 - -3). Let z = -5 + b. Is z a multiple of 3?
False
Let i = -55 + 59. Suppose -i*a + 1090 - 298 = 0. Does 22 divide a?
True
Let j(c) = 245*c + 293. Is 8 a factor of j(33)?
False
Let p(a) = 199*a**2 - 73*a - 655. Is 39 a factor of p(-11)?
False
Let t(j) = -643*j**3 - j**2 + 16*j + 25. Is t(-2) a multiple of 29?
True
Is 9 a factor of 92406746/5966 - (-4)/38?
True
Let v = -8 + 10. Suppose -2*i + 2*a = -v*a - 132, 0 = i + 3*a - 76. Is i a multiple of 10?
True
Let o(d) = d**3 + 9*d**2 + 2*d - 6. Suppose 2*g = -4, -2*g - 2*g = 3*f - 37. Suppose -f = 5*b, -3*b + 9 + 22 = -5*i. Does 4 divide o(i)?
False
Suppose 0 = -4*g + 3*c + 17503, 91*g - 89*g + 3*c = 8783. Is g a multiple of 2?
False
Suppose -l + 0 + 14 = 0. Suppose -5*k + 7 = -2*u - l, -k + 9 = 2*u. Does 13 divide 66 + 1*u/(-1)?
False
Let v = -90 - -92. Does 21 divide (339/(-6 - -3))/((-1)/v)?
False
Suppose 2*g - 3*w = 30, g + 2*w - 2 = 13. Suppose 0*h = -5*h + g. Suppose -5*v + 67 = h*l - 2*l, v - l - 17 = 0. Does 7 divide v?
True
Does 49 divide (290 - -18945) + (-22)/(-1)?
True
Suppose 41*k - 50*k = 6768. Let m = -544 - k. Does 4 divide m?
True
Let u be 300/(-40)*(-12)/5. Let n(j) = 8 + 8 - 7 - u*j + 11. Is 10 a factor of n(-3)?
False
Let q = 41 + -36. Suppose -2*h - 2*h = -2*f + 86, -q*h - 88 = -2*f. Does 8 divide (-4 - -2 - 0) + 0 + f?
False
Let d(j) = 12*j + 84 - 2*j - 11*j. Does 9 divide d(12)?
True
Suppose -5*u + 3*a = -18991, 360*u + 18975 = 365*u - 5*a. Is u a multiple of 3?
False
Let u be 1*5/(-1)*-3. Suppose -4*s + 3*z = 8*z - 6304, 2*z + 4705 = 3*s. Suppose u*c = 4181 - s. Does 9 divide c?
False
Let b = -2922 + 11040. Is b a multiple of 66?
True
Let v(k) be the first derivative of -89*k**2/2 + 11*k + 14. Let s be 3/(-2)*(-3)/((-18)/12). Does 34 divide v(s)?
False
Let a(p) = 311*p**2 - 44*p + 3. Does 7 divide a(4)?
False
Let o(n) = 15*n + 39. Let a(f) = -15*f - 38. Let s(l) = 5*a(l) + 4*o(l). Let c be s(9). Let i = -118 - c. Is i a multiple of 3?
True
Let f(d) = d**3 - d**2 - d - 2. Let g be f(-2). Let s be (123/g)/((-5)/60). Suppose -85 = -4*x + s. Is x a multiple of 13?
True
Suppose -5*q + 2*g = -9592, 3*q - 4*g - 1302 = 4442. Is 39 a factor of 150016/q - (26/(-30) - -1)?
True
Let p(l) = 1354*l**2 + 3*l - 3. Let h be p(1). Suppose -23*c - h = -10899. Is 15 a factor of c?
False
Let v be (1/3)/((-4)/(-24)). Let o(b) = b**3 - 2*b**2 + 4*b + 261. Let p be o(0). Suppose -v*q - q = -p. Is 14 a factor of q?
False
Let t = -121 - -123. Suppose t*q + 311 = -3*y + 1005, -5*y = -4*q + 1410. Is q a multiple of 9?
False
Let z be (-3)/4 + (-114)/(-24). Suppose -a - a + 14 = -2*h, 0 = z*a + 5*h + 17. Suppose 37 = 4*g - a*g + c, -3*c = 4*g - 79. Is g a multiple of 16?
True
Let p(t) = 2201*t + 7818. Does 62 divide p(14)?
False
Suppose 3*m + 6 = w + m, -4*m = -5*w + 18. Suppose 2*z - 2*p = 1872 - 160, -2*z - w*p = -1720. Is 6 a factor of z?
True
Let k = -33 - -35. Suppose -3*v = -0*c - 3*c + 234, k*v = 6. Let q = c - 31. Is q a multiple of 6?
False
Suppose 6*c + 15*c - 210 = 0. Let v = c - -58. Does 17 divide v?
True
Suppose -2*h - 16 = 4*c, -c - 2*c - 11 = 2*h. Is 25 a factor of 11/(88/760)*10/h?
True
Suppose 0 = 2*x - 4*h + 20, 0 = 5*x - 2*h + h + 14. Is (-4)/x*(51 - 31) a multiple of 4?
True
Suppose -54*u + 42*u = -34020. Does 21 divide u?
True
Let a(i) be the second derivative of 5*i**4/6 + i**3/2 + 2*i**2 + 1148*i - 2. Suppose -5*d = -3*s - 19, -7*d = 5*s - 2*d + 5. Does 17 divide a(s)?
True
Suppose 3*i - 5*n + 31 = -i, 0 = -5*n - 5. Is 16 a factor of (-24)/i*(-2868)/(-16)?
False
Let o be (2 - -1)*469 - 5. Let g = o - 876. Does 21 divide g?
False
Let f(h) = h**3 - 25*h**2 + 27*h + 44. Let o be f(24). Suppose -4*u - o = 160. Let j = -28 - u. Is j a multiple of 10?
False
Suppose -44662 = -8*t + 136058. Does 18 divide t?
True
Let b = -41865 - -73949. Does 26 divide b?
True
Suppose 5*l - 82790 = -5*g + 71970, 4*g - 3*l = 123794. Is 25 a factor of g?
True
Suppose 16*y - 44144 = 22496. Does 85 divide y?
True
Let q(s) = -s**3 + 101*s**2 + 226*s + 1683. Is q(102) a multiple of 17?
True
Let o(w) = -3*w**3 - 20*w + 2. Let j be o(-4). Suppose -j = i - 3*i. Is i a multiple of 4?
False
Let l = -918 - -930. Suppose 630 = -z + 3*z. Suppose -15*x + z = -l*x. Does 35 divide x?
True
Suppose -3*i + 693 = 2*b, -5*i - 258 - 69 = -b. Let r = 355 - b. Is 4 a factor of r?
False
Let z be 4 - (3 + -2 - 2). Let w(j) = 22*j - 26. Let i be w(z). Suppose -4*x + i = -40. Is x a multiple of 6?
False
Let p(j) = -28*j + 6 + j**3 - 14 + 27 + 25*j**2 + 10. Does 9 divide p(-26)?
True
Let v = 29333 + -16734. Does 20 divide v?
False
Suppose 84*f - 674664 = -57327 + 162267. Is f a multiple of 47?
False
Suppose -5*y + 1818 - 633 = 0. Suppose -3*x + 236 = 2*n, 0 = -3*x + 4*n - 7*n + y. Does 11 divide x?
False
Let u = 26 - 40. Let w = u + 17. Suppose 0 = -2*i + w*v + 73, 0 = -i - 0*v - 4*v + 9. Is i a multiple of 14?
False
Suppose -5*p + 30 = -120. Does 16 divide (2712/(-20))/((-12)/p)?
False
Let r = 48316 - 32740. Is r a multiple of 24?
True
Let l = 25 + -33. Let v(b) = b**3 + 9*b**2 - 18*b - 1. Let q be v(l). Let d = q - 114. Is 27 a factor of d?
False
Suppose -a = -5*q + 97, 5*q - 2*a = 4*q + 14. Suppose q*k - 6041 = 2599. Does 12 divide k?
True
Let m = 16052 - 8554. Suppose -14*k + m = 9*k. Is k a multiple of 13?
False
Let f be 4 + 0 + -1 + -3 + 3. Suppose -f*o = 6*o - 369. Is 20 a factor of o?
False
Suppose 14*w - 3177 = 2647. Is 16 a factor of w?
True
Let m = 155 + -159. Is (-2)/m - (3 - (-477)/(-2)) a multiple of 54?
False
Suppose 0 = -20*r + 22*r - 78. Let b = r - -21. Is b a multiple of 30?
True
Let s(l) = 29*l - 21*l - 5*l**2 - 6*l**3 - 8*l - 14*l. Is s(-4) a multiple of 24?
True
Let w(f) = 4*f + 19. Suppose 7*m + 3*q = 2*m - 64, m = q - 16. Let b be w(m). Does 2 divide 2*(-6)/4 - (23 + b)?
False
Let f = -40 + 25. Let d be 3/((-8)/f - (-10)/(-30)). Let b(u) = u**2 - 9*u - 26. Is b(d) a multiple of 6?
False
Let p(z) = -z**2 + 13*z - 36. Let a be p(9). Suppose -46*g + 20585 + 26611 = a. Is g a multiple of 54?
True
Let q(k) = 194*k**2 + 3*k - 5*k + 319 - 320. Let n be q(-1). Suppose 0 = -3*c - 4*s + 699 - n, 0 = s. Is 7 a factor of c?
True
Let w = -42 + 2. Let p = w - -54. Suppose v = -v + p. Is v a multiple of 3?
False
Let v be -4 + (4 - 3 - 1). Is 8 a factor of (-6 - v)*(-607)/2 - -3?
False
Suppose -w + b = -2*w + 40, -5*w + 2*b + 200 = 0. Is -30*(w/12)/(-10) a multiple of 10?
True
Suppose 0 = l + 8*l + 6570. Let s = -395 - l. Does 10 divide s?
False
Let x(d) = 13*d**3 - 8*d**2 - 16*d + 35. Let g(q) = 7*q**3 - 4*q**2 - 8*q + 18. Let c = -40 + 46. Let i(k) = c*x(k) - 11*g(k). Does 9 divide i(6)?
True
Let l = 8 + -4. Let w be 4/(1 + (5 - l)). Suppose -1770 = w*n - 8*n. Is n a multiple of 47?
False
Let s(n) = -2*n**3 - 10*n**2 + n + 2. Let d be s(-5). Let p be (-2 - 6/(-9))*d*1. Suppose 0 = x + h - 33, h + p*h - 105 = -3*x. Is 7 a factor of x?
False
Let u(a) = -17*a - 23 + 41*a**2 - 13*a + 2*a**3 + 5*a + 2*a**2. Does 7 divide u(-22)?
False
Suppose g + 163*b = 164*b + 687, -5*g = -4*b - 3441. Does 11 divide g?
True
Let m(s) = s**3 + 4*s**2 - 1. Suppose 20 = -2*b + 14. Let r be m(b). Is r/(-6)*189/(-6) a multiple of 14?
True
Suppose 2*i + 15 = 7*i. Suppose 0 = 5*h + 20, 60 = 4*v - i*h + 584. Let a = v - -235. Does 14 divide a?
False
Let i = -3553 - -4241. Is 4 a factor of i?
True
Let b(i) = 7*i**2 + 43*i - 267. Does 81 divide b(6)?
True
Suppose 12*v - 8*v - 5*n = 51866, -5*v + n + 64801 = 0. Is 105 a factor of v?
False
Suppose -27*p + 36288 = 2*p - 175644. Is p a multiple of 58?
True
Let m = -138 - -140. Suppose 6*n + 476 = m*a + 3*n, -2*n + 238 = a. Does 18 divide a?
False
Is 6 a factor of 6/11 + ((-241155)/(-198) - 63/(-18))?
False
Is (-6 - 77614)*(-4)/(-2)*(-12)/48 a multiple of 44?
False
Let x(q) = 1 + 10*q - 12*q - q**2 + 2. Let m be x(3). Is m/(-2) + 42/14 a multiple of 5?
False
Let n = 1136 - 536. Suppose -23*g = -3*g - n. Is g a multiple of 10?
True
Suppose -80*x + 125395 - 12275 = 0. Is x a multiple of 14?
True
Let m(w) = 5*w**2 - 4*w + 19. Suppose -g + 6*g + 5*v + 35 = 0, 4*g + 3*v + 31 = 0. Let b be m(g). Suppose -8*n = 175 - b. Is 6 a factor of n?
True
Let t = -89 + 99. Let n(m) = m**3 - 9*m**2 - 9*m - 34. Let u be n(t). Does 7 divide (-153)/(-4) - 2/u*-3?
False
Supp