- 9 - g for x.
-5
Let c(m) = m**3 - m**2. Let n(a) = -4*a**3 - 5*a**2 + 19*a + 6. Let b(f) = 5*c(f) + n(f). Let k be b(3). Solve -2*g + 1 + 7 = k for g.
4
Let a be (-1)/(-2)*4 - 6/(-12)*8. Solve 2*j + a = -0*j for j.
-3
Suppose 2*z - 24*c - 27 = -29*c, -4*c = -5*z + 18. Solve -3*j - z = -5*j for j.
3
Let r = -47 + 49. Suppose -6*a + r = -10. Suppose 5*y = a*m, -y + 11 = 2*y + m. Solve 3*h = y*h - 4 for h.
-4
Let a = 21193 + -20873. Solve -39*m - 47 = -a for m.
7
Let g(j) = j**3 - 31*j**2 + 58*j - 42. Let i be g(29). Let d = i - -65. Solve -5*a - 3 + d = 0 for a.
4
Let l(x) = 2*x + 1. Let h be l(5). Let c be 76/h + 6/66. Solve -c = 5*n + 13 for n.
-4
Let a = 198 + -188. Suppose 5*s + 0*s = a. Solve 0 = -b + s + 2 for b.
4
Suppose 749 = 15*y + 674. Solve 0 = -y*c + 43*c - 152 for c.
4
Suppose 28 = -y + 5*y. Let v = 123 - y. Let w = v - 113. Solve 0 = -4*m - w - 5 for m.
-2
Suppose 4*r = 2*r + 14. Let o be 682/154 - 3/r. Solve 0 = o*f + 9 - 1 for f.
-2
Suppose 2 = h - 1. Let r be 174/(-145) + (-42)/(-10). Solve h = 2*x - r*x for x.
-3
Let l(v) = 17*v + 259. Let z be l(-15). Solve 0 = -z*f - 2*f for f.
0
Let q(n) = n**2 + 11*n - 10. Let o be q(-13). Solve o*j + 35 = 9*j for j.
-5
Suppose -47 = 5*m - 3*x, -4*m + m - 2*x - 32 = 0. Let f be ((-477)/(-265))/((-3)/m). Solve -39 + 9 = -f*d for d.
5
Let u = 192 + -98. Suppose -188 = 4*g + 5*w, -g - g - u = -5*w. Let o = g + 55. Solve 4*m = o*m - 16 for m.
4
Suppose -5*a - 4 = -3*v, 2*v + 5 + 7 = -4*a. Let p be 8/4 + 0 + 0 + v. Solve 9*b = 45 - p for b.
5
Let w(s) = 54*s**2 - 3*s - 4. Let u be w(-1). Let f(q) = 2*q + 55. Let j be f(0). Let d = j - u. Solve -r - d*r - 12 = 0 for r.
-4
Let c be (-155)/(-93) + 5/(-3). Solve c = -0*g + 12*g + 12 for g.
-1
Suppose 0 = -f - 193 + 233. Let m be (f/(-18))/((-90)/405). Let d be 21/9 - 2/(-3). Solve a - d*a - m = 0 for a.
-5
Suppose -3*c + 13 = r, -4*c + 5*c + 12 = 2*r. Solve -67 = r*z - 46 for z.
-3
Let k be (1 - 3 - -2) + 5. Let q(v) = v**2 + 13*v - 12. Let j be q(-14). Let i be (15/5 - j)*(0 - 0). Solve i*r = k*r for r.
0
Suppose 5*n + 2*q - 18 = 0, -n = 7*q - 2*q - 22. Suppose -5*t - 6 = 4*x, x - n = -t - 3*x. Let c be (12/36)/(t/(-120)). Solve -3*i = 2*i - c for i.
4
Let p = 1633 - 1627. Solve -9*s - p*s + 6*s = 0 for s.
0
Suppose -2*n - 4*f = -18, 2*f - 15 = -2*n - f. Suppose 2*q - 35 = -q - 2*g, 43 = n*q + 4*g. Solve 4*x - q*x + 10 = 0 for x.
2
Suppose 0 = -5*k + 59*o - 60*o + 250, -4*k + 200 = 2*o. Suppose 8*l - 10 = -n + 10*l, 5*n - k = 3*l. Solve 2*u - n = 4*u for u.
-5
Let f = 8 + -8. Let u = -16 + 10. Let a = u + 9. Solve a*d = -3 - f for d.
-1
Let g = 56 + -20. Let v = -33 + 66. Let q = g - v. Solve 4*y = -11 + q for y.
-2
Suppose -3*z - 25 + 34 = 0. Let k be (0 + (1 - 16))/(z - 2). Let a be (-3 - 273/k) + 3/(-15). Solve -c + 4*c = a for c.
5
Let q = 204 + -204. Suppose -3*j + 78 + 18 = 0. Let b be 7/(-35) - j/(-10). Solve -b*k + 15 = -q for k.
5
Let y be (-13)/(-1) + ((-3)/4*-8 - 11). Solve -57*u + 55*u + y = 0 for u.
4
Suppose 5 + 16 = 7*d. Suppose d*s = 5*r - 5, 0*r = -3*r + 3. Solve s = 2*g - 1 - 9 for g.
5
Let a = 281 - 53. Let g = -210 + a. Solve 2 + g = 4*h for h.
5
Let u be 5/(-2)*12/(-10). Let q be (-10)/(-5) + 3 - (-6 + 8). Solve 0 = -2*z + u*z - q for z.
3
Suppose -38*o = -176*o + 172 + 518. Solve -o*m - 383 = -348 for m.
-7
Let s = -9002 - -9047. Solve s = 7*i + 10 for i.
5
Suppose -18 = -4*w + 2. Let a(d) = -w*d**3 + 3*d - 23*d + 25*d**2 + 31 - 5*d + 4*d**3. Let u be a(24). Solve 4 = -u*n + 3*n for n.
-1
Let z be 2/7 - 194/(-7) - (-858 + 865). Solve -232*j - z = -229*j for j.
-7
Let f(d) = 2*d + 3*d + 71 + 6*d - 55. Let r be f(-1). Solve 0*z + r = -z for z.
-5
Let s = 60978 - 60978. Let c = -17 + 28. Suppose 31 + c = 3*n. Solve -10*k + n*k - 20 = s for k.
5
Let i = 4805 + -4783. Solve -i*j - 61 - 27 = 0 for j.
-4
Suppose -2*k = -44 - 50. Suppose -7 = 8*c - k. Solve c = 5*l - 10 for l.
3
Let z be (-2)/(-16) - (5/(-1) + (-372169)/632). Solve z*g - 598*g = -4 for g.
1
Let m = -113617 - -113620. Suppose 0 = 2*k - 6*k - 24. Let f be 9/2*(-4)/k. Solve -m*g + f = 15 for g.
-4
Let n be ((18/12)/(-3))/((-3)/30). Solve -n*o - 116 = -136 for o.
4
Let t(d) = -2*d**2 - 28*d - 16. Let p be t(-13). Suppose -5*i + 25 = 2*z, -4*z + 10 = 4*i - p. Suppose -4*o + 33 - 21 = z. Solve -5 = o*l - 2 for l.
-1
Let s(y) = y**2 - 16*y + 71. Let q = 328 + -321. Let r be s(q). Solve r = 5*t - 2 for t.
2
Suppose 6*k = -2*k + 16. Let u be (5/k + -1)*(-484)/(-33). Suppose u*x = 16*x. Solve 4*q - 3*q - 1 = x for q.
1
Let m(x) = 35 + 33*x**2 + 10*x**3 + 11*x**3 - 35*x**3 + 7*x**3 + 8*x**3 + 90*x. Let u be m(-30). Solve -4*p + 31 = u for p.
-1
Let a be ((-248)/(-32)*2)/((-1)/6). Let u = -114 - a. Let z(t) = -t**3 - 23*t**2 - 42*t + 2. Let k be z(u). Solve -h = k*h + 12 for h.
-4
Let b = 4409 - 3614. Solve -779 = 4*w - b for w.
4
Let c(a) = -23*a + 53. Let y be c(1). Solve 42*d + 60 = y*d for d.
-5
Suppose -25*q + 91 + 34 = 0. Suppose 0 = -12*z + 8*z + 8, -i + 3*z - 2 = 0. Let u = -1 + 4. Solve -u*w + i = -q*w for w.
-2
Let x(s) = -3*s**3 - 45*s**2 + 26*s + 390. Let z be x(-15). Solve -14*g - 4 + 4 = z for g.
0
Suppose 0 = h + 3*w - 8, -4*h = -6*w + w - 15. Let x = -54 - -60. Suppose -p - h = -x*p. Solve k - p = -0 for k.
1
Let b(q) = 26*q - 6. Let r be b(4). Let k = r - 94. Suppose -22 = -2*f + k*m, 2*m + 6 = f - m. Solve 3*y - f = -9 for y.
4
Suppose 11*o = 18*o - 14. Let w = o - -3. Solve w*i - 2*i - 15 = 0 for i.
5
Suppose -60*b = -65*b - 3*o + 138, 104 = 4*b - 4*o. Solve -7*k + b*k = -100 for k.
-5
Let c = 54 - -7. Suppose c - 154 = -g. Let o = g + -92. Solve 0 = -l - o + 3 for l.
2
Let u = 2053 - 2047. Suppose 10*b - 5*b = -d + 4, 3*d = -b + 12. Let x be ((0/(-1))/(u - d))/(-2). Solve x*m + m = -2 for m.
-2
Suppose 2*p = 5*p - 6. Suppose 5*l = c + p*l - 16, 3*c - 4*l = 28. Suppose -c*u = -12*u. Solve 2*j - j + 4 = u for j.
-4
Suppose -x + 5*q + 4 = 0, -2*x = -0*q - q + 1. Let m be ((2 - x) + -2)/((-11)/(-44)). Solve -3*b + 3 = -m*b for b.
-3
Let i = 92158 - 92156. Let f be (7/(-2))/(4/(-8)). Solve f*a + i - 23 = 0 for a.
3
Suppose 4*u = -2*r - 8, 5*r - 2*u = -0*u + 28. Suppose 30*c - r = 29*c. Solve 16 = -0*y - c*y for y.
-4
Suppose 2*k - 196 = -4*p, 0 = -207*k + 206*k - 6. Solve 183*l - p = 196*l for l.
-4
Let x = 17357 + -17354. Solve -8 = x*h + 7 for h.
-5
Let k = -1395 + 1123. Let h be 102/k + 22/16 + 1. Let r(n) = -n**3 + 3*n**2 + 4*n + 1. Let z be r(4). Solve -h*u - z = -3*u for u.
1
Let f(p) = p**3 + 2*p**2 - p + 4. Let b be f(0). Suppose -b*q + 14 = 3*q. Let c be 4 - 3 - q*3/(-3). Solve 0 = c*l - 6*l for l.
0
Let q(d) be the first derivative of -d**2 + 12*d - 2. Let g(l) = 2*l - 13. Let o(u) = -4*g(u) - 5*q(u). Let n be o(5). Solve 3*s + 5 = -n*s for s.
-1
Suppose -d = 3*y - 34, -9 = -d + 2*y + 10. Suppose 9*x - 5*u = 8*x + d, -4*x - u = 5. Solve 4 = f - x for f.
4
Let p(j) = j**2 - 137*j + 2610. Let r be p(22). Solve -2*z - r = -18*z for z.
5
Let a(d) = 9*d**3 - 15*d**2 - 7*d + 4. Let f be a(-6). Let v be 2/(-14) - f/161. Solve -4*s - v = s for s.
-3
Let o = -1117 + 1124. Solve 0*m - o*m = 22*m for m.
0
Let h = 6003 + -5151. Solve -4*a - 852 = -h for a.
0
Suppose 0*z = -3*z. Let b(w) = 332*w**3 - 665*w**3 + 332*w**3 + 43*w - 11*w**2 + 17. Let c be b(-14). Solve -c = -z*s + 3*s for s.
-1
Let a be (6 - ((-138)/54 - -9))*-369. Solve 9*r + a = 173 for r.
1
Let f be (2/(-3))/((-8)/36). Let o(d) = d - 147. Let k be o(-12). Let i = 161 + k. Solve 0 = -f*a - i*a for a.
0
Suppose -27*q + 333 = -24*q + 34*q. Solve -32*i - q*i + 82 = 0 for i.
2
Suppose -4*r + 5*f + 53 = 0, -2*r + 5*f + 3 + 16 = 0. Suppose 0 = 6*y - 7 - r. Suppose -3 = -y*n + b, -3*n = n + 3*b + 9. Solve n = -3*i - i - 4 for i.
-1
Let p(f) = f**3 + 13*f**2 + 13*f + 15. Let k be p(-12). Let q be 10 + -5 + (2*-3)/(-2). Let t = -6 - -11. Solve -k*x = -q*x + t for x.
1
Suppose 1 = -6*u + 7*u - 2*w, u = -4*w + 7. Let h = 43 - 24. Let m = h - 18. Solve m = u*y - 14 for y.
5
Suppose 1591 - 137 = 24*t + 62. Solve s - t = 30*s for s.
-2
Suppose -2*m = -4*i + 4, -7 = 5*m - 9*m + 3*i. Suppose p - 11 = -1. Suppose 0*h + 3*h = -12, p = -3*r - m*h. Solve -2*f = r*f for f.
0
Let d = -7676 - -7687. Solve -24*q - d = 13 for q.
-1
Let v(y) = y**2 - 22*y - 21. Let f be v(27). Suppose -54 = 12*b - f. Solve -b*c = -4*c - 