 + 4*v = m for v.
2
Let h(z) = -z**2 + 3*z + 49. Let b be h(8). Suppose -b*i - 279 + 333 = 0. Solve 0 = -2*v + i - 6 for v.
0
Let d = -53 - -43. Let c be 10/2 + d + -8 + 16. Solve -c*r = r for r.
0
Let s(k) be the second derivative of k**3/6 + k**2 + 2*k. Let y be s(4). Solve y = f + 8 for f.
-2
Suppose -3*t = -27 + 21. Suppose b = 3*w - t*w - 58, 2*b = -w + 70. Let f = w + -59. Solve -5*j = -f + 18 for j.
-3
Let v be (-1)/1 - 15/5. Let o(h) = -3*h - 7. Let m be o(v). Let k be (7 - -2)*1 + (-74 - -73). Solve 0 = -3*c + m*c + k for c.
-4
Suppose -3*x + 153 = 5*p, 5*p - 116 - 38 = -4*x. Suppose p = -l + 2*s, -3*l + 0*l - 4*s = 40. Let w = l - -23. Solve -5*d + w*d = 8 for d.
-4
Let h be (-3)/(-2) - 3/(-6). Let v be -6 - 20/(-5) - h. Let x(l) = 2*l**2 + 2*l - 14. Let a be x(v). Solve 0 = -2*d - 3*d + a for d.
2
Suppose -3752*q + 729 = -3725*q. Solve -278 = -q*t - 224 for t.
2
Let g = -9 - -12. Let u be (-1)/(-4 - (-38)/10). Suppose -5 = -u*y + 10. Solve y*f = 15 - g for f.
4
Let q be 46/(-138)*-1*3 - -17. Solve -11*b = q*b + 174 for b.
-6
Let i(v) = -v**3 + 9*v**2 + 14. Let d be i(9). Let m be (1*(-20)/d)/((-73)/511). Solve -m = j + j for j.
-5
Let m be (99/(-55))/(-9)*15. Solve 5*y = m*y for y.
0
Let t be (-7131)/(-54) - 85/1530. Solve 0 = -11*u + 99 - t for u.
-3
Let r(l) = l**2 + 8*l - 1. Let i be r(-8). Let d be (-3 - i - (0 - 0)) + -79. Let t = -77 - d. Solve -2 = -t*q - 6 for q.
-1
Let d = -2 + 2. Suppose k - 451 + 417 = -8*h, 4*h + 2*k - 20 = 0. Solve d = -h*f + 16 for f.
4
Suppose -5 = 4*c - 31*r + 32*r, -c + r = 0. Let w(y) = y - 7 + 4 - 4*y. Let n be w(c). Solve -3*o + n*o + 3 = 0 for o.
1
Let f(r) = -r**3 + 89*r**2 - 256*r - 6. Let q be f(3). Solve q = -h + 13 - 16 for h.
-3
Let c be -2 + 10*-3*(-1)/6. Let s be (c + 0)/(26 - 25). Suppose 2*x + s*u + 6 + 3 = 0, -5*x = 2*u - 5. Solve 5 = 2*j - x for j.
4
Let m(v) = -3*v + 34. Let i(h) = 8*h**2 + 10*h. Let q be i(-3). Let z = -31 + q. Let s be m(z). Solve 5*l - 6*l - s = 0 for l.
-1
Let l be (-3 - -4) + (-5 - -4). Suppose 4*s = 4*h + 16, 2*s + l*h = 4*h + 8. Suppose 0 = s*t + 2*g - 8, 6*t = 2*t - 5*g + 8. Solve t*y - 3 = 1 for y.
2
Let y = 11973 - 11935. Solve -y*u - 56 = 172 for u.
-6
Let h(y) = -y**3 - 8*y**2 - 8*y. Let d be (-5 - 1 - -20)*3/(-6). Let f be h(d). Solve 26 = -f*b + 5 for b.
-3
Suppose 2*f - 57 - 805 = 0. Suppose -f = 12*b + 253. Let r = 63 + b. Solve -r*k = -2*k for k.
0
Suppose -13*b + 5*c + 70 = -9*b, 5*b - 94 = 3*c. Suppose -2*m = -3*h + 6*h + 4, -2*m = 4*h + 4. Suppose -2*u + 7 + 5 = h. Solve -u*g + b = -g for g.
4
Let w(g) = -2*g**3 - 26*g**2 - 28*g - 29. Let z be w(-12). Solve -18*x + z*x + 5 = 0 for x.
-5
Let z be (11/4 + -2)/((-13)/208). Let h = -27 + 12. Let s be (-15)/12 + h/z. Solve 0 = -s*p + 3*p + 9 for p.
-3
Let r be -22 + (3/(-2))/(11/(-22)). Let h(t) = -t**2 - 18*t + 23. Let o be h(r). Solve -y = -o*y - 9 for y.
-3
Suppose -k = 37*k + 342. Let p(q) = -q**2 - 21*q - 97. Let x be p(k). Solve x*i - 7*i = 4 for i.
1
Let m(v) = 54*v + 8. Let q be m(5). Let u = -275 + q. Solve -8*x - u = 5 for x.
-1
Let f(t) = t**3 - 2*t**2 - 3*t - 5. Let y be f(4). Suppose 2*v + 50 = 4*k, -v = 3*k - 3*v - 35. Let c be -4 - (16/(-10))/(3/k). Solve -c*i - y = -9*i for i.
3
Let l be ((-22)/(-3))/((-8)/(-96)). Let s be 3/5 + l/20. Let x(p) = p - 4. Let r be x(8). Solve s*q = q - r for q.
-1
Suppose 5*s - q - 55 = 0, -5*s + 11*q - 7*q + 55 = 0. Solve 12*d = s*d - 3 for d.
-3
Let m be 10/165 - (-18470)/165. Solve a + 117 = m for a.
-5
Suppose 0 = -2*n + 3 + 165. Let w be 1/4 + n/48. Suppose -w*h = 5*y, h = -0*h - y. Solve -3*v + 9 = -h*v for v.
3
Let h = -323 + 683. Suppose 23*d - h = -5*n + 24*d, 4*n = d + 287. Solve 71*j + 6 = n*j for j.
3
Suppose 0*u + 2*u - 204 = -5*b, -4*b + 168 = 4*u. Let j = 64 - b. Suppose -j = -2*k - k. Solve -3*x = -x + k for x.
-4
Let d = -808 - -824. Let r be 4/(d/(-3)) - 306/(-24). Solve -36 = 3*f - r*f for f.
4
Suppose q = 5*q + 36. Let x(y) = y**2 + 12*y + 18. Let k be x(q). Let a be (-32)/(-12)*(0 + k/(-2)). Solve 3*m + m = a for m.
3
Suppose f - 104*d + 14 = -102*d, -4*f = -d + 7. Solve -155*y + 174*y = f for y.
0
Let y be (-1)/6 - (64699/138)/(-29). Solve y*b = 68 - 4 for b.
4
Let p = 182 - 149. Suppose -5*a = -4*j + 159, -9*j + 10*j = -a + p. Solve 7*n - j + 8 = 0 for n.
4
Suppose 0 = 2*o - 4*h - 378 - 232, -4*h = -3*o + 925. Suppose -4*k - o = -7*k. Let d = 118 - k. Solve -3*r + d = 1 for r.
4
Let l be (7/(-35) - 717/15)*9. Let r = l + 436. Solve r + 8 = -4*q for q.
-3
Suppose 0 = c + 2, 8*c - 46 = -4*a + 11*c. Solve -a*x + 8 = -2 for x.
1
Let r be 10*(12/(-5) - -4). Let f(p) = p**3 + 9*p**2 + 28*p + 44. Let a be f(-4). Solve r*c = 10*c + a for c.
2
Let h = -120 - -77. Let m = h - -58. Solve -6 = -7*p + m for p.
3
Suppose 0 = 4*i + 8*i - 24. Suppose 0 = -5*u + i*r + 14, 0 = -2*u + 5*r - 6*r + 11. Solve 10 + 6 = u*t for t.
4
Let b(i) = -i**3 - 30*i**2 - 129*i - 80. Let h be b(-25). Solve 0 = -4*k + 8*k - h for k.
5
Suppose -5*z + 1374 = 5*z + 474. Solve -10 = -20*j - z for j.
-4
Suppose -w = 3*w + 7*w + 3*w. Suppose 0 = 5*x - 3*x - 4. Suppose 4*o - x*o = 0. Solve o = -r - w + 4 for r.
4
Let i be 2*(-8)/(-1 - 1). Let y = 10243 - 10243. Solve 2*a + i = -y*a for a.
-4
Let m = 300 - 284. Suppose -m*x + 23*x = 0. Solve x = 3*z - 4 - 2 for z.
2
Suppose -139*p + 8546 = -2574. Solve -80 + p = 22*g for g.
0
Let f(o) = o**3 - 11*o**2 - 12*o + 7. Let a = 95 + -83. Let j be f(a). Solve -j = -5*t - 2 for t.
1
Let y be (6 - (12 + (-6 - 0)))/(-1). Let k(a) = -8 + 11 - 4*a - 2*a. Let o be k(y). Solve -2*r - 5 + o = 0 for r.
-1
Let h = -2829 + 2841. Solve -h*i + 56 = 2*i for i.
4
Suppose -9*f + 45 = -4*f. Let z be -4*(0 + 1) + f. Solve z*a - 2*a = 0 for a.
0
Let k = -1009 - -1273. Let b be (k/(-2))/(-11) + -8. Let z be 0*((-2)/4)/1. Solve z = -7*r + b*r + 12 for r.
4
Let q be (6 + -7)*1 - -2*2. Suppose -2*t + q = 3*i, -2*i = -2*t + 6 - 18. Let g be (-27)/(-3) - (2 + i/(-3)). Solve 0 = j - 3*j - g for j.
-4
Let f = -86 + 89. Suppose -2*x - 26 = -h + 3*x, 5*h + x - 26 = 0. Suppose 4*d - h - 2 = 0. Solve f*m - d - 1 = 0 for m.
1
Suppose -116 - 95 - 149 = -12*i. Solve 18*f = -i + 66 for f.
2
Let s = -17 + 15. Let z be (-245)/10 - 3/s. Let p = z - -26. Solve l = p*l + 6 for l.
-3
Suppose 5*q - 3*y - y + 150 = 0, -72 = 2*q - 4*y. Let i = -24 - q. Suppose i = 3*n + x, 3*n - 20 + 2 = 3*x. Solve 0 = n*b + 4 + 2 for b.
-3
Let b = 17 - 6. Suppose -59*c - 89*c = -47*c. Solve -3*n + b + 4 = c for n.
5
Suppose -5*z + 159 = 2*f, 4*z + 86 = -f + 2*f. Solve 46 = -9*j + f for j.
4
Let s = -7538 + 7781. Solve s*l + 64 = 235*l for l.
-8
Let a = -136 + 212. Suppose 79*f = a*f + 6. Solve o + f = 3 for o.
1
Let r be 9 + (-2)/1 + 0. Let o = 659 - 363. Let y = o + -293. Solve 5*f = y + r for f.
2
Let v(l) = -7*l**3 + 3*l**2 + 3*l + 18. Let w be v(-4). Let x = w - 500. Solve -m - 6 = x*m for m.
-2
Let q be (-2)/6*(-17 - -2). Let k = -337 + 262. Let i be 1/(6 + 447/k). Solve q*h + 0*h = i for h.
5
Let z(x) = -12*x - 64*x**2 + 14 + 137*x**2 + x**3 - 5*x - 66*x**2. Let p be z(-9). Solve -2*u + 28 = p*u for u.
4
Let l(j) = 22*j + 238. Let x be l(30). Let w = -894 + x. Solve -5*h - w = 1 for h.
-1
Suppose 5*h - 2904 = -2434. Solve 90*g - h*g - 16 = 0 for g.
-4
Suppose -3115*o + 320 = -3110*o. Solve -53 = 39*d + o for d.
-3
Suppose -54*h + 50*h = -88. Suppose -t - 28*r + 6 = -26*r, -t + h = -2*r. Solve 6 - t = -4*x for x.
2
Let b(c) = -10*c**2 + 3 + 2*c + 9*c**2 - 3 + 8. Let o be b(-2). Solve 12 = 4*k - o for k.
3
Let s be (-63)/7*1 - (-1561 - 11). Solve -s*r - 14 = -1570*r for r.
2
Suppose 0 = 52*x - 59*x. Let r be ((-1)/(-2))/(6/48). Let u be (r - 1)*(-1 - -2). Solve x*g + u = -g for g.
-3
Suppose 8898*z = 8887*z + 143. Let m(t) = -t**3 - 5*t**2 + 3*t - 3. Let x be m(-6). Solve -x*v + z*v = -8 for v.
4
Let n(s) = -6 + 9*s + 8 + 9*s**3 - 8*s**3 + 6*s**2. Let i be n(-3). Solve -i = r - 2*r for r.
2
Let r be 13 + -5 + 12 + -10. Solve -r*i = -31 - 9 for i.
4
Let u be -2 - (2/6)/((-10)/750). Suppose 0 = -2*d - j - 1, -4*d + 3*j + 0 = -u. Solve -d*w = w + 15 for w.
-5
Let j be (1/5*-6)/((-3)/1550). Suppose 9*m - j = -m. Let f = 66 - m. Solve f*o + 9 = o for o.
-3
Let i(v) = v**3 - 3*v**2 - v - 25. Let o be i(5). Suppose 38 + 42 = o*s. Solve s*b = 3*b + 4 for b.
4
Suppose -s + r - 6 = -2*r, 0 = -