a factor of a/(-4) + 14/8 + g?
False
Let p = 42099 - 8550. Is 159 a factor of p?
True
Let v = -2281 - -3141. Does 4 divide v?
True
Let u(g) be the second derivative of g**4/6 + 11*g**3 + 53*g**2/2 - 4*g - 17. Is 9 a factor of u(-34)?
False
Let o(a) = -175*a**3 + a**2 + 1. Let u be o(-1). Suppose -u = -9*x + 4566. Does 31 divide x?
True
Let v = 2459 + 3635. Does 79 divide v?
False
Let v be 34/(9 + -4 + (-874)/174). Let b = -542 - v. Is b a multiple of 75?
False
Let q = -36 - 15. Suppose 1664 = 14*t - 40*t. Let m = q - t. Does 2 divide m?
False
Let i be 16/6*(-2 - (-98)/28). Suppose -v = -4*v. Suppose v = -3*x - u + 212, i*x + u + 3*u = 288. Does 21 divide x?
False
Suppose -y = -5*h - 96, -6*y + 252 = -3*y - 3*h. Suppose 51 = 4*b - y. Suppose -41 + b = -2*p. Is 3 a factor of p?
False
Let v(n) = 17*n + 150. Let r = -345 - -345. Does 50 divide v(r)?
True
Suppose v + 12 = -4*c, 2*v - c = 7*v - 16. Suppose 4*w = -5*r + 2105, 5*w - v*r = -0*r + 2580. Is w a multiple of 40?
True
Let b(f) = f**2 + 29. Let v(x) = 18*x**2 + 3*x + 3. Let p be v(-1). Let r = -18 + p. Is b(r) a multiple of 3?
False
Let g = 91 - 60. Suppose 5*o - d + 3 = 38, o - 5*d = g. Is 12 a factor of (-458)/o*(-4 + 1) - -2?
False
Let d(f) = -4*f**3 - 2*f**2 - f**2 - 3 + 5*f**3 - 2*f + 4*f. Let z be d(3). Suppose 5*b - 5*q - 451 + 111 = 0, -b + z*q + 70 = 0. Is b a multiple of 11?
False
Let y(d) = -56*d. Let o be y(-1). Let g = o + -60. Does 11 divide ((-3)/(36/(-136)))/(g/(-66))?
True
Let j = -745 - -856. Let u = -97 + j. Is 2 a factor of u?
True
Let a(t) = 1275*t - 3398. Is a(12) a multiple of 91?
False
Let s be (-392)/(-126) + (51/27 - 2). Suppose 0 = -3*x - r + 1727, 27*x + s*r = 24*x + 1725. Is 32 a factor of x?
True
Suppose -2*l = o - 14516, -7*l + 2*o - 21772 = -10*l. Is 44 a factor of l?
True
Suppose 11*x - 3025 = 6*x. Suppose 0 = f - 1795 - x. Is f a multiple of 16?
True
Suppose -4*b + 201939 = -2*h + 30141, 9 = -3*h. Is 9 a factor of b?
True
Let g = -1749 + 5678. Is 16 a factor of g?
False
Suppose 4*k + 685 - 3045 = -2*i, -2947 = -5*k - 4*i. Let x = -2251 + k. Does 6 divide (-4)/(-26) + 2 + x/(-26)?
True
Let o = 18 + -18. Let b be 1 + 7 - (2 - 2). Suppose -b*m = -o*m - 112. Does 7 divide m?
True
Suppose 3*h - 4*z = 116336, 5*z + 247 = 267. Is h a multiple of 64?
True
Let m = 6672 - 1932. Does 12 divide m?
True
Let y(b) = 12*b**2 + 19*b + 4. Let r be ((-6)/5)/((-696)/80 + 9). Is 12 a factor of y(r)?
True
Suppose -59534 - 856 = -45*s. Is s a multiple of 22?
True
Let i = 100 + -84. Let p be (i/(-12))/(5/(-45)). Suppose 19*v = p*v + 630. Is v a multiple of 16?
False
Let j(c) = 0 + 5 + 11 - 7 + c. Let n be j(-9). Suppose n*l - 7*l + 735 = 0. Is 12 a factor of l?
False
Let c(v) = 786*v + 102. Let t be c(5). Suppose 0 = 4*j - 4*d + 2*d - 4032, -4*d - t = -4*j. Is 16 a factor of j?
True
Suppose -922 = -f + 2873. Is 33 a factor of f?
True
Let k(s) = -s**3 + 9*s**2 - 9*s - 10. Let c be k(5). Let u = c + -29. Suppose 0 = -o + 80 + u. Does 12 divide o?
True
Suppose 3*o - 6 - 12 = 0, y - 2906 = -o. Is 25 a factor of y?
True
Let t(f) = 16*f - 728. Is t(55) even?
True
Let x(s) = -8*s + 170. Let y be x(21). Suppose y*k + 13 - 155 = i, -2*i = 3*k - 213. Is k a multiple of 5?
False
Suppose -8*u = -7*u - 5. Suppose 66 = 2*l + 5*v - u, -120 = -3*l - 3*v. Does 43 divide l?
True
Let c be (146/(-3))/(153/27 + -5). Let g = 84 - c. Is 14 a factor of g?
False
Let f(p) = 24*p**2 - 25*p - 198. Let a be f(-10). Suppose -2*n + 2*m - 5*m + 983 = 0, 0 = -5*n - 2*m + a. Is 26 a factor of n?
False
Let k = 22965 + -15607. Is k a multiple of 13?
True
Let x(z) = 33*z**2 - 4*z + 36. Let f(w) = -7*w - 133. Let q be f(-20). Is x(q) a multiple of 25?
True
Let n be (6 + 75/(-20))*120. Let m = 543 - n. Is m a multiple of 21?
True
Is 3 a factor of 5803/2 + 6/(-24)*2?
True
Is 11 a factor of 14139 + (-61)/((-854)/252)?
True
Let g be -7*(24/(-3))/4. Let h(l) = 3*l**2 - 97*l - 2*l**2 - g + 102*l. Does 5 divide h(8)?
True
Let y(k) = -268*k**2 - 2*k - 13. Let z be y(5). Is 8 a factor of (-5)/(120/z) + (-4)/32?
True
Is (5 + 1 - -6)*167/3 a multiple of 9?
False
Let z(c) = 93*c - 4422. Is 71 a factor of z(59)?
True
Let k = -19 - -35. Suppose -6*b + 5786 = k*b. Does 12 divide b?
False
Suppose -987*i + 996*i - 16038 = 0. Is 9 a factor of i?
True
Let g(m) = -m**3 + m**2 - m + 1. Let t(r) = 6*r**3 - 9*r**2 + 5*r + 2. Let l(v) = 5*g(v) + t(v). Let i be l(3). Is 23 a factor of ((-12)/2 - i) + 47?
False
Let z(x) = 22*x + 35*x + 4 + 3 - 1. Let h be z(3). Suppose -h = -4*v - l, -7*v + 210 = -2*v + 5*l. Is 12 a factor of v?
False
Let r = -10 - -13. Suppose -4*t + 10 = -g + 3, r*g + 2*t = 21. Suppose -2*w = -4*q + 3*w + 340, 5*w = g*q - 420. Does 10 divide q?
True
Suppose 0 = 3*s - 2*d + 327, 4*d + 0*d = s + 119. Let m = 13 - s. Does 10 divide m?
True
Let q(l) = 42*l + 19. Let r be q(-4). Let c = 384 + r. Is 21 a factor of c?
False
Let o(n) = 3*n + 15. Let x be o(-3). Let b be (-4)/(1/((-7)/x) + 1). Does 3 divide b*(10/(-36) + 10/(-45))?
False
Let l(u) be the second derivative of -23*u**3/3 + 8*u**2 + u. Let q be l(-8). Suppose -91 = -o + 5*g, 5*g + q = 5*o - 91. Is 16 a factor of o?
True
Suppose -48*r + 43*r + 65 = 0. Suppose 6*k = r*k + 7490. Does 23 divide 1*7/((-35)/k)?
False
Let m(o) = 3*o**2 - 3*o - 4. Let w be m(-1). Suppose -i + 815 = -5*t + 2*i, 650 = -4*t + w*i. Is 18/5*(-17)/(204/t) a multiple of 6?
True
Let x be (-12850)/(-20) - (-2)/4. Suppose -1017 = -4*r + x. Is r a multiple of 10?
False
Does 45 divide 2656*(40500/80)/45?
True
Let z be 105/(-6)*7/(35/4). Does 19 divide 608/32*(0 - z)?
True
Let c = 7396 - 1572. Is c a multiple of 56?
True
Suppose -26*c + 25*c = -3. Is (c*294)/(68 + -66) a multiple of 27?
False
Let b(u) = 39*u + 80. Let i(d) = -1. Let p(w) = b(w) + i(w). Is 14 a factor of p(10)?
False
Let g(r) = -r**2 + 14*r - 44. Let c be g(4). Does 17 divide c/7 + 7/(392/9552)?
True
Suppose 5*i + 460 - 12955 = -5*w, 2 = -2*i. Is w a multiple of 50?
True
Let m(t) = 10*t**2 + 8*t - 441. Does 27 divide m(18)?
True
Let d(n) = 10*n**2 - 38366*n - 1 + 38384*n - 2*n**3 - 3*n**2. Is 22 a factor of d(-5)?
False
Let l = -236 + 242. Suppose y + 3*r = 332, -l*y + 9*y + 2*r - 1017 = 0. Is 11 a factor of y?
True
Suppose 4*k + 3508 = -177*v + 181*v, 0 = k + 4. Does 170 divide v?
False
Let l(q) = -875*q**3 - 5*q**2 + 3*q - 10. Let w(a) = -219*a**3 - a**2 + a - 2. Let z(r) = -2*l(r) + 9*w(r). Does 17 divide z(-1)?
True
Let v(o) = 51*o + 4. Let n be v(0). Suppose -3*g = -44*r + 47*r - 396, -n = -g. Is 32 a factor of r?
True
Let s(p) = -p**3 + 3*p**2 - 55*p - 390. Does 12 divide s(-6)?
True
Let o(n) = n**3 + 29*n**2 + 47*n + 29. Let p(g) = -5 - 2*g - g**2 - 4 + 8*g + g. Let c be p(9). Is 20 a factor of o(c)?
False
Suppose 3*h = -2*g - 2*g + 72, 0 = -4*g - h + 72. Suppose 7*q - g = q. Suppose q*i - i = -5*z + 91, 2*i + z = 103. Is 13 a factor of i?
False
Suppose 13*p - 5650 - 13837 = 0. Does 30 divide p?
False
Suppose 5*h = r + 378, -5*h + 5*r = 108 - 478. Suppose 71*u = h*u. Suppose 5*o - 4*b = 1359, 4*o - 2*o + 4*b - 538 = u. Is o a multiple of 31?
False
Let f(a) = 4*a**3 - 93*a + 864. Is 16 a factor of f(9)?
False
Let r(h) be the first derivative of h**4/4 + h**3 + h**2/2 + 3*h + 6. Let d be r(7). Suppose -3*f + 2*w = -382, 5*f - d = f + 5*w. Does 13 divide f?
True
Let z(p) = -75*p + 16. Suppose -9*v - 34 - 20 = 0. Does 37 divide z(v)?
False
Let v be (2/(-1) - 84)*3/6. Let b = 42 + v. Let p = 51 - b. Is 4 a factor of p?
True
Let t(u) = -4*u**2 + 41*u - 8. Let q be t(10). Suppose -4*x + 1144 = q*z, z + 11*x = 12*x + 560. Does 14 divide z?
False
Let p be 1*6/3 + 18/(-9). Suppose p = -3*d + h + 9, -4*d + 0*h = h - 12. Suppose -d*b - 2*s = -8*b + 344, b = -4*s + 60. Is b a multiple of 4?
True
Suppose 0*p = -p - 5*r, -2*p = 2*r. Suppose 2*k + k - 990 = p. Is 20 a factor of k?
False
Suppose 0 = -4*a - 2*t + 49708, -7*t + 4*t = -5*a + 62168. Does 21 divide a?
False
Let w be (-28)/154 - 1674/(-11). Let c = -84 + w. Let z = c + 18. Does 43 divide z?
True
Suppose -4*g - 18 - 11 = -3*z, 25 = -3*g - z. Let k be (-315)/(-65) + g/(-52). Suppose k*d - 910 = -8*d. Is d a multiple of 14?
True
Let d = 51658 + -30273. Does 18 divide d?
False
Let v = 2111 + -643. Is v a multiple of 5?
False
Let z be 10*(-1 - -6)/(-5). Let h(t) = -t**3 - 8*t**2 + 19*t - 14. 