for t.
2
Let w = 620 - 284. Let b be 1/(-4) + w/64. Solve 3*v - 2*v = b for v.
5
Let g(v) = 2*v**3 - 2*v**2 - v + 2. Let f be g(-4). Let q = f - -155. Solve -l = -2 - q for l.
3
Let m = 14 + -9. Suppose m*u + 35 = 2*p, 8 = 5*u + 33. Solve p = 3*g - 4 for g.
3
Let h(q) = -q**2 - 9*q - 1. Let k be h(-11). Let m = k + 39. Let n be 1/(2/(2/1)). Solve 5*i + n = m for i.
3
Let m(d) = 10*d**2 - 169*d - 8. Let c be m(17). Solve -7*p + 5 = -c for p.
2
Suppose 3*c = 8*c. Suppose r - 5*r = -24. Let y be 3/2 - (-9)/r. Solve -y*t + 3 = -c*t for t.
1
Let v(n) = 2*n**2 - 10*n - 9. Let r be v(6). Solve -3 = -4*z - r for z.
0
Suppose 23*j + 54*j = 616. Solve 0 = j*l - 12*l + 12 for l.
3
Suppose 0 = -3*d + 6*d - 21. Suppose 9 = 4*k + 3*b, -4*k - 4*b + d = b. Solve -2*i + 25 = k*i for i.
5
Let l = 208 - 198. Solve 9*f + 46 = l for f.
-4
Suppose -6*l + 10 + 14 = 0. Suppose 0 = 3*k - 10*a + 5*a - 50, l*k + 5*a = 55. Solve -4*r = r - k for r.
3
Let r = 0 + 3. Suppose 0 = -17*v + 581 - 581. Solve v = -0*g - r*g for g.
0
Suppose -3*c = -4*c - 17. Let x = c + 28. Suppose x - 31 = -q. Solve q = -y - 3*y for y.
-5
Let g be -5*((-96)/(-20) - 1). Let t = g + 27. Solve 5*a - t = 12 for a.
4
Suppose 4*a - 11 = 1. Solve -5*s = 2 + a for s.
-1
Suppose -g + 3*j = -12, -5 = -2*g - j - 2. Let h be (-6)/((-38)/20 + (-38)/(-95)). Solve -g*x - h = -x for x.
-2
Let f = -13 + 18. Solve 8*m + f = 9*m for m.
5
Suppose -o + a + 54 = 0, -2*o - 2*o = a - 206. Let z = -40 + o. Solve -2*r - r = z for r.
-4
Let a be (33/3)/(2 + -1). Suppose -1 = 2*o + 1, -3*r + a = -5*o. Solve 0 = d - 3*d + r for d.
1
Let r(v) = 3*v + 6. Let z be r(1). Suppose z*f = 4*f + 60. Solve s + 3*s - f = 0 for s.
3
Suppose 2*n + s - 17 = 0, 6*n - 5*s = 9*n - 8. Solve 0 = 3*f + 2 - n for f.
3
Let n = 6 + 6. Suppose 2*m + y = n, 5*m = -2*y + y + 24. Solve -3*z - 8 - m = 0 for z.
-4
Let j(x) = 13*x - 1. Let c be j(-1). Let f be (-120)/c - 80/140. Solve -3*m + f = 2 for m.
2
Suppose -11*i + 7*i = -84. Let v = i + -15. Suppose 2*o - v = -3*s, 2 = 2*s + 2*o - 4. Solve s = w + w for w.
0
Let p be 0 + 4 + (9 - 8). Let y be (p/(-10)*10)/(-1 - 0). Solve 0 = 3*l - 4*l - y for l.
-5
Suppose -5*x + 141 = 46. Suppose -94 = -5*q - x. Solve 4*w - 3 + q = 0 for w.
-3
Let a(g) be the second derivative of -11*g - 3/2*g**3 + 0 - 1/12*g**4 - 7*g**2. Let w be a(-7). Solve w = 2*u - 7*u for u.
0
Let z be 30/(-4)*(-16)/(-10). Let f = z + 12. Suppose -4*d - d + 15 = f. Solve -m - 6 = -d for m.
-3
Suppose -18*a = -8*a. Suppose a = 3*o - 16 - 14. Solve -o = -w - w for w.
5
Suppose 0 = 130*a - 122*a - 32. Suppose 3*v = v + 4. Solve a - v = -l for l.
-2
Let r(o) = -2*o - 6. Let d be r(-5). Suppose 0 = -d*b + 3*b + 20. Suppose 10*x = 5*x + b. Solve -x = u - 2 for u.
-2
Suppose -11*o + 6*o - 5*z - 5 = 0, 0 = 5*o + 2*z - 1. Solve 0 = 2*j - 9 + o for j.
4
Let m be (-5)/(15/9) + 8/1. Suppose j - t - 4 = -0*j, 3*t = -m*j + 36. Solve j = -f + 2 for f.
-4
Let j(m) = m**2 - 6*m + 7. Let s be j(5). Solve -s = u + 3 for u.
-5
Let y(u) = 4*u**2 + 10*u - 7. Let d(h) = 7*h**2 + 21*h - 15. Let z(b) = -3*d(b) + 5*y(b). Let w be z(-13). Suppose 6*v - w*v + 8 = 0. Solve 2 = v*g - 6 for g.
4
Suppose i + 1 = 6. Let p be i/(-10)*(7 - 1) - -18. Solve -p = -10*g + 5*g for g.
3
Suppose 0 = 2*h - 3*q - 4, h - q - 2 = q. Suppose -l + 3 = h*l. Let u be 6/4*2/l. Solve 6 = 3*v - u for v.
3
Let j = -697 - -726. Solve j*u + 20 = 33*u for u.
5
Let s = -23 + 39. Let h = 32 + -29. Let u be (5 + 1 - 4) + h. Solve -u*k + k + s = 0 for k.
4
Let a(r) = -3*r + 3. Let x be a(-13). Let m = -36 + x. Solve -6 = -4*w + m*w for w.
-3
Let a(s) = -s**3 + 2*s**2 + 5*s - 2. Let b be a(3). Let d be ((-6)/9)/(b/(-72)). Solve 2*f = -f - d for f.
-4
Let i be (-9)/(-12) + 26/8. Suppose -5*b = 4*h - 4, -i*h = -5*b - 15 - 29. Solve 0 = 3*u + 9 + h for u.
-5
Let v be (4/18)/((-10)/(-180)). Solve 3*i + 4 = v for i.
0
Let z be (15/(-20))/((-2)/(-48)). Let v = z + 20. Solve x + v*x = 3 for x.
1
Let p be (-11)/1*(-12 - -10). Suppose 3*a = -7 + p. Solve 2*y - a = 7*y for y.
-1
Let x = -457 - -463. Solve x*o = -o for o.
0
Let c = -13 - -22. Let z be (-13 + c)*6/4. Let a = z + 7. Solve a = -0*r + r for r.
1
Suppose 0 = -4*f + 20 - 12. Let k be 2*(f - -2) + (0 - 1). Solve 3*d = k*d + 12 for d.
-3
Let q = 14 - 14. Suppose 3*x - 5*a = 9 - q, 0 = 5*x + 4*a - 15. Solve -b = 2 + x for b.
-5
Let l be (-1 - 2/(-2))/(-2 - -1). Solve l = -0*t - 6*t - 18 for t.
-3
Let o(i) = -i**3 + 8*i**2 + 11*i + 2. Let k be o(9). Suppose s = -s - 2*l + k, l = 1. Solve s*c = 4*c for c.
0
Suppose 4*f = 5*f + 3*f. Suppose f*x - 4*x = -12. Solve -4*u + x*u = 0 for u.
0
Let w(m) = -m**3 - 7*m**2 + 8*m + 5. Let o be w(-8). Suppose o*x - 3 + 3 = 0. Solve x = -5*n - 25 for n.
-5
Let r(u) = 13*u**2 + 7*u + 4. Let z be r(-1). Solve -4*x = z - 30 for x.
5
Suppose 1 = 2*p - b, -p + 5*b = 4*p. Suppose -f - 2*t + 13 = 0, 0*f + f - p = t. Suppose 3*k + 3 = 5*z, 2*z - 2*k = 3*k + f. Solve z*y - 4*y = 4 for y.
-1
Let p(s) = s**3 - 14*s**2 + 27*s - 11. Let r be p(12). Suppose 2*h + 5*x = r, -58 = -4*h - 5*x - 23. Solve -2*c + 1 = -h for c.
3
Suppose 5*m - 100 = -2*o, -5*m + 11*o + 105 = 14*o. Solve 15*q = -42 - m for q.
-4
Let a = 233 + -243. Let g(o) be the second derivative of -o**4/12 - 11*o**3/6 - 9*o**2/2 + 2*o. Let y be g(a). Solve 2*l + y + 7 = 0 for l.
-4
Suppose -37 = -3*r - 5*o, 6*o - 3*o - 15 = 0. Let z = 7 - r. Let d be z/18*2*0. Solve d*c - 5*c = 5 for c.
-1
Let g(n) = n**2 - 5*n + 4. Let c be g(7). Let y be 4/c - 68/(-18). Let r be -1 - (-1 - (-12)/(-4)). Solve 0 = l - y*l + r for l.
1
Let n(l) = -l**3 + 7*l**2 + 2*l - 11. Let j be n(7). Solve -j - 7 = 2*b for b.
-5
Let u = -10 - -26. Let d = u + -7. Solve -4*t + t = -d for t.
3
Let w = 32 - 25. Let h = -3 + w. Solve h*k + 2 = -2 for k.
-1
Let s(m) = -4*m - 2*m**2 + 8*m**2 - 8 - 5*m**2. Let b be s(6). Suppose 5*a - 14 + b = 0. Solve a = -p - 0 for p.
-2
Let f(z) = 2 - 2 + z - 5 + 2. Let c be f(6). Suppose c*a = -4*j + 50, 3*a - j = 10 + 15. Solve a = 3*x + 2*x for x.
2
Let w(x) = 27*x + 465. Let a be w(-17). Solve 0 = -4*y + 14 - a for y.
2
Suppose 35 = 52*v + 35. Solve v = 9*a + 20*a for a.
0
Let n(y) = y**3 - 13*y**2 + 14*y - 14. Let s be n(12). Suppose 2*b = s*b - 40. Solve -4*a + b = 1 for a.
1
Let s be 6/(-15) + (-306)/(-15). Suppose 0 = 3*r - 4*x - s, 4*x = 4*r - x - 25. Solve 2*n + 2 + r = 0 for n.
-1
Let i = -26 - -20. Let g(q) = q**2 + 7*q + 10. Let d be g(i). Solve 2 - d = -k for k.
2
Suppose d + s = -0*d + 31, 0 = 7*d - 4*s - 228. Solve d = -15*t - t for t.
-2
Let v(j) = -j + 7. Let b = -44 - -40. Let m be v(b). Let o(z) = -z - 2. Let g be o(-7). Solve g*w + 1 = m for w.
2
Let c = -41 + 41. Suppose c*h - 4 = -h. Solve -4 = h*k - 16 for k.
3
Let c(z) = -4*z + 45. Let q be c(10). Solve q*y + 11 - 11 = 0 for y.
0
Suppose 0 = -n - n. Suppose 4*y + 5 = 3*a, -y - 4*a + n*a + 13 = 0. Suppose -v - y = 0, -2*h + 4*h - 13 = v. Solve -h*l + l = -10 for l.
2
Suppose 2*l + 5*t - 5 = 10, 4*l = 3*t + 17. Let j(w) = -w**2 + 7*w - 8. Let v be j(l). Suppose 0 = -4*u + v + 10. Solve -2*z - 1 = -u for z.
1
Let q(m) = -4*m - 3. Let v be q(-2). Let z = -4129 - -4133. Solve -v*k + z*k = -4 for k.
4
Suppose a = -i + 19 + 6, 5*a - 3*i = 141. Suppose -5*f = -p + a, -5*p + f = -f - 20. Solve q - p*q + 5 = 0 for q.
5
Suppose 34*l - 114 = -6*v + 32*l, -55 = -2*v + 5*l. Let n = -3 - -9. Solve f = n*f - v for f.
4
Suppose -2*s - 8 = 2*v - v, 3*v - 4*s - 26 = 0. Solve -o = o + v for o.
-1
Let f(u) = -u**2 - 29*u - 149. Let i be f(-7). Solve -i*p = -6*p for p.
0
Let k be (-6 - -56)/(-5) - -6. Let x(c) be the first derivative of -c**2 - 5*c - 1. Let i be x(k). Solve -i*j - 1 + 13 = 0 for j.
4
Let w be -1*(-3 - 0)/(-3). Let c(i) = -25*i**3 - i. Let b be c(w). Suppose 0 = -4*h - 2*s + b + 8, -5*h + 3*s + 37 = 0. Solve -t = t + h for t.
-4
Let a be (7 - 2)/(208/208). Let h(t) = t**3 + 5*t**2 - 5*t + 8. Let s be h(-6). Solve s*k - a = 7*k for k.
-1
Let i be (7 - (-120)/(-16))*-24. Solve -2*k = 2*k + i for k.
-3
Let b(p) = -2*p**3 + 3*p**2 + 2*p + 1. Let c be b(-1). Suppose 4*h - 47 = 3*d, -c*d - 28 = h - 2*h. Solve -4*i = -2*i - h for i.
4
Let p = -532 - -537. Solve 1 = -p*g + 6*g for g.
1
Let u be 49/5 + 28/(-35). Solve -9*z + 12*z = -u for z.
-3
Suppose -5*o = 5*j - 35, 17 = o + 4*o - 4*j. Solve -o = w - 7