lve -2 + 26 = h*d for d.
3
Let j be (-5)/(-2)*(-1 - (-44)/20). Solve -j*s + 3 = -3 for s.
2
Let h(w) = w**2 + 7*w + 15. Let m be h(-6). Let b be (-30)/(-18) - -1*3/m. Solve 0 = b*l - 3*l - 3 for l.
-3
Let a be 2*((-3)/(-2) - 0). Let j be (3/(-2))/((-6)/8). Let n = 6219 + -6218. Solve a*y = j*y - n for y.
-1
Suppose -k - 19 + 20 = 0. Let j(i) = 8*i**3 - i**2 - 2*i + 2. Let v be j(k). Solve -3*g - v = -1 for g.
-2
Suppose 0 = -4*q + 16, 5*y + 2 = 3*q + 5. Solve -y*c = -c for c.
0
Suppose -4*f = -f + 3*h - 21, 5*f - 15 = 5*h. Let w(x) = -x**3 + 3*x**2 + 12*x - 5. Let c be w(f). Solve -r + 0*r = c for r.
-5
Let z(n) = n. Let u(j) = 2*j + 2. Let o(r) = -u(r) + 3*z(r). Let y be o(6). Solve -y*v = -7*v + 9 for v.
3
Suppose -5*v + 7*j = 2*j - 100, 5*v - 140 = -5*j. Let k = -22 + v. Solve -k*p - 3 = -3*p for p.
3
Let k be -19 + (-1 - 2*-1). Let o be (-58)/k + 6/(-27). Suppose 165*y - 1368 = 51*y. Solve -7*n + o*n + y = 0 for n.
3
Let y = -270 - -270. Solve 8*z - 7*z + 5 = y for z.
-5
Let z = -309 - -311. Solve -m = z*m - 3 for m.
1
Let k = -295 + 304. Solve k = -12*b + 57 for b.
4
Let u(b) = 224*b - 225*b + 20 - 2. Suppose 25 = 3*a - 17. Let z be u(a). Solve -z*j - 10 = -9*j for j.
2
Let w(a) = -2*a**2 - 5*a + 28. Let z be w(-5). Let n(y) = -9*y - 1. Let d(r) = 5*r + 1. Let l(k) = -5*d(k) - 3*n(k). Let p be l(z). Solve p - 9 = h for h.
-5
Let r = 897 - 893. Solve -6 = -a - r for a.
2
Let j(k) = -k - 1. Suppose -g + v = -12, 4*g - g = 2*v + 33. Suppose s + s + 6 = 5*c, -3*s + 4*c = g. Let d be j(s). Solve d*q = 5*q - 3 for q.
1
Let k(g) = g**3 + 7*g**2 + 4*g - 8. Suppose -2*l + 4*l + 12 = 0. Let y be k(l). Solve -y = -3*p + 8 for p.
4
Suppose -4*z + 3*z + 23 = 0. Let b = z - 15. Solve 5*v = v + b for v.
2
Let q(x) = x**3 - 8*x**2 - 6*x + 52. Let h be q(8). Suppose 0 = -2*v - 0*w - 3*w - 2, -2*v = 2*w. Let f be (v - 1)*0/h. Solve f = 5*u - 6 + 1 for u.
1
Let j(s) = -5*s + 8*s + 3*s**2 - 1 + 0*s**2 + 2*s**2 + s**3. Let l be j(-4). Let u be 7/(63/12)*l. Solve -16 = u*k - 0*k for k.
-4
Suppose 4*p + r - 10 = 2, -4*p + 12 = 4*r. Suppose -16 = -3*k + q + q, -p*q = k + 13. Let c = -137 - -152. Solve -c = u + k*u for u.
-5
Suppose -n = 3*f, -2*n + 2 = 3*f - 1. Suppose -3*z - 8 = z, 2*c - 10 = n*z. Solve -6*g + 12 = -c*g for g.
3
Suppose x = -2*x. Suppose -65855*i = -65863*i + 40. Solve -i*z + 39 - 14 = x for z.
5
Let n(t) = -t**2 + 18*t + 1. Let d be n(18). Let c be 7/d + -3 + -3. Solve 0 = -3*i + 2*i - c for i.
-1
Suppose -4*b + f = -f - 34, 2*f - 6 = 0. Solve -5*y + 7*y = -b for y.
-5
Let q(f) = f**3 + 9*f**2 - 21*f - 21. Let a be q(-11). Let v = a + 34. Solve 0 = v*j - 0 + 8 for j.
-4
Let g(l) = 3*l**2 + 6. Let m be g(-6). Let o = 114 - m. Solve o = a - 4 + 1 for a.
3
Let b be 3*-1 + (-13 - -23). Let t be 12/b - (-2)/7. Solve -3*g + t = -5*g for g.
-1
Let j(a) = -2*a**2 - 14*a - 15. Let x(t) = 3*t**2 + 28*t + 30. Let v(l) = 5*j(l) + 3*x(l). Let m be v(15). Solve -i + m*i = 2 for i.
-2
Suppose 16 = 7*a + 9. Solve i - a = -5 for i.
-4
Suppose -2 = -0*i - i. Let p be i*(0/(-2) - -8). Let x(r) = r**3 + 5*r**2 - 9*r - 14. Let w be x(-6). Solve -w*v + 0*v - p = 0 for v.
-4
Let v = -1161 + 1162. Solve -g + v = 4 for g.
-3
Suppose 0 = -3*r + 7*r - 84. Suppose -v = 5*l + v - r, l - 2*v + 3 = 0. Let g = -12 - -14. Solve 15 = l*h + g*h for h.
3
Suppose 0 = -y - 0*o + 2*o + 9, -4*y = -3*o - 21. Let m(h) = -12*h - 476. Let c be m(-40). Solve y + 9 = -c*v for v.
-3
Let t(x) be the first derivative of x**2/2 + 10*x + 1. Let m be t(5). Solve -m = 2*o + o for o.
-5
Suppose 0 = 3*j + 9 - 3, 2 = 2*h + 2*j. Solve 0 = h*l + l - 20 for l.
5
Let k be 1 + (11 - (3 - -1)) - 1. Let j be 96/84*k/2. Solve 0*a - a = -j for a.
4
Let f(i) = -35*i**2 - 3*i + 16*i**2 + 20*i**2. Let q be f(3). Suppose q*v - 30 = -3*v. Solve v = 5*r - 3*r for r.
5
Suppose 29 = 2*o + 17. Solve -24 = -0*y + o*y for y.
-4
Let z(g) = -g**2 - 5*g + 1. Let h(o) = -o**2 - 6*o + 1. Let l(a) = -5*h(a) + 6*z(a). Let f = 15 - 14. Let s be l(f). Solve -5*c - 20 = -s*c for c.
-4
Let y = 3 - 8. Suppose 2*t + 69 - 21 = 0. Let k be t/60 + (-2)/y. Solve k = 3*n - 5 - 1 for n.
2
Let c(v) = -2*v**3 + 9*v**2 - 2*v + 2. Let l be c(4). Solve -h = 4*h + l for h.
-2
Let x = -36 + 72. Let z = 36 - x. Solve -j + 2 = -z*j for j.
2
Let l be (1 - (-2)/(-6))/((-70)/(-105)). Let k(a) = a**3 - 2*a + 1. Let w be k(1). Let v be 0 - 4/16*w. Solve v = 4*s + 9 - l for s.
-2
Suppose 0*d + 2*d - 16 = 0. Suppose 5*u = u + d. Solve 0 = -2*q - 8 - u for q.
-5
Let r be -1 - (1 - 2)*-1. Let m(l) be the third derivative of -5*l**4/24 - 2*l**2. Let t be m(r). Solve 2*k - t = -3*k for k.
2
Let r be (29/116)/(((-3)/(-4))/3). Suppose -3*f = 2*f + 50. Let c be (18/(-45))/(r/f). Solve -c*k = k + 20 for k.
-4
Let w = -930 + 935. Solve 2 = 6*u - w*u for u.
2
Let s(c) = c**2 - 24*c + 127. Let v be s(17). Solve v*a - 13 + 5 = 0 for a.
1
Let x be 6/2*(42/(-18) - -3). Let n(m) = m**2 + 2*m - 3. Let i be n(-3). Solve i = x*z - 0*z for z.
0
Let m(d) = d**2 + 11*d + 12. Let w be m(-10). Suppose -5*n + 15 = 4*p - 2*p, 15 = 5*n - p. Suppose n*g + h = g + 33, -h = -3*g + 42. Solve g = -3*a - w*a for a.
-3
Let l = 618 - 616. Suppose -246 = 5*m + 3*v, -m = 2*v + 2*v + 56. Let q be (-228)/m - l/(-8). Solve -q*i - 17 = 8 for i.
-5
Let x be 174/18 - (2/3 + 0). Solve -n + x = 14 for n.
-5
Let p be (4 + -1)/((-1)/(-6)). Let l be p/(-4)*(2 + -4). Suppose 0*u + u = l. Solve -2*z = z - u for z.
3
Let x = 36 - 19. Let b = -20 - -8. Let l = b + x. Solve -4 = l*r + 1 for r.
-1
Let o(q) = q**2 + 9*q - 2. Suppose -5*v + 3*v = 5*j, -2 = v + 2*j. Let g be o(v). Suppose 0 = g*t + t. Solve t = b - 5*b + 16 for b.
4
Suppose -8*d - 5*d + 260 = 0. Suppose 0 = 3*q + x - 5*x - d, q = -5*x - 25. Solve -y + 4 - 3 = q for y.
1
Let t be (3 + (-63)/12)*16/(-3). Let x be (-3)/12 - (-39)/t. Solve -5*v - x = 2 for v.
-1
Suppose -2*m + 2*m = 3*m. Suppose m = -5*j + j. Solve j*a - 5*a = 0 for a.
0
Suppose 0 = 3*w + 2*w - 25. Suppose -5*a = 4*r - 0*a + 55, 35 = -5*r + w*a. Let h = r - -15. Solve -4*s = -15 - h for s.
5
Let b(n) = -n**3 - 10*n**2 + n + 13. Let i be b(-10). Suppose 5*t - 13 = d, i*t - t + 8 = -4*d. Let u be (1 - 1)*t/(-4). Solve -w = -u - 3 for w.
3
Let u(p) = -3*p - 3. Let o be u(-2). Suppose 5*v - 13 = 2, 3*h - o = -v. Let n be (-1)/(h + 2)*-6. Solve -b + 2*b = -n for b.
-3
Suppose -3*c + 2*s = 0, 0*s + 3 = s. Let t(p) = -2*p**2 + p - 4 - 9*p - 3*p**c + 4*p + p**3. Let n be t(6). Solve -4*f + 8 = -n*f for f.
-2
Suppose 4*a - y - 24 = -5, 2*a - 7 = 3*y. Solve -a = -3*f + 4 for f.
3
Let c be 28/(-70) + 62/5. Suppose -u - 2 = -a, 0*u = 3*u + 3*a - c. Solve 3 = y + u for y.
2
Let u be (6/9)/(14/651). Let x = 33 - u. Solve 2*q = -x*q - 16 for q.
-4
Suppose -4*p + 4*w - 7*w = -67, 0 = 5*p + 3*w - 83. Solve -p*y = -11*y for y.
0
Let q(m) = -m + 1. Let a be q(-3). Let k be a/(-8)*8 - -6. Suppose -k*n = -9 - 7. Solve -b = b + n for b.
-4
Suppose -z = 5*w - 19, 0*w - 3*z + 13 = 4*w. Let s(x) = 15 + x - w + 3. Let k be s(-8). Solve 0 = -k*b + 2*b + 8 for b.
2
Let v(t) = -t**2 - 4*t. Let c be -4*1/2 - 53. Let r be c/22*12/10. Let q be v(r). Solve q*a + 2*a = 0 for a.
0
Suppose -4 - 6 = 3*t - 5*m, -4*t + 4*m - 8 = 0. Solve t = 2*u + 3 + 7 for u.
-5
Let k be 16/7 + (-325)/35 + 9. Solve k*a + 16 = 6*a for a.
4
Let j(p) = p - 3. Let w be j(8). Let c = w - -8. Suppose -15 = 8*h - c*h. Solve 4 = h*u + u for u.
1
Let h(g) be the first derivative of -g**3/3 + 3*g**2 - 11. Let i be h(5). Solve i*m + 29 = 9 for m.
-4
Suppose -4*w = -6*w. Suppose -205 - 110 = -15*b. Suppose 0 = -5*m + b + 49. Solve w = -4*k + m + 6 for k.
5
Let m(x) = x**2 - 8*x + 3. Let o be m(7). Let i be 0/(o*(-4)/16). Suppose -3*b - 2*b + 25 = i. Solve -c = 4*c - b for c.
1
Let r = -54 + 50. Let n be ((-6)/r)/((-8)/(-16)). Solve -n = -3*p + 2*p for p.
3
Let z(k) = -k**3 - 4*k**2 + 11*k - 4. Let l be z(-6). Let n(r) = -r**2 + 1. Let x be n(-2). Let v = x - -3. Solve v = l*i + 3*i - 20 for i.
4
Let f be 5 + -1 - (-8)/2. Suppose 5*t - f*t = 0. Suppose t = h - 3 + 1. Solve h*v = 2 - 4 for v.
-1
Let w(a) = -a**3 - 7*a**2 - 6*a + 3. Let g be w(-6). Suppose -4 = 2*o - g*m, 3*o - o - 24 = -4*m. Solve -2 - o = 3*j for j.
-2
Let a be 3/4 + (-729)/(-36). Let v be (6/a)/((-5)/(-70)). Solve 16 = -8*g + v*g for g.
-4
Suppose -6 = -7*z + 6*z. Solve -