a + 4*a + 3 for a.
-1
Let s(w) = -488 + 498 - 4*w + 5*w. Suppose -3*r = -0*d + 4*d + 17, 3*d + 18 = -3*r. Let l be s(r). Solve 2 = -l*o - 1 for o.
-1
Let k = 1 + -1. Let a(x) = -x**2 + 5*x - 3. Let y = 13 + -11. Let i be a(y). Solve i*w + 3 + 9 = k for w.
-4
Suppose -4*i + 3 = -5. Solve i*z + 4 = z for z.
-4
Suppose 0 = -v - 4*v + 15. Suppose h = 11*h + 6*h. Solve 0 = -v*f - h + 6 for f.
2
Let j be 0*((-3)/2 - -1). Suppose 4 = -4*n, r + n - 3 = -r. Suppose r*c - c - 2 = j. Solve -c*p - 6 = p for p.
-2
Let l = 116 - 114. Solve 3*o = o - l for o.
-1
Let z(i) = -i**2 - i + 2. Suppose -5*l + 15 = -4*f + f, -5*l - 25 = 5*f. Suppose -4*p - 4 + l = -4*u, 0 = -u - 4*p - 4. Let g be z(u). Solve g*h - h = 0 for h.
0
Let v = -16 - -31. Suppose -m - m = 2*p + 10, 3*p = -v. Solve -i + 1 - 3 = m for i.
-2
Let b(g) = -g + 5. Let w be b(5). Solve w = 2*a - 2 - 2 for a.
2
Let u be 14 + -4 + -3 - 3. Let m = -5 + 6. Solve -u = -h - m for h.
3
Let i be -3*(-4)/24*4. Suppose 4*m + 4 = -0, -i*o - 4*m = -4. Solve -o*u + 9 = 29 for u.
-5
Let s = 11 + -3. Let j = 8 - s. Solve j = 2*a + a + 9 for a.
-3
Suppose -20 = 4*t, t + 2*t + 78 = -3*o. Let k be o/(-6) - 1/(-2). Solve -g = k + 1 for g.
-5
Let r be (-238)/(-170) + (8/(-10))/2. Solve 0 = 5*t + 14 + r for t.
-3
Let x(j) = -j**2 - 5*j - 1. Let s be x(-3). Suppose 6*r - s*r = 0. Solve -3*z + 1 - 7 = r for z.
-2
Suppose 5*z + 13 = -2*s, 3*s = 3*z + 22 + 11. Let j = -33 + 39. Solve -j = -3*w + s for w.
4
Let f be ((-6)/(-7))/((-18)/(-84)). Suppose 5*m - 18 = -q + 3, -3*m = -12. Solve 7 = f*o - q for o.
2
Let h(q) = -q - 2. Let x be h(-4). Let v be (6/18)/(2/12). Suppose v*b - 4 = x. Solve b*s = 4*s + 3 for s.
-3
Let d be 1*(4 - (4 - 0)). Solve 2*x + d*x = 0 for x.
0
Suppose -3*k + k + 12 = 0. Suppose 2*r = k*r - 48. Solve 4*l = l + r for l.
4
Suppose -4*d + 4*r + 13 = d, 5*d + 4*r = 37. Let l = 8 - d. Solve l = -5*s + 2*s for s.
-1
Suppose -6*j + 10 + 14 = 0. Solve -j*t = -3*t + 2 for t.
-2
Let h be (-2)/4 - (-2)/(-4). Let c = 4 + h. Suppose 0 = 3*f - u - 2*u + 9, 0 = -f - 4*u + 22. Solve f*o = -c*o - 10 for o.
-2
Let l = 6 - 6. Suppose 5*q - 16 = 3*q. Solve l*a + 4*a = -q for a.
-2
Let y = 31 - 28. Solve -1 = -y*o + 2 for o.
1
Let i be (0*2/(-6))/(-2). Solve x = -i*x - 1 for x.
-1
Suppose 4*a = 4*z - z - 9, -2*a + 4*z = 12. Suppose 0*d - 2*v = -2*d + 6, 0 = 5*d + 2*v - 22. Suppose 5*u + 20 = a, -2*f + u - d + 16 = 0. Solve f*y = -y for y.
0
Let i(x) = x**3 - 6*x**2 + 3*x + 4. Let j be i(5). Let a be (-2)/(-3) + (-8)/j. Let z = 2 - a. Solve z*w + 10 = -2*w for w.
-5
Let t = -5 - -6. Let s = t - 1. Suppose 3*z + s = -9, 3*v = -4*z - 6. Solve 0 - 6 = v*y for y.
-3
Let x = 5 - 3. Suppose -4*f + 60 = -4*s, 0*s + 4*s - 24 = -3*f. Suppose 0*q - x*m = -2*q + f, 4*q + 3*m = 17. Solve -q*r + 3 + 2 = 0 for r.
1
Let z be (-25)/(-5) + -2 - (-2)/2. Solve 0 = -2*d + z for d.
2
Suppose -5*l - 14 = -34. Let j(f) = -8*f**3 - f**2 + 2*f**3 + 5*f**3 + 0*f**2 + 6. Let p be j(0). Solve -l = -2*u - p for u.
-1
Suppose 2*y = -10, -k = -4*k - 2*y - 10. Suppose k*g = g + 5*q + 9, 0 = -4*g - 2*q. Let d be (-1)/(-2)*36/6. Solve d = o - g for o.
4
Let i = -10 + 26. Let s = -10 + i. Suppose -2*j = -s*j + 8. Solve 2 - 8 = j*m for m.
-3
Suppose 0 = 4*w + w - 10. Solve -a = -2 - w for a.
4
Let l(f) = -f**3 - 6*f**2 + 5*f - 2. Let m be l(-7). Let h(k) = k**3 + 3*k**2 + 3*k. Let b be h(-2). Let v be b/(-5) + 2/(-5). Solve 3*a - 6*a - m = v for a.
-4
Let u(o) = -9*o - 1. Let t be u(-2). Let y(q) = -q - 1. Let z be y(2). Let k = 1 - z. Solve -3 = k*w + t for w.
-5
Suppose 3*g - 4*u = -2*u - 4, -2*g - 21 = -5*u. Let w = -8 - -11. Suppose -3*z + l + 19 = -z, 2*z - 17 = w*l. Solve 0*k = -g*k - z for k.
-5
Suppose -4*g - 5*z = -0*z - 18, 0 = -3*g - z + 8. Solve 0 = -g*w + 5*w + 12 for w.
-4
Let x = -21 + 26. Solve 2 = x*a + 7 for a.
-1
Let x(b) = 3*b + 5. Let m be x(-1). Solve -m*c + 0*c = 0 for c.
0
Suppose -k + 2 + 4 = 0. Let p(z) = z**2 - 4*z - 7. Let l be p(k). Let o be (-2)/(-5) + 8/l. Solve 3*c = 5*c - o for c.
1
Suppose -9*m = -4*m - 150. Suppose 0*p = p + m. Let b = p + 50. Solve 0 = 2*l + 3*l + b for l.
-4
Suppose 0*x = x - 6. Let u be (x - (-3)/(-1)) + -1. Suppose u*t - 4 = -0*t. Solve -t*d - 4 = -d for d.
-4
Suppose 0 + 6 = 2*t. Let h(k) = 2 - t + 3*k**2 + 0*k**2 - k. Let v be h(-1). Solve 4*a - 19 = -v for a.
4
Let u be 24/14 + 2/7. Solve u*x + 2 + 0 = 0 for x.
-1
Let k(t) = 3*t - 4*t - 2 - 1. Let u be k(-6). Solve 4 = -u*o + 1 for o.
-1
Let b be (-6)/(-9)*6*1. Solve -b*g + 2 = 10 for g.
-2
Let b be (-4 - -4)/(3 + -1). Solve -3*q = -b*q for q.
0
Suppose 0 = q + 4*q. Solve q = 3*m + 2*m - 5 for m.
1
Suppose -24 = -2*a - 3*g + g, 3*a - 3*g - 6 = 0. Solve 2 = 3*l - a for l.
3
Let f = 2 - -1. Suppose 3*u + c - f = 0, c + c + 6 = 0. Let l(q) = -q**2 + 7*q - 2. Let j be l(6). Solve -j*g + u = -6*g for g.
-1
Let z be (-3)/((-5)/(-50)*-6). Solve -8 - 7 = -z*h for h.
3
Let m = 3 - 3. Suppose m = 2*c - 4*c. Solve -5*d + 5 = -c*d for d.
1
Let q(p) = -p**3 + 9*p**2 + 12*p + 3. Let l be q(10). Let a be 2 - 0 - (-2 - -2). Solve -l = -5*w + a for w.
5
Let j = -59 + 95. Let v be 2/(-9) + 80/j. Solve 6*s = v*s - 4 for s.
-1
Let x(h) = 2*h - 9. Let q be x(7). Suppose -q*j + 44 = b + b, 5*j + 3*b - 46 = 0. Solve j*p = 3*p for p.
0
Let r = 7 + -2. Suppose -t + 15 = 3*d, 0 = 3*t - 3*d + r - 2. Suppose t*m + 0 = 6. Solve 0*h = m*h - 6 for h.
3
Let n = 32 - 27. Solve -w - 1 = -n for w.
4
Let x = -4 - -6. Solve x*r + 2 = 10 for r.
4
Suppose 7 = 3*d + 1. Solve p = d*p - 1 for p.
1
Let o(i) = -5 + 4 + i**2 + 2. Let z be o(1). Solve z*y - 3 = 5*y for y.
-1
Suppose 5*z + 4 = 3*m + 7, -m + 10 = 2*z. Suppose -4*n + 8 = 4*j, -2*n - 4 = -z*n - 2*j. Solve n = 2*o + 2 - 10 for o.
4
Let o(i) = 8*i - 16. Let h be o(3). Solve -v + 5*v = h for v.
2
Suppose -3*q = -0*q + 12. Let x = 1 - q. Suppose z - x*z + 12 = 0. Solve 6*d = z*d + 15 for d.
5
Suppose -5*o - d + 22 = 0, 4*o - 2*d - 32 = 2*d. Suppose 0 = -8*n + o*n + 27. Solve 3*z - 3 = n for z.
4
Let i(j) = j**2 - j + 1. Let v be i(2). Let p = -1 + v. Let d be (-2 + (3 - 1))/(-1). Solve 2*x + 2 + p = d for x.
-2
Suppose 11*i = 15*i. Solve i = -3*h + 2*h - 2 for h.
-2
Suppose 2*k = c - 26, 0 = 3*c - 6*c - 2*k + 54. Solve -5*u = -0*u + c for u.
-4
Suppose -4*y + 2*k = -45 - 37, 0 = -y + k + 20. Suppose 0 = -2*p + y + 47. Let g be p/8 + 2/(-8). Solve -16 = -4*a + g for a.
5
Let l = 15 + -11. Suppose 0 = -4*s + l*a, -2*s + 1 = 4*a - 5. Solve 7 = 2*m + s for m.
3
Let y be (-29)/(-2) - 2/(-4). Solve 0*x = -5*x + y for x.
3
Let w(c) = -6*c**3 - 2*c**2 + 1. Let j be w(-1). Suppose 3*k - 4*k - 1 = 0, -q - 2 = j*k. Suppose -q*o - 3 = -9. Solve -6*r = -o*r + 16 for r.
-4
Let k be 13 - 2 - (0 + 2). Let j(g) = g**2 - 8*g - 1. Let n be j(k). Solve n = 2*t - 0*t for t.
4
Suppose -2*c + 3*c - 2 = 0. Solve -c*y + 4 = 2 for y.
1
Let p(k) = -k**2 - 4*k - 2. Let g be p(-2). Let w be ((-1)/(-2)*g)/1. Solve -a - w = -3 for a.
2
Suppose 0 = -9*z - z. Solve z = -4*q + 6 - 2 for q.
1
Suppose -9*j = -14*j. Let b be 1/1 - (j + 0). Solve 4 = -5*l - b for l.
-1
Let c(u) = 2*u**2 - 2*u - 2. Let h be c(2). Suppose h*p - p = 3. Solve -x - 1 = p for x.
-4
Suppose -38 + 8 = -3*n. Let y(i) = -i + 5. Let x be y(5). Let t be (-8)/36*(-45)/5. Solve x = t*v + 3*v + n for v.
-2
Suppose 4*i - 7 - 5 = 0. Solve 7*f - i*f = 0 for f.
0
Let a(g) = g**3 + 5*g**2 - g - 3. Let r be a(-5). Suppose -3*w + p = -11, 9 = 5*w - r*p + 5*p. Solve w*b = b for b.
0
Let y(q) = 3*q. Let m be y(2). Let k(j) = -j**3 + 14*j**2 + 15*j + 2. Let p be k(15). Solve -m = p*u - 0 for u.
-3
Let c be (4/(-10))/(3/(-30)). Suppose 0 = 5*q - 39 + 9. Solve c*x + 6 + q = 0 for x.
-3
Suppose -2 + 5 = g. Let j be g/1 - (2 - 5). Solve 2 + j = -2*m for m.
-4
Let a = -17 + 17. Solve 2*t + a = -4 for t.
-2
Let a be 0 + 2 + (-4 - -4). Solve -g = a*g + 3 for g.
-1
Suppose -3*s + 29 = 6*p - p, 2*p + 4 = 4*s. Let r(n) = 3*n**2 - 3*n + 2. Let g be r(3). Solve v = -p*v + g for v.
4
Let h be 0 + (1 + -31)/(-2). Suppose 0 = 3*b - x - 1 - 11, 0 = -5*x - h. Suppose 0 = -b*d + 3*v + 12, -2*d - 10 = 2*v - 2. Solve w + d = -4 for w.
-4
Suppose 8*p - 124 = -4. Let y be -1*(-1 - (-2)/(-1)). Solve -y*n + 6*n = -p for n.
-5
Let j = 16 - 16. Solve -5*g - 4 + 14 = j for g.
2
Suppose -2*p + 22 = -2*h, -5*p - 5 = -0*h + h. Let a = -6