p for p.
4
Let h be (1 - 27)*3/(-2). Let b = -35 + h. Solve -4 - 4 = -b*g for g.
2
Suppose u - 5*v = -16, 2*v - 61 = -5*u - 33. Suppose 20 = 2*m + 2*m. Solve u*d = m - 1 for d.
1
Suppose -h + 0*h = -12. Suppose -8*t = -h*t + 16. Let i be 48/9 - (-2)/3. Solve t = 2*f - i*f for f.
-1
Suppose 127*b - 126*b + 22 = -5*k, 3*b - 2*k = 19. Let q(d) = d**3 - 2*d + 1. Let c be q(1). Solve c = 2*f - b*f + 3 for f.
3
Let b(y) = -4*y**2 + 26*y - 30. Let j(u) = 7*u**2 - 52*u + 59. Let m(i) = 5*b(i) + 3*j(i). Let q be m(25). Solve -3 - q = -5*k for k.
1
Let t(i) = -i**3 - 5*i**2 - 2*i - 6. Let j be t(-5). Let g be ((-2)/4)/(j/(-144)*3). Solve -g*b = -2*b + 8 for b.
-2
Let v(k) = -5*k - 49. Let m be v(-10). Suppose 0 = 8*x - 7 - m. Solve x = -r + 2*r for r.
1
Suppose -8 = 7*c - 15*c. Solve 3*i = 2 + c for i.
1
Let l be (19/((-171)/(-12)))/(4/66). Solve -19 + l = -a for a.
-3
Let o(t) be the third derivative of -t**5/60 + t**4/3 - t**3/2 - 9*t**2. Let r be o(6). Suppose 10*s - r*s = 0. Solve m + s = -5 for m.
-5
Let u be 2 + (-7)/35*-10. Solve u*z - 15 = z for z.
5
Let v be (18/(-4) + 4)/(1/(-28)). Solve v*f - 17*f = 6 for f.
-2
Let t(q) = -q**3 + 20*q**2 - 21*q + 51. Let l be t(19). Solve -k = 10 - l for k.
3
Let p be ((-28)/4 + 8)*42. Solve -6 = -40*k + p*k for k.
-3
Suppose j + 62 = 66. Solve j*s = 8*s - 16 for s.
4
Suppose -22*m = -28*m + 42. Solve -m*l = -5*l for l.
0
Let b(o) = -28*o - 224. Let k be b(-8). Solve 6*p + 22 - 4 = k for p.
-3
Let x be ((-10)/6)/((-635)/6858). Solve -10 = -8*k + x*k for k.
-1
Suppose 53*g = 38*g + 420. Solve 0 = g*i - 23*i + 10 for i.
-2
Suppose 62*q = -3*q. Solve 6*s + 2*s + 8 = q for s.
-1
Let a(k) = 2*k - 3. Let r be a(8). Suppose 4*u - r - 7 = 0. Suppose -3*l - s + u = 0, 0*l = 5*l + 3*s - 3. Solve -4 = z + l*z for z.
-1
Suppose -15 = -t + 1. Let w = 2 - 8. Let q = w + 8. Solve q*h + t = -2*h for h.
-4
Let c(o) = 3*o + 30. Let k be c(-10). Let v be (2/(-3))/((-10)/45). Suppose 7 + 5 = v*d. Solve k*p - d*p = -12 for p.
3
Let s = 16 + -11. Suppose s*k + 2*a = 40, 2*k + 65 = 6*k - 5*a. Let i = 15 - k. Solve -i*t = 13 + 2 for t.
-3
Suppose 4*o + 3*m - 58 = 0, 2*o + m = 4*o - 24. Solve 6*y + 11 = -o for y.
-4
Let i = 65 - 37. Let o = i - 18. Solve 0 = -2*n - o for n.
-5
Suppose -2*j + 5 - 3 = o, 3*j = -4*o + 33. Suppose -4*w + 24 - o = 0. Solve -w*n = -2*n + 5 for n.
-5
Let k be 21 + 0 - (2 + -4 + 4). Solve -k + 4 = 3*x for x.
-5
Let w = -233 - -239. Solve w*g + 0*g = -6 for g.
-1
Let i = -153 - -156. Suppose 4*l - x = 4*x - 9, 4*x = -3*l + 32. Solve 1 + i = l*q for q.
1
Let q(a) = a**2 - 2*a + 3. Let j(h) = h**3 - 17*h**2 - h + 19. Let r be j(17). Let c be q(r). Solve k + 1 = -c for k.
-4
Let c be ((-18)/5)/(4/10). Let t = c + 13. Solve -t*a = -a for a.
0
Suppose -15*l = -197 - 238. Solve -3*w - 41 + l = 0 for w.
-4
Suppose 4*m - 8*m = -36. Suppose 51 = 5*p - m. Solve 2*i - p + 2 = 0 for i.
5
Let x(c) = 22*c - 7. Let f be x(1). Let o = 6 + -4. Solve -o*u + f = -7*u for u.
-3
Suppose 5*v - 2*v - 42 = -5*y, 2*v = 4*y + 6. Let g be ((-7)/7)/((-1)/v). Suppose 5*k = g*k - 8. Solve -k*j - 4 = -0 for j.
-2
Let u be (1 + -3)/(-2)*2. Suppose -4*k = 5*z - 90, 0 = k - 3*k - 3*z + 44. Solve -u*x + k = 3*x for x.
5
Let m be (-4)/(-10) + 27/(-5). Let v(t) = -4*t - 12. Let o be v(m). Let x be 15/60 - (-254)/o. Solve 5*y + 7 - x = 0 for y.
5
Let k = 240 - 235. Solve -15 = -k*g - 5 for g.
2
Let o = 14 + 48. Let m = -54 + o. Solve -5*t = 2 + m for t.
-2
Let j(l) = l**2 - 5*l + 9. Let k be j(4). Suppose -k*b - 5*p - 3 + 23 = 0, p = -2*b + 9. Solve -1 + b = -g for g.
-4
Let c be (-6)/18 + 430/(-6). Let a be ((-5)/(-2))/((-90)/c). Let b be 3/(-6) - (-2)/4. Solve a*n + b*n = 8 for n.
4
Suppose 0 = 110*w - 107*w - 3*f - 114, -5*w + 3*f = -182. Solve 2*d + w = 19*d for d.
2
Let k be ((-3)/(-2))/(9/18). Suppose -y - k = -6. Solve 4*x = x - y for x.
-1
Let p be (-1)/((-2)/2 - -2). Let s = 3 + p. Let j be 1/((-8)/12 - -1). Solve j*t = s*t for t.
0
Let z(q) = -q**3 + 2*q + 1. Let v be (-6)/(-4)*8/(-6). Let x be z(v). Suppose -2*i = -10, -k - 7*i + 2*i + 30 = 0. Solve -x*s = -4*s - k for s.
5
Let k(b) = 2*b + 5. Let r be 80/12 - (-1)/3. Let v(m) = -5*m - 9. Let a(c) = r*k(c) + 3*v(c). Let u be a(3). Solve u*l - 11 - 9 = 0 for l.
4
Let v be 2 + 12 + 4/(-2). Let i be (v/4)/(1/(-3)). Let f = i - -9. Solve 5*y = -f*y - 5 for y.
-1
Let b(r) = -r**2 + 12*r - 30. Let d be b(5). Solve -d*n = -10*n + 10 for n.
2
Suppose 4*o = -o - 115. Let g = o - -27. Solve -4*v - 16 = g for v.
-5
Let u(f) = -10*f + 54. Let d be u(17). Let w = -116 - d. Solve w = 4*t - 5*t + 5 for t.
5
Let d(m) = m - 1. Let x(f) = 7*f - 25. Let h(u) = -5*d(u) + x(u). Let p be h(11). Solve -p*g - 3 = 3 for g.
-3
Suppose -4*a - 2*a = -12. Suppose o - 4 + a = 0. Solve -o*q + 2 = -0*q for q.
1
Let t(b) = b**3 - 9*b**2 + 5*b + 2. Let r be t(4). Let i = 58 + r. Solve -2 + i = 2*s for s.
-1
Suppose -5*n + 4*n - 4*x = -19, 5*x = 2*n - 64. Suppose 0 = -b + 10*b - n. Solve a - 2 = -b for a.
-1
Suppose 7*a = 29*a - 220. Solve 15 = 5*u - a for u.
5
Let o be (1 + -7)*2/(-6). Suppose 5*h = 3*z - 15, z + h - 19 = -o*h. Let y be 45/z + 1/(-2). Solve -3*p + y = -5 for p.
3
Let t(b) = -b**2 + 16*b + 21. Let n = -6 - -21. Let q = 2 + n. Let g be t(q). Solve -i + g = -0*i for i.
4
Let n = 8 - -2. Suppose -o = -6*o + n. Suppose -l = -2*l + o, 3*l = 3*i - 9. Solve -2*r = -r - i for r.
5
Let q = -137 + 150. Suppose 2*k - 7 = 3*y, q - 35 = -5*k + 3*y. Solve 4*p - k = 9*p for p.
-1
Let n = 4 + -1. Let f be ((-3)/(-1))/(8 + -7). Let v be (f + -2)/(2 - 5/3). Solve 4*y - v = n*y for y.
3
Let d = -601 - -603. Suppose 5*x - 2*k - 4 = 3, 5*x - 19 = -k. Solve j + x = -d*j for j.
-1
Let k = -9 - -11. Suppose -2*s + f = -15, -22 = -3*s + k*f - f. Solve s*r - 3*r + 20 = 0 for r.
-5
Let m be 10/(-14) - (-22)/(-77). Let g be 4/(-6)*(-28 - m). Suppose 8 = 3*q + 4*n - g, -4*q + 3*n + 18 = 0. Solve -r - 2 = -q for r.
4
Let h(k) = 3*k**2 + 9*k - 21. Let n be h(2). Solve n*u + 40 = -u for u.
-4
Let d = 59 + -38. Suppose 5*i = d + 14. Solve -3*u + i*u = -8 for u.
-2
Suppose -25 = 5*n, -4*n = 4*x - 2*n + 26. Let m = -1 - x. Suppose -3*w - 4*r = -2*w - 16, m*r + 7 = 4*w. Solve -25 = d + w*d for d.
-5
Let f = -31 + 43. Solve f = 3*k + 27 for k.
-5
Let z be 0/((0 - 0) + -1). Suppose z = -2*y - 4*y + 18. Suppose -5*x = 2*o + 10, 2*x + x = 3*o - 6. Solve 0 = -o*m + y*m for m.
0
Let p = 16 + -11. Suppose 5*q + 148 = 38. Let f = q - -25. Solve -4*w + f = -p for w.
2
Let f = -194 - -196. Solve -f*l = l - 15 for l.
5
Let x(f) = 30*f**2 + 120*f. Let n be x(-4). Solve n = 9*p - 10 + 1 for p.
1
Suppose -2*q + 17 = -19. Suppose 5*i - q = 7. Suppose f + 3*f = -m + 16, -5*m + 20 = i*f. Solve b + f = -0*b for b.
-4
Let u be 1/((-9)/(-26) + (-8)/(-52)). Let a be ((-16)/(-48))/(2/(-6)). Let i be 7 - (-3 + (-1 - a)). Solve 0 = 4*y + i + u for y.
-3
Let i(h) = -h**2 - 13*h + 5. Let p be i(-13). Suppose p*m - 30 = -c, 2*c = 3*c - 3*m - 22. Suppose 26*l - c*l - 3 = 0. Solve l*z + 8 = z for z.
-4
Let o be ((-4)/3)/2 - 92/(-138). Solve 0 = 3*k - o for k.
0
Let c = 17 - 14. Suppose -2*p - 4*v - 30 = 0, -p + 3*v - 2 = c. Let t = 16 + p. Solve -t*u - 2 - 3 = 0 for u.
-1
Suppose -l - 28 + 29 = 0. Let v be l - 8/6 - (-36)/27. Suppose 0 = 2*i - 1 - 3. Solve v + 9 = i*d for d.
5
Suppose -8*o + 6*o = 4*s - 74, 75 = 3*s + 8*o. Solve -19*f + s*f = -4 for f.
2
Let n = 19 + -9. Let f be 2/n + 316/20. Let q = 7 + -3. Solve 0*t = q*t - f for t.
4
Let n be (-3)/(-2*(-4)/32*-3). Solve 0 = 2*s - 0 + n for s.
-2
Let x be (-249)/(-2)*16/24. Let l = x - 79. Solve -n - l*n = 0 for n.
0
Suppose -4*z - 2*z - 6*z = 0. Suppose z = -3*j + 5*d - 8 - 1, -4*j + 4*d = 4. Solve -j*w = w for w.
0
Let o(r) = r**3 + 10*r**2 - r - 3. Let u be o(-10). Solve 42 = -u*c + 21 for c.
-3
Suppose 2*z + 4021 = -5*f - 2*z, -3*f = -4*z + 2419. Let n be f/(-91) - 2/(-13). Solve n + 1 = 2*g for g.
5
Let o(w) = 4*w**3 - 30*w**2 - 16*w + 10. Let a be o(8). Solve 0 = a*k - 7*k - 6 for k.
2
Let j be -5 - -2 - (0 + -5 - 0). Solve j*s + 9 = 5*s for s.
3
Let i(k) = -k**2 - 11*k + 14. Let c be i(-12). Let h = 13 - 9. Suppose h = 2*r - 0. Solve c*q = -0 - r for q.
-1
Suppose 0 = -5*o + 20. Suppose -4 = -4*c + 2*u, -7*u + 3*u = o*c - 16. Solve -5 + 3 = c*v for v.
-1
Let c = 123 + -108. Let a be -2 - (-12)/5 - 6/c.