 + r for a.
-3
Let s be 6 + 1/(-1) - 2. Solve 2 + 1 = -s*a for a.
-1
Let y be -3*3/((-18)/10). Suppose 0 = -5*l - 2*c - 20 + 5, 21 = 4*l - y*c. Let t be 3/(3/1) + l. Solve t*q - 3 = q for q.
-3
Let y = 12 - 12. Suppose y = -2*t - t + 12. Solve 0 = -v + t*v + 3 for v.
-1
Let n = 8 - 3. Suppose -2 = -n*z + 18. Solve -16 = -4*u + z for u.
5
Let j = 0 - 0. Suppose 0 = q + o, -2*o = -j*q - 2*q. Let f = 3 + q. Solve f*z - 9 = -0*z for z.
3
Let q be 3*(-4)/(-8)*2. Solve 0 = 4*j - 13 - q for j.
4
Suppose 3*m = -5*u + 9, 0 = 2*u - 4*m + 17 - 5. Solve 4*j = -4 - u for j.
-1
Let q(h) = h**3 - 2*h**2 - 3*h + 3. Let i be q(3). Let k be (-4)/(-6) - (-13)/i. Solve 1 - k = -2*v for v.
2
Let p(t) = -5*t - 15. Let v be p(-4). Solve -v*h + 2 = -3 for h.
1
Let h(g) = -g**2 + 4*g + 1. Let z be h(2). Let x = z - 3. Solve t = x + 3 for t.
5
Let k be (3 + -4 - 0)*1. Let n = -6 - k. Let s be 6/30 - (-1)/n. Solve -3*v + v = s for v.
0
Suppose -2*c - b - 55 = 0, -3*c + 4*b - 60 = -c. Let i be (-568)/c + 4/(-14). Solve -4*r = r + i for r.
-4
Let m = 20 - 16. Suppose -2*a = m*a - 24. Solve -g + a = -3*g for g.
-2
Let a be 6/8 + 91/28 + -4. Let c(x) = -x**3 - 7*x**2 - 5*x + 8. Let v be c(-6). Suppose -3*b + 13 = -5. Solve a = v*u + u - b for u.
2
Let t(s) = -9*s + 1. Let h be t(4). Let c be (-25)/h - (-4)/14. Suppose -3*m + 5 = -4*p + 2, 5*m - 10 = 5*p. Solve -p*o - 5 = c for o.
-2
Let t be 0*(-3)/12 - 0 - -4. Suppose -3*i = -4*i + 4. Suppose p + 3 = i. Solve -5*j - t - p = 0 for j.
-1
Let a be 0 - 9/3 - -5. Suppose 2*r + 4*z + 16 = 0, -4*r + a*z + 16 = -7*r. Let d be 4 + 5/(10/r). Solve -d = -y - y for y.
1
Let a(b) = -6*b + 1. Let h be a(-2). Solve h = 3*c - 2 for c.
5
Suppose -a + 0*a - 2*r + 11 = 0, -4*a = 4*r - 32. Suppose 12 = 7*i - a*i. Solve -i*z + 4*z + 8 = 0 for z.
4
Let x(a) = a**3 + a**2 + 2*a - 32. Let f be x(0). Let t be (24/f)/((-6)/16). Solve -h + t*h + 2 = 0 for h.
-2
Let p(k) = -k**3 - 5*k**2 + 5*k + 8. Let d be p(-6). Suppose d + 26 = 5*x. Solve x = -2*r + 2 for r.
-3
Let p be 2 + 4*(-18)/(-4). Solve -5*n + 0*n + p = 0 for n.
4
Let r be (10/8)/((-7)/(-28)). Let j(y) = 2*y - 12. Let q be j(6). Solve -r*g + 0*g = q for g.
0
Let t be (-3)/(-2)*(-2)/(-3). Let m(x) = 20*x**2 + 1. Let r be m(1). Suppose 5*s + 0*l = 3*l + r, -s + 11 = -4*l. Solve -2*f = t - s for f.
1
Suppose 0 = -4*t + 7 - 3. Let l = 2 + t. Solve l*i + 1 = -2 for i.
-1
Let c be 35/11 - 2/11. Suppose 4 = c*t - 5. Suppose s + 2*s - 60 = 0. Solve s = t*v - 7*v for v.
-5
Suppose 5*h + 2 = 3*l, h + 4*l = 3*l + 6. Solve 3*v + h*v - 20 = 0 for v.
4
Let v be 0 - (-6 + (2 - -1)). Solve q = -v*q - 12 for q.
-3
Let a be 1/(-2) - (-75)/10. Suppose -2*s + a = 3. Suppose w = -0 + s. Solve -9 = w*n + n for n.
-3
Let m be (2 - 4)*(-6)/4. Suppose m = w - 0*w. Solve 0 = -w*a + a for a.
0
Suppose -3*b = b - 28. Let w = b + 1. Suppose 0 = -2*m - w + 32. Solve 5*z + m = 37 for z.
5
Let q = 0 + 4. Suppose 4*w - 4*x = 4, -4*x + 31 = q*w - w. Suppose -3 = -w*u + 3*z - 2*z, -u - 5*z = -11. Solve u = -s + 4 for s.
3
Let s(g) = g**2 - g + 4. Let b be s(0). Solve -q + b*q = 0 for q.
0
Suppose -3*h - 2*a + 7 = 0, 2*h - a - 12 = -6*a. Solve 4*d + h = 5*d for d.
1
Let t = -7 - 9. Let h = t + 36. Let l = 2 - 0. Solve 6*j = l*j + h for j.
5
Let j = -5 + 20. Solve 2*m - j = 5*m for m.
-5
Suppose -3*x + 17 = -5*y + 390, -3*y + 251 = 5*x. Suppose 4*u - y = -3*b, -86 = -4*b - 2*u - 0*u. Solve -b + 4 = 3*f for f.
-5
Let z be (1 - (-3)/(-6))*2. Suppose -4*q - z = -9. Solve -2*o + 8 = q*o for o.
2
Let u(x) = 3*x**2 + 9*x - 2. Let s be 14/(-21) + 17/3. Let y(a) = 4*a**2 + 10*a - 2. Let z(g) = s*u(g) - 4*y(g). Let w be z(4). Solve -25 = 3*h + w*h for h.
-5
Let s(y) = y**2 + y - 1. Let z be s(1). Solve w - 1 = z for w.
2
Suppose -8 = -3*q + 7. Let l be (-2)/q + (-6)/(-15). Solve 0 = -2*f - l + 6 for f.
3
Let y = -19 - -19. Solve y = -m - m for m.
0
Suppose 0 = -4*g - 5*l + 207, 2*l = -3*g - 18 + 175. Let i = g + -38. Solve 0 = 7*s - 2*s - i for s.
3
Suppose -a - 3*h - 5 = 0, -5*a + h + 7 = -0. Let s be (-12)/(-16) - 3/4. Let n(w) = -w + 7. Let b be n(6). Solve s = -v - a - b for v.
-2
Let a = -192 + 195. Let t be (-10)/(-3) - 6/(-9). Suppose -t*k = -k. Solve k = -i - 0*i - a for i.
-3
Suppose 4*d = -2*q + 4, -3*q - d = -0*d - 1. Solve 3*x - x - 4 = q for x.
2
Suppose r = -4*r + 25. Suppose -q + 0 = -4*g + 16, -3*g + 12 = r*q. Solve g*t - t = 9 for t.
3
Let j be 1 - (-8)/4 - 0. Solve -3*p + 12 = -j for p.
5
Let l(d) = 1 + d + 4 + 5 - 2. Let z be l(-7). Solve 5 + z = -2*t for t.
-3
Let u(b) = -3 + 5 - 2*b + 0*b. Let d be u(-4). Suppose z + 0 = 4. Solve -f + d = z*f for f.
2
Let d(i) be the third derivative of i**4/12 - i**3 + 3*i**2. Let g be d(8). Solve t = -t - g for t.
-5
Suppose -a = -97 + 95. Solve -a*y + 0 + 6 = 0 for y.
3
Let z = 10 + -10. Suppose 5*i = 3*i - 10, z = -3*g + 4*i + 20. Let q = 5 + -1. Solve g = q*f - f for f.
0
Suppose 3*y = 9 - 0. Let d = y + -1. Solve w + 0*w - d = 0 for w.
2
Let c(y) = -y + 6. Let i be c(5). Let l(j) = j**3 - 4*j**2 + 2*j + 6. Let s be l(3). Solve -i + 13 = s*r for r.
4
Let i(p) = -7*p + 7. Let a be i(-5). Suppose 0 = -d - 0*d + a. Suppose z + d = 4*z. Solve 2*c = -4 + z for c.
5
Let n(g) = g - 8. Let l be n(10). Suppose 0 = -l*u + 7*u - 25. Suppose -5*t - 3*b + 0*b = -20, 5*t + b - 20 = 0. Solve u*k - t*k - 1 = 0 for k.
1
Suppose -2*b = k + 5, k - 5 = 3*b + 10. Let l be 0/(2*-1 - b). Suppose -2*r + 0*r + 24 = l. Solve r = 3*c + c for c.
3
Suppose -7*f = -15 - 13. Solve f*q - 7*q = 12 for q.
-4
Suppose 4 = -2*p + 2*f, -2*f = f - 9. Suppose p + 3 = x. Suppose -2*z - 4*g + x = 0, -z - 3*g + 2 = -0. Solve 3*j = -z*j - 20 for j.
-4
Let s be (4/10 - 1)/((-2)/10). Solve s*g + 9 = -6 for g.
-5
Let i be 32/6 + 2/(-6). Let s = -2 + i. Suppose -2*c - 2*n = -4*c, s*c - 6 = n. Solve 0 = 2*h + c*h for h.
0
Suppose -15 - 5 = -2*o. Let k be 1/2 + 11/2. Suppose 8 = 5*z - 3*z. Solve z*g - o = k*g for g.
-5
Suppose -5*v = -v - 4. Let a be (-2 - -1)/1 + v. Solve 4*l = -a*l for l.
0
Let v = 15 + -15. Suppose -5*l + 15 + 0 = v. Suppose 3*o - 58 - 2 = 0. Solve 0 = l*d + 2*d - o for d.
4
Let i(c) be the third derivative of -c**6/120 - c**5/10 - c**4/24 - 5*c**3/6 - 2*c**2. Let f be i(-6). Let v = f - -1. Solve -2*p + 4*p = -v for p.
-1
Let j = 1 - 1. Solve v = -j - 3 for v.
-3
Let r(v) = -v**3 + 2*v**2. Let x be r(1). Suppose 5*y - 14 = x. Solve y*a = -0*a - 9 for a.
-3
Let a be 9 - (3 + -3)/(-2). Suppose -5*m + a = -2*m. Solve 1 = -2*k + m for k.
1
Let o be (-6)/4 - 75/(-10). Suppose -5*a + 6 = 3*v, 3*a - o = -7*v + 4*v. Solve 3*d + 2*d + 25 = a for d.
-5
Let o(i) = 4*i**2 - i - 1. Let b be o(-1). Suppose -3*n = -v - b - 7, -24 = -4*n - v. Solve -3*u - 4 = -n*u for u.
2
Let b = 25 + -17. Solve 0*y = -2*y - b for y.
-4
Let d be -1*14/(-21)*3. Suppose a + 1 = 0, -4*o + 1 = o - a. Solve d*y = -o*y + 6 for y.
3
Let n(q) = q - 4. Let o be (-1)/3 + (-4)/(-3). Let z(r) = 3*r**3 + r**2 - r + 1. Let t be z(o). Let f be n(t). Solve 3*p - 2 - 4 = f for p.
2
Suppose -s - 17 - 2 = 2*r, 0 = 5*s + 4*r + 83. Let i = s - -19. Suppose -2*x + 24 = -12. Solve -x = i*m - 2 for m.
-4
Suppose -c - 5 = -21. Let p be (c/(-24))/((-1)/3). Solve 0 = -p*d + 4*d for d.
0
Let v(g) = g - 1. Let f be v(1). Solve 4*a - 7*a + 15 = f for a.
5
Suppose -2*s - 5*a + 0*a = 6, -2*a = 2*s. Solve -s*z = z for z.
0
Let x(m) = 2*m**3 + m**2 + m - 1. Let o be x(1). Let h be (-16)/o*(-12)/8. Solve -3*f = -h*f - 10 for f.
-2
Let s = -8 - -12. Let l = 1 + s. Suppose 5*q - 30 = l. Solve 2*a - 25 = q*a for a.
-5
Let j(v) = 10*v**3 + 31*v**2 - 3*v - 40. Let o(q) = 7*q**3 + 21*q**2 - 2*q - 27. Let n(f) = -5*j(f) + 7*o(f). Let i be n(-8). Solve l + 20 = -i*l for l.
-5
Suppose 0*l - 6*l - 2*l = 0. Let x(m) = 2*m**2 + 4*m - 5. Let r be x(-5). Solve -5*v + l*v = -r for v.
5
Let d be (-1)/(-4) - 28/(-16). Suppose -2*h - d*w - 6 = 2*w, 4*h + 5*w = 0. Suppose 2*o - a = 7, -3 = -o - 2*a - 2. Solve -o*q = -8*q - h for q.
-1
Suppose -33 + 3 = -3*f. Suppose -4*y + f = -2*y. Solve -y*x + 16 = -x for x.
4
Suppose -5*z + 4*r + 18 = 0, -5*z + 8 = 5*r - 37. Suppose 3*q = -12, -2*q = o - z*o + 33. Let t be o/(15/(-6)) - -7. Solve 2*n - 5 - t = 0 for n.
5
Suppose -4*u + 3 = -u, -4*a - u - 59 = 0. Let m be (-40)/(-3) + 5/a. Suppose -m = -5*j - 3. Solve 3*h - j + 17 = 0 for h.
-5
Let 