j + n, -2*z = -g*z + 3 for j.
3
Let n be 24 + (-44 - -9) - -13. Solve -2 + 1 = -n*z + 3*l, -4*z - 3*l = 7 for z.
-1
Suppose 6*r + 20 = 7*r. Suppose 0 = -0*x - 4*x + r. Suppose 4*j - 5*j = 3*h - 14, -4*j + 73 = -x*h. Solve -3*v - 5*d + j = -10, -4*d = -12 for v.
4
Let t(d) = -2*d**2 + 28*d - 21. Let g be t(13). Suppose r = 33 - 23. Solve -g = y, -4*m + y - r = -m for m.
-5
Suppose -22 = 2*s + 5*x - 21, -5*s + 3*x + 13 = 0. Suppose -s*b - 3*u + 19 = 0, -u = u - 6. Solve -b*g = -15, 0 = -4*d - 0*d - g + 7 for d.
1
Let z be (38 - 44) + (-80)/(-8). Solve -28*r + 25*r + 2*x + 12 = 0, 4*x + z = -4*r for r.
2
Let z(o) = -23*o + 368. Let n be z(16). Solve 2*b - 12 = -2*i, n = 3*b - i - 6 + 8 for b.
1
Suppose -76*a - 14 = 71*a - 14. Solve a = 4*c + 3*u - 24, -3*u = -3*c - 0*u - 3 for c.
3
Let b(q) = -4*q - q**3 + 0*q**3 - 5 + 8 + 4*q**2. Let g be b(2). Suppose 52 = 3*z - 2*l, g*z - 2*l = -z + 68. Solve 2*y = 4*h + h + z, 3*h = -5*y + 9 for y.
3
Suppose -4*h - 20 = 324*t - 322*t, 0 = 3*h + 8*t + 119. Suppose -3*k - 2*k = -20. Solve -5*a = -2*a + k*g - 29, h*g - 30 = -5*a for a.
3
Suppose 709*j - 30 = 703*j. Solve 7*m - t = 5*m - j, m + 20 = -3*t for m.
-5
Suppose 18*u + 31*u - 735 = 0. Solve -3*m - 25 = 2*f - 3, -3*f = u for m.
-4
Let l be ((-8)/(-6))/(133/1197). Solve -4*a = 0, 9*p - 3*a + 9 = l*p for p.
3
Let b(i) = -i**2 - 8*i + 11. Let c be b(-6). Suppose 13*s = c*s - 70. Solve -3*a + 15 = 0, -s*h + 2*h + 3*a = 40 for h.
-5
Let y be 320/60 - (-7)/((-42)/8). Solve -4*b - 3*d - 4 = -3, 0 = -5*b + y*d - 40 for b.
-4
Let c(s) = -110*s + 54*s + 55*s + 39. Let p be c(37). Solve -18 = -i + 3*h - p, -h = -i + 8 for i.
4
Let p = -25566 + 25632. Solve p*r + i = 69*r - 4, 0 = 4*r - i - 4 for r.
0
Let z = 6381 + -6378. Solve p - 5*s + 9 = -12, p - z*s + 11 = 0 for p.
4
Let o(r) = 32*r + 24. Let x be o(3). Suppose -126*h = -x*h - 18. Solve -4*d + 1 = f, 3*f - h = 4*d + d for d.
0
Suppose 68 - 75 = -d. Suppose -d*s - 45 = -45. Solve s = -5*z + g + 9, -4*z - 3*g + 13 = 2*g for z.
2
Let s(o) = -4*o. Let a(z) = z - 1. Let x(w) = 5*a(w) + s(w). Let i be x(7). Solve 5*p = -i*q + 15, 6*q + 3*p = 3*q + 18 for q.
5
Let p = -104 + 106. Suppose -3*k + 10 = 2*k. Suppose -3*q + 2*q + 12 = p*v, k*q = v + 4. Solve -4*c + 12 = -i - q*i, 3*c + 26 = -5*i for c.
-2
Suppose 81*o - 86*o - 1120 = 0. Let x be (-15)/(-4) + 8/(o/21). Solve x*f = -9, 5*z + 26 = -7*f + 5*f for z.
-4
Suppose 110*q + 2079 = 119*q. Let k = q - 227. Solve -l - 4*i - k = 0, i = -5*l - 4*i - 5 for l.
0
Suppose 9*b - 23*b + 890 = 164*b. Solve -b*w + 4*n + 1 - 12 = 0, -4*n + 16 = 0 for w.
1
Suppose 0 = -4*s + 2*z + 22, -3*z - 1 = 14. Let o be (-1)/(-2)*16/4. Suppose -s*f = f - o*f. Solve 3*b - 12 = 0, 4*h - b + 16 + 8 = f for h.
-5
Let g be 9/(63/(-4))*49/(-14). Solve 4*l = 4*q - 24, g*l + q = 27 - 33 for l.
-4
Let z = 10 - 2. Let n(d) = d**3 - 23*d**2 + 117*d + 85. Let o be n(9). Solve -32 = 3*a + o*r, -r = z - 3 for a.
-4
Let b(p) = p**2 - 26*p + 164. Let h be b(8). Let f be h + -16 - (-3 - -3). Solve -f*m = -5*r + 28, -2*r + 3*r - 4*m = 12 for r.
4
Suppose -q + 4 = -4*h, 3*q = 2*q - h - 1. Suppose 28 + 8 = 4*l. Let v(n) = n**2 - 5*n - 31. Let x be v(l). Solve g - 3 = 4*k, -x*g - 31 = 3*k - q*g for k.
-2
Suppose -14*n - 1518 = -1616. Solve 0 = x + 4*x + 3*b - 2, 0 = 2*x - 5*b - n for x.
1
Suppose -3*l - 30 = -6*j + 4*j, -5*l + 3*j = 50. Let c be ((35/l)/(-7))/(2/8). Solve -c*q = -b, -q + 14 = -5*b - 4 for b.
-4
Suppose 18*h + 8*h = -25*h. Solve 5*v - 3*m + 14 = h, 8*v - 6*v + 8*m = 22 for v.
-1
Let d(j) = -2*j**3 - 15*j**2 - 8*j - 4. Let n be d(-7). Let r be 21 + n + (-6*1)/3. Suppose 16 = -4*h + 44. Solve 3*i = -2*s - 0*s - r, -3*i + s = h for i.
-4
Suppose -16*d = 1527 - 1687. Solve 0 = -b - 2*v - d, -35*v - 9 = -32*v for b.
-4
Suppose -36 = 7*c - 8. Let t be (c*1 + (-13)/(-3))*0. Suppose 3*s - 6 = s. Solve 2*d + 12 = 3*v - 2*v, d + v + s = t for d.
-5
Suppose -11*p = 35*p - 6164. Let h = 139 - p. Solve -5 = -5*o + 4*l, -4*o - 4*l - 27 = h for o.
-3
Suppose 0 = -4*b + l + 119, l - 26 = b - 2*b. Suppose 12*a = -2 + 199 + 223. Solve -3*i + 8*i + d + b = 0, -3*i - 5*d = a for i.
-5
Let q(u) = -100*u - 77. Let b be q(3). Let n = -374 - b. Solve -5*t - 4 = -n*t + 4*o, -3*o = 9 for t.
4
Let q be ((-108)/(-184) + 8/(-92))*90. Suppose 2 = -2*x + 10. Suppose -x*f = 4*u - 60, -q = -3*u - 3*f + 8*f. Solve 12 = i - 4*o - 3, -3*i = 3*o + u for i.
-1
Let q be ((0 - 0)/2)/1. Suppose 0 = -q*t + 3*t - 15. Let b be (-15)/(-225) - (-534)/90. Solve -3*z + 18 = -0*c + 3*c, t*c + b = 4*z for c.
2
Let n(g) = 4*g**2 - 36*g - 539. Let j be n(17). Solve 26 = 5*p - p - 3*v, -2*v - 2 = j*p for p.
2
Suppose -r + 184 = -5*l + 2*r, 0 = 4*r - 12. Let o = 62 + l. Suppose -3*c + o + 7 = 5*p, -5*p + 18 = c. Solve -3*s + 7 = z, -3*s + c*z = 3*z - 37 for s.
4
Let n(g) = 124*g**2 - 6*g - 5. Let a be n(-1). Suppose -m = -5*v + a, -6*m + 25 = -11*m. Solve -5*r = -4*x - v, -4*r = -0*x - x - 17 for x.
-1
Let r = 2236 + -2229. Solve -a = -4*s - 16, -3*a + r = -5*s - 20 for s.
-3
Let x be 2*2/(-4) - -5. Suppose -119*a = -128*a. Let s(z) = -z**3 - 19*z**2 + 2*z + 6. Let m be s(a). Solve -5*i - x*h + m = 14, 2*h = -4*i - 4 for i.
0
Let k = 16678 - 16668. Solve 82*r - 87*r - k = -4*x, 20 = 5*r + 2*x for r.
2
Let g be 1/(-2)*0/(-2). Suppose -4*o = -2*o - 24. Suppose 3*m - 3*h = o, -4*h = -2*m - m + 14. Solve -2*l + 1 = -l, g = -3*s - 5*l + m for s.
-1
Let a = 2387 + -2385. Solve -14*d + a*c = -13*d - 6, 8 = 2*d - 3*c for d.
-2
Suppose 0 = -5*g - 14*j + 12*j - 4, 4*j + 24 = -2*g. Solve 0 = -g*h - 10, 43*s - 30 = 44*s + 5*h for s.
-5
Suppose -44*t = -4*f - 45*t + 113, 0 = -f + 6*t - 3. Suppose 4*j - 2*u - 1 = -11, 5*u - 25 = j. Solve f = -2*z + 5*y, -4*z - y = -j*y - 1 for z.
-1
Let h = -44 - -75. Suppose 42*f - 47*f + 750 = 0. Suppose f*i = 146*i + 8. Solve 0 = -5*q - 3*v - v - h, -i*v - 2 = -2*q for q.
-3
Let j = 784 - 779. Solve 4*r - 22 = 2*m, -6*r + j*r + 2*m = -10 for r.
4
Suppose -270 = -4*c + 10*c. Let l = c - -47. Solve l*d + 3 - 8 = t, 0 = -t + 5 for d.
5
Suppose 59 + 33 = 46*k. Solve -10 = -4*l + 3*g, -18*g + 13*g + k = -2*l for l.
4
Let t(z) = z**3 - 10*z**2 - 10*z + 208. Let k be t(8). Solve -11*n + 6 = q - 8*n, -4*n + 12 = k for q.
-3
Let o(x) = -230*x - 1148. Let y be o(-5). Solve -4*s + 12*g - 10*g = -4, y = -2*s + 2*g for s.
3
Suppose s - 3*d = -3*s + 87, d = 2*s - 41. Let k be s/12*12/9. Suppose 4*c + k*c = 24. Solve -3*b + 3 = c*l, -4*l + 6 = -b + 3*b for b.
-3
Let b(j) = -51*j - 3415. Let p be b(-67). Solve n - p = -5*h, -h + 30*n = 35*n - 10 for h.
0
Suppose 0*m - 33*m + 66 = 0. Solve 0 = -4*t - 3*b + 5 + 5, -b - m = 0 for t.
4
Let l = -694 - -615. Let x = -77 - l. Solve 4*r - x*y - 15 = -3*y, 4*r - 45 = 5*y for r.
5
Suppose -29*u = -42*u - 42*u. Solve u = 2*z - 5*q - 33, 3*z = -2*q - q - 3 for z.
4
Suppose 5 = 3*a - 37. Let g = 375 + -371. Let z = -316 + 318. Solve t = 4*t + g*s + 2, z*t = 5*s + a for t.
2
Let h = -92 + 87. Let g(f) = 7*f + 39. Let q be g(h). Solve 0 = -4*l - l - 25, -5*l = q*i + 13 for i.
3
Suppose -d = -o + 2, 0 = -2*o + 4*d - 25 + 23. Solve -h = o*j + 1, j + 1 = -h - 3*j for h.
-1
Suppose 4 = 3*y - 5. Let b be 3/12*(-3 - -47). Suppose 0 = -2*z + 25 + b. Solve 4*j + y*n - n = 0, j - 4*n - z = 0 for j.
2
Let p(v) = v**2 - 26*v - 24. Let h be p(27). Let y be h + 0 + 15 + -16. Solve -5*i + 2*o = 25, 2*o = -y*o for i.
-5
Suppose -2*r + 351 = 345. Suppose -3*n - 2*d - 2 = -d, 0 = -5*n - r*d - 6. Solve -9 = -j + 3*f - 2, n = -j - 2*f - 13 for j.
-5
Let x = -1 - -1. Let a = -1667 - -1670. Suppose x*k = -a*k + 7*k. Solve v + 2 + k = 2*j, j = 3 for v.
4
Let q be ((240/55)/6)/((16/(-22))/(-4)). Solve 7*r - 2*r - 2*p + 21 = 0, 0 = -q*r + p - 15 for r.
-3
Let z be (446/32 + 68/1088)*(-2)/(-7). Solve -3*o = -z*g + 7, -4*o - 2*o = 3*g - 30 for o.
3
Suppose -3*i + 0*i = -9. Let h = -415 - -420. Suppose -2*x - b = -8, 2*b = -5*x - b + 22. Solve -i = -o + l, h = 3*o - x*l + l for o.
1
Let s be 93/18 - ((-105)/18 + 6). Suppose -4*y + 5 = -h, -2*h - 4*y + s*y + 4 = 0. Solve 2*p = -h*u - 3, p + 3 + 0 = -2*u for p.
3
Suppose 0 = 19*x - 30*x + 66. Suppose -3*h - x*m + 2*m + 9 = 0, 4*m = 0. Solve -2 - 2 = 2*t - 5*i, -3*i = -3*t + h for t.
3
Suppose t + 1104 = -11*t. Let f = -68 - t. Solve -2*k - 4*r = 18, 4*k - 4*r + f = -6*r for k.
-5
