 Let v(c) = 4*c**2 + 3*c - 2. Let r be v(1). Suppose -t = -g + z, 4*t + 4*g = r*g - 1. Solve -5*q - 11 - 4 = t for q.
-3
Suppose 0 = u + 2*g - 3 - 9, -3*u + g + 8 = 0. Let j be 2 + u*3/6. Suppose -4*r + 4*t - 12 = 0, j*t = 3*r - 5*r + 12. Solve r = -5*i + 5 + 10 for i.
3
Suppose 0 = 3*c - 0*c - 9. Suppose -17*z = -16*z - 10. Solve -c*b - z = -b for b.
-5
Let w(x) = -x**2 - 4*x - 3. Let u be w(-2). Let s be (-8)/(-3) - u/(-3). Let p be (-2)/7 + (-4)/(-14). Solve s*l + p*l = 6 for l.
2
Suppose 2*n = -3*p, p - 2*n - 8 = -0*p. Suppose 0 = -p*w - 2*w + 4. Solve 3*j - w = 2 for j.
1
Suppose a + 1 - 6 = 0. Suppose -a*r + 3 = -22. Solve r = 4*k + k for k.
1
Suppose 4*u = 4*v + 28, 7*v = 8*v. Solve -2*q + 10 = -u*q for q.
-2
Let s be -2 + 3 + 1 - -1. Let c(t) = t**3 - 2*t**2 + 2*t - 3. Let g be c(s). Suppose k - 5*n + 21 = 0, 3*k - 23 = -n - 6. Solve k*z = g - 0 for z.
3
Suppose 1 = -3*l + 16. Suppose -2*y + 5*y + 14 = l*m, -4 = -4*y + m. Let g be (4/6)/(y/9). Solve g = -t - 1 for t.
-4
Let w be (1/3)/(3/36). Let s be 22/w - 3/6. Solve 0*c + c = s for c.
5
Suppose -3*n + 0*n = 0. Suppose -j + 5*v - 21 = n, 3*j + 2*v - 13 = 9. Let m(l) = l**2 - 3*l - 6. Let r be m(6). Solve 4*i - r - j = 0 for i.
4
Let s = -2 - -4. Let c be s/3 + (-21)/(-9). Solve -2*w + c*w = 0 for w.
0
Let y be (-9 - -5) + (6 - 0). Solve -y*j - j + 6 = 0 for j.
2
Let t = -21 - -45. Let r = -1 + -4. Let w be (-2)/r + t/15. Solve 3*f + w + 1 = 0 for f.
-1
Suppose -o = 2*o. Solve -4*c - 13 + 1 = o for c.
-3
Suppose 3*g = 13 + 8. Let f = g + -5. Solve 2*v - v = f for v.
2
Suppose -3 = -z + a, -1 - 4 = z + 3*a. Let x = z - -6. Solve 2*h - 3 = x for h.
5
Let i be (-292)/(-18) + (-6)/27. Solve -5*z = -9*z - i for z.
-4
Suppose -h + 2 + 2 = 0. Let a be 22/(h + -2) + -3. Solve 3*o = 5*o + a for o.
-4
Let j(n) = -n**2 + 7*n - 6. Let y be j(4). Suppose 3*s = 3 + 9. Suppose -5*g + 2 = 4*u + 4, 0 = u + g. Solve y*w - u*w + s = 0 for w.
-1
Let s = 10 - 4. Suppose -3*m = -4*m - v + s, m - 5*v + 12 = 0. Suppose 3*g - m = 3. Solve g*j - 3*j = 4 for j.
-4
Let t = -3 + 8. Let m = 0 + 0. Solve 0 = -m*h - h - t for h.
-5
Let l be 13/3 - (-1)/(-3). Solve 14 = l*c - 6 for c.
5
Suppose -2 = 2*q - 8. Solve q*n + 5 = 8*n for n.
1
Suppose -2*a + 36 = -5*m, m + 2 = -a - 8. Let w = 22 + m. Solve 4*y - 6 = w for y.
5
Suppose 0 = 2*p - p + 3*a, -p = -2*a + 5. Let z(f) = -9*f + 5. Let n(s) = 4*s - 2. Let i(h) = 13*n(h) + 6*z(h). Let y be i(p). Solve y = -4*j - j for j.
-2
Let n be 4 + 0 + 2 + 3. Let c be 5/(-10)*(0 - 2). Let z(x) = 7*x - 1. Let q be z(c). Solve 0 = 3*h - n - q for h.
5
Suppose 5*w + 8 = 3. Let i = 3 - w. Solve -2*r - 2*r = -i for r.
1
Suppose 0 = 5*i - i - 16. Suppose 3*m - 21 = -5*u, -6*m + i*m = -3*u + 5. Let w be 3 + (1 - -1 - m). Solve -w*l = -3 + 12 for l.
-3
Let k = -7 + 10. Suppose a = 3 + k. Solve -u + 2 = a for u.
-4
Let x be (1/(-3))/(3/(-54)). Let z(m) be the second derivative of -m**5/20 + m**4/2 + 3*m**2 + m. Let f be z(x). Solve f*p - 16 = 2*p for p.
4
Let x(u) = u**2 - 3*u - 7. Let r(q) be the second derivative of -q**3/6 - q**2/2 + q. Let o(t) = -4*r(t) + x(t). Let v be o(-4). Solve -v - 11 = 5*g for g.
-4
Let k(y) = -y**3 - 3*y**2 - y - 1. Let b be k(-3). Solve 7*q - b*q = 20 for q.
4
Suppose -2*b - 2*h + 6 = 0, -6 + 18 = 4*b + 2*h. Suppose -b*g = -2*p + 13, 3*g + 0 + 3 = -3*p. Suppose w + p*w - 12 = 0. Solve 2*v - w = 4*v for v.
-2
Let z = 22 - 19. Solve z - 15 = 4*f for f.
-3
Let a be (4/(-3))/(6/(-63)). Suppose 2*s = -2*x + s, -3*s - a = -x. Let f(k) = k. Let w be f(x). Solve 3*h = 5*h - w for h.
1
Let q = 23 - 19. Suppose q*k = 2*k. Solve 2*l + 6 = -k for l.
-3
Let x be (-16)/(-6) - (-8)/(-12). Let n be 8/(-2) + (x - -1). Let y(m) = -3*m**3. Let o be y(n). Solve o = z - 2 for z.
5
Suppose -3*l + 4 = -2*l. Solve 0*z - l = z for z.
-4
Suppose 0 = x - 6 + 1. Suppose 4*t + x*v + 7 = -0*v, v = -2*t + 1. Solve -t*d + 9 = -1 for d.
5
Let y be -7*(0 + -1)*1. Let m be (-306)/(-42) - 2/y. Solve -3*o + m = -5 for o.
4
Let c(u) = 2*u**3 - 9*u**2 + u + 1. Let q be c(7). Let h = q - 373. Let b be 2/3 + h/(-9). Solve b - 2 = -3*v for v.
-4
Let u = 78 - 118. Let t be (16/(-10))/(16/u). Suppose 2*q - 13 = -5*x + t*q, 4*q = 3*x - 5. Solve -x*r + 0*r = 0 for r.
0
Suppose -2*h - 2*l + 8 = 0, 8 = 5*h + 2*l - 0*l. Let g = -3 + 4. Let v be -1 - (14*g)/(-2). Solve -2*p + v*p - 20 = h for p.
5
Let d(p) = p**2 - 10*p + 3. Let a be 4/(-1) + (-14)/(-1). Let b be d(a). Solve 10 = u - b*u for u.
-5
Suppose -x = 5*d, -4*d + 2*d = 4*x + 18. Let r be (-4)/(1 + -3 + d). Solve -2*i + r = 2 for i.
1
Let j = 6 + 6. Let d be (-3)/j - 3/(-12). Solve -2*n = -d + 4 for n.
-2
Let p = -72 - -74. Solve p*v - 2 = 4*v for v.
-1
Let q be 7 + (-5 + 2 - 0). Suppose 4*z = q + 12. Solve 2*h - z = -2 for h.
1
Let j(m) = -m**3 - 7*m**2 - 12*m + 1. Let a be j(-3). Suppose -2*y + 3*w = -22, 2*w + 7 = y - 6. Let n = y - a. Solve -n*s = 24 - 4 for s.
-5
Suppose 24 = -b + 7*b. Suppose -b = i - 6. Solve -5*r - i = 13 for r.
-3
Let b = -43 - -60. Solve -b = -5*h + 3 for h.
4
Let l = -4 - -3. Let k(y) = -24*y**3 + y**2 - 1. Let o be k(l). Let f = -9 + o. Solve 0*j + 3*j + f = 0 for j.
-5
Suppose 2*z - 14 = -4*d, -3*z + 21 = 5*d - 4*z. Solve -d*x = -2*x for x.
0
Let f = 3 - 3. Let t = f + 9. Solve -t = p - 4*p for p.
3
Let f(o) = -57*o**3 - o**2 + o. Let a be f(1). Let x be ((-2)/2)/(3/a). Let k = x + -10. Solve t - k = -2*t for t.
3
Suppose 3*o - 24 = -0*o. Let z(j) = -j + 2*j - o*j**2 + 10*j**2. Let i be z(-2). Solve -7*v = -4*v - i for v.
2
Suppose -20 = 6*f - 8*f. Solve 4*t + f = -6 for t.
-4
Suppose -g - 12 = -4*a, 0*g + a = -g + 8. Solve -n = -0*n - g for n.
4
Let u(z) = -3*z. Let g be u(-2). Solve t + t - g = 0 for t.
3
Let t = -1 - -1. Suppose a + t*a + 5*k - 10 = 0, 0 = 2*a + k - 2. Let y = 5 + a. Solve 1 + y = 3*g for g.
2
Suppose 2*y + 63 = -3*j + 5*y, -3*j - 4*y - 77 = 0. Let t = 23 + j. Solve t = -c - c for c.
0
Let b(n) = n**3 - 7*n**2 - 8*n + 2. Let u be b(8). Let f be (68/(-16))/((-1)/4). Suppose -f = -3*c - u. Solve 1 = -2*v + c for v.
2
Suppose y - 4*y + 2*i = -13, -30 = -5*y - 5*i. Suppose -y*r = -r. Solve r = -c + 3*c for c.
0
Let n be 2/(-8) + (-2)/(-8). Suppose 0 = -40*b + 14*b + 52. Solve n = -b*k - k for k.
0
Suppose 4*u + 41 - 17 = 4*w, -3*w + 8 = 2*u. Let z(p) = p**3 + 2*p**2 - 3*p + 3. Let t be z(-3). Solve 1 - w = -t*y for y.
1
Let i be (-4)/(-26) - (-2 - (-56)/26). Solve 0 = -5*l - i - 10 for l.
-2
Suppose 2*u = 5*u. Suppose -9 + u = 3*t. Let q be (-11)/t - (-4)/12. Solve 2 = q*p + 14 for p.
-3
Let z = 2 + 2. Suppose 0 = -z*y + 5 + 3. Solve -y + 0 = -2*t for t.
1
Let s(c) = c**2 + 3*c. Let n be s(-3). Let i(l) = -l**2 - 3*l. Let a be i(-3). Let k = a - n. Solve -4 + k = -x for x.
4
Let o(d) = d + 3. Let f be o(8). Let w = -8 + f. Solve 0 = -3*x + w + 3 for x.
2
Let b be 58/(-10) - 4/20. Let l(h) = h**3 + 6*h**2 - h - 4. Let p be l(b). Suppose p*i = -3*i. Solve -2*m + 4 = -i*m for m.
2
Suppose -l = -2*u + 7, -2*l = -3 - 7. Let t = -4 + u. Let g be (3/((-6)/(-8)))/t. Solve w - g*w = 4 for w.
-4
Let o = 6 + -7. Let u = o - -3. Solve 0*z = -u*z + 8 for z.
4
Let p be 12/(-4) - (22 - 2)/(-4). Solve -c + 1 = p for c.
-1
Suppose -h = -0*h - 2. Solve r - h*r = 0 for r.
0
Suppose 2*y + o + 0 = -1, -3*y - 14 = 4*o. Solve 0 = -0*f - y*f + 10 for f.
5
Suppose 4*q + 6 = 7*q. Let i = 4 - 0. Solve -q*l + 0 = -i for l.
2
Let s be (-6)/24 - (0 + 1/(-4)). Solve -4 = 4*o - s for o.
-1
Let r be (-14)/(-18) + (-2)/(-9). Let i = 4 - r. Suppose -9 = -3*l - 0*l + 2*o, -i*l - 5*o = -9. Solve n = l*n + 8 for n.
-4
Suppose 6*y - 30 = 4*y. Let k = y + -13. Solve -5*a - 6 = -k*a for a.
-2
Suppose 3*p = j + 7, p = -j + 2*p - 11. Let m(d) = d**3 + 12*d**2 - 15*d - 1. Let c be m(j). Solve -f - 4*f + c = 0 for f.
5
Let q(c) = 0*c - 133 + 140 + c. Let a be q(-7). Solve 0*g - 3*g + 6 = a for g.
2
Let d = 86 - 82. Solve -d*x + 7 = -1 for x.
2
Suppose 5*t - t = 20. Suppose 0 = -y - t*b + 1, 0*y - 5*b + 3 = 3*y. Suppose a + 0 = 4. Solve -a = i - y for i.
-3
Let y = 1 - 1. Let l = y - -5. Let o(m) = m + 4. Let g be o(0). Solve l = x + g*x for x.
1
Let a(u) = u + 5. Let g be a(-6). Let r be (-45)/(-10) + g/2. Solve t + 3 = r for t.
1
Let l(p) = 9*p + 46. Let m be l(-5). Solve -h - m = -3 for h.
2
Let y be ((-16)/10)/(1/(-5)). Suppose -3*k + 5*s =