 s for v.
-1
Let t be 26/715*22 + -1*(-78)/15. Solve 21*p + 30 = t*p for p.
-2
Suppose 244*x + 70 = 254*x. Let i be 3822/210 - ((-4)/5 + 1). Solve -x*z + i = -10 for z.
4
Let j = -1822 - -1848. Solve 0 = j*k - 28*k + 14 for k.
7
Let c = -253 + 255. Let x(l) = l**3 - 7*l**2 - 7*l - 8. Let q be x(8). Suppose -12*b + 7*b = q. Solve -n + c*n + 1 = b for n.
-1
Let g be 511/(-19) + (-6)/57. Let r = g + 19. Let l be (-475)/(-133) + r/14. Solve l*v + 17 = 2 for v.
-5
Let h = -259 - -266. Solve 0 = 31*x + h*x + 228 for x.
-6
Let t be (426/12 + -1)*(-4)/(-6). Solve -13 = -10*a - t for a.
-1
Let s = -471 + 480. Suppose 4*i = -a + 22, -i - s = 5*a - 43. Solve -7*t = -13 + a for t.
1
Suppose 12*d = 39 + 273. Let l be d - (5 - (-28)/(-7)). Solve 5*j + 0 = -l for j.
-5
Suppose 94 = 4*v + 2*q, 3*v - 6*q + 11*q - 81 = 0. Suppose 16*p = v + 58. Solve -8*h = -7*h - p for h.
5
Let v(t) = 11 - 33*t + 23*t + 13*t. Let b be v(-3). Suppose 5*w - 5 - 11 = 3*g, 0 = 3*w + 4*g + 2. Solve -b*p + p = -w for p.
2
Let b(i) = i + 1. Let s = -67 + 63. Let a(c) = -c**2 + 24*c + 6. Let u(l) = s*b(l) + a(l). Let n be u(20). Solve -n*y + 3 + 3 = 0 for y.
3
Let l(p) = 28*p + 30. Let t be l(-1). Suppose 4*w + 17 = q + 3*w, -w = 3*q - 47. Let g be (-6)/(-27) - q/(-9). Solve 0 = t*d + g - 4 for d.
1
Suppose -12*a = -11*a - 2. Let n be a/4*90/3. Suppose 15 = 3*r, -r + n = 5*k - 0*r. Solve 0 = -q + k - 0 for q.
2
Suppose 2 = -2*n - 3*k - 4, 3*n - 8 = 4*k. Let c(x) = -4*x**3 + 3*x**2 - 4*x + 1. Let g be c(2). Let m be 52/(-65)*(2 + g/6). Solve n = m*q + 3*q for q.
0
Let b be (-4)/5 + 1216/(-80). Let t be (-6 + 4)/(b - -15). Solve -t*l - 4 = -8 for l.
2
Suppose 2*y + 2*t = -3 + 15, 0 = -3*y + t + 6. Suppose 53 - 13 = -4*z. Let n be (6/(-5))/(3/z). Solve -n*w = y - 23 for w.
5
Let x be (16/3 - 5)*6/(-1). Let r be (-3)/2*x/(-6)*-4. Solve 6 = r*j - 0 for j.
3
Suppose -k - 2*r + 4 = -8, 0 = -r + 4. Let g(p) = p**2 - 25*p + 114. Let s be g(6). Suppose -37*a + 33*a + 8 = s. Solve 2*o + a = -k for o.
-3
Let i = 161 + -159. Let f = -159 - -174. Solve -w = i*w + f for w.
-5
Let s(f) = -137*f + 6088. Let o be s(43). Solve 0 = -3*j + 179 - o for j.
-6
Suppose 744 = 34*z - 276. Solve 11*j - z = -4*j for j.
2
Suppose 0 = -3*h + 4*y + 1789, -6*h + 2*h + 2397 = -3*y. Solve 27*n = -468 + h for n.
5
Let f(a) = -341*a + 1381. Let x be f(4). Solve -x*h + 15*h = -8 for h.
4
Suppose -4*d = -3 - 9. Let x(y) = 33*y - 1125. Let o be x(34). Let u = d + o. Solve 2*v = -u*v for v.
0
Let v(k) = 3*k**3 + k**2 - 2*k + 3. Let i(b) = 5*b**3 + 2*b**2 - 3*b + 5. Let x(u) = 4*i(u) - 7*v(u). Let r be x(1). Let t = -5 - -9. Solve -t - r = d for d.
-5
Let j be ((-9)/54)/((-6)/(324/1)). Solve -j - 21 = -10*h for h.
3
Let t = -17 - -12. Let q be (t/(-2))/((-11)/(-22)). Suppose q*h = -4*a - 13, -2*h + 6*h + 23 = a. Solve 2*m = a*m + 1 for m.
-1
Let n(m) = -m**2 - 72*m + 553. Let i be n(-79). Suppose 2*x - 52 = -4. Let o be x/10 + (-2)/5. Solve i = o*s + 3*s - 5 for s.
1
Suppose -2*i + r = -2*r - 46, -4*r - 8 = 0. Let h be (i/(-4))/(3 - (5 + -1)). Solve 0 = -h*m - 13 - 2 for m.
-3
Let i(f) = -f**3 + 13*f**2 + 30*f + 22. Let q be i(15). Let u = 3 + 5. Let c be u/(-44) - (-4)/q. Solve c*s = -s for s.
0
Suppose 5*n - 15 = 0, -n = -3*w - 3*n + 126. Suppose -11 = -j - 5*f + 12, -5*j = -3*f - 227. Let s = j - w. Solve -2*r - 20 = s*r for r.
-4
Suppose 2873 = h + 2*j, 4*h - 22*j = -25*j + 11477. Solve -h*n + 18 = -2870*n for n.
-6
Let p be 132/15 + 2/10. Let f be 0 + 1/3*p. Let u be 4 - -1*(-1 - -2). Solve -f*q - 1 = u for q.
-2
Let j = -7 - 46. Let n = -33 - j. Let c = -74909 - -74909. Solve c = 5*r - r - n for r.
5
Let j be -5*(-1)/10*2. Suppose 7*d = 19 - 5. Suppose -d*k - 20 = -12*k. Solve -k*g + 3 = -j for g.
2
Let k(i) = 4*i**2 - 61*i - 15. Let q be k(12). Let d be q/(-36) + (2 - (-22)/(-8)). Solve b + 12 = d*b for b.
4
Let o(d) = 2*d**2 - 68*d + 653. Let n be o(15). Solve 39*h - n*h = -132 for h.
3
Let b be (63/27)/((-6)/198). Let p = -75 - b. Solve -2 = 3*i - p*i for i.
-2
Let r be (-7 - (-52)/8)*-2. Solve -r = -161*z + 160*z for z.
1
Suppose 9*o = 10*o - 12. Let z be 2/12 + 1246/84. Let i(d) = -d**3 + 15*d**2 - d + 15. Let t be i(z). Solve t = 5*q - 2 + o for q.
-2
Let q(f) be the second derivative of 5*f**3/3 - 25*f**2 + 18*f. Let n be q(5). Let j be (13 - 3)*(1 - n). Solve -5*c = -35 + j for c.
5
Let g be (-1)/(3/(-9)) - -2. Suppose -a = -y + 1 - 6, 5*a - 5 = -5*y. Suppose -g*z + 4 = -a*z. Solve 0 = z*s - 3*s - 2 for s.
-2
Suppose 18*n = -37 + 181. Let z be -3 + 1/(n/160). Solve -z = -6*h + 1 for h.
3
Suppose 0 = 3*t - 2*x + 50, -t + x = -3*x + 10. Let g be -7 + 1 - (t + 12). Solve g = 3*m - m + 8 for m.
-4
Suppose -2*v - 4*q = -16, 0*v + 20 = -v + 5*q. Suppose -4*z + 4*h + 68 = 0, -5*h + 11 = 3*z - v*h. Solve -z*t + 7*t = 0 for t.
0
Let n(u) = 2*u**2 - 40*u + 33. Let g be n(20). Solve -23*y + g*y + 20 = 0 for y.
-2
Let k = -678 - -685. Suppose 0 = -5*q - o + 150, -k*q = -8*q - 4*o + 11. Solve 3*j + q = 28 for j.
-1
Let k be (3/15)/(1/15). Suppose -5*f - 2*z - 4 = -21, -3*z - k = -2*f. Solve 2 = f*a - a for a.
1
Let d = 140 + -237. Let n = -87 - d. Suppose -3*p = n - 22. Solve -4*g = -16 - p for g.
5
Let t = 821 - 819. Suppose 5*k = t*a - 47 + 16, 3*k = -5*a + 31. Solve -5*z + a = -17 for z.
5
Let y be (-1)/(-2 - 364/(-294)*9/6). Solve 9*b - y = -16 for b.
-1
Let m(l) = 2*l + 17 + 0 + 13*l**2 + 8 + l**3 + 3. Let n be m(-13). Suppose 34 = -n*s + 40. Solve q + 1 - s = 0 for q.
2
Let l = -15 - -35. Let d be -23 - (0 - l)/(-5). Let v = d + 29. Solve 3*t + 1 = v*t for t.
-1
Suppose 248 = -17*g - 585. Let k be (-203)/g + 4 + 2/(-14). Solve -35*l + k = -33*l for l.
4
Let c = 8 + -4. Suppose b = -b + 2, 5*b = 2*j - 1. Let o be j - ((-2)/(-3) - (-77)/33). Solve o = 2*h - c*h for h.
0
Let l(h) = -9*h - 85. Let p be l(-11). Solve 5*z = -6 - p for z.
-4
Let h be -1*(4/1 + -1)*-34. Solve -89*a = -h*a - 78 for a.
-6
Suppose 0 = 4*n - 143 + 147. Let l be 9 + 8 + n + -7. Solve -l = 2*h - 11*h for h.
1
Let c be (824/(-10))/(-3*(-10)/(-75)). Let z = c + -201. Solve -z*y - 20 = -10*y for y.
4
Suppose -54*h + 55*h = 3. Suppose g + 3*g - 12 = -4*b, -4*b + 12 = h*g. Suppose 17*i - 131 - 22 = g. Solve 5*j = i + 16 for j.
5
Let g = 3256 + -3244. Solve 26*a + g*a = 0 for a.
0
Suppose -87*f + 30*f = 2052. Let d be (-261)/f - 3/(-4). Solve -h = -5 + d for h.
-3
Let a(x) = x**3 - 4*x + 4. Let m(w) = w - 8. Let s be m(4). Let g be a(s). Let h = 49 + g. Solve -4 = -h*c + 6 for c.
2
Suppose -18 = -r + 28. Let y = r - 31. Suppose 0 = -2*a - 5*k + 15, y = 4*a - a + 5*k. Solve b - 5 = -a*b for b.
5
Suppose 2*i = -l + 21, l + 18 = -2*i + 3*i. Let a(g) = -g**3 + 12*g**2 + 8*g + 88. Let p be a(i). Solve 19*d - p*d = 0 for d.
0
Suppose 1256*v = 1209*v + 6345. Solve -v*n = -139*n - 8 for n.
-2
Let t be 0/(-9)*(-1)/2. Suppose 4*x + 0 = -t. Solve -3*m + 9 = -x for m.
3
Let j(x) = -21*x**2 - 196*x - 56. Let w be j(-9). Solve -5*k + 4*k = w for k.
-7
Let q(g) = -219*g - 125. Let a be q(-1). Solve 7*w = a - 150 for w.
-8
Let g(n) = -5 + 2 + 0 - 6*n - n**2. Let f be g(-4). Let a be -11 - ((25 - 10) + -26). Solve 15 = -f*j - a*j for j.
-3
Let q = -151 + 262. Let l = q - 87. Solve 5*f - 4 = -l for f.
-4
Let q = -34 + 86. Suppose 4*j - 260 = -64. Let c = q - j. Solve -c*t = 2*t - 20 for t.
4
Let n(m) = -3*m - 33. Let p be (-34)/119 + 4/14. Let v be n(p). Let u = -33 - v. Solve 5*o + u*o = -15 for o.
-3
Suppose -222*a + 47*a = -11550. Solve -27*l = 6*l + a for l.
-2
Suppose 8*m - 131 = -27. Let i(f) = f**2 - 7*f - 74. Let p be i(m). Solve 0 = h + p*h - 20 for h.
4
Suppose 3*u = -2*s + 2 - 0, 0 = u + 6. Solve s*k + 24 = 16*k for k.
4
Let r = 22 - 12. Let m = r - 5. Suppose -g = g - 5*y + 10, -m*y = 3*g - 10. Solve -i + 0*i = g for i.
0
Suppose 2*o + 3*d = 52, o - 3*d + 457 - 501 = 0. Solve -163 = o*a - 35 for a.
-4
Suppose -1083*o + 1089*o = 2706. Let h = -433 + o. Solve 3*i = -6 + h for i.
4
Let i = 306 + -60. Let w = i - 246. Solve w*d - 2*d = 0 for d.
0
Let z = -3 - -11. Let r be (81/36)/(2/z). Suppose -v - r*v + 90 = 0. Solve -2*a = a - v for a.
3
Let b = 12 - 8. Let j(q) = -5*q**2 + 3*q + 1. Let n(y) = -y**3 - 2*y**2 + y + 1. Let t(z) = -j(z) + n(z). Let u be t(-1). Solve -b*o = -u*o + 6 for o.
3
Let y = 1449 - 1441. Solve y*v + 7*v + 105 = 0 for v.
-7
Suppose -317