-5*u - 3*o. Suppose 0 = -0*i + 4*i - u. Is 24 a factor of i?
False
Suppose 4*w + 38 = 2*l, -5*w + 3*l - 21 = -3*w. Let q = 53 - w. Is 14 a factor of q?
False
Let k be 7 + (-1326)/(0 + -6). Suppose -1277 = -5*w + 5*v + k, 3*v - 933 = -3*w. Does 17 divide w?
True
Let g = 339 - 334. Does 14 divide (1*8)/(g*(-8)/(-2480))?
False
Let f(b) = -b**3 + 8*b**2 - b + 15. Let w(j) = -2*j**3 + 9*j**2 - j + 15. Let a(l) = 3*f(l) - 2*w(l). Does 3 divide a(-4)?
True
Is 33 a factor of (-30)/35 - ((-1788960)/(-35))/(-6)?
False
Is 68 a factor of 83 + -75 - ((3 - 3) + -3868)?
True
Suppose -s + 3*n + 127 = -2*n, 0 = -5*s - 2*n + 662. Let k = 258 - s. Suppose 296 = 4*t + 4*p, -3*p - k = -4*t + 149. Is 33 a factor of t?
False
Let s = -437 - -842. Suppose -8*a - 405 = -13*a - 2*j, 5*a + 3*j - s = 0. Is 30 a factor of a?
False
Suppose -2*q - 3115 = -4*q + a, 2*q + a - 3125 = 0. Is q a multiple of 15?
True
Suppose 40*y - 4*k + 2992 = 42*y, 3*y - 4494 = -8*k. Does 9 divide y?
False
Let y(i) be the second derivative of i**4/12 - 17*i**3/6 + 97*i**2/2 - 23*i + 2. Does 27 divide y(16)?
True
Is 10 a factor of 2*(-1)/4 + 7626159/958?
True
Suppose -16 = 3*a - 7. Let b be -6*a/9*(-51)/(-6). Suppose 0 = -b*g + 3*g + 1218. Does 29 divide g?
True
Let m be ((-3)/12)/(1 + (-447)/444). Suppose -m + 22 = -5*r. Suppose 3*y - 43 = -y + r*g, -4*y = 5*g - 67. Does 13 divide y?
True
Does 59 divide 3335 - (-1 + (32/12)/8)*9?
False
Suppose 8 = 12*u - 8*u. Suppose u*c = c + 18. Let i = 82 - c. Is i a multiple of 11?
False
Suppose 0 = -5*w + w + 1468. Suppose -2*s + 4*t + 157 + 19 = 0, 5*t + w = 4*s. Let q = -19 + s. Does 10 divide q?
False
Let j = -79 - -83. Suppose -4*x + j*l = -286 - 322, 3*x = -3*l + 474. Is 31 a factor of x?
True
Suppose c - 2*c + 206 = 0. Let f = -131 + c. Let y = f + 93. Is 24 a factor of y?
True
Suppose -2 = -0*i + i, 0 = 2*p - 4*i - 14. Suppose -p*a + 486 = -35*n + 36*n, -4*a + 648 = -2*n. Is a a multiple of 11?
False
Let w(j) = 124*j**2 + 140*j - 1499. Is w(14) a multiple of 195?
True
Let h(o) = 8*o - 73. Let t be h(9). Is 7/((4 + (-87)/21)/t) a multiple of 3?
False
Suppose -2*l + 0*l + 3*y - 432 = 0, 3*l + 642 = 3*y. Let z = 1167 + -1307. Let a = z - l. Is a a multiple of 5?
True
Suppose 133*r - 62658 = 88272 + 5079. Does 2 divide r?
False
Let y(z) = 2613*z**2 + 4*z + 11. Does 123 divide y(-2)?
True
Suppose -8371 = -4*c + 4*x + 2917, -c - x + 2834 = 0. Does 7 divide c?
True
Suppose 0 = 141*x + 128881 - 2897275. Does 7 divide x?
False
Suppose 0 = 5*c + 4*p - 13, 3*p + 9 = 2*c - 10. Suppose -4*m - c*f - 1 = 0, m - 4*f = 5*m. Suppose -m - 4 = -j + 5*w, -4*j + 140 = 4*w. Is j a multiple of 15?
True
Suppose -7 - 13 = -4*n, -j - 4*n = -25. Let z be 7 - ((-1 - 1) + j). Suppose -4*a + 387 = c + 83, z*c - 1291 = -a. Does 54 divide c?
True
Suppose 0 = -2*p - 2*y + 77350, -210*p = -205*p - y - 193393. Does 20 divide p?
False
Let t(p) = -16*p + 7. Let c(i) = 8*i - 4. Let r(z) = 10*c(z) + 6*t(z). Let y(g) = -g - 9. Let v be y(-6). Is 10 a factor of r(v)?
True
Let p(f) = 3*f**2 - 83*f - 12. Let h be p(28). Suppose -h*t + 4047 + 2529 = 0. Is 36 a factor of t?
False
Let a(d) = 46*d + 38. Let s be 28/(-4) - -6 - (-7 - 1). Is a(s) a multiple of 12?
True
Let f be 1 + -3 - 12 - 4. Let s = -17 - f. Suppose x + s = 28. Is 3 a factor of x?
True
Let n = 125 - 137. Is 57 a factor of 30/n*-2 + 52?
True
Let p(f) = f**3 - 16*f**2 + 6*f - 13. Let i be p(17). Suppose -5*h = 4*h - i. Let r = h + -37. Does 2 divide r?
False
Let l = 1401 - 882. Suppose 5865 - l = 6*n. Is n a multiple of 27?
True
Let i(a) = -2*a**3 - 26*a**2 - 4*a - 50. Let w be i(-13). Is (257 - 4) + (2 - w) + -4 a multiple of 79?
False
Suppose 59711 = 36*v - 474133. Does 113 divide v?
False
Suppose -3*y - 205 = 1574. Let v = y - -922. Is v a multiple of 19?
False
Let w(u) = u - 4. Let i be w(10). Let s(g) be the first derivative of 7*g**3/3 - 9*g**2/2 + 7*g - 162. Is 41 a factor of s(i)?
True
Let u(c) = 155*c**2 + 208*c - 1546. Does 95 divide u(7)?
True
Let a be (-12)/(-21) + (-20)/(-14). Suppose 385 = 4*b + l, -2*b + b = -a*l - 94. Suppose -m + b = 2*m. Does 16 divide m?
True
Suppose 24*t - 45404 - 33627 = 18001. Is 70 a factor of t?
False
Let d(b) = 6*b + 74. Let y be d(-13). Does 10 divide y - (684/(-3))/2?
True
Let n = 45866 + -24881. Does 15 divide n?
True
Suppose 0 = -275*n + 290*n - 45600. Is 16 a factor of n?
True
Suppose -5 = 3*w + 7. Let n(a) = -77*a - 33. Does 11 divide n(w)?
True
Let y = -50 - 52. Suppose 5*x + 38 = 828. Let j = x - y. Is j a multiple of 26?
True
Suppose r - 5*x = 39, -5*r + 6*r - 2*x - 24 = 0. Suppose 9*k - r = 22. Is 29 a factor of (10/k)/((-578)/116 - -5)?
True
Let d(r) = -2 + 10 + 2*r**2 - 29*r + 6. Suppose 0 = 3*l - 4*j - 52, 0 = -5*l + 4*j + 54 + 30. Is 18 a factor of d(l)?
False
Suppose -w + 5*g + 914 = -23054, 3*w - 3*g - 71820 = 0. Is 13 a factor of w?
True
Let x(h) be the third derivative of h**5/30 - h**4/6 + h**3/2 - 2*h**2. Let q be x(5). Suppose -q = -4*u + 159. Is 10 a factor of u?
False
Let v = -33 + 41. Suppose -v*f + 1007 = -1337. Does 21 divide f?
False
Let d(c) = c**3 - 14*c**2 + 14*c - 11. Let o be d(13). Suppose -4*t = -4*s + 568, -o = 2*t - 6. Let y = 218 - s. Is y a multiple of 16?
False
Suppose -11*y + 14*y = 5*z + 11505, -4*y - 3*z = -15369. Does 40 divide y?
True
Let f be (1 + 1)*(-85)/(-34). Let v(a) = 4*a**3 + 11*a**2 - 18*a - 5. Is v(f) a multiple of 61?
False
Let q = 100 - 93. Suppose 0 = 14*c - q - 21. Suppose 0*j + c*j = -4*z + 1070, 0 = -z - 2*j + 260. Is z a multiple of 15?
True
Suppose -v + k = -7, -5*k = -v + 6 - 11. Suppose 539 = 3*g + h + 3*h, 5*h = v. Is g a multiple of 8?
False
Let p(t) = -5*t**3 - 9*t**2 - 7*t + 2. Let x be p(-3). Let o = 22 - 11. Suppose n + o - x = -3*a, 46 = n - a. Is n a multiple of 8?
False
Let y = 1175 + 79. Is 22 a factor of y?
True
Let h = 47042 + -27060. Is 103 a factor of h?
True
Suppose 3*p - 5*w = -6, -w + 3*w = 0. Let t be ((-26)/10 - p) + 791/35. Let v = t - -27. Is v a multiple of 7?
True
Suppose 163*o + 172572 = 672819. Is o a multiple of 13?
False
Let w = 457 + -856. Is (8/60*-5)/(1/w) a multiple of 14?
True
Let z be (-3*3)/(-1*(-2)/(-34)). Let i be (4/(-12))/((-3)/z). Let p(q) = -q**2 + 19*q + 1. Does 35 divide p(i)?
True
Let u = -112 - -2677. Does 135 divide u?
True
Suppose 22768*m + 165815 = 22773*m. Does 150 divide m?
False
Let j(f) = -f**2 - 12*f + 43. Let g be j(-14). Suppose -2*c - 9984 = -g*c. Is 48 a factor of c?
True
Let k(c) = -c**3 + 8*c**2 + 3*c - 4. Let j be k(8). Suppose -2*s + 3*i + 283 = -j, s - 148 = -2*i. Is 15 a factor of s?
True
Let z(u) = -3*u**3 - 3*u**2 - 27*u + 1. Let y(g) = 14*g**3 + 12*g**2 + 109*g - 5. Let h(r) = -2*y(r) - 9*z(r). Is h(-7) a multiple of 43?
False
Is (2 - 152)*300674/(-692) a multiple of 15?
True
Let c = -20975 + 30893. Does 38 divide c?
True
Let j(h) = -2*h - 10. Let p be j(-8). Suppose -36 = p*a - 0*a. Is 5 a factor of (-1 - 295/5)/(9/a)?
True
Let r be ((-198)/(-21) + 0)/(2/70). Is ((-72)/(-10))/(10 + (-3297)/r) a multiple of 14?
False
Suppose -11*w + 13*w + 4*m = 922, -5*w + 7*m = -2407. Is w a multiple of 3?
False
Let v be (-24)/(-11) - (-6)/(-33). Suppose 4*c = -2*j + 5334, -v*c + 2652 = -34*j + 30*j. Is c a multiple of 12?
True
Suppose -4 = 5*l - 19. Suppose -b + l*b + 14 = -4*m, -m = -2*b + 11. Suppose 5*v = 2*c - 45, -b*c - c = 5*v - 45. Does 5 divide c?
True
Let s(y) = -y**3 + 17*y**2 - 16*y - 26. Suppose -3*m + 5 = -2*m. Suppose 5*z + m*a - 90 = 0, 3*z + 3*a - 30 = 8*a. Is s(z) a multiple of 23?
True
Let q = 148 - 120. Let a = q - -161. Does 4 divide a?
False
Let n = 23 - 17. Suppose 58*a - 89232 = n*a. Is 78 a factor of a?
True
Let c = 14443 + 2639. Does 39 divide c?
True
Let o(k) = -15*k + 27. Let u(i) = -44*i + 81. Let x(j) = -17*o(j) + 6*u(j). Let s be -15 + 0 + 1/(2/8). Is 21 a factor of x(s)?
True
Suppose -531*h + 18084 = -520*h. Suppose 5*a = 1991 + h. Is 12 a factor of a?
False
Let w = -174 - -272. Suppose 2245 = 103*d - w*d. Is d a multiple of 49?
False
Suppose 28 = -7*g + 3*g. Let w(b) = b**2 + 9*b + 9. Let n be w(g). Is (-4 - 1)*48/n a multiple of 16?
True
Let w(s) = 7*s + 197. Let q be w(-25). Suppose 5*f + 0*z - z = 275, z = -f + 49. Let r = f - q. Is 16 a factor of r?
True
Let y be (-12)/72 + 22/(-12). Let o be 3/1 + (3 - 5 - y). Suppose -o*c + 144 = 3*a, 