t. Solve -i + d = -4 for i.
4
Suppose -16*a + 13*a = 39. Let i = -12 - a. Solve 0 = -2*b - i - 9 for b.
-5
Let a(t) = 4*t + 11. Let h be a(-6). Let y = h + 16. Suppose 0 = -y*v + 4*c - 9*c + 40, 2*c = -2*v + 20. Solve 3*o = v*o - 8 for o.
4
Let h(z) = 2*z**3 - 3*z**2 - 2*z + 5. Let t be h(2). Solve 3*u - 16 = -t*u for u.
2
Let i(n) = -n + 25. Let t be i(10). Suppose 8*c = t*c. Let s = 2 - 0. Solve j - s*j = c for j.
0
Let s(y) = 2*y**2 + 21*y - 74. Let h be s(3). Let m = -7 + 15. Solve h = -3*n - m for n.
-5
Let w(i) = i**2 - 5*i - 6. Let n be w(7). Let x = 11 - n. Let t be 0 + x/(-2)*-6. Solve 3*s + 3 - t = 0 for s.
2
Suppose -7*j + 41 = 153. Let c = j - -17. Solve -2*b - 5 + c = 0 for b.
-2
Let g = 114 + -69. Solve -g + 33 = -3*i for i.
4
Let c(r) = 2 - 4 + 3 - 4*r - 3*r. Let k be c(-1). Let b(x) = -x**3 + 9*x**2 - 7*x + 12. Let y be b(8). Solve -y = -3*t + k*t for t.
-4
Suppose f - 37 = 5*q, -3*f - 4 = -5*f - 4*q. Suppose 2*o + f = 16. Solve -o*m = -0*m - 2 for m.
1
Let c be -8 - -16 - (4 + -1). Solve c*t - 4 + 29 = 0 for t.
-5
Suppose 0 = -11*p + 9 - 9. Solve 0 = -p*z - 9*z + 45 for z.
5
Let i = 570 - 558. Solve -i + 2 = -5*a for a.
2
Let c(b) = b**3 + 9*b**2 + 11*b + 18. Let q be c(-8). Let r be ((-5)/(-5) + (-34)/q)*3. Let a be (1 - 0) + 1 + 1. Solve a*x + x = -r for x.
-5
Let x be 57/6 - (-16)/(-32). Solve -x + 33 = 8*h for h.
3
Let k be (-1 + -24)/5 + 3. Let z(x) = 5 - x + 0 - 5. Let n be z(k). Solve c = -n*c for c.
0
Suppose 3*u + 15 = 8*u. Let q(h) = h + 10. Suppose l - 2 = -2*n - 4, -3*l + 4 = -4*n. Let z be q(l). Solve -4 = u*k - z for k.
2
Let r(j) = j**3 + 10*j**2 + 13*j - 14. Let c be r(-8). Solve -c + 1 = -3*l for l.
3
Let b = -23 + 28. Suppose 6*o = b*o. Solve o = n - 1 for n.
1
Suppose 0 = 36*c - 32*c - 3*b, -b = -4*c. Solve 3 = -r - c for r.
-3
Suppose -3*v + 70 = 25. Suppose 0 + 4 = 2*s. Suppose v = y + 3*c, -s*y = -3*y - 5*c + 25. Solve y = -5*o - 7 - 13 for o.
-4
Let r be (10 - 18)*1/(-2). Let n(f) = 4*f + 4. Let b be n(r). Solve 5*v = -0*v - b for v.
-4
Let k be 48/72 - ((-15)/(-9) - 1). Solve k = -c - 34 + 39 for c.
5
Suppose -3*q - 13*a + 12*a = -4, -3*q = -a - 8. Solve -q*g - 11 = -1 for g.
-5
Suppose 0 = -4*v + 2*n + 110, 3*v = 13*n - 8*n + 100. Solve -3*w = -8*w - v for w.
-5
Let m(r) = -33*r - 282. Let s be m(-9). Solve -87*l = -82*l + s for l.
-3
Let t be (2 - 1) + (-8 + 26 - 12). Solve 0 = -4*n - 5 - t for n.
-3
Let z = 11 - 9. Let o = 36 + -28. Suppose -o + 43 = 5*y. Solve z*u - y = 3 for u.
5
Let r be (14/21)/((-2)/3). Let p be -1 + 4 - (2 + r). Let n be (-1)/((-1)/6*2). Solve p + n = -5*i for i.
-1
Let k(z) = z**2 - 17*z + 2. Let h be k(17). Suppose -j = h*j - 84. Solve 5*v + j - 3 = 0 for v.
-5
Suppose d + 2*d - 12 = 0. Suppose q + 0*q - d = 0. Suppose x - q*x = 0. Solve 4 + x = 2*f for f.
2
Let l be 174/3045 - 416/(-70). Let r = -4 - -7. Solve r*g + l = 3 for g.
-1
Let a be (-2)/8*3 + (-9849)/(-588). Solve 0 = 4*x - a + 12 for x.
1
Suppose -2*f + 48 = 4*i - 68, 0 = 2*i - 2*f - 52. Solve 0 = -0*v - 7*v - i for v.
-4
Let z(x) = -x**2 + 25*x - 77. Let g be z(21). Solve -g*j - j = 8 for j.
-1
Let z(o) = o**2 - 20*o + 25. Let a be (-2)/4*7/(14/(-76)). Let v be z(a). Suppose 6*x = -5*n + 3*x + 4, -5*x = 10. Solve -u - n*u = -v for u.
2
Let z be (-30)/(-14) + 1/(-7). Suppose -4*p - 2*h = -2, 0 = -2*p + z*h + 5 + 5. Suppose -5 = -p*c + 1. Solve 0*s = -c*s + 12 for s.
4
Suppose m - 55 = 5*n - 2*m, 25 = -5*n - 3*m. Let o = -22 - n. Let b = 14 + o. Solve b*f - 4 = f for f.
-4
Suppose 0 = -3*c - 3*d + 1 + 17, 2*c = 3*d + 17. Suppose -12 = y - c*y. Solve 4*z - 6 = -y for z.
1
Suppose -4*s - 1 = -x - 8, -4*s + 5 = -3*x. Suppose 13 = s*f + 1. Let q be ((-9)/(-6))/(f/36). Solve 4 = 5*d + q for d.
-1
Suppose 0 = -i + 2*g + 16, 3 - 47 = -5*i + g. Suppose -i*c + 6 = -18. Solve -5*z + 10 = -c*z for z.
5
Let h be 9 + -1 - (-76 + 80). Solve 0 = 12*k - 16*k - h for k.
-1
Let v(t) = 4. Let q(k) = -k + 1. Let y(m) = q(m) - v(m). Let g be y(-3). Solve -2*r - 1 + 9 = g for r.
4
Let h be 1/(1/3) + (-14 - 227). Let f be 3*(-2)/(-33) - h/22. Let t(p) = p - 1. Let d be t(3). Solve d*g + 1 = f for g.
5
Suppose -5 + 17 = 4*b. Suppose 0 = -y - b. Let v be ((-35)/15 - y)*9. Solve -v*m = -2*m for m.
0
Let x(o) = o**3 + 8*o**2 + 2*o + 6. Let d be x(-8). Let u = 14 + d. Let m = u - 2. Solve -2 - 6 = -m*p for p.
4
Let a = 2 - 0. Suppose 3*t = -a*t - 50. Let h = -8 - t. Solve 2 + 2 = -h*k for k.
-2
Let k be 10 - (3 + -6 + 9). Solve -6*x - 4 = -k*x for x.
-2
Let o(l) be the first derivative of -l**3/3 - 9*l**2/2 - 8*l + 43. Let t be o(-7). Solve 0*m + 3*m + t = 0 for m.
-2
Let d = 36 - 34. Suppose -3*w + d*n + 1 = -7, -4*w + 44 = 4*n. Solve 4*b - b = w for b.
2
Let l be (-480)/4080 - (-378)/34. Let w be (-1)/(2/(-8)*2). Suppose i + 3*i - 24 = -w*m, m + 4*i = 20. Solve 0 = -m*y + 3 - l for y.
-2
Let q be (-1)/(-2)*(4 - 2). Suppose 5*z - 3*n = n + 140, 3*z - 4*n - 92 = 0. Suppose 2*y + 4*t - 9 = 3*y, -3*y - 5*t = -z. Solve y*i = 2*i - q for i.
-1
Let k = -727 - -730. Solve k*b - 2*b = 4 for b.
4
Let s = 1802 + -1758. Solve -3*p + 25*p - s = 0 for p.
2
Let m = 2307 + -2304. Solve s + 4 = m for s.
-1
Let n be 1*1*(7 + -2). Solve 0 = n*m + 20 for m.
-4
Suppose 252 = -530*w + 558*w. Solve 7*a = w*a + 2 for a.
-1
Let j be 2482/153 - 4/18. Let f = j - 11. Suppose 4*r = 8, v + 3*r - f = 2*r. Solve v*l = l for l.
0
Let d be (22/10 + -1)/(6/(-30)). Let f be 4/(8/d)*(-15)/9. Solve 0 = -9*w + 4*w + f for w.
1
Let z(b) = -4*b - 3*b - b + 9*b - 5. Suppose -2*m + m = -6. Let i be z(m). Solve q = -0*q - i for q.
-1
Let w be (0 + 12)/3 - 0. Suppose 0 = -0*q + w*q - 16. Solve 0 = d + d - q for d.
2
Let r be (-30)/(-7) + (-252)/882. Let k be 1/(-1)*(1 + -1). Solve r*b + 6 + 10 = k for b.
-4
Let i(z) = 2*z - 1. Let p(l) = -l**2 + 6*l - 8. Let u be p(6). Let a be i(u). Let d = -15 - a. Solve 0 = x - 2*x - d for x.
-2
Let a = 123 - 42. Let z be 342/a + (-4)/18. Let p(l) = -6*l**3 + 1. Let u be p(-1). Solve -z*y + 13 = -u for y.
5
Let j = -51 - -48. Let v(w) = -2*w + 2 - 5 + 2. Let k be v(j). Solve k*g - 10 + 0 = 0 for g.
2
Suppose 2 = 3*o - 4*k - 2, -2*o + 4*k = 0. Suppose 0 = j - 3*j + o*i + 28, -4 = 2*i. Suppose 6 = 4*b - j. Solve -b*m = -9*m for m.
0
Let u be -9*(-4 - -14)/1. Let b be (-36)/(-10)*u/(-54). Solve b = -4*s - 2 for s.
-2
Let m = 1054 + -1039. Solve 0 = -13*t + 8*t + m for t.
3
Let v(h) = 2*h**3 - 14*h**2 - 4*h + 29. Let m be v(7). Suppose -b = -4*x + 39, -4*x + 3*b + 19 + 10 = 0. Solve 4*o + m = -x for o.
-3
Suppose 3*i + 0*i - 34 = -5*v, -3 = -3*v + 4*i. Suppose 6*x = 11 + 13. Suppose 3*h - 54 = -x*k, k = 3*k - 3*h - 36. Solve 10*l = v*l - k for l.
-3
Let r = -949 - -953. Solve -12*f + r = -14*f for f.
-2
Let y be (-3)/5 - 3872/(-220). Solve y*p + 5 = 18*p for p.
5
Suppose -i + 3*g + 22 = -0, -55 = -2*i - 5*g. Solve d = 6*d + i for d.
-5
Suppose 5*y - 2*d - d = 55, -y + 28 = -4*d. Let g(q) = -q**2 + 14*q + 18. Let r be g(15). Solve r*m + y = -7 for m.
-5
Let l(i) = 2 + i - 4 + 0 + 3. Let j be l(3). Suppose -5*z + j*r + 5 = 0, 3*z + 2*z = -2*r + 35. Solve -w = -0*w - z for w.
5
Let n be 0/(-3) + 8 + -1. Suppose 2*r - 9 = -r, 2*i - r - n = 0. Let d be (-2)/i - (-4)/10. Solve u = 2 - d for u.
2
Suppose 0 = -139*x + 140*x. Let q = -11 - -20. Suppose -5*a + q + 1 = x. Solve 4*z + a - 14 = 0 for z.
3
Let j(r) = 72*r - 2. Let v be j(1). Let g = v - 69. Solve -l + 6 = g for l.
5
Suppose -2*i + 21 = i. Let g(h) = -23*h - 1577. Let x be g(-69). Solve -i*o + x = -5*o for o.
5
Let m(o) = -o + 22. Let r be m(4). Suppose 3*g - 3 = r. Solve 11*w = g*w + 8 for w.
2
Let s(z) = z + 8. Let x be s(-6). Let v(y) = y**3 + 16*y**2 + 11. Suppose 5*i = 4*a - 80, -5*i + i - 4*a - 64 = 0. Let k be v(i). Solve -x*l - k = -1 for l.
-5
Let n = -5 + 8. Let z(l) = -10*l**3 - 5*l**2 - 4*l - 1. Let a be z(-2). Suppose a = 5*h - 2*b, b + n = h - 2*b. Solve c = -2*c + h for c.
5
Let s = 1414 + -1402. Solve 283*g - 280*g - s = 0 for g.
4
Suppose 47*c - c = 0. Suppose -2*t = -5*f + 58, -5*f + 64 = -2*t + 6*t. Solve -3*u = -c*u + f for u.
-4
Let h = -17 + 40. Suppose k - 4 = 0, -2*k + h = y - 0*k. Let a = y + -5. Solve -a = 5*n - 0 for n.
-2
Let k = -14 - -17. Suppose 5*n = 43 - k. Suppose -n = -5*t + 2. Solve -t*z + 3 = -5 for z.
4
Suppose 9 = 2*n - 7. Let x = n + -4. Suppose -3*w + 85 