)/(j/100)?
False
Let i(h) = -4*h**3 + 3*h + 161. Let j(g) = 7*g**3 - 6*g - 322. Let z(n) = -5*i(n) - 3*j(n). Let p be z(0). Suppose 47 = -3*l + p. Is 31 a factor of l?
False
Let q(k) = k**3 + 17*k**2 - 20*k - 32. Let o be q(-18). Suppose 0*l = -o*m + l + 1943, 0 = -4*m - l + 1945. Is 54 a factor of m?
True
Let g be 2044/8*(-12)/(-21). Suppose 4*d + g = 554. Is d a multiple of 8?
False
Let m be (6 - 12) + (0 - 242). Let x = m + 599. Is 30 a factor of x?
False
Let b = 7908 + 1717. Does 11 divide b?
True
Suppose -3*s + 29 = 20. Let k(l) = -5*l + 3*l + s - 48 - l. Does 6 divide k(-20)?
False
Let w(g) = -g**3 + 93*g**2 + 123*g + 113. Is w(93) a multiple of 96?
False
Let c(s) = -s**2 - 5*s + 1. Let m be c(-4). Suppose -3*z - q - 2*q = -261, -m*z = -3*q - 475. Let h = -14 + z. Is 28 a factor of h?
False
Let q be -3*((-3 - 61) + 6). Let j = 240 - q. Does 11 divide j?
True
Let c(j) = -j**3 - 6*j**2 + 8*j + 9. Let f be c(-7). Suppose -f*h = -4*w + 9 - 761, -1132 = -3*h + 2*w. Is 21 a factor of h?
True
Let k(y) = y**3 - 9*y**2 - 3*y - 6. Let n be k(10). Let d = n - 51. Suppose 0 = -3*t + 15, t = a - 4*t + d. Is 3 a factor of a?
True
Suppose 16 = -6*p + 412. Let l(t) = -t**3 + 7*t**2 - 5*t - 6. Let r be l(7). Let i = p + r. Is 5 a factor of i?
True
Let m(f) = f**3 - 4*f**2 - 19*f - 20. Let k be m(-5). Suppose 2*p = -0*p - 4*u - 534, -2*u = 2*p + 532. Let h = k - p. Does 16 divide h?
False
Let v(h) = 424*h**2 - 783*h + 10. Does 8 divide v(-5)?
False
Suppose -6*y + 26 - 140 = 0. Let s = y - -19. Suppose 4*q - 72 = -o - 0*o, s = 2*q - 3*o - 36. Is q a multiple of 18?
True
Let x(u) be the first derivative of u**5/60 - u**4/12 + 9*u**3/2 + u**2/2 + 1. Let o(n) be the second derivative of x(n). Is o(0) a multiple of 27?
True
Let o(n) = 2854*n**2 + 14*n - 39. Let m be o(8). Is 63 a factor of (-1)/10 + m/290?
True
Let b = -136 - -200. Let j = 62 + b. Is j a multiple of 42?
True
Suppose 43*r = -523114 + 2904626. Does 46 divide r?
True
Let q(o) = -o**3 + 48*o**2 + 156*o - 101. Is q(48) a multiple of 83?
True
Let u = -1176 + 3181. Suppose 6*t = t - u. Let w = -203 - t. Is 22 a factor of w?
True
Suppose 58*g - 1653065 - 2361985 = 0. Is 13 a factor of g?
True
Suppose 28 = g - 4*q, -q - 3*q = 16. Let r(o) = 3*o - 3*o - 14*o - g + 2*o**2. Is 12 a factor of r(12)?
True
Let t(k) = -13*k - 147 - 126 - 136 + 20*k - 75*k. Is 9 a factor of t(-8)?
True
Let p(v) be the second derivative of 0 + 1/12*v**4 - 4*v + 5/3*v**3 + 20*v**2. Does 17 divide p(-16)?
True
Let o(c) = 37*c - 34. Let s(w) = 4*w**2 - 2*w + 1. Let l be s(-1). Is 9 a factor of o(l)?
True
Let g = 37911 - 23299. Is 30 a factor of g?
False
Let t be (-2)/(-1)*103/2. Suppose 67*s + 31*s = -588. Does 16 divide (-1)/((s/(-12))/(t/(-2)))?
False
Is 44 a factor of (3/((-3)/(-4)))/(45/((-1129545)/(-18)))?
False
Let m = -83460 - -128702. Is 10 a factor of m?
False
Let p = -173 - -202. Let s = p - -76. Is s a multiple of 13?
False
Let m be (-4 - -8 - 2) + 0. Suppose m*i = 1540 + 1040. Is i a multiple of 40?
False
Let m be ((-16)/(-20))/((-6)/(-45)). Suppose -5*g = -2*v - 2304 - 391, -v = 2*g - 1069. Suppose g = m*z - 219. Is z a multiple of 14?
True
Let r(h) = 568*h**3 - 11*h**2 + 2*h + 9. Does 5 divide r(1)?
False
Suppose 4*g + 7624 = 2*m, -m + 4*g + 1442 = -2358. Is m a multiple of 68?
False
Let j(m) = 31*m**2 - 22*m**2 - 2*m + 2*m**3 - m**3. Let a be j(-6). Does 5 divide a/16*(1 + 1)?
True
Is 9 a factor of ((128/240)/(2/1041))/((-14)/(-35))?
False
Suppose 0*f - 99050 = -6*f + 71698. Does 102 divide f?
True
Let q = 328 - 315. Suppose 2921 = q*i - 498. Does 11 divide i?
False
Suppose 4*g + 72 = -5*m - 43, 5*g = m + 23. Is 27 a factor of (-21 - m)/(5/((-810)/(-4)))?
True
Suppose 0 = 63*k - 28*k + 980. Is 9 a factor of (126/k)/((-4)/24)?
True
Let k = 6613 + 2444. Is k a multiple of 92?
False
Suppose h + 5*b - 15 = -2*h, -5*h + b + 25 = 0. Suppose 5*q = -4*z + 2492 + 408, -h*q = -4*z + 2940. Does 10 divide z?
True
Let r be ((-3934)/(-4) + -1)/((-21)/(-84)). Suppose -7*z + r = -732. Is 13 a factor of z?
False
Suppose -38*s = -34*s - 544. Suppose -2*l - 185 = -m + s, 3 = l. Does 35 divide m?
False
Suppose -79*g + 2130751 = 260426. Is 25 a factor of g?
True
Let s be 6*-1*31/(-1). Let k = s + -121. Is (-16)/10*k/(-2) a multiple of 26?
True
Suppose 3*k = 10*k + 5712. Let u = -551 - k. Is 25 a factor of u?
False
Does 10 divide ((-244662)/6776)/((-4)/462) + 6/(-16)?
True
Let a(w) be the first derivative of 49*w**2/2 - 77*w - 51. Does 10 divide a(7)?
False
Let w = -37 + 61. Is w/36 + (-102)/(-9) a multiple of 6?
True
Suppose 13668 + 7514 = 34*m. Suppose -5*z + 816 = -2*x, -37 = -4*z + 4*x + m. Is z a multiple of 27?
True
Let l(z) = 32353*z - 96. Is l(2) a multiple of 14?
True
Suppose -4*z + 2*w + w = -36, 0 = -4*z - 2*w + 16. Suppose z*n = 439 + 47. Is n a multiple of 38?
False
Suppose f + 19 = 2*g + 6*f, 5*f = 2*g + 11. Suppose 3520 = 5*d + g*y, 3*d - 6*y = -y + 2081. Does 27 divide d?
True
Suppose -i = -4*i - 33. Let s(n) = n**2 + 9*n - 17. Let r be s(i). Suppose -4*u + 109 = r*t, -3*t + 89 - 21 = 5*u. Does 7 divide t?
True
Suppose -101*j + 1359050 = 55*j + 19*j. Does 3 divide j?
False
Suppose -5*u - 6*x = -7*x - 598, 356 = 3*u - 2*x. Suppose 0 = 116*f - u*f + 164. Is f even?
False
Does 56 divide (-15644)/(-1) - (-9 + 23)?
False
Let c(r) = -3*r + 92. Let u(f) = -f + 19. Let o be u(11). Suppose 0*t - o*t = -3*t. Is 17 a factor of c(t)?
False
Let u(w) = -w - 1. Let x be u(-3). Suppose -5*c + g = -27, -5*g + 0 + 3 = -x*c. Suppose -c*l + 10 = -638. Is l a multiple of 12?
True
Suppose 0*d + 420 = 6*d. Suppose 18*r = 13*r + d. Let t = r + 16. Does 11 divide t?
False
Let q be -4*(-1)/8*2 + -4. Does 21 divide (-1)/(q/6*(-2)/(-167))?
False
Does 9 divide 5651 + -207 + (12 - 1)?
False
Suppose -5*u = 3*s - 19, 31 = 5*u + 2*s + 10. Suppose -u*b - 36 = -2*b. Does 22 divide -3*(640/b)/5?
False
Let n(p) = -p**3 + 6*p**2 - 6*p + 9. Let r be n(4). Let f(i) = r + 7*i - 11*i + 5*i. Does 5 divide f(11)?
False
Suppose -5*b = -28 - 12. Let j(o) = -o**2 + 16*o - 20. Let w be j(b). Let d = -23 + w. Is d a multiple of 21?
True
Suppose o + 2*f = 14, o = 4*f - 4 - 12. Suppose -3*x + 196 = 6*p - o*p, 0 = 2*p - 4*x - 182. Is p even?
False
Let x be 55/44*(-2 - -6). Suppose -2 = -x*g - 22, 5*g + 148 = 2*b. Is 8 a factor of b?
True
Suppose -13*x + 166*x = 893826. Does 46 divide x?
True
Let d = 66 - 35. Let j be ((-10)/(-3))/(2/(-6)). Let z = j + d. Is 7 a factor of z?
True
Suppose 0 = -24*z + 42*z - 11592. Is z a multiple of 3?
False
Let i(d) = d**3 + 9*d**2 + 21*d + 19. Let f(m) = -m**3 - 8*m**2 - 21*m - 19. Let x(a) = 6*f(a) + 5*i(a). Is x(-8) a multiple of 67?
True
Let d(w) = -13 + 0 + 0*w - 8 - 18*w. Does 15 divide d(-7)?
True
Is 281459/4 + 264/(-96) a multiple of 18?
True
Suppose 0 = 4*o - 3*z - 6, -o + 5*z - 5 - 2 = 0. Let u be 1/(-1) + 16/4. Suppose y + 575 = 2*d, -o*y + 0*y = -u. Is 36 a factor of d?
True
Suppose t - 3 = -b, 2*t - b + 2 + 1 = 0. Suppose -7*c + 0 - 28 = t. Does 10 divide (-2 - 4/c)*(-164)/1?
False
Let a = -239 - -226. Does 4 divide a/65 + 0 + (-221)/(-5)?
True
Suppose -3*h = -17*h + 29988. Does 18 divide h?
True
Suppose -2*x - 27 + 5 = 0. Let v(d) = -7*d - 1. Let s be v(x). Suppose 2 = y - s. Is y a multiple of 10?
False
Suppose -2*b + 103*h - 100*h = -46359, h + 347671 = 15*b. Is b a multiple of 132?
False
Does 9 divide 836*-1*(-18 - -9)?
True
Let h = -278 - -278. Let m(n) = -n**3 - n**2 + 4*n + 27. Is 8 a factor of m(h)?
False
Let x = -2398 + 1403. Let o = 528 + x. Let l = -264 - o. Does 16 divide l?
False
Suppose 14*r = -35 + 7. Does 6 divide (-1463)/(-22) - (0 + 3/r)?
False
Let h be 67*(-3)/(-3) + 1 + -3. Let n = -38 + h. Suppose 30*y - 126 = n*y. Does 21 divide y?
True
Let z(h) = h**3 + 8*h**2 + 126. Let g be z(0). Suppose g*w = 128*w - 258. Is 21 a factor of w?
False
Let b(k) be the first derivative of k**3 + 25*k**2 - 48*k - 10. Is 19 a factor of b(-22)?
True
Let u be ((-1048)/(-10))/((-46)/(-230)). Let y(m) = -m**3 - 7*m**2 + 8*m - 4. Let c be y(-8). Is 1 + (c/(-22) - u/(-22)) a multiple of 12?
False
Let r be 14 - 0 - (-1)/((-15)/45). Suppose -r*g = g - 1440. Is 8 a factor of g?
True
Is 32 a factor of (-436)/(-1417) + 32028/13?
True
Let k = 77 - 63. Suppose -k*i = -5*i - 720. Does 8 divide i?
True
Let b(c) = -6*c + 124. Let h be b