19 + 0 = -p*t + 5*y for t.
-2
Let t be (23/(-3) + 1)*27/(-9). Suppose 5*i - q = q + 10, -5*q + 45 = 5*i. Solve 2*z = 2*x - 6, -8*z = i*x - 4*z + t for x.
-1
Let c be 7 + (-8)/(5/(20/8)). Solve -3 = 2*s + c*n, 3*s - 18 = -n + 4*n for s.
3
Suppose h = -3*h. Suppose -5*u + 0*u + 5*r + 10 = 0, 4*r = h. Solve -4*t + 5*q = -4, 3*t - u*q = -4*q + 3 for t.
1
Let h(d) = d**2 + d. Let r be h(-2). Suppose -2*w - r + 12 = 0. Solve 0 = -w*j + 2*f - 16, 0 = 5*j - f + 4 + 14 for j.
-4
Suppose 0 = 4*u - u. Solve -8 = g + g - 2*o, 3*g - 2*o + 11 = u for g.
-3
Let f = 15 + -11. Let q(h) = -h**2 + 5*h + 6. Let w be q(6). Solve 5*g - 9 = f*k, w*k - k = 3*g - 2 for k.
-1
Suppose 0 = -5*q + 5*o - o + 22, -4*q - 4*o - 4 = 0. Solve w - i = 5*w - 1, -4*w = q*i - 6 for w.
-1
Let j = 17 - -8. Solve -6*c + c + 3*z = j, z = -3*c - 15 for c.
-5
Suppose -t + 3*u + 31 = 0, 3*t - 2*u = -2*t + 90. Let n = -8 + t. Suppose -5*c = -2*s + 33, -35 + 10 = 5*c. Solve 5*y + f = -14, s*y - f = n*y + 12 for y.
-2
Let u(n) = 0*n**2 - n**2 - 5*n**2 + 4*n**3 + 4*n**2 + 1. Let b be u(1). Solve 3*i + b*x = 3, 0 = -2*i + 5*i + 4*x - 2 for i.
2
Suppose -5*j - 8 + 33 = 0. Let c be ((-6)/(-7))/((-33)/(-154)). Solve -4*g = -j*q - 2 - 3, 3*g - 3 = c*q for q.
3
Let o(m) = m**3 + 5*m**2 + 2*m - 8. Let u be o(-4). Solve 4*i = 3*g - 11, -i = -g - u + 3 for g.
1
Suppose 17 = q - 3*r, -r - 4*r - 33 = -4*q. Solve -2*n = l - 1, 0 = q*n - n - l - 8 for n.
3
Let k be 0 + 0*1/(-3). Solve -h + 1 = p, -2*h - 5*p + 1 + 1 = k for h.
1
Let m be -1 + 3/3 + 3. Suppose -m*p + 4*p - 5 = 0. Solve 0 = -2*s, -3*j - 2*j - p*s = 0 for j.
0
Let l be (13/26)/(1/(-6)). Let w be (4 + l)/(4/8). Solve -4*b + 12 = -4*v, -w*v + 5*v + 5 = 5*b for v.
-5
Suppose -3 = -q - 1. Suppose p = 4*d - 3, -13 = 5*p + q*d + 2. Let g be (-6)/9 - 2/p. Solve -3*y = 4*l + 20, -4*y + 5*l - 6 = -g for y.
-4
Suppose -2*q + 1 = 3*b, -4*b - 2*q = -4*q - 6. Let p = b - -3. Suppose 0*t - 2*t = l - 14, -46 = -p*l + 2*t. Solve u = -v + 6, -u + 0*u - 4*v + l = 0 for u.
4
Let s(o) be the third derivative of -o**5/60 + 7*o**4/24 - o**3/2 + o**2. Let y be s(5). Let d = 10 - y. Solve -10 = w + 3*m + 4, d*w + 14 = -2*m for w.
-2
Suppose -6*i + 32 = -28. Solve 5*a = 4*h + h + i, -2*a - 8 = 4*h for a.
0
Let u = -13 - -8. Let q = -2 - u. Suppose -4 = -5*l + 6. Solve q*j = 3*w + 2*w + 14, -l*j - 4*w = 20 for j.
-2
Suppose 4*l + 6 - 18 = 0. Solve w - 3*w = 3*x + 2, -2*w - 2 = -l*x for x.
0
Suppose b - 9 = -2*b - 2*h, h + 8 = b. Suppose b*t + 177 = -33. Let q be (-1)/(t/(-15) - 3). Solve 0 = 5*j - q*s + 11 + 29, 3*s = 4*j + 29 for j.
-5
Suppose 2*k + 4*w + 5 = 3*w, 4*w + 10 = -3*k. Let p be k - 1 - (2 + -7). Let j be (12/(-10))/(p/(-20)). Solve 0 = 4*x - 0 + j, -4*x + 3 = -3*b for b.
-5
Let n be 2 + -2 - (3 + -6). Suppose -2*p + 15 = n*p. Solve 5*a + 0*y + 21 = 2*y, -24 = p*a - 5*y for a.
-3
Suppose -2*i + 6*i + 4*v + 8 = 0, -5*i - 4*v = 7. Let a(z) = 9*z**2 - 1. Let t be a(i). Let s = -4 + t. Solve -5*k = -5*f - 4 - 1, s*f = 5*k - 3 for k.
-1
Let h(l) = l**2 - 9*l + 13. Let f be h(8). Suppose -4 = -j, -5*u - 2*j = -u - 20. Let s be -2 - (-4 + (-1)/1). Solve -u*c + 6 = -s*d, -d - f*c + 4 = -0*c for d.
-1
Let u = -41 + 43. Let r(w) = 3*w**2 - 4*w**2 + 4*w + 2 - 1. Let o be r(u). Solve o*s - 4*m = 18, -3*m + 3 = 5*s - 1 for s.
2
Let b be (8/(-32))/((-1)/12). Let q be -9 + 6 - b*-1. Let j = 7 - 3. Solve q = i + 4*v - j, 2*i + 3*i + 18 = -v for i.
-4
Suppose 4*a = 5*a. Solve u = -3*c - a*u + 8, -c = -5*u + 8 for c.
2
Let c = 34 + -29. Solve 0 = 5*f - 3*w - 15, -c*w - 12 = -4*f - 2*w for f.
3
Suppose -3*j - 2 = -8. Solve 2*m + 8 + 2 = j*u, -5*m - 25 = 4*u for m.
-5
Let b be (-6 - -1)*(-6)/10. Let o = 15 + 8. Solve -k - g + o = -6*g, -5*k = 3*g - b for k.
3
Let v(u) = u**3 + 7*u**2 - u - 3. Let f be v(-7). Solve o - c - f*c = -1, -4*o + 5*c = 4 for o.
-1
Let b be 2/(-7) + (-112)/(-49). Solve 0 = -z - t - t + 1, 0 = -3*z - b*t + 7 for z.
3
Let a = -4 - -8. Let j(c) = -a + 4 - c + 0 + 2. Let g be j(0). Solve -3*r = f - 2, -g*r - 5*f = -0*r + 16 for r.
2
Suppose -a = 0, -5*w + 14 = -2*a - 46. Suppose -4*l - w = 0, 2 = -3*y - 4*l + 5. Let s be -1*2*-1 + 2. Solve -s*q + 4*g + 6 = -2*q, -15 = -5*q - y*g for q.
3
Suppose -2*l + 15 = 1. Solve 0 = -2*h + q - l, -1 = -0*h - h + 5*q for h.
-4
Suppose -a + 6 = 2*b - 5, -3*a = 4*b - 25. Solve 0 = -a*n - 5 - 7, 2*x + 26 = -4*n for x.
-5
Let d = 81 + -65. Solve 2*m = -4*c - 2*m - d, -3*c - 4*m = 12 for c.
-4
Let i be 2*((-18)/12 - -3). Solve -3*q = -5*j - 12, -4*q + 4*j + i + 13 = 0 for q.
4
Let q be (-1)/(3 - 25/8). Let a = -5 + q. Solve 3*o = 3*w + a, -2*w = -0*w for o.
1
Let g(z) = -z + 13. Let i be g(8). Let c = 4 - 14. Let y = -7 - c. Solve m - 1 = -y*s, 25 = -i*m - 0 for s.
2
Let t(c) = c**3 + 4*c**2 + 4*c + 2. Let r be 2/4*(-6 - -2). Let n be t(r). Solve -3*u - b + 5*b = 15, 0 = n*b - 6 for u.
-1
Let a(h) = -h + 4. Let d(i) = -i + 5. Let p(v) = 4*a(v) - 5*d(v). Let t be p(11). Suppose -3*z - 1 = -16. Solve 2*b - 6 = t*c + 4, 2*b + 25 = -z*c for c.
-5
Let k be ((-4)/(-10))/(8/1000). Suppose 7*s - k = -15. Solve 0 = s*o + 3*x - 4, -5*x + 2 = -3*o - 16 for o.
-1
Suppose -v - 4*x - 5 = 0, -2*v - 5*x - 15 = -2*x. Let k = v - -11. Solve 0 = -4*j + 4*f + 32, -4*f + 3*f + 7 = k*j for j.
5
Suppose i - 3*i = 12. Let o = i - -11. Solve -2*m = -3*u + 17, o*m + 10 = u - 0 for m.
-1
Let q(l) = l**3 - 7*l**2 + 7*l - 3. Let g be q(6). Let n = 3 + -1. Suppose 0 = -3*c + 30 - 3. Solve 17 = -5*d - g*h, 0 = -5*d + n*d + 3*h + c for d.
-1
Suppose -8*q - 10 = -10*q. Solve 3*p + 3*r = -2*r - 29, 5*p - 5*r - q = 0 for p.
-3
Suppose -5*p - 4 = 5*s - 14, 0 = -4*s - 3*p + 10. Solve -s*f - 23 = -7*i + 2*i, 4*i + 3*f = 6 for i.
3
Suppose -3*y - 8 = -7*y. Suppose 8 = 5*s - y. Let d = -17 - -44. Solve -5*f - d = -3*g, s*g - 16 - 1 = 3*f for g.
4
Let u(d) = d**2 - 8*d + 3. Suppose 3*m + 24 = 6*m. Let g be u(m). Solve -g*r + j = -2*r, 2 = -4*r + 2*j for r.
-1
Let r(x) = x**2 - 4*x - 2*x**2 - 3 - 5 + 2*x**2. Let l be r(6). Solve s - l*s = -5*m + 40, 0 = 5*m + 4*s - 5 for m.
5
Let x be (-4)/(-16) - (-31)/4. Suppose -i + x = i. Suppose -4*w + 4*v - 16 = 0, -3*w - v = -6*w - i. Solve 2*r - 7 = o, w*o - 15 = -4*r + 3*o for r.
3
Let v(n) = -n**3 - n**2 + 5*n + 3. Let h be v(-3). Suppose h = -2*r + 14. Let a be 4/14 - 24/(-14). Solve a*s - s - r*t - 11 = 0, t + 7 = -4*s for s.
-1
Let h(n) = -4*n**2 + 1. Let s be h(1). Let q be -3 - (63/s)/3. Solve q*x + 4*y + 12 = 0, 4*x - 2 = 6*x - 2*y for x.
-2
Let v(n) = n**2 - 6*n - 11. Let c be v(8). Suppose 4*s + 0*s + 1 = 3*g, c*g = -3*s + 21. Suppose -g*b - 2*b = 0. Solve w = 4*k + 7, 3*w - 4*k = -b*k + 13 for w.
3
Let k(n) = 2*n**2 + 1. Let v be k(1). Let b(q) = q**3 - 7*q**2 - 12*q + 6. Let x be b(9). Suppose -p = 3*p - x. Solve -v*t + p = 2*t - 2*u, 0 = 4*u for t.
3
Suppose -4*v + 116 = 4*i, -2*v + 3*i = i - 46. Let t = v - -5. Solve 2 = -3*n + 2*u, 0*u - 3*u - t = 4*n for n.
-4
Suppose 2*k = -3*k + 20. Suppose -i + 5 = -k*o, -2*i = 3*o - o. Solve 3*t + i = 2*q - 3, 3*t - 8 = -4*q for t.
0
Let q be 5 + (-1 - -2)*-1. Let h(p) = -p - 8. Let c be h(-6). Let m be -1*(-8)/c*-1. Solve q*f + 3*t = t + 8, f = -m*t + 16 for f.
0
Let i = -9 + 11. Let t be i/(-2 - 0)*-5. Solve 5*y + 3 = 3*w, 2*w = 7*w - 3*y - t for w.
1
Let y be 4/10 + (-73)/(-5). Let j(n) = -3*n**3 - n**2 - 2*n - 1. Let k be j(-1). Suppose -k*g + y = -0. Solve g*b - 29 = 3*s, 4*b - 3*s = -16 + 41 for b.
4
Let p = 4 - -5. Let o be 43/p + (-12)/(-54). Solve -3*g = 4*a - 9, -3 = o*a + 2*g - 9 for a.
0
Suppose 2*p = 4*t - 0*t - 12, 5*t = 5*p + 10. Let o be 1/(t/28)*1. Solve -w - o = h, 0*w - 4*w + 3*h - 7 = 0 for w.
-4
Suppose 0 = -5*y + 20 + 5. Suppose 3*x = 4 + 38. Let c be (-115)/(-35) + (-4)/x. Solve v = -3*i, i = -c*i - y*v - 11 for i.
1
Let b be 4/6 + (-434)/21. Let r be (-56)/b + 1/5. Solve -r*v + 2*g + 15 = 0, -g - 13 = -5*v + 5 for v.
3
Let z(q) = -2*q. Let n be z(-3). Let i = -8 - -12. Suppose 8 = 6*g - 4*g. Solve n = -i*x - j - g, 4*j = -x + 5 for x.
-3
Suppose 4*k - 9 = 15. Suppose k*l - 15 = 3*l. Let w be ((-6)/4)/((-1)/2). Solve w*v + 0 = -3*d - 6, -10 = l*d for v.
0
Suppose 25 = 5*i - 0, -h = -2*i - 7. Suppose -h + 2 = -5*k. Solve -2*z + 5*t = 9, 2*z + 2*z + k = 5*t for z.
3
Suppose -2*o = -3*o + 11. Solve -o = -4*f - 3*t, -3*f = -2*f - 2*t + 11 for f.
-