 6 for d.
-2
Let i be 1 - (-19 - -7 - 7). Solve 0 = 5*s + 5 + i for s.
-5
Let b = -130 + 134. Solve -2*t = -b*t - 6 for t.
-3
Let r(g) = -2*g**2 + 4*g - 3. Let v = -11 + 13. Let z be r(v). Let q be (-2 - (z + 1))/(-2). Solve n - 4 + q = 0 for n.
4
Let m be 5/(40/732)*(-4)/6. Let n = 65 + m. Solve -3*q + n + 2 = 0 for q.
2
Let f(g) = -2*g**3 + 49*g**2 + 30*g - 113. Let j be f(25). Solve -j*c = 2*c + 70 for c.
-5
Let f be -7 + 16/(-12)*-3. Let l be (f - -2) + 9*1. Solve -2*h - l = 2*h for h.
-2
Suppose 2*a + 18 = n, -n + 14 = 2*n + 4*a. Let l(o) = 11*o + 2. Let w be l(0). Solve w*v - 4 + n = 0 for v.
-3
Let i = -3 + 3. Let g = -7 - -13. Suppose 6 = 4*l - g. Solve 0*v + v - l = i for v.
3
Let k(v) = v**2 - 19. Let s be k(-6). Suppose -9 + s = 2*z. Solve 3*p = -p - z for p.
-1
Let v be (-266)/35 - -10 - (-4)/(-10). Solve -18 - v = -5*k for k.
4
Suppose -c = 1, 8*v + 3*c = 7*v. Suppose -v*t = -t + t. Solve t = -3*x - 3 for x.
-1
Let r(t) = -t**2 + 10*t + 3. Let k be r(10). Suppose 5*w = 2*q - q - 36, -5*q - 5*w + 30 = 0. Solve -q = -k*o + 1 for o.
4
Let o be (14 + -10 - 11) + 22. Solve j - 16 = -o for j.
1
Let c(w) = 11*w - 22. Let d be c(3). Solve -9 = -4*z + d for z.
5
Suppose -3*b - 27 = -6*c + 3*c, -3*c = 4*b + 8. Let g(i) = i**3 - 3*i**2 + 3*i - 1. Let q be g(3). Suppose 3*a + 9 = -p + 1, 2*a = -q. Solve 8 = -p*x + c for x.
-1
Let i(t) = t**2 - 28*t - 80. Let s be i(31). Solve 8*k - 21*k + s = 0 for k.
1
Let q = -944 - -946. Solve 0 = -26*d + 27*d - q for d.
2
Let r = 881 + -878. Solve 5 + r = -4*f for f.
-2
Let z = 10 + -6. Suppose -6*b - 4*r + 2 = -3*b, -5*b = z*r - 6. Solve -b*m + 5 = 3*m for m.
1
Suppose -4 = 5*x + m, -20 = -3*x + m + 4*m. Suppose l + f - 7 = 3*l, -l = f - 4. Let h = l - -3. Solve y = -x*y + h for y.
2
Let k be (-20)/(-9) + 22/(-99). Suppose -w = -k*z - z + 19, -z - w + 1 = 0. Suppose 0*y = y + 5*f + 3, 3 = 4*y + z*f. Solve y*x + 2 + 6 = 0 for x.
-4
Suppose -4*w + 4 = -0*w + 3*q, -3*q = 5*w - 8. Suppose -w*z = -25 - 55. Solve -2*g + 6*g - z = 0 for g.
5
Let w = 159 - 159. Suppose w = -68*b + 72*b - 32. Solve 9*z + b = 5*z for z.
-2
Let z = 1 + -1. Let d be (7/(14/24))/(-1). Let o be ((-15)/30)/(13/d - -1). Solve z = -3*x - 0 - o for x.
-2
Suppose 0*a = -a + 4*v + 6, 0 = -2*v. Let i = a + -1. Solve -i*h + 10 - 25 = 0 for h.
-3
Let i = 9 - -6. Let m be (-3)/(-5) - 9/i. Suppose -2*t = -4 - m. Solve t*b = 4*b + 10 for b.
-5
Suppose -28*q + 26 + 30 = 0. Solve -4*p + 6 = q for p.
1
Let j = -18 - -57. Suppose -j = -6*i - 3. Solve -3*n - i = 3 for n.
-3
Let l = -158 - -159. Solve l = x - 2 for x.
3
Let n be (-2)/(-18) + (-807)/(-27). Let r = -27 + n. Solve -v + 0 = r for v.
-3
Let d = 115 - 110. Solve -d = 8*u - 13 for u.
1
Suppose 0 = -5*o - 0*o. Let m be 4 - (0 - (2 + 0)). Let a be (m + 6)*2/4. Solve -a*p + 3*p - 15 = o for p.
-5
Let x be 2/(-4)*(-32 + 10). Solve x*u + 33 = -0*u for u.
-3
Suppose 0*v + 2*n - 19 = -3*v, -v - 5*n + 28 = 0. Solve -v*s + 4*s = -4*s for s.
0
Let m be (-9)/(-6)*-13*(-8 - -6). Let r be 2/3 - (-32)/6. Suppose -2*h - 11 = -y, 3*h - r*h = -3*y + m. Solve -y = -0*b + 3*b for b.
-5
Suppose 5*h + 22 - 7 = 5*s, 1 = 5*s + 2*h. Suppose y - 4*v = -11, -14*y + v + 16 = -10*y. Solve y*t + 4 + s = 0 for t.
-1
Suppose -3*g - 20 = -5*g. Suppose 16*a = 21*a - 125. Solve g*n = 5*n - a for n.
-5
Suppose 5*d - 2 = 8. Let b be 4/8*2*d - 0. Solve -b = 3*z - z for z.
-1
Let n = 62 + -57. Let g(c) = -4*c - 14. Let z be g(-6). Suppose z = d + 4*d. Solve n*t = d*t - 9 for t.
-3
Suppose 0 = -5*k + 3*r + 16, -24 = -5*r - 34. Solve -10 = -3*h + k for h.
4
Suppose -14*w - 24 = -6*w. Let i(u) = u**3 + 2*u**2 - 6*u - 6. Let c be i(w). Solve c*g = -g for g.
0
Let y = -344 + 356. Solve k - 5*k - y = 0 for k.
-3
Let u = -76 - -80. Suppose d + u*f = -11, 3*d - 5*f + 6 - 41 = 0. Solve d*w - 8 = 17 for w.
5
Let l = 199 - 191. Solve 0 = 13*x - l*x for x.
0
Suppose -36*k + 17*k = -190. Solve -15*a = -k*a - 10 for a.
2
Suppose -2*w = 5*n + 145 - 12, 3*w + 5*n + 202 = 0. Let q = w + 73. Solve q = -o + 5 for o.
1
Let p be (-14)/10*(-72)/126*5. Solve -17*r = -19*r - p for r.
-2
Suppose -2*q - 17 = -u - q, u + 3*q = 1. Solve 17*b + u = 4*b for b.
-1
Let w(z) = -5*z**2 - 53*z + 23. Let j be w(-11). Solve 0*p - j = p for p.
-1
Let i(c) = -154*c + 934. Let g be i(6). Solve 0 = -g*u + 15*u for u.
0
Suppose 7 = i + 5*l - 0, -2*i + 2*l = -2. Suppose -3*y + i*y = 2*y. Solve 4*g = -y*g + 16 for g.
4
Suppose -13*y = -49*y. Solve -2 = -2*i - y*i for i.
1
Let g(h) = -3*h + 80. Let x be g(26). Solve -7 = 5*j - x for j.
-1
Suppose 0 = -53*z + 241 + 713. Solve 3*j = -z + 6 for j.
-4
Let o = 13 + -8. Let t(i) = i**3 - 5*i**2 + 2*i - 2. Let x be t(o). Suppose -4*q = -z - x, -q = 4*z - 2 - 0. Solve z = 5*v + 2 - 12 for v.
2
Let l(h) = -118*h - 115. Let d be l(-1). Solve d*f - 66 = -81 for f.
-5
Let k = 0 - 0. Let p(d) be the second derivative of -d**5/20 + 5*d**2/2 + 17*d - 1. Let q be p(k). Solve 0*a - 20 = -q*a for a.
4
Let j be 5*-2*(-21)/6. Let u be 2/7 - (-830)/j. Suppose 4*z + 2*m - u = 0, 9*m = 4*m - 10. Solve -z*l = -3*l + 12 for l.
-3
Suppose -3*g + 5 = -2*o, 4*g - 3*o = -2*o + 10. Suppose -2*v + 6 = -2*k, 0 = -5*k + v - g*v + 6. Solve 3*l + 1 + 8 = k for l.
-3
Suppose -5*c - 33 = -2*a + a, -2*a = -5*c - 41. Suppose f + f = a. Solve 2 = -f*z - 10 for z.
-3
Let w be (1 + -1)*(-2)/(-4). Suppose 2*a = 3*v + v + 24, -5*a - 5*v + 45 = w. Suppose -9*j - 8 = -a*j. Solve 4*r + 4 = -j for r.
-3
Suppose 3*x + 150 = 489. Let i = x + -106. Solve -4*u + i*u - 15 = 0 for u.
5
Suppose -5*l + 6 = -2*l. Suppose -l - 8 = -2*t. Let q(u) = u**3 + u**2 + u + 21. Let a be q(0). Solve t*n + 1 - a = 0 for n.
4
Suppose -4*j + 5*j = 6. Let z = 8 - j. Let g = z - 2. Solve 0 = k - g*k for k.
0
Suppose 2*a = 4*d - 104, -5*d + a = -0*d - 130. Suppose -6 + d = 4*m. Suppose -20 = -m*s + 5. Solve v = -4*v + s for v.
1
Let c = 74 + -51. Let w = -5 + c. Suppose 120*o = -106 + 667 + 279. Solve -5*q = w + o for q.
-5
Let z(c) = c**2 - 12. Let a(o) = -2*o**2 - o + 25. Let s(v) = 4*a(v) + 9*z(v). Let i be s(-2). Solve 0 = -b - i*b - 20 for b.
-4
Let k = 173 - 170. Solve -5*t = k + 22 for t.
-5
Let z(y) = -19*y + 47. Let f be z(7). Let u = 86 + f. Solve 3*o - 2*o + 1 = u for o.
-1
Let q(l) = l**3 + 6*l**2 - 3*l - 18. Let w be q(-6). Suppose w = 2*p - 18 + 12. Solve 3*m + p = -0*m for m.
-1
Let i(m) = 6*m**2 + 2*m - 1. Suppose 3 = 4*u - u. Let h be i(u). Suppose 0 = -5*w + 5*v + 25, 14 = 5*w - v - h. Solve w*j - 13 = 3 for j.
4
Suppose -6*c + 10*c = 5*u + 35, 4*u = -12. Solve q = 3*q + c*q for q.
0
Let x(h) = -h**3 - 17*h**2 - 74*h - 17. Let p be x(-9). Solve i + p - 4 = 0 for i.
3
Suppose -42 = -4*w - 2*v, -2*w - 1 = 2*v - 23. Suppose w = -h + 4*j - 0*j, j = 4*h - 20. Solve c + h = 4*c for c.
2
Let z(t) = -2*t - 31. Let r be z(-13). Let i = r + 10. Solve -i*c + 0 = 15 for c.
-3
Suppose 0 = u + 8*u + 36. Let a be (8 - -1) + u - (-2 - -3). Solve 0 = -a*r - r for r.
0
Suppose -3*h = -4*b - 63, -4*h + 99 - 16 = -5*b. Solve -31*n + h = -14*n for n.
1
Let n(d) = -d**3 - 10*d**2 + 4*d - 13. Let u(i) = -i**2 - i - 1. Let v(l) = -n(l) + 3*u(l). Let p be v(-8). Solve 2*b - 3*b + p = 0 for b.
2
Let c(x) = -x**2 + 5*x + 7. Let n be c(5). Suppose 2*h + n*h = 126. Solve h = 3*q - 1 for q.
5
Let k(f) = -f**3 - 19*f**2 + 21*f + 24. Let t be k(-20). Suppose -i = -t*i. Let o = -28 + 40. Solve i*r = -3*r + o for r.
4
Let n = 336 + -334. Solve z + n - 7 = 0 for z.
5
Suppose f - 5*r = -8, 2*f + r - 9 + 3 = 0. Suppose -14 = f*l - 9*l. Solve -2*i + 0 = -l for i.
1
Let i(s) = -s**3 + s**2 + s + 18. Let r be i(0). Let c be -2 + 4*(-9)/(-12). Suppose c = 2*u - 9. Solve u*w + 3 = r for w.
3
Let o be (-10)/90 - (-37)/9. Solve m = m + o*m for m.
0
Suppose 3*y + 28 = -y. Suppose 6*u = 45 + 21. Let x = u + y. Solve 8*v = x*v for v.
0
Let i be 4440/312 - 3/13. Solve -i = 6*s + s for s.
-2
Suppose -2*k + 5*k = 21. Let v(t) = -t**3 + 7*t**2 + t. Let b be v(k). Suppose -4*h = -b*h + 15. Solve -2*f + h + 3 = 0 for f.
4
Let o = 367 + -363. Solve -62 = -o*j - 54 for j.
2
Let v = -14 - -26. Let q be -6*(-8)/v*1. Solve -5*w - 1 = -q*w for w.
-1
Suppose -5*r = -4*g - 51, -3*r - 5*g + 2 = 1. Let a be ((-12)/7)/6*r/(-1). Solve 2*u + 0*u = a for u.
1
Let h(b) = -2*b - 9. Let p be h(-7). Suppose p*o + 3*v = o, 0 = 5*o + 2*v. Solve 