4 + r for q.
1
Let f(n) = 4*n**2 - 1. Let b be f(1). Let p(s) = s + 3. Suppose -2*j = -3*j - 3. Let h be p(j). Solve -3*c + 0 + b = h for c.
1
Let j be (6/12 - (-3)/(-14))*7. Solve j*k + 1 = -3 for k.
-2
Let o(m) = m**2 - 2*m - 3. Let w(g) = -2*g - 9. Let r be (14/4)/(1/(-2)). Let d be w(r). Let k be o(d). Solve -3*j + k = -0*j for j.
4
Let l = 91 + -89. Let z = -5 - -8. Solve -u = l*u - z for u.
1
Let c be 15/(-10)*2 + 7. Solve -c*z + 4 = -8 for z.
3
Let j = -37 + 42. Solve -2*k - 3 = -j*k for k.
1
Let s(x) = -x + 4. Let w be s(3). Let h = w - -3. Solve -h*p = -0*p for p.
0
Suppose -3*y = -y - 20. Suppose 9*i - y = 4*i. Solve -i + 10 = 2*q for q.
4
Let z = -4 - -8. Solve 7 = -z*p + 3 for p.
-1
Suppose -5*v = -7*v + 4*m + 8, -5*m - 10 = 4*v. Solve l - 6*l = v for l.
0
Let a = 2 - 1. Let p be (6/16*4)/(4/8). Solve -p*g = -2*g + a for g.
-1
Let y(h) = -5*h**2 + 3 - h**2 - 9*h + 8 + 7*h**2. Let m be y(8). Solve -6 + 0 = -m*s for s.
2
Let j(l) = -l + 6. Let c be j(6). Suppose 2*w = -t + 5, 15 = 3*t + w - 2*w. Suppose -f - s - 11 = 2*s, c = -3*f + t*s + 37. Solve 5*o + f = 9*o for o.
1
Let h(b) = -b**3 + 2*b**2 - 2*b - 2. Let l be h(2). Let d be ((-16)/12)/(2/l). Solve -2*v + 8 = -d*v for v.
-4
Let y(j) = -j**3 + 5*j**2 + 7*j - 6. Let a be y(6). Let q be (a - 3) + 4 + 2. Solve q*k + 12 = -k for k.
-3
Let u(y) = -y**2 - y + 3. Let r be u(4). Let t = r - -24. Solve 5*z - t = 3 for z.
2
Let q = -21 - -56. Let u be (-2)/(7/(q/(-2))). Solve u*l + 12 = -3 for l.
-3
Let h(z) be the first derivative of z**4/12 - 7*z**3/6 - z**2 - 2. Let o(p) be the second derivative of h(p). Let f be o(5). Solve q - f - 1 = 0 for q.
4
Let v(z) = -2*z**2 - 26*z - 24. Let c be v(-11). Solve 0 = -5*s + c for s.
4
Let a be ((-9)/6)/(6/(-16)). Suppose -a*z + 4 = -4*l, -2*l - 7 = -3*z - 4. Solve p = -l*p - 2 for p.
-2
Suppose -g + 14 = 5*w, 0 = -5*w - 3*g + 7 + 5. Suppose -2*t + 7*t + w*x = -53, x = 4*t + 39. Let n be ((-5)/(-2))/((-5)/t). Solve 16 = -n*o + o for o.
-4
Let m = 3 + -3. Let o = 21 - 18. Solve o*w - 4 - 11 = m for w.
5
Suppose d = 4, 5*c + 3*d - 76 = c. Let i = 21 - c. Solve -i = -0*h - h for h.
5
Let h be 6 - 4 - (0 - 7). Let o be (6/h)/(1/6). Let z = o - 4. Solve -s = -z*s for s.
0
Let h(l) = -l**3 - 6*l**2 - 6*l + 1. Let i be h(-5). Suppose -t + 8 = 3. Suppose -d - t = -i*d. Solve -a + d = -2 for a.
3
Suppose 5*q + 2*c = -10, -3*q + c - 8 = -2. Let l be ((-3)/q)/(21/224). Solve -l = -k - 3*k for k.
4
Let g = 62 - 42. Suppose -3*p + 26 + 4 = -a, 3*a = 2*p - g. Solve -3*c - 2*c = p for c.
-2
Let h be ((-19)/(-114))/((-2)/(-24)). Solve -3*f = -h*f - 3 for f.
3
Suppose 0*w - 92 = -5*q + 3*w, w - 60 = -4*q. Solve -3*g - 1 + q = 0 for g.
5
Let j(v) = v**3 + 7*v**2 + 7*v + 9. Let k be j(-6). Let g be k + -1 + (-18)/2. Let i = g + 13. Solve -4*o = 14 + i for o.
-5
Let b = 4 + -2. Suppose 1 = f + 2*d, -5*d + 3*d = -b*f + 8. Let q(r) = r**3 - 11*r**2 - r + 11. Let w be q(11). Solve w = -f*m + 12 for m.
4
Suppose -32 = -2*d - 4*s, 3*d + 3 + 4 = 5*s. Solve -1 = -5*h - d for h.
-1
Let k = -5 - -15. Let p(m) = -m + 0*m + 9 + 6. Let b be p(k). Solve -b*u - 2 = 23 for u.
-5
Suppose 6*l - 17 = 7*l. Let y = 23 + l. Solve -6 - y = 4*h for h.
-3
Let r = 6 - -1. Let y(m) = m**2 - 7*m + 6. Let v be y(6). Suppose -3 - 6 = -3*f. Solve v = r*t - f*t for t.
0
Let l = 7 + -12. Let z be 0 + (-4 - -1) - l. Let m be (-13)/(3/(-6)*z). Solve -2 = 3*b + m for b.
-5
Let b = 11 + -6. Suppose 2*z - 22 = -3*o - 3, 5*z + o - 28 = 0. Let y = z - b. Solve y = u - 5*u - 4 for u.
-1
Let m(n) = n**3 - 3*n**2 + 2. Let y be m(2). Let t = 4 - y. Suppose 0 = -t*c + c. Solve -g + 0*g = c for g.
0
Let d be (-6)/4*(-4)/3. Suppose -2*x = x - 6. Let w(j) = j**3 - 2*j**2 - 2*j + 1. Let c be w(3). Solve x = -d*q + c for q.
1
Suppose -x + 4*x = 0. Suppose 5*c = c + 8. Suppose -g = -4*t - 18, -3*g + 2*t + 22 = -c*t. Solve -z + g = -x for z.
2
Let l = 8 - 4. Let y be 2/8 + 3/l. Let u be -1 + y + (0 - -6). Solve -k + 1 = u for k.
-5
Suppose 0 = -2*z - 5*a - 6 + 20, -5*z + 4*a = -2. Let u(m) be the first derivative of m**3/3 - m**2/2 + 2*m + 2. Let o be u(2). Solve -z = 3*t - o*t for t.
2
Let j(o) = -o**2 + 5*o + 3. Let c be j(5). Suppose 5 = c*t - 1. Let a(h) = -h + 1. Let d be a(-2). Solve x - t*x + d = 0 for x.
3
Let b(z) = z**3 - 5*z**2 + 6*z - 3. Suppose 3*w + 4 = 4*w. Let l be b(w). Solve 0 = l*o - 4*o - 4 for o.
4
Let l(j) = j - 1. Let o be l(3). Suppose 0*w = -3*w + 9. Let k = w + -1. Solve k*u = -o - 2 for u.
-2
Suppose 5*k - 14 = 6. Suppose -3*o + k*t - 13 = 1, -2*t = o - 12. Solve o*f = -3*f for f.
0
Let q = 14 + -12. Suppose -q*r - 3*r = 0. Solve -4*h - 12 = -r*h for h.
-3
Let y(f) = f**3 + 8*f**2 + 6*f + 1. Let x be y(-7). Suppose -g - 4 + x = 0. Suppose 2*d - 1 = 3*a, -4*d - 2*a + 6 = -20. Solve -g*z = -d*z for z.
0
Let w(c) = -c**3 - 5*c**2 + 6*c + 6. Let l be w(-6). Suppose l*q = q. Solve q*a - 2*a = 6 for a.
-3
Let j(a) = a + 5. Let d be j(-5). Suppose 5 = -2*z - 3. Let n be (-10)/z + (-1)/2. Solve -n*r - 4 + 2 = d for r.
-1
Suppose -5*n - 3*y = y - 5, n + 3*y = -10. Suppose -2 - 8 = -n*t. Solve t*v - 10 = -3*v for v.
2
Let p(b) = -b**3 + 7*b**2 - b + 7. Let q be p(7). Suppose -5*i - 3*v = 2*v - 15, -12 = -4*i - 5*v. Solve q = 3*j + i for j.
-1
Suppose -p + 3*n = 2*p - 12, -2*p - 2*n = 0. Suppose p*w = w. Suppose w = -7*r + 3*r. Solve r*i + 4 = -i for i.
-4
Suppose -3*d = 5*a, 2*d + d = 0. Suppose a = b - 14 - 2. Let r be 0 + 2 + b*1. Solve 4*m = r + 2 for m.
5
Let u(d) = 2*d + 3. Let n be u(3). Suppose 19*h = 15*h. Solve h*w - n = -3*w for w.
3
Let n = -21 + 24. Solve -n*d - 15 = 2*d for d.
-3
Suppose 10 - 25 = -5*h + j, -9 = -3*h + j. Suppose -z + 4*u = -6, -u - 2 = h*z - 7. Solve 2*p - 3*p = -z for p.
2
Suppose 5 = -2*d + 13. Solve -d*p = p for p.
0
Suppose 0 = z + 23 - 23. Solve i + 3*i = z for i.
0
Suppose -1 - 2 = -l. Suppose y - 5*y = -12. Suppose -3*m + u - y = 0, -2*u - u = -2*m - 9. Solve m = f - 2*f + l for f.
3
Let a = -3 - -9. Suppose -3*i - a = -3*x, 3*i + 0 = x - 6. Solve x*s = 3*s for s.
0
Suppose -1 + 16 = 5*i. Solve -2*v - i*v = -10 for v.
2
Let r = 25 - 8. Let a(h) = -5*h**2 + 2*h - 1. Let m be a(3). Let u be (48/m)/((-2)/5). Solve -u - r = -4*f for f.
5
Let b(v) = v**2 - 7*v - 8. Let k be b(9). Suppose 3*j - 23 = d, 2*j - 17 = 3*d + k. Solve -l = -j*l for l.
0
Let h(q) = q**3 + 12*q**2 + 13*q + 11. Let a be h(-11). Let g(i) = -i - 8. Let r be g(a). Solve t = r*t for t.
0
Suppose 5*g = -5*a + 15, 5*a - g + 2*g - 3 = 0. Suppose -o + 1 = l, 0*o - 5*o - 2*l + 11 = 0. Solve o*h - 3 - 6 = a for h.
3
Let b be (3 - 1)/8*20. Solve o + 8 = b*o for o.
2
Suppose 3*q + 2 - 17 = 0. Solve -2*z + q*z + 15 = 0 for z.
-5
Let o be (0/(-6))/(1 - 3). Solve -4 = -a - o for a.
4
Suppose 0 = 2*u + 3*l - 26, 5*u - l - l = 27. Solve -u*n + 2*n = 0 for n.
0
Let y(c) = 4*c - 53. Let j be y(14). Solve j*i = -0*i for i.
0
Let a(j) = j**2 + 8*j + 8. Let m be a(-6). Let f = m - -7. Solve -r - f = -0*r for r.
-3
Suppose -11 = 4*u - 2*a - 1, 5*a - 25 = -5*u. Suppose g - 4 = -3*p - u*p, 4*g - 2*p - 16 = 0. Solve g*k = 7 + 5 for k.
3
Suppose 0 = n - 2*n + 2. Suppose 0 = n*s - 16 + 4. Let y = s - 4. Solve -y*q = -0*q - 4 for q.
2
Suppose 5*v - 3*v - 12 = 0. Let y(c) = -c**2 + 6*c - 2*c + 2*c. Let r be y(v). Solve 2*m + 8 = -r*m for m.
-4
Let n be (60/(-8))/(-1)*-2. Suppose -u - 16 - 6 = 0. Let f = n - u. Solve -f = 4*t + 9 for t.
-4
Let w = -19 + 19. Solve -y + w*y - 5 = 0 for y.
-5
Suppose 5*y - 5*d - 5 = 0, -17 = -2*y - 2*d - d. Let k(o) = -6*o. Let v be k(-3). Suppose 2*h + 3*n - 22 = 0, -2*h + v = -0*n + 2*n. Solve -y*z = z - h for z.
1
Let q = -27 + 35. Solve -4*c + 20 = -q*c for c.
-5
Let r = -11 + 15. Solve 0 = -0*p - p - r for p.
-4
Suppose -11 + 1 = -5*d. Suppose 0 = -d*o, -v + 3*o - o = 0. Solve v = -4*a - 0*a - 12 for a.
-3
Suppose 3*h - 4 = h. Let q be ((-10)/4 - 2)*h. Let u = 13 + q. Solve u*m = 2*m - 2 for m.
-1
Let x(n) = -2*n + 2. Let g be x(-2). Suppose 3*p - 5*p = -g. Solve 2 = -p*i + i for i.
-1
Let k = 10 + -10. Let m(v) = -v**2 - v + 1. Let t be m(k). Solve 0 = -5*s + 9 + t for s.
2
Let o(a) = a**3 + 4*a**2 - 6*a - 2. Let q be o(-5). Suppose 4*z + 5 = q*u, 2*u + 3*z - 10 = -z. Solve y - 2 = u*y for y.
-1
Let f = -19 - -19. Solve f = -2*k - 0*k - 10 for k.
-5
Let v be 35/5*(-12)/(-21). Solve -2*