
Suppose -2*z = 5 - 23. Suppose 2*s - 4*t = 7 + 1, 3*t + z = 3*s. Solve 0*n + n = s for n.
2
Let i(b) = -b**2 + 149*b - 1644. Let h be i(12). Solve h = -11*g + 8 + 3 for g.
1
Suppose -5*z + 91*n = 88*n - 15133, 3021 = z - 2*n. Solve 7*a + z = 3001 for a.
-4
Let o(k) = k**3 + 21*k**2 + 22*k + 42. Let l be o(-20). Let j be ((-22)/(-12) - 2) + 481/222. Solve -l*b - 8 - j = 0 for b.
-5
Let j(f) = -2*f**3 - 10*f**2 - 10*f - 2. Let b be j(-4). Solve 10*y = b*y + 4 for y.
1
Let z be 506/28 - (-4)/(-56). Solve z*u - 34 = 92 for u.
7
Let a = 3339 + -3320. Solve -3*j = -16 + a for j.
-1
Let x = 207 - 207. Suppose 3*h + 9 = x, -h - 7 = -16*y + 15*y. Solve 0 = y*s - 5*s - 1 for s.
-1
Let w(s) = s**3 - 4*s**2 - 5*s + 2. Let q be w(5). Suppose 3*a + 3 = 0, -q*a + 9 + 9 = 5*t. Suppose -28 - t = -8*l. Solve 0 = -7*x + l*x for x.
0
Suppose -206*n + 70110 = -58*n + 137*n. Solve -27*y = 57 - n for y.
7
Let p be (-4)/6*1*-3. Let v be (1 + (-26)/4)/((-17)/34). Let q = v - 5. Solve 0 = p*g - q*g + 12 for g.
3
Suppose -3*p + 85 = -m - 40, -4*m = 3*p - 115. Suppose p - 45 = -w, -2*x - 4*w + 76 = 0. Solve 12*o = 6*o - x for o.
-5
Suppose 7 = w + 6*c - c, -c = 0. Suppose 9*l + 42 = 4*p + w*l, 0 = 5*p + 5*l - 15. Solve -5*q + 9*q = p for q.
2
Let x be (53/3)/(-2*3/(-18)). Suppose -3*y + 37 + x = 0. Suppose 0 = -2*q + p + 9, -q - y = 5*p - 7. Solve 0*j - q = -j for j.
2
Let u = 1463 + -1441. Solve -65*a = -76*a - u for a.
-2
Let a = -301 + 304. Let t = -4 - -7. Suppose -5*k - t*g = g + 3, -2*k = 3*g + 4. Solve u = -k + a for u.
2
Let x(v) = 4*v**2 + v + 11. Let o be x(-7). Suppose 0 = 94*j - 104*j + o. Solve 8*w = -2*w - j for w.
-2
Suppose 11*j = 18*j + 2*h - 128, -j = 4*h - 22. Solve 78 - j = 20*q for q.
3
Suppose -g + 214 = 3*z + 2*z - 536, 0 = 2*g. Solve -198 = -12*o - z for o.
4
Suppose 13*m - 25*m = 27*m - 312. Solve -12 = -10*r + m*r for r.
6
Let z(a) = 5*a**3 - 6*a**2 + 17*a - 12. Let r be z(1). Suppose 5 = 5*c - 15. Suppose 0 = r*v - c*g - 12, -v = v - 3*g - 5. Solve 0*h - 20 = v*h for h.
-5
Suppose -2*i - 4*c = -40, 12*c + 24 = 16*c. Solve 11*o + i = -3 for o.
-1
Let g = 6556 - 6551. Solve g*z = 105 - 90 for z.
3
Let f(c) = -5*c - 17. Suppose -11*l + 9*l - 2 = j, 0 = -4*j - l + 13. Suppose -4*k + z = 13, 3*k + j*z + 22 = -2. Let n be f(k). Solve n*a - 8 - 7 = 0 for a.
5
Let s(z) = 4*z**2 + 62*z + 225. Let m be s(-4). Solve -m*g + 233 = 69 for g.
4
Suppose -2*c + 3*r + 10 = r, -3*c + 2*r = -11. Let o = 277 + -277. Let j be o/1*((0 - -8) + -9). Solve j = b + 3 + c for b.
-4
Suppose 0 = 15*p + 757 - 952. Solve -11 = 8*q + p for q.
-3
Suppose -4*x + 140 = -436. Suppose 4*j - x = -2*j. Let c be 13/6 - 4/j. Solve -20 = 2*h + c*h for h.
-5
Suppose -3*l - 4*f - 5 = 0, 2*l + f + 6 - 1 = 0. Let w be 0*l/15 - -2 - 0. Solve -6*o + w*o - 4 = 0 for o.
-1
Let y(j) = 2*j**3 - 92*j**2 - 93*j - 27. Let g be y(47). Solve -g*z = -3*z for z.
0
Suppose -51*d = -31*d - 28*d + 136. Solve -5*u = 27 - d for u.
-2
Let s(m) = -3*m**2 + 32*m + 34. Let z be s(10). Solve -z = 23*r + 15 for r.
-3
Let h be (-5 - 15/(-6))*-4. Let x be 20/h*(3 - 0). Solve -x*b - 24 = 6 for b.
-5
Let k(h) = -4*h**3 + 5*h - 20 + 5*h**2 + 0*h - 11*h + 5*h**3 + 0*h. Let r be k(-5). Solve 0 - r = 5*x for x.
-2
Suppose 221*l - 570 = 202*l. Solve 10*v - 50 = -l for v.
2
Suppose 34*y - 17*y - 289 = 0. Let q be (114/16)/1 - y/136. Solve z = q - 5 for z.
2
Let a = -73 + 95. Suppose 2*b = -5*v + a, -4*v + b - 2*b = -20. Solve v*d + 16 = -2 for d.
-3
Suppose 0 = -13*a + 17*a. Suppose -4*q + 4*g + 4 = -8, a = -g - 1. Solve z + 4 = q*z for z.
4
Suppose 45 - 54 = -3*p. Suppose -5*b + 5 + 38 = p*r, 2*r - 5*b + 13 = 0. Solve -4*g - r + 14 = 0 for g.
2
Let x be 96/(-1200) + 252/25. Suppose -x*z = 72 - 212. Solve 0 = -z*d + 16*d + 8 for d.
-4
Suppose 4*x - 92 = -2*m, 4*x - 2*m = m + 82. Let s be (x/(1 + -3) - 1)*-1. Suppose 0*y - y + 2*d = -s, -8 = 2*d. Solve 0 = -y*f + 1 - 5 for f.
-1
Let p = -3573 - -3689. Solve 0 = 7*t + p - 102 for t.
-2
Suppose p - 106 = c, 709 = 5*p + 2*c + 130. Solve -36*d - 103 = p for d.
-6
Let v be -6 + -1*(-28 + 4). Suppose -15*r - 18 = -v*r. Solve -r - 4 = 5*k for k.
-2
Let w be -1 + (0 - 1) + 8. Suppose -20*m - 247*m = 222*m - 16137. Solve 0 = -35*b + m*b + w for b.
3
Suppose 5*u = 2*f - 6, -2*f + 5*u + 12 = 3*u. Suppose -b - 3*b = -f. Solve q = -3 - b for q.
-5
Let m = -30417 - -30685. Solve 239*f = m*f for f.
0
Let x = -34668 - -34689. Solve -x*m - 6*m + 81 = 0 for m.
3
Let b(v) = v**3 - 9*v**2 - 27*v + 62. Let z be b(11). Let p(j) = j**3 - 6*j**2 - 13*j + 46. Let x be p(z). Solve 5*s = 11 + x for s.
3
Suppose f + 3*p - 772 = 0, p - 4 + 0 = 0. Suppose -5*r = -13*r - f. Let q = -91 - r. Solve q*n + 4 = 2*n for n.
-2
Let t(j) = -j**2 + 15*j - 36. Suppose 40 = 20*i - 100. Let m be t(i). Solve -3*d = d + m for d.
-5
Suppose 88*n = 6757 - 421. Solve -239*u - n = -251*u for u.
6
Let a(d) = -466*d - 921. Let r be a(-2). Solve 23 = -r*f - 54 for f.
-7
Let i(d) = -d + 5. Let b be i(6). Let z be 33 + (b - -3) + 3. Let f = 50 - z. Solve v = -3*v + f for v.
3
Suppose -101 + 24 = -4*y + 3*k, 4*y + 2*k - 102 = 0. Solve y*x - 24 = 27*x for x.
-6
Suppose -6065 = -g - 6064. Let u(z) = z**2 - 12*z + 16. Let v be -33*(15/9 - 2). Let s be u(v). Solve -3*p - g = s for p.
-2
Let i = -16567 - -16571. Let x(a) = -a**3 + 3*a**2 - 2*a. Let u(z) = -z + 2. Let g be u(0). Let w be x(g). Solve w = -4*p - 0*p - i for p.
-1
Suppose -2*k + 3*d + 55 = 0, -2*d - 10 + 60 = 3*k. Solve l = -3*l + k for l.
5
Suppose -12 = -12*m + 8*m. Suppose 5*f + 3*o = -o - 13, -5*f = o + 7. Let u(i) = -3*i**3 - 2*i - 1. Let s be u(f). Solve m*q + q = s for q.
1
Suppose 2015 + 5167 = 57*w. Solve -w = -4*b - 130 for b.
-1
Let v be 1665/(-111) + (16 - -1). Solve v*i = -2*i + i for i.
0
Let m be 1*(-2)/(-2) - -5. Let v be 30*m/54*(-42)/(-4). Solve 0 = 6*q - 11 + v for q.
-4
Suppose 2*a + 66 = 4*m, -332*a - 4*m = -337*a - 195. Let p = -31 + 78. Let h = a + p. Solve -h*q - q = -10 for q.
2
Let t = 76 + -74. Let j(y) = 16*y**3 - 31*y**2 + 10*y. Let g(c) = 3*c**3 - 6*c**2 + 2*c. Let v(x) = -11*g(x) + 2*j(x). Let d be v(t). Solve -z + 1 = -d for z.
5
Let r = 4 - 0. Suppose 2 - 38 = -r*c. Let t(f) = -35*f + 424. Let u be t(12). Solve -q - c = -u*q for q.
3
Let d be 9/(-3)*(-11)/(198/96). Suppose -5*b + d = -9. Solve -2 = b*m + 3 for m.
-1
Suppose 84 - 103 = -k. Solve -k + 37 = -6*r for r.
-3
Let i(n) = -n + 7*n + n**2 + 13 + 0*n + 2*n. Let m be i(-6). Suppose 0 = -335*v + 348*v. Solve v*x - x = -m for x.
1
Let j(o) = -o**3 + 2*o - 2. Let q be j(2). Let g be 19/(-38) - (-14)/4. Let f be g/(-6)*q + 14/2. Solve 0*a = 2*a - f for a.
5
Let y(o) = -o**3 + 5*o**2 - 11. Let p be y(4). Suppose -2*n = 2*r - 7*r + 15, p*n - 3 = -r. Solve 16*x - 19*x + 12 = n for x.
4
Let z(f) = 3*f**3 - 22*f**2 + 9*f - 10. Let w be z(16). Let c be ((-6)/(-7))/3 - w/98. Let s = -69 - c. Solve -5*v + 8*v - 6 = s for v.
2
Let u(z) = -z**2 + 7*z. Let l be u(5). Suppose 0 = -l*v + 3*v + 56. Solve -2 = -5*y + v for y.
2
Let t(l) = 148*l + 4152. Let n be t(-28). Solve -n*w - 435 = -451 for w.
2
Suppose 28*w + 504 = 24*w. Let x be (-3)/6 - w/12. Solve 8*d = x*d - 4 for d.
2
Let a(g) = 15*g**2 - 3. Let i(z) = 32*z**2 + 2*z - 5. Let y(s) = 5*a(s) - 2*i(s). Let t be y(-1). Solve -t*h + 10 = -8*h for h.
5
Suppose -2*i - 197 = 3*z - 282, -2*i = 4*z - 118. Solve 12 = -z*f + 27*f for f.
-2
Suppose 5*z + 2*m = -287, 4*z + 63 = -m - 169. Let j = z - -49. Let d = j + 16. Solve -2*l = -d*l - 20 for l.
-5
Suppose 0 = -2*u - 13*u - 90. Suppose 0 = -4*l - 2*c + 16, 3*l - 2*c = -c + 12. Let z be l/(-2)*33/u. Solve 3*b - 8 = -z for b.
-1
Suppose -223*q = -78*q - 2900. Solve 0 = -26*p - q*p - 276 for p.
-6
Let f = -34341 - -34349. Let y be 2/(-1)*3/(-2). Solve -t + y*t = -f for t.
-4
Let o(f) = -f**2 + 20*f + 513. Let z be o(34). Solve 7*d - z = -58 for d.
-3
Suppose 0 = -5*t - 5*c - 2 + 17, -5*c = -4*t + 12. Let o(l) = -3*l - 15 + 15 - 9*l**2 + 2*l**t - 10 + 11*l. Let u be o(4). Solve -u*j = -j for j.
0
Let j be (-36)/27*12/(-1). Suppose i + j = -4*s, 5*i - i - 20 = 5*s. Solve i = 3*c + 4 + 5 for c.
-3
Suppose 0 = 3*j - w - 28, 0 = 3*j + w - 5 - 27. Suppose -j*h + 138 - 108 = 0. Solve -5*x - h*x + 24 = 0 for x.
3
Let c(z) = 2*z**2. Let i be c(1). Suppose 52 = 5*a - l + 3*l, -4*a - 2*l + 42 = 0. Let w be 26*