- 2 = 0 for o.
4
Suppose -p = 5*t + 2, 8*t = 5*p + 6*t + 10. Let y(x) = -3*x - 4. Let n be y(p). Solve -g + s - n*s = 2, 0 = -4*g + 2*s - 14 for g.
-3
Let s(q) = -4*q**2 - 69*q - 274. Let f be s(-11). Solve 5*u - 2*v - 7 = 0, u + f = 5*v + 7 for u.
1
Let h = -43 + 64. Let t = -934 - -1571. Suppose 0 = -625*a + t*a - 60. Solve -g + a*b = -h, 4*g = -b + 6*b + 9 for g.
-4
Let a be (-158)/4108 + (-834)/(-52). Solve -4*m + 12 = -2*v + 20, 2*m = -5*v - a for v.
-2
Let i be 3 - (-333)/15 - 3/15. Suppose 2*m + 3*d = i, -7*d = 4*m - 9*d - 10. Solve -3*a + s = -15, 2*a + m*s = -3*a + 25 for a.
5
Suppose -t + 1 = v, -53*t - v + 1 = -58*t. Solve -26*d + 27*d - r - 2 = t, -5*r + 25 = 2*d for d.
5
Suppose 8*m - 33*m + 9 = -41. Solve -2*o + 2 = -m*v, 0*v - 5*o + 29 = v for v.
4
Suppose 2*i + 5*a + 58 = 0, a = -5*i - 0*a - 122. Let f be 6/((2/(-2))/(12/i)). Suppose -f*k + 0*k + 6 = 0. Solve k*v + 3 = -y, -v + y = -0*y - 3 for v.
0
Suppose -4*j - 327*j = -257518. Solve 4*l - 794 + j = 3*v, 0 = -3*v for l.
4
Let f be (1 + (1 - -3))/((-65)/(-78)). Solve -6 = 5*h - 2*p, 7*h + 3*p = f*h - 8 for h.
-2
Let j(z) be the first derivative of -z**4/4 + 10*z**3/3 - 2*z**2 - 31*z - 157. Let a be j(9). Solve -a = 2*x + 4*g, -5*x + 5*g + 0*g = -10 for x.
-1
Let r be 0/(-8 + 3 - -3) - 2. Let o be 13/(-78)*0/r. Solve 2*c = -3*f - o - 21, 0 = c - 4*f - 17 for c.
-3
Let h(r) = -r**2 + 13*r - 8. Let z be h(11). Let g be 10*((4 - 1) + (-35)/z). Solve 8 = 4*u + 4*y - 4, u - g = -3*y for u.
2
Let u = -444 + 363. Suppose -z + 5*p + 410 = 4*z, 0 = 3*z - 4*p - 243. Let j = z + u. Solve -j*s + 2*k + 4 = 0, -4*s + 2*k = k for s.
-1
Let j be (3 + 2)*(7 + 1). Suppose 0 = -5*r - 0*r. Let p be (-10)/(-55) + (53/11 - r). Solve -l = -5*l + p*o + j, 17 = l - 3*o for l.
5
Let k(a) = 3*a + 37. Suppose -4*q - 3*w + 22 = 0, -2*w + 7 + 3 = 2*q. Suppose -10 = 9*g - q*g. Let i be k(g). Solve -h - 4*x = -6*h - 37, -i = 2*h - 4*x for h.
-5
Let r(u) = u**3 - 11*u**2 - 11*u - 7. Let o be r(12). Suppose -o*l - 13 = -5*j + 7, -3*l = -5*j + 20. Solve 5*a = -4*h + 4*a - 17, j*h = a - 7 for h.
-3
Suppose 2*y = h + 43, -5*h - 3*y - 227 = -y. Let l = h + 45. Suppose 5*g + 2*b = 0, l = -2*g - 0*g + 4*b. Solve -4*m - 10 = -v, g = 3*m + 4*v + 9 + 8 for m.
-3
Let f(l) = 5*l - 40. Let p be f(11). Let d = p - 13. Solve m - 4*j - 25 = 0, 0 = -4*m + d*j + 39 - 9 for m.
5
Let o = -18 + 26. Let j(c) be the first derivative of c**3/3 + 4*c**2 + 15*c + 89. Let l be j(-6). Solve 2 = -i + z, l*z - o = i - z for i.
0
Suppose 3*g - g = -5*r + 1194, 0 = -5*g - 2*r + 2985. Suppose -5*s - 177 = -g. Let d = 121 - s. Solve -a = -3*w - 17, 5*a - 3*w + 0*w - d = 0 for a.
5
Suppose g = -5*q + 44, 3*q = g - 26 + 14. Let t = 187 - 182. Solve 3*j + 4*h = j - g, -40 = t*j + 5*h for j.
-4
Let v be 36/(-16) + 1/4. Let p be (2 - 1)*10 - v. Let x = 9026 - 9021. Solve 10 = x*k + 5*w - 5, 0 = -4*w + p for k.
0
Let s be ((-81)/15)/(6/(-230)). Solve -203*z + 3 = 5*q - s*z, 0 = -q + z for q.
3
Let r(j) = -10*j**2 - 3*j + 12. Let n be r(5). Let y = n + 180. Let k = y - -77. Solve 3*v + g = -10 - 5, 16 = -v - k*g for v.
-4
Let m = 29 - 27. Suppose -3*l - 5*c + 4 = -20, -m*l + c + 3 = 0. Solve 2*u - u + l*o - 5 = 0, 5*o - 13 = -4*u for u.
2
Suppose 0 = 6*i + 183 - 279. Suppose 20 = u - b + 15, 4*b = 3*u - i. Solve -5*g - 2*t = -4, 3*t = u*t - 2 for g.
0
Suppose -v - 12 = -l - 10, 5*l = 4*v + 14. Solve -x + 6*s = 3*s - 1, 4*x + 12 = v*s for x.
-5
Suppose -4*r + 11*n + 16 = 14*n, -5*r - n + 31 = 0. Suppose -15*p - r = -127. Solve 4*h - w = -3, 0*w + p = -3*h - 5*w for h.
-1
Let p = 26 + 23. Let x = -49 + p. Suppose -q + 12 - 8 = x. Solve 11 = -2*h + 5*z - 6, -q*h + 26 = 2*z for h.
4
Let j(d) = 2*d - 14. Let s be j(7). Suppose s = 6*h - 48 + 42. Solve -2*l = 2*i - 6, 0 = -4*i - 5*l + 14 + h for i.
0
Suppose -195*h = -497 - 1063. Solve -2*l - 2*i - 10 = 0, 5*l = -2*i - h - 17 for l.
-5
Suppose -7*s - 14 + 0 = 0. Let t be (-4)/(s/12 + (-3)/6). Suppose 2*b = t, b + 2*b - 29 = -h. Solve 0 = -3*p - 2*u - 0*u - h, -4*p = -4*u for p.
-4
Suppose -3*n + 8 = -5*z + 6*z, 5*z = -n + 54. Suppose z*h = 312 - 279. Solve -2*d + 22 = h*j + 2*j, 0 = -j + 4*d for j.
4
Suppose -j + 4*y - 123 + 109 = 0, -14 = 3*j - 5*y. Solve -t + 5*s - 44 = -31, -j*s = -3*t for t.
2
Let s = 4 + -1. Let h(i) = i**2 + i + 6. Let c be h(s). Suppose 60 = c*p - 13*p. Solve x - 2*f = -x + p, 0 = -4*f - 20 for x.
1
Let i be ((-20)/(-35))/((-6)/21)*-1. Solve u + i*l + 5 = -0*l, 5*u - 35 = 5*l for u.
3
Suppose -24*x + 65*x - 29*x - 264 = 0. Solve x*y = 4*m + 26*y + 8, 3*m + 1 = -2*y for m.
3
Let m be 2/(-11) + ((-5)/(-10))/(286/1820). Let g be (-11 + -1)*(-3)/3. Suppose g - 4 = 2*l. Solve 4*j - 5*y - 2 + 18 = 0, l*j + 16 = m*y for j.
-4
Suppose 3*a - 17 = 4*g, 0 = 2*a + 5*g + 1300 - 1296. Let i = 6 + -3. Let u = 7 - i. Solve 14 - 2 = 2*y + u*j, 0 = a*y - 2*j - 10 for y.
4
Suppose 0 = 11*s - 9*s - 4*b - 18, 2*b = 0. Solve d + 5*h - 10 = 0, 4*h - s*h = 4*d - 25 for d.
5
Let d(f) = -f**2 + 18*f - 3. Let t be d(19). Let y = 35 + t. Suppose 4*b = -4*j - 4, -b - b + y = -j. Solve -2*u + 5*g = b*g - 2, 3*u = 3*g + 6 for u.
0
Let v = 9108 + -9104. Solve -i - v*x = 18, -43*x = -45*x - 8 for i.
-2
Let p be (39/(-6) + 5)/(21/(-70)). Solve -l = 2*w + 6, l + p*w + 10 = 2*w for l.
2
Let n = -297 - -289. Let i be n/3*(-8 - (-145)/20). Let g = 0 + 4. Solve 5*w + i*b - b = -20, g*w - b + 16 = 0 for w.
-4
Suppose 36*s = 245 - 1433. Let b be (-2)/9*s - (-7)/(-21). Solve -4*o = -2*p - p + 32, 3*p + o - b = 0 for p.
4
Suppose 2*t = -4*j + 1196, -2*t - 1083 = -3*j - 179. Suppose j*m + 5 = 301*m. Solve 4*s = -m*u - 24, 0*u - 3*u - 17 = 5*s for u.
-4
Let s = 54 - 51. Let g = 5221 - 5219. Solve z - v - g = 0, 4*z - s*v = -v for z.
-2
Let d(b) = b**2 - b + 4. Let n be d(-4). Let i be 1/(-6) + 52/n. Suppose 2*v - v = -2*j + 6, i*j - 2 = 0. Solve -v = 2*p - 2*g, p - g + 8 = 2*g for p.
1
Let c be 9 + 84 - 1*2. Let w = -177 + c. Let q = w - -106. Solve 3*f + 15 = 5*i, -i + 6*i + q = -4*f for f.
-5
Let z(p) = 3*p + 88. Let h be z(-30). Let r(k) = 2*k**2 + 5*k + 4. Let a be r(h). Solve 0 = 4*m - 7*m + 5*d, -19 = -a*m - 3*d for m.
5
Suppose 468*j = -2*r + 470*j + 4, j = -r + 2. Solve -5*k = -4*p - 18, -3*k - 3 = r*p - 5 for p.
-2
Let m(g) = g**3 + 6*g**2 + 10*g + 14. Let d be (10 - 9)*8/(6/(-3)). Let n be m(d). Solve n*l - l - s - 10 = 0, -5*s = 3*l - 34 for l.
3
Suppose -2 = 3*s + 4*l + 3, 3*s - 25 = 2*l. Solve 91*j = 89*j - 3*v + 3, 0 = -2*j - v + s for j.
3
Let a be -1 + 1 + 1 + (1 - -1). Let p be (a - (-17)/(-3))/(14/(-21)). Solve p*z = 2*j - 2, 0*z + 2*z = -4*j + 4 for z.
0
Let z(b) = 10*b - 5*b - 22 + 2*b. Let p be z(-12). Let r be p/(-22) + (-10)/(-55). Solve -5*q + r*a = 4 + 36, -4 = -q - 3*a for q.
-5
Let f(p) = -p**2 - p. Let o(m) = 2*m**2 - m + 58. Let n(s) = -3*f(s) - o(s). Let a be n(-10). Solve -5*j - 13 = -z, 5*j - j = a*z - 14 for z.
3
Let f(o) = 7 + 0 + 1 - o**2 + 7 + 5*o. Let g be f(7). Let w be ((-12)/18)/(2/(-6)). Solve -2*j = -w*d - 2, 3*j - d - 10 = -g for j.
4
Let i(p) = -6*p - 1. Let d be i(-1). Let f(g) = 3*g - 7*g - 6 - 4*g + 10*g**2 - 22*g**3 + 21*g**3. Let j be f(9). Solve 0*q + 6 = -d*r - q, -3 = j*q for r.
-1
Let c be (-9394)/55 + (-4)/(-5). Let t = c + 173. Solve -2*v - 2*f = -0*v + 14, t*f = -12 for v.
-3
Let n(w) = 3*w**3 - 2*w**2 - 3*w + 2. Let x be n(0). Let h = -5 + 7. Solve -q - x*u + 10 = 0, -h*q + u = -6*q + 12 for q.
2
Suppose 21*o + 3 = 77 + 94. Solve -5*a = -3*s - 32, 2*s - o = 4*s for a.
4
Let r(y) = y**3 + 12*y**2 - 11*y + 28. Let q be r(-13). Suppose 0 = -q*x + 2*z + 8, 3*x + 2*z - 3 + 6 = 0. Solve -6*d + 20 = 5*a - d, 0 = a - 2*d - x for a.
3
Suppose 5*j + 2*y = -0*y + 55, 3*j + y = 33. Let l(v) = v**2 - 14*v + 51. Let h be l(8). Solve 5*p - 2 = 4*u - h, p + 2*u = j for p.
3
Let z(h) = -h**2 - 5*h + 5. Let y(j) = -j**2 + 8*j + 11. Let d be y(9). Let u be z(d). Let v = u + 11. Solve -2*w = v*k + 4, -5*w - 4*k - 9 - 1 = 0 for w.
-2
Let m be (13 - -23)/2 - 16. Solve 0 = -4*o + m*k, o - 18 = -15*k + 20*k for o.
-2
Suppose 5*f + s - 66 = -40, 3*f - 4*s - 11 = 0. Solve 5 + f = 2*n - 4*p, -2*n + 3*p + 8 = 0 for n.
1
Suppose 5 = 4*t - 3. Let n = 8041 + -8039. Suppose -4*j = -n*g + 14, 0 = -2*g - j - 3*j - t. Solve 4*r - 3*h = -19, -r = g*h + 4 - 3 for r.
-4
Suppose 61*x + 61*x + 88 = 133*x