ve 0 = 4*a - d + 11 for a.
-2
Suppose -152 = -5*p - 52. Solve 5*q - p = q for q.
5
Suppose 10*p = 6*p + 8. Solve 0 = -3*y - p*y + 20 for y.
4
Let h(j) = j**3 + 3*j**2 - 2*j - 3. Let k be h(-2). Let u be -3*(-1)/(6/20). Solve 0*v - u = -k*v for v.
2
Let h = -28 - -28. Solve -3*c - 2 + 8 = h for c.
2
Suppose -2*y = 2*m, -6*m + 5*y = -3*m. Solve m = -p + 2*p + 1 for p.
-1
Let m be (-4)/(-16) - 22/(-8). Suppose -m*h + 15 = 3. Solve 8 = k + h for k.
4
Let c = 2 - 0. Suppose 0 = -c*n - 4 - 0. Let i = n - -3. Solve -4*u + 7 = -i for u.
2
Let o be 4/((-3)/(-9)*3). Solve 0 = -o*p - 4 for p.
-1
Let r(i) = 5*i - 1. Let y be r(4). Let o(n) = n**2 - 6*n + 2. Let w be o(6). Suppose w*k = -1 + y. Solve k - 25 = 4*q for q.
-4
Let v = 83 + -46. Suppose v = 3*y - y + 3*k, 0 = -3*y - 3*k + 57. Solve n = -3*n + y for n.
5
Let b be -1*(-2)/(-1) + 0. Let t(u) be the third derivative of -u**4/8 - u**3/3 + u**2. Let m be t(b). Solve 2*y = -m - 2 for y.
-3
Let v = 4 - 8. Let j(l) = -2 + 2 - 2 - l. Let i be j(v). Solve 3*q + 5 = i*q for q.
-5
Suppose 0*i = -3*i. Solve 0 = -i*r + 3*r - 3 for r.
1
Let v(t) = t + 7. Let b be v(-5). Suppose s - 8 = b*s. Let d be s/(-5) - (-4)/10. Solve 0 = h + d*h - 15 for h.
5
Let d = 35 - 31. Solve d = 2*o - o for o.
4
Let b(k) = k**3 - 9*k**2 - 11*k + 11. Let i be b(10). Solve 3*n = -i - 5 for n.
-2
Let l be (-1 + 3)/((-4)/(-22)). Let o = l - 11. Solve -y + 4*y = o for y.
0
Let k = 7 - 1. Suppose k = -v + 4*v. Solve -v*b = -b for b.
0
Suppose 4*v + 3*v + 7 = 0. Let f be (1 + v)/(-3 - 0). Solve f*l = -l for l.
0
Let w = 7 - -10. Let i = -6 + w. Solve -i = 5*b + 4 for b.
-3
Suppose 5*b - 17 = -s, -b = b - 4*s - 20. Let k be (-10)/(-25) + (-8)/(-5). Suppose 0*t + 4 = k*t. Solve 0 = -t*m + b*m + 4 for m.
-2
Suppose 4*u - 23 = 1. Suppose 0*b - u = -2*b. Solve b*w - 9 = 6 for w.
5
Suppose 4*i + 11 = 5*l, -2*i = -3*l - 0 + 7. Solve 0 = -l*m - 0 - 15 for m.
-5
Suppose -145 - 71 = -18*w. Solve 4*b - 4 + w = 0 for b.
-2
Suppose -2*o = 4*f - 16, -5*f - o + 16 = -f. Solve 3*q - f*q - 4 = 0 for q.
-4
Suppose -3*r + 2*r = -6. Let c be 15 + -14 - (-2)/2. Solve r = c*z - 0*z for z.
3
Suppose 17*l = 14 + 3. Solve 0*d = -d + l for d.
1
Let f be (5 + 1 + 4)*4/10. Solve f = p + 5 for p.
-1
Let y = -38 - -42. Solve 0 = y*g - g for g.
0
Suppose -2*i = 6, 0 = 5*j + 4*i - 8 - 70. Solve j = -4*a - 2 for a.
-5
Let r be -1 + 3 - (0 + 0). Suppose -3 = y + 2*b - 5*b, r*y - 5*b + 5 = 0. Let d be 6/(-9) + 16/6. Solve c + d = -y for c.
-2
Let y(x) = x**2 - 8*x + 10. Let k = 5 + 0. Suppose -29 = -3*c - 5*v + 2, 3*v + 29 = k*c. Let f be y(c). Solve -2*w - 15 = f*w for w.
-3
Suppose -5*t + 4*t = -2. Let y(r) = 4*r**2 + 2*r + 1. Let g be y(-1). Solve -g = t*f - 5 for f.
1
Suppose -6*j + 122 + 28 = 0. Solve -s + j = 4*s for s.
5
Suppose 77 = -2*w + 13*w. Solve 2*f - 10 = w*f for f.
-2
Let u(s) = s**3 - 4*s**2 + 2*s - 3. Let i be u(4). Let p = 89 - 84. Solve -p*b - i = -0*b for b.
-1
Let s be (-22)/(-4) - 11/22. Suppose 27 = s*b - 18. Solve 5*z = 11 + b for z.
4
Suppose -3*q - 35 = -5*n, 4*n - 13 = q + n. Let p be (q/(-2))/1 - 1. Solve 11 = -p*f - 5 for f.
-4
Suppose -13*c = -8*c + 25. Let f(o) = 2*o + 12. Let b be f(c). Solve 1 = -b*t - 1 for t.
-1
Let d = 39 - 21. Suppose 4*x - d = q, 6 = 2*x - 5*q + 3*q. Suppose 2*u - 5*j - 8 = u, -x*u = 2*j - 13. Solve 0 = -2*v + u*v for v.
0
Suppose 2*p = -2*p. Let h(x) = 0*x - x**3 + x + p*x**3 + x**2. Let a be h(0). Solve -2*y + 4*y = a for y.
0
Suppose 2*t = 1 + 7. Suppose 0 = -2*f - 4*y + 36, -t*f + 8*f - 3*y - 39 = 0. Solve -5*c - f - 13 = 0 for c.
-5
Suppose 5*k - 50 = 5*o, -o - 3*o - k - 20 = 0. Let l = o + 8. Solve f - l = -1 for f.
1
Let u(h) = 3*h - 5. Let k be u(4). Solve -16 + k = 3*r for r.
-3
Suppose 18 = 2*r - 3*s, 0*r - 4*s = 3*r + 7. Solve 2*h - r*h = 1 for h.
-1
Suppose 9 + 0 = 3*l. Suppose -2*i = -0*i. Solve -3*j + 3 + l = i for j.
2
Let f be 10/15 + (-8)/(-6). Solve -f*r - 4 = -2 for r.
-1
Let g(l) = l**3 + 6*l**2 + 5. Let a be g(-6). Let x be ((-1)/1 + a)/2. Suppose 0 = -4*f + 16, 3*f = x*d - d + 12. Solve -t = -d*t for t.
0
Let o = 15 - 11. Suppose 6*c - 62 = o. Suppose 5*a - 27 - 13 = -y, -5*y = 25. Solve 0 = -5*w + c + a for w.
4
Let u = 53 - 23. Suppose u = 5*d + 5*r, -3 - 16 = -4*d + r. Solve 4*k = d*k + 4 for k.
-4
Suppose -q + 30 = 4*q. Let v be (-16)/q*3*-1. Solve -3*p = -7*p - v for p.
-2
Let i(v) = 2*v**2 - 3*v. Let p be i(2). Suppose -p*z + z + 2 = 0. Solve 0*j = z*j + 8 for j.
-4
Suppose 4*h - 3*h = -4. Suppose 12 = 5*g + 5*v - 3*v, -2*v = 4*g - 8. Let k be (h + g)/((-2)/2). Solve 3*c = -k*c + 6 for c.
2
Suppose 0 = -2*w - 2*w. Suppose -2*m = -w*m. Let x = 1 + m. Solve -3 = 2*u + x for u.
-2
Suppose -5*r + 5 = -10. Suppose b = -r*b + 64. Solve -3*m - m - b = 0 for m.
-4
Suppose 0 = -2*a + 5 - 1. Solve -a*m = m - 3 for m.
1
Let b(s) = s**3 + 6*s**2 - 2*s + 5. Let z be b(-7). Let a be z/(-9) - 10/(-15). Solve a*n - 20 = -n for n.
4
Let l(r) = -3*r - 2. Let q be 1 + (2 + -2 - 1). Let v(y) = -y**3 + y**2 - 2. Let d be v(q). Let i be l(d). Solve 17 = i*a - 3 for a.
5
Let k = -13 - -18. Solve -2 = k*g - 7 for g.
1
Let a = 22 + -14. Let q = a - 5. Suppose q*m = -m + 24. Solve -l = l - m for l.
3
Let l be -3 - -5 - (-6)/2. Let w = l - 6. Let q = w - -1. Solve -3*f = -q*f - 15 for f.
5
Let j(z) = -z + 17. Suppose -5*k + 85 = -0*k. Let c be j(k). Solve c = -p - p - 10 for p.
-5
Suppose -9 = -5*q + 5*g + 16, -g = q - 1. Solve -4 = 2*j - q*j for j.
4
Let c = -15 + 17. Solve 3*q - c = q for q.
1
Let c be 9 - (1/(-2))/((-10)/60). Solve -5*j - c = -3*j for j.
-3
Let a = -50 - -54. Solve a = 7*x - 11*x for x.
-1
Suppose 2*z + 8 = 4*z. Solve 5 = -3*y - z for y.
-3
Suppose 0 = 4*d - 5*d + 8. Let a be 1 - (-6 + (-1 - 0)). Suppose -4 = -v - 3*v + h, -a = v + 2*h. Solve v = x + x + d for x.
-4
Let r be (-52)/(-14) - (-8)/28. Suppose -9 = -3*z + 2*o - 3*o, 0 = r*z - 4*o - 12. Suppose 5*d - d - 8 = 0. Solve d*s + z*s - 10 = 0 for s.
2
Suppose m - p - 7 = 2*m, 2*m - 3*p = 11. Let q be 5 - 0/(-5 - m). Solve 3 - q = -n for n.
2
Let d = -6 + 13. Suppose 1 = 2*v - d. Let y = -8 - -15. Solve -19 = v*s - y for s.
-3
Suppose c + 4*g - 1 = 0, -5*g - 2 - 2 = -4*c. Solve -c = 4*x + 7 for x.
-2
Let f(p) = -p**2 + p + 4. Let a be f(0). Let b(h) = a - 4*h - h**2 - 4. Let i be b(-3). Solve -5*n = -i*n + 2 for n.
-1
Let f(x) = x**3 - 5*x**2 + 6*x - 9. Let j be f(4). Let g be 4/(-14) - (-23)/7. Let b = g + j. Solve -b*z = -0 - 4 for z.
2
Suppose 5*c + f - 28 = -f, -19 = -3*c + f. Solve 5*r + c = -9 for r.
-3
Let o be ((-5)/((-30)/(-9)))/((-6)/16). Let l be 1/(2 - (-15)/(-9)). Let v(a) = a - 2. Let d be v(4). Solve l*z - o = d for z.
2
Suppose 5*s - 4*s - 15 = 0. Solve -s = 3*c - 0 for c.
-5
Suppose -3*v = -4*v + 1. Solve -s + 2*s + v = 0 for s.
-1
Let y = 3 + 1. Solve 0 = y*d - 10 - 2 for d.
3
Let a(i) = i**3 - 5*i**2 - 7*i + 6. Let q be a(6). Let j(z) = -z**2 - 7*z - 8. Let f be j(-6). Let m be 2/f*(q + 0). Solve m = 4*n + 3 + 5 for n.
-2
Let g = 25 + -23. Solve -4 = -g*u - 12 for u.
-4
Let q = 1 + 3. Solve q*g - 7*g - 9 = 0 for g.
-3
Let b = -8 + 8. Suppose b = -r - 3*r + 24. Solve -6 - r = -4*q for q.
3
Let c be -2*(-2 - -4) + 4. Solve -2*a + c = 10 for a.
-5
Let a(c) = -c**3 + 3*c**2 + 2*c - 3. Let k be a(2). Let o(b) = -27*b - 5. Let p be o(-7). Let y be p/32 - (-2)/8. Solve -16 = -k*q - y for q.
2
Suppose n + 2 = -6. Let p = n + 11. Suppose 3*k - 10 = 2. Solve 7*l = k*l + p for l.
1
Let p = 4 + -4. Suppose p = -v - 2*v + 15. Solve 14 = v*z - 11 for z.
5
Suppose 30 = 3*o + 9. Suppose v - o = -c - 2, 3*v - 15 = -2*c. Solve -15 = 3*k - c*k for k.
-5
Suppose -2*f + 4 = -3*j - 9, -5*j = 5*f + 5. Let d be 3 + 6*f/(-4). Solve -5*b = -d*b for b.
0
Suppose 3*t + t = 0. Solve q - 2 - 3 = t for q.
5
Let m = -1 - -5. Suppose m*i - 3*u = 22, 6*i - 18 = 4*i + 5*u. Solve i*d + 4 = -0*d for d.
-1
Suppose 2*p = -3*i + 8, -2 = -i - i - 3*p. Solve -i*a = a + 20 for a.
-4
Let d(c) = -c**3 + 10*c**2 - 9*c + 10. Let v be d(9). Suppose v = f + f. Suppose -f*p + 0 + 1 = -3*k, -19 = -3*k - 5*p. Solve -k*x + 10 = -x for x.
5
Let x = -32 + 18. Let q(k) = -k**2 - 15*k - 10. Let b be q(x). Solve -b*g = -7*g for g.
0
Suppose 6 = -i + 15. Suppose -i = -j - 1. Solve -l = l + j for l.
-4
Let o(a) = a. Let l(g) = -7*g + 8. Let p(i) = -l(i) - 5*o(i). Let w be p(5). 