Solve 0 = -12*y + f*y + 12 for y.
3
Let z(y) = -502*y + 4072. Let f be z(8). Solve 0 = 79*b - 23*b - f for b.
1
Let m = -4177 - -4214. Solve m = -5*o + 17 for o.
-4
Let d(f) = -f**2 - 29. Let m be d(0). Let y = -24 - m. Suppose 2*u + 6 = -4*i, -y*i - 23 = -3*u - 3*i. Solve -4*a = a + u for a.
-1
Let v(x) = -x**3 + 10*x**2 + 37*x - 424. Let h be v(8). Suppose n + 2*n - 9 = 0. Let c(r) = 2*r - 2. Let t be c(n). Solve -u - u + t = h for u.
2
Suppose l + 3*s + 7 + 2 = 0, 0 = -l + s + 7. Suppose -l*c + 4 = -m, -5*c - 4*m + 3 = -15. Suppose -3*a + 22 = -c*u - 3*u, u = -2. Solve 0 = 2*d - d - a for d.
4
Suppose 5*p = -4*x + 77 + 36, 0 = 5*p - 4*x - 137. Suppose -p*r + 192 = 39*r. Solve r*l + 14 = -4*l for l.
-2
Let q(i) = 110*i**2 - 71*i**2 - 40*i**2 + 13*i - 32. Let h be q(6). Solve 4*a - 6 = h for a.
4
Let d(v) = v + 10. Let x be d(-7). Suppose 5*y + 4*h = 47, -y = -4*y - 5*h + 23. Let j = 31428 - 31423. Solve -j + y = -x*o for o.
-2
Suppose -3*n = -4*w - 1352, -n + 2*w = -406 - 42. Suppose 3*g + n = 99. Let a be 4/(-34) + (-252)/g. Solve -a*o + 2 = -0 for o.
1
Suppose u = 4*g - 574, -246 + 995 = 5*g + 4*u. Solve g = 7*t - 36*t for t.
-5
Let a(j) = 18 - 38*j + 16*j + 20*j. Let v be a(5). Let b be (2 + (-6)/4)*0/(-1). Solve -4*f + 0*f - v = b for f.
-2
Let g = 206 + -204. Suppose g - 4 = j - 3*p, 2*j = 2*p. Solve 5*c = -6 + j for c.
-1
Suppose y - 359 - 174 = 4*a, -3*y = -4*a - 1639. Let w = y - 545. Solve w*f - 7*f - 5 = 0 for f.
5
Let a(d) = -2*d + 29. Let v be a(3). Suppose 4*m - 2*k = 20, 2*k + v = 27*m - 22*m. Solve -8 + m = -x for x.
5
Let l(j) = 2*j**3 - 2*j**2 + 7. Let f be l(-3). Let a = -62 - f. Solve -y + a = 2 for y.
1
Let m be ((-76)/(-8)*1)/(13/(3744/9)). Solve 196 - m = 18*q for q.
-6
Let u be (5852/19)/(-22) - -22. Let r(p) = -p**3 + 3*p**2 + 3*p + 2. Let o be r(-2). Solve u = 2*a + o for a.
-4
Let d be 12 + 9/6*-2. Suppose -3*i - 12 = -5*x, 4*i + x - d + 2 = 0. Solve -i - 2 = -v for v.
3
Suppose 70*b - 767 = 11*b. Suppose -b*f - 6 = -58. Solve -3*y - f = -y for y.
-2
Let p(r) = 452*r - 4036. Let n be p(9). Solve -10*g + 336 = n*g for g.
8
Let f be (-1)/(-5) + 4*269/20. Let u = -25 + f. Suppose -3*a = -2*w + u, -3*w + 3*a = -8*w + 83. Solve 2*p - w = 6*p for p.
-4
Let b be 2 + -3 + (-17 - (-5 - -1)). Let n be (-1 - 0)*(b - -14). Solve n = 2*i - 6*i for i.
0
Suppose 4*r - 6*r = 8, 5*a + 5*r + 20 = 0. Let w(u) = 2*u + 18. Let k be w(-17). Let c be a*-4*4/k. Solve 0 = -c*g - 3*g + 12 for g.
4
Let x(a) = a**2 - 2*a + 4. Let b be x(-6). Suppose 78*n = 80*n - b. Suppose 35 = -n*f + 31*f. Solve f*i = 2*i + 5 for i.
1
Let p(m) = -76*m + 69. Let k be p(0). Solve k*w = 60*w + 9 for w.
1
Let k be (-430)/(-60) + (-85)/(-102). Solve -204*u + 212*u = k for u.
1
Suppose 21 = 2*j - 27. Suppose 309 = 4*o - 3*t, 4*o + t + t - 334 = 0. Suppose -23 = -26*d + o. Solve 4*m = d - j for m.
-5
Let r(v) = 57*v**3 + 4*v**2 + v - 1. Let z be r(-1). Let t = z - -57. Suppose 0 = -8*f + 7*f + t. Solve -x = f*x - 15 for x.
5
Suppose 119*b - 111*b + 25 - 105 = 0. Suppose 0*r - 2 = -2*r. Suppose -r = -11*s + b*s. Solve 2*u + 3 + s = 0 for u.
-2
Let y(s) = -s + 1. Let d(a) = a**2 - 3*a + 5. Let w(p) = d(p) + 3*y(p). Let f be w(2). Solve -3*t = -6 - f for t.
2
Let t = -557 + 561. Suppose 2*q - 3*b + 8 = -0, q - 2*b = -6. Suppose q*l - t = -o, o + 4*o - 2 = -4*l. Solve -3*a + 4*a = -l for a.
-3
Let z be 104 - 94 - (1 + 6). Suppose v - z*v = -6, n + 4*v - 15 = 0. Solve 2*f = -2*f + n*f for f.
0
Let i(o) be the second derivative of -1/20*o**5 - 1/6*o**3 + 26*o + 0 - 2/3*o**4 - 4*o**2. Let m be i(-8). Solve m = -2*x - 2 + 10 for x.
4
Let i = -1 + 1. Let p = -132428 + 132433. Let h = 1 + -1. Solve -j + i*j - p = h for j.
-5
Let f = 14 - 10. Let l(b) = 6*b**2 + 66*b + 9. Let u be l(-11). Suppose u*z - 4587 = -4470. Solve 0 = f*i + 7 + z for i.
-5
Let b = 18142 + -18118. Solve -13*g = -b*g + 11 for g.
1
Let x(i) = -23*i - 140. Let g be x(-6). Let k be (123/(-24) + 5)*16/g. Solve -k = -7*z + 27 for z.
4
Let r be (11 - 3972/(-1))/7. Solve -547 + r = 11*w for w.
2
Let k(w) be the third derivative of -w**5/60 + w**4/3 - 7*w**3/6 - 23*w**2 - 1. Let q be k(4). Solve 0 = -q*j + 12*j - 12 for j.
4
Suppose -3*d - d = 4*z - 192, 4*z = 12. Let u = -34 + d. Solve -u*c + 7*c = 0 for c.
0
Let j(z) = 4*z**3 + 59*z**2 - 82*z - 5. Let l be j(-16). Solve l*f - 168 = -29*f for f.
3
Let z(a) = a**3 + 7*a**2 + 6*a + 8. Let f be 4/(-14) - (-200)/35*-1. Let r be z(f). Let m(s) = 2*s + 27. Let g be m(-11). Solve -v - r = -g*v for v.
2
Suppose -28 = 9*s + 5*s. Let h be (-24)/(-60) + 66/10 + s. Solve -h*k + 7 = -3 for k.
2
Suppose 104*i + 72 = 116*i - 24. Solve i*o + 29 = -19 for o.
-6
Suppose -8*x + 9*x + 65 = 0. Let c be (-42)/(x/40 + (-3)/8). Solve 0 = -c*k + 24*k - 15 for k.
5
Suppose -43*t + 4 + 1271 = 32*t. Solve t*r = -11*r + 22*r for r.
0
Let x(a) = 7*a - 25. Let v be x(4). Suppose 0 = -g + 3*z + 3, v*g + z - 1 + 2 = 0. Let k be (-2 - -2) + g + -4 + 6. Solve -k*i = i for i.
0
Let b = 12 + 20. Let m = 36 - b. Suppose 0 = m*p - 25 + 1. Solve -2*c - p = 2 for c.
-4
Suppose 5*d + 1 = 4*z, 4*d - 5*z - 4 = -12. Suppose -9*a - d*a = 0. Let t(w) = w**3 + 3*w**2 - 2*w - 2. Let q be t(-3). Solve q*i + 15 + 1 = a for i.
-4
Let v be -1*12*-1*(0 - (-13)/26). Solve -4*s - v*s = -8*s for s.
0
Suppose -2*v + 34 = 3*s, 0 = s - 3*v + 6*v - 23. Solve s*n + 26 = 34 for n.
1
Let j = -2467 - -2487. Solve 25*i = j + 5 for i.
1
Let v(k) = -6*k**3 + k**2 - 3*k - 2. Let z be v(-1). Suppose j - 14 = 3*s - s, -2*s = z. Solve 0 = -3*x + j*x - 3 for x.
1
Let u(n) be the second derivative of -1/3*n**3 + 0 + 18*n - 6*n**2. Let r be u(-8). Solve 3 + 5 = -r*i for i.
-2
Let q(l) = -32*l + 168. Let c be q(5). Suppose -60*y = -62*y + c. Solve 2 = y*h + 6 for h.
-1
Suppose 3*u = 5*g + 283, -4*u + 6*u - 194 = 2*g. Suppose -5*v + 84 = -u. Solve -35*k = -v*k - 4 for k.
-2
Suppose 31 = -2*b + 103. Suppose 9 = f - 3*o - 2*o, -4*f = o - b. Let t be 1*(f/15 + 94/10). Solve t*p - 8*p = 0 for p.
0
Let o be -10 + 4 + 7 + 2/2. Solve 0 = o*j + 30*j - 32 for j.
1
Let k = -469 - -786. Let m = 320 - k. Solve m*h + 3*h = 30 for h.
5
Let c be 17/(136/128) + -8. Let y(p) = -p**3 - 14*p**2 - 14*p - 11. Let d be y(-13). Solve -4 = d*f - c for f.
2
Suppose -2*c + 18 = c. Let k be 15 - -8*(127/(-8) - (-115 - -100)). Solve 10*v - c = k*v for v.
3
Suppose -3640 = 28*o - 5572. Suppose -8*d + 610 = 2*d. Solve d = 4*s + o for s.
-2
Let j = -7 + 19. Let r be j + 8/12*(-3 - 0). Solve 0 = 6*k - r*k for k.
0
Suppose -p - 4 = 5*k + 5, -4*p + k - 15 = 0. Let h be 81/9*p/(-18). Solve -h = 7*y - 5*y for y.
-1
Suppose -2*x + 3*x - 9 = -r, -4*x - r = -24. Let b(d) be the second derivative of d**4/6 + d**3/6 - 2*d**2 - 7*d. Let g be b(3). Solve -x = -3*m - g for m.
-4
Let k = 5 - -13. Let c = 24 - k. Let x be 3/(-3)*0*12/12. Solve -c*j + 5*j = x for j.
0
Let z(o) = -o + 3. Let r be z(2). Suppose -63 = -i + 2*v, 123 = 2*i + 7*v - 8*v. Let g = i + -54. Solve r = -2*l + g for l.
3
Let s = 514 - 224. Solve s = -7*r + 318 for r.
4
Let g be 12 - (2 + -3*6/(-9)). Suppose 2*o + 152 = 158. Solve -o*d + 20 = -g*d for d.
-4
Suppose -17*h + 19*h + 484 = 4*t, 4*h - 262 = -2*t. Solve t = -13*d + 54*d for d.
3
Let x be -2 - (19 + (-4 - -5)). Let c be 6 - (-1 - -2)/((-11)/x). Suppose 2*p + c*v + 7 = -v, -4*p + 10 = 2*v. Solve -5*g + p = -6 for g.
2
Let v(n) = 91 + 2*n - 84 - 3*n. Let u be v(4). Solve -r + u*r = -4 for r.
-2
Let w(i) = i**2 - 2*i - 3. Let a be w(3). Suppose -3*k + 960 + 129 = 0. Let g = -358 + k. Solve 6*l - g*l = a for l.
0
Suppose -m = 2*n - 10, 276*m = -n + 275*m + 8. Solve -17*p + 16*p - n = 0 for p.
-2
Let a be 2/(-56) + (-654445)/(-10220). Solve -63*c = -62 - a for c.
2
Let r be ((33/(-5))/(-11))/((-3)/(-45)). Solve 33*j - r = 156 for j.
5
Suppose -2*o = j - 11, -3*o + o + 3*j - 17 = 0. Solve 287*f = 286*f - o for f.
-2
Suppose 4*a + 30 + 26 = 0. Let s be a/(-7) + 2 - 1. Solve s*f = f - 10 for f.
-5
Suppose -4*r + 3*r = -2*r. Suppose 0 = -2*t + u - 3, 3*u + 0*u - 15 = r. Suppose -4*y - 5 - 3 = 0, -22 = -4*b + 5*y. Solve -b*i = -7 + t for i.
2
Let g = 99 + -87. Let s be (7 + -2)*g*4/40. Solve -s*b + 17*b - 33 = 0 for b.
3
Let j(i) = i**2 + 2*i - 7. Let s be j(2). Suppose 4*p - 3*v = -s, 8*p - 6*p - 3*v + 5 = 0. Solve -p*n = 6 + 2 for n.
-4
Let m(n) be the se