olve c - 4 = 2*y for y.
4
Let o be (-1 - -3)/(10/25). Suppose 0*z - o*z + 20 = 0. Solve 6 = z*q - q for q.
2
Let t be (-44 + 26)/(3/10). Let n be 4/(24/11) - 10/t. Solve 0 = n*a - 4 - 4 for a.
4
Let j = -8 - -10. Suppose -5*g = 3*m - 3 - 5, -2*m - 28 = -5*g. Solve j = g*u + 14 for u.
-3
Let t = 953 - 941. Solve t = -10*f + 22 for f.
1
Let z be ((-4)/(-18))/((-188)/(-423))*4. Suppose 0*y = y - 5. Solve -y*p + 23 = -z for p.
5
Let c be (10 - 10) + -4*2. Let w = 16 + c. Solve 20 = -w*v + 3*v for v.
-4
Let b(u) = u**3 - 3*u + 2. Suppose 0 = 4*g - 5*v - 18, -16 = 4*g - 7*g + 5*v. Suppose 2*a = a + g. Let o be b(a). Solve -y = o*y for y.
0
Let h = -19 + 20. Suppose 0 = -2*y - 5*o + 5 - 0, 4*o - h = -y. Let j = -8 - -9. Solve y*d + j = 6 for d.
1
Let i be 4/6 + (-8)/12. Let k(g) = g**3 - 4*g**2 + g. Let n be k(4). Let c be n/6*(-9)/(-1). Solve 2*f - c = -i*f for f.
3
Let z be 112/42 - (-2)/6. Suppose t - z*t = -32. Solve -t = -2*r - 2*r for r.
4
Suppose -5*s + f + 3*f = -7, 4*f = -5*s + 23. Suppose -2*k + 15 = s. Suppose 4*m = m + k. Solve 2*r + m = r for r.
-2
Let d be (-52)/(-5) + 3/5. Suppose 0 = -6*m + 35 - d. Suppose m*p - 10 = -2*x, p + 2*x + 20 = -3*x. Solve 0 = 2*t - p*t - 12 for t.
-4
Let d = -465 - -467. Solve -9*t - d*t = 0 for t.
0
Suppose 4*f + 2 = -2*y, -y = 4*f - 6*y - 19. Let b(c) = -3*c + 18. Let r be b(5). Suppose 2*g - r = f. Solve g*m - 4 - 4 = 0 for m.
4
Suppose -k = 4*m - 44 + 18, 0 = -2*k + 4*m - 8. Solve -1 = -f - k for f.
-5
Suppose -5*p - d = 4*d - 45, 5*p + 4*d - 42 = 0. Suppose 4*w - w = p, 3*o + 5*w = 16. Solve 4*c = o*c for c.
0
Suppose -f + 4*f - 6 = 0. Suppose -s = -f*n + 4, -3*s + 0 + 4 = 2*n. Solve 2*o + 4 = n for o.
-1
Suppose -2*u - 5*s + 9 = 0, -2*u - 4*s = -3 - 7. Solve u*h = h - 12 for h.
-2
Let f(k) = -k**2 - 59*k - 779. Let d be f(-39). Suppose 3*n = 8*n. Solve -2*a + d - 5 = n for a.
-2
Let j(w) = -w**3 + 7*w**2 - 11*w + 10. Let c be j(4). Solve 0 = h + 12 - c for h.
2
Suppose y = -y - 8. Suppose -8*o - 4*b + 60 = -3*o, -3*o + 49 = 5*b. Let w = y + o. Solve -w*d + 0*d = -4 for d.
1
Suppose 0 = -0*o + 2*o + 2*u, 4*o + 5*u + 4 = 0. Suppose 3*p - 14 = o. Suppose -4*q - 12 = 0, 0*q + 21 = 3*n + 2*q. Solve 5*w - p = n for w.
3
Let o be (4 - (-45)/(-20))*(0 + 4). Solve -3*r = -r - o*r for r.
0
Suppose 2*l = -4*a + 238, 48 = -3*a - 2*l + 226. Suppose 54*c = a*c. Solve -2*t - 1 + 3 = c for t.
1
Suppose 2*h = 2*j + 10, 3*j + h - 3 = -18. Let w be (0*j/20)/(-3). Solve 5*x + w*x - 25 = 0 for x.
5
Suppose 35 = -6*c + 53. Solve 0 = -c*f + 6*f + 15 for f.
-5
Let i be (10 - 10)/(9/1). Solve -4*l - 2*l + 6 = i for l.
1
Let z be -2*2*(0 + -1). Let i be 7/(-7)*(-1 - (0 - 1)). Let f be (-2)/4 + (-10)/(-4). Solve i = -0*w + f*w - z for w.
2
Suppose 5 = 5*d - 5. Let i(r) = -r**2 - 6*r - 5. Let u be i(-5). Suppose u = 4*p - 2*p - 4. Solve -p*z - 2 = d for z.
-2
Let f be (-5)/(-30) - 2/12. Solve 0 = 6*x + 6 - f for x.
-1
Suppose 0 = -83*x + 123*x - 520. Solve x*o = 26*o - 39 for o.
3
Let g be (-27)/(-6)*(-4)/(-6). Let l be 1/g*60/4. Suppose l*c = c. Solve c*u = -u for u.
0
Let b(l) = l**2 - 102 + 12*l + 118 - 4*l. Let q be b(-5). Solve 4*t = q + 7 for t.
2
Let l = 296 + -294. Let n = 3 - 2. Solve 0 = l*g + 5 - n for g.
-2
Let s = 87 - 83. Solve 3 + 1 = s*g for g.
1
Let r = -2 - -8. Suppose 2*w + w = r. Suppose -w*f = -0*f - 6. Solve u + f*u = 0 for u.
0
Let l be -19 + -4 - 0/(-1). Let w = -19 - l. Suppose -3*q = -w*b - 20 + 53, -3*q = 9. Solve -b*m + 5 = -m for m.
1
Let n = -10 - -2. Let p = n - -12. Suppose 4*h + 3*k = 21, 4*h + 6*k - 7*k = 9. Solve 10 = h*v + p for v.
2
Let f be (-3)/6 - 1/(-2). Let p be 3 + (-1980)/75*(0 - -5). Let c = p + 131. Solve f = -7*s + c*s for s.
0
Let r be 2/13 + (-45)/39 + 1. Suppose -4*z = -3*m - 8, -2*m + 2*z - 8 + 4 = r. Solve 2*d + d + 6 = m for d.
-2
Suppose -4*t = -15 - 5. Suppose -q + 4*z = 3*q - 28, z - t = -5*q. Solve -2*k - q*k = 4 for k.
-1
Suppose -2*f - 3*w = w + 176, -4*f + w - 361 = 0. Let b = 94 + f. Solve -5*d + b*d = -3 for d.
3
Let m = -21 - -28. Suppose 0 = -m*i + 11 + 10. Solve -i*o - o = -16 for o.
4
Let w be (7/(-2) - 2) + (-3)/6. Let o be (-1)/w + -59*6/(-36). Solve 6*r = 4*r - o for r.
-5
Let s be (1/2)/(12/408). Solve -7*l - s = -31 for l.
2
Let l(a) = 12*a - 202. Let g be l(17). Solve -8 = 3*f - g for f.
-2
Let z = 6 - 6. Let v be (-2)/(-6) - (-105)/9. Let l = v - 9. Solve l = -z*a - a for a.
-3
Let q(f) = -f**3 + 6*f**2 + 37*f - 12. Let d be q(-4). Solve -15*z + 7*z + 24 = d for z.
3
Let x(p) = -p**3 - 9*p**2 + 9*p - 72. Let z be x(-11). Solve -66*t = -z*t + 20 for t.
4
Let a(d) = -d**3 - 14*d**2 + 33*d - 32. Let m be a(-16). Let p be ((-10)/4)/(20/m). Solve b = p*b for b.
0
Let b(d) = -3*d**3 + 6*d + 0*d**2 + 2*d**3 - 7*d**2 + 11 - 10*d. Let k be b(-6). Let z = 6 + k. Solve 0 = -z*j - 0*j - 25 for j.
-5
Suppose -5*i = -5*y - 80, 2*y = -i - 2*i - 57. Let f = y - -41. Solve -s + f = 4*s for s.
4
Let r(m) = m**2 + 18*m + 84. Let l be r(-12). Solve -17 = -b - l for b.
5
Let j(f) = -f**2 - 4*f - 2. Let v be j(-9). Let z = v - -51. Solve 0 = 3*r - z*r + 5 for r.
5
Let h = -448 + 450. Solve 0 = h*j + 6*j + 8 for j.
-1
Let g(q) = 42*q + 2. Let i be g(1). Let r = -24 + i. Suppose j + 5 = -5*h, 2*j + 0*h - 2*h = 2. Solve 4*c + j*c - r = 0 for c.
5
Suppose 28*y = -37 + 149. Solve -y*k - 9 - 3 = 0 for k.
-3
Suppose 3*l = 2*l + 3. Suppose 7*i + 72 = 16*i. Suppose 2*k + 2*f + 4 = 0, -i*k + 4*f = -11*k - 10. Solve -l*a - 5 = k*a for a.
-1
Let c(d) = d**3 - 3*d**2 - 2*d - 4. Let w be c(4). Let s be w - 2 - (-3 + 1). Suppose 2*q + 6 = 5*y - 17, -s*y + 24 = -3*q. Solve y*v + 0*v + 12 = 0 for v.
-4
Let w be 4/14 - (-1040)/182. Solve g = 3 - w for g.
-3
Let y(h) = 7*h - 84. Let f be y(12). Let c(s) = -2*s - 13. Let t be c(-9). Solve l - t = -f for l.
5
Let o(s) = s**2 + s + 3. Let x be o(-2). Solve -t + 3 = x for t.
-2
Let p = 51 + -46. Let x(s) = -s**2 + 4*s + 13. Let j be x(p). Solve -2*f - j = -4*f for f.
4
Suppose -4*n - 4 + 0 = 0. Let h(c) = 11*c**2 - c - 2. Let j be h(n). Suppose -3*v + 6*v - j = s, -4*v + 8 = -4*s. Solve 0*y + v = -y for y.
-4
Let q be 2 - (-1)/(-1*4/8). Suppose -5*b = q, 3*b - b = -2*r + 6. Solve 3*w + r = 9 for w.
2
Suppose 7*j + 3*k = 5*j + 25, 15 = 5*k. Solve 18 = j*t + t for t.
2
Let q be 12/3 - 0 - 4. Let n = q - -8. Suppose 0 = -7*g + 3*g + n. Solve 4*b - g*b = -8 for b.
-4
Suppose 16*c - 11*c + 11*c = 0. Solve c = 66*u - 64*u - 2 for u.
1
Let d = -65 - -22. Let l = d - -49. Solve -l*m - 25 = -m for m.
-5
Let y(x) = -22*x + 422. Let z be y(19). Solve -15*s + 55 = -z*s for s.
5
Let x(q) = -5*q - 9. Let b be x(-3). Solve b + 2 = -4*h for h.
-2
Let m be 2/8 - 196/(-112). Suppose 0 = 2*t + 2*o + m, 3*o = -8 - 4. Solve -t*z - 6 = -3 for z.
-1
Let i(q) = -q + 19. Let y be i(3). Let t = 20 - y. Solve -t*o - 12 = -o for o.
-4
Let l(u) = -2*u - 5. Let w be l(2). Let c be 2 + (-1 + 2/(-2) - w). Solve -4*n - 1 = -c for n.
2
Suppose 2*v + 6 = 4*a, -4*v - 3 = a - 3*v. Let i = -22 + 22. Suppose j + 5*l + 24 = 0, -4*j - j + 4*l + 25 = i. Solve -j = d - a for d.
-1
Suppose 4*k - 29 = -7*x + 4*x, 4*x - 22 = -2*k. Solve k*y - 22 = -6*y for y.
2
Suppose -55*y + 53*y + 4 = 0. Suppose -y*z + 4 = 4*q - 4, 4*q + 5*z = 8. Solve -q*h + 11 = 1 for h.
5
Suppose -5*v = 3*y + 4, 0*v = -3*v - 6. Solve -y*j = 6 - 2 for j.
-2
Let j = -72 + 8. Let x = -62 - j. Solve 3*n = 4*n + x for n.
-2
Suppose 0 = -52*p + 48*p + 12. Solve 5*h - p = 2*h for h.
1
Suppose 4*c + v - 26 = 0, 5*c - 2*v = 3*c + 18. Suppose -2*j + g + 41 = -4*j, 0 = 2*j + 3*g + 39. Let z be (-1)/(-3) + c/j. Solve -3 = 3*i - z for i.
-1
Suppose -2*k = 4*f - 22, 0 = k - 1. Solve 0 = -a + 2*a + f for a.
-5
Let d(t) be the first derivative of -t**4/4 - 2*t**3 - 5*t**2/2 + 6. Let m be d(-6). Let i = -26 + m. Solve 9 = i*n + 1 for n.
2
Suppose 0 = -5*w - 4*c + 13, 2*w - c + 2 = 3*w. Suppose r - w*r = -8. Solve 7*h = r*h for h.
0
Let g be (16 + -1)*12*4/30. Solve 6*z + g = -0*z for z.
-4
Let w(o) = o - 2. Let f be w(0). Let l be (2 + 3/f)*10. Let j = -5 + l. Solve j = 3*h - 4*h + 4 for h.
4
Let d = 422 + -415. Solve -d + 0 = 7*z for z.
-1
Let p be (-15)/4 - (-6)/8. Let i = 7 - p. Suppose 0 = 3*u - i + 4. Solve 0 = -u*d + d - 3 for d.
-3
Suppose -3*k + 12 = 4*s, 15*k - 11*k - s = 35. Solve k = 4*g - 0 for g.
2
Let f(g) = -g**2 - 23*g 