 4*s, -s + 7 = o*c for s.
5
Let q = 145 - 11. Let u = q - 129. Solve u*h - 4*v + 5 = -v, -h - 4*v - 24 = 0 for h.
-4
Let u be (-2 - (-66)/(-12))*-2. Let a be u/2*(-12)/(-30). Let t be ((-1)/a)/((-32)/96). Solve 3 = 3*w, -5*k - w - 13 = t for k.
-3
Let u be (0/1)/((-2)/(-1)). Let i be 20/14*(39 + (-2059)/58). Solve 5*y + 2*k - 18 = y, -y - i*k + 27 = u for y.
2
Suppose 0 = 3*k - 0*k. Let i = 23 - -11. Suppose i = 10*r + 4. Solve -l = -r*y + 5, 3*y - 17 = -k*y - 2*l for y.
3
Let g be 8/28 - (-220)/14. Suppose 0 + g = 2*i. Suppose -38 = 4*v - 38, -2*s = -v - 4. Solve 3*u = k + 14, -i + 2 = -s*u - k for u.
4
Let k = 22112 - 21990. Solve -5*o = -k*h + 118*h + 15, -2*o = -5*h + 6 for o.
-3
Suppose 0 = z - 9*z. Suppose 35*q - o = 31*q + 11, -4*o - 12 = z. Solve 1 = -3*r + w - q, 2*r + 3*w = -2 for r.
-1
Suppose -5*o + 32 = -3*j, 57*o = 54*o - 3*j. Solve 4*w - 2*w + 2 = -o*q, 25 = 2*w - 5*q for w.
5
Suppose 5*f - f = 4*z, 5*f - 3*z - 10 = 0. Let n(k) = -102*k - 204. Let q be n(-2). Let t be q/5 - (-9 + f). Solve -3*w + t*w - 2*j = -1, j - 8 = -2*w for w.
3
Suppose 0 = -p, 0*p - 846 = -3*i + 4*p. Let y = -272 + i. Solve -v + 3*k = -y, -5 = -3*v - 4*k - 1 for v.
4
Let j(o) = -13*o + 11. Let w(q) = 4*q + 1. Let r(h) = -j(h) - 3*w(h). Let x be r(16). Solve 15 = -f + 3*c + x, 0 = 4*f + 5*c + 1 for f.
-4
Let h = -2 + 4. Let z(c) = 2*c**2 + 2727*c + 16315. Let g be z(-6). Solve 15 = -3*y, -y - 2*y = -h*q + g for q.
5
Let j(d) = 3*d**2 + 8*d - 34. Let x be j(3). Suppose -5*c = -5*o + 5, -4*o + 9*o - c - x = 0. Solve 2*s + 4 = -o*p + 6, s = -3 for p.
2
Let l = 2376 + -1936. Solve -4*t - 439 = -k - l, 3*t - k = 1 for t.
0
Suppose 5*q - 2 - 18 = 0. Let d(m) = 7*m**3 + 3*m**2 - 6*m + 4. Let o be d(3). Let p = -200 + o. Solve k = q*k + p*j - 3, -3*k = 5*j + 6 for k.
3
Suppose 0*g - 2*g = w + 1, -2*g - 3*w - 7 = 0. Suppose -12*a + 7*a - 165 = 0. Let h be a/(-77)*7/g. Solve -7 = -x - 5*y, -h*x = -0*x + 5*y - 1 for x.
-3
Suppose -4 = w - 5. Suppose d + 27 = 4*d. Suppose 3*z - d = 27. Solve z = -4*u - 2*v, 0 = 3*u + 4*v - w + 5 for u.
-4
Suppose -42*j - 3*j - 14*j + 177 = 0. Solve -j*a + 2*x - 27 + 28 = 0, 5 = -3*a - x for a.
-1
Suppose -4*k + 2*i - 24 = 0, 2*i = 5*k + 4*i + 21. Let w be k - -6 - (-2 + 0). Solve 5*a = 2*g - 1, 0 = -a + w*g - 2*g - 2 for a.
1
Let l be (-3 + -2)*(-2)/2. Let a = 1806 - 1801. Solve 0 = -a*k - l*c + 15, k - 3*k = 5*c - 21 for k.
-2
Let q be -4 - (380/(-16)*1 - (-23)/(-92)). Solve -7*a + 4 = 4*j - 8*a, -2*j = -5*a - q for j.
0
Let g(f) = -185*f + 3351. Let t be g(17). Solve -t*q = z - 211*q - 1, -3*z + 3 = 5*q for z.
1
Suppose -5*l = 7 - 2. Let f be (0 - -2)*1 - l. Let o be ((-21105)/(-189) + -105)*(0 - 18/(-10)). Solve 0*a - f*u + o = 3*a, 5*u + 10 = a for a.
5
Let h = 321 + -321. Suppose 3*u + 5*q - 29 = h, 11 = u + q + q. Solve -2*j + 2 = 0, -l - 3*j = -3*l + u for l.
3
Let b(m) = -2*m**3 - 10*m**2 - 6*m - 1. Let r be b(-5). Suppose -r*l = -16*l - 39. Solve -2*v - 37 = l*v + 4*g, -3 = 3*v - 4*g for v.
-5
Suppose 5*b - 22 = -6*t + 3*t, -4*b = -2*t. Solve 4 = b*g, -2*g + 2 = -2*r + 12 for r.
7
Let b(g) = g**3 + 6*g**2 + g + 6. Let w be b(-6). Let u = -285 - -445. Suppose -341*o = -349*o + u. Solve 4*c + 2 = c + x, w = 4*x - o for c.
1
Suppose 4*m = -2*i + 318, -5*i = -i - m - 600. Suppose i = 4*h + 111. Solve -5*n + 2*o = o - h, -10 = -5*n + 4*o for n.
2
Let y = -219 + 381. Let r be 7/(147/y) + (-4)/(-14). Suppose 3*f - 25 = r*f, -n + 4*f = -28. Solve -2*d + 6*d - n = 5*o, -4*o + 2*d - 4 = 0 for o.
0
Suppose -48 = -5*l + 4*t, -2*l + 38*t - 43*t + 39 = 0. Suppose 0 = c + 3 - 8. Solve h + c*x - l = 0, -6*h + 2*h = -5*x + 2 for h.
2
Suppose 265 = 8*c - 239. Suppose -20*s + c = -17. Solve 24 = -4*i - 3*r, -i - s*r + 2 = 21 for i.
-3
Let g be -1*(-17)/(-7) + 2 + (-2660)/(-490). Solve -9*b + g*b + 2*f = -12, 0 = f + 4 for b.
1
Suppose -68*c + 121 + 50 - 35 = 0. Solve 23*n - 21*n = -c*j + 4, 0 = -n + j - 2 for n.
0
Suppose 3*v - 4*f + 238 - 247 = 0, -2*f = -2*v + 6. Solve v*d = -3*b, -4*b = -2*b + d + 1 for b.
-1
Suppose -5*x + o = 1281, -2*x - 215 - 303 = o. Let p = -252 - x. Solve -3*r = 4*l + r, -p*l = -2*r + 28 for l.
-4
Let k be (-1)/((-32)/(-240) + (-46)/120). Let z be 30/k*68/85. Solve 3*a - z*a + 10 = -2*c, 0 = -5*a + 10 for c.
-2
Let k(z) = -z**3 + 9*z**2 - 13*z + 4. Let a be k(6). Suppose a*u - 18 = 28*u. Solve -6*v + 3*v + 3*c + 3 = 0, -5*v = -u*c - 5 for v.
1
Let n = -20 - -38. Let o = -15 + n. Let h = -15 + 19. Solve -h*d = 4*g - 32, -8 = -4*g + o*d - d for g.
4
Let d = -2461 - -2499. Solve -3*k = 3*h - 30, -k - 5*h + d - 12 = 0 for k.
6
Let h be 22/((3/2)/((-2115)/(-60))). Suppose -42*g = 5*g - h. Solve 2*n + 3*o = -11, 3*n - o = -0*n + g for n.
2
Let v(w) be the second derivative of w**4/4 - 5*w**3/2 - 13*w**2/2 - 32*w + 4. Let b be v(-1). Solve y = -2*k + b, 0*y - 10 = 4*k - 2*y for k.
0
Let j(x) = -x - 7. Let f be j(-9). Suppose f = 3*d - 4. Suppose -350 - 1366 = -66*i. Solve 5*l = 6*l + 4, d*v = -5*l - i for v.
-3
Suppose 144*d - 149*d = -15. Let g be -2*d/3 - -4. Solve 3*y = -3*l - g*y - 7, l + 3*y + 5 = 0 for l.
1
Let v be (369/(-27) + 11)/((-5)/30). Solve 0 = 5*n - 2*w + 14, -44 = -4*w - v for n.
0
Suppose 3*c - 7 = 2*c. Suppose 5*b - 3*b - n = -132, 3*b = -n - 188. Let a be 1 + (-1)/(-2) + (-160)/b. Solve -5*h + 7*z = a*z + c, 14 = 2*h + 3*z for h.
1
Let i be 1/((-22)/(-10) + 7 + 12 + -21). Solve 2*o + 6 = u, 3*u = i*o + 6*u + 15 for o.
-3
Let z = -5358 - -5422. Solve 67*g - z*g - 5*w = 28, -5*g + 5*w + 30 = 0 for g.
1
Suppose 64 = 44*p - 139*p + 444. Solve -5*s + 7*s = -5*f - p, 2 = -2*s - 4*f for s.
3
Let c be (18/8)/((-3)/(-36)). Suppose -22*v = 86 + 24. Let u be (-42)/(-105) + (-98)/v. Solve 5*f + u = 0, 0*f = 5*o + 3*f + c for o.
-3
Suppose 415*v + 12 = 419*v. Solve 2*d + 1 = -o, -3*o + 6*o = v*d + 15 for o.
3
Let m(v) = -v**3 + 10*v**2 - 7*v - 10. Let u be m(9). Suppose 45*q - 35*q - 100 = 0. Solve z - 21 = 4*f, -4*f - q - u = 2*z for f.
-5
Let p(g) = 169*g - 1010. Let q be p(6). Solve w = 4*n + 4*w, 5*n = -q*w for n.
0
Let f = 74 - 72. Let x be f/(-20) - ((-4697)/(-70))/(-11). Solve 0 = -2*i + a - 0*a + x, 5*i + 4*a - 2 = 0 for i.
2
Suppose 7*l - 32 = 3*q + 6*l, 5*l - 30 = 2*q. Let a be 14/91 - (-386)/26. Let u = q + a. Solve 0*v - 5*v = -3*z + 6, 0 = u*z - 2*v - 10 for z.
2
Let g(t) = t**2 - 79*t + 1406. Let p be g(27). Solve -2*w - 18 = -4*h, h = p*w + 15 - 9 for w.
-1
Let u(o) = o**2 + 12*o - 37. Let p be u(-15). Suppose a + w = 3 - 1, w + p = a. Let g be (-28)/210 - (-2)/15. Solve g = -f - 5*q - 15, f - 14 = a*q + 1 for f.
0
Let l(w) = -31*w + 220. Let s be l(7). Solve 4*g - 5*d = -5, -7*g = -s*g - 3*d + 11 for g.
-5
Let n = 14172 + -14165. Solve n*x - 4*r = 10*x + 4, 4*x - r - 1 = 0 for x.
0
Let n = 51 - 48. Suppose m - 6*m + 4 = r, -12 = -2*m - n*r. Suppose -27 = -2*a - m*s + 3*s, -2*a + 21 = -s. Solve -p - 1 = -4*f - a, 5*p + 5*f + 35 = 0 for p.
-4
Let r be 0/(-2 - 14/7). Solve -4*a + 8 = r, 0 = k + 3*a - 4 - 2 for k.
0
Suppose 5*a + 39 = 5*u - u, u = -3*a - 20. Solve -3*j = -3*y + 4 - u, 4*j + 20 = 0 for y.
-4
Let j be (3 + (-728)/(-13))*(1 + 0). Let h = 127 + -71. Let r = j - h. Solve 0 = o - 6 + 1, -23 = -r*f - 4*o for f.
1
Suppose 0 = 2*t - 2 - 26. Suppose -2*w + t = -16. Suppose -15*y = -12*y - 15. Solve z = 2*i - 3*z + 8, 0 = -y*z + w for i.
2
Let o = 116 - 111. Let v be (1/1)/(8/48). Suppose -2*k + p - v = -5*k, -k = p. Solve 0 = -o*w - k*r + 1, -5*w + 5*r + 23 = -w for w.
2
Let c(k) = 169*k - 58*k - 60*k - 63*k + 2. Let v be c(0). Solve -n = 2*m - 0 + 1, v*m = 5*n + 17 for n.
-3
Suppose -4*i - 2*u + 25 = -u, -5*i = 3*u - 40. Suppose 0 = -i*f + f + 28. Suppose f*c - 10*c = -120. Solve -4*o - 2*g - 26 - 4 = 0, -5*o = 3*g + c for o.
-5
Suppose -16*s = -47 - 50 + 49. Solve 3*t - 6 = -4*z, -s*z + 4*z - t = 5 for z.
3
Let g(x) = 33*x + 4. Let z be g(3). Suppose -5*c + 200 = 5*u, -5*u + 4*c = -z - 79. Let m = 40 - u. Solve l = -i + m, 4*l + 0*l - 14 = -i for i.
-2
Suppose 35 = -49*c + 142 + 89. Solve -46 + 52 = -3*k, -x = c*k + 4 for x.
4
Let z = -34 + 18. Let a(f) = f**2 + 14*f - 34. Let r be a(z). Let u be (6/r)/(-5 + 4) + 1. Solve -3*i = -u*n - 4 + 7, -4*i - 4 = 2*n for n.
0
Suppose 5*k - 6 = 4*n - 26, -2*n + 4*k + 16 = 0. Suppose -2*g = -n - 30. Suppose 0 = -5*o - r + 24 - 1, 0 = 3*o + r - g. Solve t 