= -4*j + 50. Let i be x(12). Solve 45 = i*h + 41 for h.
2
Let r(h) = h + 8. Let o be r(-6). Let x(p) = p**2 + 4*p - 12. Let k be x(-6). Solve -w + k = o for w.
-2
Let y = 238 - 233. Solve n + 20 = y*n for n.
5
Let y = 54 - 31. Suppose 3*t = -6*m + 8*m, -3*m = -m. Solve 4*s - y + 7 = t for s.
4
Let n(h) = 5*h - 48. Let d be n(10). Let f be 4/(-30) - (-6)/45. Solve f = z - 0*z - d for z.
2
Suppose 2*k - z = 4*k - 33, -2*z = -k + 4. Let b = -14 + k. Solve 4 + b = p for p.
4
Let z(f) = 2*f**2 + 1372*f - 1334*f + 24 + 17. Let y be z(-18). Let q(k) = 12*k**2 + 2*k + 1. Let o be q(-1). Solve -y*x - o = 14 for x.
-5
Let r be (1 - 0)/(-2 - -1). Let i be (r - (1 + -3)) + (2 - 1). Let z be -6*(-1 - (-2)/3). Solve -z*j + 4 = i*j for j.
1
Suppose 0 = -4*n + 12. Suppose -n*f = -f + 14. Let g = f + 11. Solve 0 = -2*t + g*t - 8 for t.
4
Suppose -23*o + 147 = -2*o. Solve -7*y = o*y + 70 for y.
-5
Let x(q) = 2*q - 9. Let a be 0/3 + -3 - -22. Suppose -3*v = 4*s - 31, -5*s + 3*s - 5*v + a = 0. Let r be x(s). Solve r*d = -3 + 8 for d.
1
Let v be (-2)/(-24)*26 + 32/(-192). Solve 0 = -9*y + 7*y + v for y.
1
Let t(i) = 6*i + 37. Let d be t(-7). Let p be ((-32)/(-40))/((-2)/d). Solve 0*b = p*b - 2 for b.
1
Let c = 57 - 53. Let d(t) = 66*t. Let s(n) = 19*n. Let a(v) = -5*d(v) + 18*s(v). Let i be a(1). Solve q - c*q + i = 0 for q.
4
Suppose -50*n + 127 = 27. Solve -14*m - n = -13*m for m.
-2
Suppose -3*c + 36*g + 21 = 39*g, 0 = -g + 1. Solve 20 = r - c*r for r.
-4
Let f(c) = -c**3 + 7*c**2 - 2*c - 8. Let k be f(6). Solve 10 = 14*t - k*t for t.
-5
Let j be (-1 + 8 + -1)*1. Suppose 4*x + j = x. Let c be x/4 + (-200)/(-16). Solve -3 = -5*v + c for v.
3
Let z(g) = 3*g - 4. Let i(c) = -2*c + 3. Let p(u) = -7*i(u) - 5*z(u). Let a be p(-6). Let w be (2/3)/((-12)/(-18)). Solve -h + a = w for h.
4
Suppose 0 = -5*p + 31 + 109. Suppose 4 = -3*u + p. Suppose 4 = a + v - 0*v, u = 5*a + 2*v. Solve -4*s = -20 - a for s.
5
Let a be (-14)/(-21)*18/4. Suppose 3*x - 3*k = k + 17, x + 4*k = 11. Suppose 5*g + 4*z = 26, -x*z = -2*z - 20. Solve b + a = g for b.
-1
Suppose 3*c = 7*c + o - 23, 3*c - 3*o - 6 = 0. Solve 11*x - 12 = c*x for x.
2
Let t = -78 + 76. Let x be (-12)/(-3)*t/4 + 10. Solve -25 = 3*l - x*l for l.
5
Let u be ((-20)/6)/1 + (-12)/18. Let b(d) = -2*d - 2. Let q be b(u). Solve -2*y + 0*y - q = 0 for y.
-3
Suppose 4*r + 3*t = 0, 7*r = 6*r + 4*t. Suppose 0 = 4*g - p - 13, -3*g = -0*g + 3*p - 21. Suppose r = 3*b - g*b. Solve b = 2*h + 3*h for h.
0
Suppose 0 = -x + 3*v, -2*x - 6 = -2*v + 2. Let q be 6/9 - 56/x. Let c be (-21)/35 - (-6)/q. Solve -b + 1 + 2 = c for b.
3
Let g be 0*(-2*1 + 1). Suppose 802*q = 764*q + 494. Solve g = 4*h - q + 5 for h.
2
Let m(w) = -w**2 - 7*w - 4. Let h be m(-6). Let a be (-4 + 2)/h*(4 + -8). Solve a*s + 9 = 1 for s.
-2
Let d be 6 + (-3)/(-4 - -3). Let t = 34 - d. Suppose 27*m - t*m = 10. Solve m*x - 12 = 13 for x.
5
Suppose -2*n + 6 = n - 4*l, -n - 2*l = 8. Let u be 460/100 - n/5. Solve 2*f + 3 = u*f for f.
1
Suppose 5*w - 21 = 2*w. Let j be ((-6)/(-21))/(1/w). Suppose -j*i = -3*i. Solve i = -3*a + a for a.
0
Let f = -24 - -24. Suppose f = 9*l - 2*l - 91. Solve l + 2 = 5*t for t.
3
Let p be 5*(-18)/(-15)*1. Let t = 15 - p. Let x = 19 - t. Solve -x = r - 3*r for r.
5
Let n = 96 - 86. Let a(d) = -2*d + 20. Let i be a(n). Solve i*t - 5 = t for t.
-5
Suppose 14*s - 152 = -96. Solve s*x - 6*x = -2 for x.
1
Let v be (4/6)/((-10)/(-90)). Let g be (-20)/v*(-3)/2. Suppose 0 = -5*i - 2*q + 8, -q + 12 = g*i + 2*q. Solve -z - 3 = -i*z for z.
-3
Let g(t) be the second derivative of t**5/4 + t**4/12 - t**3/6 - 7*t. Let u be g(1). Let r(i) = -2*i + 12. Let m be r(u). Solve -m*z = z + 15 for z.
-5
Let y(z) = z**2 + 4*z + 5. Let a be ((-28)/(-35))/(2/(-10)). Let t be y(a). Suppose 0 = -3*i - t + 11. Solve 2*d + i*d - 12 = 0 for d.
3
Let l be (-2)/9 - 40/(-18). Let k be -3 - (-12 + (-6)/l). Solve -3 = -5*i + k for i.
3
Let d(k) = -9*k - 19 + 39 - 17. Let u be d(-1). Suppose 0 = -4*v - 5*q + 26, v + 2*q = -v + u. Solve v*b - 2 = 6 for b.
2
Suppose -20*z + 10*z + 80 = 0. Solve -4*y = 20 - z for y.
-3
Let r = 88 + -76. Suppose -10 = -2*l - 4*s, 0*l - 3*s - r = -5*l. Solve -l*m = -m for m.
0
Suppose -4*c = 2*u - 18, 127*u - 3*c + 21 = 130*u. Suppose -3*a + 9 = -v - 6, -2*v - 10 = -2*a. Suppose a*t = j + t + 2, -4*t + 8 = 0. Solve u*f + j = 1 for f.
-1
Suppose 37*j - 30*j = 21. Let i be 2 - 3 - (1 + -3). Let k be i*-1*(3 + -6). Solve 2*f = j + k for f.
3
Let s(r) = -r - 5. Let m be (1 + -2)/(3/12). Let x be s(m). Let p be 4 + x + 1 + -1. Solve p*h = h for h.
0
Let t = 1 - 7. Let a(b) = b**3 + 10*b**2 - b - 1. Let j(x) = -x**3 - 11*x**2 + 2. Let r(y) = 6*a(y) + 5*j(y). Let i be r(t). Solve -m + 1 + i = 0 for m.
5
Let p be (6 - 2)/2 - 2. Suppose -5*d + 4*f + 24 = p, -17 = -3*f - 5. Solve -3*z + 20 = -d*z for z.
-4
Suppose -477*x = -484*x + 28. Solve -x*n - 92 = -96 for n.
1
Suppose -2 + 14 = p. Suppose 12*t = 14*t - p. Suppose 0 = o - t*o. Solve o = 5*z + 6 - 1 for z.
-1
Let m(z) = z**3 + 3*z**2 - 6*z - 3. Let q be m(-4). Let n be 36/(-162) - 411/(-27). Solve q*y - n = 2*y for y.
5
Let w(x) be the second derivative of -x**5/20 - 7*x**4/12 + 7*x**3/6 - 5*x**2/2 + 21*x. Let t be w(-8). Solve -t*c - 2*c - 25 = 0 for c.
-5
Suppose 6 = 4*f - 14, -5*j = 2*f - 20. Let l be (12/3 + -4)/j. Suppose l = 5*p - 3*p. Solve p = -3*n - 1 + 4 for n.
1
Let y(o) = -o**2 + 5*o + 6. Let q be y(5). Let s be 6*4/q - -1. Solve s*h - 5 = -0*h for h.
1
Let j be 28*(-2)/(-10) + 22/55. Solve -2*l - j = -5*l for l.
2
Let m = 243 - 238. Solve -m*f + 6*f = -3 for f.
-3
Suppose -4*y - 41 + 81 = 0. Solve -4*p + y = -2 for p.
3
Suppose -226*h + 244*h = 3042. Solve 167*n - h*n + 6 = 0 for n.
3
Let u(b) = -b**2 - 4*b + 1. Let k be u(-3). Let m be ((-12)/(-10))/(9/(-60)). Let j be (-64)/(-28) - m/(-28). Solve -2*x + j = k for x.
-1
Let r be 0/17*2/4. Let k be 4*(1 - r) + -2. Solve 0*a - k = -a for a.
2
Let a(n) = -4*n**3 + n**2 - n - 1. Let j be a(-1). Let i(r) = 9*r - 40. Let x be i(5). Suppose 2*c = -2*b, -4*c - 25 = -x*b - 7. Solve -8 - b = -j*z for z.
2
Let z = 1631 - 1623. Suppose 2*y - 10 = 0, -4*a + 0*y = 3*y - 23. Solve 0*d - z = a*d for d.
-4
Let u be 2 + (-1)/((-3)/9). Suppose 5*k + 10 = 5*v, -u*v - 2*k = 3*k - 20. Suppose -20 = -b - v*b. Solve -b*z - 1 + 11 = 0 for z.
2
Suppose -a = -6*a - 3*s + 56, 0 = -5*a + 5*s + 80. Solve 3*t = 1 - a for t.
-4
Let o = 19 - 13. Suppose -4*s - 8 = -o*s. Suppose 28 = 5*h - p, 4*h + 5*p - 1 = s. Solve -h = 2*u - 1 for u.
-2
Let m be 1/(2 - 68/32). Suppose -5*g + 12 + 3 = 5*s, g + 2 = -2*s. Let j = g + m. Solve j*n - 4*n = 0 for n.
0
Let d be (1044/435)/(2/15). Solve -11*n + d = -5*n for n.
3
Let d(g) = 4*g - 4. Let j be d(1). Suppose -8*i + 3*i + 45 = j. Solve 5*k - i = 16 for k.
5
Suppose -2*h - 8 = -6*h + 2*u, -4*h = -5*u - 2. Solve h*p - 7*p = -8 for p.
2
Let i be 6 + 0 + (28 - 29). Solve -2*w + 12 = -i*w for w.
-4
Suppose -3*u + 2*a = -5 - 4, 2*a + 12 = 4*u. Solve 0 = -2*m - 11 + u for m.
-4
Suppose -5*t - 3*c - 30 = 0, -5*c - 6 = -0*t + t. Let q be 2*((-33)/t - 4). Solve 0 = q*a - 2*a for a.
0
Suppose -z = -2*z + i, 5*z = 4*i + 3. Suppose z = -c + 8. Solve c = o + 3 for o.
2
Suppose -2*w + 45 = 3*w. Let s(r) = r**2 + 12*r - 8. Let b be s(-13). Solve -b*o + 2*o + w = 0 for o.
3
Suppose 2*k = 6*k. Let c(o) = -o**3 - 13*o**2 + 13*o - 17. Let u be c(-14). Let p be u + (3 - (2 + -2)). Solve p*y + y = k for y.
0
Let q(o) = o. Let x be q(2). Let d(m) = -m**3 - m**2 + 5*m + 4. Let j be d(0). Suppose -2 = 3*z + j*g, -5*g + x = 5*z - g. Solve z*h = h + 1 for h.
1
Let a be 1/((-3)/(-4)) + (-48)/36. Solve 12 + a = -3*k for k.
-4
Suppose 2 = 7*s - 6*s. Suppose -6*k = s*k - 16. Solve k*r + 5 + 5 = 0 for r.
-5
Let b = -165 + 169. Solve -u = -0*u - b for u.
4
Let x(l) = 41*l + 494. Let a be x(-12). Solve -15*g - 85 = a*g for g.
-5
Suppose -m - 4*h + 16 = 0, -2*m - 2*m = -4*h - 104. Solve m*l + 40 = 4*l for l.
-2
Let b(w) = -w**3 - 12*w**2 - 20*w + 31. Let u be b(-10). Solve -27*s + 4 = -u*s for s.
-1
Let c(z) = -28*z - 250. Let w be c(-9). Let t be 2 - ((3 - -1) + -2). Solve t = -w*j + j for j.
0
Suppose 0 = 27*u + 10*u - 222. Solve u*o = 7*o + 3 for o.
-3
Let l be -12 + 9 - (-12 + 1). Suppose l = 2*n + 4. Suppose 2*i = 2*t + 6*i + 12, 5*i = -3*t - 13. Solve -n*j = -4*j - t