be (4/8)/1*(10 + -2). Suppose -5*q = m*y + 20, q - 2 = 5*y + 23. Solve q*u + u = 5 for u.
5
Suppose 8*b + 171 - 219 = 0. Solve b*p = -58 + 34 for p.
-4
Suppose 4*d - 26 = 3*d + s, 4*d - 96 = -4*s. Let t be (0/1)/(3/(-3)). Solve -d = -5*a - t*a for a.
5
Let k(q) = q**3 + 6*q**2 - 13*q - 66. Let n be k(-6). Solve n*y - 3*y - 9 = 0 for y.
1
Suppose 4*q - 3*n - 22 = 0, -4*n - 7 = -q - 8. Solve q*j = 51 - 16 for j.
5
Let y = -4 + 0. Suppose -8 = -5*j + 3*j. Let a be y/6*(-6)/j. Solve 5*f + a = -4 for f.
-1
Let l(y) = 3*y**2 + 12*y + 47. Let h be l(-3). Solve 0 = 4*s - h + 54 for s.
-4
Let f be 7 + -8 - 4*-1. Suppose -37*s - 2 = -38*s. Solve -n = -s + f for n.
-1
Suppose b + 15 = -5*l, 4*b + 15 = 4*l - 9*l. Let y(t) = 2*t - 11. Let c be y(l). Let m = -17 - c. Solve -5*k + 0*k - 5 = m for k.
-1
Suppose 2*w + 3*i = 4*w + 11, -8 = 5*w - i. Let c be (w + 1)/2 + 3. Solve -a + 2 = -c*a for a.
-1
Suppose 0 = x - 4. Let u(t) = 2*t - 9. Let k be u(6). Let j be (-2)/((-8)/12*1). Solve k*v - x*v = -j for v.
3
Let v be 1 - 2*4/(-4). Suppose 3*f = -2*o + 20, 4*f + o - v = 22. Solve -2 = -r - f for r.
-4
Suppose -l - l = 2*l. Solve l = 9*p - 4*p + 25 for p.
-5
Suppose 0 = 41*g - 44*g + 12. Suppose -4 = -g*o + 8. Solve -o*r + 7*r + 16 = 0 for r.
-4
Suppose 10*y - 15*y = 5*z - 245, -3*z + 47 = y. Solve 42 = -4*g + y for g.
2
Let s = 25 + -23. Suppose -2*x = -s*a + 12, 0 = -a - x - 2 - 0. Solve -1 = -a*r - 3 for r.
-1
Let u be 6/(0 + -6)*0. Solve u = 5*o - 0*o for o.
0
Let x(l) = l + 4. Let z be x(-4). Let s = z - 0. Let m(q) = 3*q**2 - 54*q - 428. Let r be m(-6). Solve s*v - r*v = -4 for v.
1
Let c be (70/(-84))/(1/(-18)). Solve -2*o + c = -5*o for o.
-5
Let n = -30 - -35. Let r(k) = k**3 - 4*k**2 - 6*k + 11. Let c be r(n). Solve -3*m + 0 + c = 0 for m.
2
Let l(j) = -j**2 + 2. Let u be l(0). Solve -10*a = -u + 32 for a.
-3
Suppose -52 = 8*q - 132. Solve -12*z + q*z + 8 = 0 for z.
4
Let a(w) = 4*w + 4. Let n be a(4). Suppose 0 = 4*q - 4*d - 0 - n, -q - 4 = -4*d. Suppose -7*z + 10*z - 5*x - 5 = 0, -10 = -5*x. Solve -3*o - q = -z*o for o.
4
Let o be 1 + 1738/55 + (-2)/(-5). Solve -6*y + 9 - o = 0 for y.
-4
Let g be 3 - (2 + (-9)/3). Let n be (-1056)/(-77) - g/(-14). Suppose 3*w = -n + 38. Solve -w*c = -3*c for c.
0
Let f be 3*(2 - 24/(-9)). Suppose 11*q + 12 = f*q. Suppose 0*v = 2*v. Solve -q = 2*w - v*w for w.
-2
Suppose 8*s = 10*s - 3*l + 16, 0 = -5*l + 10. Let q be 19/3 + ((-20)/6)/s. Solve -4*x - q - 9 = 0 for x.
-4
Suppose 225 = 14*z - 251. Solve 26 = 4*y + z for y.
-2
Let b(c) = -c**2 - 13*c - 14. Let i be b(-10). Suppose o - i = -11. Solve -4*g + o = -11 for g.
4
Suppose -x + 2*x + 3 = 0. Let t = -3 - x. Let m be 9 - -1*(t - -1). Solve 5*b + m = -5 for b.
-3
Let q(d) = 5*d + 4. Let m be q(0). Solve -7*p = -m*p for p.
0
Let v(k) = k**2 - 8*k + 13. Let a be v(6). Solve -a = -4*f + 15 for f.
4
Let d(s) = 189*s - 943. Let g be d(5). Solve 15*y - g = 17*y for y.
-1
Let c(o) = 2*o + 28. Let h be c(-13). Solve -p - h = 3 for p.
-5
Let u be ((-2)/(-28)*4)/(5/70). Let p be (12/u - 1)/((-2)/(-3)). Solve 1 = p*f - 14 for f.
5
Let w(z) = -z**2 + 15*z - 16. Let q be w(15). Let b(d) = d**2 + 18*d + 35. Let x be b(q). Solve -l + 2 = -x for l.
5
Suppose -16 = 4*x + 20. Let k be (-4 - x/3) + 3. Solve -w + 12 = k*w for w.
4
Let p = -358 - -358. Solve 0 = -10*x - p + 50 for x.
5
Suppose 0*x - 40 = -5*u + x, -4*u - 3*x = -13. Let d be 6/(-21) + 23/u. Let j be ((-2)/7)/((-345)/(-35) + -10). Solve j*h = d*h - 4 for h.
4
Suppose 3*l - 6*l - 5*w = -82, -2*l = w - 50. Let z = -10 - 12. Let u = z + l. Solve 3*t - u = -8 for t.
-2
Let a(g) = g**2 + 4*g - 14. Let r be a(-7). Solve 13 = 2*u + r for u.
3
Let b = -26 + 20. Let d = b - -9. Solve d*t = 2*t - 2 for t.
-2
Suppose 5*s + 4*d = 30, 4*s - 5*d - 19 - 5 = 0. Solve s = 16*g - 74 for g.
5
Suppose 3*r = r + 14. Suppose 3 = q, -q = -4*h + 2*h + r. Let c = h - 3. Solve 0 = -c*d - d - 12 for d.
-4
Suppose 3*o - 216 = 7*o. Suppose -88 = -4*m + 8*m. Let v = m - o. Solve 0 = -4*j - 12 + v for j.
5
Suppose 0 = 2*u - 4*y - 2, -3*u + 4*y - 3 = -8. Let x = 11 - 7. Solve -u = -o - x for o.
-1
Let z be (-56)/(-98)*(-14)/(-4). Solve -z*w - 17 + 9 = 0 for w.
-4
Let y(t) = -9*t**2 + 31*t - 33. Let n(h) = -5*h**2 + 16*h - 17. Let r(i) = 11*n(i) - 6*y(i). Let o be r(-8). Let j = o - 25. Solve 0 = -j*d + 2 - 8 for d.
-3
Let z = -248 + 267. Solve 17*o + 2 = z*o for o.
1
Suppose 0 = 4*f + 8, 0*h - 3*f - 16 = -2*h. Suppose 4*w + 3 = h*w. Suppose 0 = v - 5*i - 17, 0 = 5*i - 1 + 16. Solve -k = -w - v for k.
5
Let t = -31 + 33. Let y be (t + -3)/(32/(-6) + 5). Solve 12 = 7*a - y*a for a.
3
Suppose 2*m + 2*m - 16 = 0. Suppose 3*g = a + 3*a + 64, -2*g = 2*a - 24. Solve -4*j = m + g for j.
-5
Let p = -5833 + 5837. Suppose 4*o - 2*l - 34 = 0, -l + 2*l = 1. Solve o = -p*q - 7 for q.
-4
Let x(l) = 37*l + 373. Let t be x(-10). Solve 0 = -t*a - a + 8 for a.
2
Let q = 414 + -405. Solve 0 = -q*b + 2 - 20 for b.
-2
Let c = -10 - -12. Let l = c + 1. Suppose -3*r - k = -0 - 23, -4*k - 4 = 0. Solve l*u = -u + r for u.
2
Suppose k + 22 = 5*l + 11, -5*k - l = -75. Solve -2*p = -9*p - k for p.
-2
Let j be 0/(-2 + 2 + -1). Suppose -u + 2 + 0 = j. Suppose -4*v = -10 - u. Solve -7 = 2*r - v for r.
-2
Suppose -9*v - 30 = -4*v. Let m be 150/(-18) + (-8)/v. Let x = m - -9. Solve 7*s = x*s for s.
0
Suppose 5*o = 9*o - 12. Suppose -4*t - 22 = -o*p, 3*p + 0*p - 5*t = 26. Suppose -3*l - 4 = 2, p*w - 3*l - 6 = 0. Solve 2*a = -w*a - 6 for a.
-3
Suppose 14 + 46 = 12*y. Suppose -a + y + 4 = 5*x, -3*x - a + 7 = 0. Suppose -u = -l + 6 - 1, 0 = -4*l + 3*u + 20. Solve l*r = -4 - x for r.
-1
Let a be 3/(-4) + 492/16. Let g = 34 - a. Solve -g - 2 = -3*n for n.
2
Suppose -16*x + 12 + 4 = 0. Solve 2*l + x = 9 for l.
4
Suppose 0 = 5*d - 15, 4*g - 4*d = 75 - 7. Solve 18*c = g*c - 4 for c.
2
Let c = 111 - 91. Solve -30 + c = 5*y for y.
-2
Let h be ((-20)/60)/(1/(-12)). Solve 3*z - 1 = h*z for z.
-1
Let g(u) = 8*u**2 - 2*u + 3. Let d be g(2). Let c(o) = o**3 + 4*o**2 + 4*o + 3. Let h be c(-2). Let n be h*(-5 - 80/(-12)). Solve -n*r - 6 + d = 0 for r.
5
Let d(k) = 13*k + 30. Let s be d(-6). Let w be 9/4 - (-12)/s. Solve -3*t + 15 = w*t for t.
3
Suppose 2 = -2*c + 10. Suppose -11 - 1 = -c*h. Suppose -17*m = -12*m - 5. Solve n + m = h for n.
2
Suppose 5*h - 61 = 109. Let r = h - 32. Solve -5 = s - r for s.
-3
Let d(r) = -r**3 - 9*r**2 - 11*r - 22. Let j be d(-8). Let b = 10 - 6. Solve j*t - b = 2 for t.
3
Let k(c) = 6*c**2 - 9*c + 17. Let o be k(4). Solve 0 = d - 79 + o for d.
2
Let m(a) = 13*a**2 + 15*a + 22 - 6 - 14*a**2. Let x be m(16). Let c be 0/((-1 + -1)/(-2)). Solve x = -c*s + s - 3 for s.
3
Let x(s) = s**3 - 3*s**2 + 8*s - 10. Let t be x(4). Solve -t*d = -49*d for d.
0
Let p be (-171)/12 + 3/12. Let q(l) = 3*l**2 + 15*l - 17. Let y(c) = c**2 + c + 1. Let w(k) = -q(k) + 2*y(k). Let h be w(p). Solve -h*b - 5 = 5 for b.
-2
Suppose -52 = -0*f - 2*f - 2*q, 3*f - 82 = -5*q. Solve -7*k + k = f for k.
-4
Let x be -10*((-4)/(-8) - 1). Suppose -o + 1 = -x. Solve o*c = 3*c for c.
0
Suppose 20 = 5*l, -5*w - 33 + 64 = -l. Suppose z = 3*z - 10. Suppose -z = -3*c + w. Solve -2*h + 0*h + c = 0 for h.
2
Let d(a) = -85*a**2 + 6*a + 7. Let g be d(-1). Let v = g + 89. Solve -v = 3*o - 2*o for o.
-5
Suppose 0*u - 11*u = -33. Solve 0 = -u*g - 3 for g.
-1
Let s be (0 - 1)/(9 - 192/21). Solve 11 + 24 = -s*y for y.
-5
Suppose 14*y = 151 + 45. Suppose y = 4*u - 2*q - q, 5*u - 18 = 4*q. Solve -u = -s - s for s.
1
Let h = 296 - 293. Solve -2*y + h = 13 for y.
-5
Let g be 63/(-28)*(19/(-3) + 1). Let t be (0 - (-18)/g)*2*1. Solve -t*d = 7 + 8 for d.
-5
Let v be 15/6 - 3/(-6). Suppose v*n - 18 = n. Suppose 3*m + n = -q, -9 = -5*q - 0*q + 3*m. Solve w + 0*w - 5 = q for w.
5
Let g(f) = 19*f**2 + 2*f + 1. Let w be g(-1). Let d be ((-7)/(-21))/(2/w). Suppose 2*b - 3*r - d = -4, 3*b - 3 = 3*r. Solve -b*y - 3 = -y for y.
-1
Suppose 46*q - 120 = 34*q. Solve 106*g - 111*g = q for g.
-2
Let g = -1200 - -1203. Solve 4*l - g*l + 6*l = 0 for l.
0
Let q(r) = r**2 - 6*r + 6. Let k be q(6). Suppose -24 = k*g - 8*g. Solve -4*m + 7*m = g for m.
4
Suppose 40 = 3*h - 20. Suppose 0 = 4*a + 2*o - 16, 2*a = 6*a + 3*o - h. Solve g - a = 2 for g.
4
Let v = 8 + -7. Suppose -q = 4*y + 3, -q + 5*q + y = 18. Suppose -3*a - q*s - 12 = 0, -s + v - 2 = 