 -0*y for y.
1
Suppose -2*r = 2*r - 8. Suppose -r*a = -3*a + 2. Let t be 10/(a/4*4). Solve -2*f + t*f - 12 = 0 for f.
4
Suppose -2*v = 2 - 6. Suppose 0 = 7*m - 10*m. Let s be (-1)/v*(m - 10). Solve -7*c + s = -2*c for c.
1
Suppose 3*n = -0*n + 150. Suppose 0 = 2*t + 2*t + 8, 0 = 5*y - 5*t - n. Solve y*d - 10 = 3*d for d.
2
Suppose 4*m = 8*m. Suppose 0 = -2*t - m + 12. Let c(p) = -2*p + 4. Let q be c(-6). Solve t*z = 2*z - q for z.
-4
Suppose 25 = 3*j - 2. Suppose x = -l + j, 3*x - 28 = -4*l + 3. Solve -p = -1 + l for p.
-3
Suppose 3*z - 4*o = -o + 12, 24 = 2*z + 2*o. Suppose -x + 2*x = z. Solve 4*l - x = -24 for l.
-4
Let z(i) = -2*i - 4. Let n be z(4). Let y = n + 24. Solve 2*t = -t - y for t.
-4
Let i be ((-1 - 0)/(-1))/1. Let x(n) = -n - n**3 - 3*n + 2*n**2 + 3*n. Let s be x(i). Solve -4*t - 1 - 3 = s for t.
-1
Let a(m) = 3*m + 25. Let v be a(0). Solve v = l + 4*l for l.
5
Let y be 9 - (1 + 1) - 0. Let i be 3/y - (-75)/21. Solve 0 - 8 = -i*g for g.
2
Let q be 4*2 - (-2 + 6). Solve 5*y - q + 29 = 0 for y.
-5
Let m(t) be the second derivative of t**3/6 - 4*t**2 + t. Let l be m(6). Let o be (-1 - 0) + (-32)/l. Solve 4*f + f = o for f.
3
Let k be ((-2)/2 + 2)*22. Suppose 3*w = -5*j + 49, -4 + k = 3*j - 2*w. Solve a + j = -3*a for a.
-2
Let l be 1/(0 + 3/42). Suppose l = t + t. Let w = 7 - t. Solve -3*x + 3 + 3 = w for x.
2
Let d(n) be the second derivative of n**4/4 + n. Let i be d(-1). Solve 0 = 2*y + i*y - 20 for y.
4
Let n be ((-2)/(-5))/((-1)/(-20)). Suppose 2*r + v = -3*r + n, 3*v + 12 = 3*r. Solve -2*z + r = -4*z for z.
-1
Let n be (-16)/(-6)*6/1. Let j(b) be the second derivative of -b**4/12 + b**2/2 - 4*b. Let f be j(-1). Solve f = d - 5*d - n for d.
-4
Suppose 2*n = -3*s + 8 + 3, 0 = -4*s + n. Solve 3*a - 5 = s for a.
2
Suppose 4*s = w + 3*w + 16, -3*w - 12 = 0. Solve s*h + h + 5 = 0 for h.
-5
Let v be (1 + 0)*2/(-2). Let g be 0 + (v - 2 - -5). Solve -6 = -g*u - u for u.
2
Let r(d) = d**2 + 3*d + 4. Let k be r(-4). Let s be (-154)/(-49) + (-2)/14. Solve z = -s*z - k for z.
-2
Let k(c) = 8*c - 80. Let g be k(11). Let j be (-4)/2*(-3)/2. Solve n = -j*n + g for n.
2
Let y be -1*(-1 - 2 - 2). Let j be 0 + 0 - (2 + -2). Solve -5*l + j*l = y for l.
-1
Let f(m) = -5*m - 1. Let u be f(3). Let r = u - -25. Solve j = 4*j - r for j.
3
Let v = 53 - 53. Solve v = o + 3*o for o.
0
Suppose 5*y - 3*y = 0. Suppose -4*p + 2*p + 4 = y. Solve -d + p = 3 for d.
-1
Let u be (-803)/(-55) - (-4)/10. Let q = 18 - u. Solve k = q*k for k.
0
Suppose 2*d - 3*d - 186 = 3*x, 3*x - 2*d = -195. Let r = x - -90. Let c = r - 14. Solve 12 = -5*h - c for h.
-5
Suppose 3*i = -0*i + 3*w + 21, 16 = 3*i - 2*w. Solve -i*k - 5 + 3 = 0 for k.
-1
Suppose y + p - 20 = 0, -128 = -5*y + 5*p - 28. Suppose y = -0*f + 4*f. Suppose -15 = -f*n + 2*n. Solve 2*r = -3 + n for r.
1
Let b(x) be the third derivative of -x**4/6 - x**3/2 + 4*x**2. Let t be b(-2). Suppose 6 = t*v + 2*l, 0*v + 5*v = -3*l + 9. Solve v = -3*z + 8 + 4 for z.
4
Suppose 3*h - 20 = 3*f - 2*h, -2*h = -3*f - 8. Let q = -6 + 10. Solve f*g + q*g + 16 = 0 for g.
-4
Let k = -1 + 3. Suppose 0 = -l + w, 4*w - 3*w = 4*l. Solve 0 = -l*f - k*f for f.
0
Suppose 2*p = p. Suppose -2*w - 3*w + 20 = p. Solve b = w*b for b.
0
Let q = -33 + 38. Solve t + 4 - q = 0 for t.
1
Let v(w) = w**2 - 9*w - 4. Let f be v(8). Let m be ((-4)/f)/((-3)/(-18)). Solve 0*t = -m*t - 10 for t.
-5
Let a be ((-4)/(-6))/((-1)/(-3)). Let j(o) = 3*o - 3. Let z be j(a). Solve -z = w - 6 for w.
3
Suppose -i = 30 - 32. Let z be ((-4)/(-6))/(4/30). Solve -z*v + 17 = i for v.
3
Let p(a) = a**2 - a. Let k be p(1). Let m be (4/10)/((-7)/(-70)). Let n = k + m. Solve n = f - 1 for f.
5
Suppose i + i = 0. Let w = 78 + -76. Solve i*j + w = j for j.
2
Let m be (8/4)/(4/6). Suppose m*d = -0*d. Solve d = 2*v - 6 - 4 for v.
5
Suppose -44 = -5*s - 19. Solve -2*f = 3*f - s for f.
1
Let a = 18 + -23. Let m be (2 - 0) + (-20)/a. Solve -m*q + 10 = -4*q for q.
5
Let v(n) = n + 6. Let u be v(0). Let c be 3/u*10 + 0. Solve c*g - 2*g = -3 for g.
-1
Suppose 0 = -5*a - 25, -4*s + 2*a - 55 = 5*a. Let k = -3 - -6. Let l be 2/k*(-45)/s. Solve 0 = -3*r + 9 - l for r.
2
Let l(s) = 4*s**3 + s**2 + s - 2. Let m be l(1). Solve m*a = a for a.
0
Let w(l) = l**3 + 9*l**2 + 7*l - 8. Let f(g) = -g**3 - 8*g**2 + 6*g + 4. Let s be f(-9). Suppose -3*i + 7 - s = 0. Let d be w(i). Solve d = -4*z + 2*z for z.
0
Suppose -4*q - j + 6 = -3*j, -4*q - 5*j + 13 = 0. Solve -2*v + 0*v = -q for v.
1
Let q(w) = -w**3 - 8*w**2 + w + 10. Let p be q(-8). Suppose 0 = -0*m + 4*m - 48. Solve m = -l - p*l for l.
-4
Let g(n) = 9*n - 3. Let w be g(2). Suppose 5 = -5*t + w. Solve 2*u + t = -4 for u.
-3
Suppose 3*c = -5*c + 16. Solve -4*w - c = 14 for w.
-4
Suppose 3*a = 4*k + 4, -5*k - a = -2 + 7. Let u(g) = -g. Let j be u(k). Solve -3 = 2*v - j for v.
-1
Let m be 1 + -2*3/6. Suppose 3*l - 1 - 8 = m. Solve -2*v + 25 = l*v for v.
5
Let q(z) = z**2 + z - 9. Let y be q(-5). Suppose 8 = -l + 11. Solve -2*c - l = -y for c.
4
Suppose -5*u = 4*s - 13, -4*s = 4*u + 3 - 11. Let y = 3 + s. Solve y = 2*t - 7*t + 25 for t.
5
Let f = 45 - 43. Solve 0 = -s - 0 + f for s.
2
Suppose w - 6*w - 5 = 0. Let z be (-7 - w)*(-2)/2. Solve -z*r + r = -10 for r.
2
Let n be 10*((-9)/(-6) + -1). Suppose -3*c = 4*o - 33, c + 2*c - 12 = 3*o. Suppose n*m = c + 8. Solve 0*w + 15 = m*w for w.
5
Let q be ((-8)/(-6))/((-8)/(-12)). Solve -w - 1 = -q for w.
1
Let u = 11 - 6. Solve -3 = u*h - 2*h for h.
-1
Suppose -36 = -3*u - u. Suppose 0*h = -3*h + u. Suppose -2*c + 2 = 3*r - h, -5*c - 16 = -2*r. Solve 2 + r = -q for q.
-5
Let b = -16 - -16. Solve -s + 1 + 2 = b for s.
3
Let b(s) = -s**3 + 8*s**2 - 6*s - 6. Let m be b(7). Let i = m + 1. Suppose l = -2*l. Solve l = -i*x + 15 - 5 for x.
5
Let j be (-17)/85 + 11/5. Solve 0 = -2*t + j - 0 for t.
1
Suppose -11*f + 5*f + 12 = 0. Solve -f*u - 3*u - 15 = 0 for u.
-3
Suppose 0*d = 4*d + 5*b + 17, -2*d + b + 9 = 0. Solve 1 = y - d for y.
3
Suppose v - 3 = -8. Let s = v + 5. Suppose -2*f - h + 3 = 0, f - h - 3 = -s*f. Solve 0 = -3*k - f - 1 for k.
-1
Let u(s) = s**3 + 5*s**2 - 7*s - 4. Let q be u(-6). Suppose y = -q*y - 18. Let n = 10 + y. Solve 0 = n*x + 12 for x.
-3
Let u be (-1)/(-3)*-2*(5 - 17). Solve -4*j - 4 = -u*j for j.
1
Suppose 3 = -f - z + 1, -20 = 4*z. Let q be 5 - 3 - (-12 + 1). Suppose 2*i + n = -0*i + 10, f*i = -n + q. Solve 0*d = i*d + 6 for d.
-2
Let p(c) = -c**2. Let b be p(-2). Let i = b - -11. Solve 5*x + 18 = -i for x.
-5
Let r = 40 + -37. Solve -t + 0*t = -r for t.
3
Suppose -u = g + 2*u + 6, 2*g + 6 = -3*u. Suppose 0*t - 4*t + 24 = g. Solve -2*r - r = t for r.
-2
Suppose -2*f = -6*f + 8. Solve -r - f = r for r.
-1
Let r = 7 + -5. Solve -m = -r*m + 3 for m.
3
Let p(m) be the second derivative of m**4/12 - m**2/2 - m. Suppose 3*d + 1 = -5. Let t be p(d). Solve -t*l - 5 = 2*l for l.
-1
Suppose -6 = r + 4*b, -r + 5*r = 5*b + 18. Let n be ((4 - 8) + 5)*2. Solve -r*j - n + 4 = 0 for j.
1
Let i = 52 + -52. Let w = 0 + 0. Solve w = -4*y - i*y + 8 for y.
2
Let a = 13 + -10. Solve 0 = -a*m - 2 + 17 for m.
5
Suppose 6*w - 12 - 6 = 0. Solve 0 = -w*t - 0 - 3 for t.
-1
Let q(w) = -3*w + w**2 + 0 - 2 + 2*w. Let h be q(4). Solve -h = 2*g - 4*g for g.
5
Let m = 3 - -2. Let j(x) be the first derivative of -x**2/2 + 7*x - 3. Let d be j(m). Solve d*s = -0*s + 8 for s.
4
Let w be ((-8)/(-4) + -1)*3 + 2. Suppose -2*s + 66 = s. Suppose -3*f + 73 = s. Solve 3*y = -f + w for y.
-4
Let s(t) = 2*t**2 + 39*t + 21. Let l be s(-19). Solve -2*b - l*b = -20 for b.
5
Let p(g) = 2*g. Let c be p(2). Suppose 0 = -2*o + 7*o - 20. Suppose 0*z + 12 = -o*u - 3*z, 0 = 2*z + 8. Solve u = n - c + 5 for n.
-1
Let r = 91 + -88. Solve 5*i = r*i for i.
0
Let y(q) = -q**2 + 9*q - 9. Let l be y(7). Suppose 4*g + z - 8 = l*z, 3*z - 6 = 0. Solve g - 3 = -a for a.
-1
Let j(n) = 3*n**2 - 3*n**3 - 2*n**2 + n**3 - 2 + 1. Let b be j(-1). Let s be ((-9)/2)/3*-2. Solve 0 = b*y + s + 1 for y.
-2
Suppose -l - 13 = -o + 3*l, 2 = -l. Solve -o*i + 9 = -1 for i.
2
Let o be (-4)/12 - 95/(-15). Solve 2*y - o*y = -8 for y.
2
Suppose 4*q + 3*o = 10, -3*o = 13 - 7. Solve 0*m - q*m = 0 for m.
0
Suppose o - 30 = -4*o + 5*s, 5*o = -4*s + 3. Solve -8 = -h - o*h for h.
2
Suppose -j - 2*j + 24 = 0. Suppose 0 + j = 2*w. Solve 0 = -2*m - w - 2 for m.
-3
Suppose 0 = 5*c 