 Let x be r(3). Let j be (2 + x)*(-4)/u. Solve 0 = j*i - 4*p - 18, 0*i = -i - p - 3 for i.
1
Suppose n - 3*n + 22 = 0. Suppose n*r - 7*r - 104 = 0. Solve 3*j = 4*z + j - 14, -z + 5*j = -r for z.
1
Let l(z) = -z**3 + 5*z**2 - z + 2. Let d be l(5). Let g be (3 + d)/(-2 - 0). Solve 0*n - 3*n + 22 = -5*q, g = 2*q - n + 9 for q.
-5
Let r(u) = 2*u - 8. Let w be r(7). Let b be 0/((-7)/((-14)/(-4))). Solve 4*g - 2*q - 4 = b, -g - 2*q - 6 = -w*g for g.
2
Let b be 168/90 + 2/15. Suppose b*z = -2*p + 12, -3*p = 4*z - 6 - 17. Solve -z*u + 20 = 0, -5*m + 7 = -5*u + 37 for m.
-2
Let y(q) = -q - 16. Let p be y(-18). Solve s + 2 = -3*n, 3*n - 2*n = -s - p for s.
-2
Suppose 3*y = y. Let g(h) = 2*h + y - h**2 - 2 + 5*h**2. Let c be g(-3). Solve c = 4*q + 3*v + 2*v, -4*q - 4*v + 24 = 0 for q.
2
Let p be 16/3 - (-8)/12. Solve -3*w + 0*x + 3*x = p, -w - 14 = 3*x for w.
-5
Suppose -5*s + s = -8. Suppose s*p = 7 + 1. Solve 0 = 2*u - p*g + 10, 5*u - 4*g = -6 - 19 for u.
-5
Suppose -w - w = -10. Suppose -h + 5 = -3*d, 0 = -h + 2*h + 3*d - w. Let u = 9 - h. Solve -u*g + 5*g - 7 = -k, 3*g - 27 = -5*k for g.
4
Let a(v) = -v**2 - 10*v - 3. Let c be a(-9). Let f(h) = -h + 6. Let j be f(c). Solve r + 2 = k + 3*r, j = r for k.
2
Let c be 5*(-1)/(2 + -3). Solve u + 4*u = -n + c, -4*u + 4 = -5*n for u.
1
Let h(w) = -2*w. Let u be h(-2). Solve u*o = -2*g - 6, 2*g - 5*o - 3 = 3*g for g.
-3
Let w = -22 - -27. Suppose w*t = -x - x + 9, x = -3. Solve 0 = 5*f - 5, -t*p + 5*f = 4*f - 14 for p.
5
Suppose 2*f - f = -5*q - 4, 0 = -5*q + 5*f + 20. Solve 0 = -t - q + 5, 3*t = 5*z + 5 for z.
2
Let k(a) = 2*a - 5. Let w be k(5). Let i = 9 + w. Solve 4*y + 2*o = 0, 0 = y + 5*o - i - 4 for y.
-2
Suppose 2*n + 3 = -1. Let z be (15/(-12))/(n/8). Solve d = -4*m - 8, 5*m = -0*m + z*d - 10 for m.
-2
Let y = 13 - 9. Let i = -12 + 32. Solve 2*h + 20 = y*a, 7*a - 3*a - i = 4*h for h.
0
Let p(v) = -3*v**2 - 6*v - 6. Let q be p(-4). Let z = -54 - q. Let h be (2 + z/9)*-3. Solve -3*f - 5*s + 17 = 0, h*s = -5*f + 4*s - 13 for f.
-1
Let w be 2*30/(-9)*-3. Suppose -w = -2*c - 0*c. Solve 2*u = 5*u - 2*i + c, 5*u = -2*i - 22 for u.
-4
Suppose 5*q - 1 - 14 = 0. Suppose -p + 2*f - 4 = 0, 5*p + 4 = q*f + 12. Suppose -13 = x - 5*z + z, 2*x + z = 10. Solve -x*m + 9 = h - 4*h, p*h - 3 = -m for m.
3
Let z be (-5 - -4) + -2*2/(-2). Solve -2*d - 28 = -5*q - d, q = -2*d - z for q.
5
Let x(n) = -1 + 6*n + 8 - 7*n**2 + 2*n**3 - n**3. Let j be x(6). Let w = -5 + j. Solve -3*d = -6, -8 + 0 = -w*l - d for l.
3
Let t = -23 - -27. Solve -5*a - t = 6*m - 3*m, -m - 4 = 3*a for m.
2
Suppose -4*a - 5*n + 5 = -a, 5*n + 25 = 3*a. Suppose -112 = -a*i + 3*k, 4*k - 25 = -i + 2*k. Solve 4*r + 7*x - i = 4*x, -5*r = -3*x + 5 for r.
2
Let w be (-4)/(-4 + (-39)/(-10)). Suppose 0 = -w*j + 41*j. Solve 3*i + 22 = -2*l + 6, 4*i - l + 14 = j for i.
-4
Let m(x) = 8*x + 1. Let r be m(4). Solve 5*q = -2*l - r, -3*l + 11 = -5*q - 2 for l.
-4
Let w(g) = g**3 - 3*g**2 - 6. Let s be w(4). Let f = -7 + 16. Let r = s - f. Solve -r = 2*j - 0*j + k, 0 = 3*j - 5*k - 31 for j.
2
Let v be (-2 - (-3 + 2))*-1. Suppose 80 - 8 = 4*b. Solve -4*u + 3*y - b = v, 4*y - 16 = 3*u for u.
-4
Suppose -t - t = 16. Let c(p) = p**3 + 9*p**2 + 8*p + 2. Let j be c(t). Solve 4*s = -2*v + 2, s + j*v = -2*v - 17 for s.
3
Suppose 0*l + 5*l - 10 = 0. Suppose 2*v = 3*y - 10, 3*y + 4*v - 7 = 9. Solve 8*x - y*x - 4*c = 0, l*c = 3*x for x.
0
Let i = 53 - 50. Solve 0 = -h + 3*c - 8, c + 8 = i*h - 0*c for h.
4
Suppose -g = 4*g. Suppose g = -5*d + 25 + 35. Solve -14 = -3*w - 2*q, 4*w = 2*q + 2*q + d for w.
4
Let d = 1 - -4. Solve 6*o = -5*t + d*o + 4, 3*t + o = 2 for t.
1
Let q be 3/(0 + -2 - -3). Suppose -t = -0*t - q. Suppose 2*i - g - 35 = 0, -t*g + 4*g - 73 = -4*i. Solve 2*o + 5 + 2 = -m, i = -4*m + 2*o for m.
-5
Let p = -19 + 41. Solve a + 6 = 5*q + p, -4*a - q = -1 for a.
1
Let o = 23 - 13. Solve 0 = -2*r - 10, 3*j - 3*r + o = 31 for j.
2
Suppose 4*f = -0*f - 12. Let j = 7 + f. Solve 0*g - 24 = j*w - 2*g, -w - 7 = -g for w.
-5
Let y(h) = 2*h - 8. Let m be y(6). Solve 2 + 10 = -m*r, -4*x + 4*r - 4 = 0 for x.
-4
Suppose -5*z = -z. Suppose -4*t = z, -3*k - t + 5 + 10 = 0. Solve 3*n - 7 = -k*o, n + 9 = 2*o + 4 for o.
2
Suppose 2*m + 4*l - 32 = 0, -m + 0*l = l - 14. Suppose -z - m = -5*z. Solve -z*s + 9 = -3*b, -4*b - 4*s - 24 = 4 for b.
-5
Let o be (3/6)/(2/12). Solve m = -o*m, 5*m = 4*a + 8 for a.
-2
Let t = 19 + -18. Solve m - t = -g, m - g - 1 = -5*g for m.
1
Suppose -30 = -3*u + f - 4*f, -u - 5*f = -30. Solve -4*y - 4 - 7 = 3*m, u*m + 27 = 2*y for m.
-5
Let i(b) = -b + 1. Let c(r) = 3. Let j(s) = -c(s) + 2*i(s). Let y = 6 - 8. Let q be j(y). Solve 5*f + 30 - 3 = q*a, -3*f = 3*a - 3 for f.
-3
Suppose -62 = -4*z - 22. Solve -3*m = -3*c + 21, -4*c - 3*m = -m - z for c.
4
Let s(n) = -n - 4. Let p(h) = h**2 - 6*h + 3. Let t be p(3). Let a be s(t). Solve -5*v + 2*i = -7*v - a, v + 9 = i for v.
-5
Suppose -4*s + 16 = 4*z, z = 2*s - 0*z + 1. Solve -2*y - 1 = l, s = -5*l + 4*y - 4 for l.
-1
Let w(q) = 2*q + 8. Suppose -12 = -5*a + 3*a. Let y be w(a). Let b = -7 + 11. Solve -b*h + h + y = -2*n, 0 = 5*h - 20 for n.
-4
Suppose -27 = -5*i + f - 4*f, 0 = 2*f + 2. Suppose -i*z + 48 = -2*z. Solve -c + 16 = -4*c + a, -4*a = c - z for c.
-4
Let c(d) = -d**3 - 4*d**2 + 3*d + 8. Let w be c(-5). Let l = -13 + w. Solve -4*k = l*j - 19, -1 = 4*k + k - 2*j for k.
1
Let o = 28 + -20. Solve 4*f + 12 = -4*a - o, 2*f + 20 = -4*a for f.
0
Let g(b) = b**2 + 5*b + 16. Let z be g(-6). Solve o + o + z = -4*t, 2*o + 2*t = -16 for o.
-5
Suppose 21 = 12*r - 39. Solve -r*h + 5 = -5*j - 5, -5*j + 14 = h for h.
4
Let o = 15 + 7. Let h be ((-1)/3)/((-1)/6). Suppose -c = h*d + d - 3, -5*d + 4*c + o = 0. Solve j + 2 = 2*a - d, -3*a - 16 = 4*j for j.
-4
Let c(h) = -2*h + 5. Let s be c(4). Let i be 2 - (-3 + 0 - s). Solve 3*b - i*b - 3*q = 13, 0 = b - 5*q - 21 for b.
1
Suppose -2*o + 46 = -0*o. Suppose -1 - o = -4*r. Solve -r = 4*u - 2*i, u + i = -0*u for u.
-1
Let y(z) = -3*z + 0*z - 3*z + 2 + z**2. Let m be y(6). Let w = -38 + 47. Solve -3*f = -4*o - m*f + 5, w = 3*f for o.
2
Suppose -95*d = -100*d + 135. Solve 0 = -4*o + 2*p - 33 + 9, 5*o - p + d = 0 for o.
-5
Let d be ((-8)/(-28))/((-3)/(-42)). Let u = -1 + d. Solve 0 = 5*v + 15, -2*v - u*v = -s + 10 for s.
-5
Suppose 0 = 5*o - o. Let u(f) = -2*f**2 - 12*f + 5. Let d be u(-6). Let q = d - 5. Solve -4*g + 7 = -o*y - 3*y, y + 1 = q for g.
1
Let r(h) = 4*h - 4. Let x be r(5). Suppose 2*w - x = -2*o - 2*w, -5*w + 10 = 0. Solve 5*c - 4*c = o*t - 8, -2*c - 12 = -4*t for t.
1
Let d = -9 - -21. Suppose -d*o = -9*o. Solve -g + o = -2*u + 5, 0 = g + 4*u + 5 for g.
-5
Suppose -15 = -g - 12. Let t(b) = b**2 + 2. Let c be t(0). Solve 2*o - m = 6 - 3, -g = -3*o + c*m for o.
3
Let p(z) = -z**3 - z**2 - 2*z - 4. Let m be p(-2). Suppose 5*y - 2*b = 2 - 0, -6 = 5*y - m*b. Solve -4*n - 4*k + 0*k = -20, 0 = n + y*k - 10 for n.
0
Suppose -x + 11 = -5*q, q + 13 = -4*x + 2*q. Let l = 1 - x. Solve -l*j + 2*j = -4*d + 20, -j - 2 = d for j.
-4
Let a be 2 - ((-11)/(-6) - (-1)/6). Solve -n - 2*t = -7*t - 12, -5*n - t - 18 = a for n.
-3
Let u = -26 + 31. Solve s - 13 = 3*r + 2*s, -r = 5*s - u for r.
-5
Let m = 6 - 4. Let s(a) = 3*a. Let z be s(-2). Let y = z - -6. Solve 0 = 3*x - m*d - 5, -x + y*d = 3*d + 2 for x.
1
Suppose -2*y + 3 + 1 = 0. Suppose -3*v + 4 = d + y, 0 = -2*d - 5*v + 4. Solve 3*t + d*j = -t, j = t for t.
0
Let g = -2 + 1. Let c be g/5 - (-22)/10. Solve -2*t + 4 = -2*n + 12, 10 = -4*t - c*n for t.
-3
Let f(b) = b. Let w be f(6). Let q be 1/(-2) - (-27)/w. Solve 25 = 5*h - q*i, 5*h = -5*i - 10 - 10 for h.
1
Let c be (21/6)/((-1)/(-14)). Let j = 22 - -47. Let a = j - c. Solve 0 = 5*p - p + a, -t + 24 = -4*p for t.
4
Let j = -9 + 11. Let g be -2 + 0 + 9 + -2. Suppose -g*k = -j*k - 6. Solve 0 = 3*z - 4*l, -k*l - 10 = -5*z + z for z.
4
Let g = -36 + 41. Solve 10 = g*x + 5*o, -1 = -4*x + 2*o - 23 for x.
-3
Let q(m) = -m**2 + 7*m - 3. Let c be q(6). Suppose 4*b + 32 + 0 = 2*k, 2*b - 2*k + 18 = 0. Let s = c - b. Solve 5*x - s - 20 = 5*z, -z - 2*x + 3 = 0 for z.
-3
Let s(c) = c**2 + 7*c + 2. Let j be s(-7). Solve 2*u + j = 2*n, n + 8 = -u - u for n.
-2
Let o be ((-4)/(-3))/((-22)/(-33)). Solve 4*q - o*j = -16, -2*q - 2*j + 0 - 2 = 0 for q.
-3
Let q be (-4)/(-6)*-3 + -15. Let b = q - -12