 i, 4*c - 2*b + 21 = -c for c.
-5
Suppose 0 = -7*p, 6*t = 5*t + 3*p + 3. Solve a - 5*a - 3*y - 23 = 0, 0 = -4*a + t*y + 7 for a.
-2
Let n be (-3)/(-9)*((-180)/70)/((-2)/7). Solve -n*w - 13 = -2*c, -2*c + 4*w = -3 - 13 for c.
2
Suppose 0 = 4*m + 3 - 23. Suppose -b - 11 = -m*g, -g = -5*b + 3*b - 13. Let a be (-4)/b*(-8 - -11). Solve a*n = -4*k - 10, -k + 2 + 0 = 2*n for k.
-4
Let p = 6304 + -6289. Solve 4*z + 23 = 3*t, -65*t = 5*z - 66*t + p for z.
-2
Suppose n + 0 + 43 = 0. Suppose 0 = -1001*s + 1004*s - 138. Let f = n + s. Solve 2*i = -2*a, 8*i + f = -3*a + 4*i for a.
3
Suppose -179*l + 266*l = 136*l - 245. Suppose 3*p - 5*h + 1 = 0, p - 4*p = 2*h - 13. Solve -l*v - p = -o, -v - o = v - 3 for v.
0
Let k = -122 - -160. Let z(i) = i**3 - 37*i**2 - 37*i - 35. Let c be z(k). Solve 6 = 3*g - 6, -c*g = -2*a - 10 for a.
1
Let d(b) = b**2 + 9*b - 10. Let l be d(-11). Let k = l + -12. Suppose -3*u = -3 - 12, k = -3*w + u + 10. Solve -37 = -w*g - 4*h, -3*g + 27 = -0*h + 4*h for g.
5
Let h(v) = -1878*v - 3716. Let i be h(-2). Solve 4*m = -3*j - i + 37, -5 = 5*j + 4*m for j.
-1
Suppose 31*y = 26*y + 70. Let t be 22 - y - ((3 - 2) + 4). Solve -5*d + t*a = -18, 0 = 3*d - 3*a + 2*a - 10 for d.
3
Let u be 2 + (-4)/(12/(-117)). Let c be 0/(u/13 - 42/273). Solve -3*t + 17 = -4*j, c*t = -j + 3*t - 2 for j.
-5
Let y = 130 - 127. Suppose -l - y = -2*c, -10 = -8*c + 5*c - 4*l. Solve k + 4*f + 13 + 4 = 0, -c*f + 14 = -4*k for k.
-5
Suppose -9*o - 1841 + 1877 = 0. Solve 0 = 4*z - 2*c, -11*c + 8*c = -o*z + 2 for z.
-1
Suppose 0 = 31*n - 9*n - 8*n - 56. Solve -k + 11 = -5*c, n*k + 3*c - 4*c - 25 = 0 for k.
6
Suppose 7*t - 20 = -6 + 14. Solve 5*v - 2 = -2*f + t, -v - 2 = 2*f for v.
2
Suppose -121*u + 1972 = -1053. Let c(w) = -w**3 + 15*w**2 + 17*w + 4. Let a be c(16). Solve -3*l - x = a, 2*x + u = -3*x for l.
-5
Let w(q) = -q - 4. Let b be (1/(-1))/(7/63). Let a be w(b). Suppose 4*p - 8 = -2*r, 3*r = 3*p - a*p + 4. Solve 4*g - 12 = p*s, -3*s - 2*g + 6 = -s for s.
0
Suppose -106*b + 176 = -62*b. Solve b*r + 14 = h + 22, -2*r + h + 4 = 0 for r.
2
Suppose 3*y + 2*y - 930 = 0. Suppose 87*b = 89*b - y. Suppose -f = -2*v - 34, 5*f = 4*v + b + 47. Solve 4*k + 4*j = f, -5*k - 4*j + 33 = 6 for k.
3
Let d(v) = 3*v - 11. Let q be d(4). Suppose 0 = 6*m - 33 - 57. Let u = 23 - m. Solve 0 = -2*o + 3*g - u*g + 14, 0 = 5*o + 4*g - q for o.
-3
Let m(v) = 3*v**2 - 690*v + 691. Let g be m(1). Solve -12*j = -4*c - 10*j, -28 = -g*c - 5*j for c.
2
Let w = -159 - -184. Suppose -2*l = 3*l - w. Solve l*c + q = -15, -3*q + 10 = -5*q for c.
-2
Suppose 6*h = 17*h. Suppose s + 4*b - 9 = h, 3*s - 5*b - 56 = -12. Solve o = 4*v + s, -o - v = -3*o - 2 for o.
-3
Suppose 2*r + 5*t - 48 = 0, 2*r + 1272*t - 1271*t = 16. Solve -3*f - 8 = b, 3*b + 16 = -5*f + r*b for f.
-3
Let u be -7 + 3 + 1 + 13 + (1 - 7). Solve 0 = q + 5*d - 29, 0 = 2*q - u*d - 0*d + 26 for q.
-1
Suppose -15*a = -1951 + 1891. Suppose g - 6 = -g. Solve 0 = 5*w - g*p - 0*p - 5, -4*p - 28 = a*w for w.
-2
Let s be (-12)/(-15)*(-975)/78. Let n be (-150)/125*s/3. Solve 5 = -3*f + 2*v - 1, -n*v = -f - 12 for f.
0
Suppose 25 - 13 = 12*q. Let g be (1 - q)/(46 - 49). Solve u - 2*u = a + 8, -a - 4 = g for u.
-4
Suppose -241 = -175*s + 14*s + 242. Solve -5*q + s = 70*g - 67*g, -2*g - 20 = -4*q for g.
-4
Suppose 4*k = k + 30. Suppose 10*i - 63 = 7*i + 8*s, -7 = i + 2*s. Let o(b) = 2*b**2 + 2*b + 2. Let z be o(-2). Solve -3*a = 4*h - 7, -i*a = -h - k*a + z for h.
1
Let r be 1/(-3)*((-5 - -5)/6)/(-2). Solve 4*x + 8 = -r*x + 4*j, -5*x + j = 14 for x.
-3
Let x be 0/(2 + 1)*(-299)/1495. Solve 2*v + 5*t - 27 = x, 10 = 11*v - 6*v + t for v.
1
Let z = -27 - -46. Suppose 4*i + i + 6 = 3*h, -4*i + 4 = 2*h. Suppose -25 = 2*x - 3*x - 5*q, i = -x - 2*q + 13. Solve -x = 2*k + 5*l + z, 5*k + l = -14 for k.
-2
Let m(q) be the first derivative of 2*q**2 + 223*q - 91. Let v be m(-54). Solve 4*g + 0 - v = -5*u, 0 = 4*g + 3*u - 9 for g.
3
Let j = 27557 - 27532. Solve j*m + 2 = 23*m - 4*n, 0 = -3*m + n + 11 for m.
3
Let j(s) = -2*s**2 - 1500*s + 4. Let l be j(0). Suppose -5*b + 5 = 4*y, 3*y - 4*b - 37 = -2*y. Solve -l*m + y*w - 6 - 2 = 0, -4*m - 8 = -4*w for m.
-2
Let c(a) = 59*a + 156. Let k be c(-13). Let b = k + 614. Let r(d) = -d**3 + 5*d**2 - 4*d + 3. Let x be r(4). Solve x*f = b*g + 27, f + 5 = -4*g - 6 for f.
5
Let r be (-94)/(-32) - (-378)/6048. Solve 45*j - 48*j = -2*i + 4, -2*i - r*j = -4 for i.
2
Let z(j) = 2*j**2 + 17*j + 14. Let t be z(-8). Let a be ((-2552)/(-22))/(t - 2). Solve -a = k - 5*p, 9 = -k + 3*p - 2*p for k.
-4
Suppose c - 3*c + 24 = 0. Suppose 5*w + c = 3*p - 8, -3*w - 5*p - 12 = 0. Let x be ((-120)/(-36))/(w/(-6)). Solve 0 = 2*s - y - 8, 0 = 2*s - y + x*y + 2 for s.
3
Let n(v) = v**3 - 2*v**2 - 6*v - 7. Let j be n(7). Let y = j + -118. Let t = 80 - y. Solve -o - o - 1 = 3*s, -o + t*s = 4 for o.
-2
Let z(a) = 2*a + 12. Let m be z(-5). Suppose o - 7 = -0*o. Suppose o*k - 4*k - 6 = 0. Solve -b + 3*g = 9, -k*b + m*g - 4 = 2 for b.
0
Let o = -1048 + 1053. Solve o*z + 4 = 4*l, 2*z - 3*l - 7 = -3 for z.
-4
Let o be 24/(-72)*(2 - (6 - 1)). Solve 5*i = k + 26, 0 = 4*i - k + o - 22 for i.
5
Suppose -830*a - 20 = -835*a. Solve 0 = -5*i + a*r + 18, -2*i - 1 + 15 = -5*r for i.
2
Suppose -300*i + 521 = 133*i - 2077. Solve 0 = 5*h - 3*d - 6, -8*d = -4*h - 5*d + i for h.
0
Let n = 6246 - 6245. Solve z + g = -n, 3*z - 4*z - 3 = -g for z.
-2
Suppose -3*i = 51 + 168. Let a = i + 127. Suppose -23*h + 20*h = -a. Solve 3*w - 12 = -w, h = -3*v + 3*w for v.
-3
Suppose 25 = -3*z + 319. Let x = z - 96. Solve -5*r + 4*p = 26, x*p + 0 = -r + 6 for r.
-2
Suppose -4*o + 0 = 24. Let s = o - -9. Let f(q) = -2*q**3 - 131*q**2 - 254*q + 5. Let z be f(-2). Solve -l - 5*n = 14, 3*l + 15 - s = -z*n for l.
1
Suppose -105*u - 56*u + 1610 = 0. Solve 8*b - u*b = -3*o + 10, 0 = 2*o for b.
-5
Suppose 214 + 124 = 63*q + 86. Solve -47*g = -5*r - 51*g - 5, q*g = -4*r for r.
-5
Let n be (-14)/175 + 452/25. Let r(c) = c**2 - 13*c - 88. Let f be r(n). Solve 0*b = 3*t - b + 2, 2 = -f*t + b for t.
0
Let y be 16/12 + 4/(-3). Let i be 2952/18 + y + 2. Suppose 4*r - i = -34. Solve 2*h + 15 = -5*q, -5*h = 3*q + r - 5 for h.
-5
Let p be 15/(9/2 - 4). Suppose -7*f - p = 3*f. Let d be (f + 15/6)*-4. Solve -3*y - 29 = 5*h, -24 = 3*h + d*y + 2*y for h.
-4
Let g be -2 + -3 - (-2 - 244). Let o = g + -239. Solve 0 = -2*k - o, 4*k + 2 = 5*s - 2 for s.
0
Let d(q) = 149*q - 1341. Let j be d(9). Solve -s + 3*l = -3*s - 11, j = -5*s + 4*l + 30 for s.
2
Let n = 18 - 11. Let o be 104/40 + -12*1/20. Suppose -2*x + 5 = -x. Solve -4*c + x*c + 2*l - 1 = 0, n = -o*c - l for c.
-5
Let v be (-6)/16*35080/(-2631). Solve -l + 22*u = 18*u - 21, -v*l = 2*u + 5 for l.
1
Let y be (0 - (2 - (-18)/(-6)))*99/9. Solve l - 5*g = y, 0 = -3*g + 51 - 54 for l.
6
Suppose -2*t - 2*p = -18, 5*p - 3 - 42 = 3*t. Solve 0 = 2*n - 36*z + 34*z, t = -2*n - 4*z for n.
0
Let x be -9 + 11 + 1 + -1. Suppose -x*w + 20 = 2*w + 5*b, 5*w + 4*b = 34. Let o be (-6)/(-4) + 5/w. Solve 0 = 5*c + 3*k + 8, -3*c + k = o*c + 4 for c.
-1
Let m(j) = -24*j**3 - 4*j**2 + j + 5. Let u be m(-1). Let i = 27 - u. Solve -2*q - 3*q = -5*c + 10, -i*q - c + 10 = 0 for q.
2
Let q = -5 + 7. Let v(b) = -b**2 - 13*b - 62. Let g be v(22). Let x = g + 836. Solve -i - q*i = -x*f - 12, 2*f + i = -6 for f.
-3
Let g(h) = 3*h**2 + 2*h - 1. Let x(c) = -c**2 + 12*c - 13. Let b be x(11). Let j be g(b). Let i be 2*(j + -3)/4. Solve i*o + 10 = 4*q, o - 3*o + 3*q = 10 for o.
-5
Suppose -6*w + 343 = 133. Solve -5*p = -5*y - w, 0*y + 3*y + 5*p = 19 for y.
-2
Suppose 105 + 276 = 104*l + 69. Solve -25*g = -30*g + 20, g - 13 = l*v for v.
-3
Let u = 14 + -9. Suppose 0 = 3*n - 2*h - 1, 5*n - 4 = -159*h + 160*h. Let j be (0 - 1)/(-1) - 1. Solve j = r + r + u*t - 4, -r - 2*t = -n for r.
-3
Let z(u) = -89*u - 709. Let b be z(-8). Solve -33*f + 29*f - b*y = 0, -3*y - 15 = -f for f.
3
Suppose -15*d - 5*c = -14*d + 2, 3*d + 5*c - 4 = 0. Let i = -10 + 14. Let p(v) = -18*v - 27. Let x be p(-3). Solve -4*s - 22 + 8 = 2*a, -i*a + d*s = -x for a.
3
Let d(o) = 5*o**2 + 2. Let z be d(5). Suppose -5*m + z = 2. Suppose m = 5*f - 5*w, 2*w = -f + 6*f - 13. Solve 0 = 3*u + 5*v - 29, 5*u - f = 6*u - v for u.
3
Let u be -93*(3 - 4)*1. Suppose -3*i + u = -w, -4*w - i - 333 = -0*i. Let f = w - -84. Solve -5*m + r 