
Let j(k) = 8*k - 37. Let n(t) = -17*t + 75. Let f(w) = 13*j(w) + 6*n(w). Let p be f(17). Solve 1 - p = -l for l.
2
Let n(b) = -b + 1. Let c(i) = 15*i - 50. Suppose -2 = 5*w - 3*w. Let p(o) = w*c(o) - 10*n(o). Let q be p(6). Solve -q = 3*y + 2 for y.
-4
Let d = -3 + 5. Suppose d*u + 4*z - 17 = 3*z, -2*z = 2*u - 22. Solve -5 = u*f - 11*f for f.
1
Suppose 67 = 5*f + 17. Suppose 0 = -f*r + 34 + 76. Let u be 4/10 - 3/(-5). Solve -2*w + r - u = 0 for w.
5
Suppose -a = 3*a. Let v = 67165 - 67162. Solve -v*g + 12 = -a*g for g.
4
Let g(w) = w - 1. Let c be g(9). Let m be 8 + 9 + 0 - c. Solve -30 = -m*x + 3*x for x.
5
Let o = -30 - -46. Suppose 0 = -11*g + o*g - 70. Suppose g - 30 = -4*x. Solve -4*d = -0 + x for d.
-1
Let r(a) = 212*a - 104*a + 4*a**2 - 109*a - 13. Let q be r(-3). Solve q = -4*c + 22 for c.
-1
Let g be 1/6 + 18/(-108). Suppose 9*k + g*k = 90. Solve -k = -0*s - 2*s for s.
5
Let l(m) = 29*m - 1. Let k be l(-1). Let t = k + 30. Solve 5*u - 7 - 8 = t for u.
3
Suppose -73*m - 25*m + 490 = 0. Solve -m + 5 = 25*d for d.
0
Suppose 0 = -37*b - 96 + 910. Solve -3*k + 57 = -b*k for k.
-3
Let q = 495 - 112. Suppose -64 = -q*t + 384*t. Let f = t + 65. Solve -u + f = -0 for u.
1
Suppose -20 = -90*d + 85*d. Let x be 2 - 1 - -1*(d + -7). Let i be (6/(-4))/(1/x - 0). Solve 0 = -u + i*u + 6 for u.
-3
Suppose -2 = 5*p - j, -3*j = 4*p - 6 - 0. Suppose 3*r = 9, 3*r = -c - p*r - 116. Let l = 126 + c. Solve l = t - 3 for t.
4
Suppose -2*x - 276 + 310 = 0. Let l be 48/4 + -19 + x. Solve 2*a = 4 - l for a.
-3
Let u be 18/60 - (-1316)/280. Solve u = 22*m + 5 for m.
0
Let x be (14 - 11)*-1 + (39 - 1). Solve -7*i = 21 - x for i.
2
Suppose 2 - 6 = q. Let w = -1 + -9. Let d be (q - -3)*(5 + w). Solve d*g + 4 + 1 = 0 for g.
-1
Let o = -57 + 72. Suppose -h = 10*h - 110. Suppose 0 = -15*b + h*b. Solve 5*n = -b*n - o for n.
-3
Suppose 181*z = 176*z + 5*l + 135, 12 = -4*l. Solve 28*m = z*m - 4 for m.
-1
Let v be (8/(-20)*-4)/(6/(-15)). Let z be v + (7 - (5 + -4)). Solve 5 - 1 = -z*r for r.
-2
Let i = 91 - -228. Let s = -313 + i. Solve -s*n + 8 = -2*n for n.
2
Suppose 0 = -4*y + 5*b + 15 + 263, 0 = 2*y - 3*b - 140. Solve -76*f + y*f - 45 = 0 for f.
-5
Suppose 0 = l - y - 10, 0*y - 5*y = -2*l + 26. Let j be l/10 - 1025/(-125). Suppose 0 = -5*m + j + 6. Solve m*x - 7*x - 12 = 0 for x.
-3
Suppose -2*s + 23 = 5*n, 5*n - 5*s + 2*s = 28. Let l be (-14)/(-35) - 537/n. Let v = l - -112. Solve d - v*d = -8 for d.
2
Suppose -4*k = -5*x + 183, -5*k + 95 = 3*x - 0*k. Suppose x = 3*w + 5*y, -4*y + 5 = -11. Let o = -51 + 56. Solve 0 = -o*q - w - 5 for q.
-2
Suppose -7*x + 2*o - 2 = -3*x, 0 = -4*o + 12. Let v be x + (-348)/(-42) + (-4)/14. Let p(r) = -r + 7. Let u be p(5). Solve v = -d - u*d for d.
-3
Suppose n - 2 + 1 = -l, -3*l + n = -15. Suppose 2*y = -4*h, -l*y - 9 + 1 = 4*h. Let u be (-1 + h)*-1 + 1. Solve u = 3*q + 6 - 0 for q.
-2
Suppose -155*q = -1246 - 1544. Solve 2*b + 7*b + q = 0 for b.
-2
Let h = 12687 - 12683. Solve h*s - 2*s = 9*s for s.
0
Suppose 4*w + t - 1032 = 0, 3*t + 314 = w + 43. Solve 244*h = w*h + 75 for h.
-5
Let b(x) = -x**2 - 19*x + 15. Let h be b(-19). Suppose 0 = 4*t - 17 - h. Suppose t = -3*s + 29. Solve -1 = 2*i + s for i.
-4
Let j be (-3 + 1)*(-5 + (2 - -1)). Suppose 3*i = f + 3*f + 17, -3*f - j = -i. Solve -4*y - 1 = i for y.
-2
Let d(o) = -11*o**2 + 4*o. Let h be d(3). Let v be 1/((-16)/(-24) + -1) + 92. Let q = v + h. Solve 0 = q*r - 3 + 7 for r.
-2
Suppose 0 = 21*b - 15 + 15. Let t be ((-5)/15*b)/2. Solve t = 9*u - 10*u + 2 for u.
2
Let r = -77 - -24. Let t = 55 + r. Suppose w = -5*s + 4*s + 24, t*s + w - 49 = 0. Solve -4*z + 9*z = s for z.
5
Let y(s) = 2*s + 7. Let v be y(-8). Let b be 0*(45/10)/v. Let o(m) = -4*m + 5. Let d be o(b). Solve 0*j - j = d for j.
-5
Let x = 1483 + -1467. Solve 24 = -2*g + x for g.
-4
Suppose g + 1478 = 123*g - 108. Solve 17*i + g*i + 210 = 0 for i.
-7
Let b = 9 - 3. Let m be (10 + -23 - -12)*(-21 - -6). Solve b*z - 9*z - m = 0 for z.
-5
Let k = -2 - -3. Let p be (-8)/56*-175 + -16. Solve -5*x + k = -p for x.
2
Let p = 3502 - 3398. Solve -105*u = -p*u - 5 for u.
5
Suppose 4*c - 12 = 4*g, -5*g + 4*c - 54 = -45. Solve 1200 = g*t + 1182 for t.
6
Suppose -4*t - 451 = 461. Let r = 230 + t. Solve -r*v = v for v.
0
Suppose -70*p = -73*p - 7*t + 419, -p + 169 = -5*t. Solve -154*a + p*a = 30 for a.
-6
Suppose 11*x - 155 = -56. Suppose -x*u + 0*u = 0. Solve u = -3*h - 0 - 12 for h.
-4
Suppose -5*i + 136 = 99*i + 32*i. Solve 3 + i = -2*o for o.
-2
Suppose -828 = -189*y + 51*y. Solve 8 = y*r - 28 for r.
6
Let a(c) = -c**3 + 3*c**2 - 8*c + 56. Let p be a(4). Solve 0 = -3*q - p*q - 44 for q.
-4
Let z(k) = k**3 - 6*k**2 + 5*k + 6. Let r be z(5). Suppose 1221*v + 8 = 1219*v + 3*l, -5*v - 5*l = -55. Solve -v = x - r*x for x.
1
Let h(v) = v**3 + 40*v**2 - 50*v + 61. Let t be h(-41). Solve -422*r = -t*r + 16 for r.
2
Suppose -3*w - 13*t + 29 = -11*t, -5*t + 6 = -2*w. Solve w*r = 10*r + 9 for r.
-3
Suppose 17*u + 4 - 310 = 0. Solve 56*q - 50*q = u for q.
3
Let v = -134 + 293. Let z = v - 158. Solve -4*a - 21 = -z for a.
-5
Let g be (-237)/(-5) + (-2)/5. Let u be (-18 - 66) + 43 - -84. Solve u = s + g for s.
-4
Let d = 8112 + -7279. Solve -7*y - 826 = -d for y.
1
Let c = 32 + -30. Suppose -10 = -2*n - c. Suppose -4*v + 6 = -2*v. Solve -v*f + n*f = 0 for f.
0
Suppose 4*j - 65 = -498*k + 493*k, -5*j + 65 = 5*k. Solve 0 = 18*y - k*y + 10 for y.
-2
Let q = -22 - -42. Let z be (q/(-25))/((-1)/5). Suppose 0 = z*h - 3 - 13. Solve -h*d + 3 - 11 = 0 for d.
-2
Suppose -155*o + 160*o = 2*r + 29, 5*r - 85 = -5*o. Solve 68 = o*x + 50 for x.
2
Suppose -124 = 208*w - 192 - 556. Suppose -4*h = 3*b - 159, 3*h - 4*b = -3*b + 116. Solve h*d = 36*d - w for d.
-1
Suppose -4*j - 9 = 11. Let r be (-1)/j + (-396)/(-45). Let n = 74 + -69. Solve -r = n*f - 24 for f.
3
Suppose 4*q + 0*s = 3*s + 547, 3*q - 3*s - 411 = 0. Suppose 0 = q*j - 138*j + 14. Solve k + j = 2 for k.
-5
Let l be ((-72)/16)/(3 - 45/12). Suppose l*d = 4 + 14. Solve d*q - 4 - 8 = 0 for q.
4
Let p(j) = -814*j + 4982. Let b be p(5). Solve 24*h = -b + 984 for h.
3
Let q(x) = x**3 + 45*x**2 + 85*x - 36. Let d be q(-43). Suppose -3*j + 0*j = 0. Solve -d*b + 10*b = j for b.
0
Suppose -6 = 17*y - 20*y. Let n(a) = -a**2 - 1. Let i(m) = 2*m - 4. Let k(w) = y*n(w) - i(w). Let o be k(0). Solve -o*t + 2 = -4*t for t.
-1
Let t be 10/6 + 8/6 + (15 - 8). Let m(s) = -1 - 3 + 0 + 2*s. Let a be m(4). Solve -a*l - t = -22 for l.
3
Let d = -3372 + 3396. Solve 423*b = 415*b - d for b.
-3
Suppose 8 = g - 5*f + 24, 2*g - 3*f - 3 = 0. Solve 0 = 15*j - g*j for j.
0
Let t = 1205413 - 1205409. Suppose 0 = 4*m - 6 - 2. Let z(y) = -y**2 - 8*y - 8. Let n be z(-6). Solve -m*s + t*s = n for s.
2
Let o = -142 - -145. Suppose 3*t = 2*w + 2*t + 12, 0 = o*t. Let i be (-22)/w - (-40)/(-60). Solve 4*b = i*b for b.
0
Let j(b) = -b**3 + 4*b**2 + 4*b - 12. Let w be j(4). Let t be (w - 6) + (-4 - -9). Solve 2 = -t*z + 14 for z.
4
Let f = 3940 + -3926. Solve 10 + 46 = f*p for p.
4
Let n be 95/3 - (-6)/18. Let u = -118 + 125. Let r(d) = d**3 - 7*d**2 + d - 7. Let y be r(u). Solve 4*f + n - 12 = y for f.
-5
Suppose -17 = 5*n - 4*f - 0*f, -3*n - 4*f = 23. Let k be (0/(-7))/(n + 1). Solve k = -5*u + 8*u - 6 for u.
2
Suppose 0 = -2*r - 3*x + 43 + 13, -8 = -2*x. Suppose 4*w - 5 - 3 = 4*n, 3*n + 4*w - r = 0. Suppose 3*p - 1 = 2*p. Solve 3 = n*z + p for z.
1
Suppose -m + 7 = -0*m + d, 0 = 4*m - 3*d. Let h be 6 + (-1 - (0 - m)). Suppose -h*o = 4 - 20. Solve -5*q - 13 - o = 0 for q.
-3
Let m(q) = -2*q**3 - 126*q**2 - 123*q + 74. Let x be m(-62). Suppose -t = 2*g - 20, 4*g - t - 48 = -5*t. Solve -b - x = -g for b.
-4
Suppose -2*y - 15 = -k - 71, -100 = -4*y + 5*k. Solve -14*t + 19*t = y for t.
6
Let z be (-2)/((-42016)/(-4672) - (8 - -1)). Solve 281*m + 33 = z*m for m.
3
Let q(l) = -l - 206. Let v be q(-5). Let n = v + 204. Solve n*t - 20 = 7*t for t.
-5
Let z(v) = -v**2 - 9*v - 12. Let y be z(-8). Let b be (100/14 - 1) + y/28. Solve -b*j + 1 = 7 for j.
-1
Suppose -239*q + 5 = -238*q. Solve 11*k + 32 = -q*k for k.
-2
Let k = 563 + -547. Suppose -389*t = -397*t + k. Solve -t*b + 4 = 2*b for b.
1
Suppose -4*r - 2*w = 68, -3*r - 28 = -4*w + 1. Let s(f) = f**3 + 13*f**2 - 30*f + 6. Let o be s(r). Solve -7*i + 9*i - o = 0 for i.
3
Let q be ((-1 - -2) + -