lve -22 = -r*k + 3 for k.
5
Suppose -5*h = 73 - 523. Let r be h/4 + (-1)/2. Let x = -7 + r. Solve 7*q + x = 2*q for q.
-3
Let i(v) = v**3 - 5*v**2 - 4*v - 10. Let t be i(6). Solve -15 = 5*f - t*f for f.
-5
Let r(m) = -2*m**3 - 17*m**2 + 8*m - 2. Let y be r(-9). Solve y*g = 5*g for g.
0
Suppose 0 = -3*u - 0*u + 84. Suppose -8*d + u = -d. Suppose -a + 20 = 4*a. Solve a*w + d - 8 = 0 for w.
1
Let p(x) = -x**2 + 4*x + 6. Let h be p(5). Let n be h/1 + (-3)/(-3). Solve -n*q - q = 0 for q.
0
Suppose -2*d + 21 = d - 3*y, -4*y = 3*d - 7. Solve d*h = -28 + 3 for h.
-5
Let t be ((-1)/3)/((-6)/108). Suppose -5*s = n - 16, 5*s - t - 8 = n. Solve -n = -g + 2 for g.
3
Let l(z) = z + 10. Let q(h) = -15*h + 4. Let y be q(-3). Suppose -4*d = -2*t - 10 - 4, -5*t - 4*d = y. Let a be l(t). Solve -a = -4*o + 15 for o.
4
Let n be ((-24)/10)/(2/25). Suppose 3*u - 35 = -98. Let x = u - n. Solve 2*t + t - x = 0 for t.
3
Let p = -13 - -9. Suppose -4*q + 2 = -5*q. Let u be -1*q/p*0. Solve 0 = -u*m - 5*m for m.
0
Suppose -3*k - 5 = -17. Solve k*o = -o for o.
0
Let n = -1 - -1. Suppose -h = -t + 15, n*h = -t - 5*h + 33. Let i = -13 + t. Solve -i*y = -y - 16 for y.
4
Let y = 21 + -17. Suppose -2*i + 22 = y*a, i + 17 = a + 4*a. Solve 0*u = u + i for u.
-3
Suppose -i + 2*i = -8. Let c be 3/((-9)/3)*i. Let q = -4 + c. Solve -q*l - 1 = -3*l for l.
-1
Let s(l) = -l**3 + 2. Let k be s(0). Suppose f = 4*w - 4*f - 23, -k*w - 5*f - 11 = 0. Solve 0 = h + w*h for h.
0
Let v(b) = -2 - 2*b - 3 - 2 - 1. Let z be v(-6). Solve d = z*d + 12 for d.
-4
Suppose 0 = 5*u - r - 18, 3*r + 13 = 4. Solve -q + u*q = -6 for q.
-3
Suppose 51 - 47 = u. Solve u*f - 19 = 1 for f.
5
Let u be 0*1/4 + 2. Let l = 1 - -3. Suppose 4*x = 5*w + x - 15, -l*x - 20 = -2*w. Solve t - u - 1 = w for t.
3
Suppose o = -4*d + 8, 5*o - d = 27 - 8. Solve 0 = -q - 3*q + o for q.
1
Let m = 9 + -3. Suppose -8*a = -m*a - 4. Solve -a*s - 3 = -s for s.
-3
Let f(q) = 3*q + 20. Let s be f(-6). Solve -1 = v - s for v.
1
Suppose 110 + 15 = 5*d. Suppose 5*l = 20, -3*l = 2*m - 3*m. Let x = 14 - m. Solve -d = -3*f - x*f for f.
5
Suppose 0*g = 6*g. Suppose 10 = f + 5*j, -6 = 4*f - 4*j + 2. Solve g = -f*k + 4*k + 20 for k.
-5
Let w be -5*(-7)/(175/20). Solve -w*d - 2 = -2*d for d.
-1
Suppose 0 = -4*o + 6*o - 6. Solve 0 = 3*w + o - 0 for w.
-1
Let r be (-2 - 4)*10/(-6). Suppose -r = -2*k - 0. Let h be (10 - k)/((-1)/(-1)). Solve 0*u - 5*u = h for u.
-1
Suppose 5*d - 48 = -7*d. Solve -5*y = -d*y for y.
0
Let o(m) = -2*m - 8. Let t be o(-5). Solve -p = 6 - t for p.
-4
Suppose -d = -4*d + 66. Suppose -4*t = z + 14, 0*t - d = -z + 5*t. Suppose 5*i - 3*p = 29, 0*i + 5*p + 23 = z*i. Solve -j - 5 = i*j for j.
-1
Let b(s) = 1 - 2 + 1 - s**2 - 2 - 6*s. Let z be b(-4). Suppose -z = -d - 2*d. Solve -o = d*o - 15 for o.
5
Let a(g) = -g**3 - 9*g**2 - 9*g - 2. Let x be a(-8). Let r be 0/1*x/(-6). Solve 6 + r = 2*m for m.
3
Let h = 2 - 2. Let g(w) = -w**3 + 4*w**2 - 2*w - 3. Let t be (4/8)/(2/12). Let o be g(t). Solve o = -h*z + z + 2 for z.
-2
Let x(h) = -8*h. Let w be x(0). Solve u - 4 = -w*u for u.
4
Suppose 0 = 2*v + 4*u - 28, -3*v + 33 - 13 = -5*u. Suppose 2*q = 5*q - k - 15, 2*q - 2*k - v = 0. Solve -q*p + 2*p - 6 = 0 for p.
-2
Let j(l) be the first derivative of l**2/2 - 2*l + 1. Let z be j(8). Suppose 4*a = 30 + z. Solve -2*r = 3 - a for r.
3
Let i = -24 + 26. Solve -5*n = -i*n - 12 for n.
4
Let l = -14 - -25. Suppose 1 = -5*b + l. Let u = 2 - 0. Solve 0 = u*t - 0 - b for t.
1
Suppose 0 = -j + 3. Let i(q) = 2*q**2 - 4*q - 7. Let u(d) = d**2 - d - 2. Let o(y) = -2*i(y) + 7*u(y). Let r be o(-1). Solve 8 - r = -j*a for a.
-2
Let z = 3 + 1. Suppose -q - 4*o = z*q - 56, -5*q - 2*o + 58 = 0. Solve q = -3*a - 3 for a.
-5
Let z be 0/1 - 1 - 9. Let n be (-16)/z - 2/(-5). Let f be (0/n - 1) + 23. Solve f = -4*l + 6 for l.
-4
Suppose -5*y + y = 8. Let g be ((-12)/(-8))/((-1)/y). Solve 0 = -g*i - 2 - 4 for i.
-2
Suppose -5*u + u = -16. Suppose -8 = 4*c, u = 3*m - c - c. Solve 0*y - y = m for y.
0
Suppose -14*a - 20 + 62 = 0. Solve -q = a*q + 12 for q.
-3
Let i(r) = r**3 + 6*r**2 - 9*r + 1. Let k be i(-7). Suppose 2*v - h = 1 + 7, v = -5*h + k. Solve 3*o - 2 = v*o for o.
-1
Let z = 4 - 1. Let b be (z + 0)/((-6)/4). Let q be 4/b - (1 + -11). Solve k - q = -k for k.
4
Suppose 4*o - 13 + 1 = 0. Suppose -6*g + o*g = -12. Solve -g*c - 8 = -0*c for c.
-2
Suppose -4*v - 2*q = -2, -5*q + 3*q = -4*v - 18. Let g = v + 27. Solve -5*z + 0*z = g for z.
-5
Suppose 4*r + 4*a = 64, -r = a + 2*a - 26. Suppose -r*l + 7*l + 12 = 0. Solve 5*s - 13 = -l for s.
2
Let j be -2 - (-3)/(9/12). Let l be (j - (-7)/(-5))*25. Solve 2*d + 3*d = -l for d.
-3
Let r = 9 - 7. Solve 3 = y + r for y.
1
Suppose 0 = -5*n + 26 + 4. Let u = -3 - -8. Solve 0 = n*b - b - u for b.
1
Suppose -3 = -2*f + 5. Let g be 3 - ((-16)/f)/4. Let j = 1 + 1. Solve -j*x = -g*x + 10 for x.
5
Let h be (-28)/(-6) + 4/12. Suppose 3*r = r + 10. Suppose n - 6 + 0 = 3*w, 0 = -n - r*w + 6. Solve h = -l + n*l for l.
1
Let y(q) = -q - 3. Let f be y(-5). Solve -3*i - 20 = f*i for i.
-4
Suppose 4*g = -16, -6 = 2*w + 3*g + 6. Let d = -5 - -9. Solve w = -d*v + 4 for v.
1
Let l be (1 - 0)/(2/10). Let n(r) = -6 - 13*r + 5*r + 3*r + 7*r. Let f be n(l). Solve f*s = s for s.
0
Let g be 12 + ((-1)/1)/1. Suppose 0 = 5*x + 4*k - 3 - 14, -3*k = 2*x - g. Suppose -3*v + v = -38. Solve -4*d = x + v for d.
-5
Let s = -15 - -17. Solve 0*p = -p - s for p.
-2
Suppose -2*l - 11 = -6*l + p, 5*l + 5*p + 5 = 0. Solve -l*x + 2 = 8 for x.
-3
Suppose -2*g + 5*g = 2*u, -3*g + 12 = 2*u. Let h(a) = a - 2. Let w be h(g). Solve -2*b = -w*b for b.
0
Suppose 22 + 8 = -5*p. Let c be (12/(-2))/(33/22). Let w = c - p. Solve 0 = -w*a + 6*a for a.
0
Let k(s) = s**2 - 2*s + 2. Let u be k(2). Suppose 0 = u*g - 4*i - 4, 3*g - 25 - 31 = -4*i. Solve 3*j = 7*j + g for j.
-3
Let z be 16/2*2/8. Solve 0 = -z*a + 6*a + 16 for a.
-4
Let n be ((-7)/(-3) + -2)*12. Suppose -n*l = -l. Solve l*p = 5*p - 5 for p.
1
Let a be -3 - 0/1 - (-3 + -3). Let v be 1*9 - (2 - 0). Solve 0 = 5*p - v - a for p.
2
Suppose 0*h - 2*h = -10. Let c = 10 - 8. Solve c*r - h*r + 9 = 0 for r.
3
Suppose 0 = 4*g - k - 10, -4*g + 23 = g + 4*k. Suppose -2*r + 44 = 9*r. Solve -q - g*q = r for q.
-1
Let o(n) = n**2 + 6*n. Let v be o(-6). Let w be (-3)/(-6) + 100/8. Let i be w/2 + (-1)/(-2). Solve -3*l + 8 + i = v for l.
5
Let h = 22 - 19. Solve 0 = 4*m - h*m + 2 for m.
-2
Let v = -2 + 4. Solve -6*n = -4*n - v for n.
1
Let s(m) = -m**3 + m. Suppose -4*g = 20, 0 = -5*f + f + 3*g + 11. Let u be s(f). Suppose -6*z + 5*z + 4 = u. Solve v + 0 + z = 0 for v.
-4
Let p be 14/21*1*-15. Let r be (-12)/30 - 4/p. Solve r*b - 5*b = 20 for b.
-4
Let h = 24 - 21. Solve h*d + 1 = 4*d for d.
1
Suppose -5*b = -3*b + 2. Let s be b/2*0 - 1. Let x(j) = -6*j**3 - 1. Let k be x(s). Solve 2 = k*g - 3 for g.
1
Let p(n) = -3 - 5*n - 1 + 11*n. Let x be p(4). Suppose -5*s = 0, 0 = 5*z - 5*s - x. Solve 0 = -2*c + z*c - 4 for c.
2
Let v be (1 + -10)*(-8)/(-12). Let n(u) = -u - 2. Let o be n(v). Solve -2*b + b = -o for b.
4
Let k = 15 + -11. Solve h = 2 - k for h.
-2
Let b = 5 + 0. Let h be (1 + -2)*-1*1. Let s be ((-3)/(-9))/(h/3). Solve b - s = -4*x for x.
-1
Let q = 10 - 5. Solve 2*i - q*i - 9 = 0 for i.
-3
Let s(j) = 5*j + 8. Let t be s(-8). Let c = t + 67. Let p = -9 + c. Solve -1 + p = 5*d for d.
5
Let c(n) = n**3 + 6*n**2 - 7*n + 5. Let h be c(-7). Solve h*u - 4*u = 5 for u.
5
Let j(k) = -k - 8. Let m = -18 + 10. Let s be j(m). Let i = -5 - -7. Solve -i = -s*h + h for h.
-2
Suppose 4*z = 3*z. Let p be (1 - (-4)/(-2)) + 5. Let s = z + p. Solve 0 = s*h - 3*h - 1 for h.
1
Let q(x) = -x**3 + 2*x**2 + 6*x - 5. Let h(t) = -t**3 + 3*t**2 + 7*t - 9. Let m be h(4). Let f be q(m). Solve -1 = -f*b + 11 for b.
3
Suppose -f = f. Suppose f*w + 25 = w. Let p = -10 - -19. Solve p = 4*h + w for h.
-4
Let g = -24 + 42. Suppose -k - 3*k + 2*c = -g, 2*k = -c + 3. Suppose -71 = -5*l + i, -2 + 3 = -l + 4*i. Solve -l = -4*j - k for j.
3
Let p(t) = -10*t**3 + t**2 - t + 1. Let f be p(1). Let d be 50/18 - 2/f. Suppose d*y = -4*l + 52, -3*y = -0*y - 2*l - 28. Solve -3*k = -y - 3 for k.
5
Let d(y) = -10*y**2 - 5*y + 7. Let r(c) = -15*c**2 - 8*c + 11. Let f(x) = -8*d(x) + 5*r(x). Let a be f(1). Solve 1 = h + a for h.
-3
Suppose -3*f + 6*f - 6 = 0. Let s(j)