5
Suppose 3*i - 1 + 8 = b, -4*b + 3*i = -1. Let x be b*2/(-4) - -1. Solve -x*z = 2*z for z.
0
Let a = -1 - -1. Let j be 1 + 1 + 2 - (-134 + 128). Solve 2*w = -a*w + j for w.
5
Let z(f) = -f**2 - 7*f. Suppose -2*u + 5*u = -132. Let t be u/8 + 1/(-2). Let q be z(t). Solve -3 = -v - q for v.
-3
Let v be (-2)/5 + 64/10. Suppose 0 = -v*k + 4*k + 4. Suppose k*a - 6*a - 4*p + 20 = 0, 5*p = 2*a - 24. Solve 5 = 4*q - a for q.
3
Let z(k) = k**3 - 7*k**2 + 8*k - 5. Let l be ((-36)/(-42))/(3/21). Let s be z(l). Solve -q = -2 + s for q.
-5
Suppose 0 = -h + 1, 5*h - 57 = -5*x - 2. Suppose 5*k - x + 0 = 0. Let m be ((-9)/15)/(3/(-45)). Solve -k*f + m = f for f.
3
Let d(l) = -l**2 - 9*l + 2. Let f = 3 + -11. Let i be d(f). Suppose 0 = 5*o - 5*y - i, -o - 2*y + 2 = y. Solve -4*r = -o*r for r.
0
Suppose 0 = -2*n + 3*w + 12, -2*n = -6*w + 2*w - 12. Suppose -4*z = 5*l + 10, 4*z + n = -z - 3*l. Solve z = -b - 3*b + 4 for b.
1
Suppose -5*f - 24 = -3*f. Let k be (1/4)/((-3)/f). Let c(m) = 5*m**2 + 2*m - 1. Let p be c(k). Solve 3*g + 0*g + p = 0 for g.
-2
Let z(t) = 0*t + 4 - 5 + 3*t. Let f be z(1). Solve -g - 1 = -f for g.
1
Let v(b) = -b**3 - b**2 - b. Let f be v(0). Let p = 37 - 17. Solve -5*o - p = -f*o for o.
-4
Let u = 4 - -2. Let i be u/(1 - -1) + -1. Solve i*z = -3*z - 5 for z.
-1
Let h(m) = m**3 + 2*m**2 - 2*m + 3. Let a = -3 + 0. Let n be h(a). Solve n = 3*b + 2*b - 5 for b.
1
Suppose -3*o + 2*o = -12. Suppose 3*j = -j + o. Suppose -20 = -s - 4*s. Solve j*z - s = 2*z for z.
4
Let x be 357/(-49) + 2/7. Let n be (-10)/(-14) - 2/x. Solve 3*j + 2 + n = 0 for j.
-1
Let a(r) = r**3 + 7*r**2 + 6*r + 3. Let x = 14 + -20. Let n be a(x). Suppose 0 = n*k + i - 4, 5*i + 3 = -4*k + 1. Solve -k*s - 7 = 1 for s.
-4
Let k be (-12)/54 + 56/9. Let c be ((-4)/(-10))/(k/60). Let q = c + -3. Solve q = 3*o + 7 for o.
-2
Suppose 8*d - 5*d = 9. Let s be 5*1*(d + -2). Solve l - s = -1 for l.
4
Let m(v) = 2*v + 10. Let b be m(-3). Solve -b*c + 6*c + 8 = 0 for c.
-4
Let j be (-58)/(-18) - (-4)/(-18). Let h(m) = m**2 - 9*m - 20. Let q be h(11). Solve q = 5*b - j*b for b.
1
Suppose -3*b = -99 + 72. Solve b = -5*x + 24 for x.
3
Suppose -2*o = -o - 2. Suppose 0 = -3*m - m + 5*x, -3*m = -4*x. Solve -o*c + m = 2 for c.
-1
Suppose -r + 1 = 4*m + 4*r, -2*r = 4*m - 10. Let i = 58 + -37. Suppose 2*z + 2 = -3*h, 0 = -m*z + 5 - i. Solve h*c - 5 = 7*c for c.
-1
Suppose -3*q + 28 = 5*p + 6, 0 = -5*p - q + 14. Let m = 6 - 4. Solve -4*s - p = -m*s for s.
-1
Let b(u) = -3*u**3 - 2*u**2 - u - 2. Let i = -6 + 4. Let s be b(i). Suppose -y = -5*y + s. Solve y*x + 1 = -3 for x.
-1
Let f be (63/(-14) - -5)/((-2)/(-12)). Solve -f*a - 6 - 6 = 0 for a.
-4
Suppose 0 = -0*w - w + 15. Solve -4*x = -9*x - w for x.
-3
Let n be (2/((-10)/3))/(9/(-45)). Solve -n*a = 2*a - 15 for a.
3
Let l(f) = -3*f. Let c be l(-1). Let x(d) = 0*d + 0*d - 4*d**2 - d**c + 1 + 3. Let r be x(-4). Solve r*n = -n for n.
0
Let u(v) = 4*v**2 + 2*v + 1. Let l be u(-1). Suppose 3 = -l*w + 9. Solve -6*b + w*b = -4 for b.
1
Let u be (3/(-4))/(-5 + (-133)/(-28)). Solve -2*i - 2 = -u*i for i.
2
Suppose 4*b + 3*r + 1 = 4, 0 = -2*b - 4*r + 4. Suppose -4*h - 2*u = -6, -1 = -2*h - 3*u - 0. Solve b = -h*w + 2 + 6 for w.
4
Let n be (-21)/(-12)*4*1. Solve n*v = 2*v + 25 for v.
5
Let n = -10 + 12. Suppose -2*c = c + v - 27, 3*c - 27 = n*v. Solve 3*h + 0 = -c for h.
-3
Let g(k) = k**3 + 5*k**2 + 5*k + 6. Let a be g(-4). Suppose x + 7 = 2*x - w, -a*x - 4*w + 8 = 0. Suppose -3*l + 18 = x. Solve -l + 2 = -p for p.
2
Let z be (-4)/(-6)*63/6. Solve 0 = -3*n + z*n + 20 for n.
-5
Let r(n) = -n**3 - 17*n**2 - 14*n + 8. Let k be r(-16). Let o be 6/k*1*-4. Solve -11 = -2*a - o for a.
5
Let z(s) = 0*s**3 + 6 - s**3 + 6*s**2 + 2*s**3 - 5*s. Let l(g) = -g**3. Let d(u) = 2*l(u) + z(u). Let c be d(5). Solve 0 = -c*t + 2*t - 4 for t.
-1
Let k(m) = 3*m. Let l(n) = -4*n + 1. Let o(u) = 3*k(u) + 2*l(u). Let i be o(0). Suppose 3*s - 4 = i*s. Solve -s*w - 16 = -0*w for w.
-4
Suppose -o = -3*m - m + 5, -o = 3*m + 5. Solve 0 = -4*u - m - 8 for u.
-2
Let n = 15 - 11. Suppose -11*c = -9*c - n. Solve -c + 8 = 3*o for o.
2
Let a = 110 - 108. Solve u + a*u + 3 = 0 for u.
-1
Suppose -3*x = b, -5*x - b = 2 - 4. Solve -4*p - x = -5*p for p.
1
Let v = -30 + 32. Solve -4*r = -v*r for r.
0
Suppose 4*x - 13 = -2*w - 1, -2*w - 5*x + 14 = 0. Solve w - 12 = -5*l for l.
2
Let q(v) = -4*v + 3*v**2 - 1 + 0*v - 2*v**3 + v + 3*v**3. Let i be q(-3). Solve -8*u + 4*u = -i for u.
2
Suppose 83 = 4*s + 5*u, -5*u = -4*s + 71 + 22. Solve s = -5*y - 3 for y.
-5
Let u be 2/9 - (-43)/9. Suppose -u*b = -y - 13, y + b = -3*b + 14. Solve 0 = -3*x - y*x - 25 for x.
-5
Suppose -4*z = -8 - 4. Let t = -1 - -2. Solve -2*k + t = z for k.
-1
Let p be (-3 + 28/(-8))*2. Let g = -1 - p. Solve 0 = 6*f - 2*f - g for f.
3
Suppose g - 38 = -2*l - 3*g, 3*l = -3*g + 48. Suppose -n = 3*w - 7*w + l, -5*w = -2*n - 17. Solve w*r + 0*r = 15 for r.
5
Suppose -6*r = -5*r. Solve 0*z - 2*z - 2 = r for z.
-1
Suppose 0 = -7*g + 4*g - 3. Let r = g - -5. Solve 0 = -t + r - 3 for t.
1
Suppose -p + 1 = -4, 0 = -3*y + 3*p - 3. Suppose 2*n + y = 8. Solve -n*u + 20 = 3*u for u.
4
Suppose 0*l + 4*l - 36 = 0. Suppose -3*t + l = -6. Solve 0 = t*o - 5 for o.
1
Let j(q) = q**3 + 4*q**2 + 3*q. Let g(m) = -m + 2. Let r be g(-2). Suppose 5 = -3*p - r. Let k be j(p). Solve l + k*l = -3 for l.
-3
Let a = 7 - 7. Let p(b) = 2*b**2 + 0*b + 5*b - 2 - b**3 + a*b - 2. Let f be p(3). Solve -i - f = -1 for i.
-1
Let q(y) = y**3 + 6*y**2 + 3*y - 7. Let m = 3 - 8. Let a be q(m). Solve 0 = -3*f + a + 6 for f.
3
Let o(v) = -v**2 - 2*v + 7. Let u(k) = k**2 + 3*k - 7. Let q(y) = 3*o(y) + 2*u(y). Let r be q(0). Solve -s + r = 2 for s.
5
Let c(n) = n - 3. Let d be c(9). Let p = -4 + d. Solve 1 = -3*v + p*v for v.
-1
Suppose -1 = q + 1. Let k = q - -7. Solve k*n + 4 = -16 for n.
-4
Let v be (-2 + 2)*(0 - -1). Let d be v/((1 - 1) + 2). Suppose -2*h + 4*h - 4 = d. Solve -3*f + h + 4 = 0 for f.
2
Suppose 2*m = p + 2, 3*m - 4*p = -m - 4. Solve -7*s + m*s + 4 = 0 for s.
1
Suppose 30 = 5*o + 5*n, -3*n + 2*n = 4*o - 12. Suppose -o*a - 18 = a. Let c be 1 + (-3)/a*2. Solve 0 = c*d + 2*d - 12 for d.
3
Let v(s) = 9*s**2 + 2*s + 5. Let x(d) = -5*d**2 - d - 2. Let c(o) = 4*v(o) + 7*x(o). Let g be c(0). Solve -3*y - g = -5*y for y.
3
Let s(c) = -c - 4. Let u be s(-6). Suppose 0 = 2*a + a + 3. Let p be 0/((u/a)/(-2)). Solve -3*l = -p + 9 for l.
-3
Let t(o) = o**2 - 5*o + 7. Suppose 0*a = 2*a - 10. Let u be t(a). Suppose -4*q = -u*q + 12. Solve 4*b - q + 16 = 0 for b.
-3
Let f(i) = 3*i**2 + 6*i - 4. Let r(h) = h**2 + 3*h - 2. Let n(m) = 2*f(m) - 5*r(m). Let w = -1 - -3. Let x be n(w). Solve -d + x*d = 0 for d.
0
Let b(a) = -6 + 3*a**2 + 2*a + 0*a**2 + 0 - 2*a**2. Let g be b(-5). Solve l + 2*l + g = 0 for l.
-3
Suppose 5 = z + 2. Let m be (4 - (z + -1))*1. Solve p - m = 2*p for p.
-2
Suppose -2 = -9*y + 8*y. Solve y = -v + 4 for v.
2
Let h be 4/(-12)*(-9)/1. Let y = h - 2. Solve -6 = z - y for z.
-5
Let l = 76 - 73. Solve -6*m + l*m + 12 = 0 for m.
4
Suppose 0 = 5*l - h - 4*h, 2*h = 0. Suppose 5*c - 11 = 9. Solve 0 = -2*t - l*t + c for t.
2
Let p(z) = -z**3 + 5*z**2 - 5*z + 4. Suppose 2*c + 0*c + 4*f = 8, 8 = 2*c - 3*f. Let w be p(c). Suppose w = 5*s - 8 - 2. Solve -4*i - s = 18 for i.
-5
Let d(g) = 2*g + 8. Let q be d(-3). Solve -2*z - q + 6 = 0 for z.
2
Let a(i) = -i**3 - 6*i**2 + 10*i + 21. Let n be a(-7). Solve -3*m = -n*m + 6 for m.
-2
Let t(r) = 8 + 2*r**2 - r - r**3 + 5*r**2 + r**2. Let h be t(8). Solve h*x - 4*x = 0 for x.
0
Suppose 30 = m - 5*v, 5*m - 2*m + 2*v - 5 = 0. Let s = 5 - m. Solve s*p + p = -5 for p.
-5
Let h(r) = -r**2 + 2*r + 2. Let k be h(-3). Let y = 21 + k. Let l = 15 - y. Solve 0 = l*q - 3*q for q.
0
Let b(s) be the first derivative of s**3/3 - s**2/2 - 6*s - 2. Let x be b(4). Solve -g = g + x for g.
-3
Let l be (6/15)/((-2)/(-5)). Solve -4 - l = -5*r for r.
1
Let h = -141 + 146. Solve h*t - 2 = 6*t for t.
-2
Suppose -3*r = -r. Solve -p + r = -4 for p.
4
Let f(r) = -r**2 - 5*r - 4. Let m be f(-4). Solve -2*y + 1 - 9 = m for y.
-4
Let m be 1324/20 - (-2)/(-10). Let d = 123 - m. Suppose 5*v - 2*f - f = d, 3*f + 21 = v. Solve -t - 2*t = -v for t.
3
Let d be 55/10 - (-2)/(-4). Suppose 1 = -d*g + 16. Solve 5*a - 8 = -g for a.
1
Suppose 9*b - 10 = 4*b. Solve k =