be 0 - (-3 - 10/(-2)). Let z be (-5)/y*(-72)/(-30). Solve 3*f - z = -0*f for f.
2
Let j(n) = -n**2 + 8*n - 5. Let q be j(7). Suppose 0 = q*v + 2*v. Suppose -t - 2*i = -14, 5*t - 51 + 1 = -5*i. Solve v*l = -3*l + t for l.
2
Let q be 0 - ((1 - 2) + -3). Solve -q*v = -6*v + 2 for v.
1
Let x = 17 - 16. Solve 4 = 5*q - x for q.
1
Suppose -k - 5*p - 10 = 0, 0*p - 4 = -2*k + 2*p. Suppose k = 2*o - 10 - 2. Solve -3*n + o = -6 for n.
4
Let u = -3 + 7. Solve b + 0*b + u = 0 for b.
-4
Let b be (-10)/(-45) - (-21)/27. Suppose -4*i - b = -9. Solve -i*r + r = 3 for r.
-3
Suppose -6 = -3*t, 3*d - 4*t + 2*t - 35 = 0. Let c = -8 + d. Solve 21 = -c*a + 6 for a.
-3
Let g be 32/(-4)*3/6*-1. Solve 4*v - 8 = -g for v.
1
Let i = -9 - -12. Let f be (-2 + i - 4)*-1. Solve 4*j = f*j + 2 for j.
2
Let h be (2/(-3))/(2/(-15)). Let s = -3 + h. Solve 3*m - 4*m = -s for m.
2
Let i be 15/2*(-8)/(-12). Let m(f) = f - 3. Let h be m(3). Solve -2*k + i*k + 3 = h for k.
-1
Let b(r) = r + 7. Suppose -3*k + 0*k = 0. Suppose 15 = -5*t - k*t. Let z be b(t). Solve -z + 2 = 2*o for o.
-1
Let s = 23 - 18. Suppose w - s = 13. Solve w = 5*m - 7 for m.
5
Suppose -80 = -5*o + 20. Suppose 5*t - 10 = o. Suppose -2*l - 2*g + t = 0, -2*l + g - 7 = -4. Solve -2 = -d - l*d for d.
2
Let g(c) = c**2 - 6*c - 7. Let m be g(7). Let a(w) = -15 + 5*w + w + 7*w + w**2. Let y be a(-15). Solve -3*p + y + 0 = m for p.
5
Let r(o) be the third derivative of o**4/24 + 5*o**3/3 + 3*o**2. Let y be r(-4). Solve -4*m + 6 + y = 0 for m.
3
Let w be ((-2)/3)/(2/(-9)). Suppose -4*u - w*t = -24, 3*t - 41 = -5*u - 14. Let a = -3 + u. Solve a = -o - 2 for o.
-2
Suppose -d - 22 = -5*b - 2*d, 3 = -d. Let q be 2/b - 4/10. Suppose 4*a + 4*t = -12, a + q*a = -3*t - 13. Solve -a*k + 0 + 4 = 0 for k.
2
Let t(g) = g**3 - 4*g**2 - 4*g - 5. Let q be t(5). Let y = 4 - 0. Let a = y + -1. Solve v - a - 1 = q for v.
4
Suppose -3*n = -22*n + 38. Solve -n*w = 8 - 10 for w.
1
Let d(q) = -2*q**2 + 60*q - 57. Let h be d(29). Solve -h + 3 = -r for r.
-2
Let i = -7 - -9. Suppose -5*j + 2 = -2*u, 2*u + u - 5*j = i. Solve 0 = h + u*h + 5 for h.
-1
Suppose 8 = -2*u - y, 3*u + 5 = 3*y + 2. Let t(m) = -2*m - 4. Let d be t(u). Let q be 0/(1 + -2*1). Solve q = -6*h + d*h + 16 for h.
4
Suppose -b + b = -2*b. Solve b = -0*s - 4*s - 12 for s.
-3
Suppose -2*i = -9*i + 70. Solve 0 = 2*j - i + 4 for j.
3
Let j = 6 + -3. Suppose 0 = 3*h - 3 - j. Solve 0 = -h*y - 9 - 1 for y.
-5
Let i(s) = 2*s - 13. Let v be i(9). Suppose 5*q - v = 10. Solve q*b + 2 - 8 = 0 for b.
2
Let t be -1 - (-6)/((-24)/(-20)). Solve x + 9 = t*x for x.
3
Let a(f) = -f - 1. Let z be a(-3). Solve 0*v + z*v = -10 for v.
-5
Suppose 5*t - 6 = 4. Suppose -2*v = 10, -2*v = o - 3*o + 18. Suppose 39 = o*i + 7. Solve 0 = -6*g + t*g + i for g.
2
Let m = 11 - 9. Solve 5 = 7*f - m*f for f.
1
Let h(o) = 2*o**2 - 4*o + 2. Let b be h(2). Suppose -5*n - 3 = 7. Let p = n + b. Solve -3*a = -p*a for a.
0
Suppose 79 = 5*w - 11. Suppose 5*z - 96 = 2*v, -2*v - w = -z - v. Solve -2*a + z = 3*a for a.
4
Let k(u) = -u - 5. Let w be k(-5). Solve w = 5*l - 6 + 1 for l.
1
Let f(s) = 5*s**2 - s - 2. Let u(a) = -a**3 + 11*a**2 + 13*a - 13. Let x be u(12). Let i be f(x). Solve -4*y + 3*y = i for y.
-4
Suppose -9 - 1 = -j. Suppose -5*y = -3*q + 28, 17 = 5*q + y - 11. Let h = j - q. Solve -12 = h*w - w for w.
-4
Let y = 61 + -61. Solve 0 = 5*n - y*n for n.
0
Let z be 22/6 + 4/12. Suppose d + 1 - z = 0. Solve 2*n + d*n = 0 for n.
0
Let z be (-1 - 2 - 1)/(-2). Let f(i) = -i**2 + 0*i**2 + 4*i**2 + 4 + 5*i - z*i**2. Let p be f(-5). Solve -d = -p + 1 for d.
3
Let o(q) = -q**2 - 8*q + 9. Let r = -15 + 5. Let v be o(r). Let i = -7 - v. Solve -b + 2 = i for b.
-2
Suppose -2*g + v = -2*v - 8, -5*g + 3*v + 20 = 0. Let l = 8 - g. Solve -t + l*t = 0 for t.
0
Let w(v) = v**2 + 6*v - 1. Let t be w(-7). Solve 2*p - 5*p = -t for p.
2
Suppose -2*s = -3 - 57. Suppose 3*v + 3*j = 2*v + 8, 4*v - 22 = -2*j. Suppose -2*i - 3*i + s = 5*c, -v*i = c + 2. Solve 0 = -2*q - 2*q + c for q.
2
Suppose 3*l = -0*c - 5*c - 15, 0 = 5*c - 4*l - 20. Suppose -w - 3*w + 3*n + 8 = 0, -3*w = -4*n + 1. Solve c = t + 4*t - w for t.
1
Let f be -2*(54/4)/(-3). Suppose -f - 8 = l - 5*m, 4 = m. Let j be (-2)/((-6)/(-3))*-1. Solve c + l = j for c.
-2
Suppose 2*x + x = -2*u + 24, 0 = -5*x + 3*u + 59. Let s = x - 4. Solve 2 = -4*a - s for a.
-2
Let p be 72/4*(-4)/3. Let k be p*(21/(-6))/7. Solve o - 5*o - k = 0 for o.
-3
Let p be 4 + -3*(-5)/(-15). Solve i + 8 = -p*i for i.
-2
Suppose -15*i + 12*i = 0. Solve i = 2*c + 1 - 5 for c.
2
Let p be (-4)/3*6/(-4). Let g = 4 + -11. Let x = g - -8. Solve 0 = -l + x - p for l.
-1
Let n = -24 - -24. Suppose -i + 9 = 2*f - n*i, -2*i = 3*f - 12. Solve 0 = -o + f*o - 5 for o.
1
Suppose -2*c = -5*m + 10, -3*c - 2*c + 4*m = -9. Solve c + 5 = 5*g for g.
2
Let v be ((-16)/(-12))/(2/(-6)). Let k be (-34)/v - (-15)/10. Solve -6*s + s - k = 0 for s.
-2
Let s be 4/2 - (0 - -2). Suppose s*d = -4*d. Solve -m + 0 + 4 = d for m.
4
Suppose 4*v + 3*q + 5 - 121 = 0, 0 = v - 5*q - 52. Suppose 3 + v = 5*t. Suppose 2*u + 15 = t*u - 5*r, -3*u = 3*r - 27. Solve b = 3*b - u for b.
3
Let c = -55 + 78. Suppose 3*j = -u + 13, -2*j + 5*u = -c - 14. Suppose 4*w - j*l = -2*l, 2*w = -l. Solve w*z = -2*z - 10 for z.
-5
Let v(r) = 2*r**2 + 29*r - 14. Let d be v(-15). Solve -1 = 2*s + d for s.
-1
Suppose -5*q + a + 1 = -10, 4 = 3*q + 2*a. Suppose 0 = -0*y + 2*y - 6, 4*s + q = 2*y. Solve h = 5 - s for h.
4
Let g = 37 - 22. Let v be (g/10)/(3/8). Solve v*l = 5*l + 5 for l.
-5
Let i be (-39)/(-12) + (-1)/4. Solve i*x = 7*x + 16 for x.
-4
Suppose -85 - 11 = -5*a - 4*x, -5*x - 44 = -4*a. Suppose -o - 3*o = -a. Solve 3*q - o + 1 = 0 for q.
1
Let u be (-3)/1*40/(-6). Let m be (3/(-2))/((-1)/2). Suppose 2*g + 6 = k, -6 - 8 = -m*k + 4*g. Solve k*s + 2*s = -u for s.
-5
Suppose 4 = -4*h + z, 0 = 3*h - 2*z + 6*z - 16. Let c = 14 + -10. Suppose 4*g + 5*p + 17 = 0, -4 = -2*g + 5*p + 25. Solve f + c - g = h for f.
-2
Let p = -79 + 79. Solve p*n = 4*n - 8 for n.
2
Suppose 5*d = -x - 8, 0 = 4*x + 4*d + d - 13. Suppose 2*v = j + x, -3*j - 15 = -5*v + 2*v. Suppose v*q + 6 = 5*q. Solve -q*b = 3*b - 15 for b.
3
Let x(m) = -m**3 + 5*m**2 + 8*m - 5. Let s be x(6). Let i(d) = d**2 - 6*d - 4. Let g be i(s). Let r be 3/7 + 2/(28/162). Solve 6*q + r = g*q for q.
-4
Let n(z) = z**2 - 3. Let i be n(-2). Solve c + 1 + i = 0 for c.
-2
Let v = -9 + 22. Solve v - 5 = 4*c for c.
2
Suppose -32 = -4*s + 28. Let d be 2 + 0/(-2) + 0. Solve -d*y - y = -s for y.
5
Let k = 2 - -10. Suppose 2*t - k = 4. Solve t = -5*r - 2 for r.
-2
Let s be 11 - 0 - (-7)/7. Let b(r) = -r**2 - 2*r + 3. Let q be b(-3). Suppose 3*o - s + 0 = q. Solve 0*m + o = m for m.
4
Suppose 4 = 2*w - 8. Let n = 9 - w. Solve -5*d - 2 = n for d.
-1
Let z be (0 - 8) + (1 - 4). Let s = -9 - z. Solve s*u = 4*u for u.
0
Let f be ((-6)/9 - 0)*-3. Suppose 0*i - f = -i. Let m be i/(-2)*8/(-4). Solve -k + 2*k = m for k.
2
Let q(p) = p**2 - 13*p + 15. Let a be q(12). Let z be -3 + 24/(a/1). Solve 5*v - z - 20 = 0 for v.
5
Suppose 0 = -u - 5*z, 0*u + z = u. Let b be (-1 - -17) + 0 + u. Suppose -s + b = 3*k, 4*s - 10 + 26 = 4*k. Solve v = k - 0 for v.
5
Let i(z) = z**3 - 7*z**2 - z + 7. Let o be i(7). Solve o = -4*c - c for c.
0
Let a(b) be the first derivative of b**2/2 - 5*b + 2. Let u be a(10). Let x = -3 + u. Solve 3*c + x*c = 0 for c.
0
Let r(s) = s**3 + 5*s**2 - 8*s - 7. Let y be r(-6). Suppose -y*i + q + 20 = 0, q - 25 = -4*i - 0*q. Solve i = 4*n + 25 for n.
-5
Let p = -110 + 112. Solve -6 = -0*t - p*t for t.
3
Let f be 356/22 - 8/44. Suppose 0 = -13*z + f*z. Solve z*x = -4*x for x.
0
Let c(t) = -3*t + 8. Let k be c(2). Solve 12 = k*g + 2 for g.
5
Let c be 2 - 5/(15/6). Let o be (c/2)/(1 + 0). Suppose 0*x - 5*x = o. Solve x = -2*j - 0*j for j.
0
Let h be (3 + -1 - 0)*1. Suppose 6 - 174 = -4*y. Let w = y - 22. Solve 0 = -h*o - 3*o + w for o.
4
Let q = 37 - -7. Let f = 64 - q. Solve 3*x + f = -2*x for x.
-4
Let m be ((-27)/12)/(1/(-4)). Let o = -8 + m. Solve 0 = -b - o + 5 for b.
4
Suppose v - 14 = -4*t, -4*t + 1 + 1 = -5*v. Suppose -2 = -v*m - 0*m. Let k be (-2*m - -2)/(-2). Solve k = 2*d - 3*d + 3 for d.
3
Let b(o) = -2 + 2 + 1 + 8 - o**2. Let a be b(0). Solve 4*m = -a - 7 for m.
-4
Suppose -18*f + 118 = 10. Solve 0 = -f*l + l + 15 for 