c*j = o + s for j.
2
Suppose -q = -0*h - 4*h + 68, 0 = 5*q + 20. Suppose -4 = -2*r, -4*r = m - h + 6. Solve -m*v = -5*x - 0*v - 17, 5*x = -5*v - 45 for x.
-5
Suppose -2*v - 2 = -2*i, 2*i - 3*v + 0 = -2. Solve -3*n = 4*p - 26, -n + i*n - 2*p + 2 = 0 for n.
2
Suppose 3*z - p = z + 5, 2*z - 2*p - 2 = 0. Solve -5*r + 11 = z*u, -r - 13 = -0*r - 3*u for r.
-1
Suppose -t = -5*t + 16. Suppose -l = 5*b - 5, 0 = 2*b - t*l + 8 - 32. Let j be (0 + -3)*b/(-3). Solve -j*f - 3 = -3*s + f, -3*f = 4*s + 10 for s.
-1
Let y(z) = 7*z + 37. Suppose -22 = 4*t - 2. Let w be y(t). Solve j + 5 = -5*x - w, 2*x + 8 = -3*j for x.
-1
Let a be (-17)/((-255)/(-50))*-3. Solve 0 = -4*q, -a = 2*n + q - 3*q for n.
-5
Let m = -11 - -19. Let t be 3/(-2)*(-20)/(-45)*-3. Suppose 0 = 7*y - 3*y - 2*k - 60, -t*y - 3*k = -14. Solve 4*n + r = 2*r + m, -3*n = 4*r + y for n.
1
Let k(i) = 7*i**2 + 2*i + 1. Let w be k(2). Suppose -j - 1419 + 1437 = 0. Let x = w - j. Solve -4*d - a = 28 - 8, x = -3*d + 3*a for d.
-5
Let p be -3 + -3*(-42)/9. Let j be ((-12)/(-8))/((-4)/(-8)). Let r be (-1)/(-2) + (-1)/2. Solve j*t + r*x = 2*x + 5, 5*t - 2*x = p for t.
3
Let u(g) = g**2 + 19*g - 40. Let r be u(-21). Solve r*y - 5*b = 15 - 40, -y = -4*b + 20 for y.
0
Let b be 6 - (-10 - 6) - (-1 + -3). Let z be -1*6*14/(-4). Let i = b - z. Solve i*y - 6*y = 5*r, r = 0 for y.
0
Let w(s) = s**3 + 2*s**2 - 13*s + 1. Let v be w(-8). Let n be -6*(-1)/8 - v/12. Solve 5 + 3 = -4*t + a, 3*a = -4*t - n for t.
-3
Let v(h) = -h**3 - 8*h**2 - 10*h - 4. Let j be v(-7). Let o be (-3*j)/(12/8). Let g be (-17 + 14)*o/6. Solve 5*r = 2*s + g, -2*s + 4*r - 1 = 13 for s.
-1
Let z(y) = y**2 + 13*y - 12. Let g(i) = -i. Let f(u) = -4*g(u) - z(u). Let k be f(-10). Solve 2*w + 2*c - 26 = -k*c, 0 = 4*w - 3*c - 8 for w.
5
Suppose -4*w + 119 - 111 = 0. Suppose u + 4 = -w*s + 4*u, 5*s = 3*u - 1. Solve 4*h + s + 16 = -z, 2*h + 5*z - 5 = 0 for h.
-5
Suppose 5 = -3*z - 1, 2*q - 3*z = -74. Let h = -35 - q. Solve 3*y + 11 = 2*f, h*f - 20 = 5*y - 0*y for y.
-3
Let a be (-3)/(-1)*9/(-81)*-51. Solve -u = -3, -a = -o - 3*u - 2*u for o.
2
Let k = 97 - 59. Solve 5*i + k = 5*r + 8, 0 = 3*i + 3 for r.
5
Suppose -5*f = -4*f. Let w = -34 - -47. Let h = -10 + w. Solve -c - 2 = -3*j, h*c + f*j + 3*j = -18 for c.
-5
Let f be (-3)/(-1 + (-1)/(-4)). Suppose -2*m - m = 3*m. Suppose 20*z - 21*z + 1 = m. Solve -f*q - v - 10 = 2*v, -z = -5*q + 3*v for q.
-1
Let w(j) = j**3 - 9*j**2 + 10*j - 17. Let c be w(8). Let x(z) = 5*z + 9. Let k be x(c). Solve -2*i = k*d + 4, 4*d + 1 = 3*i - 3 for i.
0
Let g = 984 + -979. Solve g*w - h = -13, 2*w + 2*h = -0*h + 2 for w.
-2
Suppose 0 = -5*x - 52 + 72. Suppose -y + 5*b - 12 + x = 0, -3*y + 16 = 5*b. Solve -6 = 4*c + y*i, 3*c - 3*i - 1 = -10 for c.
-2
Let d(n) = n. Let v be d(0). Suppose 10*t + p + 24 = 8*t, 5*t - 2*p + 51 = 0. Let x be t*6/(-6) - 5. Solve 3*a - 5*a + x = 5*q, -q = v for a.
3
Let l(k) = 5*k - 16. Let f(x) = x**2 - 2*x - 1. Let s be f(-2). Let i be l(s). Solve -b - i = -5*y, 11 = y - 0*b - 2*b for y.
3
Let c(i) = -2*i - 22. Let k be c(-12). Suppose a = 5 - k. Suppose -2*j + 3 = -1. Solve x - 3*g = 3, 5*x - a*g + 13 = -j*g for x.
-3
Let o be 10 + -7 + -26 + -1. Let q be (8/o)/((-1)/6). Solve 6 = -c - 4*k, -k = c + k + q for c.
2
Let w(b) = 3*b - 9. Let n be w(4). Let q(u) = n - u + 2*u + 2 + 0. Let m be q(-3). Solve 3*f - m*g + 15 = 0, -2*f - 6 = -f - g for f.
-3
Let y be 0/(-5*8/(-20)). Suppose -4*p = -5*i - 26 + 3, y = 3*p + 3*i - 24. Solve -4*z + 2*k - p*k = 5, k = -z - 1 for z.
0
Suppose -54*m + 9 = -51*m. Solve 5*f - j = -7, 2*j - 8 = -2*f - m*j for f.
-1
Suppose -5*h + 3 = -4*h. Suppose 7*a = 8*a - h. Solve -2*n - 2 = -a*d, 5*n - 4*d - 21 = -3*d for n.
5
Let o = -60 + 65. Let w = 114 - 112. Solve 2*z - w*f + 25 = o*z, -2*z - 15 = -5*f for z.
5
Let j = 183 + -178. Solve j*m - 45 = -5*v, 2*v + 3*m - 15 = 8 for v.
4
Let n(h) = -h**2 + 10*h + 1. Let d(v) = -2*v**2 + 19*v + 3. Let i(s) = 4*d(s) - 9*n(s). Let x be i(14). Solve -4*f - 3*c - 11 = -0*c, 3*f + x = -4*c for f.
-5
Let q be -5 + 3 + (18 - 1). Let y be ((-18)/q)/((-4)/10). Let c(w) = 5*w**2 + 3*w + 1. Let p be c(1). Solve -3*j = -y*m - 0*j + p, -m - 5*j = 27 for m.
-2
Let b be -182 + 182 - (-3 - -1). Solve -b*d - s + 6 = -6*s, s = 0 for d.
3
Suppose 284*y = 291*y - 28. Solve d + 11 = -2*o, -3*o - 3 = d - y*d for o.
-4
Suppose -2*r = k - 53 - 12, -5*r = -4*k - 195. Let z(m) = m**3 + 3*m**2 + 4. Let q = -10 - -7. Let f be z(q). Solve -4*w + r = 5*i, -f*w = 2*i - 0*w - 26 for i.
3
Suppose 0 = 5*i + s - 16 - 5, -3*s - 37 = -5*i. Solve 2*b + 10 = -j, 4*b - i*j + 10*j = -26 for b.
-4
Suppose 2*p + 999 = 1003. Solve -l + p = y + 5, 5*y + 7 = 3*l for y.
-2
Suppose -q - 15 - 86 = 0. Let g = q + 106. Solve o + 20 = -g*s - 5, -10 = 2*s - 2*o for s.
-5
Suppose 6*b - 36 = 4*b + 3*r, 5*r + 76 = 4*b. Solve -k - 24 = 5*w, 2*w = -3*k - k - b for k.
-4
Let q(i) = 4*i**3 + i. Let s be q(1). Suppose -g - 2*g = -3*w - 21, 0 = -w + 4*g - 10. Let f be (w/4*2)/(42/(-266)). Solve 2*y + f = s*t + 4, y = 0 for t.
3
Suppose 0 = -m - 4*y + 10, 62*m - 3*y + 2 = 60*m. Solve -m*z - 22 = -3*d, -2*z - 6*d = -d - 10 for z.
-5
Let n(b) = b + 12. Let p be n(-8). Let c(m) = -m + 16. Let r be c(16). Solve 2*z + 5*t - 6 = r, 4*t + 9 = p*z - 3 for z.
3
Suppose -5*i - 61 = -y - 66, 4*i - 4 = 5*y. Solve 5*b - 5 = -5*w, y = 7*b - 2*b + 2*w - 14 for b.
4
Let v(f) = 2*f**2 + f - 5. Let h be v(3). Let j = h + 10. Solve -l - 5*z = 22, 6*l - l + 4*z = -j for l.
-2
Let g = 0 + 2. Let x(v) be the first derivative of -v**4/4 - v**3 + 5*v**2 + 3*v - 9. Let m be x(-5). Solve -2*y + 8 = m*n - 7, -g*n + 18 = 4*y for n.
3
Suppose -20*f + 7 + 53 = 0. Solve -5 = 5*k - 5*v, 0*k - 9 = 5*k - f*v for k.
-3
Let d = -30 - -56. Let u be 13/d - 2/4. Solve 3*o + 5*z + 16 = 0, u*o + 18 = -4*o - 5*z for o.
-2
Let q(s) = -s**3 + 14*s**2 - 22*s + 316. Let m be q(14). Suppose 1 = 2*r - 7. Solve -6*y + 13 = 3*j - 2*y, 3*y = -r*j + m for j.
-1
Suppose 6*x + 22 = 17*x. Let t(l) = l**2 + 5*l - 4. Let f be t(-6). Let r be (3 - f) + 2 + 1. Solve 0 = -j - x*m - m + 12, -2*j = 2*m - r for j.
-3
Let a(m) = m**3 - 3*m**2. Let i be a(3). Let z be 4/10*(-381 - -1). Let r = z + 155. Solve -10 = -5*h + 4*v, -r*h - 5*v + i*v - 31 = 0 for h.
-2
Let h be (((-156)/(-10))/(-3))/(6/(-15)). Suppose -4*z = 4*s - 8, -4*s + 0*z = -z - h. Solve 0*i - s*i = l + 7, 5*i = -3*l - 9 for l.
2
Suppose -3*c - 4*f = -25 + 5, 3*c - 3*f = -15. Solve 5*l - 3 = h - c*l, -5*l = -5*h + 5 for h.
2
Let r = -57 - -30. Let g be r/18*10/3. Let m(k) = k**2 + 3*k - 7. Let i be m(g). Solve -25 = -i*v - 2*v - 5*h, 2*h + 5 = v for v.
5
Let t = 481 + -481. Solve -5*z + t*w - 16 = 3*w, -2*w = -2*z for z.
-2
Suppose 0 = -4*h - 4*v + 12, -2*h = -4*h - 4*v + 2. Let n be 14/21 + -2 + 114/(-9). Let w = n - -17. Solve 0 = -4*i + 20, h*s - w*i + 1 + 4 = 0 for s.
2
Let n = 1 - -3. Suppose -4*s + 4 = n*p - 8, 4*s + 2*p - 6 = 0. Suppose d = -s*d - 5*z - 5, 0 = d - 2*z - 2. Solve 9*m = 4*m + 5*k + 5, d = -m + 2*k + 6 for m.
-4
Let h be (0 - -9)*(-25 + 0). Let s be (-3)/(-3 + h/(-78)). Let v = -26 + s. Solve k - 14 = 3*x, v = -2*k + 3 + 7 for x.
-3
Let h(x) = x - 14. Let t be h(19). Suppose -4*f - r = -14, -3*f = 3*r - t*r - 5. Solve f*j - 19 = -2*z, -5*z + j + 2*j = -16 for z.
5
Suppose -4*z + 15 = -z. Suppose -9*v + 3 = -6*v. Suppose -w = v - z. Solve 0 = -w*q + 3*j - 29, -4*q - 11 = 3*j - 0 for q.
-5
Let q = 26 + -32. Let g be ((-4)/12)/(2/q). Solve -4*k + 5*u - 16 = 0, k - 2*u = -5 + g for k.
-4
Suppose i - 1 + 17 = 0. Let q be (-4)/(i/10)*(-1 + 7). Solve 5*p = 4*r - q, 2 = 2*r - 5*p - 3 for r.
5
Let w(m) = -m**2 - 8*m - 8. Let a be w(-6). Let p be (-14)/a*(-8)/7. Let r = -3 + 3. Solve -z = t + 7, 5*t - p*z + 2*z + 7 = r for t.
-3
Let i = 48 + -54. Let c be 22/11*i/(-4). Solve -a = 5*b + 15, c*b + a = -0*a - 7 for b.
-4
Suppose 24 + 48 = 9*d. Suppose 3*s = -4*k + s + d, -4*s = 2*k + 8. Solve -4*a = 5*u + 20 - 61, -5*a = -k*u for u.
5
Let t = 1216 + -1214. Solve -o - 3 = t*o, 5*o + 8 = c for c.
3
Let j be ((-6)/(-5))/(-9 - 1209/(-130)). Solve -11 - 1 = 4*q + j*d, 2*d = -3*q - 4 for q.
2
Let f = 10 - -2. Suppose -4*p = -f - 88. Suppose -4*c = c - p. Solve 2*q = c*a - 0*a - 12, -q = -3*a + 7 for q.
-1
Let o(b) = -7*b - 138. Let s be o(-22). Solve -4*d - 14 = 3*p, 8*d + s = -2*p + 