ve 4 + g = -3*m for m.
-5
Let w be -5*((4 - -2) + -5 - -5). Let v be (-1047)/w - (-2)/20. Solve -36*o + v*o = 0 for o.
0
Suppose -2 = -4*r - 3*j, 2*j = -r - 2*j + 7. Let m be ((-51)/6 - -8)*(r - 9). Let t be 7/14 - m/(-2). Solve -t = 5*q - 8*q for q.
1
Let o = -161 + 164. Suppose o*f = 7*f - 15*f. Solve 0*w - 5*w + 10 = f for w.
2
Suppose -2*f = -m - 27, m = 5*f - m - 70. Let p be (-6)/(f/(-4) - -3). Solve -u = p - 1 for u.
-5
Suppose -3*f = -164 + 179. Let w be (-9)/f + (-41)/(-205). Solve 3*z - w*z - 5 = 0 for z.
5
Let p(t) = 2*t**3 + t**2 - 4*t + 2. Let j be p(1). Suppose 3*o = -2*r, -3*r + 2 = 5*o + 1. Solve -j = o*q + 1 for q.
-1
Let j = 1735 + -1543. Solve 0 = 102*h - 78*h + j for h.
-8
Let j be 6/2*(-6 + 7). Suppose -5*f - 5*h = -35, -j*h = -2*f - 2*f + 7. Solve f*b = -0 - 16 for b.
-4
Let o(b) = -107*b - 495. Let a(v) = 26*v + 124. Let j(m) = 9*a(m) + 2*o(m). Let c be j(-6). Suppose -5*l = 5, 3*x + 3*l + 2 = l. Solve x = 4*q - q + c for q.
-2
Let x(j) = -2*j - 27. Suppose 732 = 4*z - 2*w - w, -2*w = -4*z + 728. Let m be (-6)/(((-81)/z)/((-12)/10)). Let r be x(m). Solve -r*k - 2 = -3*k for k.
-1
Let a(s) = -s**2 + 19*s - 18. Let k be -45*(-2 - 40/(-25)). Let j be a(k). Solve j*m - 2*m - 2 = 0 for m.
-1
Let z be 532/168 + ((-510)/36 - -14). Suppose -i = o - 17 + 1, -4*o = -2*i - 34. Let d be 3/(-1*(-3)/2). Solve -d*j = z - o for j.
4
Let d be (-14 + 0)/(36/72 + (-10)/4). Solve -187*f = -186*f - d for f.
7
Suppose -4*p - 5*v = -102, 4*v + 0*v + 84 = 4*p. Suppose -4*z + w = -66, 442*z - 2*w - 56 = 438*z. Solve -z*k = -p*k for k.
0
Let b(m) = -149*m + 270. Let w be b(0). Solve -4*g - w = -254 for g.
-4
Suppose 3*g + 3*f - 64 = 2*g, g = -5*f + 72. Let x(m) = -8*m + 5. Let r be x(-6). Let h = r - g. Solve -2 = -d + h for d.
3
Suppose -3*h = 3, -n = 3*n - 4*h - 80. Suppose 5 = 2*l - n. Suppose -2*r - l = -5*s - 4, -2*s - 5*r = 20. Solve s*f = -2*f for f.
0
Let h(t) = 13*t**2 - t. Let y be h(1). Let p be (-3)/4 + 2 - 942/(-1256). Solve y = 2*x + p*x for x.
3
Let c = 2 - 2. Suppose -2*g = 1156 - 1138. Let j be (-22)/(-8)*(63/g - -11). Solve 5*a - j - 4 = c for a.
3
Suppose -86 = 10*q - 556. Solve -4*l + q = 39 for l.
2
Let b(l) = -2*l**2 - l + 38. Let y be b(4). Let j = -9 - -31. Suppose 5*i + 5*o + y = j, -i + 5*o = 8. Solve 10 = -i*x - 0 for x.
-5
Suppose 3*l = 2*h - h - 11, -4*h = -2*l - 44. Let m be (5 - h)*(-17)/(-2). Let q = m + 63. Solve -4*g + q = -8 for g.
5
Let m(g) be the first derivative of -g**2/2 + g - 8. Let n be m(-1). Let l be 15/(-12) + ((-6)/8 - -4). Solve l*s + 0 = -n for s.
-1
Let t = -1 + 1. Let z(d) = 2*d**2 - 93*d + 46. Let f(g) = g - 1. Let w(m) = -4*f(m) - z(m). Let r be w(44). Solve r*s + s = t for s.
0
Suppose -f - 181*b = -185*b - 3965, 2*b = 2*f - 7936. Solve 3974*k + 30 = f*k for k.
-6
Let x = 40 + -15. Suppose -4*l - 5*w = 8 + 9, -3*l + 3*w + 21 = 0. Suppose -4*j = -18 + l. Solve -x = -j*d - 5 for d.
5
Let n(d) = -d**3 - 7*d**2 - 8*d - 8. Let b be n(-6). Suppose -153*q - r = -149*q - 18, 5*q = -r + 24. Solve 6 = -b*y - q for y.
-3
Suppose 0 = -2*g - 4*c + 30, -5*g - c - 229 = -358. Solve -g*l - 110 = 28*l for l.
-2
Let h be -21 + 34 - ((-35)/(-15) - (-6)/9). Solve -h*s + 183 = 153 for s.
3
Let j = -340 + 373. Solve -2 = 31*b - j for b.
1
Suppose -8*p - 4*b + 20 = 0, 56 - 41 = -3*b. Suppose -o - c = -0*o - 14, -3*c = -15. Suppose -7 = -4*s + 1. Solve -s*y - o = -p*y for y.
3
Suppose 212 = 27*y + 158. Suppose 0 = 3*u + 5*m + 25, y*u + 9*m - 5*m + 20 = 0. Solve -3*f - 12 = -u*f for f.
-4
Suppose -77 - 31 = -3*o. Let i = o + -21. Suppose -12*k = -7*k - i. Solve 2 = n - k*n for n.
-1
Let d = -109 + 139. Suppose 8*y = c + 3*y - d, -c + 21 = -2*y. Solve c*r - 12*r = -12 for r.
-4
Suppose -20*p - 90 = -830. Solve -86 = 41*v + p for v.
-3
Let p be 54/81*(-30)/(-16)*4. Solve -25*g - 120 = p*g for g.
-4
Suppose 3*t - 952 = x, 0 = 4*t - 2*x - 0*x - 1270. Let z = t - 310. Solve 0 = -z*v + 9*v for v.
0
Let j = 34588 + -34588. Solve -17*t + 78 - 10 = j for t.
4
Let i(y) = -y**2 - 11*y - 9. Let g be i(-9). Let d be (2 - 23)*-522*5/(-10). Let w be (-4)/(-26) + d/(-1131). Solve -w*h + g*h = 0 for h.
0
Suppose 2*o - 6 - 16 = -2*p, -51 = -5*o - 4*p. Solve 812 = -o*i + 819 for i.
1
Let x = -30 + 31. Suppose -11 = -2*s + b, 2*b = -2*s + 3 - x. Let k be 0*((-10)/s + 3). Solve 2*p - p = k for p.
0
Let l(u) = -5*u**2 + 2*u + 16. Let r(i) = -i**2 + i + 4. Let o(m) = 2*l(m) - 9*r(m). Let k be o(-2). Solve -5*q = k*q - 21 for q.
3
Let j(g) = -g**3 - 6*g**2 - 4*g - 21. Let h be j(-6). Let a = -323 - -328. Solve p - a = -h for p.
2
Let k(t) = 2*t**3 + 2*t - 1. Let v be k(1). Let d(a) = -2*a**3 + 5*a**2 + 13*a - 1. Let f be d(4). Suppose -v*l - 9*l = -f*l. Solve l*w = 2*w + 2 for w.
-1
Let m = -767 - -774. Solve -m*c + 24 = -15*c for c.
-3
Let b(r) = r**3 - 7*r**2 - 5*r + 37. Let j be b(7). Let a be (-8)/(-6)*3 - 2. Solve a = j*y - 4 for y.
3
Let x = 2 - 0. Let m = -424 - -418. Let r(n) = -n**2 - 4*n + 12. Let i be r(m). Solve i = d - x*d for d.
0
Suppose 0 = -11*u + 6*u + 5. Let g be ((-3)/(-6))/(u - 1/2). Let d be ((-9)/18)/((-2)/4*g). Solve -3*a = -2*a + d for a.
-1
Let k be 31 + ((-69)/46)/((-3)/8). Suppose 10*u - 17*u = -k. Solve 4*j + u = 1 for j.
-1
Let v(u) = -25*u - 547. Let w be v(-22). Solve w*a - 264 = -267 for a.
-1
Let o be (-2)/12*-4*6. Let h be -1 + 17 + -57 + 49. Suppose -h*l - 1 = -17. Solve -2*b = o - l for b.
-1
Let y(h) = -h**3 - h**2 + h + 4. Let k(d) = 2*d**3 - 3*d**2 - 6*d + 10. Let t(w) = k(w) + 3*y(w). Let z be t(-3). Let v = -13 + 22. Solve v*o + 25 = z*o for o.
-5
Let l be ((-12)/10)/(9/(-30)). Let w(m) = 80*m + 90. Let u be w(-1). Suppose 0 = f - l*k - u, -k + 3 = 5. Solve -z - f = z for z.
-1
Let t(b) = 55*b + 785. Let u(z) = 7*z + 98. Let f(n) = 3*t(n) - 25*u(n). Let w be f(-12). Solve -3*d - 2*d + w = 0 for d.
5
Let j be (-6)/(-42) + 2160/70. Solve 18*y = 31 - j for y.
0
Let k be -6*(-108)/16 + 12/(-8). Let p be 48/14*(-126)/12. Let f = p + k. Solve 0 = f*o - 2*o for o.
0
Let r(s) = -32*s - 704. Let p be r(-22). Solve 64*o - 47*o + 85 = p for o.
-5
Let a(s) = -s**2 - 48*s + 749. Let f be a(-60). Solve -19 = f*k + 68 for k.
-3
Let z(s) = -3*s + 21. Let r be z(7). Suppose r = -4*u + 19 - 7. Suppose -5*n = 4*q - 4, 0 = -u*n + 3*q + 37 - 13. Solve 0 = w - n - 0 for w.
4
Suppose 2*w - w - 3*j - 10 = 0, 0 = 4*w - 5*j - 26. Suppose -4*r + 5*r = w. Suppose -l + 4*u = -3*l + 8, l = u + r. Solve -l*i - 2 + 22 = 0 for i.
5
Suppose -16*r = -18*r + 26. Let c(s) = -2*s**2 - 50*s - 74. Let j be c(-23). Solve j - r = 5*d for d.
1
Suppose 284 = 4*g - 2*w, -373 = -10*g + 5*g - 2*w. Let p be 704/10 + 16/(-40). Let h = g - p. Solve 0 = -d + h for d.
3
Suppose 127 = 22*s + 61. Solve -4 + 1 = s*r for r.
-1
Let m = -161 + 197. Let z be 1 - (m/(-9) + (1 - -2)). Solve -12 = -5*w + z*w for w.
4
Suppose -41 = -g - 32. Suppose 0 = -8*f + g*f. Suppose -5*k - 10 = 0, n + f*k + 3 = -3*k. Solve 3*v + n = -0 for v.
-1
Let x = -14362 - -15120. Solve -x*i = -750*i + 48 for i.
-6
Suppose -3*x - 5*m = 14, -5*x - 4*m + 6 = -3*m. Suppose -120 = -17*b + x*b. Solve -7*y = -9*y + b for y.
4
Let j be (-15)/((-600)/(-896))*(-3 + -2). Solve -987*z + 973*z + j = 0 for z.
8
Let d = 1041 + -1041. Solve -4*b - 6*b + 50 = d for b.
5
Suppose -189*u + 761 + 2452 = 0. Solve -b + 16 = -u*b for b.
-1
Let m = 368 + -353. Let r = -315 + 320. Solve -m = r*y + 5 for y.
-4
Let j be ((-3)/(-9))/((-2)/(-162)). Let t = j + -12. Solve -t*d - 9 = -18*d for d.
3
Let m(j) = -2*j**3 - 133*j**2 - 41*j + 1678. Let s be m(-66). Solve s*z = -13*z for z.
0
Let r(m) = -16*m**2 + 331*m - 46. Let k be r(20). Solve 170*o = k*o for o.
0
Let c be 451 + 1 - (3 - -6 - 5). Solve 0 = -c*f + 453*f + 15 for f.
-3
Suppose -4*a = 3*o - 301, -531 = 5*a - 3*o - 968. Solve 31*w + a = -10*w for w.
-2
Let i(l) = -2*l**2 + 18*l - 34. Let k be i(6). Suppose -3*s - 3 = -4*z, -5*z + 4*s = k - 6. Solve z = -12*f + 2*f - 40 for f.
-4
Suppose 0 = -a + 3*n - 51, -5*n + 250 = -5*a + 15. Let c = 45 + a. Suppose 10 = -5*j, w + 5*j - 4 + 14 = c. Solve w = 4*f - 9 - 11 for f.
5
Let t(u) = -u**2 - 53*u - 435. Let p be t(-42). Solve 16 = -11*f + p for f.
1
Let p = -13968 - -13988. Solve -13*v - 49 = -p*v for v.
7
Let c be (-1)/((-3)/(-2)*(-25)/750). Let x(z) = z**3 - 3*z**2 + 2*z + 4. Let f be x(3). Let y = -2 + 