ve g*p + 5 = 25 for p.
4
Let i(z) = 2*z**2 - 3*z + 1. Let m(l) = -l**3 + l**2 + l + 2. Let x be m(0). Let b be i(x). Suppose -8 = -n - b*n. Solve c = -n*c for c.
0
Let c(o) = 7*o**2 - o - 2. Let p be c(2). Suppose -2*k = -k - p. Suppose 0 = -3*d - 5*i + 26, -2*d - 3*i + k = 2*i. Solve -d*s + 6*s = 0 for s.
0
Let l = -6 - -8. Solve 0*y = -l*y + 2 for y.
1
Let x = 5 + 0. Suppose 4*r - 41 = -x*d, -4*d + 33 = 2*r + d. Solve -r*a = -0*a for a.
0
Let i(p) = p**3 + 3*p**2 + p - 2. Let z be i(-2). Let n(b) = -2*b**2 - 7*b + 1. Let f be n(-3). Solve -2*c - f - 2 = z for c.
-3
Let q = -9 - -13. Let x be (-2 - -3) + q - 2. Let h(k) = -k**3 + k + 8. Let u be h(0). Solve -u = -x*g - g for g.
2
Let m(s) be the second derivative of -7/6*s**3 + 0 - 1/12*s**4 + 4*s**2 - s. Let u be m(-8). Solve u = -f - f + 10 for f.
5
Let k = 30 + -25. Solve k*w = 9 - 19 for w.
-2
Let w(m) = 3*m - 7. Let n(i) = 4*i - 7. Let o(l) = -4*n(l) + 5*w(l). Let c be o(-9). Let y = c + 0. Solve y = -3*u + 17 for u.
5
Let c = 42 - 67. Let o = -20 - c. Solve 4*y = o*y for y.
0
Suppose 3*c - 37 = -4*i, -5*c - i = -2*c - 25. Suppose 0 = -c*w + 2*w + 10. Let r be (w - 3)*(-16 + 1). Solve 0 = 5*n - r + 5 for n.
2
Suppose 2*o = -3 + 7. Solve 4*b = o*b + 10 for b.
5
Let d = -66 - -37. Let v = d - -29. Solve 3*o = -v*o - 12 for o.
-4
Let y(r) = -8*r**2 - 4*r - 6. Let z(l) = 3*l**2 + l + 2. Let j(s) = -4*y(s) - 11*z(s). Let f be j(3). Solve -4*u = -6*u + f for u.
4
Suppose 3*q = 7*q. Suppose 5 = 5*u + 5*c, 7 = -q*u + u - 2*c. Solve -4 = -2*j + u*j for j.
-4
Let j be 2 + 2 + 7 - (-3)/(-1). Solve -j = -2*x - 0 for x.
4
Let r = -6 + 10. Let o be (10/15)/(r/30). Solve o*n = -4 - 1 for n.
-1
Let s(c) = -c**2 + 9*c + 6. Let t be s(7). Suppose 9*v + 13 = 40. Solve -t = -w - v*w for w.
5
Let w(h) = h + 10. Let f be w(-10). Let k(x) = 2*x - 9. Let z be k(6). Suppose 0*j = z*a + 4*j + 8, -4*j = -a + 8. Solve -p + f + 3 = a for p.
3
Let a(l) = l**2 + l - 1. Let x be a(0). Let f = x - -13. Solve f + 0 = -4*i for i.
-3
Let c be (-4)/(5/(10/(-4))). Solve -z - 6 = c*z for z.
-2
Suppose -4 - 11 = -3*q. Solve -3*j + 2*j = -q for j.
5
Suppose 5*i - 5 - 5 = 0. Suppose 4*g + u = -43, -3*u - 8 = i*g + 1. Let w = g - -18. Solve -4*y = 14 + w for y.
-5
Let k = -8 + 6. Let m be (k/(-2))/1*3. Let z = 8 - m. Solve -u - 4*u = -z for u.
1
Let l = 9 - 7. Solve -i - l = i for i.
-1
Suppose 4 = 4*o - 0*o, 0 = -2*k - 3*o + 9. Solve 5*b - k = 2 for b.
1
Suppose -5*z - 2*n + 5 = 0, -n = 4*z - 4 - 0. Let b be -3 + z/1 - -7. Suppose h + h + 2*c = 16, -b*h + 13 = -4*c. Solve 5*a - h + 0 = 0 for a.
1
Let a be ((-162)/(-45))/((-2)/(-5)). Let f = a + -6. Solve f*d - 4 = 5 for d.
3
Let m(t) = -t**2 + 6*t - 5. Let x be m(4). Suppose f = x*f. Let n = f + 0. Solve -w - 5 + 2 = n for w.
-3
Let r(o) = -4*o**3 + 20*o**2 + o. Let k be r(5). Solve k*v = 3*v for v.
0
Suppose u + 2*x - 12 = 0, -4*u + 9*u + 2*x - 36 = 0. Suppose 2*y - u = 5*o, 3*y + 0*y - 9 = -3*o. Solve 0 = -0*s + y*s + 6 for s.
-2
Let l be (5 - 3)/(6/9). Solve 0 = -12*v + 15*v + l for v.
-1
Let y(a) = -a - 9. Let s be y(-5). Let b be (s/5)/(4/(-50)). Let i = 338 - 335. Solve -p = -i*p + b for p.
5
Suppose 4*b - 12 + 4 = 0. Solve -5*v = -4*v - b for v.
2
Let s be (-16 - -19)*(0 + 1). Solve s*a - 4 = 5 for a.
3
Let t(m) = m**3 + 5*m**2 + 3*m + 2. Let b be t(-4). Solve z - b*z = -10 for z.
2
Let l(b) = b + 9. Let m be l(-12). Let n be -1*(m - -6)*-1. Solve 5*t = n + 2 for t.
1
Suppose 7*r + 4 = 9*r. Solve -r*s = 4 - 0 for s.
-2
Let z(x) = 0*x - 1 + x - 3*x. Let q be z(-2). Solve 3*u + q = -12 for u.
-5
Let o be 5 - ((-5)/20)/(1/(-4)). Solve 5*f = o*f + 4 for f.
4
Suppose 0 = -8*g + 4*g + 24. Let c(b) = b**2 - 9*b + 10. Let d be c(8). Solve -o = d*o - g for o.
2
Let f(v) = -v + 6. Let n be f(8). Let p(l) = -l**3 - l**2 + l - 1. Let o be p(n). Suppose 0 = -c + o - 0, -5*c = 5*s - 20. Solve s*b = 14 - 2 for b.
4
Let m be (-14)/35 + 42/5. Suppose -m*v + 3*v = 3*a - 3, 5*v + a = 1. Let g = v + 2. Solve 3*w - 10 = g for w.
4
Let q = -62 + 70. Solve 3*d + q = 23 for d.
5
Suppose 0 = 17*s - 18 - 50. Solve -3*z + z + s = 0 for z.
2
Suppose i + 4*i + 10 = 5*f, 3*i = -4*f + 29. Suppose -4*h - 2*g = -28, f*h + g - 32 = -3*g. Suppose 4*n - 4*t - 2 = -6, t - 9 = -n. Solve -h*j + n*j = 0 for j.
0
Let v be (-3)/15 - (-32)/10. Solve v*f + 6 = f for f.
-3
Let w be (-8)/(-3) - (-3)/18*2. Solve -7*k = -w*k - 8 for k.
2
Suppose -2*k + 10 = c, 7*k - 15 = 3*c + 4*k. Suppose c = 3*w + 2*w - 10. Solve p + p = w for p.
1
Let w = 58 - 66. Suppose -s + 2*j = -16, 2*s = -2*s - j + 28. Let d = s + w. Solve -4*u + d = 8 for u.
-2
Let y(d) = -12*d - 19. Let s be y(-2). Solve -s*v - 7 = 3 for v.
-2
Let t(z) = -3*z - 19. Let i be t(-8). Solve 3*g - i*g + 8 = 0 for g.
4
Suppose -n - 13 = -3*y, 0*y = -y + 5. Suppose n*o = z - 6, o + 2*o = -3*z + 9. Let t = o + 1. Solve t = -9*x + 4*x + 25 for x.
5
Suppose -5*n + 4*v + 30 = 7, -n - 3*v = 3. Solve 2*g - n + 5 = 0 for g.
-1
Suppose -4*d + v = 4*v - 70, -v = -3*d + 46. Solve -d = s + 3*s for s.
-4
Let t(x) = 2*x - 6. Let m be t(4). Let d(i) = i**3 + i**2 + 2. Let h be d(0). Suppose 9 = h*a + a. Solve -5 = a*l - m for l.
-1
Let f(k) = 4*k - 1. Let d(i) = 3*i + 1. Let q be d(1). Suppose -5*n = -w + 21, -4*w - q*n = -0*w + 12. Let o be f(w). Solve -3 = -o*p - 0 for p.
1
Let x(c) = c**3 + 4*c**2 - 5. Suppose 0 = 4*p - 4, 2*s + 5*p + 4 = 5*s. Let z(d) = d**2 - 1. Let b(j) = s*z(j) - x(j). Let k be b(0). Solve -q + k = -0*q for q.
2
Suppose -4 = -3*s + 2. Suppose 2*y - 2*m - 12 = 0, 0 = -y + 2*m + s + 6. Let z = 17 + -17. Solve -o = -z - y for o.
4
Let n be 4/(-3) + (-4)/6. Let z be 32/(-20)*5/n. Solve -4*d = -2*d - z for d.
2
Suppose i - 3 = h - 2*h, -4*i - 3*h + 14 = 0. Solve 19 = i*v + 44 for v.
-5
Suppose -5*d - 5*v - 25 = -0*v, 0 = -v - 5. Solve -y - 2*y = d for y.
0
Let p be (12/(-8))/((-2)/4). Let m(b) = 9*b - 5. Let f be m(5). Suppose 2*u = -0*u + f. Solve p*t - u = -t for t.
5
Suppose 0 = 4*f - 2*f - 6. Suppose 0 = f*t - 8*t. Solve t = l + 3*l + 8 for l.
-2
Let p = -15 - -15. Solve p*x = -3*x for x.
0
Suppose -s - 2*s = 0. Solve s*b = -b for b.
0
Let t(n) = n**3 + 3*n**2 + 2*n + 4. Suppose 0 = -9*u + 4*u - 10. Let a be t(u). Suppose -2*l + 8 = 0, -4*y + 1 + 7 = -4*l. Solve y = a*j - 6 for j.
3
Let i = 21 - 2. Suppose -j + 3*d = 2*j + 3, 0 = j + 4*d - i. Solve -5 - 1 = j*p for p.
-2
Let k be (-1 - (-1)/1)/(-1). Suppose -2*r - 3*r + 10 = 0. Suppose k = o + r*o. Solve 15 = -3*f - o*f for f.
-5
Let d be (-4)/18 - 12/(-54). Solve 2 = t - d for t.
2
Let r be (-3)/(1*9/12). Let c = -2 - r. Solve -12 + c = -5*w for w.
2
Let k(n) = -n - 6. Let g be k(-6). Let f(i) = i + 1. Let h(r) = r**3 + 2*r**2 - 3*r + 3. Let l be h(-3). Let x be f(l). Solve -x*v + v = g for v.
0
Suppose 4*q = 2*v + 4 - 24, -q = -2*v + 11. Solve m - 6 = v*m for m.
-2
Let d = 74 + -72. Solve 8 = 2*a + d*a for a.
2
Let k be 1 + 0 - (6 + -10). Solve -3*v + k*v = 4 for v.
2
Suppose 0 - 9 = -3*n. Solve 0*p + n*p = -15 for p.
-5
Let k be (1 + 0)*(1 - -10). Let f = -8 + k. Suppose -33 = -3*s + f*g, -5*s + 2*s + 2*g = -30. Solve -3*b = b - s for b.
2
Let v(y) = 4*y - 20. Let k be v(5). Solve k*h + 3 = h for h.
3
Let k = -23 + 43. Suppose 17 = 8*x - 23. Solve 0*c - x*c + k = 0 for c.
4
Let d(q) = -q**2 + 19*q - 15. Let m be d(18). Solve 0 = -m*s - 6 - 0 for s.
-2
Let n(o) = o**2 + 6*o + 7. Suppose -5*x - 24 = -m - 11, 0 = 4*m + 2*x + 36. Let t be n(m). Let c be 122/t - 2/(-7). Solve -5*h = -c - 6 for h.
3
Let x be 3/12 + (-45)/(-12). Solve x*n - 15 + 3 = 0 for n.
3
Let b = 14 - 12. Solve -h = -b*h for h.
0
Suppose 7*t - 32 - 10 = 0. Solve -5*m + t = -2*m for m.
2
Let g(y) = -y**2 - 4*y + 13. Let v be g(-6). Solve 0 = -s + 4 + v for s.
5
Suppose -25 = -10*v + 5*v. Suppose -4*j = j, 3*n + v*j = 33. Suppose -4*h + 1 + n = 0. Solve -w + h = 2*w for w.
1
Let l be (-4 - 2)/3 + 14. Let y be (l/8)/(6/32). Suppose y = -r + 5*r. Solve 3*p + r*p = 5 for p.
1
Suppose -137*x = -134*x - 6. Solve -3*l - x = 4 for l.
-2
Let n be (-8)/(4/4 + -3). Suppose n*i - 52 = -5*h, -h = -5*i - 6*h + 70. Let w be ((-2)/4)/((-2)/28). Solve w = 5*g - i for g.
5
Suppose -4*n + f + 0*f = 1, -5*n - 5 = -5*f. Suppose -v - 2 = 0, -v - 8 = -l + 2. Solve n = 3*g - l*g for g.
0
Let i = -10 - -16. Let v be (-2)/i - 34/(-3). Suppose 0 = 5*b - v - 4. 