- 2 for f.
2
Let q = 502 + -493. Solve -q = -3*b - 0*b for b.
3
Let n be -14*(-4 + 14/4). Let u be (-5 + n)/(0 - (-6)/9). Solve 0 = 3*g - u + 6 for g.
-1
Let d = 1364 + -1361. Solve d*p - 8 = -p for p.
2
Let v = 6 + -4. Suppose -9*h = 94 - 103. Solve -v*i - h = -i for i.
-1
Suppose 0*j - 2*j + 6 = 0. Suppose 78*g - 83*g - 5*c = -35, 0 = -3*g - 2*c + 18. Solve 0 = -g*s + j*s for s.
0
Let c = -1 + 4. Suppose -13 - 22 = 4*h + 3*z, 0 = -2*h + 5*z - 11. Let g(v) = v**3 + 9*v**2 + 8*v + 4. Let m be g(h). Solve -d + m = c*d for d.
1
Let f be 1/2 + 60/8. Suppose -3*q + f*q - 5 = 0. Suppose q = 3*a - 8. Solve -2 + a = -m for m.
-1
Let b = -44 + 68. Let p = 17 - b. Let v be 4/((28/(-8))/p). Solve 2*u + 0*u = -v for u.
-4
Suppose -4*j = 5*c + 1, 2*c + 7 + 3 = -4*j. Suppose -c*g - 23 + 6 = -x, 5*g + 35 = 3*x. Solve a - x*a = -20 for a.
5
Let x(a) = 2*a**2. Let w = -9 + 9. Suppose -f - n = -3, n = -w*n + 4. Let q be x(f). Solve 2*l + 2 = -q for l.
-2
Suppose 4*h - 8 = 2*h. Suppose -h*p - p = -o + 20, 3*o = 5*p + 20. Solve -3*z + 6*z = o for z.
0
Let p = 9 + -4. Suppose 0 = p*a + 2*o + 34, 0 = -5*a - 3*o - 39 + 8. Let i = 11 + a. Solve l = i*l for l.
0
Suppose -r - 12 = -b - 10, r - 4*b + 8 = 0. Solve 4*f + 6 + 2 = r for f.
-2
Let w be (-5412)/(-615) + (1 - 0)/5. Solve -w*b = -0*b - 2*b for b.
0
Suppose 0 = -2*o + 2*q - 2, 36*o = 39*o + 4*q - 4. Let p = 3 + 2. Solve -3*f - p - 4 = o for f.
-3
Let z be (-2 + 56/20)*5. Suppose 5*w + 6 = -z. Let m be (-32)/(-48) + w/3. Solve m = 3*a - 4 - 11 for a.
5
Let c be -2 - 7/(7/(-10)). Solve -5*k + 12 = -c for k.
4
Let i be (0 - 0)/(35 + -33). Solve s + s = i for s.
0
Let o = 83 + -73. Suppose o = -3*a + 25. Solve 0 = -c + a*c for c.
0
Let y = -17 - -19. Suppose 5*v = 4*f + 2*v - 69, y*f = -2*v + 24. Suppose 30 + f = 5*i. Solve 5*a = -11 - i for a.
-4
Suppose -3*t + 5*f = -244, -84 = -t - 0*f - f. Let j = -20 + t. Let g be (j/35)/(3/10). Solve -g*h + 10 = -h for h.
2
Let a(f) = -f**3 + 2*f**2 + 5*f - 2. Let v be a(3). Let c(g) = g + 4. Let m be c(v). Solve 3*o + m = 5*o for o.
4
Suppose 0*p - 3*i = -4*p + 29, 4*p - 17 = -i. Solve p*m = -19 - 1 for m.
-4
Suppose 60 = 17*a + 60. Solve a = -3*j + 5 - 5 for j.
0
Let j(r) = -2*r**3 - 4*r**2 - 3*r - 1. Let u(k) = -k**3 + 4*k**2 - 3*k + 3. Let z be u(2). Suppose 9 + 1 = -z*d. Let h be j(d). Solve h*t = 4 + 11 for t.
3
Let j = -56 + 62. Let q(g) = -g**3 + 8*g**2 + 10. Let v be q(8). Suppose 2*y - o - v = -6*o, -4*o = -5*y + 25. Solve 4 = y*p - j for p.
2
Let p = 9 + -7. Let b(t) = t + 5. Let f be b(p). Let v = f + -7. Solve -3*m = -v*m - 9 for m.
3
Let p = -1305 + 1309. Solve -p*f - 36 = -13*f for f.
4
Let a(c) = -c**2 - c - 4. Let q be a(0). Let y be (q/(-6))/((-8)/(-36)). Suppose -y*t = 2*t. Solve 2*z + 3 + 7 = t for z.
-5
Let x(n) = n**2 + 5*n + 4. Let w be x(-5). Let k be ((-3)/6)/(w/(-56)). Solve 32 = -5*b + k for b.
-5
Let u(k) = -k**2 + 6*k - 3. Let z be u(6). Let c = 7 + z. Let l = -21 + 24. Solve -s - l = -c*s for s.
1
Suppose 3*k + 6 = -g, -5*g = -k + 1 - 3. Solve 10*a - 3*a + 7 = g for a.
-1
Let l = 181 - 98. Solve 0 = 5*d - l + 58 for d.
5
Suppose -13*d = -9*d. Solve d = -o - 5*o + 24 for o.
4
Let r(u) = -u**2 + 18*u + 27. Let t be r(21). Let j = -33 - t. Let n = 40 - 20. Solve 2*w = -j*w - n for w.
-4
Let s(a) = a**2 + 25*a - 179. Let u be s(6). Let o be (-2)/(-6) - 52/(-6). Suppose -10 = -o*g + u*g. Solve g*t = -2 - 8 for t.
-2
Let p = 376 + -372. Solve p*s = -0*s - 12 for s.
-3
Let y(i) = i + 13. Let v be y(-13). Suppose v = -5*t + 4*p - 4, -7*p + 3*p + 4 = 4*t. Let g(z) = -z**3 - z**2 + z + 10. Let q be g(t). Solve -q = m + 4*m for m.
-2
Let o(y) = -3*y**2 + 2*y + 10. Let u be o(0). Solve h - u = -h for h.
5
Let q(i) = i**3 - 13*i**2 - i + 19. Let j be q(13). Suppose -4*d - 21 = -3*y, -d = 3*y - j*y + 12. Solve 8*h - 25 = y*h for h.
5
Let y be ((-18)/270)/(2/(-6))*10. Solve -5 - 3 = -y*k for k.
4
Let w(f) = -17*f + 264. Let u be w(15). Solve -u*x - 14 = -2*x for x.
-2
Let l(u) = u**2 + 6*u + 8. Let p be l(-5). Suppose m + p*w = 2*m + 13, -m + 5*w = 23. Suppose 4*y - 36 - 4 = 0. Solve m*q - y = 4*q for q.
-5
Suppose -3*i = 2*s - 18, 5*i + 0*s = 3*s + 30. Let n be 0 - (-4)/(3/(9/i)). Solve -n*c + 15 = -5*c for c.
-5
Let r(j) = -9*j - 58. Let g be r(-7). Solve -g*m + 6*m = -3 for m.
-3
Suppose 21 = 8*v - v. Solve -v = o - 0 for o.
-3
Let h = -21 - -31. Let l be (-24)/(-10) + (-4)/h. Let g(n) = n**2 - 3*n + 5. Let u be g(l). Solve 5*v + 2 = u*v for v.
-1
Let p = 196 - 188. Solve -p*j + 9 = -5*j for j.
3
Let y = 149 + -147. Solve -7*z = -y*z + 5 for z.
-1
Let g(b) = 2*b - 18. Let u be g(11). Let r(z) = z + 6. Let d be r(-2). Solve -d*n + 2*n + u = 0 for n.
2
Let l = -322 + 324. Solve -6*j = -11*j + l*j for j.
0
Suppose -4*w = -2*w - 6, 4*k - 5 = w. Let r = k + 2. Let p = 25 + -20. Solve 11 = -r*d - p for d.
-4
Suppose -5*f + 29 = -31. Solve 9*p - 5*p = f for p.
3
Let d = 42 + -40. Let n be d - (2 - 2) - 2. Solve n = 5*i - 1 - 9 for i.
2
Let f(w) = -w**2 + 10*w. Let i be f(8). Let t = i - 6. Suppose 3*y - 15 - t = 4*v, 1 = -y - v. Solve -4*b + 5 = -y for b.
2
Suppose -42 = -19*j + 34. Solve -j - 1 = -t for t.
5
Suppose -135 + 33 = -3*q. Suppose -4*y + q = 2. Solve -5*n - y = 17 for n.
-5
Let n(g) = g**2 - 2. Let j be n(-2). Suppose -2*c + 5*v - 6 = 0, 2*v = 5*c - 2*c - 2. Solve 0 = b - c*b - j for b.
-2
Let m(d) = -2*d**3 - 10*d**2 - 2*d + 40. Let b be m(-4). Let z = 8 - 5. Solve b*y = 17*y - z for y.
3
Let k be (-57)/2 - (-3)/6. Let s(q) = 2*q - 6. Let w be s(-10). Let d = w - k. Solve -6 = -0*p + d*p for p.
-3
Let a be 24/(-4)*(-9)/6. Suppose 11*s = a*s + 10. Solve s*x + 12 = -3 for x.
-3
Let a(y) = -y**3 - 2*y**2 + y. Let f(m) = 2*m**2 - m**2 + 9*m - 9*m. Let w(u) = a(u) + 4*f(u). Let p be w(-1). Solve -4 = -2*v + p for v.
3
Let i(l) = 30*l - 52. Let s be i(2). Solve s = 5*h + 3 for h.
1
Let l = 1 + -1. Let d be (0 + (-1)/2)*104. Let z = -50 - d. Solve 2*k + z*k = l for k.
0
Let u = -21 + 37. Let w be 1 + ((-2)/8 - (-65)/20). Solve w*p - u = 4 for p.
5
Let h be 41/6 - (-39)/234. Solve h*o - 13 = 1 for o.
2
Let n be ((-184)/40 - -7)/((-24)/(-90)). Solve 8*a + n*a = -34 for a.
-2
Suppose -3*x + 53 = 2. Let i = 21 - x. Solve 4 - 24 = -i*y for y.
5
Let c = -110 + 72. Let j be (-4)/c - (-112)/19. Solve m - 4*m = -j for m.
2
Let v(m) = m**2 - 58*m + 1. Let w be v(0). Solve -w = 2*o - 11 for o.
5
Suppose -4*p - p = -30. Let v = 43 - 35. Let k = 13 - v. Solve -p*y + y = -k for y.
1
Let v(p) = -p**3 - p**2 + p + 18. Let s be v(0). Suppose 21 = 2*m + t, 4*m + t = s + 19. Suppose -5*x + 17 = -r, 2*x + r = 5*x - 9. Solve 0 = x*n + 8 + m for n.
-4
Let l = 0 + 5. Suppose a + l = -0, -4*a - 2 = 3*o. Solve 0 = -o*m + 3*m - 12 for m.
-4
Suppose -n = 3*n + 8. Let v be 16 + n - (-1 - 0). Let u be (-6)/v + 24/10. Solve u*k = k for k.
0
Let f(y) = 7*y**2 + y - 3. Let k(x) = 20*x**2 + 4*x - 9. Let h(w) = -17*f(w) + 6*k(w). Let m be h(-8). Suppose 2*o - 6*o = -8. Solve -o*n + m - 1 = 0 for n.
2
Suppose 4*t - 75 = 5. Let x(w) be the second derivative of 2*w**3/3 - 11*w**2 - 11*w. Let m be x(7). Solve m*h = h - t for h.
-4
Let b(c) = -7*c - 17. Let q be b(-5). Solve -21*u + 3 = -q*u for u.
1
Let x be (10/15 + 14/(-21))/(-3). Solve x = -2*k - 1 - 7 for k.
-4
Suppose 0 = -3*x + 7*x - 136. Suppose -4*s + f = -51, 2*s + 13 = -f + x. Solve -3*k + s = -7*k for k.
-3
Let l be -11*(0 - -1)*2*-1. Suppose -u + 1 + 5 = n, 3*n + 5*u = l. Solve s - n*s = -12 for s.
4
Let y(i) = i**2 - i. Let s be y(1). Let u be s/(4 + -6) - -5. Solve -u*j + 8 = -2 for j.
2
Let w(s) = s**3 - 2*s**2 - 1. Let j be w(3). Solve -j*c + 3*c + 5 = 0 for c.
1
Let k(c) = c + 5*c - 6*c**2 - 4*c**3 + 7 + 5*c**3. Let w be k(5). Solve 4*y - 4 = w for y.
4
Suppose 0 = 32*k - 143 - 49. Solve 5*z = k + 9 for z.
3
Let v(m) = -m**3 - 4*m**2 + 8*m - 12. Let f be v(-6). Solve 3*o = 6*o + f for o.
-4
Suppose 0 = 3*a - 11 + 2. Let o be a*(1 + 0)*1. Suppose 4 = t + o*t. Solve -t = -4*u + 11 for u.
3
Let v = 324 - 320. Solve -4*z + 12 = v for z.
2
Let w be (5 - (-25)/(-15))*(-228)/10. Let t = w - -80. Solve f + 9 = t*f for f.
3
Suppose 1 = f + 2*j, f + 5*j + 2 = 2*j. Let n(u) = -4 - 70*u**2 - f*u + 36*u**2 + 33*u**2. Let y be n(-6). Solve -y*w = -2 + 12 for w.
-5
Let g(a) = 10*a**3 - a**2 - a. Let t be g(-1). Let l be ((-26)/t + -3)*-5. 