t + 13. Solve 2 = 2*o - a for o.
4
Suppose 0*k = -3*k + 12. Suppose 3*l = -k*q + 10, -3*l - 7 + 1 = 0. Let f(n) = -123*n - 2333. Let i be f(-19). Solve -q = i*s + 8 for s.
-3
Let h = 299 + -297. Solve -h*u + 5 = 9 for u.
-2
Let t(v) = 2*v - 10. Let x be t(6). Suppose -3*j - 15 = -8*j. Suppose 4 = -x*g, -l = -g - j*g - 8. Solve -2*q + q - 3 = l for q.
-3
Suppose -2*u + 6 = 0, -2*v = -4*v + 4*u + 18. Suppose -2*p + 8 = -0*p. Solve -w = p*w + v for w.
-3
Let y = -40 - -84. Suppose -8*c + 52 = -y. Solve -4*a - c + 0 = 0 for a.
-3
Suppose 5*l - 35 = -2*m - m, -3*m + 23 = 2*l. Solve 6*q - 35 = -m for q.
5
Let a = 42 + -36. Solve 5*h = -a - 4 for h.
-2
Suppose 5 = 3*a - 5*x, -5*a - x + 18 = -9. Let g be 4*6/4 - a. Solve -2 + g = q for q.
-1
Let o = -126 - -84. Let i = o - -48. Solve -q = 2 - i for q.
4
Let c = 26 + -14. Let k = 16 - c. Suppose 0*y + 20 = k*y. Solve 0 = w - 2*w + y for w.
5
Let r(p) = p**2 + 17*p + 47. Let u be r(-14). Solve -u*h - 9 = -4 for h.
-1
Suppose z - 12 = -4*n, -n + 3*z = -4*n. Solve n*u - 6 = -10 for u.
-1
Let n = 15 + -9. Let i = 7 - n. Solve 4*x + 3 + i = 0 for x.
-1
Let f be (2 - 8) + 57*11/33. Solve -8*k = -f*k + 25 for k.
5
Suppose 0 = -5*c + 3*g + 15, 0 = 5*c - 5*g + 4*g - 5. Solve c = 4*z + z + 5 for z.
-1
Let l(r) = r**3 + 30*r**2 - 35*r - 47. Let z be l(-31). Solve -4 = 75*n - z*n for n.
2
Suppose 20*w + 4*w = 5*w. Solve w*m - 3*m - 9 = 0 for m.
-3
Suppose a + 5*s - 2 = -0*a, 0 = -3*a + s + 38. Let p be a/9 + 4/(-12). Suppose -5*g - 5*z = -25, g - z - 1 = -0. Solve -2 = -g*h + p for h.
1
Let p(g) be the second derivative of 5/6*g**3 + 0 + 2*g + 2*g**2 - 1/3*g**4 - 1/20*g**5. Let q be p(-5). Solve q*y + 3 = -1 for y.
-1
Let x = -368 + 373. Solve 9*l = 4*l + x for l.
1
Let z(q) = 13*q + 8. Let r be z(-6). Let f = r - -73. Solve -v - 1 - f = 0 for v.
-4
Let s be ((-80)/(-140))/((-2)/(-7)). Let r(g) = g**3 - 6*g**2 - g + 2. Let d be r(6). Let m be 2/d + 7/2. Solve 0 = m*z - z + s for z.
-1
Suppose -4*j + 6*j = 10. Suppose 4*g + 6 = c - 9, -18 = -j*c + g. Suppose c*p = -3*p + 12. Solve o = p*o - 3 for o.
3
Let u be (-55)/(-30)*3*2. Suppose 104 = 5*f - u. Let c = f - 19. Solve x - c = -x for x.
2
Suppose -15*t + 33 = 3. Solve -3*z + 4 = -t*z for z.
4
Let h(c) = -2*c**3 + 61*c**2 - 27*c - 86. Let f be h(30). Solve 14 - 6 = -f*t for t.
-2
Let z = 857 + -851. Solve -z*x = 9 - 21 for x.
2
Suppose -6*c - 40 = -11*c. Solve -a - 3 = -c for a.
5
Let x(u) = -3*u - 7. Let p be x(-3). Let z be -1 - (-4)/(8/p). Let b be z + 3 - (-2 - -2). Solve -n = -b*n for n.
0
Suppose -2*m - 7*f + 5*f - 4 = 0, 2*m = 4*f + 26. Solve 0 = m*a - 10*a + 14 for a.
2
Let c(x) = 57*x - 570. Let g be c(10). Solve p + 2 + 3 = g for p.
-5
Let x be (-1)/(3 + (-33)/12). Let w be -1 + 5 + x - 0. Solve w = d + 3*d + 12 for d.
-3
Let z(t) = -4*t - 3. Let b be z(-3). Suppose -68*f + 64*f = 0. Solve -b*s + 8*s = f for s.
0
Suppose -o = -3 + 1. Suppose o*c + 36 = -c. Let p = c - -15. Solve 8*y = p*y - 25 for y.
-5
Let i = -9 + 16. Let f be 2/(-18) - 545/(-45). Suppose 3*v - i*v = -f. Solve v*u = -0*u for u.
0
Let n = 346 - 341. Solve n*a + 14 = -1 for a.
-3
Suppose -80 = -4*p + 3*r, 4*r + 12 = r. Suppose -5*d = l - 3*l, 4*d = 5*l - p. Solve m = -m + d for m.
1
Suppose t + 32*o = 31*o + 24, -3*t + 67 = -2*o. Solve u + 28 - t = 0 for u.
-5
Suppose 10 = 2*c - 4*g, -16 = -4*c + g + 3*g. Suppose 3*n - 4 = k, 0 = -2*n + c*k + 1 + 11. Solve n = -q - q - 6 for q.
-3
Let j be ((-2*10)/5 - -3) + 1. Solve -5*l + j*l = 25 for l.
-5
Let l(v) = 4*v + 32. Let i be 0/(4/(1 + 1)). Let s be l(i). Let o = s + -27. Solve 2*w + o = -5 for w.
-5
Let h be 2/(-7) - (-3 + (-76)/(-28)). Suppose 5*j - 20 = -5*f, 5*f = 5*j - j + 56. Solve h = 2*i + 2*i + f for i.
-2
Suppose 0 = 4*y - 23 + 3. Let a(c) = -c**2 + 15*c + 128. Let j be a(-6). Solve -7*z - y = -j*z for z.
-1
Let u(g) = g**3 + g**2 - g - 1. Let q(j) = j**3 + 2*j. Let i(p) = -q(p) + 2*u(p). Let d be i(-3). Solve d - 10 = -3*r for r.
3
Suppose 5*v - 3*f - 5 = 0, v + 5*f = -0*v + 1. Solve v = 5*y + 21 for y.
-4
Let d be (-3 - -5)/(8/12). Solve 7 = u + d for u.
4
Let q be (-39)/(-26) + (-9)/(-2). Suppose 2 = 4*f - q. Solve 0 = 5*d - f - 3 for d.
1
Let t(r) = -r**2 - 9*r + 62. Let z be t(-13). Solve 0 = -z*h - 18*h - 84 for h.
-3
Let t be (6/5)/((-33)/(-825)). Solve -9*f = -3*f + t for f.
-5
Let q(g) = -g**3 + g - 2. Let d be q(0). Let o(v) = -v + 4. Let h be o(d). Suppose 21 = 5*w + h. Solve m - w = 2 for m.
5
Let j(x) = x**3 - 3*x**2 + x + 2. Let o be j(2). Suppose 0 = 3*b + 4*b - 14. Solve 2*q + o = -b for q.
-1
Let m be 0/((-2)/(4/2)). Suppose 2*h = -5*r + 14 + 16, m = -4*h - 3*r + 32. Solve -3*o + h*o = -2 for o.
-1
Let n(s) = -2*s + 18. Let x be n(6). Suppose -x = -18*c + 17*c. Solve 3*t - 12 = c*t for t.
-4
Let c = -28 - -32. Let w(y) = y**3 - 9*y**2 + 22*y - 8. Let a be w(5). Suppose 5*d = -g + 3*g - 36, 4 = -d. Solve -a*t + g = -c*t for t.
-4
Suppose 0 = -q - 4*q + 15. Let f = -3 + 8. Suppose 5*w + n = -2, f*w + 6 + 2 = -4*n. Solve w = 3*x - 4*x + q for x.
3
Suppose -b - 5 = -15. Solve 2*u - b = -0*u for u.
5
Suppose 0 = 5*t + 2*t - 28. Suppose -4*q + 0 = -t. Solve -j - q = -3 for j.
2
Let j be 223/(-6) + 2/12. Let u = -36 - j. Solve -7 = 3*f - u for f.
-2
Let n(i) = i**3 + 9*i**2 - 7*i - 3. Let l be n(-9). Suppose -g = 2*g + l. Let q = 29 + g. Solve -q = -t + 4*t for t.
-3
Suppose 4*i - 64 = 5*t, -5*i + 7*i - 32 = -5*t. Solve 4*w + i = -0*w for w.
-4
Suppose 0 = -52*t + 26*t + 520. Solve -2*h = t - 26 for h.
3
Let c = -49 + 83. Suppose 2*h + 30 - c = 0. Solve h*w = 10 - 2 for w.
4
Let r(q) = -2*q**3 + 32*q**2 + 4*q - 7. Let p be r(16). Solve 49 = -4*x + p for x.
2
Let l = 10 + -5. Suppose l*c = 4*u + 56, 0*c = 3*c - 5*u - 44. Solve -3*s + 20 = -c*s for s.
-4
Let q = 1499 + -1491. Solve q*y - 16 + 40 = 0 for y.
-3
Let l(h) be the first derivative of 1/2*h**2 + 6 + 3*h + 1/3*h**3. Let w be l(0). Solve -w*t + 0 = -12 for t.
4
Let i = 44 - 40. Suppose 0 = -i*t - 2*o + 18, 3*t + 5*o - 2*o - 12 = 0. Solve -p + t*p = 16 for p.
4
Let h(r) be the second derivative of r**5/20 - r**4/6 - r**3/6 - 8*r. Suppose 9 = -4*y + 21. Let w be h(y). Solve -2*x + 5*x = -w for x.
-2
Suppose 0 = 9*f + 111 - 111. Solve -2*n = -2 - f for n.
1
Let p = -3 - -2. Let h be (-12)/(-2) + 0 + p. Suppose r + 3*j - 15 + 1 = 0, 3*r - 26 = -h*j. Solve -r = -k - k for k.
1
Let n be 276/6*1/(-2). Let m = -4 - n. Let w be 7 - (2 - (0 - -2)). Solve -4*x - m = -w for x.
-3
Let i(d) = -d**2 + 10*d - 9. Let r be (-4 - -7)*1*3. Let c be i(r). Suppose c = 8*u - 5*u - 9. Solve -3*l + 3 = -u for l.
2
Let m be (1/3)/(-5 + (-138)/(-27)). Solve -m*t - 12 = -21 for t.
3
Let r(o) = -o**2 + 15*o - 51. Let j(a) = -a**3 - 4*a**2 - 5*a - 13. Let w be j(-4). Let t be r(w). Solve 1 = -t*v - 14 for v.
-3
Suppose -3*w - w = t + 5, 3*t - w = 37. Solve 3*v = t - 8 for v.
1
Let h = -13 - -12. Let o be 4/12*h*-9. Solve o*x - 1 = -4 for x.
-1
Suppose -2*h + 4*h - 4 = 0. Let b be -4 + h - 8/(-4). Let d = 2 - b. Solve 0 = -d*r - 3*r - 20 for r.
-4
Let h = -34 + 59. Suppose 3*n - h = -2*n. Solve n*g - 22 = -2 for g.
4
Suppose 3*z + 1 = 2*z, 4 = 2*k + 2*z. Let p = -30 - -34. Suppose -k*n = -p*n. Solve -r + 0*r = n for r.
0
Suppose -2*r = -r + 7. Let t = -6 - r. Solve -2*c + 3 - t = 0 for c.
1
Let o = -7 - -12. Let z be (((-168)/7)/(-2))/4. Let i be 217/28 + (-3)/4. Solve z*y + o = -i for y.
-4
Let k(q) = -2*q**3 - 7*q**2 + 2*q - 8. Let h be k(-4). Solve l + 5*l = h for l.
0
Let v(o) = o**3 - 8*o**2 + 16*o. Let d be v(6). Suppose 2*n - a = 9, 0 = -4*n + 2*n + 4*a + d. Solve -n*b = -0*b - 6 for b.
3
Suppose 92*c - 66*c - 910 = 0. Solve 0 = 156*t - 149*t - c for t.
5
Let q be (-58)/((-6)/(-6))*3/6. Let l = 33 + q. Let m = 10 - 5. Solve l*c = m*c + 3 for c.
-3
Let d(w) = 8*w + 34. Let n be d(-4). Solve n*s = 8*s + 12 for s.
-2
Let l(i) be the first derivative of 9*i**2/2 + 7. Let b be l(-1). Let a = b + 13. Solve -a*f = f for f.
0
Suppose -3*z = -n + 29, 3*n - 48 = -0*z - 4*z. Solve 0*v + n = 4*v for v.
5
Let c(t) = t + 9. Let y be 24/4 - 6/3. Let h be c(y). Solve 0 = -4*m - h - 3 for m.
-4
Let a be 15 - (-2 - 1)*-1. Let w(m) = m**2 + 6*m + 5. Let q be w(-5). Let k(b) = -b**3 + b**2 + 4. Let i be k(q). Solve a = i*y - 0 for y.
3
Let o be (10/(-8))/(5/(-20)). Suppose g - 28 = 4*v, 3*g - o*v = -13 +