 = 3 - 1, -2*i + 5*t = -f for i.
0
Let n be (-10)/4*26/(-65). Suppose 17*p = 35 - n. Solve -3*o - 7 = -p*w, 5*w - 4 = 2*o + o for o.
-3
Let n = 52 + -47. Suppose -n*k + 3*y - 5*y - 4 = 0, -2*y = 4. Suppose -g = -k*g - 5. Solve -2*s = 4*v - s - 15, -g*s = 5 for v.
4
Let a be -1450*((-10)/25)/(4/5). Let x = a + -717. Solve 5*z - 8*z + 3*d - 3 = 0, 4*z = 3*d - x for z.
-5
Let z(t) = 1 - 4*t**2 + 11*t**3 - 10*t**3 - 7 + 5*t. Let g be z(3). Let b be ((-12)/(-5) + g)*5. Solve 2*l - 2*o = -b, 4*l + o - 5 + 14 = 0 for l.
-3
Suppose 0*f + 24 = 3*s + 3*f, -4*f = -3*s + 24. Let d be 4/26 + (s - (-22)/26). Solve -k - 5*j - 24 = 0, d*k + j = 4*k for k.
1
Let b = 256 + -252. Suppose -12 = -4*c - 4*t, 0 = -4*c + b*t - 14 + 10. Solve 2*p + 5 = -3, f = -p + c for f.
5
Let h(w) = 18*w - 82. Let a(v) = v**3 - 11*v**2 + v - 6. Let x be a(11). Let p be h(x). Solve 4*j = 2*f + 22, -p = 3*f - j + 10 for f.
-5
Let z = -3103 - -3107. Solve 0 = 3*i + 2*s - 21, -8*s = -z*i - 4*s + 8 for i.
5
Let b = -13289 + 13292. Solve 0 = -h - b*r - 26, h - 41 = -4*h + 4*r for h.
1
Let b(o) = 85*o**2 - 850*o + 6. Let p be b(10). Solve 4*d + 10 = 6*d, -w = d - p for w.
1
Let h = -2547 + 2553. Solve -3*o = 5*i - h*o + 2, 3*i - o = 2 for i.
2
Suppose 5*s + 17 + 43 = 4*u, -5*s + 100 = 4*u. Solve -2*c + u = -15*j, 4*c + 22 = -0*c - j for c.
-5
Let n = 4164 - 4121. Solve 5*y - 40*s - 43 = -n*s, -3*s + 18 = 0 for y.
5
Suppose -4*o + 4*r + 16 = 0, 3*o + 4312*r - 12 = 4316*r. Suppose -d - 69 = 3*m - 5*m, 0 = -5*m + 3*d + 171. Solve o*g - 5*j - m + 9 = 0, 5*g = 5*j + 30 for g.
3
Let u = -614 - -610. Let z be u/(-18) - (-728)/126. Solve -5*t - 4*o + 7 = -8, 2*t = -4*o + z for t.
3
Suppose j - 150 = -147. Suppose -j*g - 6 = 0, -5*o + 122 = 3*g + 33. Solve -2*t + 5*w + o = 0, t + 2*t + 5*w = -34 for t.
-3
Suppose -c + 3*f + 18 = 0, -4*c - 1 = -5*f - 31. Suppose 5*g = -t - 10, -2*t + 16 + 0 = -2*g. Solve t*r - 2*h - 1 = c, -2*r = -r - 2*h - 5 for r.
-1
Let t(h) = h**2 - 29*h - 129. Let k be t(33). Suppose -2 = b + k*r, -4*b + 2*r + 12 = 4*r. Solve 2*y - 3*c + 11 = 0, 0 = -b*y - 0*y - 4*c + 28 for y.
2
Let w = -53 - -57. Let u(z) = z**3 - 3*z**2 - 5*z + 2. Let r be u(w). Let h be r - (-24)/15 - 27/(-5). Solve -h*l + p + 1 = -2*l, 0 = -3*l + 2*p - 1 for l.
1
Let x(l) = 254*l - 1517. Let b be x(6). Solve -f + 20 = -3*z, f + 23 - b = -3*z for z.
-6
Suppose 64 = -14*a + 157 - 51. Solve 3*z + 4 = -r, -a*z - 42 + 8 = -5*r for z.
-3
Let w be ((-16)/(-12))/(-4)*-30. Suppose -a - a + 30 = -2*t, 2*a = 4*t + 28. Suppose -a = 4*r - 24. Solve -s + 5 = -2*s + 4*m, 4*m = r*s + w for s.
-5
Let x(p) = 3*p**2 - 191*p - 53. Let b be x(64). Solve 2*l = -4*a + 12, a + 8 - b = 3*l for l.
0
Let t = 574 - 571. Solve -t*g = -4*k + 3 + 5, -5*k + 10 = 0 for g.
0
Let l be -9*14/(-189) + (-26)/3. Let b = l - -13. Solve -b*x = 4*g, 5*g + 0*g - x - 29 = 0 for g.
5
Suppose -r + 0*r - 4*q = -22, 0 = -4*r + 3*q - 7. Suppose -3*x + v + 30 = -2*v, 2*v = -x + 10. Solve 2*h + m = 8, r*m - x = -3*h + h for h.
3
Suppose -3*c - 3*s + 12 = -30, c + 3*s - 24 = 0. Let t = -1296 - -1301. Suppose -4*f + 10 = -10. Solve -2*h + t*o = -f, 0 = o - 4*o - c for h.
-5
Let x be ((-4)/10)/(10/(-100)). Suppose -4*c - 1 + 9 = 4*v, -2*v + c = -x. Solve 2*z = -z - 2*f - 5, 0 = -v*f - 2 for z.
-1
Let v be 6*(-246)/2 + -5. Let x = -739 - v. Solve 5*d + 2*z + 23 = 0, -x*z = -2*z - 2 for d.
-5
Let y(w) = -w**3 - 17*w**2 + w + 19. Let u be y(-17). Suppose u*v + 30 = 3*j + 2*j, v - 15 = -5*j. Solve 4*m + 3*x = 4, 2*m + j = m - 2*x for m.
4
Let n = 18516 - 18512. Solve -47*z + 50*z = -d - n, -3*d = 4*z - 3 for z.
-3
Let z(u) = 4*u**2 + 14*u + 29. Let t be z(-8). Suppose 77 - t = -8*m. Solve -3*w = 3*y + 9, 3*y + m = -0*w - 4*w for y.
0
Let u(t) be the first derivative of -t**3/3 + 11*t**2 + 28*t - 28. Let n be u(23). Solve -n = 2*w - 3*x, x - 22 = -5*w - 3*x for w.
2
Suppose -43*r + 103 = 748. Let w be 228/30 + (-51)/r + -3. Solve -w = -2*y, 0*l = l + 4*y - 19 for l.
3
Suppose -30 = -5*p, -3*y + 58 = 2*p - 29. Solve 0 = 5*b + 2*j + 9, b + 20*j = y*j + 9 for b.
-1
Let f(s) = -s - 8. Let z(v) = -2*v - 2. Let d be z(3). Let x be f(d). Suppose x = -5*a - 3*b + 30 - 12, -1 = -b. Solve 0 = 3*g + 4*q - a, 3*g + q = -2*q for g.
-3
Suppose -130*z + z + 5474 = -10*z. Solve -z = i + y - 36, 0 = i - 4*y - 15 for i.
-5
Suppose 0 = -5*h + 2*h - 3*b - 528, 2*b = h + 176. Let d = h - -192. Solve 3*f - t - 28 = 3*t, 2*t + d = 2*f for f.
4
Suppose -3*o = -5*o + 504. Let z = -252 + o. Solve -5*x + 4*f + 17 = 0, 3 = x - f - z*f for x.
5
Let p(k) = -4*k**2 + 8*k + 145. Let u be p(7). Solve u*o - 15 = 2*q, 0*q = -2*q + 3*o - 13 for q.
-5
Suppose 5*g = -1513 + 1603. Suppose 62 = g*x + 8. Let b be (3/4)/(2/8). Solve -2*p - 6 = -m + b*p, 0 = 3*m - x*p + 6 for m.
-4
Let r = -8621 - -8624. Solve 0 = -4*g - 5*y, -y = r*g + g for g.
0
Let f = -46892 - -46896. Solve -5*n = 2*o - 17, n - 7 + f = 0 for o.
1
Let y(h) = -h**3 - 7*h**2 - 2. Let l be y(-7). Let r = 2 - 32. Let a be ((-1)/l)/((r/(-36))/5). Solve a*p - 6 = 4*t, 0 = -t - p - p + 4 for t.
0
Let t = -1629 - -1632. Solve 0 = f - 2*w - 10, 3*f + 6*w = 3*w + t for f.
4
Suppose -6*o = 4*a - 9*o - 24, -2*a + 12 = -5*o. Suppose 2*w = -t + a, -4*w - 4*t + 5 = -7. Solve -1 = -c - 3*p + 3, 2*p - 5 = -w*c for c.
1
Suppose 0 = 65*l + 675 - 805. Solve -l*s = -4*i - 12, -9 = 2*s - 2*i - 13 for s.
-2
Let z = 8102 + -8092. Solve 3*i = 4*i - 6*p - 7, 5*p = -z for i.
-5
Let s = 13316 - 13303. Solve -11*h = 3*d - s*h + 25, 0 = -4*d - 2*h - 10 for d.
-5
Let f = -12 + -44. Let r = 64 - f. Suppose -r = -9*x - x. Solve -3*u - x = -z - 6*u, 3*u - 21 = 2*z for z.
-3
Suppose -4 = c + z, -2*c + 3*c + 12 = z. Let k(y) = 224 + 3*y - 194 + 0*y. Let r be k(c). Solve 5*p = 3*g + 8, -r*g = 2*p - 2*g - 24 for p.
4
Let t be (4 + 2 - 21) + 19. Solve 0 = -2*u + t*n + 26, 2*u + 4*n + 6 + 0 = 0 for u.
5
Suppose -7*s - 54 = 2*s. Let m be 33*(-2)/s*2. Solve -2*i - i + 2*f = -19, -4*i + m = -f for i.
5
Let h be (-4 + 22/6)/(-19 - (-510)/27). Solve -k + 13 = -h*q, 0 = -k + q - 10 + 13 for k.
-2
Let f be -7 + 3*(-3 - (-5 - -3)). Let k = f + 15. Solve -2*v + 15 = -7*v - 4*b, -5*b - 20 = k*v for v.
1
Let b be -80*((-17)/(-4) - 6). Let c = -137 + b. Solve -6 - 3 = -c*g, 3*p - 3*g = -21 for p.
-4
Let r(g) = -3*g**3 - 11*g**2 - 4*g + 22. Let p be r(-3). Solve 4*w - 4*y = -p, -5*w = -8*y + 11*y + 20 for w.
-4
Suppose 0 = 3*c - 5*b + 4*b - 5, -2*b + 17 = 3*c. Suppose -6*p - 32 = -8*p - 3*s, -p = -c*s - 25. Solve -3*t - p = -2*z, -2*t - 20 = -0*z - 5*z for t.
-5
Let i(o) = -10*o + 123. Let f be i(20). Let n = 81 + f. Solve -5*y + 3*r - 14 = 0, 2*r + 2*r = n*y + 8 for y.
-4
Let s = -1997 + 2000. Solve -x = s*d + 2, -13*d + 3*x = -16*d for d.
-1
Let z = 23 + -15. Let l be (-108)/297*(-33)/6. Suppose 0*j = -l*j + z. Solve x + 3 = j*x + 4*i, 0 = -4*x - 3*i + 11 for x.
5
Let c be (-70)/(-20)*990 - -9. Suppose c = -8*b + 3530. Solve 4*x + 2 = -2*l, -5*x = 4*l - b + 2 for l.
5
Let p be (-134)/(-2211) - 260/(-66). Solve -y = n - 1, -3*n = p*y - 2*y - 3 for n.
1
Let n(x) = 10*x - 25. Let t be n(7). Let y = t + -32. Let p(k) = -k**2 + 14*k - 9. Let a be p(y). Solve -3*f - 7 = 3*v + 20, -3*f - a*v - 32 = 0 for f.
-4
Let t(i) = -i**3 + 5*i**2 - i - 4. Let p be t(3). Solve 0 = 5*v - 0*v - g - p, 2*v = 2*g - 2 for v.
3
Let r be ((-2)/3)/((-14)/63). Let i be (15*2/(-12))/(2/(-4)). Suppose 2*z - x + 6*x = 5, -i*x = z. Solve -3*h + z*d - 19 = 0, d - 8 + r = 0 for h.
2
Let x(m) = m**3 - 12*m**2 - 180*m - 187. Let c be x(21). Solve q - 12*o + c = -14*o, -2*q + 2*o = -8 for q.
2
Let g be (-3870)/120 + 2/(4*2). Let m = -30 - g. Let l = 7 - m. Solve l*v + 5*n = -15, 0*n = 2*v + 5*n + 21 for v.
2
Suppose -4 = -4*d + 3*c, -6*d - 4 = -10*d + c. Let j be (-102 - -102)/((3/d)/1). Suppose -3*b = b - 16. Solve j = t + 4*p + 2, 3*t - 11 = p + b*p for t.
2
Let y = 759 - 757. Solve 3*u = -4*g - u + 8, -4*g = y*u - 12 for g.
4
Let t be ((-196)/(15 + -29))/2. Solve p - 4*p = -n - t, 2 = 2*p for n.
-4
Let r = -26597 - -26602. Solve r*q = 2*b, 0 = 3*b + 3*q - 5*q for b.
0
Let x(w) = 3*w - 14. Let v be x(6). Let s(f) = 4*f**2 - 16*f**2 + f**3 + 7*f**2 + 4 + v*f. Let i be s(4). Solve 0 = -i*h - 2*n - 8, -5*h - n - 16 + 3 = 0 for h.
-3
Let c = -9 + 23. Suppose c*q = 7*q + 14. Let i(p) = 3*p**2 - 5*p - 3. Let x be i(-1).