for x.
3
Let f(k) = -k**3 - 2*k**2 + 7*k + 51. Let g be f(-4). Solve g*t + 30 = 45*t for t.
-3
Let l be (-5)/(-5) - (-1 + (0 - 0)). Suppose 7*n - 33 = -5. Solve 2*x + n = -l*x for x.
-1
Suppose -3*j - 105 = -6*j + 4*z, 0 = -5*z + 15. Solve 99 + j = 23*q for q.
6
Let q = 4801 + -4797. Solve 0 = 29*z + 11*z - q*z for z.
0
Suppose -3*a = -a - 4. Suppose 4*z + 2*q - 15 = z, -z + a*q = -5. Suppose 4*v = z*k - v - 10, k - 8 = -5*v. Solve k*o = -o - 4 for o.
-1
Let y(t) = 482*t + 354 - 966*t + 441*t + t**2. Let d be y(11). Solve -a + d*a = 8*a for a.
0
Let t = -501 - -503. Suppose -6 = -5*a + 3*o + 6, -5 = -t*a + o. Solve 0 = x - a for x.
3
Let g = 124 - 120. Suppose l - g = 1. Let v be 2*l/35*7. Solve 0 = -v*m - 4 - 0 for m.
-2
Suppose -3 - 1 = 2*n, 0 = c - n - 11. Suppose -c*v + 30 = -24. Solve -3*i + v = -3 for i.
3
Let k be 3/(-10) - (6 + (-7986)/20). Solve k*p = 388*p for p.
0
Let p = 94 + -92. Suppose 0 = -p*l - 1 + 17. Solve l*s - 27 = -s for s.
3
Let f(c) = -c**3 + 16*c**2 + 21*c - 147. Let h be f(13). Solve -h = -30*l - 903 for l.
-9
Suppose -3*t - 8 = -26. Let i be ((t/(-9))/(-1))/(10/30). Suppose -i*y - y = -6. Solve y*n = n + 4 for n.
4
Suppose 0 = -15*k + 51 + 1299. Solve 8 = k*i - 82*i for i.
1
Let c = -135 + 138. Suppose 2*k - j - 3 = 0, 5*k - 14 = -5*j + 31. Suppose 4*u + 33 - 77 = -5*i, k*i = -5*u + 37. Solve 7*d - i = c*d for d.
2
Let x = -1 + 5. Suppose h - 4*n + 5*n - 220 = 0, -435 = -2*h - 3*n. Let t = -222 + h. Solve 7*a - t*a + x = 0 for a.
-1
Let h be (-24)/(-16) + (-18)/(-4). Suppose h*i - 3*i = 3. Suppose 0 = 4*f + 8, -2*f + i + 1 = 3*b. Solve b*r + 3*r = -15 for r.
-3
Let b be (69/4)/((-390)/24 - -17). Let r be (-1)/((-1)/1)*6. Suppose 0 = r*l - 25 - b. Solve 2*z - l = -2*z for z.
2
Suppose 3 = 3*t, 32 = -5*j + 3*t - t. Let m be 1/(-6) - ((-143)/j)/(-11). Suppose -m*z = -3*z + 3. Solve z*x = x for x.
0
Let w = -1299 + 1361. Solve -w*t + 93 = -341 for t.
7
Let f(j) = -j + 2. Let z be f(-5). Suppose -89*p - 165*p = -20*p - 7254. Solve -z*w - p = 4 for w.
-5
Suppose 25*p - 30*p - 25 = 0, 0 = 4*i - 15*p - 211. Solve i*r - 32*r = -4 for r.
-2
Let w be (21/(-9) - -1)/(8/12). Let d = -19 - -20. Let r be (w - d) + 10 + -2. Solve -2*q - r = -11 for q.
3
Suppose -4*w = -2*h - 68, -w - 4*h + 3*h = -11. Suppose -w*m = -9*m - 24. Solve m*p + 1 = -3 for p.
-1
Let w = -7772 + 7778. Let u be (-1 - (-3 - -2)) + 20. Solve u = -w*d + 10*d for d.
5
Let w be (-6)/(-9) - 14/(-6). Suppose -w*t - 7 = 3*f - 25, -t + 4*f - 9 = 0. Suppose 0*h = -4*h - 20, x = h + 13. Solve 0 = x*c - t*c - 15 for c.
3
Suppose 0 = 20*j - 593 + 53. Suppose 0 = -j*c + 16*c + 143. Solve -c*f = -f - 12 for f.
1
Let x be (-2250)/(-210) + 6/21. Suppose 0 = -2*c + x*c + 5*c. Solve c = -2*y + 4 for y.
2
Suppose 8*v - 4*v - 132 = 0. Let t = -83 + v. Let j = t + 55. Solve j*o = -0*o - 15 for o.
-3
Let i be (-1128)/(-72) + (-4)/6. Solve -7*b = 4*b - i*b for b.
0
Let g be 2/(24/468) + 0 + -3. Solve 7*d - 71 = -g for d.
5
Suppose 67*m - 62*m - 174 = n, 3*m = 5*n + 100. Solve 0 = -25*f + m + 90 for f.
5
Suppose 3*r + 19*y = 14*y + 30, -5*r = 2*y - 50. Solve 0 = -25*h + 15 + r for h.
1
Let c be ((-192)/40)/(3 - (-34)/(-10)). Suppose c*w - 5*w = 28. Solve -8*p = -w*p + 12 for p.
-3
Suppose 381*u + z + 14 = 386*u, -3*u = -3*z - 18. Solve 3*d = -u*d + d for d.
0
Suppose -8*v = 50*v. Suppose 25*u - 112 + 37 = v. Solve u - 5 = -2*w for w.
1
Let l = 218 - 214. Let s be 20/2 - (l - 6). Solve 3*m = -0 - s for m.
-4
Let i be 3178/112 + 42/(-112). Solve -2*f = 2*f - i for f.
7
Let s be 38 + -1 + (-3)/(-3). Let f be (-24)/32 + s/8. Suppose 0 = c + f*c. Solve c*h = -h for h.
0
Let t be 2250/63 - (-6)/21. Suppose 4*f = -3*h + t - 11, -h + f - 1 = 0. Solve -h*l - 10 = -l for l.
-5
Suppose 0 = 2*o - 5*z - 50, 4*z + 16 = -o + 41. Suppose -81 + o = -7*k. Solve -k*f + 12 = -12 for f.
3
Let h(d) = -d**3 - 18*d**2 - 17*d + 21. Suppose 17 = 100*z - 101*z. Let r be h(z). Let t be (r/28)/((-2)/(-8)) - -7. Solve t*y - 5*y - 20 = 0 for y.
4
Suppose 4*h = -3*l - 10, -5*l + 2*h + 3 + 15 = 0. Suppose -6*j + l*c + 64 = -2*j, c = 5*j - 83. Solve 9 = 14*m - j*m for m.
-3
Suppose 5*s + 2*b + 23 = 0, 0 = s + s + 5*b + 5. Let g(y) = -y**3 - 7*y**2 - 13*y - 6. Let m be g(s). Suppose 20*d - 14*d = m*d. Solve -1 = -d*n + n for n.
-1
Let f(n) = -5*n + 4. Let z = 266 + -266. Let k be f(z). Solve -17 + 5 = k*x for x.
-3
Let p = 126 + -122. Suppose 26 = -5*d - p*g + 82, -3*d - 4*g = -32. Solve 5*q = 2*q + d for q.
4
Suppose 0 = 12*y - 5 - 19. Let n(a) = 3 + 8*a - 3*a - 4*a. Let z be n(-3). Solve y*u - 3*u + 3 = z for u.
3
Let j = -121 - -187. Let w be (-2)/(j/(-12) - -5). Solve 3*a + w - 1 = 0 for a.
-1
Suppose 0 = -0*f + 3*f + 5*o - 308, -f + 98 = 4*o. Solve -60 = f*p - 96*p for p.
-6
Suppose -l + 3*u = 474, 5*l + 2*u + 2*u + 2351 = 0. Let v = 480 + l. Solve -v*x + 10*x - 2 = 0 for x.
2
Let a(x) = x**3 + 8*x**2 + 11*x + 65. Let l be a(-7). Solve -25*u + 48 = -l*u for u.
-4
Suppose -26*c = -21*c - o, -5*c + 3*o = 0. Solve c = -11*p + 331 - 276 for p.
5
Let u be (525/225)/((-21)/(-234)). Solve u*m + 41 = -37 for m.
-3
Suppose k - 46 = 59. Suppose -271 = 5*v - j, 160 = -5*v - 5*j - k. Let z = 58 + v. Solve -z*b + 0*b - 16 = 0 for b.
-4
Suppose 3*f - 179 = 3*x + 4*f, 3*f - 12 = 0. Let w = x + 61. Solve w = 4*p + p + 20 for p.
-4
Let y(s) = -2*s - 8. Let w be y(-7). Let l(p) = -p**3 + 4*p**2 + 3*p - 3. Let r be l(4). Solve w + r = -3*a for a.
-5
Suppose -276 = j - 4*j - 192. Suppose -11 - 41 = -2*k. Solve j*t = k*t - 2 for t.
-1
Let j = 4487 + -4459. Solve -j = 143*n - 136*n for n.
-4
Suppose 4*s = -4*l + 28, -3*l + 0 + 1 = -s. Let q be (-3 - l - -3)/((-2)/3). Let x(n) = -n**2 + 2*n + 3. Let f be x(3). Solve q*m - 5*m + 8 = f for m.
4
Let u = 704 + -709. Let i be 4 - (u - (-24)/4). Solve i*o - 10 = 5 for o.
5
Suppose -a - s + 115 = 0, a - s - 317 = -2*a. Solve 3*n = 87 - a for n.
-7
Let x(n) be the third derivative of -n**6/120 - 17*n**5/60 - 5*n**4/4 + 2*n**3/3 + n**2 - 45. Let f be x(-15). Solve -f*c + c = 15 for c.
-5
Suppose 15*g = 13*g - 18*g. Suppose g = -205*h + 210*h - 10. Solve 30 = -8*u + h*u for u.
-5
Let g(b) = -13*b + 44. Let a be g(3). Suppose -4*w = 5*r - 3*r - 118, 5*w - 140 = a*r. Solve 31 = -s + w for s.
-2
Let r = -13194 - -13209. Solve -r*o + 25*o = 70 for o.
7
Let t(b) = -b**3 + 6*b**2 - 4*b - 12. Let v be t(4). Suppose -v*p = 5*w - 14, -4*p + 4*w = -1 + 5. Solve q - p = -5 for q.
-4
Let o = 370 - 490. Let r = o + 127. Solve 4*g - 15 = r*g for g.
-5
Let b = -15 - -19. Suppose -2*m + 12 = b*k, -k + 0*m + 10 = 4*m. Let y be 1/(k/4*2). Solve 2*v = v - y for v.
-1
Let c be ((0/(-4))/2)/(3 + -1). Let b be c - (2 + -2 + 4 + -4). Solve b = -2*d + 1 + 5 for d.
3
Let h = -93 + 96. Suppose 5*o + 7 = -h*k, 0*o + 17 = 2*k - o. Solve -k*x + 4*x = 8 for x.
-4
Let q be ((12/(-15))/(-2))/(4*(-2)/(-7640)). Solve 378*k - q*k + 20 = 0 for k.
5
Let o = -275 + 285. Suppose 0 = -o*y + 9*y + 1. Solve -3*t = -y - 2 for t.
1
Let o = -298 - -300. Suppose 5*x = 5*d + 25, x + o*x - 18 = 4*d. Solve 3*j = j - x for j.
-1
Let w(v) = 6*v**2 + 3*v + 4. Let s be w(-2). Suppose 2*t + 4*i = 12, -t + 3*i + s = i. Suppose -10*z = -t*z + 8. Solve 2*l = -z*l - 12 for l.
-3
Let l(w) = -17*w - 287. Let o be l(36). Let z = o - -903. Solve z*x = 37 - 29 for x.
2
Let s = -3496 + 3505. Solve s*o + 35 = 2*o for o.
-5
Suppose 12 = -9*b + 13*b. Let j be b*(1 - (-110)/6). Let q = 61 - j. Solve 4*k - q*k - 2 = 0 for k.
2
Suppose -46*u = -4833 - 3171. Solve -18*o = 11*o + u for o.
-6
Suppose -z + 3*o = -3*z + 51, 5*z - 123 = -6*o. Solve 30 = -17*r - z for r.
-3
Suppose -10*r + 14*r = 184. Suppose r*z = 35*z + 33. Solve 4*x - z*x - 5 = 0 for x.
5
Let q(n) = 2*n**2 - 8*n + 1. Let h be q(6). Let k = 33 - h. Suppose 0 = -k*d - 3*d - d. Solve -3 = -i - d for i.
3
Let o(x) = x. Let r be o(6). Let p(y) = -5*y + 33. Let v be p(r). Solve 0*s = v*s - 9 for s.
3
Suppose 3*m = 6*m + 15, 4*m = 3*j - 32. Let f = 157 + -135. Suppose -23*p - 3*u - f = -28*p, 5*p - u - 24 = 0. Solve -j*t + p - 25 = 0 for t.
-5
Suppose -18*s = -9510 - 4639 + 3565. Solve r - s = -588 for r.
0
Let o be 42/2310*2937 + (-14)/10. Solve 27*f = -268 + o for f.
-8
Let u(t) = -t + 68. Suppose 0 = 13*c - 10*c. Let l be u(c). Solve -l*b + 72*b = 0 for b.
0
Let d = -16 + 34. Suppose -d - 36 = -6*w. 