 = 0 for c.
4
Let k be (-1)/(3/15)*-2. Suppose -4*h = h - k. Suppose 4 = h*t - 4. Solve n = -t*n for n.
0
Let t be (0/(-2))/((-3)/3 + 2). Suppose t = 16*s - 19*s + 51. Solve 3*x + 2 = s for x.
5
Suppose 104 = -4*d + 520. Solve -p = -108 + d for p.
4
Let u = -218 + 219. Solve -u + 5 = -4*m for m.
-1
Let x be (8 - 9/3) + -1. Suppose 5*u + j - 1 = -0*j, 3 = -x*u + 3*j. Solve 0 = -u*b + 5*b + 10 for b.
-2
Let d be -9*(-2 - 10/(-6)). Suppose -4 = -b, p + 24 = -d*p + 4*b. Let l be (p/(-5))/(5/50). Solve 0 = -3*a + l*a for a.
0
Let v = 39 - 25. Let n = 20 - v. Let k be 200/30 + 2/n. Solve -3*w + 5 + k = 0 for w.
4
Let g be 1/((1 - -2)/6). Let d be (100/(-15))/10*-6. Solve -d*p - 2 = -g*p for p.
-1
Let j be (-1)/(52/(-48) - -4 - 3). Solve -2*n - j = n for n.
-4
Suppose -5*u + 49 = -3*f + 2, 5*f + 20 = 0. Suppose 0 = 3*d - 2*d - u. Let b = -2 + d. Solve 27 - 7 = -b*h for h.
-4
Suppose -26*l = -23*l. Suppose 3*n + l*n = 3. Let p be 33/9 + n/3. Solve p*j + 11 + 5 = 0 for j.
-4
Let s be 4/(-4)*(0 + 2). Let h(b) = -b + 2. Let w be h(s). Solve -w*a + 3 = -a for a.
1
Suppose -2*f + 381*l = 377*l - 32, 0 = -2*l - 16. Let q = 4 + -6. Let g = q + 5. Solve -g = y - f for y.
-3
Let h(o) = -4*o + 146. Let c be h(33). Solve -c*g - 36 = -2*g for g.
-3
Let g(k) = -k - 1. Let u be g(-6). Let s = u + -1. Suppose 0 = s*h - 2*h + 4, h = -4*y + 98. Solve -5*f - y = -10*f for f.
5
Suppose 3*s - 187*l = -185*l + 205, 4*s - 266 = -l. Solve 0 = -64*c + s*c for c.
0
Suppose -c = -2*m + 16, -3*m - 6*c + c = -11. Solve -m*q + 9 - 44 = 0 for q.
-5
Let h be (-3)/(4/(-12)*3). Let g(y) = -y**3 + 5*y**2 - 2*y - 6. Let r be g(h). Solve r*m - m = -15 for m.
-3
Let g(w) = -w - 2. Let o be g(-5). Suppose o*p + 5*c + 14 = 0, 5*p - 5*c - 25 = 5. Let x be (-2)/4 - (-2)/4. Solve 0 = s + p - x for s.
-2
Let o(j) = -6*j**3 - 205*j**2 - 35*j - 32. Let l be o(-34). Solve -6*x + l*x = -20 for x.
5
Let r(n) = 2*n**2 + 29*n. Let p be r(-15). Solve 10*q + p = 5*q for q.
-3
Let n be 72/(-16)*(-4)/3. Let z(p) = p - 7. Let t be z(n). Let f be (2 + t)*-1*-5. Solve f = 2*i - 5 for i.
5
Suppose -v + 3*g - 1 = 0, g - 19 = -4*v + 2*v. Let x be 26/v - 4/16. Solve 0 = x*f + 2 - 5 for f.
1
Suppose -o = -4*i + 12, 2*o + o = 5*i - 15. Solve s + 4*s + 20 = o for s.
-4
Let f = 74 - 71. Suppose -4*v + c = -0*c + f, 9 = 3*c. Solve -5*y + 3*y = v for y.
0
Let u = -749 - -766. Solve 16 = z + u for z.
-1
Let a = 5 + -3. Let b be a/(1*3/6). Let x be 0/((-10)/(-5) + 0). Solve x*i - 16 = -b*i for i.
4
Let f = 767 + -762. Solve 0 = -2*h + f*h + 15 for h.
-5
Let x = -740 - -773. Solve -3 = 10*m - x for m.
3
Let y(w) = 3*w + 5. Let a be y(-3). Let i(m) = -2*m + 5. Let c be i(a). Let k = c + -11. Solve 0*s + k = s for s.
2
Let q be 3/(3/4) - 0. Let a = -1 + 1. Suppose -4*p + 40 = q*n, n = 4*p - a*n - 20. Solve h + 2 = p for h.
4
Suppose -22 = -3*o + 6*l - l, 2*o - 5*l - 18 = 0. Suppose -j = 2*m - 33, -o*j + m = -0*j - 114. Let i = j + -22. Solve -a - 4 = -i for a.
3
Suppose 0 = 11*z - 16*z. Suppose z = g - 2*g. Solve 0 = -m - g + 1 for m.
1
Suppose 5*q = -q + 48. Suppose 0 = 2*f + 2 - 8. Solve -o - q = f*o for o.
-2
Let h = 1 - -32. Suppose 3*a + 2*a - h = -y, 0 = -3*y + a + 35. Solve 5*g + y = -2 for g.
-3
Let p be (-24)/(-3) - 4 - -15. Let l = p - 16. Suppose 3*s - d + 6 = 3*d, 12 = l*s + 2*d. Solve -8 - s = 5*a for a.
-2
Let p(l) be the second derivative of -2*l**3/3 - 3*l**2 - 17*l. Let z be p(-4). Solve -6*u + u = -z for u.
2
Let w = 63 + -61. Solve 18 = w*j + 22 for j.
-2
Let s = 951 + -942. Solve 3 = -3*f + s for f.
2
Suppose 192 - 92 = 5*m. Solve k + m = 5*k for k.
5
Let v = 1337 - 1305. Solve -2*k - v = -10*k for k.
4
Let l be 0 + (3 - 1) + -2. Suppose l*w + w + 11 = 0. Let a be (w - -7)*(-2)/4. Solve a*z - 8 = -2*z for z.
2
Let k(d) = -d**2 + 14*d + 9. Let x be k(12). Suppose w = 5*h + 27, -2*h + x = 4*w + 3*h. Suppose 3*g + 5*b = 56, -g + 2*b + w = 7*b. Solve 5*r + g = -3 for r.
-5
Let f be 3 - ((-2 - -2) + 2). Suppose -5 = r + 1. Let u = 16 + r. Solve 0 = -3*p + u - f for p.
3
Let t = 197 - 193. Solve -t = -4*d - 8 for d.
-1
Let p(h) = -h**3 - 7*h**2 + 6*h - 16. Let s = 35 - 43. Let z be p(s). Solve z = -5*x + 4*x + 3 for x.
3
Let w = -1524 + 1597. Solve 75*j - 10 = w*j for j.
5
Let d = 1 - -3. Solve -5*y - d = -7*y for y.
2
Let t = 15 + -11. Let d = 4 + -1. Solve t*o - d = 1 for o.
1
Suppose -4*s = -16*s. Solve -4*c + 3*c = s for c.
0
Let o(l) = l - 1. Let v(i) = -i**3 + 8*i**2 - 3*i - 1. Let g(p) = 5*o(p) - v(p). Let x be g(7). Let n be (3 - 4)*(-6)/x. Solve -n*k - k = -12 for k.
4
Let h(a) be the second derivative of a**5/20 - a**4/4 - 2*a**3/3 - 3*a**2/2 - 2*a. Let b be h(4). Let i = b - -3. Solve i*t = 2*t + 10 for t.
-5
Let h(c) = -c**3 - 2*c + 6. Let a(w) = w**3 - w**2 + 2*w - 6. Let v(y) = -3*a(y) - 2*h(y). Let s be v(3). Let z = 11 + -6. Solve z*u - 5 = -s*u for u.
1
Let i = 239 - 236. Solve i*s + 10 = 22 for s.
4
Let w = -1599 + 1653. Solve 0 = 2*q - 62 + w for q.
4
Suppose 13*x - 212 = 230. Solve 33*i - x*i = 2 for i.
-2
Suppose 0 = 15*w + 4*w - 133. Solve 8 = 3*r - w for r.
5
Let h = 80 + -60. Suppose 5*w + 2*n = -10, w - 4*n = 4*w + h. Solve 0 = -z - w*z for z.
0
Let i(h) = h**3 + 12*h**2 + 22*h + 20. Let t be i(-10). Solve -6*m - 16 - 14 = t for m.
-5
Suppose 2*t + 185 = 6*t - 5*q, -5*t + 190 = 2*q. Let n be 2 + t/(-22) - (-384)/66. Solve n - 2 = -h for h.
-4
Suppose 1156*f = 1160*f - 24. Solve -f*i + 20 = -10*i for i.
-5
Let v(x) be the third derivative of x**6/120 + x**5/30 - x**4/24 + x**3/6 + 4*x**2. Let m be v(1). Solve 3 = m*a - 0 for a.
1
Suppose 4*z + 0 - 16 = 0. Suppose z*m = -0*m. Solve b + 5 = -m for b.
-5
Let m be -1*1 - (3 - 16). Let r be 6/3 + -2 - m. Let w = 15 + r. Solve 0 = -w*f - 0*f - 6 for f.
-2
Let p = 3 - -1. Let y = -828 - -831. Solve p = -y*g - 2 for g.
-2
Let w = -1 + 5. Suppose 0 = l + w*l. Let c(v) = v**3 - 16*v**2 + 15*v + 6. Let h be c(15). Solve l = 4*f - h*f - 6 for f.
-3
Let g be (-2 - (-7)/3)*15. Let u = 116 - 113. Suppose -u*o = -g*o. Solve o*z + 5*z = 0 for z.
0
Let o(m) = 35*m + 1098. Let v be o(-31). Solve -9*a = -v*a for a.
0
Suppose 41 = -3*z - 49. Let c be 2/(-10) + -4 + (-366)/z. Solve -3*j = -c - 4 for j.
4
Let b(u) = -u**2 + 15*u + 3. Let s be b(15). Suppose o = -s*o - 12, 5*m - 4*o = 27. Let n(r) = -r**2 + 15*r - 5. Let v be n(14). Solve -2*z - v = -m for z.
-3
Suppose d + 4*l + 754 = 6*d, -4 = 4*l. Solve 4*u - 130 = -d for u.
-5
Let g = 16 + -13. Suppose -3*s = -3*i - 63, -3 + 54 = g*s + i. Suppose 2*x - s = -x. Solve 0 = 3*v - 0*v + x for v.
-2
Let r = 5152 + -5151. Suppose 2*s + j = 0, 3*s - 1 = -2*j - 3. Solve r + s = -i for i.
-3
Let w(c) = 2*c + 30. Suppose 4*t + 20 = -2*x, -5*x = 4*t - 3*t + 32. Let i be w(x). Solve -i = 5*a + 7 for a.
-5
Let x = -228 - -234. Solve x*v - 8 = 16 for v.
4
Let w(p) = -5*p - 5. Let c be w(-5). Suppose 5 = x - 4*f, 2*x + f = -0*f + 1. Let a = 7 - x. Solve -c = -2*z + a*z for z.
-5
Suppose -2*z + 22 = 3*d + d, 3*d + 9 = 0. Solve 21 = -4*n + z for n.
-1
Suppose x - c = 25, -4*c = 4*x + 34 - 142. Let v = x - 24. Solve 0 = -5*r + 8 + v for r.
2
Let z be 6/10 + 110/25. Suppose 9*q = z*q + 16. Suppose -t + q = 3*v - 3, -3*t = -5*v + 21. Solve i = -v*i - 4 for i.
-1
Let h = -308 - -331. Solve -25*w = -h*w for w.
0
Let s = 640 + -613. Solve 0 = 5*l + s - 7 for l.
-4
Let j be ((-235)/282)/(1/(-6)). Solve 11*r - j*r - 12 = 0 for r.
2
Suppose 4*s = -9*i + 8*i + 304, -91 = -s - 4*i. Solve s*a - 76*a = 2 for a.
-2
Let i be ((-135)/(-90))/(-4*1/(-168)). Solve 0 = 57*k - i*k - 18 for k.
-3
Suppose 0 = s + 3 - 1, -k + 10 = -5*s. Suppose k = -z - 3 + 7. Solve 7 = l + z for l.
3
Suppose 3*d + 4*z = -10, -3*z + 8 = 2*d - 4*z. Suppose f + 2*i - 7 = 0, -d*f + 4*i + 3 + 3 = 0. Solve -f = s - 7 for s.
2
Let v(g) = 23*g**3 + 2*g**2 + 2*g - 3. Let u be v(1). Suppose 5*y = q - u, 3*y + 6 = y. Solve 4 - q = 5*f for f.
-1
Suppose 0*m = 2*m - 2*z - 14, -3*z = -2*m + 19. Let k be 32/(-56)*(-14)/4. Solve m*t - 8 = k for t.
5
Suppose -4*r - 17 = d, -2*d - 2*r = -r - 1. Solve 0 = d*m + 2*m for m.
0
Suppose -2*k - 1 = -7. Suppose -45*a = -40*a - 55. Solve k*n = a + 1 for n.
4
Suppose 0 = -5*n + 9*n - 128. Let l be n/(5 - 1) + -3. Solve 3*q - 2 = l*q for q.
-1
Suppose m + m - 10 = 5*b, -5*m = -5*b + 5. Let y = 6 + b. Let p = y - 2. Solve p = o + 2*o f