*v + 4 for v.
2
Let d = 270 + -265. Let x be d/(225/170) + 12/54. Solve z = 1 - x for z.
-3
Let t = 2906 - 2861. Solve t - 100 = -11*h for h.
5
Let k(r) = r**3 - 12*r**2 + 32*r. Let f be k(8). Solve f = 503*u - 477*u for u.
0
Suppose 8*z = -12*z + 60. Suppose 0*c = -2*g - z*c + 1, -2*c = 5*g - 8. Solve 0*d + 6 = g*d for d.
3
Let v be (840/525)/((-243)/245 - -1). Let d be 9*(v/21)/7. Solve -k - 13 = -d for k.
-1
Let g = -334 + 358. Solve 53*x + g = 59*x for x.
4
Let d(g) = -98*g**3 - 31*g**2 - 63*g - 3. Let w be d(-2). Solve -10*t + w = -97*t for t.
-9
Let k = -9752 - -9755. Suppose j + 0 - 7 = -x, -4*x + 10 = j. Solve -k = s - j for s.
3
Suppose n - 10 = -4*n. Suppose -2*b - 5*y = n, 5*b + 2*y - 9 = 7. Let k(j) = -j**2 + 6*j - 4. Let d be k(b). Solve -6 = -d*c + 14 for c.
5
Let t = -61 + 68. Let y(i) = -i**2 + 11*i - 23. Let j be y(t). Suppose j*x + 4 + 16 = f, -4*x = -f + 17. Solve 3 = -f*u + 8 for u.
1
Suppose 14 = 4*g + u - 11, -30 = -5*g - u. Solve -24*c = -g*c + 114 for c.
-6
Let t(z) = -z**3 + z**2 + 5*z - 1. Let u be t(2). Suppose u*k - 8*k + 60 = 0. Suppose 2*c - 26 = 4*r, -2*c = -8*r + 7*r - 11. Solve c*n + k = -2*n for n.
-4
Let d(y) be the first derivative of y**3/3 - 3*y**2/2 - 2*y - 1. Let b(h) = -33*h - 1118. Let v be b(-34). Let z be d(v). Solve -5 + z = 3*n for n.
-1
Let a be (-104 - -106)*((1 - 1) + 513/6). Solve 64*f - 21 = a for f.
3
Suppose -143*n + 586 = 150*n. Solve -319*j - n = -317*j for j.
-1
Suppose -4 = p, -2*g - 12*p = -7*p + 12. Let q(r) = -r + 22. Let o be q(g). Solve o*v = 16*v + 6 for v.
3
Let a be 1/(-5) - 1/(-5). Suppose -4*b = -12, 0*b - 32 = -4*f + 4*b. Suppose -19 - f = -6*g. Solve -w + g*w = a for w.
0
Let x(g) = 2109*g - 32 - 2113*g + 2. Let p be x(-8). Let y be -4 - -9 - (7 + -4). Solve -p = -y*o + 4 for o.
3
Suppose 0*f - 48 = -24*f. Suppose -5*u + 8 = -f. Solve 0 = -n + u - 1 for n.
1
Let s(d) = -29 - 7*d + 3*d + 0*d + 2*d. Let o be s(-17). Let i(p) = p**2 + 20*p + 101. Let c be i(-13). Solve o*z + c = -0 for z.
-2
Let t(y) = y**3 + y**2 - 8*y - 1. Suppose -g = 5*g + 4*g. Suppose g = 3*u + 1 + 8. Let j be t(u). Solve -i - j = -0*i for i.
-5
Let i be (((-270)/(-12))/(-15))/((-6)/416). Let v be 4/26 - 16/i. Solve 0 = t - v + 5 for t.
-5
Let i(j) = -j**2 - 48*j - 496. Let z be i(-32). Solve 0 = -z*n + 42 + 22 for n.
4
Let s(p) = p**3 - 10*p**2 + 126*p - 294. Let x be s(3). Solve -15 = -v - x for v.
-6
Let k = -6117 + 6126. Solve -u - 4*u = k*u for u.
0
Let b(h) = -h**3 - 3*h**2 + 9*h - 3. Let v be b(-5). Let t be (-12)/(-18)*21/v. Solve -t*g + 4*g - 9 = 0 for g.
-3
Suppose 20*v + 3 = 43. Suppose -4 = 2*n - v*k, -k = -4*k + 12. Solve -n = q - 3*q for q.
1
Let t = 10024 + -9998. Solve 16*k + t + 70 = 0 for k.
-6
Suppose -8 = -5*g + 4*l + 1, 0 = g - 3*l + 7. Let k(r) = 5*r**3 + 15*r**2 - 9*r + 3. Let f be k(0). Solve -2 = g*y + f for y.
-1
Let t(r) = -184*r + 8860. Let o be t(48). Solve o*l + 18*l = 38*l for l.
0
Let p be 16 + 9 + -5 + -1*1. Suppose p*s - 13*s = 54. Solve -b + 8 = s for b.
-1
Let u(l) = -26*l + 1. Let d be u(2). Suppose -3*y + 7*y - 279 = -5*i, -2*i - y = -114. Let v = d + i. Solve -3*z + 5*z + v = 0 for z.
-4
Let p = 517 - 563. Let j = 48 + p. Solve 1 + 5 = j*c for c.
3
Let h(y) = -y**2 - 11*y - 16. Let s be h(-8). Suppose -2*z - s = -4*z + 2*k, -2*k + 20 = 5*z. Let c = 233 + -230. Solve -c*r + 5 = -z*r for r.
-5
Let j be 1 + 1 + (-69)/((-9)/(-3)). Let x = 38 - j. Let p = x - 54. Solve -5 = -5*y + p for y.
2
Let a be ((-122)/4*(-9)/6)/(5/20). Solve -a = 5*d - 188 for d.
1
Suppose -t = -2*v + v + 9, -t = v - 1. Suppose -5*q = 3*b - 8*b + 600, 5*b + 590 = -v*q. Let p = 125 + q. Solve p = -2*n - 0 for n.
-3
Suppose -2*r + 17*j = 22*j - 30, -4*r + 42 = j. Solve 0*p - r*p = 0 for p.
0
Let l be 66/(-2)*(-1 + 2/3). Suppose -l*j - j = -60. Suppose 0 = y - 5*a + 7 - 34, 5*a = -j*y + 15. Solve -2*k = -y*k for k.
0
Let t be (1 - (-265)/(-15))*(-27)/18. Solve 0 = 2*z + t - 21 for z.
-2
Suppose -7*m + 27 = -11*m + b, -4*b = 2*m + 18. Let d be 13 + -1 + 4*m/14. Solve 0 = -d*o + 12*o for o.
0
Let o = -67 + 70. Suppose -o*r + f - 5 = 0, -f + 1 = 5*r - 4*r. Let l be 1 + 0 + -2*r/(-2). Solve 2*m - m - 5 = l for m.
5
Let k(a) = -a**2 + 7*a - 40. Let x(i) = -i - 1. Let t(d) = k(d) - 6*x(d). Let r(g) = -g**2 - 7*g - 1. Let b be r(-5). Let j be t(b). Solve -3 = j*o - 5*o for o.
1
Let x(m) = 18 + m**2 - 3*m**2 - 5 + m**3 - 8 - 6*m. Let b be x(4). Suppose 6 = -b*l + 6. Solve l*g = -g for g.
0
Suppose -315 = 29*v + 16*v. Let c(m) = -3*m**2 - 24*m - 12. Let j be c(v). Solve -h = -11 + j for h.
2
Let t be (-6)/16 - 3483/(-72). Suppose -11*k = 5*k - t. Solve 1 = -k*a + 16 for a.
5
Let p be (-2)/(-4) - 23/(-2). Solve 9*d - p - 24 = 0 for d.
4
Let i be -3 + (1 - 2) - (-1 + 1). Suppose 0 = -f - 4*o + 6*o - 5, 10 = 5*o. Let z be (i + 1)*1*f. Solve 0 = 4*n - z*n for n.
0
Let v = -22 - 18. Let p(x) = x**2 + 41*x + 193. Let c be p(-37). Let n = v + c. Solve 4*a - n = -1 for a.
1
Suppose -3*q + x = 25, -3*x = 3*q + x + 35. Let z(l) = l**2 + 4*l - 13. Let f be z(q). Suppose -u - 26 = -f. Solve -2*w + 0 = u for w.
-3
Let f be (2/(-12))/((-9)/135)*-6. Let k = f + 13. Let v = k + 3. Solve 0 = t + v for t.
-1
Let c be (1 + 14)*(1/3 - 0). Suppose -6*x + c = 113. Let z = -16 - x. Solve z*m = -2*m + 4 for m.
1
Let g = 5425 + -5390. Solve -5*v + g*v = -120 for v.
-4
Let n be (-4)/8*-94 - -4. Let h = n - 55. Let z(c) = c**3 + 5*c**2 + 3*c - 3. Let x be z(h). Solve 1 = -p - x for p.
-2
Let u(c) = -71*c + 2025. Let g be u(28). Solve -5*b + g = 52 for b.
-3
Suppose 6*m - 6 = 24. Let t = 349 - 343. Solve -t*k + k = m for k.
-1
Let k(t) = 17*t**2 - t - 1. Let s be k(2). Let p = s - 41. Suppose -3*y + 3 + 4 = 4*h, 4*y = 3*h - p. Solve -3*a + h*a = 2 for a.
2
Suppose -3*c + 264 = -4*p, -18*c + 2368 - 727 = -5*p. Solve -22*f - f = c for f.
-4
Let j be (-4)/((-1)/((-9)/(-6))) + 13. Solve -72 = j*a - 31*a for a.
6
Suppose -64 = 13*o + 14. Let x(f) = -f**3 - 5*f**2 + 4*f - 5. Let v be x(o). Solve -v*z = -0*z - 14 for z.
2
Suppose -75*w + 6075 = -60*w. Suppose -w = 7*k - 419. Solve 4 = -2*p + k for p.
-1
Let o(i) = 6*i + 186. Suppose -2*j + 3*n - 39 = 20, -5*j - 4*n - 159 = 0. Let r be o(j). Solve r*p = -6*p + 24 for p.
4
Let f be (2/(-42)*9)/((-835)/(-210) - 4). Solve 88 - f = -10*p for p.
-7
Suppose -5*l + 4*o = -30, -2*l + 4*o = -3*l - 18. Let n(b) = -3*b - 6 + 12 + 6 - b**l. Let p be n(-5). Solve p*z - 1 - 5 = 0 for z.
3
Let x be (42/(-15))/(18/(-225)). Solve x*g = g for g.
0
Let n(r) be the third derivative of -7*r**4/24 - 133*r**3/6 - 2*r**2 + 36. Let u be n(-22). Solve 2*l = u - 13 for l.
4
Let g = -183 + 195. Suppose 3*m = 4*d + g, -3*m - d + 1 = 4. Solve 8*s - 2*s = m for s.
0
Let c(p) = 2*p**3 - 10*p**2 + 10*p - 2. Let m be c(5). Solve -7*z - m = -34 for z.
-2
Suppose 3*d - 1391 + 1105 = -8*d. Solve 46 = 10*w + d for w.
2
Let z(a) = 2*a**3 + 14*a**2 + 13*a + 24. Let u be z(-6). Let k be (-220)/(-14) + u/63. Solve 37*q = 41*q + k for q.
-4
Suppose 271 = -3*r - o, r + 296 = -2*r + 4*o. Let p = 104 + r. Solve 0 + p = -3*y for y.
-4
Suppose 2001 - 701 = 4*j. Let w = 334 - j. Solve -11*q + w*q = 8 for q.
-4
Suppose -1051 = -6*i - 223. Suppose -304 - i = -17*h. Solve 2*b - 22 + h = 0 for b.
-2
Let l = 3848 - 3845. Solve l*y + 24 = -9*y for y.
-2
Let o(w) = 9*w + 10. Let b be o(-1). Let y be (b + -1)/(4 + 1). Solve -11*q - 25 - 19 = y for q.
-4
Let n(c) = -4*c**2 + 272*c + 101. Let f be n(67). Solve 0 = -8*i + f - 329 for i.
5
Let x be ((-4)/10)/(110/(-1375)). Let s = 44 + -24. Solve x*o - o = s for o.
5
Let t(a) = -2*a**2 + 185*a - 2892. Let q be t(72). Solve 168*f = 183*f + q for f.
-4
Let l be 44/8 + 2/(-1 - 3). Suppose r = l*j - 2*j - 3, 3*j - 18 = -4*r. Let x be 3/j + 1 - (-1)/2. Solve x = 2*p - p for p.
3
Let t = 21315 - 21299. Solve t*w + 37*w = 0 for w.
0
Let k = -340 - -467. Suppose 0 = 19*p + k - 127. Solve -10*i + 5*i + 25 = p for i.
5
Suppose -11*q + 320 = -q. Let z = q - 31. Solve 3*y + z = 10 for y.
3
Suppose -3*b + 37*a = 32*a - 304, 5*b + 5*a = 480. Solve -b*r + 8 = -106*r for r.
-1
Let m be (-982)/491 + 5*1. Solve -m*b + 5*b - 6*b = 0 for b.
0
Suppose -5*l - 2*h = -15, h + 7 = 2. Let m be 12/(-15) + (l - 55/25). Solve 4*f = -m + 14 for f.
3
Suppose h - 2*h = -4. Suppose 0 = 3*r + 5*u - 228, u + 50 = -4*r + 371. Suppose -77