 t.
1
Let c(o) = 4*o - 2. Let y be c(2). Suppose -3*s + 0 = 2*p + y, 4*s + 16 = 0. Let i(u) = -u**2 + 6*u - 1. Let v be i(5). Solve -v*r - p = 9 for r.
-3
Let x = -28 + 20. Let s = x - -8. Let b = -2 + 3. Solve s = 4*z - 5*z + b for z.
1
Let c be ((-20)/6)/(12/(-18)). Suppose 0 = -c*a + 4*z - 4 + 3, 0 = -3*z + 12. Let n be a + (2 - (3 - 0)). Solve r = n*r - 5 for r.
5
Let x = -10 - -7. Let p be (-1)/((-4)/(11 + x)). Solve 25 = -3*n - p*n for n.
-5
Let c be 3*(-1 + (-12)/(-9)). Suppose 4*d = 15 + c. Suppose u = d*u - 9. Solve -u*r - r = 20 for r.
-5
Suppose 3*x + 6 = -c, -6 = 3*x + 5*c - 2*c. Let m(b) = -b**3 - 2*b**2 + b + 2. Let f be m(x). Solve f*r + 4 = -r for r.
-4
Let z(s) = -2*s**3 + 5*s**2 - s - 4. Let f be z(3). Let y be 15/(-6)*f/10. Solve y*t = -19 + 7 for t.
-3
Let r(y) = 2*y**3 - 5*y**2 - 7. Let k be r(3). Solve 0 = -k*j - 3 - 7 for j.
-5
Let f = -38 - -42. Solve 3*z - 4*z + f = 0 for z.
4
Let a = -1 + 1. Suppose -g + 2*v - 4 = 0, -g - 4*g = -3*v + 6. Solve g = -q - a - 2 for q.
-2
Let r(m) = 9*m - 3. Let x be r(3). Suppose x = -j + 5*j. Solve -l - 2*l = j for l.
-2
Let t(o) = -2*o**2 - 3*o + 3*o**2 - 4*o. Let c be t(7). Solve -3*x + 4*x + 2 = c for x.
-2
Let c = 5 + -7. Let q = 1 - c. Solve 0*k + q*k - 15 = 0 for k.
5
Suppose 0 = 4*t - 10*t. Solve 0*w + w - 2 = t for w.
2
Suppose 3*v + 23 = -2*n - 2*v, 2*n + 2*v + 14 = 0. Let t = 6 + n. Solve -4*d + 5*d = -t for d.
-2
Suppose -m + 0*m = -1. Suppose m = z - 2. Suppose 16 = -3*r + r + 4*d, 2*r + 2*d - 8 = 0. Solve r*i = -z*i for i.
0
Let i be (-86)/8 - (-3)/(-12). Let n = 16 + i. Let t = -14 + 20. Solve 0 = -n*y + t - 1 for y.
1
Suppose 3*d - 15 = -0. Suppose 2*y + r - d = 0, -3*r = -0*y - y - 8. Let c be (4/(-12) - 0)*-15. Solve -c*g - y - 9 = 0 for g.
-2
Suppose -2*z = -2*q + 7*q + 20, -5*z + 5*q = -20. Let t = -1 + 4. Let i be (-5)/(-3) + 1/t. Solve z = -x - i*x for x.
0
Let w(u) be the third derivative of 0*u**3 + 0*u - 1/24*u**4 + 2*u**2 + 0. Let y be w(-1). Solve 2 = -3*q - y for q.
-1
Let c(l) = l + 1. Let m be 34/(-6) - 4/(-6). Let q(t) = -3*t**2 - 3*t - 6. Let r(o) = m*c(o) - q(o). Let g be r(1). Solve 7*k = g*k + 20 for k.
4
Suppose 2*z - 13 = -r - 1, 3*r - 64 = z. Solve 2*n + r = -3*n for n.
-4
Let z be (-8)/(-6) - (-8)/12. Let h = z - -2. Suppose 4*q + h*p + 13 = 5, 2*q - 2 = p. Solve -5*i + 3 + 2 = q for i.
1
Let z = -18 + 21. Suppose -l - l - 12 = 4*c, c = z*l - 17. Let g be (-1 + -1)/(-1*1). Solve g*n + 0 = -l for n.
-2
Suppose 3*k - 18 = 3*i, -4*k + 14 = -3*i - 3*k. Let j be i/10 - (-64)/10. Solve -q = 2*q + j for q.
-2
Suppose -3*d - 21 = 3*a, 6*d - d + 29 = -2*a. Suppose -40 = -7*o + 2*o. Let b = d + o. Solve b*s - 4 = -s for s.
1
Let g(y) = -4*y - 8. Let s be g(-11). Let j be (s/45)/((-2)/(-10)). Let o = -2 + j. Solve -5*i = -o*i for i.
0
Let z be -3 + 1 - (-6)/2. Solve 2 = -m + z for m.
-1
Let s(q) = -q. Suppose 7 = -k + 3. Let h be s(k). Solve -3*p = -h*p - 3 for p.
-3
Let z = -97 + 97. Solve 0 = -5*n - z*n - 5 for n.
-1
Let z be (-1)/(2/(-4))*2. Suppose 0 = -u + z*u - 27. Solve -u + 3 = 2*l for l.
-3
Suppose -2*k - 18 = -28. Solve 17 = -k*p + 2 for p.
-3
Let u(p) = 3*p**3 - 3*p**2 + 2*p + 1. Let n be u(2). Suppose 0 = 3*b - n - 1. Let j be b*1 + 3 + -4. Solve 0*r = -j*r + 20 for r.
4
Let k be 7*1 - (7 + (-5 - 1)). Suppose 0 = 2*c + 9 - 25. Let r be (-7)/(-4) + 2/c. Solve r*n = -n + k for n.
2
Let a(c) = -2*c**3 - 3*c**2 - 9*c + 5. Let r(d) = -d**3 - d. Let i(l) = -a(l) + 3*r(l). Let k be i(4). Solve k = m + 8 for m.
-5
Suppose -3*i - 16 = -5*i. Suppose -3*k - 2*s + 4 = -s, 5*k = -s + i. Solve k*j = -1 - 1 for j.
-1
Suppose 11 = 2*z - q, -z + 2*z - 2*q - 7 = 0. Solve 5 + 0 = z*v for v.
1
Suppose 0*a - 5*a + 5 = 0. Let l = 4 - 1. Let g = 6 - l. Solve 2*v + g = a for v.
-1
Suppose c + 4 + 13 = -5*l, 0 = -5*c + 3*l - 29. Let b = c - -14. Let s(a) = -a**3 - 25*a**2 - a - 25. Let w be s(-25). Solve 5*r - b - 13 = w for r.
4
Let o(z) be the first derivative of z**4/4 + 4*z**3/3 + 3*z**2/2 + 3*z + 3. Let n be o(-3). Suppose -n*q + 112 = q + 4*b, 32 = q + 5*b. Solve q - 7 = 5*g for g.
4
Let p be 6*((-2)/6 + 0). Let f be -1 - (-4)/(0 - p). Let v be 3/f*10/15. Solve 7*g - 5 = v*g for g.
1
Let b = 12 + -12. Solve b = 4*x - 6*x for x.
0
Let j(h) = h**2 + 6*h - 7. Let m be j(-7). Solve -4*b + 5*b - 5 = m for b.
5
Let s(o) = o**2 - 6*o + 5. Let a be s(6). Suppose -2*c + 50 = a*x, 0*x - x = -c - 3. Solve x = z + 4 for z.
4
Let z = -10 - -7. Let i(g) = -g + 2. Let y be i(z). Let b be -2 + 1 - (-1 - 8). Solve y*u - 3*u + b = 0 for u.
-4
Suppose 0*s - 2*s - 3*b - 5 = 0, 5*b = 5*s - 50. Solve -s*u = -u + 12 for u.
-3
Suppose -x - 20 = -5*x. Suppose 5*v + x = -10, 0 = -2*i + 5*v + 13. Let a = 1 - i. Solve 7*r - a*r = 25 for r.
5
Suppose -5*r = 20, y = -2*y + 2*r + 17. Let h be (1 - 12/y)*-1. Solve 0 = h*v - v - 6 for v.
3
Let m be 6/15 + 4/(-10). Suppose y - 3 = -5. Let u = y - -7. Solve 8*b - u*b = m for b.
0
Let m = 151 - 151. Solve m = t - 0*t - 5 for t.
5
Let f = -3 - -2. Let v = f - -3. Let j be 2 + 2 + (2 - v). Solve -4*k = -j - 4 for k.
2
Suppose 3*n + 4*u = -14, 2*n + 23 = 6*n - 3*u. Let f(b) = n*b - 3 + 2 + b**2 + 3. Let j be f(-3). Solve -j*s = -1 - 4 for s.
1
Let c(f) = -f - 7. Let q be c(-7). Suppose 4*u + 4*k = 0, -2*u - 4*k = u. Solve u = -t - q*t - 5 for t.
-5
Let l(b) = -b**3 + 5*b**2 - 4*b + 1. Let n be l(4). Solve -w - 3 + n = 0 for w.
-2
Let t be (-7)/((-35)/(-15))*(-4)/3. Solve 12 = t*p - 8 for p.
5
Let w be (-32)/(-6) + 2/(-6). Let k be -1 + w - 0/2. Suppose -x = -k*x + 18. Solve 0 = -3*p + p + x for p.
3
Suppose -d - d = 2*z - 114, 2*d - 4*z - 132 = 0. Let y be (3/(-2))/(5/d). Let u = y + 27. Solve u = -2*w - w for w.
-3
Let d = -12 + 4. Let w be (-4)/d*(14 - 2). Solve -5*j - w + 1 = 0 for j.
-1
Suppose 3*d + 131 = -d + 5*c, -5*d - 133 = 4*c. Let u = d - -49. Solve -6*i - u = -i for i.
-4
Suppose 0 = -2*d - 2*d - d. Solve 3*x + d = 9 for x.
3
Suppose p = 3*z - 20, 0*p = -4*z - 2*p + 10. Solve -4 = -3*k + z for k.
3
Let l(c) = c**3 + 14*c**2 + 13*c. Let t be l(-13). Solve -o - 2 + 1 = t for o.
-1
Let m be (-7)/((-21)/9) + -1. Let x = -5 - -5. Suppose l - 1 = -x. Solve d + l + m = 0 for d.
-3
Suppose 2*g + 58 = 5*k, -56 = -5*k + 4*g - 0. Solve -15*p + 9 = -k*p for p.
3
Let q(p) = 11*p**2 + p - 2. Let n be q(-2). Suppose 0 = -5*z - 5*o + 50, 2*z - 5*o - n = -2*z. Solve 0 = -0*s - 2*s - z for s.
-5
Let c be 1573/65 + 8/10. Solve 2*m + 3*m = c for m.
5
Suppose -4*u + 20 = 4*p, 0*u + 5*p = -u + 17. Let c = u + 4. Solve c = -0*z - 2*z for z.
-3
Let l be (-11)/44 + (-17)/(-4). Solve 0 = -8*k + 7*k - l for k.
-4
Suppose 9 = -0*l - 3*l. Let u be (0 + -2)*(l + 1). Suppose 0*r + u = r. Solve -20 = r*c - 0*c for c.
-5
Let d(w) = -w**3 + 14*w**2 + 15*w + 4. Let h be d(15). Let l(r) = -r + 4. Let k be l(h). Solve k = 3*u + 11 + 4 for u.
-5
Suppose -4*u - 21 = -u. Let r = -3 - u. Suppose 5*d + 20 = 6*d + 4*t, 2*d - 24 = -r*t. Solve -d*i = 2 + 2 for i.
-1
Let r = 27 + -19. Suppose -3*y + 5 = 4*s + 15, 2*s = -r. Suppose 0 = -3*d + n + 40, 42 = 4*d - 4*n - 22. Solve d = -y*b - 2*b for b.
-3
Let r = -4 - -10. Suppose 2*u - 8 = 3*y + 1, 0 = 5*y - u + 8. Let a be (-4)/y - (5 - r). Solve -f = -a*f - 16 for f.
-4
Let b(i) = -i**3 - 6*i**2 + 6*i - 3. Let r be b(-7). Suppose 5*z - 5 = -0*z. Suppose -o = z - r. Solve -g = -o*g + 10 for g.
5
Let c be (1 - 0)*-1 - -3. Solve 2*a + c*a - 8 = 0 for a.
2
Let q(t) = t + 6. Let l be q(-6). Let x be (-2 - l) + 7/1. Solve -j = -x*j + 16 for j.
4
Let x be 3*(44/12 - 1). Let t be (32 + -20)*6/x. Suppose -5*u + 5*f = -5, -u - 4*u = -4*f - 5. Solve 5*c + u = -t for c.
-2
Suppose 0 = -0*t + 4*t - 32. Let b = t - 0. Solve -s = s + b for s.
-4
Let v(w) = 2*w - 1. Let g be 28/(-6) + 4/6. Let d(a) = a**3 + 4*a**2 - 2*a - 5. Let t be d(g). Let b be v(t). Solve b = 5*q - 20 for q.
5
Let s = -31 - -34. Solve -s*k + 2 = -1 for k.
1
Suppose 5*s - 10 = 10. Solve 3*r + r - s = 0 for r.
1
Let k be (-6)/(-4)*(0 + -2). Let i(n) = -n**3 - 2*n**2 + 3*n. Let q be i(k). Suppose q*l - 15 = -5*l. Solve -l*v = -7 - 5 for v.
4
Suppose -t - 5 = -m - 1, -10 = 4*t - m. Let o(c) = -c**3 - 7*c**2 - 8*c - 9. Let p be o(-6). Let d be 1 + (-2)/(t/p). Solve d = x - 2*x for x.
-4
Let b(a) = a**2 + 13*a - 12. Let n be b(-14). Let w be 3 + (2 + -4 - 0). Solve -n*s - 7 = w for s.
