n for f.
6
Let o(y) = 4*y**2 + 155*y + 596. Let i be o(-4). Solve 10*p = -0*p + i for p.
4
Let w = 1192 + 195. Solve -1394*v + w*v = -21 for v.
3
Let x be (-2 + (2 - 1))*-1. Let j be 8/7 + (-351)/(-189). Suppose -j*s + 7 = x. Solve 0 = s*n - 7*n + 20 for n.
4
Suppose 0 = 31*l - 33*l. Suppose l = y - 2*g, -5*y + 5*g + 3 = -7. Suppose 17 = -c + 4*p, -y*c + 2*c = 5*p - 31. Solve -c*n + 7 = -2 for n.
3
Let z(b) = -10 + 15 + 47 + 3*b. Let n be z(-15). Suppose -3*u = -3*u + n*u. Solve u*t = -5*t + 25 for t.
5
Let y(b) = -b**2 + 12*b - 1. Let k be (-2)/(-6)*((-12)/(-3) - -29). Let f be y(k). Let h be 1*(-1*1 - (f - 12)). Solve 0 = -w + h for w.
1
Let s(i) = -129*i + 659. Let u be s(5). Solve 52 = -u*k + 27*k for k.
4
Let y = -12221 + 12228. Solve y*u + 141 = 155 for u.
2
Let g(y) = 6*y**2 - 621*y - 88. Let d be g(104). Solve 27*q + d = -q for q.
-8
Suppose -2*s - 2*g + 26 = 4, 4*s = -2*g + 34. Suppose s*n = -204 - 36. Let o = 42 + n. Solve -o*h = h - 6 for h.
2
Let b = -5314 + 5314. Suppose -3*x + 36 = -0*x. Solve 3*m + 0*m - x = b for m.
4
Let l = -2872 - -2876. Solve -13*v - 34 = l*v for v.
-2
Suppose -314*p = -316*p + 4. Suppose -24*y + 52 = p*y. Solve -4*n + 2*n = y for n.
-1
Let k(v) = 3*v**2 + 4*v + 13. Let r(n) = -4*n**2 - 6*n - 20. Let z(i) = -7*k(i) - 5*r(i). Let m be z(4). Suppose 0 = -6*p + 29 + m. Solve -2*a = -3*a + p for a.
5
Let b(n) = -13*n - 114. Let w be b(-15). Solve -w = 9*i - 81 for i.
0
Suppose n = 5*q - 120, 0 + 15 = 3*n. Suppose 8*m - 103 = 102 - 205. Suppose p - q + 9 = m. Solve 6*c = 2*c + p for c.
4
Let v(l) = -l**3 + 17*l**2 + 62*l - 40. Let y(x) = 20*x - 180. Let b be y(10). Let n be v(b). Solve n = 5*d + 35 - 10 for d.
-5
Let w = 246 + -197. Let t = 51 - w. Solve 3*v - 7 - t = 0 for v.
3
Let h(f) = 5*f + 19. Let c be h(-15). Let v be 165/7 + (-24)/c. Suppose 0 = 4*u + 4*u - v. Solve -l = -2*l - u for l.
-3
Suppose -4*t + 11*o - 7 = 10*o, 0 = -4*t + 5*o - 35. Solve -3*v - 42 + 24 = t for v.
-6
Let i = 8825 + -8777. Solve -113*r + i = -129*r for r.
-3
Let l = -4949 + 4981. Solve -50*a + l*a = 0 for a.
0
Let n be (-6)/(-39) + 57855/1235. Solve -n*i + 84*i + 185 = 0 for i.
-5
Suppose z = b - 88, 5*b = -4*z + b - 320. Let j be (-2)/7 + (-24)/z. Suppose -5*r + p + 12 = j, -2*p = -4*r + 3*p - 3. Solve 9 = 6*o - r*o for o.
3
Let y be (2 + -1 + 1)/((-2)/(-4)). Suppose 28 = 2*d - 4*p, -65 = -y*d + 5*p - 0*p. Solve 0 = 6*b - 2*b + d for b.
-5
Suppose 10*h + 0*h - 150 = 0. Suppose h - 3 = 2*d. Solve 2 = 4*j - d*j for j.
-1
Let x(q) = 2*q**2 + 85*q + 757. Let d be x(-30). Solve 157 - 108 = -d*w for w.
-7
Let s = 11 + -34. Suppose 21*m + 2*h = 24*m - 94, 3*m = -3*h + 99. Let u = s + m. Solve -2*q - u = -1 for q.
-4
Suppose -16*r - 28 = -18*r. Suppose -3*d + 4*m + 64 = 0, -d - r = 5*m - 29. Solve -6*s = -s + d for s.
-4
Suppose c + 5*c - 342 = 0. Suppose 58*a - c*a = 10. Solve a*p - 12*p = 0 for p.
0
Suppose -5*g + 83 - 19 = -3*h, 4*h + 3*g + 66 = 0. Let s be ((-180)/27)/(0 - (-4)/h). Suppose -27*y = -s*y. Solve 25 = 5*v - y for v.
5
Suppose 12*x = 14*x - 38. Suppose -17*r = -x*r + 36. Solve 8*q - 2*q - r = 0 for q.
3
Let h = 9 + -5. Let n = -438 - -410. Let i(t) = -t - 28. Let b be i(n). Solve -h*k + 9*k - 5 = b for k.
1
Let u = 7 - 11. Let l(a) = 8*a - 61. Let o be l(7). Let n be 3 - (2 + (u - o)). Solve 3*y - 5*y + 10 = n for y.
5
Let q(o) = o**3 + 5*o**2 + 5*o + 2. Let n be q(-2). Let w be 165/9 - (26/6 - n). Suppose -3*m + 30 = w. Solve -m*k = -3*k + 4 for k.
-4
Let f = 3638 + -3612. Solve -14 = f*n + 12 for n.
-1
Let i = -10269 - -10284. Solve 5*t + 0 = i for t.
3
Suppose 0 = 4*a + 5*u + 65, 0 = 3*a + 55*u - 53*u + 54. Let j(v) = v**2 + 11*v - 178. Let p be j(a). Solve p*n = 7*n for n.
0
Suppose v - 3*v + 64 = 0. Let n(k) = -2*k + 73. Let x be n(30). Suppose -x*f + v = -5*f. Solve 19 = -f*l + 3 for l.
-4
Suppose 5*n + 178 = 2*j, 0 = 8*n - 5*n + 3*j + 90. Let c = n - -41. Suppose -3*g - 4*f = -10, 5*g - c = 4*f - 1. Solve -5 = 7*o - g*o for o.
-1
Suppose -3*c = 3*p - 12, -p = 3*c + p - 15. Solve c*m - 51 = -65 for m.
-2
Let v = 533 + -513. Suppose -v*h + 168 = h. Solve -9 + 25 = -h*z for z.
-2
Let g = 4711 + -4685. Solve -g = 2*c - 38 for c.
6
Suppose 0 = 514*h - 498*h - 112. Solve 0 = h*x - 17*x + 10 for x.
1
Suppose 16*p = 116 - 20. Suppose -2*j + p = 0, 10 + 31 = 2*c + j. Solve 23*f - c*f = -8 for f.
-2
Let q(b) = -b**2 - 29*b + 132. Let t be q(-33). Solve t = 3*i + 6 - 18 for i.
4
Suppose -3*g + 4*o + 1 - 6 = 0, -3*g + 7 = 2*o. Let f be (g/(-2))/((-1)/58). Suppose 3*i = -5*y - 2, f = -5*i + 9. Solve -4 = 2*b - y for b.
-1
Suppose 8*l - 93 + 21 = 0. Let i(x) = 2*x - 20. Let p be i(l). Let a be ((-1)/2*0)/(p/(-1)). Solve a = -y - 3 + 5 for y.
2
Let j = 11575 - 11501. Solve 7*c - j = -30*c for c.
2
Let a = 254 + -252. Let x be 0 + a/6 - (-10)/(-30). Solve x = b + b for b.
0
Let u be (-163)/(5*(-6)/60). Let l = u - 324. Solve 5 = -l*i + i for i.
-5
Let t = -31 - -44. Suppose -u + 4*o + 19 = 0, -u + t = -3*o - 3. Suppose -u*h = -h. Solve -4 = 2*f - h for f.
-2
Let v(d) = d**2 - 6*d + 1. Let q be v(7). Let k = 20 + -16. Suppose -q = -k*h + 32. Solve 2*j - h = 7*j for j.
-2
Let w = -407 + 392. Let o be (1 - -2) + (-3)/w*-5. Solve o*k + 2 = -8 for k.
-5
Let p be ((-150)/(-24) + -5)*4*-1. Let z be (p/(-20)*0)/(-4 - -5). Solve 2*d - 4*d + 2 = z for d.
1
Let d(s) = s**3 - 4*s**2 + 2*s - 5. Let t = 12 + -8. Let a be d(t). Let u = 1086 - 1085. Solve -u - 2 = -a*b for b.
1
Suppose -13 = -2*t - 6*s + 7*s, 3*s + 15 = 0. Suppose 4*k - t*c - 14 = 6, -4*c = 8. Solve -k = 2*y - 7 for y.
2
Let r(w) = -w**3 + 6*w**2 + 4*w - 8. Let p be r(6). Suppose 4*x + 2*s = -4, -s = -4*x - 0*s - p. Let y be 1 - 7/(7/x). Solve -y*f + 2*f = -2 for f.
1
Let v = 70 + -63. Let a = 29 + -19. Suppose a = 5*m, -3*c - 4*m = -4 - v. Solve 1 + c = g for g.
2
Let w = -31482 - -31508. Solve 0 = -w*a + 18*a + 72 for a.
9
Let b(o) = 2*o + 6. Let x be b(0). Let y be ((-24)/(-9))/(x/9). Suppose 2*k = 4*j - 18, 10*j + 3*k = 15*j - 25. Solve j*z + y = z for z.
-4
Let x be (-20)/15*(-9)/(-2). Let v be ((-18)/3)/x*1. Solve 10 - v = 3*q for q.
3
Suppose 9 = 6*p - 3. Suppose 3*n + 5*o = 8*o - 9, -2*n + 6 = 2*o. Solve -g + p - 6 = n for g.
-4
Let l(m) = -13*m - 9. Let o = -114 + 113. Let v be l(o). Solve v = 3*k - 8 for k.
4
Let l(s) = -13*s**2 + 104*s + 2. Let u be ((-6)/21 - 2)/((-14)/49). Let m be l(u). Solve -4*v + m = -2 for v.
1
Let f(k) = k**2 - 2*k - 12. Let l(i) = -19*i**2 + 3*i - 3. Let z be l(1). Let b(p) = -p**2 - 17*p + 43. Let a be b(z). Let r be f(a). Solve 4*n + 5 = r*n for n.
-5
Let p(h) = h**2 - h - 9. Let r be p(4). Suppose 0 = -r*n + q + 1, -q + 5 = 2*n - 6*q. Solve n = -k - 2 + 5 for k.
3
Let b be 0/2*(-2 - -3)*-1. Let l be (b + -6)*16/(-12). Solve -5*h - l = -3 for h.
-1
Let b(z) = 12*z - 8. Let f be b(1). Suppose f*y = 4*s + 104, 5*y - 114 = 4*s - 3*s. Solve -11*k + 22 = -y for k.
4
Suppose 4*s - 10*s + 12 = 0. Suppose 0 = 3*u - 3*g - 13 - 5, -4*u = -s*g - 22. Suppose -101 + u = -3*y. Solve 5*w + y = 7 for w.
-5
Let n = 12575 + -12572. Solve -20 = -n*f - 8 for f.
4
Let q be 4 + -3 + -6 - ((0 - -4) + -470). Solve 478*a + 85 = q*a for a.
-5
Suppose 30*b - 13 + 1 = 18. Solve 7*z - 8 + b = 0 for z.
1
Let w = -52 - -99. Suppose 30 = 11*f - w. Solve y - 12 = -f for y.
5
Let c = 18 - 13. Suppose 5*j + 0*j + 41 = 4*d, -4*j = 20. Suppose 6*p - d*p - 18 = 0. Solve -c*h + 4 = p for h.
-1
Let v be ((-2)/22 - (-72)/66)*214. Solve -67*c = v + 188 for c.
-6
Let q(k) = 2*k**3 - 17*k**2 + 32*k - 167. Let y be q(8). Let c = -11 + 13. Solve y = -c*x + 7*x for x.
5
Let o(a) = -2*a**2 - 9*a - 7. Let t be o(-6). Let g = 60 + t. Suppose 21 - 72 = -4*d - z, -4*z = 3*d - g. Solve -7 = 5*j + d for j.
-4
Let w be (9/8 - (-9)/24)*12. Suppose -5*m = 2*h - h + w, 0 = 5*h - 2*m - 18. Solve -h*l - l - 3 = 0 for l.
-1
Suppose -4*j = 22*j + 1014. Let w be ((-9)/(-12))/(j/(-208)). Solve -5*p - w = -3*p for p.
-2
Suppose 0 = -3*z - 2*z - 40. Let j(x) = -x**2 - 13*x - 34. Let n be j(z). Solve -n*b = -5 - 1 for b.
1
Suppose z + 8*z - 135 = 0. Suppose -g = 4*g - z. Solve -11 + g = -4*m for m.
2
Let t(m) = 718*m + 4313. Let n be t(-6). Solve -33 = -n*d - 38 for d.
-1
Let d(n) = n**3 - 5*n**2 - 4*n - 4. Let m be d(6). Suppose -4*c + 16 = 3*s, -5*s + 4*c - 2*c - m = 0. Suppose 9*k + 4*k - 5*k = s. 