 k(-21). Let n = x - -32. Solve 0 = -n*q + 4 for q.
2
Let w = 27 - 25. Let u = 15 + -8. Suppose u*c - 10 = w*c. Solve 0 = -2*r + c - 0 for r.
1
Let f = 19 - 7. Let b = f - 27. Let w = 17 + b. Solve 3 = -d - w*d for d.
-1
Let x(r) = r**2 + 3*r + 12. Let v be x(-4). Solve -v*i + 5 = -11*i for i.
1
Suppose -22 = 2*h - 4*n, -h + n - 8 = 2*h. Let f(p) = -9*p - 540. Let q be f(-60). Let l be h*((q - -4) + -5). Solve -r + 0 = l for r.
-1
Let d = 57 + -43. Solve -a + 8*a = d for a.
2
Suppose -3*w = -3*r + 36, 4*w - 30 = -4*r + 58. Let u = r - 9. Suppose -3*s + u*s = 0. Solve s = -m - m + 10 for m.
5
Let m(j) be the first derivative of -j**4/4 + 4*j**3/3 + j**2/2 - 6*j - 15. Let z be m(3). Solve 5*l - 1 + z = 0 for l.
-1
Let u = -199 - -202. Let s be 8/(-6)*(-30)/20. Solve u*f = -s*f for f.
0
Let y be 8/32 + 102/8. Suppose -2*o - 2*s = -0*s - 18, 3*o + y = 5*s. Let w be 0/(8/o) - -9. Solve -w = -p + 4*p for p.
-3
Let h = 13 + -13. Let n be (2 + 1 + h)*-1. Let m = 5 + n. Solve -m*r + 6 = -0 for r.
3
Let h = 13 - 13. Suppose 0 = -0*o - 4*o + 12. Suppose o = -2*x - 3*z, -5*x - z + 0 - 1 = h. Solve x = 3*c - 9 - 3 for c.
4
Let c = 33 - 27. Suppose 2*z + v = 13, -3*v - c = -z - 2*z. Solve -k - 4 = -z*k for k.
1
Let t be (-2)/12 - (-62)/12. Let x = -1 + t. Let v = 3045 - 3035. Solve -x*c = -2*c + v for c.
-5
Suppose 5*f - 4*f - 3 = 0. Let b(o) = o - 12*o**2 + 13*o + 50 - o**f - 37. Let x be b(-13). Solve x = 2*m + 1 - 3 for m.
1
Suppose -60*r + 227 + 13 = 0. Solve 54*v + r = 53*v for v.
-4
Suppose 232 = -24*p + 304. Solve 23 - p = 5*s for s.
4
Let t = 13 - 9. Suppose t*o - 39 = -5*y, 0*y = 5*o - y - 27. Solve 0 = -k + o*k + 15 for k.
-3
Suppose 5*t - 6*q - 2 = -4*q, -3*t + 2*q - 2 = 0. Let p(h) = 2*h + 6. Let l be p(t). Solve r - 3*r - l = 0 for r.
-5
Let o = -12 - -12. Suppose 4*i - 16 = p - 5*p, 2*i - 2*p = o. Solve -4 = 2*w + i for w.
-3
Let u(s) = -3*s**2 - 19*s - 6. Let q be u(-6). Solve -2*n = -q*n - 0*n for n.
0
Suppose -25 = -12*k - 1. Let l = -30 - -34. Solve -l - 2 = k*d for d.
-3
Suppose -4*p + 14 = -14. Suppose -2*s + p = -v, s - 7 = -0*s - 3*v. Let y = 19 + -16. Solve -s*g - 1 = -y*g for g.
-1
Suppose -2*g - 29 = -5*y, -y - 3*g = -3*y + 5. Let r = y - 1. Let a be (-1*1)/(r/(-30)). Solve a*o + 15 = -0 for o.
-3
Suppose 31 - 73 = -7*u. Let o be u + (-4)/1 - -3. Solve 2*q + o = -5 for q.
-5
Let k(i) = i**3 + 32*i**2 - 2*i - 64. Let l be k(-32). Solve l = -2*d - 2*d - 12 for d.
-3
Let d be -4 + -6 + 18 - 6. Solve 0 = 4*b - d - 2 for b.
1
Let p(j) = -9*j**2 - 27*j + 18. Let k(x) = 5*x**2 + 14*x - 9. Let u(y) = 7*k(y) + 4*p(y). Let h be u(-9). Solve -h - 7 = -5*c for c.
5
Let u be (24/15)/((-16)/(-20)). Solve -u*w + 3 = -3 for w.
3
Suppose 4*l + 4 = j, 0*l - l = 4*j + 1. Let h be 1/((-5 - -4)*l). Solve 2*u = h + 5 for u.
3
Let o = 6 + -4. Let t = 18 + -13. Suppose 0 = -4*s + 4, -f + 0*f - 1 = -5*s. Solve o = -f*b + t*b for b.
2
Suppose -4*b + 4 + 20 = 0. Suppose -2*o + 5*c - 13 = -o, 0 = 2*c - b. Solve 12 = -o*q + 2 for q.
-5
Let z be (-4 - (2 + -9)) + -1. Suppose -3*p + 10 = z*p. Suppose 5*o = 2*a - p, -2*o = -3*a + o + 3. Solve 0 = 2*c + a - 7 for c.
3
Let p = 5 - 7. Let b(z) = z**3 - 4*z**2 + 2*z + 2. Let j be b(2). Let f be (-4)/p*(-2)/j. Solve 4*q - f = -10 for q.
-2
Suppose -3*k - 9 + 15 = 0. Solve 4*d + 10 = k for d.
-2
Let g(a) = -4*a + 133. Let b be g(22). Solve 5*j = -4*j - b for j.
-5
Suppose 0 = 4*r - 60 + 48. Solve 0 = -2*v + v + r for v.
3
Let p(v) = -112*v + 22. Let l be p(0). Solve -l = -2*o - 28 for o.
-3
Let w = -16 - -9. Let i = -5 - w. Let u = 236 + -232. Solve 0 = u*p + i + 2 for p.
-1
Let z be ((-8)/(-28) + -1 + 1)*28. Solve 2*i = z - 0 for i.
4
Suppose 80 = -3*p + 83. Let f = p - -1. Solve 6 = -n - f*n for n.
-2
Let a(c) = -4*c - 17. Suppose 4 = 2*d + 18. Let j be a(d). Let y = j + -8. Solve 1 = q - y for q.
4
Suppose -4*t + 32 = -3*s, 3*t + 3*s = -0*t + 3. Suppose -5*h = 5*i - 25, 2*h - 14 = -t*i + 5. Solve i - 28 = 5*u for u.
-5
Let i = 24 - 12. Let b(t) = -t**2 - 2*t + 1. Let j(q) = -4*q**2 + 6*q + 7. Let n(k) = -3*b(k) + j(k). Let y be n(i). Solve 3*x = y - 1 for x.
1
Let v = 804 - 804. Let q(f) = -f**3 + 3*f**2 + 4*f + 5. Let o be q(4). Let n be ((-4)/(-2) + o)/1. Solve v = n*w - 3*w + 12 for w.
-3
Let v be ((-16)/10)/(4/20). Let a be v/(-12)*6 + -1. Solve -a*f = -f for f.
0
Suppose -i = 5*y - 347, 3*y - 34 = -i + 173. Suppose y - 30 = 2*l. Solve -2*w = -6*w + l for w.
5
Suppose 81 = -14*x + 23*x. Solve -2*k = k + x for k.
-3
Suppose -130 = -5*i - 5*j, 0 = 5*i - 6*i + 4*j + 21. Let b(h) = -h. Let z be b(-4). Solve -g - i = z*g for g.
-5
Let o = -1249 + 1251. Solve 3*x - o*x + 4 = 0 for x.
-4
Suppose -21 = -5*b - 16*b. Solve -3*o = 5 + b for o.
-2
Let v(k) = -71*k - 234. Let s be v(-4). Solve 72 - s = -11*g for g.
-2
Let r = -353 + 359. Solve -r*t - 12 = -0*t for t.
-2
Let x be (2/(8 - 4)*0)/1. Suppose 2*m - 7*m = x. Let a be (-4)/6 - (-64)/6. Solve -a = -2*g - m*g for g.
5
Suppose 2*w - 10 = 2*x, x = -w - 0*x - 3. Let q be w/(4/(-36)) + -4. Let b = q + 15. Solve -b*i = 1 + 3 for i.
-2
Let z = -236 - -240. Solve z*q = -0*q - 20 for q.
-5
Let r be (-2)/(6/(-45)) - (1 - 1). Solve 0*p - 3*p = -r for p.
5
Let c be 2*1/(-6) - (-198)/27. Let n = c - 4. Solve n*b = b + 8 for b.
4
Let a(p) = -p**2 + 6*p + 7. Let q be a(7). Suppose 3*t + q = 9. Suppose 4*u - 8*u - 3*g = -9, 0 = 3*u - t*g + 9. Solve v = -u*v - 1 for v.
-1
Suppose 3*i - 3 = 12. Let u be (-1)/(-3) - (-120)/18. Let t = 11 - u. Solve -t*g = -3*g - i for g.
5
Suppose 0 = 5*g + 20, 5*x - 2 = -5*g + 3. Suppose -o - 20 = -3*h, -o = x*h - 6*o - 50. Suppose 3*r - h*a = 34, 6*a + 32 = 4*r + 2*a. Solve -r*v - 2 = -v for v.
-1
Suppose 3 = -13*v + 16*v. Solve 26 = 5*o + v for o.
5
Suppose 0 = d - 5, -2*d = 6*u - 2*u - 122. Suppose 30*a - 24 = u*a. Solve 6*h = 3*h - a for h.
-4
Let f = -1788 + 1848. Solve 3*o = 15*o - f for o.
5
Let y be (10/3)/((-3)/((-27)/2)). Let n be 20/(-2*1)*-1. Let b = y - n. Solve -8 = -b*p + 17 for p.
5
Let d(q) = q**2 - 7*q - 6. Let c be d(8). Suppose c*h = 5*h. Solve h = -z + 3*z - 10 for z.
5
Let k(y) = -y**3 - 11*y**2 - 27*y + 4. Let d be k(-3). Solve -6*i - d = 5 for i.
-3
Suppose 4*f - 5*o = 73, -o = 2*f + 2*f - 43. Solve 6*w = 2*w - f for w.
-3
Let i = 15 + -6. Suppose -i - 15 = -4*r. Let v be (125/(-15) + 9)*3. Solve r*g + 20 = v*g for g.
-5
Let b be (-4)/7 - (-520)/28. Solve 3 = -b*h + 17*h for h.
-3
Suppose -24*o + 45 = -15*o. Solve -a = o - 8 for a.
3
Let s(h) = -h + 1. Let t = 30 - 35. Let m(x) = -2*x + 2. Let a(i) = t*s(i) + 2*m(i). Let q be a(4). Solve q = -0*k + 3*k for k.
1
Suppose 2*b - 2 = -0*b + 2*f, 2*b - 5*f = -1. Suppose 3*d - b*p = -7*p + 38, -4*d + 16 = -2*p. Solve 0*t = -2*t - d for t.
-3
Let p be -4*(0 - -3)/(24/54). Let o = 27 + p. Suppose 27 = 2*a + 7. Solve o = -f + 6*f + a for f.
-2
Let o(q) = -q**3 - 11*q**2 + 14*q + 8. Let b be o(-12). Let w = b - -27. Let d = w + -10. Solve -11 = -4*j + d for j.
3
Let o = -442 + 469. Solve -5*x + o = 4*x for x.
3
Suppose -3*k - 17 = -2, 4*z = -k - 5. Solve -g - 4*g = z for g.
0
Suppose 508 - 532 = -8*h. Solve -h*d + 16 = 10 for d.
2
Suppose -4*q + 114 = 5*r, -4*q = 2*r - 2*q - 44. Solve 0 = -3*l - r + 11 for l.
-5
Let q be 5 - 3 - 4*2. Let c = 9 + q. Suppose 6 + 0 = c*m. Solve 2 = -0*d - m*d for d.
-1
Let v = 242 - 236. Solve 18 = -12*s + v*s for s.
-3
Suppose -31*v + 5*t = -34*v + 14, -9 = -2*v - 3*t. Solve 3*x = v - 0 for x.
1
Let w be (-25)/30 - 1/6. Let o be 1 - (8/w - -1). Suppose o = 2*t + 2*t. Solve -t - 2 = -4*d for d.
1
Suppose 4*n + 20 = a, a - 4*n + 5*n = 0. Suppose 0*y - a*c - 6 = y, -2*c = 4. Solve -3*z = 10 + y for z.
-4
Let d be ((-18)/27)/(4/78). Let o(b) = b**2 + 10*b + 1. Let c(w) = -2*w**2 - 20*w - 3. Let i(v) = d*o(v) - 6*c(v). Let z be i(-5). Solve -10 + z = -4*s for s.
-5
Let g(o) = -o**2 + 7*o - 4. Let q be g(6). Suppose 0 = 3*r + 12, q = 3*b + 3*r - 4. Solve -y = -4*y + b for y.
2
Suppose -17*b - 4 = -19*b. Solve -8*t = b*t - 40 for t.
4
Let n(v) = -v**2 + 12. Let u be n(-3). Suppose 0 = -3*r + u + 18. Solve -2 = -p - r for p.
-5
Let g(l) = l**3 - 7*l**2 + 12*l - 6. Let f be g(5). Suppose 2 = f*c - 2. Let w = 1 - c. Solve 0 = -w*r - 5*r - 15 for r.
-3
Suppose 4*l = -2*l. Suppose t - 48 + 43 = l. Solve t*i - 5 = -0*i for i.
1
Suppose -5*u + 80 = 5*t, 59 = 2*u + 2*