8*t + 34. Let o(r) = 2*r - 2. Let z be o(5). Solve -t*i = -z*i for i.
0
Suppose -2*o = 5*t - 79, 12 + 14 = 2*t - 2*o. Solve -f = 2*f + t for f.
-5
Suppose -7*w = -8*w - 6. Let u be -1*(0 + 0 + 1). Let l = u - w. Solve 0*r = l*r for r.
0
Suppose -180 = -10*m + m. Solve -m = -0*d + 5*d for d.
-4
Let r = 0 + 4. Suppose 7 = -3*t - r*i + 33, t - 16 = -5*i. Suppose 14 = 5*z - t. Solve -z*f + 1 = -7 for f.
2
Let r be 3 + -4 + 4*1. Suppose d - r*y - 12 = 0, 4*y = -0*d - 3*d - 16. Solve m - 1 + 4 = d for m.
-3
Let w be 2/3 + (-20)/(-6). Suppose w*a = -a + 25. Suppose 5*c = i - 2 + a, -5*c + 3*i + 9 = 0. Solve 2*h - 6 + 2 = c for h.
2
Let m(p) = p**2 - 8*p - 18. Let z be m(10). Solve -j = j + z for j.
-1
Suppose 0 - 18 = -3*b. Solve -c = -b*c for c.
0
Let u = 7 + -5. Let f(g) = 2*g - 10. Let b be f(7). Let j be ((-2)/b)/(2/(-40)). Solve 0 = 3*x + u*x + j for x.
-2
Let s = 82 - 72. Solve -5*g - s + 35 = 0 for g.
5
Let h = -21 + 31. Let z be (-10)/(-30)*29 + (-1)/(-3). Solve -5*c - h - z = 0 for c.
-4
Suppose 0 = -12*x + 14 + 10. Solve -3*i + 10 = x*i for i.
2
Suppose j + 4 = 10. Let f = j + 6. Solve 8 + f = -4*z for z.
-5
Suppose 2*v + 2 = 12. Suppose -z + 2 = -3*z, z = -v*k + 9. Solve -k*r + 0 = 8 for r.
-4
Let u = -92 + 94. Solve -u*f - 3*f = -20 for f.
4
Let q(o) = -o**3 - 9*o**2 - 20*o - 10. Let h be q(-6). Solve 0 = -2*x - 4 + h for x.
-1
Let c be (0 + 1)/((-6)/12). Let i be -6*c/4 + -1. Suppose -k = -2*k - x + 2, -i*k - 3*x = -2. Solve -n + 9 = -k*n for n.
-3
Suppose 4 = b - 1. Suppose -18 - 12 = -b*c. Solve c - 15 = 3*n for n.
-3
Let t(s) = s**2 + 3*s - 10. Suppose 4*h + 5 = -15. Let a be t(h). Solve a*f = -f - 3 for f.
-3
Let y = 1 - 5. Let r = y - -6. Solve r*l + 0*l - 2 = 0 for l.
1
Let t = 8 + -5. Let l be ((-4)/(-8))/(t/(-6)). Let m be l*0/(9/(-3)). Solve m*p = -p for p.
0
Let i(v) = 4*v**2 - 8*v + 7. Let x be i(2). Solve -x = n - 3 for n.
-4
Let j be 1/(-2)*(10 - 10). Solve 0 = -j*b - 4*b for b.
0
Let n be -2*(-8)/(-4) - 3. Let p be (-3)/n + 18/(-42). Solve p = 4*m - 0*m - 8 for m.
2
Let n be (-7)/(-3) - (-14)/21. Suppose n*d = 4*d - 8. Solve -p = -3*p + d for p.
4
Let a(m) = -m**3 + 12*m**2 - 9*m - 9. Let t be a(11). Solve -5*y + t + 2 = 0 for y.
3
Suppose 2*n + 40 = -4*d - 2*n, 0 = -5*d + 2*n - 36. Let h = 11 + d. Solve 0*t - h = -3*t for t.
1
Let k = 5 - 4. Solve -4*d + k = -15 for d.
4
Let l = 49 + -39. Solve -26 = -4*s - l for s.
4
Let d = -191 + 195. Solve -d = -4*y - 0*y for y.
1
Suppose 0 = 2*b - 4*b + 10. Solve 9 = b*s - 11 for s.
4
Suppose -g = -2*y - 33, 8 - 104 = -4*g - y. Solve z + g = 6*z for z.
5
Let u(l) = 19*l + 3. Suppose -2*c + 5*c - 15 = 0. Let p(t) = 10*t + 2. Let s(i) = c*p(i) - 3*u(i). Let v be s(-2). Solve -3 = -3*m - v for m.
-4
Let b(m) = -m**3 + 20*m**2 + 20*m + 24. Let k be b(21). Solve -7 = -k*s + 2 for s.
3
Suppose -12*u + 6 = -10*u. Let v be -2 + u - (-4 + 3). Suppose -v*k = -3 - 5. Solve -k*d = -0*d for d.
0
Let x(r) = -r**2 - 11*r + 26. Let q be x(-13). Let l(j) = 5*j - 1. Let w be l(-1). Let z be 2*(-2)/8*w. Solve q = 4*t + z + 1 for t.
-1
Suppose -4*b + 10 = 5*n, 5*n = 4*b + b - 35. Solve i = b*i + 8 for i.
-2
Suppose -v + 4*v = 0. Let t = -6 - -11. Suppose -3*b = -2*b - t. Solve v = -0*n - n + b for n.
5
Suppose 19*d = 16*d + 9. Solve -d*k - k + 8 = 0 for k.
2
Suppose 2*c - 19 - 9 = -v, c - 5*v + 8 = 0. Let m(g) = g**2 - 12*g. Let h be m(c). Solve h*n - 4 = n for n.
-4
Suppose -5*a + 12 = -r - 10, 4*r = 4*a - 8. Let o = -4 + 7. Suppose -3*j - o*i + r = 0, 0 = j - 3*i + 4 - 13. Solve 20 = j*w + 2*w for w.
4
Let v = -28 + 15. Let c = 23 + v. Let x = -7 + c. Solve x*l = -l - 8 for l.
-2
Let s(f) = -f**3 - 10*f**2 - 10*f - 9. Suppose 3*a + 4*x = -a + 36, -4*x = -4. Suppose w + a = -1. Let n be s(w). Solve -m + 6*m - 15 = n for m.
3
Suppose -4*x - 8 = -5*x. Let h = 4 - x. Let c be 0 + 1 + (-2 - h). Solve c*v = -2*v - 20 for v.
-4
Let u be (-10)/(-25) + 13/5. Suppose -2*y + 4 = 3*r, y + 4*r = u - 1. Solve 0 = -y*g - g - 9 for g.
-3
Let r(m) be the second derivative of m**5/20 + m**4/4 + m**3/2 + 2*m**2 + 2*m. Let k be r(-3). Let l = k - -8. Solve 3*f - 3 = l for f.
2
Suppose 0 = -2*a + 7*a + 5*b + 5, a = 2*b + 8. Let x = a - -4. Solve -3*l - x = -0 for l.
-2
Suppose 4*u - 4 = 3*u. Suppose 5*o - 3*v = -6, 0 = -o - v - 2 + u. Solve o = 5*m - 0*m - 10 for m.
2
Let y = 7 + -2. Let t(i) = i + 8. Let n be t(-3). Solve 0 = n*q + y - 0 for q.
-1
Suppose 0 = 5*r - 11 - 49. Let b = r + -9. Solve b*o - 2*o = 0 for o.
0
Let y = 8 - -4. Solve -5*s + 2*s = -y for s.
4
Let u(m) = -3*m**2 + 8*m + 6. Let c be u(3). Let a be ((-2)/(-5))/(2/10). Suppose -5*o + 3*o - 3*w + 5 = 0, -a = -4*o + 2*w. Solve -o = -4*h + c for h.
1
Let w(l) = l**2 + 2*l - 1. Let c be w(-3). Let s = 13 + -9. Suppose g - 4*g = 3*j - 33, 0 = s*g. Solve j = c*h + 1 for h.
5
Let w(a) = a + 15. Suppose 5 = -c - 7. Let i be w(c). Solve l = -i*l for l.
0
Let r(i) = -2*i**3 - 3*i**2 - i - 1. Let u be r(-2). Suppose -7*d = -6*d + 3. Let x = d + 6. Solve -u*z = x + 22 for z.
-5
Let l(x) = 4*x**2 + 1. Let y be l(1). Solve -2 - 3 = y*b for b.
-1
Let g(h) = -h**3 + 5*h**2 - 4*h + 3. Let x be g(4). Solve -x + 15 = 3*u for u.
4
Let l(t) = t + 7. Let z be 2/(-4 - -2) - 2. Let a be l(z). Suppose 7*x = 6*x. Solve 0*i + 4*i + a = x for i.
-1
Let f(t) = -t**2 - 6*t - 5. Let b be f(-4). Solve -b*k = -k + 8 for k.
-4
Suppose -3*g + f = -4 - 2, 0 = 3*g - 3*f - 12. Solve 4 = -5*t - g for t.
-1
Suppose 0 = -3*j + 3*f - 72, -5*j + f - 43 = 93. Let o = j - -40. Solve -r = 3*r - o for r.
3
Let z be -1*-1*(-3 - -3). Suppose b + z*b - 138 = 0. Let w be 12/42 + b/7. Solve w = 3*r + 5 for r.
5
Let t(m) = m**2. Let h(k) = -4*k**2 - 9*k + 3. Let d(a) = h(a) + 5*t(a). Let j be d(9). Solve j*f - 7 - 8 = 0 for f.
5
Suppose 0 = 4*y - 4 - 12. Solve y*t = 6 + 6 for t.
3
Let f be (-20)/3 - (-8)/12. Let j be f/(-9)*3 + 1. Solve -j*q + 12 = q for q.
3
Let p = 59 + -39. Let y = p + -18. Solve y*o - o - 2 = 0 for o.
2
Let t be 3 + -3*2/(-3). Let u = 0 + t. Solve 3*z - u = 1 for z.
2
Let b be (-74)/(-10) + (-36)/(-60). Solve 3*g - 7 = b for g.
5
Suppose -5*n + 2*x = -27, x = -5*n - 0*x + 24. Solve -n + 1 = 4*r for r.
-1
Let p(u) = 3*u**2 + 9*u + 9. Let o(a) = -a**2 - 1. Let w(r) = 2*o(r) + p(r). Let n be w(-7). Let h = -2 - n. Solve -4*m + h = -3 for m.
2
Let q = 2 - 0. Let h be (-1*q)/(-1 + 0). Solve -4*i + 18 = -h for i.
5
Let r be 1/1 + -3 + 3. Suppose q = 2*q - 8. Suppose j - r = 3*u, -4*j + 7 = -u - q. Solve -j*w = -0*w - 20 for w.
5
Let i = 11 + -11. Solve -2*d = -i*d + 2 for d.
-1
Let t(z) = -z**3 + 11*z**2 - 9*z - 9. Let l be t(10). Let p(q) = q + 2. Let f be p(l). Solve -3 = -2*x + f for x.
3
Suppose -4*f = -f + b - 10, -5*b = f + 20. Suppose 4*p - 10 = -f*s, 3 - 7 = s + 2*p. Suppose -2*h = 5*u - 25, -7 + 0 = -4*u + h. Solve -u*j + 3 = -s for j.
3
Let k(p) = 2 - 3*p - 3*p - 3 - p. Let x be k(1). Let c = x + 8. Solve -t - t - 10 = c for t.
-5
Suppose 0 = 2*d + d - 3. Let h be 0 + (-1 - d/(-1)). Solve a + 1 + h = 0 for a.
-1
Let z(v) = v**3 - 20*v**2 + 37*v - 8. Let f be z(18). Solve -r = r + f for r.
-5
Let v = 2 - 0. Let b be 2 + v + (-4)/4. Let x be ((-9)/4)/(3/(-8)). Solve 0 = d - b*d + x for d.
3
Suppose -8 = -3*v - 2. Suppose 0 = -v*y - 6, -a = a + 4*y + 8. Solve a*b - 7 - 3 = 0 for b.
5
Let q = -3 + 1. Let z be q*2*(-3)/6. Suppose z*n = n + 6. Solve 0 = 4*w + 14 + n for w.
-5
Suppose 11*m - 100 = 6*m. Solve 0 = -5*k - 0*k + m for k.
4
Let h(u) = 2*u**2 - 2*u. Let w be h(2). Solve -7 + w = 3*o for o.
-1
Suppose -4*d + 5*d = 1. Solve 4*z - 5 = -d for z.
1
Let l = -5 - -5. Suppose 0*q + 3*q = l. Solve 0 = -2*o + 10 - q for o.
5
Suppose -27 - 153 = -12*l. Solve -5*d = -0*d - l for d.
3
Suppose -3*x = 29 - 74. Let t be (-6)/4*(-20)/x. Solve -t*i = -3*i + 3 for i.
3
Suppose 0 = -5*f + 2*b + 2*b + 8, 3 = b. Let n(z) = z**3 + 3*z**2 - 2*z + 4. Let h be n(-3). Solve g + f*g + h = 0 for g.
-2
Let b = 51 - 41. Solve x = 3*x + b for x.
-5
Let c be (-3)/(-2) - (10/(-4))/5. Suppose -2*n + 4*n = 20. Suppose -3*f + 11 = -n. Solve 15 = -f*l + c*l for l.
-3
Suppose 0 = 5*s - 3*p - 26, -5*s + 6*s = 5*p + 14. Suppose -2*n + 4*k - s = k, 4*n + k - 20 = 0. Solve -y = n*y + 20 for y.
-4
Let l be -12 + 16 + 1 + -1. Solve -m = -l*m for m.
0
Let y(t) = -t. Let o be y(-4). Suppose 15 = l - o*h - 9, 0 = 3*l - 