 y.
1
Suppose 6*i - 2*i - 32 = 0. Solve 5*z - i = -3 for z.
1
Suppose 5*v = 3*v. Solve v = -w + 2 - 1 for w.
1
Let y(w) = w**2 + 6*w - 10. Let h be y(-7). Let q = h - -6. Solve -k - q = -2*k for k.
3
Let t be ((-6)/(-1))/((-15)/6 + 3). Solve q = 5*q - t for q.
3
Let w = 51 + -50. Solve -2*l + 3*l = w for l.
1
Suppose -3*g = -0*g + 4*j + 11, 5*j = 4*g - 37. Let l = 2 + g. Solve l*x + 3 = -12 for x.
-3
Suppose 2*h = -h + 18. Let q = -3 + h. Suppose -2*j + 31 = 5*m, -q*m - 3*j = -j - 21. Solve -m*n - 26 = -6 for n.
-4
Let f = 1 - -1. Let p be (-165)/25 - (-2)/(-5). Let c = p - -11. Solve c*l = -14 - f for l.
-4
Let c(j) = -2*j + 2. Let l be c(1). Let s be ((-15)/25 - 0)*-5. Solve t + s + 2 = l for t.
-5
Let s(u) = u - 1. Suppose 5*b - 30 = -0*b. Let p be s(b). Solve q = 2*q + p for q.
-5
Let n be 3 + 26 + (-3 - 0). Suppose 5*i = -11 + n, h + 15 = 5*i. Solve 0*u - 4*u + 16 = h for u.
4
Suppose 0*c + 2*c = -10. Let k = c + 5. Solve k = 4*l - 9*l for l.
0
Suppose s + 3*s = 0. Let b = 3 + s. Let y be ((2 - 2)/b)/(-2). Solve -2*h + y = -2 for h.
1
Let p be (-4 + 0)/16 + 66/8. Solve 3*f = -7 - p for f.
-5
Let u be 2*(1 - -3 - 2). Suppose -2*x + 7*x - u*f + 6 = 0, 0 = 3*f - 12. Solve 8 = -0*s + x*s for s.
4
Let y(t) = 3*t**3 + 18*t**2 + 7*t - 14. Let c(b) = -2*b**3 - 9*b**2 - 4*b + 7. Let j(a) = 5*c(a) + 3*y(a). Let d be j(9). Solve -4 = d*s + 4 for s.
-4
Let h(g) = -g**3 + 8*g**2 - 5*g - 9. Let d be h(7). Suppose -6*n = -n - d. Suppose 0*o = 2*o. Solve -b + o*b = n for b.
-1
Let r be ((-18)/81 + (-2)/(-9))/(-2). Solve 0 = -r*o - 4*o + 12 for o.
3
Suppose 2*d + 6*i = 2*i - 16, -5*i = 5*d + 20. Suppose 4*m = 5*z + 43, m + d*m = -3*z + 15. Solve 3*x + 3 = m for x.
3
Let r be -2*(3/(-2) + 0). Suppose 7*s = 4*s + 3. Solve -r*h + s = 7 for h.
-2
Suppose -3*z = -z. Suppose z*b = -4*b + 32. Solve -b = -4*o - 0*o for o.
2
Let d(u) = u**3 + 3*u**2 - 4*u + 2. Let f be d(2). Let w be 105/f*4/5. Let p = 1 - 0. Solve -o = p - w for o.
5
Suppose 0 = 9*q - 6*q. Suppose q = 4*z - 47 - 33. Solve -c = 3*c - z for c.
5
Let n = -73 - -92. Solve -4 = 3*u - n for u.
5
Let k(n) be the first derivative of 4*n**3/3 - n**2/2 + n - 1. Let x be k(1). Solve 0 = -y - 0*y - x for y.
-4
Let c be (-27)/(-5) - (-2)/(-5). Let s be -15*((-3 - -4) + -2). Suppose -3*g = 2*q + 3*q + s, -3*q = -2*g - 10. Solve c*y - 5 = -q for y.
1
Let p be -1 + -1 - 5/5. Let h be ((-8)/6)/(2/p). Let y be ((-3)/2 + h)*8. Solve -i = y*i for i.
0
Let t = 13 - 13. Solve t = -5*p - 0*p - 5 for p.
-1
Let g = -42 - -54. Solve t - g = 5*t for t.
-3
Let u = -23 + 32. Let c = u - 4. Suppose -4*j + 25 - c = 0. Solve 0*f = j*f for f.
0
Suppose m - 3*h + 6 = 2, 0 = -m - h + 4. Solve m*d - 4*d = 2 for d.
-1
Suppose -p + 0 = 1, a = 4*p + 6. Suppose -8 = -2*m - a*m. Solve g + 5 = m*g for g.
5
Suppose 0 = -2*q - q - 4*s + 4, 0 = 3*s + 6. Suppose -f + 0*i + 17 = -3*i, 7 = -q*f - 3*i. Solve -2 = z - f*z for z.
2
Suppose -17*g + 19*g - 4 = 0. Solve p = 2*p + g for p.
-2
Suppose 4*k + 0*i + 2*i - 10 = 0, 3*i - 3 = -3*k. Solve -5 = -k*j - j for j.
1
Let t(g) = g + 1. Let q be t(1). Let l be (q + 0 + 3)*1. Solve 0 = k - l + 4 for k.
1
Let k be 19/(-7) + (-6)/21. Let c be -1 + 1 + k + 3. Suppose -21 = -x - 4*m - 0*m, -x + 2*m + 3 = 0. Solve 3*z = -x - c for z.
-3
Let f(c) = c**2 + 20*c + 18. Let z be f(-12). Let p be 1/(-4) + z/(-24). Solve 4 = p*y + y for y.
1
Suppose 6*c = c. Suppose -2*r = -c*r - 8. Suppose -r*v + 58 = 22. Solve a = -2*a - v for a.
-3
Let f(l) = -l - 11. Let v be f(-11). Suppose v = -3*p + 4*k + 7, -52 = -3*p - 4*k - k. Solve -3*s = -0*s + p for s.
-3
Let f(r) be the third derivative of -r**6/120 - r**5/6 - r**4/3 + 13*r**3/6 - 3*r**2. Let j be f(-9). Solve 12 = -0*n - j*n for n.
-3
Let b(z) = -6*z**3 - z**2 - 2*z - 1. Suppose 0*d + 1 = -d. Let f be b(d). Solve 4*g = 6*g - f for g.
3
Let p be 0*(3 - 1 - 3). Let b = -1 + 6. Solve -2*h - 3*h + b = p for h.
1
Suppose s + 90 = 92. Solve 0 = 5*g - s - 3 for g.
1
Let k be 2/6 + 130/6. Solve 4*q - 6 + k = 0 for q.
-4
Suppose -20 = 5*q + 5*l, -23 + 7 = 5*q + l. Let f = q - -6. Let a = f + 2. Solve a*n - 10 - 5 = 0 for n.
3
Let n be ((-21)/105)/(1/(-10)). Solve -3*h = -n*h for h.
0
Let s be (1 - 3) + (-2)/(-2). Let v = s + -2. Let w be v/(-9)*-4*-15. Solve 3*o = -o - w for o.
-5
Suppose -3*u - h = -6*h, 0 = -u + 3*h. Solve u*d + 12 = 3*d for d.
4
Let h(l) = -l**2 - 6*l - 5. Let c be h(-4). Let w = 6 + -1. Suppose 17 = 5*k - n, k + 4*k - w*n = 5. Solve k - c = i for i.
1
Let l(w) = -w**3 - w**2 + w + 1. Let x be l(-1). Suppose -5*b = 5*i - 45, x = 4*b - 4*i + i - 1. Suppose 0 = -2*k + b*k - 12. Solve -2*p + 0*p = k for p.
-3
Let q be 1/3*2*3. Suppose -4*p + 3*t + 60 = t, -q*t = -8. Solve -7 + p = 5*f for f.
2
Let t be ((-6)/(-21))/(-1)*-7. Solve 4*m = -t - 6 for m.
-2
Let j = -7 - -10. Let u be ((-3 - -3)*-1)/(-2). Solve -j = -u*t - t for t.
3
Let s(d) = d**3 + 11*d**2 + 9*d - 8. Let n(i) = i - 4. Let r be n(-6). Let a be s(r). Solve a*o + 1 = 3 for o.
1
Suppose 0 = -2*a + 4*a - 5*c - 3, -7 = -a - 3*c. Solve 0 = -0*z - z - a for z.
-4
Suppose 2*c - 2 = 2, -w - 2*c - 6 = 0. Let m be 66/(-15) + (-4)/w. Let b be 3 - (2*-1 - m). Solve -3*a - b = 2 for a.
-1
Suppose -4*u + 10 = 2*w - 0, -3*w = -5*u - 15. Solve -w*v = 3 + 7 for v.
-2
Suppose 15 = 3*u + 2*p, 0 = -5*u + 2*p - 4 + 29. Solve 0 = u*w - w + 12 for w.
-3
Let z(n) = -n**3 - n**2 - n. Let k(q) = -q**2 - q + 1. Let c be k(-2). Let w(y) = y**3 + 1. Let m be w(c). Let b be z(m). Solve b = -l + 4*l for l.
0
Let d be (-3)/((-12)/56) + 1. Let h = -11 - -15. Suppose 2*o + 5*q + 10 = 0, 2 - 6 = h*o + 2*q. Solve 0 = 5*c - o - d for c.
3
Suppose -2*m + 52 = 11*m. Solve 2 = m*o - 18 for o.
5
Let v be ((-4)/(-3))/(4/6). Suppose -y - 9 = -4*p, v*y + p - 15 = -2*y. Let w(h) = h - 12. Let c be w(12). Solve c = -2*n - y - 1 for n.
-2
Suppose 17 = 3*d - 13. Solve z + d = -z for z.
-5
Suppose 5*r + 5*b - 35 = 0, -4*r + 2*b + 2 = -2*r. Let d = r + 4. Let o = 5 + -1. Solve -d = -o*p - 0 for p.
2
Suppose 3*a = j + 9, -5*j + j = 0. Solve 15 = -8*g + a*g for g.
-3
Let p be 6/4 - (-2)/(-4). Let x = p - -4. Solve -c - x = -6*c for c.
1
Suppose -2*b + 7*b = -q + 15, -3*b + 32 = -4*q. Solve b*o - o = -3 for o.
-1
Let r(c) = 2*c - 1. Let a be r(2). Suppose -a*l + 12 = -0*l. Let j = 3 - 1. Solve -l*k - 6 = -j*k for k.
-3
Let r = 11 - 7. Suppose 5*a - 20 = r*a. Solve 2*s + a = -3*s for s.
-4
Suppose -4*x = -s + 2*s + 2, -5*x + 8 = 3*s. Solve 3*v - s*v + 15 = 0 for v.
5
Let f(g) = g**2 - 7*g + 8. Let v be f(6). Let u be 4/8 + 5/v. Solve -u*o - 3 = 3 for o.
-2
Let a = -4 - -4. Suppose 0*r + 4*r = a. Suppose 7*w - 3*w - 4 = 0. Solve -c = -w - r for c.
1
Suppose 0 = -0*h - h + 2. Solve o - h*o + 3 = 0 for o.
3
Let l = 3 - 6. Let n be l*(10/(-3) - -2). Solve 6*o = 4*o + n for o.
2
Suppose -l - 4*l + y = 1, 0 = 3*l + 5*y + 23. Let f be l*7 - (2 - 4). Let z be 4/10 + (-43)/f. Solve -11 = 5*o + z for o.
-4
Let u(i) = 2*i**3 - 2*i**2 - i + 8. Let s be u(0). Solve -q - 3*q = s for q.
-2
Let v = 22 + -20. Solve 8 = -v*n - 0*n for n.
-4
Suppose -9*d + 10*d = 0. Solve 0 = -5*b - d*b for b.
0
Let n(j) = -j - 7. Let l be n(-8). Let g be 4/(5 + -3) + l. Solve 0 = -o - 1 + g for o.
2
Let y be 2/(-10) + 15/75. Let i(w) = -w. Let t be i(y). Solve 2*k + t = 2 for k.
1
Let h(a) = -3*a + 2. Let f be h(-1). Solve -f*q = 3 + 7 for q.
-2
Suppose 0 = -5*h + 17 - 2. Solve 2*o = h*o - 1 for o.
1
Let d be 15 + 2/(11/3 + -3). Let b(g) be the first derivative of g**4/4 + 2*g**3 - 3*g**2 + 10*g + 1. Let i be b(-7). Solve i*j + d = 6 for j.
-4
Suppose -r - 5*h + 25 = 0, r = -4*r - 2*h + 10. Suppose -5*t - f = 2*f - 15, -5*f = -4*t - 25. Solve 2*x + r*x + 8 = t for x.
-4
Let i be -3 + 2 - (4 + -20). Let r = -14 + i. Solve z - r = -0 for z.
1
Let o(q) be the second derivative of -q**5/20 - q**4/12 + q**3/6 + q**2 + 11*q. Suppose -n = -5*n. Let r be o(n). Solve -4 = 4*u - r*u for u.
-2
Let n = -4 + 23. Suppose 0 = -5*k - 2*t + 20, t = 2*k + 4*t - n. Solve k*h = -h for h.
0
Suppose 3*r + 6 = 3*u, 5*r + 8 = 4*u - 0*u. Solve -u*v - 12 = 2*v for v.
-3
Suppose 4 = -g - g - 3*n, 0 = 2*g - 2*n - 16. Solve -3*c = -g*c + 5 for c.
5
Let v = -2 - -5. Solve -4*w + 7 = v for w.
1
Let r(u) = -u**3 + u**2 + 3. Let q be r(0). Suppose -10 = -s - p, 4*s - 6*s + 3*p = 0. Solve 3*y - s = q for y.
3
