oes 16 divide i?
True
Suppose 0 = 6*f - 7*f - 30. Does 11 divide (f/25)/(4/(-660))?
True
Let p(f) = -4583*f - 419. Is 51 a factor of p(-2)?
False
Suppose -2*q + 5*s + 432 = 42, 3*q + 3*s - 564 = 0. Suppose -14 - 7 = 31*l - 83. Is 2*-2 + q/l a multiple of 7?
True
Let d(a) = 4*a - 28. Let j be d(7). Suppose 3*m = -j*b + 4*b - 1268, 0 = b - 5*m - 317. Is b a multiple of 36?
False
Suppose -35 = -i - 38, -5*i + 14031 = 3*o. Is 12 a factor of o?
False
Suppose -2*n + 11352 = 5*p - 6*n, p - 2253 = -5*n. Is p a multiple of 108?
True
Let v(b) = -2*b**2 + 22*b + 16. Let x be v(12). Let n be 1948/(-18) + -5*x/180. Let r = n + 258. Does 10 divide r?
True
Suppose 0 = -2*i - 4*l + 16808, -24*i + 29*i - l - 41998 = 0. Is 80 a factor of i?
True
Suppose -5*s + 28 = -5*i - 37, 3*s + 3*i = 45. Let x(a) = -11*a - 2. Let c(n) = -28*n - 5. Let l(p) = -2*c(p) + 5*x(p). Does 14 divide l(s)?
True
Suppose 3*h = h + 5*l + 21, -33 = 4*h + 5*l. Let s(x) be the first derivative of -11*x**4/2 - 2*x**2 - 3*x + 78. Does 39 divide s(h)?
False
Let o(f) = 37*f**2 - 42*f + 293. Is o(9) a multiple of 52?
True
Let v be (-6)/(1 - -1) - (-5)/5. Let p be v + 0/(-1) + -1. Let i(h) = 11*h**2 - 4*h + 1. Is 14 a factor of i(p)?
True
Suppose -4*f + 62937 = t, -4*f + 1305*t = 1307*t - 62938. Does 29 divide f?
False
Let h be ((-24)/72)/(2/(-18)). Suppose -1 = i - h*s + 8, -20 = -4*i - 2*s. Is 123/(-6)*(i + -5 - 2) a multiple of 20?
False
Let k be (-12)/(-2) + 9 + -10 + -2. Let z(r) = 3 + 10*r + k + 10*r - r. Is 6 a factor of z(5)?
False
Suppose 9*n + 7*n = 96. Suppose n*p - 898 = -226. Is 56 a factor of p?
True
Suppose -52*u - 236018 = -35*u - 55*u. Is 146 a factor of u?
False
Let v = 12227 + -8462. Is v a multiple of 12?
False
Let t(z) = z**2 - 151*z + 1945. Is 5 a factor of t(0)?
True
Suppose 33 - 537 = 7*z. Let d = -60 - z. Is d a multiple of 6?
True
Let b(t) = 192*t**2 - 17*t + 34. Let w be b(2). Does 25 divide (-7 - -7) + w/2?
False
Suppose -2382 = -m + 31*a - 33*a, 3*a = -m + 2385. Is 8 a factor of m?
True
Let u(d) = 3*d**3 - d**2 - 5*d - 5. Let v(a) = 2*a**3 - 2*a**2 - 4*a - 6. Let c(w) = 3*u(w) - 4*v(w). Let n be c(-4). Does 2 divide ((-18)/n)/3 + 242/14?
False
Suppose 836255 = 55*n + 22*n - 509705. Is n a multiple of 190?
True
Let m(v) = 44*v - 9. Let a(w) be the third derivative of 11*w**4/12 - 2*w**3/3 - w**2. Let k(g) = 5*a(g) - 3*m(g). Is k(-5) a multiple of 16?
False
Does 8 divide (21536/12 + -6)/((-2)/6 + 1)?
False
Let d = 48 - -217. Does 54 divide d?
False
Let z(m) be the first derivative of m**4/4 - 10*m**3/3 + 3*m**2/2 + 6*m - 5. Let b be z(9). Let p = b + 100. Is p a multiple of 6?
False
Let d(c) = -44*c**2 - 7*c - 6. Let t be d(-6). Let v be -2*t/15 + (-2)/5. Let y = -137 + v. Is y a multiple of 20?
False
Suppose 6*p + 26750 = -18*p + 83486. Is p a multiple of 2?
True
Suppose -35*x + 5724 = 71*x. Is x a multiple of 9?
True
Let t(w) = 3*w + 45. Let m be t(-14). Suppose 5*s = m*c - 1688 - 828, c + 2*s = 835. Is c a multiple of 69?
False
Suppose -27367 + 10951 = -108*s. Is 8 a factor of s?
True
Suppose 0 = -b + 5, a + 3*a - 3*b = 33. Is (a + -8)*(-298)/(-4) - 2 a multiple of 13?
False
Let f(q) = 6*q - 46. Let t be f(-7). Is 1122/t*28/(-1) a multiple of 21?
True
Let z(w) = -2*w + 7 - 8 - 12. Let k(r) = -105*r + 513. Let u be k(5). Does 7 divide z(u)?
False
Let t = -523 - -1576. Does 39 divide t?
True
Let c(x) = 24*x - 76. Let q be c(3). Let w(r) be the second derivative of r**4/4 + 2*r**3/3 + r. Does 7 divide w(q)?
False
Let o(i) = -i**2 + 4*i - 9. Let r be o(3). Let m be ((-1)/2*1)/(r/(-708)). Let w = 96 - m. Is 32 a factor of w?
False
Let j(b) = 197*b**2 - 133*b + 8. Is 6 a factor of j(6)?
False
Does 69 divide 13731 + (0 - 0) + (1 - (-3)/(-3))?
True
Suppose -3*o = 53 - 38, -2*y + 4994 = 2*o. Is y a multiple of 36?
False
Is 83 a factor of 10237/(5 - ((-204)/(-54) + (-2)/(-9)))?
False
Let g = 5737 + -4117. Does 18 divide g?
True
Let l = 44634 + -30155. Is 24 a factor of l?
False
Let f(j) be the second derivative of j**5/20 + 2*j**4/3 + 7*j**3/3 - 5*j**2 - 9*j. Let w(b) be the first derivative of f(b). Is 31 a factor of w(-10)?
False
Let n(j) = -18*j - 198. Let z be n(-12). Suppose 13500 = z*y - 2340. Is 22 a factor of y?
True
Let t = -36851 + 51597. Is 10 a factor of t?
False
Suppose -19 = -4*o - 23. Is 17 a factor of (o - -130) + (-378)/54?
False
Let y be (-8 - -131) + 2/1. Let u = -83 + y. Does 4 divide u?
False
Let q(m) = -20*m**2 - 2718*m + 36. Does 79 divide q(-123)?
False
Suppose -6*m + 762 + 1962 = 0. Suppose -5*s - 2*t = 237 - 1361, -2*s = 3*t - m. Is 24 a factor of s?
False
Let l be 1543/5 - 1 - 14/(-35). Let j = l - 35. Does 7 divide j?
True
Suppose 4668 = -47*r + 49*r + 4*t, 8 = -2*t. Is r a multiple of 12?
False
Does 6 divide -2*(-8)/(-32)*10224/2*-7?
True
Suppose 0 = -17*w + 101 + 18. Suppose 11*z = w*z + 3008. Does 7 divide z?
False
Let z(g) = -89*g + 1003. Is 2 a factor of z(8)?
False
Suppose -4*a = -16 - 0. Let f be a/18 + 637/9. Let o = f - 32. Is 24 a factor of o?
False
Is (-4 - 752917/(-33)) + 6/18 a multiple of 16?
False
Let j be 8 + 40/(-4) + 2*3. Suppose -16 = j*i, -11*i = -5*m - 8*i + 282. Is 3 a factor of m?
True
Let m(y) = 6*y**2 + 3*y - 4. Let f be m(-3). Suppose -g = -f - 35. Suppose -9*s + g + 14 = 0. Is s a multiple of 10?
True
Let a(p) = -p**3 + p. Let n(w) = -4*w**3 + 4*w**2 - 3*w - 8. Let t(s) = -3*a(s) + n(s). Is 36 a factor of t(-4)?
True
Suppose 11*s - 172 = 48. Let m(l) = -l**2 + 18*l + 32. Let y be m(s). Is 2 a factor of (-72)/18*(-10)/y*-1?
False
Let o(v) = v**3 + 19*v**2 - v - 24. Let r be o(-19). Let a(g) = -g**3 + 2*g**2 - 7*g + 7. Is 9 a factor of a(r)?
False
Does 20 divide -2 - (-153446)/4 - (222/12 + -19)?
True
Let v = -110 + 56. Let t = 67 + v. Suppose 8*k - t*k = -140. Does 14 divide k?
True
Suppose -2779 - 8621 = -6*m. Suppose 4*y + 2*v = m, -y + 106 + 362 = 4*v. Is y a multiple of 34?
True
Let k(z) = z**2 - 88*z + 2449. Is 30 a factor of k(37)?
False
Let n = -258 - -264. Suppose l + 2*o - n*o - 93 = 0, 2*o = 4. Is l even?
False
Let i(o) = 5115*o + 492. Does 59 divide i(6)?
False
Let z(u) = -2*u + 25. Let d(b) = 1. Let j(h) = -6*d(h) + z(h). Let g be j(0). Suppose 3*m - 97 = -4*q, -q + m = -0*q - g. Does 17 divide q?
False
Let v(m) = m**2 + 12*m - 8. Let k be v(-14). Suppose r - 4 = k. Is (-29)/(-6) + r/144 even?
False
Let t be 0/(-2) - (-6 + 3). Suppose 2*a = -5*i + 21, -t*i + 19 + 2 = 4*a. Suppose -i*r - 48 = -4*r. Is 24 a factor of r?
True
Let s(h) = 14*h**2 - 118*h + 674. Is 8 a factor of s(6)?
False
Let v(q) = 18*q**3 - 4*q**2 + 3*q + 40. Is 11 a factor of v(7)?
True
Suppose -3*m = -m + 4*q + 16, 3*q + 37 = -4*m. Let f(n) be the third derivative of -n**5/30 - n**4 + n**3/3 - 102*n**2. Does 14 divide f(m)?
True
Let f(x) = 999*x**2 - x + 12. Let v(w) = 2995*w**2 - 6*w + 35. Let g(i) = -8*f(i) + 3*v(i). Does 16 divide g(1)?
True
Let d(f) = 10*f**2 - 6*f - 3. Suppose 37 = -u + t, 0 = u - t + 2*t + 41. Let o = u + 43. Is 19 a factor of d(o)?
True
Suppose 104*w - 120348 = 491967 + 262013. Is w a multiple of 10?
False
Suppose -d = 2*y - 13, 999 - 1005 = -y - d. Is 5 a factor of y?
False
Suppose 3*b - 25208 = -5*u, 41*u - 45*u = -5*b - 20196. Is u a multiple of 35?
False
Suppose -947 = -3*r + 55. Suppose -w + r = 96. Suppose w = 9*q - 329. Is 9 a factor of q?
True
Let v = -27 - -29. Let a be v*(-6 + 5 - (4 + -2)). Is (-4)/a*(0 + 252) a multiple of 34?
False
Is (-1740)/(-36)*(28 + (5 - 3)) a multiple of 50?
True
Let m(g) = 310*g**2 + 84*g + 14. Is m(5) a multiple of 33?
True
Let u(w) = -w**3 + 21*w - 3. Let s(g) = -g**3 - 13*g**2 - 14*g - 19. Let d be s(-12). Let o be u(d). Let y = o + 63. Does 4 divide y?
True
Suppose 2*q - 313 = 3*v - 3025, -5*q - 1819 = -2*v. Does 2 divide v?
True
Let y = -1136 + 1598. Suppose y = -424*c + 427*c. Is c a multiple of 9?
False
Let k = 3249 + 19495. Is 157 a factor of k?
False
Let m(w) = 5570*w - 2561. Does 12 divide m(1)?
False
Suppose -37909 - 20979 = 17*w - 21*w. Does 150 divide w?
False
Suppose -3*s + 10 = -6*s - 4*q, -5*s - 6 = 4*q. Let p(d) be the second derivative of 2*d**4 - d**3/6 - 3*d**2/2 + 13*d - 2. Is p(s) a multiple of 12?
False
Suppose 0*w + 10*w = 4*b - 25072, 25048 = 4*b - 4*w. Does 7 divide b?
True
Suppose 25*f + 24 = 33*f. Suppose 2*p - 110 = -2*d, -d + 2*d - 61 = -f*p. Is 4 a 