r v.
1
Let b = -22448 + 22459. Solve 14 = -3*x - b*x for x.
-1
Suppose 0 = -3*c, -3*d + 3*c = -8*d + 15. Suppose 0 = m + 3*b - 18, d*b - 54 = 4*m - 8*m. Let v(t) = t**3 + t**2 + 3. Let i be v(0). Solve 3*r - i = m for r.
5
Suppose 0 = 12*a + 959 - 299. Let w = 57 + a. Solve -6*z + w*z = 4 for z.
-1
Suppose 0 = -15*l + 22 - 7. Suppose 0 = -17*f + 20*f + 4*b - 14, -3*f = -3*b. Solve -11 = -f*d - l for d.
5
Let v be ((-2)/2 - -1)/(0 + -1). Suppose 0 = 2*o - 5*o + 2*d - 4, -5*o + d - 9 = v. Let z be (o/(-2) - 3)/2 - -4. Solve -z*b = -4*b for b.
0
Let b = -32 + 40. Let r(m) = -3*m**2 + 22*m + 26. Let a be r(b). Solve -8 - a = -6*p for p.
3
Let i(a) = a**3 + 8*a**2 - 3*a - 5. Let y be i(-8). Suppose y*k - 76 = 19. Solve -c = -k*c for c.
0
Let m(n) = n**2 + 134*n + 4684. Let j be m(-52). Solve -j*r - 18 = -423*r for r.
6
Suppose -5*j - 5*n + 554 = -4*j, -3*j + 1668 = 12*n. Solve 10 = -562*i + j*i for i.
5
Let q = -4561 + 4593. Solve 88 = 8*p + q for p.
7
Let x(n) = n**3 - 47*n**2 - 50*n + 256. Let b be x(48). Solve -3*t + b = -35*t for t.
-5
Suppose 205*l + 1260 = 247*l. Solve 0 = 14*d - l*d + 64 for d.
4
Let z = 1 - -19. Let v = -248461 + 248499. Solve -v*r - z = -42*r for r.
5
Let k = -188 + 191. Suppose 5*s + 4*h - 6 = -0*h, 2*s - k = -h. Solve 3*o = -s*o + 25 for o.
5
Let u(h) = -h**3 + 45*h**2 - 27*h + 4. Let d be u(44). Solve -d*f = -750*f + 8 for f.
-4
Let t = 657 + -593. Suppose -t*r + 60*r = 0. Solve 2*d - 10*d - 24 = r for d.
-3
Let t be (1*-2)/(8/(-4 - 4)). Suppose -11*i = -53 - t. Solve -4 = i*m - 24 for m.
4
Let t(v) = -v + 3. Let o be t(-6). Suppose o = -22*a + 9. Let n(u) = 2*u - 2. Let m be n(3). Solve -x - x - m = a for x.
-2
Suppose -133 = 2*a + 197. Let s be 4/32 + (-2 - a/24). Solve -s*o + 14 = -11 for o.
5
Let n(l) be the second derivative of -l**5/120 - l**4/24 - 7*l**3/2 + 25*l. Let w(c) be the second derivative of n(c). Let r be w(-3). Solve r*g = -2*g for g.
0
Suppose 5*r - 97 = 118. Suppose -2*p = -7*p - 5*s + 70, 5*s = -2*p + r. Solve -6 = -3*q + p for q.
5
Let c = 1886 + -1806. Solve 0 = -h - c + 81 for h.
1
Suppose 0*d + 2*d = 4. Suppose 0 = -0*p + d*p - 5*t + 5, 0 = t - 3. Suppose 0 = 3215*z - 3105*z. Solve z = p*w - 6 + 1 for w.
1
Let c = 1872 - 1854. Solve 0 = 12*l - 15*l + c for l.
6
Let z be 0 - 1059/(-4) - (-27)/(-36). Suppose 2*d - 229 = -3*v - 56, -4*v + z = -4*d. Solve 60*q = v*q + 3 for q.
-3
Let k(b) = 24*b + 524 - 3*b - 774. Let o be k(12). Let i(c) = -c + 2. Let j be i(-5). Solve o*n - j*n = -5 for n.
1
Let y be 38/(((-9)/27)/(1/3)). Let q be (y/20*-2 - 3)*5. Solve -5*h = -q - 16 for h.
4
Let p be 29 - 25 - (-1 - 1). Let f = 4045 + -4029. Solve f = -2*o - p*o for o.
-2
Let p(l) = -l**3 + 3*l**2 - 23*l + 81. Let g be p(3). Solve -54*r + g*r = -294 for r.
7
Let l be (-9)/(-21) - (8 + 8985/(-105)). Solve 13*m + 13*m = -l for m.
-3
Suppose 4*h - 4 = -r + 3*h, 2*r = 2*h - 8. Let i be ((-4)/10)/(4/(-60)). Suppose i*o - o = r. Solve -y + 4 + 0 = o for y.
4
Let g be ((-18)/21)/(58/(-203)). Solve 6*x = g*x + 18 for x.
6
Suppose -4*r - r - 15 = -4*f, -1 = -r. Let b be (8 - (2 - 5)) + f. Let m = -4 + 6. Solve m*h = 6*h - b for h.
4
Let c be 3*-7*(10/6 + -2). Let w be c/(-1 - (-3 - -1)). Suppose w*x = 6*x + 3. Solve -2*q = -q - x for q.
3
Let g be -16*42/(-616)*(-33)/(-3). Solve g*c - 161 = -11*c for c.
7
Let u = -78 - -102. Suppose -u = 13*t - 19*t. Solve t = -6*i + 8*i for i.
2
Let l(p) = p**3 - 4*p**2 - 18*p - 18. Let q be l(7). Let z be (-1 + -2)/q + -11 + 12. Let x be 7/3 - 4/(-6). Solve -o + x*o = z for o.
0
Suppose -117*k + 335 = -7738. Solve 62 = l + k for l.
-7
Let l(p) be the third derivative of 0*p - 1/60*p**5 + 13/24*p**4 - 10*p**2 + 0 - 10/3*p**3. Let a be l(11). Solve 2 = i - a for i.
4
Suppose 0 = -9*r + 8 + 937. Let m = r + -77. Suppose -4*z + m = 16. Solve z*w + 4 = -w for w.
-1
Suppose 0 = -4*x + 2*x + 8. Suppose 5*a = -5*h + 6*h + 26, -3*h + 6 = -a. Solve -2*c - a = x for c.
-5
Suppose 42*l = 45*l - 5*h - 175, -4*l + 214 = 3*h. Solve -897*f + l = -886*f for f.
5
Suppose 1260 = 8*m + 30*m - 3604. Solve 4*a - 132 = -m for a.
1
Suppose 4*r + 1 = 4*j + 37, -5 = -r. Suppose 52*z = 24*z - 392. Let y be (-63)/z + (-2)/j. Solve w + y = -0*w for w.
-5
Let r = -120 + 122. Suppose -3*k - u - 26 = -5*k, -2*k - r*u = -38. Solve 0*q - 3*q = -k for q.
5
Let j(t) = t**3 + 7*t**2 - 6*t - 15. Let u be ((-35)/10)/((-1)/(-2)). Let q be j(u). Let x = 31 - q. Solve -x*l - 4 - 16 = 0 for l.
-5
Let v = -1892 + 1907. Let r = -1 - -1. Suppose 2*o + 0*i - 2*i = 0, o = 5*i - 12. Solve -v = -o*u - r*u for u.
5
Suppose 19*m + 51*m = -0*m + 26600. Solve 381 - m = -z for z.
-1
Suppose 2*u - i - 5 = 0, 0 = 4*u - i + 2 - 7. Let w = 2 - -2. Suppose w*g - 1 = s - 0, s = 3. Solve u = 2*k - 1 - g for k.
1
Suppose 10*l - 44 = 8*l. Let n be l/55 + (-386)/(-10). Solve 41*r = n*r - 10 for r.
-5
Suppose -3*u + 708 = 3*v, 569 = 4*v + 5*u - 370. Solve 8*o + v = 257 for o.
2
Suppose 19*a - 3*a - 12192 = -32*a. Solve 162 = -227*l + a*l for l.
6
Let z be (-130)/715*22/(-4). Suppose 0 = 5*q - z - 24. Solve 0 = q*o - 15 - 5 for o.
4
Suppose -g = -2*a - a - 2253 + 6735, 0 = 10*g. Solve -a*n - 40 = -1502*n for n.
5
Let w = -195 + 184. Let f(q) = -q**3 - 10*q**2 + 9*q - 22. Let p be f(w). Let k(g) = -g - 6. Let l be k(-6). Solve p = i - l*i for i.
0
Suppose -4*j + 7*j = 15. Let v(w) be the second derivative of -4*w**3/3 - 3*w**2 - 24*w. Let i be v(-1). Solve 0 = -j*n + i*n for n.
0
Suppose 3*s = -4*x + 27, 0 = -8*x + 3*x + 3*s. Suppose m + 3*c + 7 = -6, 0 = x*m + 3*c + 9. Solve -1 = -y - m for y.
-1
Let l be (-2)/(-7) - (-21940)/(-700)*-5. Solve -40 = 162*m - l*m for m.
-8
Let q(j) = 40*j + 5784. Let d be q(-144). Solve d*a - 25 = 143 for a.
7
Let f = -268 + 180. Let l be 15/(((-3)/4)/(22/f)). Solve -l*w = -16*w + 44 for w.
4
Let x be ((-55)/(-30) - 2)*-4*3. Let r(p) = -9*p + 36. Let n be r(x). Solve -10*l + n*l = 8 for l.
1
Suppose -11*p = p. Suppose 5*r = 2 + 8, -s - r + 4 = p. Solve -s*n - 5 = -7*n for n.
1
Suppose -92*p = -280*p + 318096. Solve 1702*s = p*s for s.
0
Let a(y) = 5*y**2 - 13*y - 49. Let q(z) = -z**2 + z + 1. Let i(o) = a(o) + 4*q(o). Let m be i(-4). Solve p + 4 = m for p.
3
Let v = -144 + 174. Suppose -19*l = 11 - v. Solve y = l + 1 for y.
2
Let t(g) = -810*g**3 + 3*g**2 - 4*g + 3. Let s be t(1). Let x = s - -813. Let h = 0 - 0. Solve -b + x*b - 16 = h for b.
4
Let k(d) = -338*d - 3363. Let u be k(-10). Solve -u*f + 20 = 3*f for f.
1
Let g be 2/(3*2)*1*(-63705)/(-137). Solve 157*r - 10 = g*r for r.
5
Let d be (-24 + 22)*(-6)/4. Suppose 3*b = 3*x - x + 95, -85 = -2*b - d*x. Suppose 30*k + 20 = b*k. Solve 4*z - 16 - k = 0 for z.
5
Let r be 1 + (2 - 1 - -3). Let c(s) = -5*s**2 + 9*s - 10. Let k(h) = -9*h**2 + 17*h - 20. Let a(p) = 7*c(p) - 4*k(p). Let j be a(r). Solve j = -i + 6*i for i.
2
Suppose 168*v = 144*v + 168. Solve 8*s - v*s + 8 = 0 for s.
-8
Suppose 2*i = 4*j + 204, 14*j = -2*i + 15*j + 213. Solve -q + 37*q = -i for q.
-3
Let t(l) = 3*l + 10. Let n(m) = 6*m + 24. Let g(b) = 2*n(b) - 5*t(b). Let z be -2 - -2 - 1 - 5. Let k be g(z). Solve -k = 2*q + 2*q for q.
-4
Let y = 12949 - 12891. Solve 343 = y*v - 107*v for v.
-7
Let t(v) = -v**3 + 17*v**2 + 6*v - 23. Let z be t(17). Let n = -74 + z. Suppose 2*m - k + 3*k = 6, -m - 1 = n*k. Solve 2 = -m*u + 2*u for u.
-1
Suppose -4*h + 2*o - 738 = 0, 37*h - 33*h = o - 737. Let l = -176 - h. Solve 0 = l*c - 9*c for c.
0
Let g = -1143 + 1143. Suppose 6 + 4 = 2*b. Solve g*t = -b*t for t.
0
Let g(u) = u**2 - 9*u + 3. Let z be g(9). Let j be ((-2)/z)/(32/(-144)) + 8. Solve j - 8 = -l for l.
-3
Let v be (-35)/(16 + -11) - -12. Solve v*y + 3*y = 8 for y.
1
Let l = -86 + 119. Suppose -11*h = -l*h. Solve h = r - 1 for r.
1
Let d be ((-160)/96)/(2/(-6)). Let m be -3 + d/25*25. Solve 0 = m*f - 5 + 13 for f.
-4
Let w(r) = 8*r - 55. Let y be w(18). Let z = 89 - y. Suppose 2*l + 3*g - 18 = z, -27 - 1 = -5*l + g. Solve l = -q - q for q.
-3
Let l = 23 - 20. Suppose -3*o + l*q - 147 = 0, 3*o + 93 = -5*q - 54. Let a = 61 + o. Solve a = -3*i - i for i.
-3
Suppose -4*y + 16 = 2*q, 0 = -3*q - y - 261 + 295. Let i(f) = f**3 - 5*f**2 + 5*f + 1. Let p be i(5). Solve -30*w = -p*w + q for w.
-3
Let x be (-19899)/(-396) + (-2)/8. Solve 0 = x*b - 68*b - 18 for b.
-1
Suppose -4*c = 31*u - 26*u - 20, -2*u + 8 = -2*c.