*f - 1. Solve -3*s + 4 - f = 0 for s.
1
Let p(z) = z**3 - 2*z**2 + 3*z - 3. Let i be p(2). Suppose i*r = r. Solve r = 4*b + 2 + 2 for b.
-1
Let g be (1 + -1)/(1 - -1). Solve g = -q + 3 + 1 for q.
4
Let s(r) = r**2 + 10*r + 9. Let p be s(-9). Solve p = 4*i - 15 - 1 for i.
4
Let u = -5 - -7. Suppose -u*k = -4*k + 2. Let m be -3 - -3 - (-3 - k). Solve -5*a + m = -11 for a.
3
Let r(s) = s**3 + 6*s**2 - 7*s + 2. Let p be r(-7). Suppose 3*b + 4 = p*b. Let x be ((-8)/12)/(b/30). Solve 0 = -5*o - x - 0 for o.
-1
Let m(c) = c**2 + 5*c + 6. Let q be m(-3). Solve g - 6*g + 10 = q for g.
2
Let u = 80 + -73. Solve 4*r = u*r + 3 for r.
-1
Let d be -2 + (5 - 4) + 3. Solve 6*n - d*n - 8 = 0 for n.
2
Let s = 79 + -74. Let b = -4 - -6. Solve b*d - d = -s for d.
-5
Let u = -53 - -53. Solve u = 3*y - 2*y - 5 for y.
5
Let g(r) = -r**3 + 3*r**2 + 12*r - 7. Let t be g(5). Solve -f - t = -2*f for f.
3
Let f = 5 + 0. Suppose -16 = -f*p + p. Solve 5*l - 21 = p for l.
5
Suppose t = -3*o + 2*o + 6, -5*t = 4*o - 32. Let x be 0 + (2 - 3) + 1. Solve -t = -x*g - 4*g for g.
2
Let b = -8 + 9. Suppose -3 = -h + b. Solve h = -4*w - 8 for w.
-3
Let w(l) = 3 - 11 + l - 2*l. Suppose -3*o - 31 = -2*d, -4*o + 3*o + d - 10 = 0. Let c be w(o). Solve -c*y = 4 - 1 for y.
-1
Let i = 2 - -1. Suppose 0*j = -i*j. Solve m + j = 1 for m.
1
Suppose 2*t + 5 + 1 = 0, 2*v + 3*t = 29. Suppose v*c = 23*c - 12. Solve -2*y = c*y for y.
0
Suppose -h = -0*h - 3. Solve h*i + 2 = i for i.
-1
Suppose 4*p + 4 = 12. Solve 2 = -t + p*t for t.
2
Suppose -2*t = 2*t. Let w be 0 + -15 + t + 0. Let c be 12/10*w/(-3). Solve y - c*y = 15 for y.
-3
Suppose -15 = -3*m - 9. Suppose 4*i = -0*l + 3*l + 20, 0 = -2*i + m*l + 10. Suppose -4*r + 4 = -s, -5*r = 5*s - 4*r - 1. Solve 0 = i*q - s*q for q.
0
Let a(p) = p + 2. Let j be a(0). Solve 4*o = -j + 6 for o.
1
Let t = -14 - -10. Let a = 1 - t. Solve -4*d - a = 3 for d.
-2
Let n(s) = s**2 + 6*s + 1. Let q be n(-6). Suppose -2*r = -9 + q. Solve -r*a = -0*a + 4 for a.
-1
Let n = -103 - -106. Solve -n*t + 8 - 5 = 0 for t.
1
Let v(p) be the third derivative of -p**5/60 - 3*p**4/8 + 5*p**3/6 - p**2. Let u be v(-9). Let r be 2 - (0 + -4 - -2). Solve -u = -r*a + 3 for a.
2
Suppose 0 = 4*o + 3*t - 35, 5*t - 7 + 34 = 4*o. Suppose l - 6*l = -3*c, 2*l - 9 = 3*c. Let k(j) = j**2 + j + 1. Let w be k(l). Solve 5*a + o = -w for a.
-3
Suppose 0 = 4*s - 12 - 4. Suppose 2*n = 3*m - 5, 10 = 2*m - 2*n + s*n. Suppose 0 = -c + o, o = m*c + 4*o - 24. Solve -c*a = -a + 12 for a.
-4
Let s = 3 + -2. Let p(l) = 2*l + 0 + l - 1 + 2*l. Let g be p(s). Solve -g - 2 = -3*v for v.
2
Let v be 15/45 - (-4)/6. Solve o - 4 = -v for o.
3
Let r(h) = 2*h**2 + 3*h + 3. Let o(c) = c**2 - 4*c. Let w be o(4). Suppose -y = 2*l - w*l + 2, -5*l - 3 = 3*y. Let f be r(l). Solve 2*g + f = 2 for g.
-5
Let y(k) = 3*k + 12. Let b be y(-3). Let j(h) = h**3 - 4*h**2 - 5*h + 2. Let s be j(5). Solve -s*q + b = q for q.
1
Suppose -z + 5*z = -28. Let y = -7 - z. Solve 3 = -y*a + 3*a for a.
1
Let f(k) be the second derivative of k**4/2 - 5*k. Let r(w) = w**2 + 7*w + 5. Let z be r(-6). Let u be f(z). Solve 4*c + 14 = -u for c.
-5
Suppose -5*i = -2*i. Let l be (6 - i) + -1 - 1. Suppose -1 = -l*z - 2*f - 3, 4*f = z - 22. Solve z*h - 4 - 4 = 0 for h.
4
Suppose 5*b = 3*d - 0*d + 22, -2*b + d = -9. Suppose -o + 6*o = -4*l, b*o = l. Solve o = r + 5 for r.
-5
Suppose -2*c + 5*g = -6, -3 - 7 = c + 4*g. Let x be (-3)/(-1 + c) + 1. Solve x*n = n for n.
0
Let a(j) = -j - 18. Let q(x) = -3*x - 45. Let n(t) = -12*a(t) + 5*q(t). Let m be n(-8). Solve -4*v + m = v for v.
3
Suppose -2*y - 14 + 6 = -2*t, t + y = 2. Solve -t = -x - 0 for x.
3
Suppose 0 = -5*d + 2*z + 40 - 4, 3*d - 24 = 2*z. Solve d*h - 3*h = 6 for h.
2
Let y be -2 + ((-9)/3 - -10). Suppose 2*l - 2 = -2*m, 3 = -l + 4*l. Let v = m + y. Solve -6*z + v = -z for z.
1
Suppose -2*u - 4*a + 0*a = -28, 0 = -5*u + 4*a. Let l = -14 - -14. Let n(v) = v**2 + v + 3. Let g be n(l). Solve -4*j + u = -g*j for j.
4
Suppose -5*q + q = -2*z + 14, z + 4*q = 1. Let h(j) = j**3 - 12*j**2 + j - 2. Let u be 56/21*9/2. Let g be h(u). Solve 0*m = z*m - g for m.
2
Suppose -f + 12 = 3*d - 0*f, 3*f = 0. Suppose -d*v + 9 = 1. Let y = 13 + -9. Solve v*h - y = -2*h for h.
1
Let a(p) = -p**3 + 10*p**2 - 7*p - 3. Let m be a(9). Solve -m = 3*t - 0*t for t.
-5
Let j(g) = g**3 + 15*g**2 + 15*g + 19. Let l be j(-14). Solve 3*p = l*p - 4 for p.
2
Let x(d) = -d - 4. Let h be x(-6). Suppose 2*u - h*m + 4 = -2, 0 = -u - 2*m + 6. Suppose u + 15 = 5*q. Solve -2*a = a + q for a.
-1
Let h(x) = -x**2 - 8*x + 8. Let u be h(-7). Solve -u*r + 18*r = 6 for r.
2
Suppose 4*v + 4 = 24. Suppose -b = l - 3, -b = -3*b + l + 6. Suppose 4*f = -b*n + 24, -f = 5*n - 34 - 6. Solve -n = v*s - 3*s for s.
-4
Let q(j) = -j**2 + 5*j + 5. Let w be q(6). Let r be 6 - (3 + w + 0). Let s(i) = i**2 - 4*i + 5. Let k be s(r). Solve k*f - 4 = 11 for f.
3
Let o = 16 + -14. Suppose -6 = -o*j + 4. Solve -j*s + 2*s - 12 = 0 for s.
-4
Suppose 0 = 2*l - 2*d - 8, -l + 0 = 2*d - 10. Let b be 2/l - (-145)/15. Solve -6 = -4*c + b for c.
4
Suppose 0 = -5*c - 2*j + 10, c + 3*j - 21 = -6. Solve 0 = -4*z - c*z - 8 for z.
-2
Let q be 56/28 - (1 - 1). Solve 3*k - 8 + q = 0 for k.
2
Let z(j) = -j**2 - 3*j - 2. Let d be z(-1). Let k = 0 - -3. Suppose -3*g + 6 = 0, k*h - 5*g - 4 = -2. Solve -t - h + 3 = d for t.
-1
Let g(m) = -m**3 - 2*m**2 - 4 + 6 - m**3. Let z be g(-2). Solve -4*j + z = j for j.
2
Suppose 18*a = 1 - 1. Solve -x + 0*x - 5 = a for x.
-5
Let z = 24 + -12. Let u be (9/6)/((-9)/z). Let c = 2 - u. Solve -5*s - c = -s for s.
-1
Let b(a) = -a**3 - a**2 + a + 1. Let c be b(-1). Solve 25 = -c*u - 5*u for u.
-5
Let a be 4*(-3 + 45/10). Let g = -6 - 0. Let c = g + a. Solve 2*o + 0*o + 4 = c for o.
-2
Suppose -9*b + 39 = 3. Solve -15 = b*r + r for r.
-3
Suppose -19 = -4*r + 3*s, 4*s = -2*r + r. Suppose -r*g + 3 = -5. Solve 0 = -g*c + 3 + 5 for c.
4
Suppose -7*u = 6 - 111. Solve -s - 2*s = -u for s.
5
Let k = 23 + -13. Solve -b + k = b for b.
5
Let c = -7 - -1. Let n = 10 + c. Suppose 4*a = w + 77, -a - 3*w + 20 = -9. Solve -a = 4*u - n for u.
-4
Suppose 10 = v + v. Suppose -23 = 3*g - v. Let i = g - -8. Solve a = i*a - 5 for a.
5
Suppose v = -0*v. Suppose 3*z + 2*n = -8, v = -4*n - 10 - 6. Suppose z = -b - b. Solve b + 2 = -2*k for k.
-1
Let t(w) = w**3 + 7*w**2 + 7*w + 7. Let q be t(-6). Solve 2*m = m + q for m.
1
Let d be ((-3)/(-2)*2)/1. Suppose 2*f + f = 18. Let i be (3 - f)*4/(-6). Solve -k = -d*k - i for k.
-1
Let y be (-1 + 4/8)*8. Suppose -33 - 21 = -3*v. Let p be y/v + (-47)/(-9). Solve p*r - 3*r - 4 = 0 for r.
2
Let q = 16 + -11. Let a be 3/(-3*(-3)/18). Suppose i = -a + 17. Solve -q*n + i = 1 for n.
2
Let v(l) = l**3 - 5*l**2 - 3*l + 6. Let r be v(6). Suppose -d = 2*d - r. Solve -8 = -4*a + d for a.
4
Let u(j) = -j**3 + 4*j**2 + 1. Let k be u(3). Solve -k*t + 25 = -5*t for t.
5
Let r = 0 - -4. Suppose -r*y + 7 - 3 = 0. Solve -y = 4*d - 9 for d.
2
Let m be (0/1)/2 + 3. Suppose -j + 4 = -2*b + b, -3*j = -2*b - 10. Suppose -4*v - 11 = -3, 3*n + j*v = -1. Solve m*y - 2 = n for y.
1
Suppose -r + 4 = -1. Solve 0 = -3*s + r*s + 4 for s.
-2
Suppose -32 = -10*z - 2. Solve z = 2*t - 5 for t.
4
Let s = 44 - 42. Solve 3*q - 20 = -s*q for q.
4
Suppose 0 = v - 3*v + 20. Suppose v = 3*j - 2. Suppose 108 = 2*b + 2*b. Solve j*i + b - 7 = 0 for i.
-5
Let w(h) = -2*h**2 + 14*h + 4. Let j be w(7). Solve m + 3*m - j = 0 for m.
1
Let g = -2 + 4. Solve g = 2*i - 4 for i.
3
Suppose 0 = 2*u - 3*u - 20. Let g be (u/25)/((-1)/5). Solve g*q - 10 = -2 for q.
2
Let g = -62 - -66. Solve 5*j + g = -1 for j.
-1
Let b(p) = p**2 + 9*p + 4. Let a be b(-9). Let g = a - 7. Let v be 41/3 + 2/g. Solve -5*t - 2 - v = 0 for t.
-3
Let z = 25 - 5. Let n = z - 18. Solve -n*r - 5 = 1 for r.
-3
Let d be 0*4/(-4 - 0). Suppose 3*p = -0*p. Let n = p - d. Solve n = 6*i - i - 20 for i.
4
Let z = 16 + -13. Suppose -18 = -n - n. Suppose 2*v + n - 25 = 0. Solve -w + z*w = v for w.
4
Let d(q) = -q**2 + 6*q. Let s be d(6). Let w be s/(-10) + 3 + -1. Solve -w = 2*l - 0 for l.
-1
Suppose 4*f + 40 = -0. Let c be 2/f - 2/(-10). Let n(v) = v**3 - v. Let w be n(c). Solve 0 = -w*j + 4*j for j.
0
Let h(k) be the second derivative of -k**3/6 + 13*k**2/2 + 7*k. Let r be h(10). Solve -a + r*a = 4 for a.
2
Let s = 37 - 13.