x.
0
Suppose 5*f = 2*u + 14, -2*f + 6 + 5 = u. Suppose -f*a = a. Suppose a = -0*n - 5*n. Solve n*h = -h for h.
0
Suppose 15*t - 403 - 137 = 0. Solve x = -t + 41 for x.
5
Let p be 1*2/2*3. Let o(a) = a**2 - 7*a + 6. Let m be o(6). Suppose 2*v - 3*n - 26 + 7 = m, -3*v - 2*n - 4 = 0. Solve p = -z - v for z.
-5
Let p be 4/(-6)*(-12192)/(-64). Let x = p + 128. Solve 2*a = x + 5 for a.
3
Let u be ((-286)/12)/((-124)/744). Solve -o - 146 = -u for o.
-3
Let s be 28/294*-3 + 107/7. Solve 0 = s*n - 52 + 22 for n.
2
Let h = -295 - -299. Solve 0 = h*j + 3 - 19 for j.
4
Let c(b) = 3*b**2 - 35*b + 35. Let w be c(11). Solve -w*s + 19*s = 30 for s.
5
Let v = 36 - 27. Solve -v*z = -12*z for z.
0
Let k be 3*(4/(-6) - -2). Suppose k*r = 7*r - 6. Solve 4*m = r*m + 10 for m.
5
Let o be (-5 - -4)*0/(-2). Let a(b) = b. Let k(s) = 5*s - 3. Let m(g) = 6*a(g) - k(g). Let p be m(o). Solve 1 = -4*v - p for v.
-1
Suppose -2*p - b + 36 = 0, 3*b + 20 = 8*b. Solve -p*q + 27 = -5 for q.
2
Suppose 4*l = -2*l - 180. Let s = -28 - l. Solve -3 = s*b + b for b.
-1
Suppose -4*d - 5*a + 55 = 0, 0 = 7*d - 5*d + 2*a - 26. Solve d*i = 13*i + 3 for i.
-1
Suppose 3*q - 35 = 58. Suppose -20 = 30*w - q*w. Solve f - w = 6*f for f.
-4
Let d = -9 - -6. Let h = -2 - d. Suppose h - 7 = -3*z. Solve -z*u = 2*u - 16 for u.
4
Let y be (539/28)/(-11)*-20. Solve -24 = -y*t + 29*t for t.
4
Let t be 39/12 + 1/(-4). Suppose -c = 3*m - t, -m + 1 = c - 0. Suppose c = 8*k - 9*k. Solve 2*q - 3 + 1 = k for q.
1
Suppose 0 = p + 3*d - 0*d - 28, 4*p - 95 = 5*d. Suppose 0 = -2*m - 6*m + 368. Suppose -5*g + m = -4*r, 4 = 2*g - 0*r + 2*r. Solve -y = -g*y - p for y.
-5
Suppose 0 = -2*i + 60 + 72. Let w be (3/6)/(3/i). Suppose 2*r + 2*r - 4*u = 12, -3*u - w = -4*r. Solve -q - q = -r for q.
1
Let s(d) = 3*d**3 - 2*d**2 + 3*d - 1. Suppose 0 = -5*c - 16 + 21. Let w be s(c). Solve -5*h + w = -2 for h.
1
Suppose 4*o + 62 = -3*j, -2*j + 4*o = -6*j - 80. Let x be (12/j)/((-3)/18). Solve -8 = x*d - 20 for d.
3
Let q(p) = -p**2 - 7*p + 4. Let m be q(-4). Solve -m + 1 = -5*i for i.
3
Let o(l) = 2*l**2 + 8*l + 8. Let p be o(-5). Suppose -17*q + p*q = 2. Solve -q*s + 4 = -0 for s.
2
Let h be (2/(-3 - -2))/((-18)/27). Solve -12 + 0 = h*f for f.
-4
Suppose -2*z + 6*z = -f - 122, 3*f + 56 = -2*z. Let s = z + 44. Let n = -10 + s. Solve -4 = -n*c - 1 for c.
1
Let o(n) = 4 - 2 - 565*n - 3*n**2 - n**3 + 569*n. Let q be o(-4). Suppose -i - q*i = 0. Solve -2*t + 0*t + 10 = i for t.
5
Suppose 2*l + 2*l = 12. Suppose -15*r + 16*r + m = 0, 5*m = 2*r - 14. Solve l = -c - r*c for c.
-1
Let u = 25 + -31. Let p be u/24 + (-18)/(-8). Solve -p*j = j for j.
0
Let k = -33 - -33. Let w = -21 - -21. Suppose -3*g + 2*o + 0*o + 66 = w, 48 = 3*g + 4*o. Solve -4*j = -k*j - g for j.
5
Suppose -14*n + 6 = -15*n. Let x be (-70)/n - (70/15 + -5). Solve 3*t + 0*t + x = 0 for t.
-4
Suppose 5*z + 2*a - 11 = 0, 1 = 5*z + a - 12. Solve 14*f - 13*f + z = 0 for f.
-3
Suppose 7*p = 280 + 105. Solve m - p = -10*m for m.
5
Suppose 6*p - 4 = 2*p. Suppose 0 = a + p - 1. Let r = 4 - 2. Solve a*g = g - r for g.
2
Suppose 54 = -8*f + 142. Suppose 9 = -2*y + f. Solve 2*j - y = 3*j for j.
-1
Suppose -5*m + 4*u + 24 + 26 = 0, -3*m - 5*u - 7 = 0. Solve 0 = -m*b - 3*b - 9 for b.
-1
Let a(u) = -u**3 + 5*u**2 - 7*u + 5. Let g be a(2). Solve 5 = -2*r - g*r for r.
-1
Let g be 768/(-28) + (-3)/(-7). Let w = 27 + g. Solve d - 6*d = w for d.
0
Suppose -y = -5*v - 2*y + 19, y - 16 = -4*v. Suppose v*f + 3 = 6. Solve f = 5*z - 14 for z.
3
Let z be 18/8*16/6. Suppose 0 = -4*w + 45 + 167. Let l = w - 51. Solve v + l*v - z = 0 for v.
2
Let c = -9 + 12. Suppose -c*a - 3*q = -4 - 2, -2*q = 2. Let x be ((-4)/(-16))/((-14)/16 + 1). Solve -a*m + x*m = 5 for m.
-5
Let p(a) = 12*a + 298. Let s be p(-22). Solve 58 - s = -6*i for i.
-4
Let o be (0 - 1) + -2 - (77 + 0). Let f = o - -85. Solve -f*y + 11 = -14 for y.
5
Suppose 140 = -4*k + 852. Suppose -12*q + k = -2. Solve 2*d + d = q for d.
5
Let c = 131 - 126. Solve 0 = -c*o + 2 + 18 for o.
4
Let f = -9 + 11. Let z be (-2)/8 - f/(-8). Suppose -5*o + 9 + 11 = z. Solve 3*q - q = o for q.
2
Let s = 270 - 264. Solve -5*t - s = 9 for t.
-3
Suppose 3*k = -2*k + 20. Suppose 0 = -10*u + k*u + 30. Solve 2 + 8 = -u*a for a.
-2
Suppose -6 - 18 = -2*c. Let u = c + -6. Suppose -3*h - u = -24. Solve -h*k = -k - 20 for k.
4
Let a be 45/21 - 17/119. Solve 12 - a = -2*b for b.
-5
Let a = -20 - -9. Let p be ((-2)/6)/(a/66). Solve p*g = -2*g + 16 for g.
4
Suppose -4*n + 18 = -v - 0*v, 2*n + 4*v = 0. Suppose 3*x + 2 = -22. Let a = x - -13. Solve n = -s + a*s for s.
1
Let t = -124 + 136. Solve -2*d + 6*d = t for d.
3
Suppose 45 - 10 = 2*t - 5*o, -o - 23 = -2*t. Solve -k + 8 = t for k.
-2
Let j(n) = -23*n - 33. Let q be j(-6). Let k be ((-4)/10)/((-7)/q) + -3. Solve 0 = 8*x - k*x + 15 for x.
-3
Let j = -626 - -633. Solve -3*s = -j*s + 8 for s.
2
Suppose -4*b = -b - 6. Suppose b*t - 6 = t. Solve -x = -t*x + 5 for x.
1
Let g(l) = 4*l**2 + 5*l**2 + 12 + 6*l + 6*l + l**3 - 3*l. Let d be g(-8). Solve d + 8 = -3*j for j.
-4
Let d be (-8)/(-2 - 6) + 3/1. Suppose -p = -d*p + 12. Solve -4 + 8 = p*o for o.
1
Let i(l) = -l. Let r be i(-4). Suppose -8 - r = -3*b. Solve 0 = 2*u - b*u + 6 for u.
3
Let v(u) = -13 + 2*u**2 + 2*u**3 - 13 + 24. Let o be v(-2). Let w be 38/6 - o/(-30). Solve w*p + 4 = 2*p for p.
-1
Let p(q) = -q + 2. Let c be p(0). Let v be ((-2 - -2) + -1)/(2/(-24)). Suppose 3*h = -2*t + v, 5*h = -4*t + t + 20. Solve c*d + 6 = -t*d for d.
-3
Suppose 12 = 2*f + x, -2*f = 2*x - 4*x - 6. Let h(r) = -3*r - 1. Let c(s) = -3*s. Let k(q) = -3*c(q) + 2*h(q). Let v be k(2). Solve f*z = -11 - v for z.
-3
Suppose 4*d - 20 = -d. Let v(f) = f**3 - f**2 - f + 4. Let g be v(0). Suppose 5*c - 5*m - 5 = 0, 3 - 13 = -g*c + m. Solve -d*w + 17 = -c for w.
5
Suppose 3*j = 3*h + 63, -64 + 31 = -j - 3*h. Solve 2*c = -10*c + j for c.
2
Suppose -6 = 4*i - 0*j - 2*j, -9 = -3*j. Solve i = 2*y - y - 1 for y.
1
Let h(v) = v**3 - 2*v**2 - 2*v - 1. Let b be h(2). Let r = 12 - b. Solve 0 = 4*o + 5 - r for o.
3
Suppose -2*p = 5*y + 19, -4*p = -y - 3 + 8. Let i be (-11)/y - 4/(-36)*3. Solve -l = i*l for l.
0
Suppose 0 = 38*f - 37*f - 10. Solve -n + f - 5 = 0 for n.
5
Suppose -p + u = -19, 2*p - 3*u - 6 - 35 = 0. Let g(h) = -h**2 + 16*h + 9. Let b be g(p). Suppose t = -4*d - 9, 3*d + 11 = 2. Solve t*k + b = -0*k for k.
-3
Suppose 0 = 5*g - n - 79, g + 5*n = 2*n + 3. Suppose -6*o + g = 5*j - 11*o, -3*j = 5*o - 9. Solve 0 = -k + j*k - 8 for k.
4
Suppose f + 3 + 7 = -2*o, -f + 10 = -2*o. Suppose f = -5*m + m + 112. Suppose 3*j = -3*t + 15, 3*t + m - 3 = 5*j. Solve -2*q = 3*q + j for q.
-1
Let c be (-1 + ((-36)/(-8) - 4))*-12. Suppose -4*y = -7*y + c*y. Solve -2*r = -y - 8 for r.
4
Suppose 3*b + 87 = 6*b + 4*x, -b - 5*x = -40. Solve -3*z + 22 = b for z.
-1
Suppose m = -0*m + 4. Let n = 6 - m. Suppose n*w + 6 = 5*w. Solve w*c + 3*c = 0 for c.
0
Let v(k) = k**3 - 21*k**2 + 20*k + 2. Let c be v(20). Let g be c + (-2)/4*(-3 - -3). Solve 0*z - g*z = 0 for z.
0
Let k(d) = d**3 - 4 - 7*d**2 + 18 - 9. Let n be k(7). Solve -14 = -n*s + 1 for s.
3
Suppose 127*m + 20 = 132*m. Solve 0 = 5*s + 21 + m for s.
-5
Let j be 10*(-65)/(-150) + 4/6. Solve 0 - j = 5*u for u.
-1
Suppose -4*d = -2*d + 6. Let g(f) = -3*f + 20. Let i be g(7). Let v be ((-15)/(-5) + d)/i. Solve v = 4*c + 10 + 6 for c.
-4
Let b = -480 + 486. Let x(g) be the first derivative of g**4/4 - 7*g**3/3 + 5*g**2/2 + 6*g + 1. Let o be x(6). Solve o = -c + b*c for c.
0
Suppose 0 = -14*l - 9 + 93. Solve -l*k = -3*k - 6 for k.
2
Suppose 0*a = a + 34. Let b = a - -7. Let p be (-356)/(-18) - 6/b. Solve -u = -6*u + p for u.
4
Let x be 4/(-6) - 40/(-6). Suppose 5*w = -4*t + x - 29, -11 = 2*w + t. Let q = 7 + w. Solve -2*l + 8 = -q*l for l.
4
Suppose 0 = -d + 10 + 4. Suppose -9*k + d = 5*a - 5*k, a = -2*k + 4. Solve -3*x + 4*x - a = 0 for x.
2
Let b(c) = -c**3 - 11*c**2 - 9*c + 10. Let q be b(-10). Solve q*i = -4*i + 8 for i.
2
Let t be (-5546)/(-649) + 12/(-22). Solve 3*u + t - 5 = 0 for u.
-1
Let r = -6 + -3. Let s be (-2)/(6/r) + 12. Suppose 0 = 123*v - 125*v + 16. Solve v*n + s = 3*n for n.
-3
Suppose -4 = 2*l - 4*l, 2*o - 56 = -5*l. Solve -13*m - 3 = o for m.
-2
Suppose 24 = 95*v - 89*v. Solve 12 = -10*w + v*w for w.
-2
Suppose -3*s - 6*a + 4*a = -66, 3*s + 5*a