 o = 0, 2*y + 13 = -5*v + 4*y for v.
-3
Let q(m) = -11*m**2 + 4*m**2 + 4*m - 3*m**3 + 2*m**3 + 2 + m. Let a be q(-8). Solve 0 = 5*f - 2*i + a, 2 = -2*f - i - 3 for f.
-4
Suppose 3*w + 99 = 5*x, 69 = -0*x + 3*x + 3*w. Let l = x - 14. Suppose -4*g + 1 = -l. Solve -5*c + 6 = -g*n, 5*n - 6*c = -c for n.
2
Suppose -c = 0, l - 3*c - 12 = -2*c. Solve -3*z + z - l = 4*n, 3*n + 12 = 0 for z.
2
Let i(v) = v**2 + 1. Let n be i(2). Let j be 28/6 + (-14)/21. Let c = j - 2. Solve -4*k - n = 7, -4*k = -c*u + 22 for u.
5
Suppose 4 = 3*l - 8. Solve 0 = -j + 5, l*a + 2 = -4*j + 34 for a.
3
Let o = 6 + -4. Suppose 6*d = o*d. Suppose -2*w - 12 = -8*w. Solve d = w*z + i - 3, 0 = -2*z + 5*i - 8 - 7 for z.
0
Let f = -46 - -49. Suppose 2 = -j + 1. Let b be 0/(-3)*(2 + j). Solve b = q + 4*s - 13, -f*q + s - 2 = -2*q for q.
1
Let p = 61 - 57. Solve 0 = -v - p*l - 5, -3*v - 15 + 0 = -4*l for v.
-5
Suppose -14*p + 117 + 107 = 0. Solve -4*d = p, 0*d - 14 = 2*u + 4*d for u.
1
Suppose 2*o = -4*m + 14, 3*m - 16 + 0 = 4*o. Let l = -14 - -20. Let d = l - m. Solve 3*g = -v - 0*v - 3, -3*v + 2*g + d = 0 for v.
0
Suppose -3*l = -0*l - 24. Suppose 0 = -y + b - 2, y + 4*b = 2*y + l. Solve -3*m + 5*t - 10 = y, 4*m + 2*t - 30 = -0*m for m.
5
Suppose 0 = 3*j + 9, -4*q + j + 6 = -5. Let f be (-9)/(-4) - q/8. Solve 0 = -4*i - 2*g - g - 22, -f*i - 14 = 3*g for i.
-4
Suppose 10*c = 15*c - 20. Solve 5*s + 5*r = -40, -4*r - 2 = -c*s + 6 for s.
-3
Let q = 6 + -1. Suppose 2*h + q*y - 5 = 0, 0*h + 3*h + y + 25 = 0. Let v be (-1)/(3 + -2)*h. Solve 3*i + 9 = -3*c, 0 = 5*i + 2*c + 28 - v for i.
-4
Let k be (-3)/(-2)*(-220)/(-22). Let z be 4 + (-1 + 1)/(-2). Solve -k = -z*w - 3*b + 4*b, -4*w + 2*b + 10 = 0 for w.
5
Let l be 2 + -4 + 12/3. Solve 3*n = -l*n - p + 11, -3*p - 1 = -2*n for n.
2
Let z = -4 + -4. Let i be z/(-1*(-4)/10). Let d be i/(-6) + 2/(-6). Solve 0 = d*m - q - 4 - 0, -m - 3*q = 2 for m.
1
Suppose 43*q = 39*q + 8. Solve 5*p - 28 = 4*s, 2*p - q - 8 = s for p.
4
Let s be ((-15)/10 + 2)/((-1)/(-6)). Solve -1 = -n - 4*r, 0 = s*n + 2*r - r - 3 for n.
1
Suppose -2*f = -k - 4, 5*f - 5 = 5*k + 5. Suppose k = 9*t - 4*t - 70. Solve a = -2*p - t, -10 - 10 = 4*p for a.
-4
Let a be -12*(-4)/6 + -2. Let c be (-3)/(-9) + 34/a. Solve -4*r - 2*h = c, -8*h + 25 = -3*h for r.
-4
Let b = 23 + -1. Suppose -z + 1 = -0*z + a, -3*z + 4*a = -38. Suppose 3*q - z = 3*s, -3*q - s - 3*s = -13. Solve m + 4*m + b = n, 0 = -q*m + 5*n for m.
-5
Let q be 0 - ((-12)/4 - 49). Let m = q - 32. Solve b - 4*u + m = 4*b, 0 = b - 3*u + 15 for b.
0
Let h be (3/6)/((-1)/(-8)). Suppose 4*t - 10 = -5*a, -t + 3*t = -2*a + h. Suppose 0 = -5*f + a*f. Solve 3*l + q + 14 = f, l + 0*q = -2*q - 13 for l.
-3
Let o(s) = s**3 - 11*s**2 - 11*s - 10. Let q be o(12). Solve -4*k + q*z - 4 = 0, z = -5*k - 1 - 18 for k.
-3
Let w = -7 - -12. Let d(n) = -n**3 + 6*n**2 - 5*n + 2. Let m be d(w). Let l be 28/42*(-3 - 0)/(-1). Solve -2*p = -l*j - m, -2*p + 0*p = 0 for j.
-1
Let q(f) = 20*f**3 + f**2 - 1. Let a = -12 + 13. Let w be q(a). Solve -5*z + 45 = 4*n, 0 = 3*z + z - w for n.
5
Let z be (-1)/(-1*(-2)/(-10)). Suppose -5*n + 3 = -7. Solve z*d + 9 = 4*t, -2*d - t + n = 3 for d.
-1
Let x(o) = 3*o - 13. Let f be x(16). Suppose -30*w - 15 = -f*w. Solve -g = w*c + 2*g, 5*g + 16 = -c for c.
4
Suppose 7*d - d = 96. Solve -5*g = -3*x - 31, 0*x - 2*x - 4*g + d = 0 for x.
-2
Suppose j + 20 = 3*j. Suppose w = -5, 3*w + j + 7 = 2*o. Suppose -19 = -2*c - 1. Solve -l = -3*p - o + 6, -c = -4*p - l for p.
2
Let z(s) = s**3 - 7*s**2 + 8*s - 5. Let m be z(6). Let j(g) = 2*g - 10. Let d be j(m). Solve 0 = -l - d*b + 4, -2 = -0*b - 2*b for l.
0
Suppose 7 = 3*p + 1. Let r be 1/(1/(-1) + p). Solve 4*i + 2 = 2*x, -r = 3*i - 7 for x.
5
Let h be (-2)/(-6)*0 + 2. Suppose 4*n - 20 = h*d, -4*n - 3*d = d + 4. Solve 2*u + 8 = 4*s, -3*u + 3 + 3 = n*s for u.
0
Let s(h) = h**2 + 5*h + 4. Let q be s(-5). Solve q*g = 4*f + 40, -5*f + 6 = 2*g + 21 for f.
-5
Let t be (-9)/(-2) + 3/(-6). Solve 3*b - 1 = -4*n + t, 5*b = -5*n + 10 for b.
3
Suppose 2*m + 5*a + 9 = 0, -3*m - 21 = -6*m + 4*a. Solve 5*c - 5*u - 10 = 0, 9 = m*c + 3*u - 9 for c.
4
Let z(c) = c. Let q be z(6). Let a be ((-4)/6)/((-2)/q). Let o be (a - 6)*-1 - -1. Solve -3*i = -4*x + 20, 6*i - 3*i - o = -x for x.
5
Let o(k) = -k**2 - 5*k. Let j = 11 - 16. Let a be o(j). Solve -3*u = -a*u + r - 3, 2*r = -4*u + 6 for u.
0
Let q = -133 - -136. Solve 5*x = 3*g, 2*g - q*g - 4*x = 0 for g.
0
Let w = -16 + 20. Solve -2*n = -0*n + 2, -w*x = -n + 3 for x.
-1
Let x = -6 + 9. Let h(o) = -o**2 - 6*o + 1. Let v be h(-3). Solve -x*w + v = f, 2*w - f - 14 = -3*w for w.
3
Let g(b) = -4*b - 30. Let v be g(-10). Solve -l - v + 1 = o, -12 = 3*o for l.
-5
Suppose -w + 4 = -8. Let x = w + -2. Let c(j) = j - 5. Let u be c(x). Solve 9 = 3*b, s - u*b = 2*s - 18 for s.
3
Let x(i) = -4*i - 57. Let o be x(-15). Solve r - 5*l - o = 4, 3*r = l - 7 for r.
-3
Let q = 10 + -7. Suppose 2*y - q = 1. Suppose -2*d = -0*d + 4*k - 4, 2*k = -5*d + y. Solve d = g - 4*c + 6 + 2, 0 = -4*g - c - 15 for g.
-4
Let d = 44 + -32. Solve -4*p = 2*s - 2*p + d, 4*p = s - 4 for s.
-4
Let w = -30 - -33. Solve 0 = -w*y - 2*y + 2*r + 22, 13 = 4*y + 3*r for y.
4
Suppose -5*q - 3*c + 10 + 11 = 0, -10 = -5*c. Solve -w + 5*b = -8, 10 = -w - b - q*b for w.
-2
Let t = -63 + 63. Solve 4*h = 3*s + 23, -1 = s - t*s + 2*h for s.
-5
Let b be (-908)/12 - 4/(-6). Let q be (-2)/(-9) - b/27. Solve -q*k - 17 = -4*t, 5*k + 3*t + 0*t = 20 for k.
1
Let n = -43 - -92. Let o = n - 22. Solve 5*j + 3*w = -w - o, w - 6 = 3*j for j.
-3
Suppose 4*p + 50 - 134 = 0. Suppose -2*i - 3*i = 4*j - p, 10 = 3*i + 5*j. Solve 4*s + 2*y + 26 = i*y, 5 = -3*s - 5*y for s.
-5
Suppose d - 4*d + 21 = 3*v, -2*v + 5 = -d. Suppose -j + 3*j = v. Solve 2*o - j = 4*y - 0*o, -4*y = -4*o + 12 for y.
2
Suppose -i = 2, -2*q - i = 1 - 3. Solve -5*o = p - 11, 0 = q*o - p + 3*p + 2 for o.
3
Let m(x) = 3 + 2*x**3 + 0*x**2 - 1 - 2*x**2. Suppose f + 2 = 2*h, -4*h - 5*f + 1 + 17 = 0. Let c be m(h). Solve -5 = -t, 7*u - c = 2*u + 2*t for u.
4
Let n(f) = f + 13. Let r be n(-9). Let g be ((-6)/5)/(r/(-10)). Solve -2 - g = 5*w - 5*s, -2*w - 2*s + 18 = 0 for w.
4
Let n = 5 + -9. Let y(a) = a + 6. Let b be y(n). Suppose s - 1 = 1. Solve 4*o = -5*r + b*o - 2, r = s*o + 2 for r.
0
Suppose 0 = 4*u + 4*x - 4 + 52, 0 = 3*u - 4*x + 36. Let a = u - -17. Suppose 0 = a*o - 3*o. Solve 4*c + 2*j - 6 - 2 = o, 2*c = 3*j - 12 for c.
0
Let i(t) = t**2 + 4*t - 2. Let q be i(7). Suppose 0 = -4*n - n + q. Suppose l - x = 9, 5*l + x - n = -0*l. Solve 0 = 4*g - 2*k - k + 25, l*g - k + 19 = 0 for g.
-4
Suppose -4*f + 62 = 2. Suppose 0 = 5*r - 10*r + f. Solve 5*n + r*h = 1 - 6, -3*n + h - 3 = 0 for n.
-1
Let p = -21 - -24. Solve -k + 5*k - 2*x = -16, -3*k = -p*x + 15 for k.
-3
Suppose -5*s = -4*q - 0*s + 12, 3*q - 3*s = 12. Let v = 8 - 6. Suppose -w - 6 = -m, 0*m + v*m = 3*w + 15. Solve i + 4*i = -l + 6, m*l = -2*i - q for l.
-4
Let b = 26 + -23. Solve 4*n + b*i + 5 - 21 = 0, 4*n = i for n.
1
Let b(y) = -y**3 + 8*y**2 - 6*y - 5. Let d be b(7). Suppose -d*j + n - 3 = 2*j, 2*n = 3*j + 6. Solve 2*a - 5*f = 3 - 15, 3*a - 5*f + 8 = j for a.
4
Let g(x) = x**2 + 16*x + 44. Let t be g(-13). Solve -j - 11 = 4*n + 2, -5*j = -t*n + 15 for j.
-5
Let f = 170 - 158. Solve 4*h + 12 = 2*i, -3*i = -f - 0 for h.
-1
Let k(d) = -2*d**2 - d + 7. Let a(h) = 3*h**2 + 3*h - 15. Let t(x) = -3*a(x) - 5*k(x). Let z be t(6). Solve -2*o = -2*w - 18, 0*o - 3*o = -2*w - z for o.
4
Suppose -2*t = 2*g - 4*t + 2, 1 = 3*g + t. Suppose -2*n + 1 + 3 = g. Let s(q) = -q + 5. Let r be s(4). Solve -n*k + 3*m = -4*k - 5, m = -k - r for k.
2
Let d = 11 + -7. Solve 3*r + 6 = 5*f, d*f = 4*r - 1 + 9 for f.
0
Let u(f) = f**2 - 5. Let n be u(-3). Solve -2*x + n = 0, 0*x + 11 = 3*g - 2*x for g.
5
Let t be (-4)/(-6) - (-4)/(-6). Suppose n + 5 = 4*y, -3*y - 6 = -t*n - 4*n. Let o = -3 - -6. Solve -q + 1 = 2*h, -o*q - 17 = -2*h - y*h for h.
2
Let t be 2 + ((-4)/(-6))/((-1)/(-3)). Solve -t*s - 4 = -2*r, -r = -4*s + s - 4 for r.
-2
Suppose 154*p - 156*p + 8 = 0. Let x be (-74)/(-8) + 1/(-4). Solve 14 = -p*v - 3*h + h, -h = 3*v + x for v.
-2
Suppose -3*k = 2*k - 15. Let r(g) = g**2 - 1. Let c be r(1). Let h(i) = i**2 - 4*i + 1. Let o be h(4). Solve -k*f + o = 4*y, c*y + 14 = -y + 4*f for y.
-2
Suppose 5*o - 46 = -21