 -f = -5*s + s for s.
3
Let m be 1*(-1)/(-1)*-13. Let h be (-27)/4*8/3. Let n = m - h. Solve -4*j - 5 = -n*j for j.
5
Let u be (-5*4)/4 + 0. Let g(j) = -j**2 - 6*j + 4. Let m be g(-5). Let k = m + u. Solve 5 = -k*t + 25 for t.
5
Let j(l) = 2*l + 5. Let k be j(-2). Solve -2*i = -k + 3 for i.
-1
Suppose -212 = v - 3*v + 4*j, -v + j + 111 = 0. Suppose -v = 3*o - 7*o. Solve 4*r + 9 - o = 0 for r.
5
Suppose 0 = 7*s - 25 - 10. Suppose 0 + 4 = 2*r. Suppose -3*c - 3*b - r*b = 10, -15 = -s*c - 2*b. Solve -q = -c*q for q.
0
Suppose -3*i + 8*i = 15. Solve 2*m + i = m for m.
-3
Suppose 4*c = 5*o + 21, 0 = -2*c - 2*o + 6 - 0. Suppose c*v - 3*n = 0, 4*v + n + n - 20 = 0. Solve 4*k - k + v = 0 for k.
-1
Suppose -25 + 1 = -4*i. Suppose 40 = i*w - w. Solve w*z = 4*z + 8 for z.
2
Suppose 12*w - 24 - 12 = 0. Let t be 0/(1 - (-3 + 2)). Solve t = w*v + 1 + 2 for v.
-1
Let r(m) = -6*m**3 + 3*m**3 + 8 + 12*m**2 - 9*m + 6 + 2*m**3. Let v be r(11). Suppose 3*p - 7*p = 2*f - 6, -4*f + 4*p + v = 0. Solve 5 = 3*c - f for c.
4
Let c(w) = w**2 - 5*w - 6. Let t(l) = -l**2 + 5*l + 6. Let r(z) = -5*c(z) - 4*t(z). Let o be r(6). Let s = -13 - -21. Solve -4*x = -o - s for x.
2
Let d(x) = -x**2 - 8*x + 3. Suppose 0 = -5*k - m - 39, 5*m - 9 = 5*k + 36. Let p be d(k). Solve -4 = -p*h - 1 for h.
1
Let s = -1 + -3. Let t be (0*2/s)/(-2). Let d = -32 + 40. Solve t = 3*h - d*h + 25 for h.
5
Let d = -32 - -37. Solve 0 = 2*b + 1 + d for b.
-3
Let w = 7 - 5. Suppose -a - w = -g, g = 2*a + 6 - 2. Suppose -28 = -g*t - 2*t. Solve -4*y - t = 6 for y.
-5
Let r(p) = p**3 + 6*p**2 + 5*p + 4. Let h be r(-5). Suppose 4*x + 3*s = s, h*s = 0. Solve 7*y - 3*y = x for y.
0
Let s(d) = -d**2 + 11*d - 18. Let u be s(8). Solve r + r = -u for r.
-3
Suppose 0*m - 8 = -2*m. Suppose -3*z = -w - 7 - 4, -2*z - 16 = m*w. Suppose q = 3*q. Solve -z + q = 2*a for a.
-1
Suppose -12*c + 17*c - 20 = 0. Solve 0 = -s - 7 + c for s.
-3
Let a be (-25)/(-75) + (-5)/(-3). Solve a = -2*r - 6 for r.
-4
Let s(l) = l**3 - 7*l**2 + 7*l - 3. Let j be (-2 + 3)*(-12)/(-2). Let p be s(j). Let r be 6/18 - (-1)/(-3). Solve r = -p*z + 2 + 4 for z.
2
Suppose -m + 5*f = 6, 0*m - f + 10 = 2*m. Suppose 2 - 14 = -m*x. Suppose 2*w + x*g + 3 = 0, 5*w + g - 31 + 6 = 0. Solve -w - 4 = -2*l for l.
5
Let r(g) = 13*g**2. Let f be r(1). Suppose -d - f = -19. Solve h = d - 3 for h.
3
Suppose h = 2*p - 12, 0 = p + p + 3*h - 28. Let j(m) = -m**2 + 9*m + 8. Let w be j(p). Solve 4*x - 4 = -w for x.
-3
Suppose -w - 2*n + 9 = 0, -2*w = w + 5*n - 26. Solve -4*q = 3 - w for q.
1
Suppose 0*t = 4*t + 6*t. Solve -4*x - 2 + 10 = t for x.
2
Suppose 4*v - 3 = -19. Let b be -7*(v + 2 + 1). Solve 2 = 5*d + b for d.
-1
Suppose -11*i + 9*i = 0. Solve i*k - 2*k - 8 = 0 for k.
-4
Suppose -4*j = -16 + 4. Solve j*m = 2*m for m.
0
Suppose -5*o - 2*s + 50 = 0, 8 - 27 = -2*o - s. Let u = -4 + o. Let v = u + -6. Solve v*c - 4*c = 8 for c.
-4
Let x = 101 - 98. Solve -n = -1 + x for n.
-2
Suppose -i = 3*n - 16, -2*n + 5*i = -5 - 0. Suppose -j + n = 2. Suppose -2*a + 5 = -j. Solve 0 = a*o - 0*o - 4 for o.
1
Let r(z) = z**2 + 7*z - 8. Let u be r(-8). Suppose 0*j + 2*j = u. Solve -s = -j*s for s.
0
Suppose 4*b = 5 + 23. Suppose -z - b = -2*j - 2*z, -2*z = -3*j. Suppose 0 = -y + 4 - j. Solve -r - 3 = y*r for r.
-1
Suppose -3*t + 3*s + s - 9 = 0, 2*t = -4*s - 26. Let z = 5 + t. Let a be z*(-3 - -1*2). Solve 0*v = -a*v for v.
0
Let u be (-1)/6 - 31/(-6). Solve 0*m = -u*m for m.
0
Let m be -3 + 3/(-4)*-4*1. Solve 5*a + 11 + 9 = m for a.
-4
Let z = 96 - 91. Solve 8 = -z*f + 3*f for f.
-4
Let c(y) = -y**2 + 5*y + 2. Let x be c(5). Solve -x*j = -6*j - 4 for j.
-1
Let x be 330/21 + 4/14. Suppose 5*b - 4*d = -10, -4*b - x = -5*d + 1. Solve -b = g + 2 for g.
-4
Let j(g) = -3*g**2 + 4*g - 3. Let q be j(3). Let f = 31 + q. Solve f = 4*b - 3 for b.
4
Suppose -2 = l - 8. Let a be l*2/(6 + 0). Let p = -2 + a. Solve p*q + 4*q + 4 = 0 for q.
-1
Let p(w) = w**3 + 11*w**2 - 12*w + 5. Let k be p(-12). Solve -o + k = -6*o for o.
-1
Let v be 3 + -12 - (-1 + 2). Let y be (-54)/(-30) - 2/v. Solve -4*t - 2 = -y*t for t.
-1
Let t(p) = -p - 2. Let q be t(-4). Let x be 1 - -2 - (-3 + q). Solve 3*m - x*m = -3 for m.
3
Let a(x) = -x**3 + 18*x**2 + 19*x + 2. Let l be a(19). Solve l - 17 = -5*z for z.
3
Suppose -i + 20 = -4*o, 5*i + 2*o = 27 + 7. Solve 0 = 2*a - 6*a - i for a.
-2
Let p(f) = 3*f**2 - 2*f + 1. Let d be p(0). Solve 4*a = -5 + d for a.
-1
Let d(k) = k**2 - 7*k. Let a be d(7). Solve a*f + 3 = f for f.
3
Let l be (-3)/4*1*-4. Suppose 2*g = -l*g. Solve g*j + 5*j - 5 = 0 for j.
1
Suppose -v = 2*v. Solve v = -3*u + u - 6 for u.
-3
Let a = -8 + 10. Solve a*s - 16 = -2*s for s.
4
Let p be (0 - 0/3) + 2. Suppose p*b - 18 = -b. Let v(h) = -h + 6. Let d be v(4). Solve -j - d = -b for j.
4
Let v = 6 - 4. Let n be (-5)/(-3)*90/50. Solve n*y = 1 + v for y.
1
Suppose 4*y - 32 = 3*i, 0 = 4*y + y - i - 40. Let b be 3/(-9) - y/(-6). Solve -b = -n + 3 for n.
4
Suppose -3*t + 5*t = 14. Suppose 2*h = 1 + t. Suppose -4*d = i + 6, i + d - h = 5. Solve 0 = -4*m + 2 - i for m.
-3
Let w = -19 - -16. Let m be (1/w)/(1/(-3)). Solve -2*r - 11 = -m for r.
-5
Suppose y = -3*y + 8. Suppose 5*t - 27 = -n - 2*n, 4*n = 2*t + 10. Solve -y*x + t = -x for x.
3
Let i(m) = -m - 3. Let f be -4 - 1*(1 - 0). Let y be i(f). Let u be y/(-4) + 12/8. Solve 2*o + 5 = u for o.
-2
Let k be (26/(-3))/(38/(-57)). Solve -k - 7 = 4*o for o.
-5
Let o be (-8)/6*435/10. Let h = o + 91. Solve 5*b - h = -8 for b.
5
Suppose i = -3*i + 52. Let g be (-4)/26 - (-197)/i. Solve -3*u + g = -0*u for u.
5
Suppose 4 = 5*c + 4*p - 3*p, -c - p + 4 = 0. Suppose c*o - 12 = -4*o. Solve -o*j + j = 0 for j.
0
Let u(h) = -h**3 - 12*h**2 - 12*h - 9. Let m be u(-11). Solve n + 0*n = m for n.
2
Let s(z) be the third derivative of -1/12*z**4 + 0 + 1/60*z**5 - 1/2*z**3 + 2*z**2 + 0*z. Let p be s(3). Solve 0 = -d + 4 - p for d.
4
Suppose -23*y + 60 = -78. Let i(c) = -c**3 + 3*c**2 + 3. Let o be i(3). Solve -15 = y*f - o*f for f.
-5
Let x = 96 + -85. Suppose 0*c - 3*c + 6 = 0. Solve 3 = -c*j + x for j.
4
Suppose -3*f - p - p = -98, -5*f = 3*p - 162. Suppose 0 = 2*u + 3*u - f. Solve k = -2*k + u for k.
2
Suppose -2*w + 12 = -6*w - 5*b, -b = 4. Let d be ((-6)/(-15))/((-4)/(-20)). Suppose 0 = w*r + 4*v - 40, 5*r = d*v + 44 - 4. Solve k - 6*k = r for k.
-2
Let x(j) = -j**2 - 1. Let v(d) = -d**2 - 3*d - 3. Let i be v(-2). Let r be x(i). Let s be (-2 - r)/3 - -4. Solve 1 = -q + s for q.
3
Let j(f) = -2*f**2 + 4*f - 3. Let u be j(2). Let s = -6 - u. Let d(k) = k**2 + 2*k - 1. Let w be d(s). Solve -12 = -r - w*r for r.
4
Let a be (85/(-34))/(10/(-8)). Solve a*k = 3*k for k.
0
Suppose b + 0*y - 16 = 4*y, -3*b + 3*y + 21 = 0. Solve 2*g - b + 2 = 0 for g.
1
Let k be 2/3 + 56/6. Suppose -k = -4*y + 2. Solve y - 5 = -q for q.
2
Let y(v) = -v - 3. Let c be y(-12). Let u(q) = -q**2 + 7*q + 10. Let n be u(8). Solve -m + c = n*m for m.
3
Suppose -8 = 2*y + 2*v, 16 = 5*y - 5*v + v. Suppose 5*s - 25 = -x, x + 11 = 4*s - y*s. Solve -2*u + u + s = 0 for u.
4
Let x = -17 - -26. Suppose 0 = -4*s - 5*g - x, -5*s - 7*g = -3*g. Solve -f = -s*f + 6 for f.
2
Let j = 7 - -5. Let l = j - 7. Suppose l*i - 2*k = 20, k + 24 = 2*i - 3*k. Solve i = -0*r + 2*r for r.
1
Let c be (40/(-12) - -3)*-15. Let y(u) = -6*u + 8. Let s be y(-6). Suppose -5*z + s = 2*o, -4*z + 7*z + o = 27. Solve z = -3*w - c for w.
-5
Suppose -2*s + 2*u + 60 = 0, -3*s + 94 = -4*u + 9. Let k be 3/(-5) + 126/s. Solve -k*f - 2*f = -15 for f.
3
Let s be (-2)/1*(-11)/(-11). Let l be 9/s*(-28)/21. Solve -l = 2*a + 2 for a.
-4
Let i = 18 + -17. Solve 0 = 5*x + i + 4 for x.
-1
Suppose 2*f + 9 = 27. Suppose -f = -5*q + 6. Let z = 5 - 3. Solve t + z*t = -q for t.
-1
Suppose 0 = 2*m + 2*m - 20. Let h(f) = f**2 - 3*f + 2. Let d be h(2). Let i = 2 - d. Solve 7*z = i*z + m for z.
1
Let h(m) = 2*m**2 + 9*m + 7. Let j be h(-6). Let x(r) = -r**3 - 4*r**2 - 2*r + 7. Let s be x(0). Solve -s*z = -2*z - j for z.
5
Let t = 93 + -87. Solve 24 = t*q - 6 for q.
5
Suppose -5*u + u = -32. Suppose 0*y + u = -2*y. Let c be y*-2*(-3)/(-6). Solve c*i + 0 = -8 for i.
-2
Let w(t) = t**3 + 4*t**2 - t - 4. Let c be w(-4). Solve -6 = 3*p - c*p for p.
-2
Let j = -24 - -5. Let r = 23 + j. Solve 0 = r*u - u for u.
0
Suppose -2*p + 3*v = 3, -4*p - 13 = -7*p + v. Let x be (p/(