- s. Solve 2*j + t + 4 = h, -j = -s*j - 2*t - 3 for j.
-1
Let o(i) = 255*i**2 - 2288*i - 9. Let d be o(9). Solve 0 = 4*u - 8, d*u + 33 = -5*m + 58*u for m.
-5
Let u = 77 - 82. Let p be (2 + -1)*u + 12. Suppose -4*h = p*l - 2*l - 40, 4*h - 4*l = 4. Solve -s + 19 = -h*v, -3*v - 4 = -4*s - v for s.
-1
Let q = 601 - 597. Let p = 148 - 135. Solve 0 = -2*a + a - 2*x - 1, x = q*a + p for a.
-3
Let v(j) = 2*j**2 + 41*j + 68. Let b be v(-20). Suppose -46*z = -b*z + 6. Solve -t + d = -6*t - 6, 2 = -5*t + z*d for t.
-1
Suppose 0 = 1342*h - 1463*h + 363. Solve 0 = -h*t - q - 4, 0 = -45*t + 48*t - 4*q - 16 for t.
0
Suppose -3*z + 12*r = 14*r - 33, z = 5*r - 6. Suppose z*h = 21 - 3. Solve 5*l - 5*c + 10 = 0, -l + h*c = -c for l.
-3
Suppose -6*m + 8*m - 12 = 4*t, 5*t - 4*m + 24 = 0. Solve -5*j + 4 = 3*k, t = -4*j - 0*j + k - 7 for j.
-1
Suppose 2*n + 3*u + 3 = 0, -5*n - u + 4*u = -24. Let i be ((-531)/36 + 13)*2/(-42)*0. Solve -4*l - n*q - 32 = q, i = -2*l + 4*q + 8 for l.
-4
Let v be (-29 - 7608/(-264)) + 145/11. Solve -3*n - n = 5*s + v, s = -5*n - 11 for s.
-1
Let p(i) = 2*i**2 - 9*i + 5. Let u be p(8). Let w = 96 - u. Suppose 5*n - w = -2*n. Solve 4*o - 2 = n*r - 1, 3*r - 1 = 2*o for r.
3
Let c(b) = b**2 + 31*b + 181. Let h(u) = u**3 - 4*u**2 - u - 24. Let v be h(0). Let k be c(v). Solve 3*l - 17 = -y, -3*l = -5*y + k - 0 for l.
4
Suppose 0 = 13*m + 64*m + 142373. Let h = -1844 - m. Suppose 7*z - 2*z - 10 = 0. Solve z*f - 5*y = -0*f + 3, -f + h = y for f.
4
Suppose 2*h + 18 - 4 = -s, 5*s = -2*h - 14. Let d(n) = -n**3 - 8*n**2 - 3*n + 6. Let u be d(h). Let g = 24 + u. Solve 0 = 4*z, t + g*z = z - 3 for t.
-3
Let k(c) = -8*c**2 + 300*c - 147. Let v be k(37). Solve 3*b - v = 4*n, 7*n - 4*b = 3*n - 4 for n.
2
Let d(a) = 3*a**2 - 49*a + 27. Let j be d(21). Let o = 325 - j. Solve o*s - 5*p = 2 + 5, 5*s = 4*p + 2 for s.
-2
Let r be (-220)/(-14) - 6/(-21). Suppose 0*c - 3*c = 24, -3*c - 4 = 4*y. Suppose v = y*v - r. Solve v*t - 10 = 2*l, l = -l + 2*t - 8 for l.
-3
Suppose -5*q + 3*q = -558. Let c = -279 + q. Let l(s) = -s**2 + 5*s - 2. Let y be l(3). Solve 0 = -o + v + 7, c = -v - 1 - y for o.
2
Suppose z + 5*f = 2*f + 5, -3*z + 15 = -4*f. Suppose 0 = -2*w - z*s + 18, -2 = -w - 0*s + s. Solve 4*j = w*y - 20, 3*j = 2*y - 0 - 15 for j.
-5
Suppose 2*z + 5*a - 20 = 0, 7*z - 5*z + 12 = 3*a. Let l = -7 - -12. Solve z = -x - 1 - 3, l*d - 3*x = 17 for d.
1
Let g = 1410 + -1405. Solve 2*t - 2*f + 2 = 0, -5*t - 67*f = -68*f + g for t.
-1
Let f = 122 - -42. Suppose 160*y = f*y - 20. Solve -2*k - y*i = 31, -3*k - 14 = -5*k + 4*i for k.
-3
Let f(j) = -35*j + 177. Let w(y) = 1. Let g(k) = -f(k) + 6*w(k). Let c be g(5). Solve -5*p = c*s + 11, -4*p + s - 11 = 2 for p.
-3
Suppose 4*m = 2 - 6. Let z be 9/(-3) - -5 - m. Suppose -y - 3 - 7 = -3*d, 0 = -z*d - 3*y + 30. Solve -f = d*h - 2*h, 5*f - 2*h = -17 for f.
-3
Let y(q) = q. Suppose 5*m + 4 = 19. Let z be y(m). Suppose -4*c - 100 = 4*n - 136, -c + 2*n = 3. Solve -2*d = -z*p + 7, -2*p - 7 = c*d + 1 for d.
-2
Let n = 215 + -197. Suppose n*i = 8*i + 30. Solve -3*g - 6 = 0, -i*a + 5*g = -8 - 2 for a.
0
Let o be (17 + -26)*7*1/(-3). Suppose o*w = 15*w + 12. Solve 4*v - 4*d = 0, -4 = 3*v - d + w for v.
-3
Let n(m) = 2*m**3 - 13*m**2 - 4*m + 16. Let d be n(7). Suppose -t + 29 - 5 = 5*x, -3*x = 6. Let i = d - t. Solve 0 = i*p + 5*q - 22, 2*q - 3 = -5*p + 2 for p.
-1
Suppose -16*i - 330 = -22*i. Suppose 0 = 3*s + s - 120. Let z = i - s. Solve -3*b + 9*a - 4*a = z, -10 = -5*a for b.
-5
Suppose 3*c - 5374 + 5374 = 0. Solve -5*n - 4*h + 32 = c, 2*n + 2*n - 13 = h for n.
4
Suppose 2*p = 3*k - 29, 60 = -9*k + 14*k - p. Solve -3*s - 5 = 4*a, 3*a = -s - k + 3 for a.
-5
Let n(a) = 2*a - 7. Let u be n(6). Let i be ((-132)/(-187)*17)/4. Solve -2*s = 2*d - s + u, 3*d + 15 = -i*s for d.
0
Let k be (-808 + -6)/(3 + -1). Let y = 414 + k. Solve 5*w + 5 = 3*h, 0 = 4*h + 4*w - y*w - 14 for h.
5
Let b be (-4)/(-4 - 4)*(6 + -6). Suppose 9*u + 76 - 121 = b. Solve -3*m = -u*m + 5*v + 12, -v - 6 = -4*m for m.
1
Suppose 15*w = -2*w + 51. Suppose 4*u = -j + 8, -2*j + 7*u + 4 = w*u. Solve -4*i - i = j*p - 15, 4*p - 21 = i for i.
-1
Let v(q) = -11*q + 121. Let z be v(0). Let x = z - 118. Solve 0 = 5*n + x*c - 13, 4*c - 6 = -2*n + 3*c for n.
5
Suppose 4*x + 2 = 46. Suppose -3*o = x*o - 42. Suppose -2 = 2*r + 4*i, 15 + 25 = 5*r - 5*i. Solve -9 = -2*j + o*d, -r*j - 2*d + 10 = -j for j.
3
Let q(x) = -2*x**3 + 132*x**2 - 374*x - 247. Let v be q(63). Solve -3*w - 5 = -z, z - 9*w = -v*w + 6 for z.
2
Let n be (-3 + (-4 - 392/(-48)))*6. Solve -47*b + x = -48*b + 3, -b = -x - n for b.
5
Let z = 132 - 130. Suppose 5*q = 3*g - 2, 0*g + z*g = -5*q + 18. Solve 5 = v, 7*x - 5*x - q*v = -2 for x.
4
Let h be 7 + (9 + 47 - 0). Suppose h - 303 = -10*i. Solve 0 = 3*m - 3*s - 2*s + i, -12 = -4*s for m.
-3
Let t be 243/(-7) + 14/(-49). Let z = t - -38. Solve z*p - 15 = 4*r, -25 = p - 6*p - r for p.
5
Let f be (16/10)/((-784)/(-980)). Solve 1 = -4*o + 3*u, -10 = f*o - 3*u - 11 for o.
-1
Let q be 135*(-770)/1485*(-9)/21. Solve y - 4*f + 10 = -y, -y - 5*f + q = 0 for y.
5
Let l be ((-30)/(-70)*7)/(1 + 2). Solve 2*a = 3*k + 5, l = -2*a + 3*k - 2*k for a.
-2
Let s = 6412 - 6376. Solve -3*v - v = 4*y + s, 4*v + 32 = -3*y for y.
-4
Let p be 5/(-7*6/(-84)). Suppose 129 = p*h - 71. Solve 5*t - h = 2*o, t - 2*o - 12 = -2*t for t.
4
Let d(h) = 62*h**3 - 2*h**2 + 1 - 4*h + 3*h - 64*h**3. Let w be d(-1). Solve -2 = -a + v, a + w*v = -0*a - 1 for a.
1
Let o be 9/27*(1 - -8) + -1. Suppose 4*k + 4*i = 36, -47 = -k + 2*i - 44. Solve 3*p - o*d + 0*d + k = 0, -3*p = 3*d - 3 for p.
-1
Suppose -12*x = -20*x + 16 - 0. Solve 4*m + 25*n + 26 = 23*n, x*m - 2 = 4*n for m.
-5
Let z be (-8 + -4)/((-18)/27). Suppose -10*v - z = -16*v. Solve 2*a + 6 = 6*a + n, -3 = 3*a - v*n for a.
1
Suppose -8*k + 9*k = -3*u + 366, 2*u + 4*k = 254. Suppose -u + 166 = 9*q. Solve 5*m = -2*j + 3, q*m + 0*m = -3*j + 7 for m.
-1
Let z(l) = 555*l - 2216. Let k be z(4). Let o be 3*(0 + 1 - 0). Solve o*u - n = n + 17, k*u - n = 21 for u.
5
Let x = 127 - 69. Suppose -2*o + 36 = -3*v, -4*o - 2*v + v = -x. Solve -5*k = 5, -4*z + 8*z - 3*k - o = 0 for z.
3
Let q(m) = 6*m - 15. Suppose 4*z - 4 - 9 = o, 0 = -5*o + 4*z - 1. Let p be q(o). Solve -p*t + 2*c = -7*t - 26, 3*t - 2*c + 2 = 0 for t.
-4
Let y = 10515 - 10512. Solve -7 = y*v - m, 5*v - m = -8 - 1 for v.
-1
Let d = 128 - 115. Suppose -d*u = -7*u - 30. Solve -2*v - 3*j + 12 = -u*v, 4*v + 3*j = 12 for v.
0
Suppose 54*n + 42 = 56*n. Let b be (-119)/n - -10 - (-2)/3. Solve -2*h + 2*v + 4 = 0, -5*v = b*h - 26 - 14 for h.
5
Let w = 2552 - 1528. Let p = w - 1023. Solve 29 = -4*k - 5*j, -k - 3*j - p = 15 for k.
-1
Suppose 0 = 4*p - 86 + 22. Suppose p*u + 89 = 233. Solve 5*q = -a - 3 - 0, 5*q = 2*a - u for a.
2
Let c(z) = 30*z + 542. Let x be c(-18). Solve -8 = l - 5*v, 2*l - 12*v = -16*v - x for l.
-3
Suppose -2*y = 2*z - 8, -7*z + 4*z - 2*y + 12 = 0. Let d = -141 - -137. Let t be d + 11 + 1/1. Solve -2*r - t = 0, z*l = -3*r + 9 - 29 for l.
-2
Let z(x) = -2*x**2 - 139*x + 3155. Let d be z(18). Solve 3*r = -5*h + 9 + 2, 0 = 3*h + d*r - 13 for h.
1
Let u(a) = -71*a + 1001. Let z be u(14). Solve -6 = 2*p - l, -2*l + 11 = -z*p + 4*p for p.
-1
Let k(t) = 3*t**3 - 2*t + 1. Let u be k(1). Suppose 3*f - 80 = -u*f. Suppose f*l - 9*l - 14 = 0. Solve -l = n, 6*n - n = 4*z - 2 for z.
-2
Let v = 4698 - 4689. Solve 7 = t + p, 37*t - 34*t = 3*p + v for t.
5
Let n(x) = -6*x - 108. Let r be n(-17). Let k be (1*r)/((315/(-10))/21). Solve 3*w = 5*a - 10, 0 = -0*w + 3*w + k*a - 8 for w.
0
Let r(d) = d**3 + 45*d**2 + 3*d + 140. Let z be r(-45). Solve i = 2*t + z*i - 6, -8 = -2*i for t.
-5
Let r(u) = -57*u + 142. Let p be r(-7). Let w = 544 - p. Solve 0 = -m, 20 = 5*t + w*m - m for t.
4
Let z be -5 + 0 - (-4 + 34). Let o = z + 45. Solve m = -5*a + 21 - o, -4 = -2*a for m.
1
Suppose 6*o - 79 = -3*p - 64, -o + 2*p = 0. Solve -6 = o*u + 13*x - 12*x, 0 = -2*u - 3*x - 14 for u.
-1
Suppose 0 = -101*k + 130*k - 145. Solve u - 18 - 2 = k*r, -2*u - 12 = 3*r for r.
-4
Let a(g) = 61*g - 273. Let j be a(5). Suppose -6*y + j = 2. Solve -2*q + 7*q + 5*c - 10 = 0, 0 = 2*q + y*c - 1 for q.
3
Let m(p) = 3 - 5 + 12*p + 3 + 3. Let u be m(2). Solve 4*n + 3 - 6 = -z, 4*z + u = 4*n for n.
2
Suppose 3*d + 9*o - 105 = 4*o, -15 = 5*o. 