olve n = -a*s + 9*s for s.
1
Let h = 442 + -433. Solve 0 = -h*p + 7*p - 4 for p.
-2
Suppose 5*c - c = 16, 4*l = c - 16. Let x be ((-28)/12)/(1/l). Solve 4*m + 1 = -x for m.
-2
Let i = 2516 - 2459. Solve 0 = 12*v + i - 9 for v.
-4
Let r be (4/8)/(3/18) + 12. Solve -11*k = -r*k + 8 for k.
2
Let y = -213 + 218. Solve 4*w = 13 - y for w.
2
Suppose p - 54 = -p. Let g be (-2)/6 - 56/(-24). Suppose g*s - 55 = -3*s. Solve 4*i - s = -p for i.
-4
Let x = 2 - 0. Let a be (2/(-3))/(4/30)*-1. Suppose a*m + x*r - 37 = 0, m + 3*m - 48 = 3*r. Solve k + 2*k = -m for k.
-3
Let i(d) = -2*d**2 - 11*d - 8. Let b be ((-3)/(-2))/((-30)/80). Let g be i(b). Solve 3 = p + g for p.
-1
Suppose -2*t + 0*t - 2*y + 2 = 0, -t - 4*y = 14. Suppose 0 = -t*r + 118 + 32. Let k = r - 23. Solve 0 = k*q + 3*q for q.
0
Let d(v) = 5*v**3 - 3*v + 1. Let r be d(2). Let i = 17 + r. Let b = i + -27. Solve -3*p - 2*p = -b for p.
5
Suppose -5*j + 7 = 3*s, 3*s - 2*j = 6*s - 10. Suppose 0 = s*k + 2 - 18. Solve -3*p + k = 13 for p.
-3
Suppose 99 - 27 = 4*p. Suppose -w - w - 3*c = -p, 3*w + 3*c - 24 = 0. Solve -2*f = -4*f - w for f.
-3
Let w(n) = 4*n**2 + 89*n + 31. Let v be w(-22). Solve -v*k + 5 + 13 = 0 for k.
2
Let g = -1427 + 1495. Solve 10 = g*z - 70*z for z.
-5
Let m be 14/6 + (-4)/(-6). Let d = -233 + 237. Solve 0 = m*y + d + 5 for y.
-3
Let n(r) = -5*r + 144. Let h be n(28). Solve -2*f = -3*f - h for f.
-4
Suppose 2*o - 4*f = 3*o + 8, 70 = 5*o - 2*f. Let n = 6 - 6. Solve n = -0*w - 4*w + o for w.
3
Suppose 33*o + 9 = 36*o. Let s be ((-1)/o - 0) + (-3)/(-9). Solve s = 2*t - 3 - 5 for t.
4
Let q be (-12)/((-2 - 3) + 2). Solve -70*c + q = -68*c for c.
2
Let q be (9/(-30)*2)/((-2)/20). Let k = -43 + 46. Solve -k*f = -0*f + q for f.
-2
Let o(n) = 3*n**2 + 7*n + 2. Let p be o(-3). Solve -b = -5*b - p for b.
-2
Let w be (-42)/(-3)*60/70. Let h(s) = s**3 + 3*s**2 - 1. Let u be h(-2). Suppose 0 = -u*n - 9, -2*x = n + n + 2. Solve -m - w = x*m for m.
-4
Suppose -b = 3, -4*o + b + 83 + 24 = 0. Suppose -2*c + l + o = c, 2*c - 10 = -3*l. Let z be (0 + c/20)*5. Solve -2*n = -0 - z for n.
1
Suppose 5*o + 3*z + z = 70, 0 = -3*z + 15. Suppose 0*n = -n + x, 3*n + 2*x = o. Solve 4*s - n*s + 10 = 0 for s.
-5
Let g(m) = 2*m**2 + 12*m - 14. Let w be ((-7)/(-2)*-1)/((-19)/(-38)). Let j be g(w). Solve j = 3*f + 2 + 4 for f.
-2
Suppose c + 5 = 2*y, 0 = -3*c - c + 4. Suppose -93 - 87 = -y*h. Suppose -5*l + l + h = 0. Solve 3*j - l = -0 for j.
5
Suppose -4*q + 40 = -6*q. Let l = 21 + q. Solve -16 = -5*u - l for u.
3
Let m be 12 + 3*48/36. Solve 16 = -m*v + 8*v for v.
-2
Let u be -1 - (15/10)/((-3)/20). Let q be u/(-18) + (-2)/(-4). Solve 3*b + q*b = -3 for b.
-1
Let f(q) = -4*q - 36. Suppose 8*s + 51 + 21 = 0. Let c be f(s). Solve c = -4*r + 3*r - 2 for r.
-2
Let f = 265 + -263. Solve f*c = -3*c - 10 for c.
-2
Suppose k - 267 = 5*z, 86*k - 85*k = z + 259. Solve -249*s - 24 = -k*s for s.
3
Suppose -82*q = -81*q - 2. Solve -f + q*f = -4 for f.
-4
Let v be (1 - (-60)/3)*(-1)/(-3). Suppose 5*c = v*c - 6. Solve 2 = w - c for w.
5
Let f be (-2)/4*(-21 + 25)*-1. Solve -2*r + 8 = f*r for r.
2
Let m be 15/(-25) - ((-104)/(-20))/(-2). Solve 0 = -2*v - 9*v + m*v for v.
0
Suppose 4*g = 3 - 7. Let s be g*(-10)/(-15) - (-42)/9. Solve s*p - 3 = 3*p for p.
3
Suppose -5*s - 3*n + 28 = 0, 5*s - 21 = -4*n + 3. Solve -2*c - s = -6 for c.
-1
Let g(r) = 8*r - 7. Let y be g(2). Suppose 0 = 5*x - 61 - y. Suppose 3*u - t - 19 = 0, u - 2 = 4*t - x. Solve 12 + u = -5*d for d.
-4
Let r = 421 - 420. Solve -a - 5 = -r for a.
-4
Let i(m) = m**2 + 35*m - 621. Let c be i(13). Suppose -28 = -4*f + 12. Solve 0 = c*g - g + f for g.
-5
Let m = 1021 + -989. Solve 37*a - 45*a = m for a.
-4
Let d(j) = 4*j**2 + 2*j + 2. Let t be d(2). Suppose -30 = 16*p - t*p. Solve 4 = p*g - 21 for g.
5
Suppose -a = 2*a. Let f be a*2/4 + 2. Let o = 542 - 537. Solve 7*g = f*g - o for g.
-1
Let g be (-5 - ((-20)/4)/1)/2. Solve 0*q = -g*q + 5*q for q.
0
Suppose a = -0*a + 4*g + 17, a + 3*g + 4 = 0. Let k be 0 + 71 - (-1 - -2). Suppose 5*h = -a*q + k, -h + 38 = 2*h + 5*q. Solve -h = -4*i + 4 for i.
5
Suppose -14*r + 7*r = -714. Let l = r - 97. Solve -14 = -3*g - l for g.
3
Let m = -44 + 48. Suppose -5*t - 20 = 0, m*c = 7*c - 5*t - 26. Solve -3 - 3 = -c*r for r.
3
Let j(y) = 15*y**2 + 2*y - 1. Let a be j(1). Let i = -70 + 81. Suppose 0 = p + d - i, -3*p + 5 = -d - 8. Solve -p = 5*u - a for u.
2
Suppose 0*t - 2*t = h - 18, 4*t - 42 = h. Let d = -6 + 22. Let o = d - t. Solve 15 = -s + o*s for s.
3
Let x(v) = v**3 + 8*v**2 + 3. Let y be x(-8). Let l be (3 + -3)/y + 15. Let g be 6/15 - 6/l. Solve -b + 5 + 0 = g for b.
5
Suppose 19 = 5*i - 1. Let h(p) = 2 + p + 7 + i. Let k be h(-13). Solve k = -5*f - 3 - 17 for f.
-4
Let f(i) = 6*i - i + 3*i + 7 - 9*i. Let g be f(5). Solve -2 = g*y - 0 for y.
-1
Let h = -8 - -12. Solve 0 = 2*y - h + 12 for y.
-4
Let w = 2381 - 2361. Solve -31*c = -21*c - w for c.
2
Let q(u) = u. Let k be q(5). Suppose -3*h + 18 - 9 = 0. Let z be (-6 - 2)/(-2) - h. Solve k*f = -14 - z for f.
-3
Suppose 0 = -3*q + 3*k + 9, -3*q + 2*k + 2 = -6. Suppose m - z - 16 = -3*m, -q*z - 2 = 2*m. Solve m = 2*l - l for l.
3
Let x(d) = -2*d**2 + 12*d - 4. Let z be x(5). Let t(h) = 3*h - 1. Let s be 1/(1 - 1/2). Let m be t(s). Solve -9 = m*i + z for i.
-3
Suppose 0 = 5*v - 5, -5*v + 8*v = -3*n + 12. Let i be (-6 - -2)*(-1)/2. Solve n = i*u - 1 for u.
2
Let g be (-22)/(-5) - (-17)/(510/(-12)). Solve -8*b = -12*b - g for b.
-1
Let j = -7 - -11. Let n be ((-128)/(-72))/8 + 356/18. Solve 0*b = j*b + n for b.
-5
Let u(f) = f**3 - 5*f**2 - f. Let r be u(6). Let b = -25 + r. Solve b*t = 2*t - 15 for t.
-5
Let p(v) = 23*v - 803. Let n be p(36). Solve -n + 33 = -8*k for k.
-1
Let c be 3/(-4)*(-6 - -2). Let z = 5 - c. Let r = z + 11. Solve -5*y = r + 7 for y.
-4
Let l = 20 - 21. Let p = -1 - l. Solve p = 5*c - 2 + 7 for c.
-1
Suppose 2*z = -5*b + 270, 0 = 4*b - 3*z + 7*z - 216. Let w = b + -34. Solve w = -2*n - 2*n for n.
-5
Suppose 0 = -4*u - 3*u + 350. Suppose 11*k - u = k. Solve -7*n = -k*n + 10 for n.
-5
Let k = 2447 - 2434. Solve -13 = -k*g + 39 for g.
4
Let z be ((-11)/33)/(2/12). Let q(y) = y**3 + 4*y**2 + 6*y + 6. Let p be q(z). Solve u + 7 = p for u.
-5
Let d(x) = 6*x**2 - 3*x + 2. Let g(q) = -2*q**2 + q - 1. Let n(z) = 3*d(z) + 8*g(z). Let h be n(-2). Let s(p) = p - 4. Let a be s(h). Solve -3 - 1 = a*v for v.
-1
Suppose a = -4*t - 2 + 9, -4*t + 3 = 5*a. Suppose t*p + 2*s + 14 = s, 0 = -3*s - 12. Let u be 5 + p + (0 - -2). Solve 3*b = -u*b for b.
0
Let j = 21 - 9. Suppose -4*v = 32 - 8. Let y be 8/v*9/(-6). Solve -j = -y*h - h for h.
4
Let l(d) = 4*d**2 + 62*d + 66. Let f be l(-15). Solve f*t + 15 = 33*t for t.
-5
Suppose 3*k - 89 - 31 = 0. Let w = k - 38. Solve -r - w = 3 for r.
-5
Suppose 4*k = 4*u - 25 + 1, 3*k + 26 = 5*u. Let p = -5 - k. Let m be (-4)/(-6)*-1*p. Solve m*y - 1 = 1 for y.
1
Suppose 11 - 281 = -2*a. Let s = a - 132. Let r = -61 - -86. Solve -s*w = 2*w + r for w.
-5
Let o(r) = 3*r**3 - 17*r**2 - 5*r + 6. Let b be o(6). Solve 59*x + b = 62*x for x.
4
Let c be (-58)/90*-5 - 2/9. Solve -7*l + c*l = -2*l for l.
0
Let s = -32 + 37. Suppose s*d - 50 + 0 = 0. Solve 4*l = -l + d for l.
2
Let k(q) = 2*q - 2. Let v be k(2). Suppose -2*w = -4*u - 12, -2*u - v = -2*w + 2. Let i(c) = c**2 + 4*c. Let h be i(u). Solve h*g + 5*g = 0 for g.
0
Let h = 18 + -15. Let f = -7 + h. Let l = 8 - f. Solve l = -5*j - 13 for j.
-5
Suppose 5*y - 22 - 5 = -k, 2*y - 8 = k. Let v(c) = c**3 - c**2 + 6 + 0*c**3 + 2. Let m be v(0). Solve -m = k*j + 2*j for j.
-2
Let v = -2 - -2. Let w = -63 + 65. Solve -2*i + 0*i - w = v for i.
-1
Suppose 4*i - 6*i + 2 = 0. Suppose -c + 25 = 4*w, 4*w - 9 = 2*c + i. Solve w*x = 4*x + 4 for x.
4
Suppose -4*r - 18 = -6*r + 4*w, -3*w = 6. Suppose -3*q = -5*v + 2*q, 0 = -r*v - 2*q + 28. Solve 0 = -t + 2*t - v for t.
4
Suppose -13*j + 1 + 25 = 0. Solve x = -j*x + 9 for x.
3
Let o = 156 + -156. Solve -s - s + 6 = o for s.
3
Let g be ((-14)/3)/((-4)/6). Suppose 0 = 10*q - g*q. Solve 5*t = -q*t - 5 for t.
-1
Let n = 22 - 16. Suppose 0 = 4*u - n*u + 52. Let j = u - 26. Solve j*z - 6 = 3*z for z.
-2
Suppose -3*m - 3*k = -15, -2*k + 0 = -m - 7. Suppose -4*r = -19 - m. Suppose 0*z + r*z - 15 = 0. Solve -2*a = z*a - 20 for a.
4
Let a be ((-196)/(-12))/7 - 7/21. Solve -a