*c - 1 = -13 for c.
4
Let c(i) = 8*i**2 + 256*i + 24. Let d be c(-32). Solve -10 = d*b - 26*b for b.
5
Let h(m) = m**3 - 18*m**2 + 16*m + 23. Let l be h(17). Suppose 3*i = -d - 10, 22 = l*d - d - 3*i. Solve 2*t - d = -12 for t.
-5
Suppose -5*y = -16 + 16. Let f(d) = 5*d + 4. Let t be f(y). Solve -12 = t*q - 0 for q.
-3
Suppose 14*j = 4*j - 0*j. Solve j = 7*v - 7 - 14 for v.
3
Let f = 71 - 64. Let g be 7 + (-66)/9 + f/3. Solve 5 = 3*k + g*k for k.
1
Suppose 2*u - 5*u - 5*k + 41 = 0, -3*u - k + 25 = 0. Solve -y - u + 5 = 0 for y.
-2
Let u = -194 - -196. Solve 0 = n + u - 6 for n.
4
Let x(v) = -v**2 + 22*v - 81. Let l be x(5). Solve 14*g - 13*g - l = 0 for g.
4
Suppose 4*o = 2*o. Let d = -13 + 17. Suppose d*g = 5*g. Solve g = 2*t - o*t for t.
0
Let n = 7 + -3. Suppose b - n*z = -15, 2 = 5*b - 4*z + 13. Suppose -x + 2*a + 3 = 0, -x + 1 + b = -3*a. Solve -4 = -x*o + 1 for o.
1
Let o = -5 + 5. Let g be (-121)/(-11) + (-2 - o). Let c = g - 9. Solve c = -9*v + 4*v + 5 for v.
1
Suppose -54*t + 3 = -51*t, -3*g + 19 = 4*t. Solve g*k + 4 = -1 for k.
-1
Let o = -12 + 16. Let v be o/2 + 54/9. Suppose 22 + v = 5*q. Solve 0*t = 2*t - q for t.
3
Suppose 2*c - 24 = 2*x, 9*c - 8*c = -2*x. Solve -10*f + c*f - 10 = 0 for f.
-5
Let s = -71 - -76. Suppose -s*a = -25 + 5. Solve 0 = -6*m + 2*m - a for m.
-1
Let f be 8/(-28) - ((-102)/14 + 1). Suppose -f*u - 9 = -39. Solve u*b - 4 = 6 for b.
2
Suppose -55 = -4*p - r, 3*p = 5*r - 4*r + 50. Solve -38 = p*c + 37 for c.
-5
Suppose -24*x + 147 = -3*x. Suppose 0 = -4*d + 2*q + 26, d + 4*d - 4*q - 37 = 0. Let w = d - 3. Solve 5*v - w = -x for v.
-1
Let z be 8/(-10) - (-348)/(-290). Let l be 2 + -1 - 22/(-2). Let p = z + l. Solve 4*u - p = 2*u for u.
5
Let o be (-37)/(-6) - (-9)/(-54). Let g = 0 - 0. Suppose o*z + 0*z = g. Solve z*r = -r for r.
0
Suppose 3*h - 4*m - 199 = -2*h, 102 = 2*h + 4*m. Suppose -3*j - h = -2*i, i - 21 = 4*j - 3*j. Let b be (-117)/(-15) + 4/i. Solve 0 = -3*z + b + 7 for z.
5
Let h be ((-6)/5)/((-12)/(-90)). Let g be (0*(-3)/h)/(9 + -7). Let o(q) = -q**3 + q**2 - q + 5. Let b be o(0). Solve b*z + g = -20 for z.
-4
Let h be 0 + 169/13 + 1*4. Solve -h*z - 11 = 40 for z.
-3
Suppose -2*q - 20 = -4*q + 4*g, 5*q - 5*g - 45 = 0. Let l = 10294 - 10285. Solve l*v + q = 5*v for v.
-2
Let l(t) = 2*t + 2*t - t**3 + 12*t**2 - 3*t**2 - 17 - 2*t. Let j be l(9). Solve -q + j = -0 for q.
1
Suppose 4*o + 1 = 5*j + 13, -4*o - j + 12 = 0. Suppose 0 = -2*i + 2*v + 8, -4*v + o*v = 4*i - 16. Solve -d = 3*d - i for d.
1
Let l(z) = z + 5. Let b be l(-3). Suppose -2*x = -2*i + 17 + 63, -3*x = 6. Let o = -32 + i. Solve o*k = b*k for k.
0
Suppose 0 = -725*p + 736*p - 220. Solve -12*r + 2*r = -p for r.
2
Let y(w) = -3*w - 1. Let z be y(-7). Suppose -5*x = -x - z. Let p = x + -2. Solve 4*r = p*r for r.
0
Let b(s) = s**3 + 12*s**2 + 10*s - 11. Let v be b(-11). Suppose 3*k - 4*t - 41 = 0, v = -k - 0*k + 4*t + 27. Solve -5*l = -13 - k for l.
4
Suppose 3*s - 5*x - 15 = -2*s, 0 = -3*s + x + 7. Let q be ((-5)/(-2))/(s/4). Suppose -q*c = -0*c - 10. Solve -4 + 2 = c*u for u.
-1
Suppose 9*j - 389 = -317. Solve -j = 18*g + 82 for g.
-5
Let i(c) = 3*c**2 + 12*c + 10. Let r(a) = -7*a**2 - 23*a - 19. Let q(u) = -5*i(u) - 2*r(u). Let g be q(-13). Solve -3 - g = -n for n.
4
Let k(f) = 17*f + 17. Let w be k(-1). Solve -2*r + w*r = -4 for r.
2
Let c(n) = 7*n**3 + n. Let t(v) = -v**3 - 7*v**2 - 9*v + 6. Let i be t(-5). Let x be c(i). Suppose -j - 8 = -o, j - 12 = -4*o - 0*j. Solve o*g = -0*g - x for g.
-2
Let c be (-34)/51 + 4/6. Suppose c*r - 4 = 2*r, 4*w + r = -2. Solve w = 5*n - 0*n for n.
0
Suppose -8*m = -7*m. Let v be 19 + (-1 - (m + 2)). Let u = -10 + v. Solve -u = q + q for q.
-3
Suppose -2*y + 3*i + 15 = 0, -63 = -8*y + 4*y - 5*i. Let c = y + -7. Suppose 3*o - 3 = -5*j + 2*j, 2*j = -c*o + 5. Solve 5 = 5*n - j for n.
1
Suppose 3*w = 10 + 2. Let q be (-3 - 4)*(-2 - (-4)/14). Let c be 3/q*0*(-2 - -1). Solve c = w*o - 9*o for o.
0
Suppose -2*g + y + y - 14 = 0, 0 = -g - 2*y - 4. Let t be g/4 - (-75)/10. Solve -t = -4*s - 18 for s.
-3
Let o = -246 + 248. Solve 2*f = 3*f - o for f.
2
Let a(x) = x**3 + 15*x**2 + 14*x + 10. Let i be a(-14). Solve 0 = -i*l - 3*l for l.
0
Let i(c) be the first derivative of -c**4/12 - c**3/2 - c**2 + 7*c + 11. Let q(l) be the first derivative of i(l). Let w be q(-2). Solve -2 = -w*m + m for m.
-2
Suppose -28*h + 10*h = -72. Solve h*g = 5*g for g.
0
Suppose 0 = 3*p + 2*p - 50. Let j = 5 + -2. Suppose 2*b - j*q + 25 = 2*q, -b - q + 5 = 0. Solve -5*s + 3*s + p = b for s.
5
Let s be (1 - (-3)/6)*18. Suppose -1 - s = -7*u. Solve -b = 3*b + u for b.
-1
Suppose -35 = 31*l + 4*l. Suppose -9 = 3*t + 4*y, -6 = 5*t - y + 9. Let k be 4/3 - l/t. Solve 3 + k = h for h.
4
Suppose -x = -0*u - 2*u + 15, -4*x = -u + 4. Suppose j = -2*p + 4, -2*j - u = 3*p + 3*j. Solve -p*b - 14 - 6 = 0 for b.
-5
Let p = 9 - 11. Let r = 21 - p. Suppose -17 = -5*m - 2, w + 2*m - r = 0. Solve -4*v = -w + 1 for v.
4
Let j(k) = 3*k**3 - 16*k**2 + 8*k - 14. Let w be j(5). Solve -3*c = 7 - w for c.
-2
Let t be 1/(5*5/2950). Let k = 120 - t. Solve 2 + 2 = -k*j for j.
-2
Let f = 111 - 101. Solve 6*h = h - f for h.
-2
Let d(f) = f**3 - 5*f**2 + f - 35. Let u be d(6). Suppose 0 = -c - 1 + 14. Solve u + c = -4*x for x.
-5
Suppose -2 = -3*t + 3*h + 7, -3*t = -2*h - 7. Suppose -5*o - t + 16 = 0. Solve o = 2*f - 1 for f.
2
Let a(b) = -8*b + 51. Let w(t) = 17*t - 102. Let q(l) = 7*a(l) + 3*w(l). Let m be q(9). Solve 7 = -i + m for i.
-1
Let h = -30 + 34. Suppose 1 = -3*r + h*n, -5*r - 2*n = -1 - 6. Solve -s = r + 1 for s.
-2
Let o = 5 - 5. Suppose -f = -3 - 7. Solve 0 = -5*w - o + f for w.
2
Let r(d) = d**2 - 5*d + 12. Let m be r(5). Suppose -m*w = -6*w - 24. Solve -n - w = -0 for n.
-4
Suppose -z + 1 = -2. Let l be 1/z - (-16)/24. Solve 2*u = -l - 9 for u.
-5
Suppose 142*c = 135*c + 14. Solve -1 = -c*w - 3 for w.
-1
Let c = 59 + -58. Let r be (-4)/c - (-64)/8. Solve 0 = -2*h + 12 - r for h.
4
Let t = 84 + -72. Solve 2*p = -p + t for p.
4
Suppose -102*t = -105*t + 3. Solve 0 = -3*l + t + 5 for l.
2
Let a = -47 - -48. Suppose -5*v + 6 = a. Solve -3*i + v - 7 = 0 for i.
-2
Suppose 3*s - 17 + 2 = 0, 5*m = -2*s + 35. Let y be (7 - 6)*(m - 2). Solve c + 4 = y for c.
-1
Suppose 0 = -5*q + 4*a - 74, -5*q - 5*a - 67 = -2*a. Let x(t) = -t**2 - 14*t + 3. Let f be x(q). Solve -b + f + 0 = 0 for b.
3
Let a = 1 - 1. Let o(s) = -3*s + 7. Let i be o(3). Let b = i - -2. Solve b*c - 5*c - 15 = a for c.
-3
Let f(x) be the third derivative of 2*x**5/15 - x**4/24 - x**3/6 + 7*x**2. Let k be f(-1). Solve 0 = -2*d - k - 2 for d.
-5
Suppose 20*g - 40 = 40. Suppose -a - 4*a + 10 = 0. Suppose a*t = -0*z + g*z - 28, 4*z + 3*t = 18. Solve -x + z = x for x.
3
Suppose 3*o - 8*o = -5*v - 225, 5*o = 4*v + 228. Let f = -48 + o. Solve f = 3*l - l for l.
0
Let k(q) = -q**3 + 11*q**2 - 10*q + 2. Let i be k(10). Suppose 4*o = -i*m - 10, -4*m - 4*o = -0*o. Solve -m*r + 7 = 2 for r.
1
Suppose 5*r - 7*z - 10 = -4*z, 2*r + 2*z = 20. Solve r*a + 3 = 8 for a.
1
Let c(z) = -z + 0*z - 6*z**3 + 7*z**3. Let h be c(1). Suppose h = r + 4*r. Solve r = 2*l - 1 - 1 for l.
1
Let n be 16/56 + (-244)/(-28). Solve 4 = 7*a - n*a for a.
-2
Let t be ((-6)/6 + -5)*8/(-3). Solve 17*u - t*u = 4 for u.
4
Let u = -45 - -50. Suppose -7*t + 2*t - 2*k = -35, 3*t - u*k + 10 = 0. Solve 0 = -l + t - 2 for l.
3
Let r(p) = 2*p - 14. Let x be (-132)/60 - (-4)/(-5). Let q be (1/x)/(3/(-90)). Let b be r(q). Solve -n = -b*n + 25 for n.
5
Let a = 22 + -13. Suppose 5*t - 5*p = -5, 5*p = 2*p + a. Solve 2*s = -t - 0 for s.
-1
Let l = 308 + -305. Suppose 15 = 4*b - w, 3*b = -0*b + w + 11. Solve -7 + b = -l*p for p.
1
Suppose 4*d = -4*s, -2*s - d + 4*d + 10 = 0. Suppose 5*c + 4*v = 10, -s*c - 4*v + 26 = -5*c. Let n = 10 + c. Solve 4*y + 24 - n = 0 for y.
-4
Let i(y) = y**3 - 15*y**2 - 18*y + 36. Let f be i(16). Solve -f = 3*p - 4*p for p.
4
Let n = -194 - -213. Solve n*d - 14*d = 25 for d.
5
Let p = -1 + 3. Let j(f) = -88*f**2 + 11*f + 89*f**p + 1 - 4*f. Let s be j(-7). Solve 3*l + s = -2 for l.
-1
Let a be -33*11/66*7*-2. Solve -a*j - 25 = -72*j for j.
-5
Let c(q) = q**3 + 16*q**2 + 28*q + 3. Let o be c(-14). Let s(x) = -x**2 + x. Let l be s(0). Let p be l - 1 - 1/(-1). Solve -2*v + o + 7 = p for v.
5
Let j = 849 + -848. Solve 3*i + j = 4*i f