 2*a for a.
2
Let a(j) = 4*j - 20. Let w be a(14). Let y = -29 + w. Solve y*o = 10*o - 12 for o.
4
Let j = 6525 + -6515. Solve -j*s - 43 = 7 for s.
-5
Let v be 108/(-18) - 6/(-1). Suppose -2*i + 4*s = -10, v = -4*i - 0*i + 2*s + 20. Solve i - 32 = -9*l for l.
3
Let n(r) = 2*r**3 - r**2 + 2*r - 1. Let m be n(2). Let d be 3 + -1 - -20 - (-12977)/(-683). Solve -d*q + 0 = -m for q.
5
Suppose 495 + 189 = -9*x. Let f be 18/171 - (-8)/x. Solve f = -6*r - 2*r for r.
0
Suppose -51001*x = -50999*x - 14. Solve -21 = x*b - 0 for b.
-3
Suppose 0 = l + 4*l + 4*c - 41, -c + 26 = 3*l. Solve 0 = l*g - 50 + 32 for g.
2
Let x = 90 + 12. Solve 402 = -x*v - 210 for v.
-6
Suppose -2*i = -r - 116, 5*i - 5*r + 36 = 331. Suppose 0 = 60*w - i*w - 21. Solve -v = 2 - w for v.
5
Let i(y) = -y**3 + 7*y**2 - 4*y - 16. Let s be i(3). Solve -s = -8*k - 0*k for k.
1
Suppose 8*t - 20 - 4 = 0. Suppose 2*u - t*s = -2*s + 19, -5*u + 80 = 4*s. Suppose -5*v + 0 = -20. Solve 32 = v*o + u for o.
5
Let f(p) = -p**2 + 3*p - 5. Let y be f(0). Let v be 2/(4*y/(-190)). Suppose 2*d + o + 7 = 3*d, 0 = d - 5*o - v. Solve d = 4*h + 12 for h.
-2
Suppose 2523 = 15*a + 14*a. Solve 0 = 8*n + 39 - a for n.
6
Suppose 5*h + b = 2*b - 372, 5*b = -3*h - 212. Let i = h + 64. Let g be (17/(255/(-18)))/(3/i). Solve -5*w = -1 - g for w.
1
Let j(i) = i - 2. Suppose 3*a = -0*a + 18. Let x be j(a). Let g be 0*(14/x - 3). Solve g = 4*h - 5 - 3 for h.
2
Let f be (-2)/(2/(-1)) - -18. Let l be (-3 + 41)/(5 - 3). Let u = f - l. Solve u = -3*z + 1 - 4 for z.
-1
Suppose 123*s - 120*s + r - 355 = 0, 2*r - 359 = -3*s. Solve 0 = -118*x + s*x for x.
0
Let m(g) be the first derivative of -4*g**3/3 + 37*g**2 - 24*g - 139. Let d be m(18). Solve -2 + d = -2*w for w.
-5
Suppose 4*d - 2*r - 2*r = 8, 4*d + 12 = -r. Let g be d + 28/12 - 11/(-3). Suppose -5*m + g*n = -5 - 12, -2*n - 11 = -5*m. Solve -m + 5 = 2*p for p.
2
Let a(s) = -s**2 + 32*s - 152. Suppose -13*t - 4 + 82 = 0. Let j be a(t). Solve 1 = -j*d - 3 for d.
-1
Suppose 5*d - 3*t - 67 - 60 = 0, 3*d + 4*t = 53. Solve d*w = 92 + 46 for w.
6
Suppose 0 = 3*h - 3, -2*h + 12 = l - 0*h. Suppose -l*d - 2*d = 0. Solve 2*t = -d*t - 4 for t.
-2
Let i = -1604334 + 1604339. Suppose 0 = -j + 5*w - 3*w + 7, -5*j = -4*w - 5. Let p be 3/(j/(-14))*1. Solve i*x = -p - 11 for x.
-5
Let u = -215 + 69. Let y = u - -116. Let v be (y/(-3) - 5) + -3. Solve 0 = s - v*s + 3 for s.
3
Let s be (-162)/(-20) + -8 + (-3758)/(-20). Suppose -192*k + 28 = -s*k. Solve -k*j = -10*j + 12 for j.
4
Suppose 89*d - 1891 = 334. Solve d = -242*a + 217*a for a.
-1
Let b(s) = 3*s**3 + 35*s**2 - 13*s + 6. Let d be b(-12). Suppose -3*c + 2 = -5*m, 2*m + 0*m + 5 = -3*c. Let v be (-2)/(0 + m) + 2. Solve -v*r + d - 2 = 0 for r.
4
Let v be -16 + 84 + -4 + (-5 - -5). Solve v = 79*y - 252 for y.
4
Let k(p) = -p**2 + 17*p + 43. Let o be k(19). Suppose -5*s + o = 15, -14 = -3*x + 4*s. Solve -l = -x*l - 2 for l.
-2
Let k be 25/(-6) + (-5)/(-30) - 88. Let t = k - -34. Let n = -46 - t. Solve 2*i - 5*i = n for i.
-4
Let s be 6345/799 - ((-5)/17)/5. Solve -u = -2*u - s*u for u.
0
Let h = 1491 + -1487. Solve -2*l = -h*l + 4 for l.
2
Let k(j) = j + 17. Let u be k(-30). Let c(h) = -h**2 - h + 7. Let r be c(-5). Let y = r - u. Solve y = 5*f - 0*f + 10 for f.
-2
Suppose 12 = 7*x - 9. Suppose 0 = 4*q - x*i + 6 + 1, i + 5 = 5*q. Let r(t) = -6*t + 16. Let u be r(q). Solve 3*b + 2 = u*b for b.
2
Suppose -2*x - p = x - 5, 4*x - 5*p - 32 = 0. Suppose 0*h + 4*h + 58 = 5*k, x*k = -4*h + 22. Solve -3*y = -y + k for y.
-5
Let q(b) = -b - 13. Let a(v) = v + 12. Let k(c) = -4*a(c) - 3*q(c). Let h be k(-12). Let l(d) = 20*d**2 + 3*d + 3. Let p be l(-1). Solve -f - p = h*f for f.
-5
Let r = 416 + -412. Let i be -5 + 49/r + (-1)/4. Solve 3 = -4*y + i for y.
1
Let g(b) = -b**3 + 116*b**2 - 208*b - 2277. Let i be g(114). Let j = -17 + 39. Suppose 3*r = j - 4. Solve 12 = i*w - r*w for w.
-4
Let i be (-10 + 8)/((-9)/(-3)*6/(-36)). Solve i*u = 93 - 129 for u.
-9
Let l(n) = n + 26. Let r be l(-19). Let z = 518 - 508. Solve 0 = -c + z - r for c.
3
Let x = 154 - 151. Suppose 3*c = -5*a + x, 3*a = -2*a + c + 19. Solve -t = -2*t + a for t.
3
Let b be 24 - -3*2/6*4. Suppose 9060 = 11*s + 8741. Solve l = s - b for l.
1
Let m(r) = 2*r + 58. Let y = -133 - -117. Let b be m(y). Solve 5*d = -b + 1 for d.
-5
Suppose 97*f - 2240 = -127*f. Solve 57*c + f*c = -335 for c.
-5
Let n be (-3 + -2)/(-1*(-2)/(-6)) + 0. Solve 143 = -64*l + n for l.
-2
Let v(x) = -8*x - 29. Let h be v(-4). Let r be 2/(-16) + (-59)/(-472). Solve k + h*k + 4 = r for k.
-1
Let f be (4 - -599)*(-6)/(-72) - 3/12. Solve -2*h - 260 = f*h for h.
-5
Let p be 29 - 6/(24/52). Solve -13*x - 3 + p = 0 for x.
1
Suppose -b - 4*n + 10 = -2*b, 5*b = -2*n + 16. Let i be 226*((-3)/b)/(-3). Let a = i - 103. Solve a = -4*q + 2 for q.
-2
Suppose -5*s = -4*j + 377, -4*j - 5*s + 6*s = -373. Let f = j - 87. Suppose 5*n - 12 - 3 = 0. Solve -i = -n*i - f for i.
-3
Let y = -402 - -404. Suppose -3*u - 12 = -u + 5*n, -5*u - y*n + 12 = 0. Solve u*o - 6 = 6 for o.
3
Let v = 424 + -449. Let x be (v - -26)/(1/11). Solve 2*l = -7 + x for l.
2
Let x = 518 + -518. Solve -2*z + 4*z - 8 = x for z.
4
Let g(d) = -51*d**3 + 5*d - 10. Let i be g(2). Let h = 408 + i. Solve h = -2*w - 4*w + 18 for w.
3
Let p(i) = i**2 - 9*i - 1. Let w be p(10). Let k be (7 - 1)/((-2)/((-12)/w)). Suppose -2*r + 6 = -4*z, 5*z = -k*r + 35 - 10. Solve -r*q + 3 + 7 = 0 for q.
2
Let j(d) = -28 - 21*d**2 + d**2 + 20*d + 18*d**2. Let m be j(8). Solve m = 4*h - 8 for h.
3
Suppose -26*g + 5*r + 25 = -23*g, 2*r = -4. Suppose 4*z = -g*d + 104, 0 = 5*z + 7*d - 2*d - 125. Solve -z = -2*l + 9*l for l.
-3
Let b be 29 - -1 - (-7 - -4). Solve 10*m + b = -m for m.
-3
Let f = 235 + -228. Suppose f*i - 39 = 4*i. Solve -6*h + i = -17 for h.
5
Suppose 20*i - 25 = 215. Solve -i*d + 25 = -17*d for d.
-5
Let x(a) = a**2 + 5*a - 11. Let i be 9/(45/2)*1*5. Let b be x(i). Solve 0 = -b*r + 2*r + 3 for r.
3
Let y be 1*7 + -3 + 76 + 8. Solve -7*c = 39 - y for c.
7
Let t(o) = -2*o**2 + 45*o - 21. Let d be t(19). Suppose -6*j = -13*j - d. Let v be 2/(((j/20)/(-1))/2). Solve -v = 3*m - 2 for m.
-1
Let v(o) = -o**2 - 123*o - 1616. Let m be v(-15). Let q(r) = 3*r - 3. Let h be q(3). Solve m*p = h*p for p.
0
Let x = -341 + 442. Suppose -x = -4*k - 93. Solve 0 = -0*v - k*v + 8 for v.
4
Let r(p) = 10*p**3 + 36*p**2 - 4*p - 3. Let v be r(-1). Solve 14 = -v*y - 40 for y.
-2
Let w be (-4)/(-5) + ((-229)/(-5))/(-1). Let u = w - -49. Suppose 0*b - 4 = -z + b, u*b + 16 = -z. Solve -o = -z*o - 3 for o.
3
Let v(o) = -2*o**3 + 21*o**2 - 28*o + 19. Let b be v(9). Solve 40*p = b*p + 120 for p.
4
Suppose -3*c = 4*w - 7*c + 4, -w - 4*c + 34 = 0. Solve -4*i + 14 = -w*i for i.
-7
Let q = 148 - 143. Suppose q*l - 14 = -3*b, -l - 4*l - 10 = -5*b. Solve 0 = -b*k + 6*k - 6 for k.
2
Let r(x) = x**3 - 5*x**2 - 7*x + 1. Let n be r(6). Let w(h) = 8*h + 49. Let f be w(n). Solve -2*g = -f + 7 for g.
1
Suppose -16*h + 588 = -612. Solve 0 = -41*a + 294 + h for a.
9
Let y = -1159 + 1164. Solve 0 = 12*f + y*f + 51 for f.
-3
Suppose -6*g = -g - 3*w + 360, -4*g = -4*w + 280. Let d = -72 - g. Suppose -d*q + 4 = 4*h - 4, 4*h - 4*q = 8. Solve 2*c + 2 = -h for c.
-2
Let v = -6314 + 6329. Solve -26*d + 89 = -v for d.
4
Suppose -2*j - 10 = 5*t, -46*t = -49*t + j - 17. Let m(h) = -h - 1 + h**2 - 2 + 3*h. Let p be m(t). Solve -p*f + 4 = 9 for f.
-1
Suppose -3*l - 5*r + 77 = 0, 0 = 46*l - 47*l - 2*r + 27. Solve 18 + 1 = l*i for i.
1
Let l = -393 + 413. Suppose 160 = 5*j - 0*j. Suppose -7 = 5*m - j. Solve m*o + l = -5 for o.
-5
Suppose 2*j + 4*s - 6*s - 8 = 0, -3*j - s = -16. Suppose -48 = 3*h + 19*v, -3*h + 277*v + 24 = 272*v. Let t = 4 - 0. Solve -t = j*n - h*n for n.
-2
Let d be (-6)/(-9) + 2784/(-18). Let q = 169 + d. Solve -8*u + 5*u = q for u.
-5
Let b be -1 + 7 - 2*-1*(-22)/(-44). Solve 5*r + 17 = b for r.
-2
Let w(s) = s**3 + 17*s**2 + 7*s + 865. Let q be w(-19). Solve q*t + 307 = 317 for t.
1
Let d be (-48)/(-27) + 6/27. Suppose 45 = -5*m + i, -3*m = i - 4*i + 39. Let y be 3*m/40 - (-3)/5. Solve 0 = d*n - 4 - y for n.
2
Let f(g) = -2*g - 5. Let s = -7 + 3. Let z be f(s). Suppose 4*o - 24 = -0*o. Solve o = d - z*d for d.
-3
Let j be ((-4)/(-4) + 2*143)/(148/592). Solve -5*r + j = 1163 for r.
-3
Let k = 11260 + -11257. Le