= a for o.
-1
Suppose 2707 + 868 = 19*f - 358. Solve f*k = 216*k for k.
0
Suppose -3*m + 10 = -m. Suppose -2*w - 42 = -m*w. Let y = w + -12. Solve y = n - 0*n for n.
2
Let w(a) = 8*a - 52. Let c be w(7). Suppose 16 - 24 = -c*x. Suppose 4*z = 4*j - 24, 0 = -x*j - 3*z + 1 + 1. Solve -j*i - 4 = -2*i for i.
-2
Let h be (9/18)/((-10)/(-10) - 77/78). Solve 31*l = -8*l + h for l.
1
Suppose 4*c - 2*m = 10, -2*c = -0*c - 5*m - 1. Suppose -5*g + 45 = 5*x, -2*x - 5*g - 3 = -x. Suppose -4*a - 2*a = -x. Solve -c*q = -4 - a for q.
2
Let t(i) = 2*i**3 - 10*i**2 + 4*i. Let p be 1066/205 + (-1)/5. Let h be t(p). Solve 3*v + v = h for v.
5
Let l = 246200 + -246197. Let b(x) be the second derivative of x**3/6 + x**2 - 2*x. Let s be b(-2). Solve s = 3*v + l - 0 for v.
-1
Let z be 32*(5*(-70)/25)/(-4). Solve 3*u + 25*u + z = 0 for u.
-4
Let q(n) be the third derivative of n**5/60 + n**4/24 - 4*n**3/3 + 7*n**2. Let h be q(-4). Suppose -h*v = -11*v + 112. Solve -t = 3*t + v for t.
-4
Let x be (-14)/(9/(-18)*4). Solve -x*g = -57 + 64 for g.
-1
Let q(w) = -45*w + 22. Let l be q(-6). Let g = l - 285. Solve 3*h = g*h for h.
0
Suppose -5*l + 0 = -10, 5*l = 2*f + 2. Let v be (14/1)/(94/47). Let o = v - f. Solve 0 = -0*d + o*d + 3 for d.
-1
Suppose 914 = 59*v - 1564. Solve -35*c - 7*c = -v for c.
1
Suppose -914 = 351*n - 353*n. Let m = n - 455. Solve -m = 6*x - 14 for x.
2
Let u be 6/4*12/9 + 2. Let j = -12 - -16. Solve -6*n + j*n + u = 0 for n.
2
Suppose -4*l - n + 744 = 698, -4*n - 16 = -4*l. Solve 12*b - l*b + 5*b = 0 for b.
0
Let c = 115 + -57. Suppose 6*u - 3*u = -156. Let h = u + c. Solve h*d - 3*d = 0 for d.
0
Let b = -662 + 680. Solve -5*r + 26 = -b*r for r.
-2
Let f be 8 + -13 + (-19)/((-57)/54). Solve -21 = -f*k - 47 for k.
-2
Let u = -116 + 105. Let j(f) = 6*f + 75. Let b be j(u). Solve 0 = g - b + 7 for g.
2
Let q = 213 + -208. Suppose -5*m + 90 = -q*c + 25, 0 = -5*c - 15. Let o be (-1)/(-2) + (-5)/(-2). Solve f = o*f - m for f.
5
Let p(h) = -2*h - 28. Let s be p(-14). Let i = 9 - 15. Let u be (0 + 10)/(i/(-9)). Solve -3*b - u = -s*b for b.
-5
Suppose 4*b - w = 53, 4*b + 16 = 3*w + 63. Solve b*z - 5*z + 27 = 0 for z.
-3
Suppose -245*v + 223*v - 356 = -1170. Solve 12*h + v = 1 for h.
-3
Suppose -2*q + 4*h - 240 = 0, 5*q - 3*h - 161 + 796 = 0. Let g be (0 + -5)*13/(q/20). Let b(i) = i**3 + 1. Let r be b(-1). Solve g = -2*y - r for y.
-5
Suppose 12*a + 1464 = 1920. Solve -6*z = 14 - a for z.
4
Suppose -4*w + 2 = 2*u, -3*u - u + 20 = 0. Let f be (w/4)/(3/(-72)). Suppose -2*k = 3*a - 0*k - 2, -a = -5*k - f. Solve a*x = 6*x - 4 for x.
1
Let r = -15 + -24. Let u(j) = 8*j + 2. Let m be u(5). Let i = m + r. Solve i*y = 6*y for y.
0
Suppose -15138 + 2320 = t. Let w be t/(-406) + (6/14)/1. Solve -17*x + 9*x = -w for x.
4
Suppose -m = -5*k - 2*m - 43, -2*k - 28 = 4*m. Let x be 15/(-3) - -2 - k. Let q be 5 - 2/((-4)/(-4)). Solve 7 + x = -q*y for y.
-4
Let j = -16110 + 16118. Solve j*n + 150 = 33*n for n.
6
Suppose 0 = -41*a - 111 + 644. Solve a*j - 35 = 6*j for j.
5
Let u = -531 + 511. Let h be 16/u - (-576)/45. Solve 0 = -5*o - h - 8 for o.
-4
Let y be (-82)/205 - 44/(-10). Suppose -5*u - 5 = -3*j, y*u - 3 = 5*j - 20. Solve -u*w + 1 - 5 = 0 for w.
-2
Let p(s) = 106*s**2 + 101*s**2 - 317*s**2 + 109*s**2 + 13*s - 24. Let i be p(10). Solve -4*c = -i*c - 6 for c.
-3
Let f(u) = 2*u**2 - u + 3. Let v be f(-3). Let o be (3 - 3) + -1*v/4. Let p be ((-48)/12)/(8/o). Solve p*m + 12 = -0*m for m.
-4
Suppose -5*a + 56 - 6 = 0. Suppose 7*i - 4 - a = 0. Solve -m = -0*m - i for m.
2
Let a be 124/(-372) - 1111/(-3). Solve 359*i = a*i + 66 for i.
-6
Let q = -131 - -79. Let u = q + 52. Suppose 7 = -2*s + 4*s - k, 2*k + 6 = 0. Solve -s = -t - u for t.
2
Let m = 20 - 13. Suppose 8 = -3*j - m. Let u(h) = h**2 + 4*h - 1. Let i be u(j). Solve 0 = i*t - t - 9 for t.
3
Suppose -11802 = -95*i - 2682. Solve -28*u - 20*u = i for u.
-2
Suppose -5 = 3*l - 17. Suppose -6 - 18 = -5*z - l*b, 5*z - 4*b - 16 = 0. Solve 0 = 2*c + 2*c - z for c.
1
Let f = 21 + -21. Suppose f = 8*i - 4 - 20. Suppose 0 = -i*s - 2*v + 23 - 3, -v - 45 = -4*s. Solve j = -j + s for j.
5
Suppose -3*x - 683 = -4*t - 1826, -3*x - 3*t + 1122 = 0. Suppose 6*p - x = -7*p. Suppose -41 = -3*z - p. Solve z - 14 = 5*j for j.
-2
Suppose 0 = -206*v + 199*v + 56. Solve -41*h = -39*h - v for h.
4
Let r be (3/(-6))/(14/(-1372)). Solve 44*g + 30 = r*g for g.
6
Suppose -5*c + 8*c = 15. Suppose -24 = -5*l - t, -2*l - 3*t + 17 = 2*l. Solve -l*n + c = -0*n for n.
1
Let k(o) = 4*o**3 - 74*o**2 - 34*o - 65. Let c be k(19). Let d be -3 - -13*(1 - 0). Solve -d*x = -c*x for x.
0
Let l(z) = -z**2 - 6*z + 1. Suppose 3*w = -w + 5*p - 22, 0 = -5*w + 5*p - 25. Let n be l(w). Let o = -2 - -6. Solve -o*v + 10 = -n for v.
5
Suppose 13*d - 993 = 385. Solve 27*s + d = -29 for s.
-5
Let x = 49 - -8. Let o be (-4)/(18/(-6) + x/21). Solve -6*q - q - o = 0 for q.
-2
Suppose -2*i = -2*t - 0*i + 2, 2*i + 4 = 3*t. Let w be 20/(-90) + (-1)/(-9)*t. Suppose 18*q - 23*q + 15 = w. Solve -2*r = -q*r + 1 for r.
1
Suppose 695 + 379 - 270 = 134*z. Solve z = -28*k - 162 for k.
-6
Let q = 749 - 721. Suppose -q*f = -20*f - 400. Solve 0 = -f*a + 45*a for a.
0
Let r(u) = -22*u. Let o be r(-1). Let g = 27 - o. Let l = -137 + 140. Solve l = g*d - 17 for d.
4
Let p(v) = 5*v + 28. Let x be p(-4). Let b be 50/x - 4/16. Solve 0 = 9*j - 12*j + b for j.
2
Let p = -153 - -228. Suppose -5*h + 8*h = -3*y + p, h = -2*y + 23. Solve -21 = 2*m - h for m.
3
Suppose 5*f + 15 + 0 = 0, 2*f + 91 = 5*j. Suppose 17 = 3*c - 2*c. Let l = c - j. Solve n = -l - 4 for n.
-4
Let m be 9*((-7)/(-3) - 2). Suppose -223 - 242 = -93*g. Suppose 0 = -3*d - 5*p + 1, -5*d - 2*p + m = -g. Solve 2*f = -d*f for f.
0
Let n(a) = 144*a + 911. Let h be n(-6). Solve 0 = 12*x - h*x for x.
0
Let r = -28 - -90. Suppose r*l - 10 = 57*l. Solve 1 + 5 = -l*m for m.
-3
Suppose -3 = 5*g - p - 23, 34 = 3*g - 5*p. Solve 0 = -g*l - 3*l + 42 for l.
7
Suppose 8*f + 4*m = 5*f + 65, 3*f = -2*m + 55. Suppose 5*u = -4*o - 3, -11*u = -f*u - 2*o. Solve -y = -6 + u for y.
5
Let d be ((-8)/(-6))/((-2)/12). Let s be (18/24*3)/((-3)/d). Solve -5 = r - s for r.
1
Let u = -6247 + 6255. Solve u*p = 111 - 71 for p.
5
Let n = 79 + -74. Suppose -9 = n*i - 9. Suppose 0 = -2*m + 5*l + 10, i = -m + 4*l - 2*l + 4. Solve 0 = -r - m*r - 3 for r.
-3
Let i be 1/(4/144) + (-5 - -7). Solve 15 = -23*c + i for c.
1
Let n = -35 + 39. Suppose n*a - 17 = 99. Suppose -5*t - 2*d + 16 = 0, -5*d + a = 4*t + 6. Solve 1 = t*r + 5 for r.
-2
Let k be (-1)/(-4) + (-5 - 633/4). Let z = -155 - k. Solve 3*q + z = q for q.
-4
Let m be (55/3)/((-505)/(-606)). Solve -16*i + m*i + 12 = 0 for i.
-2
Let c be ((-84)/8 - -9) + 15/2. Suppose c*n + 12 = 12*n. Solve -4 = -n*x - 2*x for x.
1
Suppose -6*c + 758 = 692. Let n = -165 - -170. Solve -3*z = c - n for z.
-2
Let p be (4 + -3)*30/10. Suppose g - 12 = -p*g. Solve 10 = g*i + 1 for i.
3
Suppose 4*h = 3*z - 3, 6*h + 2*z = 2*h + 2. Let w be (11/3)/1 - (-58)/174. Suppose -1 = w*b - 13. Solve h = -n - 0 - b for n.
-3
Let b be -282*(-10)/75 + 2/5. Suppose -b*w + 235 = 9*w. Let m = 1 + -1. Solve 5*j = -m*j - w for j.
-1
Let m(n) = -n**2 - 3*n - 2. Let v be m(-1). Suppose 4*s - 6*s - 24 = v. Let w be (-60)/s*(1 + 0). Solve -w*i - 3 = -2*i for i.
-1
Let l(a) = a + 14. Let m be l(-9). Let v be (42/(-35))/((-15)/100). Suppose -3*w = -v*c + 3*c + 60, 2*c = w + 23. Solve c*u - m = 4*u for u.
1
Let n(f) = f**2 - 8*f + 1. Let b(y) = 3*y**2 - 4*y + 4. Let l be b(2). Let v be n(l). Let g be (0/(-8 - -4))/v. Solve g*r - 1 = r for r.
-1
Let v(d) be the second derivative of -d**4/12 + 5*d**3/2 + 35*d**2/2 - 37*d. Let p be v(17). Let i(t) = t**2 + t. Let y be i(-2). Solve p = -x + y for x.
1
Suppose -11*j + 10*j = -5*k + 2, -j = -2*k + 2. Solve -127*r + 102*r + 175 = k for r.
7
Let x = -7 - -8. Let a be 0 + x - 15/((-90)/24). Let k(z) = -8*z**3 + z**2 + 2*z + 1. Let r be k(-1). Solve a*t = t + r for t.
2
Let b = 22192 + -22063. Solve -20*t - 51 - b = 0 for t.
-9
Let m(q) = 22*q + 18. Let n be m(4). Let g = n - 104. Solve -4*d - g - 14 = 0 for d.
-4
Let a be (-1*(3 - 0))/1 + 16. Solve -3 - 10 = a*x for x.
-1
Let u = -21 + 29. Let n(z) = z**3 + 24*z**2 + z + 653. Let x be n(-25). Solve 7*i = x*i - u for i.
-2
Let o = 3494 + -3492. Solve -131*v + 133*v - o = 0 fo