 = 6*p - t for p.
1
Suppose 8*q + 12 = h + 3*q, -2*h - 5*q = -9. Solve -h*i - 24 = i for i.
-3
Let g = 312 - 287. Solve 0 = -6*t - g + 7 for t.
-3
Let x = -30 + 33. Suppose 31 - x = 7*h. Solve -h*y = -5 - 15 for y.
5
Suppose 0*z - 51 = -4*a - z, -5*a + 51 = -3*z. Suppose 7*x = 8*x - 5*i - a, 5*x - 18 = 4*i. Solve -x = -n - n for n.
1
Suppose 45 + 195 = 12*f. Solve -14*p + 18*p + f = 0 for p.
-5
Let u(n) = 3*n - 26. Let o be u(7). Let g = -8 + 3. Let b = g - o. Solve h + 5 = -b*h for h.
-5
Let q = -129 + 135. Solve 0 = 3*m - q*m + 15 for m.
5
Let t be (-12)/(-10)*(-110)/(-33). Solve 7 - 3 = t*l for l.
1
Let g = 283 - 263. Solve -4*u + 9*u = -g for u.
-4
Let s = -51 + 55. Let h be 26/s - 3 - 3/(-6). Solve h*i = 4 - 0 for i.
1
Let q(v) = 9*v - 13. Let f be q(2). Suppose -4*i + 80 = i. Suppose -h = -0*u + f*u - i, -u + 4*h + 20 = 0. Solve -u*k + 9*k = 15 for k.
3
Suppose -5*q = -4*s + 50, -3*s - s + 42 = -q. Let w = s - 1. Solve o - w = -2*o for o.
3
Let x = -33 - -42. Let b = x + 6. Suppose -2*k + 11 - 3 = 0. Solve -g - b = -k*g for g.
5
Suppose -5*r - 2*f - 141 = 0, 0 = r - 0*f - f + 31. Let h = 29 + r. Solve -k + 6*k - 15 = h for k.
3
Suppose -7*d + 111 + 15 = 0. Let z(m) = m**2 + 6*m + 4. Let a be z(-6). Suppose d - 2 = a*g. Solve -v + g = -5*v for v.
-1
Suppose 2*f = 3*v + 45, f - 19 = -0*f - 2*v. Let q = f - 16. Solve l - 4 = q*l for l.
-1
Suppose -5*l + z = -48, -5*z = -l + 12 + 12. Suppose -5*k + l = -4*t - 3, 4*k - 20 = -2*t. Suppose -2*s + x = 5*x - 24, -k*x = -16. Solve -s*q = q for q.
0
Let k(z) = 2*z**2 - 58*z - 57. Let o be k(-1). Suppose -3*h - h + 44 = 0. Solve -26 = o*c - h for c.
-5
Let t be (36/10)/((-4)/10). Let i be (-6)/((-6)/t*-1). Solve i*q - 20 = 4*q for q.
4
Let l(g) = -g. Let j be 800/56 + (-4)/14. Let n = j + -19. Let v be l(n). Solve v*m = 3*m + 10 for m.
5
Suppose -q = 3*a - 59, 2*q = 2*a - 3*q - 45. Let m be ((-2)/1)/(a/(-30)). Suppose -m = -2*s + 3. Solve -s*o - o = -20 for o.
5
Let j(k) = -k**2 + 10*k. Let s be j(10). Let w = s - -8. Solve 2*a + 2 = -w for a.
-5
Let k = 11 + -14. Let u be 3 + 2 + k - 7. Let i(y) = -y**2 - 5*y. Let s be i(u). Solve 0 = -s*v - v - 5 for v.
-5
Let c(h) = -h**3 + 8*h**2 + h + 11. Let t be c(8). Let p be -1 + (t - (-4)/(-4)). Suppose 3*l - 10 = -v, -2*l - 3*l + p = 2*v. Solve -4*m + l - 11 = 0 for m.
-2
Suppose -8*d = 68 - 380. Solve -4*n + 23 - d = 0 for n.
-4
Suppose 5*u = i - 2*i + 15, 0 = -5*i + 4*u + 75. Suppose 1 = a - i. Solve -2*o = 2*o - a for o.
4
Let i be (-2)/((-2)/(-1)) - -2. Suppose -4*a + 22 = -2*a. Solve 4*k + i + a = 0 for k.
-3
Suppose o - 58 = -4*i, -3*o = i + i - 124. Let w = o + -33. Solve -w*k = -3*k + 2 for k.
-1
Let y be (-2 - 5 - -3) + -3 + -96. Let j = y - -105. Suppose -2*s - 2*s + 8 = 0. Solve -4*f + j*f - s = 0 for f.
-1
Let c be 2/1 + (2 + 3 - -21). Solve -c*b - 5 = -29*b for b.
5
Let x be 28/6*6/4. Let z(w) = -2*w**2 + 7*w + 3. Let j(h) = 2*h**2 - 7*h - 2. Let k(a) = 3*j(a) + 4*z(a). Let d be k(4). Solve -25 = -x*f + d*f for f.
5
Suppose 5*x = -61 + 1. Let u = 14 + x. Suppose u*s = 4*s. Solve s = -2*v + 5*v + 9 for v.
-3
Let r(x) be the third derivative of x**4/8 - x**3/2 - 6*x**2. Let q be r(3). Solve 3 = -i + q for i.
3
Let y(u) = 98*u - 544. Let a be y(6). Solve 3 = -a*w + 41*w for w.
-1
Let v(i) be the third derivative of i**5/20 + i**4/8 + i**3/6 + 5*i**2. Let p be v(-2). Suppose p*l - 20 = 2*l. Solve -y = 3*y - l for y.
1
Let o = 32 - 28. Suppose o*i = 3*i. Suppose q + q + 2*t = 0, 0 = -2*q + t + 15. Solve q = -n - i for n.
-5
Let z = 437 + -429. Solve 0 = 3*m + z*m - 11 for m.
1
Let h = 108 + -4. Let t be 1/3 + (-28)/(-6). Suppose 0 = t*i - h + 4. Solve -5*s + i = -s for s.
5
Suppose 42 = 5*s + 17. Let f be -8*(s/(-2) - -2). Suppose 0 = 3*h - h. Solve h*i = -f*i for i.
0
Let r = -9 - -11. Suppose -f + 3 = -w - 0*w, 14 = 4*f - 2*w. Suppose f*l - 20 = -0*l. Solve -r*k = -l*k for k.
0
Let h = -9 - -3. Let c(w) = -7*w - 1. Let l(r) = 15*r + 2. Let n(i) = h*l(i) - 13*c(i). Let b be n(2). Solve b*x = 5*x + 6 for x.
-3
Let k(a) = -a**2 + 7*a - 2. Let m be k(3). Solve -16*j + m = -14*j for j.
5
Let g(y) be the second derivative of y**4/12 - y**3/3 + y**2/2 - 2*y + 7. Let v = 2 - 0. Let c be g(v). Solve -i + 3 = c for i.
2
Suppose 2*u - 4*h = -2, -38*u = -43*u + 5*h. Solve 6*x = -19 + u for x.
-3
Let h = 5 + -1. Let j = 2750 + -2750. Solve h = -j*q - q for q.
-4
Suppose -4*i - l = -23, -2*i + l = -i - 12. Let x(s) = s**2 - 10*s + 21. Let o be x(i). Suppose -21 = -3*t - 9. Solve 8 = -o*u - t*u for u.
-2
Let x(z) = 2*z - 18. Let q be x(17). Suppose 0 = -0*i - 8*i + q. Suppose v - i*v = -4. Solve -v = f - 1 for f.
-3
Let z(x) = x**3 - 7*x**2 + 4. Let o be z(7). Suppose 2*m + o = 4*r + 2, -4*r - 1 = -3*m. Suppose m*j = j + 12. Solve -2*l = -j*l for l.
0
Let b(y) = 7*y - 4*y**2 - 3*y + 3*y**2 + 0*y**2. Let w be b(3). Suppose 3*x + 9 = -4*q, w*x = 5*q - 3 - 6. Solve q = 5*o + 11 + 4 for o.
-3
Let l be (-13)/(4/(-16)*-2). Let k = 28 + l. Solve 0 = -k*x - 3*x + 25 for x.
5
Let t be 8/(-96) + (-185)/(-60). Solve 0 + 6 = t*k for k.
2
Suppose 0 = 9*d - 74 - 34. Solve -8*x + d = -4*x for x.
3
Let w(g) be the third derivative of g**4/24 + 2*g**3/3 - 16*g**2. Let h be w(-2). Solve t = -h*t - 15 for t.
-5
Let m be 5*(9/5 + -1). Let f(v) = -7*v + 37. Let s be f(5). Solve -m*l - 10 = -s*l for l.
-5
Let f be 24/(-5)*(-90)/27. Suppose 2*j - 31 = -3*r, j = 4*r - 2*r - f. Solve -4*h + h = -r for h.
3
Let g = -52 + 64. Solve 0 = 4*v - 32 + g for v.
5
Suppose -4*k + 4 = 3*i, -3*k - 12 - 10 = -4*i. Solve -i*l + 18 = -2 for l.
5
Let n = 25 - 15. Let x be (-306)/(-15) + (-4)/n. Suppose -274*j + 281*j - 21 = 0. Solve -x = j*m + m for m.
-5
Let v(u) = -u**3 - 14*u**2 - 2*u - 26. Let i be v(-14). Suppose 0 = 3*c, 2*c - 22 = -4*k - 2. Solve -i - 23 = -k*l for l.
5
Suppose -o = -f + 1, 7*f - 4*o = 4*f - 1. Solve -4*t = -25 + f for t.
5
Let j(h) = -3*h**2 - 4*h. Let s be j(-3). Suppose t - f = -8, 5*t = -2*f + 5*f - 42. Let x = t - s. Solve -x*d + d = -10 for d.
2
Let c = 323 + -317. Solve -15 = -c*r + 9*r for r.
-5
Let y(b) = -b**2 + 23*b - 22. Let p be y(22). Solve 2*s + s = p for s.
0
Suppose -5*z = 1 + 4. Let v be (z - 0)/(1/(-16)). Suppose v = 4*i, -8 = 4*r + i - 5*i. Solve -r*p - 4 = -0*p for p.
-2
Let t(o) = o + 4. Let r be t(-1). Solve -4*z - r = -7*z for z.
1
Let p be (-1)/11 + 2835/693. Solve 13*u = p*u for u.
0
Suppose -2*u + u = 3*v - 13, 3*v = 4*u + 23. Suppose -25 = -x - 4*x. Solve -6*g - x = -v*g for g.
-5
Suppose 3 = 5*j + 13. Let a be 0 + j - (-45)/9. Solve -a*x - 4 = 8 for x.
-4
Let z(j) = -j**2 - 3*j + 1. Suppose 6 + 4 = -5*h. Let r be z(h). Solve -r + 1 = t for t.
-2
Let r(n) = -n**3 - n**2 + 4*n + 4. Let a be r(-2). Suppose 10 = -0*s + 5*s. Suppose a = d - s*d + 4. Solve 3*f + 2 = d*f for f.
2
Let r = -181 + 184. Solve 3 + r = 6*u for u.
1
Suppose 0 = 4*h - 3*i - 35 + 10, 0 = -4*h + 4*i + 28. Suppose 0 = h*r - r. Suppose 2*c - c - 3 = r. Solve -3*a + 4*a + c = 0 for a.
-3
Let u(f) = f**3 - 6*f**2 + 7*f - 14. Let b be u(4). Let z be (-3 - 78/b)/(1/3). Solve z*i = -i for i.
0
Let y = -21 + 15. Let m be (y - 2/(-1))*-1. Suppose 1 + 15 = m*k. Solve 0 = k*g + g + 20 for g.
-4
Let o be (-15)/(-2) - (-3)/(-2). Suppose -p + o = -0*p. Let k = p - 6. Solve k = q + q + 2 for q.
-1
Suppose 0 = c - m - 1, 5*m = -5*c + m - 4. Suppose t - 3*t = -8. Suppose -j + c = -t. Solve -j*z = z for z.
0
Let r = 83 + -83. Let o be 2*(1 - 0)*1. Suppose o*y = -3*y. Solve y = -r*a + 5*a - 25 for a.
5
Suppose 2*d = -2*q + 5*q + 37, 0 = -2*d + 2*q + 40. Solve d*r = -91 + 22 for r.
-3
Suppose -4*a + 22 = 2*r, -17*a + 77 = 5*r - 18*a. Solve 30 - r = -3*s for s.
-5
Let k = 127 + -121. Solve k*l - l = -5 for l.
-1
Suppose 2*x + 0*a + 5 = 3*a, 3*x + 3*a = -15. Let i(t) = 2*t + 14. Let r be i(x). Solve h - r*h = -15 for h.
3
Let b be (-15)/(-9) + (-80)/(-60). Solve 19*j = 20*j - b for j.
3
Suppose 0 = 7*l - 51 + 23. Suppose 31*b + l = 32*b. Solve 3*u = b*u - 4 for u.
4
Let p be -147*((-4)/1 + (-5)/(-1)). Let n = p - -152. Solve 0 = c - 2*c - n for c.
-5
Suppose -5*f = -5*w + 585, -331 = -3*w - 9*f + 7*f. Suppose -w*c = -111*c. Solve 3*v - 3 = -c for v.
1
Let j(h) = -h**3 + 6*h**2 - 7*h + 5. Let u(r) = 10*r - 7*r - 2 + 3*r. Let m be u(1). Let y be j(m). Solve -2*b + y = -5*b for b.
-3
Suppose -116*l + 