t + o - 1 for t.
1
Let q(n) = n**3 + 8*n**2 - 124*n - 803. Let i be q(-6). Solve i*f - 44 = 47 for f.
7
Let a = 15 + -11. Suppose 2*n - 28 = -4*w - 2*n, -3*n = -2*w + a. Suppose w = 3*i - 1. Solve -2*f = i*f + 20 for f.
-5
Let x = 16 + -41. Let o = x - -25. Suppose 105 = 12*g + 69. Solve o*l + 6 = -g*l for l.
-2
Let u(a) = 12*a - 201. Let o be u(17). Suppose -o*q - 2*p = -32, -3*q + 3*p = -81 + 69. Solve -q*h - 4 = -12 for h.
1
Let x be ((-6)/(-8))/((-1)/(-12)). Let b be (-153)/(-72)*62*-4. Let a = b - -527. Solve a*p = 3*p + x for p.
-3
Let h = 71 - 56. Suppose 9*l = h*l - 60. Solve 4*k - l = 9*k for k.
-2
Suppose 5*t - 2*s - 60 = 0, -2*t - 2*t = -2*s - 50. Suppose -6*a + 2*o + t = -4*a, -19 = a + 5*o. Solve 9 = 4*z + a for z.
2
Suppose 0 = -4434*x + 4467*x - 198. Solve -18*n - 84 - x = 0 for n.
-5
Let w(t) = -t**3 + 2*t**2 - 2*t + 1. Let u be w(1). Let y = -213 - -254. Suppose 5*n + 10*s - y = 8*s, 4*n + 2*s - 34 = 0. Solve i - n + 2 = u for i.
5
Let q be 3/15 - (68/(-10) - -4). Suppose 0 = 4*b - x - 65, -50 = -q*b + 4*x - 3*x. Solve b*j - 17*j = 0 for j.
0
Let i be 1*76/(-20) + 2/(-10). Let g be (i/10)/((-8)/(-10))*-32. Let j be 3/(-2)*(g/(-6) - -2). Solve -2*y = 3 + j for y.
-2
Suppose 4*b = -2*d + 18, -5*d - 3 = -7*d - b. Let j be d/(-10) + 7126/140 + 11. Solve -j + 42 = 4*n for n.
-5
Let y be 36/(-84) + (-122)/(-7). Suppose 0*j - g = -3*j + y, -g = -5*j + 27. Suppose s + 0*s - 6 = j*w, 2*w + 12 = s. Solve -5*x - 9 = s for x.
-5
Let i be (-45)/(-7) + (-6)/14. Let u(o) = 2*o**3 + 3*o - 3. Let f be u(1). Suppose 0 = f*c - 3*c + 3. Solve -i*j - 15 = -c*j for j.
-5
Suppose -4*r - 3*y - 33 = -107, -5*y = 10. Solve -28*q - r = 8 for q.
-1
Let y(g) = -g**3 - 34*g**2 - 250*g - 16. Let l be y(-10). Solve 0 = 23*x - 35*x + l for x.
7
Let b be (1 - 77/(-3))*(35 + 5625/(-180)). Solve 74*v - 492 - b = 0 for v.
8
Let b(c) = -c**3 - 24*c**2 + 28*c + 99. Let f be b(-25). Solve f*j - 407 = -263 for j.
6
Suppose -2*u - 1 = -7. Let d be ((-10)/(-6) - -2)*u. Suppose 4 = 4*r - 5*b + d, -12 = -4*b. Solve z + r = 6 for z.
4
Let i(w) = 39*w**3 - 8*w**2 + 23*w - 57. Let k be i(2). Solve -4*n = -253 + k for n.
-4
Let s(y) = 10*y**3 - 74*y**2 + 38*y - 63. Let m be s(7). Solve -4*q = m - 43 for q.
9
Suppose 5312 = 1685*d - 1621*d. Solve d*p + 298 + 34 = 0 for p.
-4
Suppose -808 = 6*g - 143*g + 14. Solve 52*o - 138 = g*o for o.
3
Suppose 4*s = -9*i + 4*i + 140, 4*s - 172 = 3*i. Suppose 18*p - 10*p - s = 0. Solve -6*g - p = 13 for g.
-3
Let n be (511 - -18) + -11 + 14. Solve -n + 484 = 8*j for j.
-6
Let d(r) = r + 16. Let p = 16 - 28. Let n be d(p). Let o(v) = -v**3 + 8*v**2 - 7*v + 4. Let q be o(7). Solve 0 = -n*f + q - 0 for f.
1
Suppose 0 = -12*h + 11*h + 15*h. Solve h*m - 26*m = 26 for m.
-1
Let i(k) = -2*k**3 + 21*k**2 + 13*k - 10. Let t be i(11). Solve t*f = -80 + 68 for f.
-1
Let w be 4 - (-4 - (-2 - (5 + -3))). Suppose 70 = 5*c + 2*h, -2*h = -c - 5*h + 27. Suppose 0 = -3*r - c + 21. Solve w = o + r for o.
1
Let t(x) = 366 + 370 - 725 - x**2. Let n be t(3). Solve 4*b = -6 - n for b.
-2
Let a be (45/10)/(72/112). Suppose -3*y = 2*y - 15. Suppose -y*j = a*j - 40. Solve -j*o = -o + 15 for o.
-5
Suppose 0 = 12*n + 19*n + 31*n - 310. Solve a = -n*a - 24 for a.
-4
Suppose 5*h - 41 = 155 + 59. Solve 214 = -53*p - h for p.
-5
Suppose 0 = 11*v - 3563 - 4423. Let i = -718 + v. Suppose 5*y - 4*p + p = 37, p - 16 = -4*y. Solve y*u = u - i for u.
-2
Let v be (4/10)/((-1)/(-15)). Let x(j) = -j**3 + 10*j**2 + 4*j - 11. Let m be x(7). Let a = m - 154. Solve -16 = -a*t + v*t for t.
4
Let b = -4 - -12. Let w(h) = 17525*h - 122671. Let k be w(7). Solve b - 16 = -k*v for v.
2
Let j = -1006 + 1026. Solve -15*z + j = -10 for z.
2
Suppose 1482 = 67*b + 180*b. Solve -b*d - 44 = -28*d for d.
2
Let k be 308 - 37/((-740)/(-400)). Solve -k*j + 277*j = -11 for j.
1
Suppose -16*m - 90*m = 0. Solve m*s + 23*s = -69 for s.
-3
Let v = -20394 + 20499. Solve -48*x + v = -33*x for x.
7
Let c(d) = d**2 + 10*d - 30. Let m be c(3). Suppose 147 + 186 = m*a. Solve -a = 5*t - 12 for t.
-5
Let i = -16 + 24. Suppose 4*x - 9 - 7 = 4*j, -7 = -x - 2*j. Suppose -5*l = r + i, -l - 17 - x = -r. Solve 4*a - r = 3 for a.
5
Let z(o) = o**3 + 4*o**2 - 4*o + 7. Let g be z(-5). Let j be (2294/(-279) - (-9 + 1)) + (-112)/(-18). Solve j*w - g = 10 for w.
2
Let p(y) = y**3 + 12*y**2 - 128*y - 29. Let z be p(7). Solve -z*g = -10*g - 4 for g.
-1
Let c be ((3 - 0) + (-375)/20)/((-12)/32). Solve -c = -y - 47 for y.
-5
Suppose 4*a - 4*u - 244 = 0, 4*a - 200 = -10*u - 54. Solve -8*v + a - 6 = 0 for v.
6
Suppose i = 4*p - 21, 2*p + 2 = -688*i + 686*i. Solve 11 - 11 = p*q for q.
0
Let w(o) = -9*o**3 + 37*o**2 + 34*o - 146. Let c be w(4). Solve 27*i - 33 + c = 0 for i.
1
Suppose -4*k = 5*b + k - 185, k + 103 = 3*b. Solve -u + 144 = b*u for u.
4
Suppose 4521 = 3*d - 3*w, w - 6359 = -4*d - 336. Solve -1504 = -s - d for s.
-2
Let b(h) = -50*h + 41. Let c be b(3). Let z = -82 - c. Solve -z*m + 32*m = -5 for m.
-1
Let a be 2/8 + 22/8. Let q be ((-120)/(-14))/(10/(-140)*-4). Suppose 2*h = -q + 32. Solve 2*r = h + a for r.
2
Let n = 964 + -531. Let v = n + -431. Solve 4*x - v*x = 4 for x.
2
Let q(v) = -7*v + 153. Let k be q(19). Let c(o) = -2*o**2 - 26*o + 3. Let n be c(-13). Solve -t + k = n*t for t.
5
Let z be (-4 - 4/(-1))/(5 - 7). Solve z*m = m for m.
0
Let m(t) = t**3 - t + 22. Let u be (0/(-2))/((-4)/6*3). Let q be m(u). Suppose q = 2*z + 2*z + 5*d, -2*d = 4. Solve 0 = -z*r + 4*r - 12 for r.
-3
Suppose 1321 = 69*p - 1837 - 4639. Solve p = -7*c + 134 for c.
3
Let x(z) be the second derivative of -9*z + 23/2*z**2 + 0 - 2/3*z**3. Let b be x(5). Solve -b*s = -s for s.
0
Suppose -220 = 74*i - 78*i. Let s = i - 51. Suppose 0 = 3*t + s*q - 46, -8 + 4 = -2*t + 4*q. Solve a = 3*a - t for a.
5
Let k(d) = 12 + 3*d**2 - 8 + 17*d - 6*d. Let l be (3/1)/((-33)/(-44)*-1). Let h be k(l). Solve -3*f - h = f for f.
-2
Let v(t) = t**2 + 19*t + 23. Let y be (-129)/(-12) + 2/8. Suppose 0 = y*s - 7*s + 80. Let b be v(s). Solve -18 = 5*a - b for a.
5
Let a(y) = y**3 - 68*y**2 - 139*y - 40. Let g be a(70). Solve g*u - 103 = -43 for u.
2
Let v(w) = -39*w + 8. Let l be v(-3). Let x be (225/l)/(6/40). Solve -u + x = -4*u for u.
-4
Let f = 5 - 10. Let t(l) = -l**2 - 6*l - 2. Let p be t(f). Suppose -3*s + a - 8 + 7 = 0, 2*s + 5*a - 22 = 0. Solve -s = -p*r + 14 for r.
5
Let l(r) = 4*r**3 + 58*r**2 + 28*r. Let z be l(-14). Solve z = 14*c - 32 - 52 for c.
6
Suppose 2*w = -2*w + 240. Suppose 4*x = w + 188. Let h = x + -60. Solve 0 = -h*p - 5 - 5 for p.
-5
Suppose 13*g = -69*g. Let v(t) = -t**2 - 10*t - 3. Let l be v(-8). Let n = l - 11. Solve 2 + g = n*c for c.
1
Let r be (-13 - 36/(-4))/(0 - (-2)/(-73)). Solve r*c + 28 = 150*c for c.
7
Suppose -57*t = -148*t. Solve 10*f - 3 - 27 = t for f.
3
Suppose 8*d = -5*d - 1716. Let u = 136 + d. Solve -u*p = 2*p - 6 for p.
1
Suppose 21*w - 25*w + 164 = 0. Solve -53 = -4*a - w for a.
3
Suppose 6*k + 17*k - 2158 = -3*k. Solve 13*o = -k + 5 for o.
-6
Let j(b) = b**3 - 17*b**2 - 43*b - 18. Let a be j(19). Let q = a - -113. Solve -5*z = -q - 15 for z.
3
Let i = -78 - -277. Suppose -i = -q - 177. Let u be 3 - ((-16)/(-2))/(-2). Solve -5*l = -u + q for l.
-3
Let k be 2/(-250)*-10 + 26/(-325). Solve -15*t + 19*t - 12 = k for t.
3
Suppose -255*s - 10 = -256*s. Suppose -2*w = -5*x - 0 + s, -2 = -3*w - x. Solve w = 7*v + 28 for v.
-4
Let v be 20 + -27 + 15 + 23. Solve -41*w = 10 + v for w.
-1
Let c(n) = n**2 + 15*n + 11. Let a be c(-17). Suppose -7*w = 2*w - a. Let s be 6/4*(-6)/(-9). Solve -3*v = s + w for v.
-2
Let x(h) be the first derivative of -3*h**4/2 - 2*h**2 - 3*h + 181. Let c be x(-1). Solve 0*j - 2*j = -c*j for j.
0
Suppose -2*v = q + 2*v + 428, -q - 3*v - 424 = 0. Let z = 417 + q. Suppose 0 = -6*g + g + 15. Solve -g*t - z = 4 for t.
-3
Let o = 6894 + -6894. Let x be (8/3)/((-12)/(-18)). Solve o = -h - x for h.
-4
Let s = -84 - -142. Let q = s + -54. Solve 0*z - q = -z for z.
4
Let u(g) = -g - 3. Let w be u(-5). Suppose a - 13 = -3*s, -2*s + 3*a = -2*a - 3. Suppose -s*h + 12*h - 24 = 0. Solve -w*p + h*p = -3 for p.
-3
Suppose -4*i = -10664 + 10644. Suppose -14 = 3*w - 7*w - 3*k, -4*k = 4*w - 16. Let y = 4 - w. Solve 0 = -v - i + y for v.
-3
Suppose 4*n = -5*j + 21, 2*n - 4*j = 4*n - 12. Solve -56*d + n = -60*d for d.