ve -a*s + 7*s + 22 = 0 for s.
1
Suppose -5*p = -p - 12. Suppose -1 = n - p*c + c, -c = -4*n + 10. Solve n*t - 17 + 5 = 0 for t.
4
Suppose -5*y = -2*z + 13, 98 = 5*z - 5*y + 13. Solve -z*t + 69 = -t for t.
3
Suppose 57*d - 113 = 5*d + 95. Solve -d*f = -7*f for f.
0
Suppose -2*s - 29 = -4*s - 25. Suppose 5*f - 8 = 2. Suppose -f*h + 0*b = 2*b - 12, -2*b = 5*h - 33. Solve h*p = 5*p - s for p.
-1
Let q be ((-40)/14)/(2/(-273)*3). Let b = q + -127. Solve -9 = 3*x - b for x.
-2
Let v(p) = -36*p + 2938. Let w be v(80). Solve w*z - 61*z = 12 for z.
-4
Let m(a) = a**2 + 17*a + 32. Let x be m(-14). Let l be -1*(-8)/x*-10. Solve -l*i + 15 = -11*i for i.
-5
Suppose 43*y - 88 - 177 = -7. Solve 704*s = 698*s - y for s.
-1
Let k = -3 + -1. Let l be -1 + 4 + k + 0 + 3. Let u be ((-18)/45)/(l/(-60)). Solve -3 = 3*b + u for b.
-5
Suppose -12*k - 5*g = -13*k + 34, -4*g - 16 = 0. Let o be (-2)/k + 2 + 100/14. Solve o = m + 8 for m.
1
Suppose 0 = -5*a, a = 3*n - 14 + 32. Let f be ((-3)/(-3 + 0))/((-3)/n). Solve -5 = 3*r + f*r for r.
-1
Let q(d) = -d**3 + d**2 - d - 2. Let l = -69 + 68. Let k be q(l). Suppose 5*c + k - 21 = 0. Solve c*g - 9*g + 10 = 0 for g.
2
Let b(d) = -2*d + 14. Let o be b(8). Let w(n) be the second derivative of n**5/20 + n**4/6 - n**3/2 - n**2 + n. Let m be w(o). Solve -x + m = x for x.
2
Let j(i) = -i**2 - 31*i + 2842. Let q be j(-71). Solve 7 = 5*d + q for d.
1
Suppose 61*t - 9170 = 34*t - 43*t. Solve w - 122 = -t for w.
-9
Suppose 4*o - 68 = -2*s, -44*s + 46*s = -o + 17. Solve 8*h + o = 9 for h.
-1
Let h(j) = -j**3 + 14*j**2 + 52*j - 16. Let g be h(17). Let v be (g - 10/14) + 272/28. Solve v*w - 27 = -7 for w.
2
Let g be 0 + ((-1)/(-3))/(1/42). Let s = g + -16. Let y be 0 + s - (0 - 2). Solve -4 = -y*r + 4*r for r.
-1
Let y(l) = l**2 - 44*l + 381. Let j be y(40). Solve -10*s = j - 171 for s.
-5
Let h = 11 - 6. Let f(d) = -8*d - 264. Let a be f(-39). Suppose a*v = 47*v + 11. Solve 0 = -h*z + v + 14 for z.
5
Suppose 0 = 10*w - 11*w - 3*b + 1, -w + b + 13 = 0. Solve -18*v = -w*v + 24 for v.
-3
Let v(u) = u - 9. Let g be v(18). Suppose -33 = -4*j - 5*h, -5*h - g = -2*h. Suppose -j*f + 0*f = -24. Solve -2*r - f*r = 8 for r.
-2
Let s(z) = -2*z + 33. Let u be s(11). Suppose u*b = 13*b. Solve -y + 2 = -b for y.
2
Suppose 20*a - 18*a + 8*a = 0. Let j be (-2)/(-4) - 1/(-2). Let f be (-2)/((-2)/3) - j. Solve a = u + f*u - 3 for u.
1
Suppose -2*b + 4*d + 73 = -d, 2*d = -6. Solve b*j = 24*j + 15 for j.
3
Let j be 3 + -4 + (3 + 4)*1. Solve 4 = -2*a + j for a.
1
Let f be ((-2)/4)/((-3)/150). Suppose 0 = -1377*k + 1381*k. Solve -5*q + k = -f for q.
5
Suppose -j - 5 = -2*j. Suppose j*v = -q - 4 + 19, 4*q = 5*v - 15. Solve v*w + 2 = 17 for w.
5
Let o be 1 + (3 - 8) + 4. Let d(x) = -x**2 + 18*x - 57. Let r be d(13). Let j be 3 + -2 + (r - 5). Solve 0 = -g - j - o for g.
-4
Suppose j + 5*m = -30, -9*j = -8*j - 5*m - 30. Solve j = -2*v + v + 3 for v.
3
Let h be 62/279*(-7308)/(-8). Solve 168 = -5*r + h for r.
7
Let g = 16304 + -16304. Let k be ((-2)/(-4))/(13/52). Solve k + g = -t for t.
-2
Suppose 142 = -77*x + 74 + 68. Solve x = 225*g - 219*g + 18 for g.
-3
Let o = 397 - 430. Let c be (0 - 0)/(8 + o/3). Solve 0 = -5*f - c*f for f.
0
Let c(k) = 21*k**3 - 3*k**2 - 2*k + 4. Let o be (-1)/2 + ((-54)/12 - -6). Let g be c(o). Solve l + 3*l = -g for l.
-5
Let u = -5 - -9. Suppose 41*c + 23*c = 86*c - 242. Solve c*t - u = 13*t for t.
-2
Suppose 0 = 80*g - 3628 - 2692. Solve -g*v = -300 - 253 for v.
7
Suppose 3*z + 106*p = 108*p + 32, -2*p - 8 = 0. Solve -9*d = -z*d - 3 for d.
3
Suppose 0*w - 2*w = -4. Let h(v) = 2*v**2 - 23*v + 8. Let r be h(12). Let z be (3 - (-108)/(-20))/((-8)/r). Solve 0 = z*g - w*g for g.
0
Let k(a) = -a + 7. Let b be k(7). Suppose p = -f, 3*f = -p - b + 8. Solve -4 = 5*r - f*r for r.
-4
Let y = 623 + -618. Suppose -44*j + 171 = -y. Solve -9*f + j*f = -5 for f.
1
Suppose -2*b - m = -60, 90 = -4*b - m + 210. Solve 0 = n + 14*n + b for n.
-2
Let f = -21897 + 21925. Solve -184 = f*m + 18*m for m.
-4
Suppose 3*j - 46 = 2*u, j + u + 3*u = 20. Let f = 20 - j. Let c be (-728)/(-126) - f/(-18). Solve -20 = -c*z + z for z.
4
Let d be (54/42)/((-4)/(-28)). Suppose -12*h = -3*h - d. Solve 3*w + 4 = h for w.
-1
Let l be (-11)/66 + 38/12. Suppose -f + 3 = -l*j, 5*j = 2*j - 15. Let p be 9/f - (-15)/20. Solve p*z - 4 = -4*z for z.
1
Suppose -6 = -5*r - 2*n + 4*n, 0 = -3*r - 4*n + 14. Let i be 354/(-14) - ((-36)/(-21) - r). Let p be (-7)/(35/i) - 1. Solve 0 = h + p*h for h.
0
Suppose j = -2*a + 13, 5*j = 4*a + 143 - 36. Solve j = -14*t - 51 for t.
-5
Suppose 3*c + 267 + 690 = 0. Let y = 321 + c. Solve y*a = a + 9*a for a.
0
Let i be -14 - -10 - -17 - 7. Solve 70 - 82 = -i*c for c.
2
Let l be 0/(16/40*(0 + -5)). Solve l = -19*z + 88 - 107 for z.
-1
Let f(x) = -2*x**3 - 20*x**2 - 46*x + 29. Let w be f(-9). Solve 0 = -13*g + 203 - w for g.
-6
Let n(u) = u**2 - 13*u - 530. Let f be n(-18). Solve f*x = 39*x - 11 for x.
1
Let t(g) = 2*g**2 + g - 75. Let k be t(6). Suppose -k*m + 19*f + 12 = 16*f, -f = 3*m - 16. Solve -n = -m*n for n.
0
Suppose -3*x + 5*u + 149 = 0, -4*u = 4*x - 85 - 103. Let t be (-5)/(-8) - x/(-128). Solve -2*o + 1 = -t for o.
1
Let l = -6 - -11. Let i(b) = 4*b + 119. Let p = -272 + 243. Let c be i(p). Solve 4 + l = -c*r for r.
-3
Suppose 5*m + 25 = o, 3*m - m - 67 = -o. Solve -o - 43 = -14*d for d.
7
Suppose 0 = 36*l - 14319 + 13311. Solve l = -13*q - 24 for q.
-4
Suppose -1182 = -50*b + 9*b - 34. Solve -9*f = -b*f - 19 for f.
-1
Let l = 3658 + -3605. Solve -49*w = -l*w - 4 for w.
-1
Let k(h) = -270*h + 555. Let m be k(2). Solve -6*w = -w + m for w.
-3
Let h be 12/(-140)*-5 - 108/(-42). Suppose 0 = o - 5*i - 1, -4*i + h*i = -5*o + 5. Solve 9 = -10*f - o for f.
-1
Let q be 1989/26*3/((-3)/(-2)). Let o = q - 127. Solve -o*c + 27*c = -5 for c.
-5
Let m(l) = l**2 + 12*l - 13. Let n be m(-13). Suppose 0 = -3*x - 11*f + 9*f + 16, n = -5*x + 2*f + 48. Solve x = -4*k - 12 for k.
-5
Let p = 623 + -610. Solve 0 = -p*z + 71 - 84 for z.
-1
Suppose 3*c - 3*u - 276 = 0, -4*c + u + 330 = -32. Let y be (-18)/21*(-1050)/c. Solve 4*h = y*h - 12 for h.
2
Let j(s) = -3*s - 2. Let q be j(-6). Suppose 2*k = -m + 5, 5*m - 2*k - 17 = -4. Solve -m*w = -4 + q for w.
-4
Let z(b) = -5*b + 30. Let j be z(6). Let a = 16 + j. Suppose r - 5*n = -16 - 0, -a = -3*r - n. Solve -f = -1 + r for f.
-3
Let f = 91 - 101. Let i be (2 - f/(-4))*44/(-11). Solve -m - m = i for m.
-1
Let m = 10298 - 10294. Solve 5831*w = 5832*w - m for w.
4
Let q(b) = 2*b**3 - 3*b**2 + 2*b - 2. Let v be q(2). Let s be (-9)/(-4)*(v + (-10)/3). Let m(l) = 3*l - 13. Let x be m(s). Solve 0*g - g = -x for g.
5
Suppose 8*k + 17 + 151 = 0. Let h be ((-100)/16)/((-2)/8). Let o = k + h. Solve -o*g = g for g.
0
Let p be 80/(-3)*(7008/(-160) + 39). Solve -154 = -13*u - p for u.
2
Let w be (-1 - -1) + (11 - 8). Suppose w*p - 12 = h + 1, 4*h = -5*p - 1. Solve -p*l - 2*l + 7*l = 0 for l.
0
Let r = 25601 + -25494. Solve 89 = -28*l - r for l.
-7
Let s = -30 - -35. Suppose -4*x + 21 = -3*i, 0*i + 3 = s*x + 4*i. Suppose -2 + 2 = -x*c. Solve -4*k + 7*k + 3 = c for k.
-1
Suppose 5 = m + x, -3*m = 120*x - 118*x - 12. Let u be 84/28 + (m - -1). Solve 0 = -n - u + 10 for n.
4
Let o(u) = 2*u + 30. Let j be o(-13). Suppose -4*y + j*v = y - 4, -5*v + 32 = 3*y. Solve 2*i - y = -0 for i.
2
Suppose 48*u = 93 + 99. Solve u*p + 1 - 9 = 0 for p.
2
Let l = 101 - 98. Let c be 5*l/45 - (-180)/27. Solve -9 - c = -8*u for u.
2
Let s be 1*160/48*(-3)/(-5). Solve s = 213*o - 212*o for o.
2
Suppose 143 = -4*r - 409. Let b = r + 146. Solve x + 7 = b*x for x.
1
Suppose -5*w + 11 = -0*w + 4*p, 5*p = -5*w + 15. Let l be ((-984)/3)/4 - -2. Let x be (1*w)/(8/l). Solve 6*c - x*c - 4 = 0 for c.
-1
Let i(p) = 19*p - 840. Let l be i(46). Solve -9*a + l = -20 for a.
6
Suppose 6*j = 2*j. Suppose -4*a - s + 2 = 0, 8*s - 8 = 3*a + 4*s. Solve j = -t - a*t for t.
0
Suppose -5*m + 44 = 17*m. Suppose 0 = c - m*a - 2, 6*c - 18 = c + 2*a. Solve c*n = 6*n for n.
0
Suppose 22 = 532*h - 530*h. Suppose -4*l - h = -43. Solve -119*c - l = -117*c for c.
-4
Suppose -139 = -56*v + 365. Solve y = v*y for y.
0
Suppose -3*c = 2*r, 2 = r + r + 2*c. Let y be 13 - 0 - (1 + 1). Suppose -r - y = -2*g. Solve -2*v - g = 1 for v.
-4
Let i(y) = 6*y + 56. Let s be i(-9). Let q(r) = 4*r