 i(-3). Suppose v*u - 48 = -8. Let x = u - -20. Is x a multiple of 10?
True
Let p be (-16)/(-24) + 32/6. Suppose -5*g + 352 = 2*d, -2*g = -p*g + 3*d + 277. Is 5 a factor of g?
True
Suppose 0 = -s - 3*s + 16. Suppose s*y + 2*j - 20 = 0, -2*j + 16 = 5*y - 4*j. Is y a multiple of 4?
True
Suppose -k + 2*j - 7 = -j, 2*k + 2*j = 18. Let n(p) = -14*p - 17*p + 34*p - 6. Is 5 a factor of n(k)?
False
Suppose 139*j - 2808 = 135*j. Is 32 a factor of j?
False
Let r(c) = 6*c**2 - 4*c**2 + 15*c - 14 - 3*c**2. Let o be r(14). Suppose 5*y - 97 - 23 = o. Is 17 a factor of y?
False
Suppose 3*q - 3654 = -11*q. Does 5 divide q?
False
Is 32 - (-4 - (3 + -3)) - -4 a multiple of 20?
True
Let l(m) = 10*m**3 - 40*m**2 - 8*m + 30. Is 13 a factor of l(6)?
True
Suppose 2*h + 125 + 1051 = 2*s, -h = 2*s - 1167. Does 80 divide s?
False
Suppose -6*q + 613 = -1979. Does 60 divide q?
False
Let p(j) be the first derivative of 4*j**3/3 + 39*j**2/2 + j - 46. Is 11 a factor of p(-10)?
True
Let o(m) = -40*m + 1. Let q be o(-1). Let y = -32 + q. Is 8 a factor of y?
False
Let v be (-1)/(-2) - 22768/(-32). Suppose 0 = -13*w + v + 3838. Is 25 a factor of w?
True
Suppose 2*v - 4 = 0, 4*w + 1643 - 4625 = 3*v. Is w even?
False
Let m be 21/35 + (-634)/(-10). Suppose 5*g + u = 31 + 129, -3*u - m = -2*g. Is g a multiple of 16?
True
Let h(q) = -5*q**3 + q**2 + q. Let z be h(-1). Suppose -1155 = z*k - 10*k. Suppose 0*c + 3*c = k. Is c a multiple of 21?
False
Let i(x) = 12*x**3 - 4*x**2 - 3*x - 5. Let p be i(-4). Is 8/(-5)*p/10 a multiple of 33?
True
Let k(j) be the third derivative of 11*j**5/60 + j**4/12 - j**3/2 + j**2. Let y = -143 + 140. Does 16 divide k(y)?
False
Suppose -2*k + 0*k + 64 = 4*y, -y = -k - 19. Suppose 3*f - y = -2*w, 5*f = -5*w - 22 + 62. Does 20 divide (w/(21/120))/2?
True
Let a = -3 - -38. Let s = 43 + a. Is s a multiple of 14?
False
Suppose 0 = -5*n - 9*w + 7*w + 560, n = -w + 112. Is 8 a factor of n?
True
Suppose 80 = 2*z - 0*z - 4*q, -q = 4*z - 160. Suppose 43*u - z = 38*u. Is u a multiple of 2?
True
Suppose 2485 = 39*g - 1571. Is g a multiple of 7?
False
Let g be (-1)/(1/(118 + 0)). Let p = -63 - g. Is 11 a factor of p?
True
Suppose -4*b - 4*m = 4, -5*b - 3 - 2 = -2*m. Is 1 + (20 - (2 + b)) a multiple of 8?
False
Let r = -135 - -136. Does 5 divide 40 + (-1 + 1)*r/2?
True
Let z = -4 + 9. Suppose -z*i = -2*b - 371, -b + 155 + 222 = 5*i. Suppose -5*a = 25, -3*a = -5*o - a + i. Is o a multiple of 13?
True
Let m = -106 - -101. Let r be (37 - 1) + 2/2. Let z = m + r. Is z a multiple of 11?
False
Let l be (30/8)/((-2)/(-8)). Let q = -4 - -9. Let b = l - q. Does 5 divide b?
True
Suppose -3*j - 1281 = 4*j. Let p = j - -362. Is p a multiple of 17?
False
Let j be -2*(-36)/33 + (-4)/22. Suppose -3 = -2*s + 3*s + j*o, 20 = -4*o. Does 4 divide s?
False
Let c = 1013 - 880. Does 2 divide c?
False
Let g be (-4060)/(-25) - -4*(-2)/20. Suppose 21*d - g = 18*d. Does 42 divide d?
False
Suppose 0 = 4*k - 4*s + 16, -k - s + 12 = 2*s. Is 16 a factor of 52 + (-4 - (0 - k))?
True
Let n = -249 - -301. Does 52 divide n?
True
Suppose c = -5*t + 1, 0*t = -5*c - t + 5. Let b(m) = c - 4*m + 5*m - 59*m**2 + 98*m**2. Is b(-1) a multiple of 9?
False
Let i(t) = 45*t + 155. Does 14 divide i(9)?
True
Let r(z) = 3*z**2 + 43*z + 334. Is r(-7) a multiple of 90?
True
Is 6 a factor of (-8)/(-14) + 66368/427?
True
Suppose -2*r = -3*r. Let i(a) = -2*a**2 - 2*a + 53. Let k(m) = -m**2 - m - 1. Let x(d) = i(d) - 3*k(d). Is 14 a factor of x(r)?
True
Let r be (-3 - 1)*(-1)/2*13. Let o be 4 - (-3)/((-9)/6). Let m = r - o. Is m a multiple of 14?
False
Let v(p) = p - p**2 - 8*p + 4 - 4*p + 2. Let m be v(-15). Let d = m + 99. Is d a multiple of 15?
True
Suppose -741 = 87*x - 90*x. Is x a multiple of 13?
True
Let c = 99 - 96. Does 50 divide (-1144)/12*(-2 - (-2 + c))?
False
Let x = -856 + 1570. Is 17 a factor of x?
True
Let u(r) = -r**3 - 2*r**2 + 4*r + 6. Let x be 17/(-5) - 10/(-25). Let t be u(x). Suppose -n - t*n + 80 = s, 76 = s + 2*n. Is 24 a factor of s?
True
Let q be -1 + 2 + (-16 - -19). Suppose 5*a = q*a + 3. Suppose 0 = -a*f + 73 + 32. Does 8 divide f?
False
Suppose y = 5*b + 14, -5*y + 4*b + 4 = b. Let k = 17 - y. Does 3 divide k?
True
Let f be ((-318)/9)/(4/(-6)). Let b(d) = 28 - d**2 + 14*d - f + 45. Does 8 divide b(14)?
False
Suppose 7*t - 35 = 2*t. Is (-300)/18*(2 - 1 - t) a multiple of 19?
False
Suppose 34*t + 67*t = 20604. Is 3 a factor of t?
True
Suppose 4*c = -3531 + 5031. Is c a multiple of 12?
False
Is 1710/(-6)*(-3 - -1) a multiple of 39?
False
Let w = -30 - -142. Suppose -v - 2*i = -0 - 25, 4*v - w = -5*i. Is 33 a factor of v?
True
Suppose -6358 = -5*w + 3*u - 2*u, u - 6362 = -5*w. Suppose 246 = 11*h - w. Is 32 a factor of h?
False
Let b = 17 - 17. Suppose t - 5 - 155 = b. Suppose 0 = 6*p - 2*p - t. Is 10 a factor of p?
True
Let c be (-30)/(1/9*-3). Let d = c - 76. Is 9 a factor of d?
False
Let d(t) = -2*t**2 + 5*t - 12. Let w(q) = q**3 + 4*q**2 + q - 1. Let r be w(-3). Let x be d(r). Let a = -7 - x. Is a a multiple of 8?
False
Let q(m) = -9*m - 14. Suppose 0 = 2*c - 3*c - 5, 3*n + 13 = 4*c. Let b(w) = -5*w - 7. Let t(k) = n*b(k) + 6*q(k). Is 8 a factor of t(15)?
True
Let k = -66 - -85. Let f = 95 + -28. Let b = f - k. Does 16 divide b?
True
Let x = 101 + -129. Let n = x - -53. Does 5 divide n?
True
Suppose -3*p = -2 - 4. Suppose p*y - 218 = -0*y. Does 15 divide y?
False
Is ((-10)/(-2))/(-1)*(-4)/4 even?
False
Does 4 divide (1 - -2)/((-51)/(-765))?
False
Let p = 48 - -15. Is p a multiple of 7?
True
Suppose -g + 2*g = -34. Let a = 172 + -98. Let x = a + g. Does 9 divide x?
False
Let g = -55 + 63. Suppose 0 = -2*y - g + 22. Is y a multiple of 2?
False
Let b(a) = 24*a + 12. Let p be b(5). Suppose 3*u + 34 = v, 3*v - 3*u = -0*v + p. Is 16 a factor of v?
False
Let d(f) = -2*f**3 + 46*f**2 + 87*f - 1. Let k(u) = u**3 - 23*u**2 - 43*u. Let o(w) = -6*d(w) - 11*k(w). Does 17 divide o(25)?
False
Let l = -60 - -223. Suppose 2*d - k - 276 = 0, -d + 4*k - 25 = -l. Is d a multiple of 14?
False
Let d(w) = -192*w - 60. Is d(-2) a multiple of 26?
False
Let i be (-6)/(-9)*408/16. Does 7 divide (1/4*1)/(i/1972)?
False
Let r = 1146 + 3432. Does 42 divide r?
True
Suppose -18*d + 23504 = -36976. Is 12 a factor of d?
True
Suppose 275536 = 103*h + 51717. Does 41 divide h?
True
Let d = -135 + 195. Is 15 a factor of d?
True
Suppose 1388*p = 1386*p + 648. Is 81 a factor of p?
True
Suppose -2*v = 40 - 10. Let u = 33 + v. Does 9 divide u?
True
Suppose -9120 - 6688 = -76*y. Does 14 divide y?
False
Let s(o) = -3*o**2 - 7*o + 1. Let i be s(-5). Let g = -27 - i. Is g a multiple of 6?
True
Suppose 2*c = 3*c - 24. Let n = -14 + c. Let y = n + -5. Is 3 a factor of y?
False
Suppose -4*h - 31 = -647. Let l be h/8 + 1/(-4). Suppose 5 = 4*i - l. Is 6 a factor of i?
True
Let d be 1 + (0/((-16)/4) - -28). Suppose -b = -d - 6. Is 4 a factor of b?
False
Let k = -27 - -29. Suppose 0 = -4*i + k*w - 3*w + 692, -20 = 5*w. Suppose 2*d + d - i = 3*x, 4*d + 3*x = 218. Is d a multiple of 28?
True
Suppose h + 334*v - 1574 = 330*v, -4*v = -5*h + 7966. Does 15 divide h?
True
Let j = 994 - 283. Suppose -10*f = -13*f + j. Is 22 a factor of f?
False
Is 16 a factor of (-2)/(-9) + -2*16621/(-99)?
True
Is 52 a factor of -1092*(7 + 40/(-4))?
True
Let p = 1604 + -1401. Is p a multiple of 13?
False
Suppose i - 3 = 3*i - j, 5*j = -2*i + 15. Suppose i = x - 7. Suppose x*m - 11*m + 216 = 0. Does 19 divide m?
False
Let r be (-6)/8 + (-171)/(-36). Suppose -r*l + 3*z + 174 = 0, 4*z + 217 = 4*l + l. Is l a multiple of 16?
False
Let k = -925 - -1316. Is 8 a factor of k?
False
Let i be (-672)/(-7) + 5 + -1. Let a = i - -3. Suppose -5*v - 43 = -a. Is 5 a factor of v?
False
Is 35 a factor of -6*(228/(-9) + 2)?
True
Let n = -6 + 8. Suppose 0 = 4*m - 3*m - n*g - 70, -3*g = -5*m + 315. Does 10 divide m?
True
Suppose 4*g = -2*z + 18, 0 = -8*z + 3*z + 5*g. Suppose o - z*y = 36, -3*y - 76 = -4*o - 8*y. Suppose -3*p + 78 = o. Is 4 a factor of p?
False
Suppose 14*l + 7*l = 987. Does 22 divide l?
False
Suppose -6*x + 78 = -3*x. Suppose -x = -2*t + 6. Is t a multiple of 8?
True
Is 79 a factor of ((-948)/(-16))/((-193)/28 + 7)?
True
Let u(t) = 7*t**2 - 8*t - 3. Let d(h) = 20*h**2 - 23*h - 9. Let b(c) = -6*d(c) + 17*u(c). Let p be b(3). Is 31*(2 + p) - 2 a multiple of 30?
True
Let 