 4*s + 13 for s.
3
Let x = -1 - -4. Let z = -1304 - -1307. Solve 5*j = x*v + 1, 4*v + z*j = j - 10 for v.
-2
Let g(d) = -d**2 + 39*d - 198. Let y be g(33). Solve t = -3*a - 2*t + 9, y = -5*a + t + 9 for a.
2
Suppose 2*h + 82 = 3*l + 47, h = 5*l - 49. Solve 2*w + 2*y - 5 = -l, -4*y = -3*w + 8 for w.
0
Suppose -2*u - 4*t + 3 = u, -5*u + 16 = 3*t. Suppose -a - 16 = -u*a. Suppose a*y + 0*y - 108 = 0. Solve -4*i + 3*j - 4 = -1, -5*i - 4*j - y = 0 for i.
-3
Let d be 3 + (15 - -4) + 2. Let w = -19 + d. Suppose g - w = -2*k + 4*g, k + 5*g = 9. Solve -k = p + p + 3*x, -x = 0 for p.
-2
Suppose 141 - 117 = 12*c. Solve 2*p + b - c*b - 1 = 0, 3 = -p + 4*b for p.
1
Suppose 0 = 8*b + 7 - 23. Suppose 3*z - 2*m - 32 = 8, -m = 5*z - 71. Solve 0 = s - 5*o + z, -b*s + 7*s + 24 = 2*o for s.
-4
Let f be -3 + 7 + (-37 - -41). Solve -2*q = -f, -m - 4*m = 2*q - 28 for m.
4
Let i = -35 + 38. Suppose 5 = -5*z, i*n - z - 2*z = 15. Solve -t + 6 = -3*t, -t = n*g - 9 for g.
3
Let s be 1/(-3)*(42/(-7) + -3). Solve -3*f + 12 = s*z, 2*z - 2 = -3*f + 11 for z.
-1
Let j(h) = -11*h + 300. Let t be j(27). Solve -11 = d - t*o, o - 7 = -2*d - d for d.
1
Let z(k) = 2*k + 60. Let w(v) = -v - 60. Let q(h) = 4*w(h) + 3*z(h). Let d be q(32). Solve d*m - p - 14 = -3*p, -4*m - 5*p + 17 = 0 for m.
3
Let s = 2 - -1. Suppose -x + s*x = 2*m + 14, -4*m = -x - 8. Suppose 9 - 9 = -6*i. Solve i*u + x = 3*u - 2*g, -5*u = -g - 20 for u.
4
Suppose 7*l - 12*l = -15. Solve 0 = -5*q + 5*c + 20, 4*q - 2*c + l*c = 11 for q.
3
Suppose -12*x = -10*x - 8. Solve -g + 0*w + x*w = -9, 4*g + 4 = -4*w for g.
1
Suppose 38*r + 9 = 85. Solve 2*k = r*p, p = -4*k - 0*p + 15 for k.
3
Let t(g) = -g**2 + 2*g + 51. Let i be t(-6). Solve 5 = -x + p, -3*x - i = -6*x - 3*p for x.
-2
Let k(r) = 5*r - 133. Let m be k(27). Solve m*t = 4*n - 4, 0 = n - 0*t + 2*t + 4 for n.
0
Let v(n) = -40*n + 1. Let d be v(-1). Let m = d + -39. Solve -r = h - 10, -4*h + 25 = -h + m*r for h.
5
Suppose h = 9 - 7. Suppose -h + 17 = 3*s. Let z = 8 - s. Solve -2*r - 6 = 2*l, -8 = -z*l + 7*l for r.
-1
Let f be 2*(-11 + (21/(-6) - -3)). Let n(g) = g**2 + 25*g + 48. Let w be n(f). Solve 2*h - 5 = 3*p, 0 = 2*h - 5*p - w - 5 for h.
1
Suppose -7*o + 8 = -6. Let g be 0*(-2)/(-24)*4. Suppose w - 2*w + 20 = g. Solve n + w = -5*b, -3*n - 2*b = o*b + 27 for n.
-5
Let m be ((-4)/7)/(8/(-196)). Let y be (-48)/(-28)*m/4. Solve -12 - 2 = -5*q - 4*s, 0 = 4*q - 2*s - y for q.
2
Suppose 3*h - 109 = -4*g, -h - h = 4*g - 106. Let i be -5*(55/g - 3). Solve -i*j - 30 = 3*r - 8*r, 2*j - 5*r = -20 for j.
-5
Let w = 58 - 55. Suppose 5 = -w*l + 4*l. Solve 0 = k + 3*i + 12, -l*k = -4*i - 22 - 13 for k.
3
Let a be 72/(-30)*(-10)/3. Suppose -2 + a = q. Solve -6 = -2*y - 2*u, -3*y - u + 11 = -q*y for y.
-2
Let m = -1591 + 1596. Solve 2*b + 3*q - 6*q = -13, -b + 26 = m*q for b.
1
Let y be (-1)/1 + 9 + (-12)/3. Solve -a - 5 = y*a + 5*j, a = 4*j + 24 for a.
4
Let j be (-36)/(-234) + 48/26. Solve -4*y = j*x - 5*x + 5, 3*y + 5*x - 18 = 0 for y.
1
Suppose -13*r = -38 + 12. Solve 7 = 5*z - p, 3*z + 8 = 4*z + r*p for z.
2
Suppose 36 = 5*g - 4*r, 13 + 11 = g - 5*r. Solve 4*f = g*y - 24, -3*y + 4*f + f = -22 for y.
4
Suppose 62*u = 86*u - 72. Solve -5*b - 5*a = -25, 0 = -u*b - a + 6*a - 25 for b.
0
Let r be ((-260)/(-78))/(2/21). Solve -u + 22 = -5*s + 7, 5*s + r = -3*u for u.
-5
Let f(t) = t**2 - 4*t - 8. Let i be f(6). Suppose 2*s - 20 = -s + b, 0 = -i*s + 4*b + 40. Solve 5*z - s*c + 12 = -8, -2*c = 2*z for z.
-2
Suppose 0 = -0*a + a + u, 3 = -2*a - 3*u. Suppose -2*i = a*k - 62, 0*k + 5*k = -2*i + 98. Solve -6*m + m + k = -2*z, 0 = 3*z + 3*m - 15 for z.
1
Let d = 23 - 20. Suppose 3 = 4*b - d*q, -4*b - 3*q = -1 - 20. Let n be b + -2*(-3)/6. Solve 4*c - 6 = 2*m - c, 4*m + n*c = -12 for m.
-3
Suppose -2*k = i + 2*i + 8, 0 = 5*i - k + 9. Let z be -19*1 - 8/i. Let a be (36/z)/(9/(-30)). Solve y = s, 4*s = -3*y + a*s + 2 for y.
-2
Suppose -2*k = -z + 7, 0 = 4*z - 5*k - 3 - 19. Solve r + 13 = -z*u, -2*r = 2*u + 2*r + 22 for u.
-3
Let r be (-4)/(-10)*(-140)/(-14). Solve -5*v - r*s = 0, -v = v - 5*s for v.
0
Let v(q) = q**2 + q - 6. Let o be v(2). Solve -4*u - 4*k - 32 = o, -2*u - 13 = 4*k + 13 for u.
-3
Suppose -c + 123 - 104 = 5*k, 2*k = 5*c + 13. Solve -x + 1 = m, -m + k*x - 5 - 4 = 0 for m.
-1
Let v = 18 - -2. Suppose 0 = 2*o + 3*o - v. Suppose -7*i + 2*i - 5*h = -25, o*i = 3*h + 13. Solve 5*b + d = -10, -2*d = 5*b - i + 19 for b.
-1
Let o be (3 - 0) + 33 + -33. Solve 3*s - 12 = -s, s = -o*d + 15 for d.
4
Suppose 0 = -6*s + 128 - 20. Suppose 0 = s*a - 17*a. Solve a = -t - 5*w - 25, -3*w = -t + 2*t + 15 for t.
0
Suppose -8*n = -3*n - 25. Suppose 3*b + 0 = 3. Let f = 3 - b. Solve j - f*v + 11 = v, 5*j - 5*v + n = 0 for j.
4
Let n(b) = -63*b + 7*b**2 + 74*b - 4*b**2 - 10 - 4*b**2. Let v be n(10). Solve 7 = -v*h + 4*h - 5*o, 4*o + 2 = 2*h for h.
3
Suppose -6*m - 254 = -3*m - 4*v, -3*m + 5*v = 259. Let n = m - -96. Solve 0*r + n = 4*s + 2*r, 3*r = -4*s + 23 for s.
2
Let p = 2 + 1. Suppose 18*n - 2*r = 23*n + 3, 4 = -r. Let w be 1 - ((p - 6) + n). Solve -3*v = j - w, 5*j + 0 = -15 for v.
2
Let n be 15/2*(-5 - 27/(-5)). Solve u + n*c = 3*u + 18, 0 = -3*c + 12 for u.
-3
Let d be (27/(-6))/((-33)/88). Solve 0 = 4*h + 2*b + 8, 0*h - h + 2*b - d = 0 for h.
-4
Suppose -48*m = -41*m - 21. Solve p = m*l + l + 7, -5 = -p + 2*l for p.
3
Let v = -17 - -24. Let x = -202 - -207. Solve h - v = -2*h + 2*o, -x*o + 20 = 0 for h.
5
Suppose 2*x + 17 = 116*m - 111*m, -4*x + 1 = -3*m. Solve 0 = x*h + 3*d - 3, -2 = 2*h + h - 2*d for h.
0
Let n(v) = 19*v + 213. Let x be n(-11). Solve 16 = -5*r - 5*z - 14, x*r - 5*z = 12 for r.
-2
Let p(y) = 3*y**2 - 2*y - 1. Let m be p(-1). Let i(a) = 5*a. Let d be i(2). Suppose -m*h = -9*h + d. Solve 3*b + 4*g = -7 + 16, -h*b + 3*g - 11 = 0 for b.
-1
Suppose 15*d = -2*d + 85. Solve -16 = 2*h + w - 5*w, d*h - w = -4 for h.
0
Suppose 0 = z - 24 + 20. Solve -z*v - 12 = -c - 9*v, -c = -3*v + 4 for c.
2
Suppose 58*o - 48 = 46*o. Solve 0 = -o*t - 3*y - 15, -y = 2*t - 5*y + 2 for t.
-3
Suppose -1574*w = -1587*w. Solve 2 = -2*z, w = 8*p - 7*p + z + 2 for p.
-1
Let g be (-18)/(-3)*-6*(-2)/4. Suppose -13*x - 50 = -g*x. Solve -3*j - 3*l - 2 - x = 0, 4*j = 4*l for j.
-2
Let m(n) = -n**2 - 10*n + 13. Let u be m(-11). Suppose 0 = -q - u + 17. Let l = -15 + q. Solve 5*w - w + 2*t + 18 = l, 4*t = 3*w + 19 for w.
-5
Let m(a) = -2*a. Let x be m(-1). Let z(b) = 4*b**2 + b + 2. Let u be z(-4). Suppose 0 = u*k - 59*k - 9. Solve -3*l + 18 = k*f, -5*l = -x*l - 12 for f.
2
Let z(p) = -p**2 - 7*p - 16. Let i be z(-6). Let v = i + 15. Solve -3*x - 13 = -h, -2*x + 6 = v*h - 8 for x.
-3
Suppose 0 = -4*s - 2*w + 26, 6 = -3*s + 3*w + 3. Let m = 27 - 21. Let r be m/10*(1 + s). Solve -20 = 2*v - 4*x, 3*v + 6*x - r*x = 6 for v.
-2
Let a be (-8*1)/4 - 280. Let d be ((-4)/12)/(2/a). Let f = d - 23. Solve 2*g + 2*o = -16, 2*g = -3*o - o - f for g.
-4
Let q(c) = -5*c - 36. Let l be q(-8). Suppose -4*v + 5 = -3*o - 5, -l*o = 4*v + 4. Solve m - v = -4*r, 0*r + 3*r + m - 1 = 0 for r.
0
Suppose 16 = 37*o - 33*o. Suppose -2*s = 2*m - 26, 8 = s - o*m - 0*m. Suppose 4*h - s = 8. Solve 2*q + 8 = -3*w, -h*q + 5 = -0*w - 5*w for q.
-1
Let q = -14 + 14. Let g(h) = 3*h - 42. Let w be g(14). Solve 4*b - 21 = n, 3*n + 2*b + q*b + 7 = w for n.
-5
Let t(z) = -3*z**2 + 3*z**2 + 0*z**2 + 11*z - z**2 - 1. Let g be t(12). Let q = 16 + g. Solve -2*f - 4*w + w = -9, -q*w + 24 = -3*f for f.
-3
Let q be 64/(-6)*(-621)/92. Let s be 27/(-6)*(-32)/q. Solve -6 = -f - c, s*f = -f - c + 10 for f.
2
Suppose -28*w + 0*w = -4*w. Solve b - 11 = 4*b - 2*l, w = l - 1 for b.
-3
Let y be (4/(-12))/(31/(-15) - -2). Solve -y*o + 3*r = -13, -o - 2*o + 7 = -r for o.
2
Let a(q) = 2*q**3 + 41*q**2 - 22*q - 19. Let l be a(-21). Solve -y = -5*n - 25, 17 = -3*y - l*n + 7 for y.
0
Suppose 4 = -5*l + 19. Suppose -f = -5*f + 8. Let d be ((-60)/(-18) + (-1)/3)*1. Solve 4*h + 21 = y, 0 = l*y + f*y + d*h + 10 for y.
1
Suppose -12*k + 7*k = -15. Solve -2*g + 5*q - 10 = k*g, 2*q - 4 = 3*g for g.
0
Let c = -458 - -463. Solve 0 = 3*l - 0*t + t, -10 = 5*l + c*t for l.
1
Suppose -f + 2 - 1 = 0. Let c = f + 5. Suppose -8 - 10 = -c*r. Solve 7*x = 2*l + r*x, 5*x - 10 = 0 for l.
4
Suppose 0 = 4*f - 11*f - 56. Let l be 2/(f/(-12)) + 2. Suppose -2*v = l*x + 14, -3*v + 2*x + 29 = -