2
Let m = 2 - 2. Let i be (0 - m)/(3 - 4). Suppose 3*v - 127 + 46 = i. Solve -7 = -4*p - v for p.
-5
Suppose 35 + 97 = 12*z. Solve -z = 2*i - 1 for i.
-5
Suppose 3*a = -16 + 280. Let x = a - 84. Solve 1 = -u + x for u.
3
Let n be 2/8 + 44/16. Let f be (1 - 1/3)/(6/9). Let t = n + f. Solve -t + 3 = p for p.
-1
Let p be (-4)/14 + 46/14. Suppose 3*y + 6 = p*i, -y - 4 = i - 10. Suppose -5*u + 17 = -2*t, -4*t - y*u + 36 = 2*u. Solve -t*z + 10 = -10 for z.
5
Suppose 2*s - 4 = -2. Let n be 1 + s + 0 + -4 + 2. Solve 2*f = -n*f - 6 for f.
-3
Let x(j) = -j**3 + 5*j**2 - 3*j. Let y be x(4). Let v be (1 - 1)/((-6)/3 + 1). Suppose 0 = 10*a - v - 0. Solve 2*p + y + a = 0 for p.
-2
Let b be -2*(-6 + 1 - -3). Suppose 3*w - 9 = -3*v, b*w - w + 5*v - 5 = 0. Solve 0 = -0*i - w*i for i.
0
Let r(k) = k**3 - 45*k**2 - 195*k - 21. Let m be r(49). Let n be (-1 + 2)*(-26)/(-2). Let u = m - n. Solve 4*o = -o - u for o.
-3
Let k be 0 + (-8)/(-2) + -2. Suppose -k*z = 2*g + 70, 4*g - 5*z + 141 = 1. Let f be (6/(-10))/(7/g). Solve 0 = f*h - h - 2 for h.
1
Suppose 0 = -9*s - 28*s. Solve -6*n = -s*n - 12 for n.
2
Let p be (2/5)/(119/595). Suppose -2*r + 4*v - 4 = 0, 2*r + 5*v - 27 = -r. Solve -r*c = -3*c + p for c.
-2
Suppose 0 = -5*j + 5*z - 5, -5*j = 2*z + 19. Let t be (j/6)/((-1)/12). Suppose 8*h = 6*h + t. Solve 0 = -0*o - h*o + 15 for o.
5
Suppose 0 = 5*q - 71 - 24. Let f = q + -14. Solve 0 = -4*o - o + f for o.
1
Let p(k) = -k**3 - 14*k**2 - 12*k - 11. Let b be p(-14). Solve 5 = -152*a + b*a for a.
1
Let b(m) = 3*m**3 + m - 7*m - 1 - 4*m**3 - 6*m**2. Let k(i) = i**3 - 14*i**2 + i - 19. Let j be k(14). Let o be b(j). Solve 3*l + o = 2*l for l.
-4
Let o = 1442 + -1423. Solve 2*g - 34 = o*g for g.
-2
Suppose 5*p - 75 = 2*r, -p + 4*r - r = -28. Suppose -5*d + 4*d - 88 = -4*o, -4*o + 88 = -2*d. Let b = o - p. Solve b*y = 4*y for y.
0
Suppose 5 + 6 = u - 4*q, 4 = -2*u - 5*q. Solve 0*p - u = 3*p for p.
-1
Let y = -116 + 172. Let t = 60 - y. Solve -t*f - f - 5 = 0 for f.
-1
Let y(g) = -g**2 + 7*g + 6. Let w be y(6). Suppose -1 = -m + 2*f + 9, w = -4*f. Suppose -5*i = -6*i + m. Solve o - i = -0*o for o.
4
Suppose 2*v = -3*f + 14, -4*f + v + 22 = 18. Solve -f*a - 4*a + 30 = 0 for a.
5
Suppose -5 = 4*b - 13, 0 = a - 3*b + 4. Suppose s = -5*c - 0 - 6, -s - c = -a. Solve 2 + 6 = -s*u for u.
-2
Let p(z) = z**2 + 7*z - 10. Let n be (43 - 3)/4*-1. Let u be p(n). Solve u = 7*c - 2*c for c.
4
Suppose -3 = -2*j + 3. Let y be 22/10 + (-3)/15. Suppose y*q + 4 = 4*q. Solve -q*c = j*c for c.
0
Suppose 3*p - 6 = -3*u, 2*u + 4 = 2*p - 0. Suppose -3*a + 9 = 3*i, -13 = -i - p*i - 2*a. Solve -t + i = 9 for t.
-2
Let u be (3/(-5))/(19/10 + -2). Let z be 6/(u*3/24). Solve -4 = -z*o + 4*o for o.
1
Suppose 5*d + 13*a = 9*a + 119, -3*d + 3*a + 93 = 0. Solve 0 = -d*x + 9 + 72 for x.
3
Let j = 103 - 38. Suppose 0 = -9*i + 34 + j. Solve -i = -4*l - 3 for l.
2
Let b = -11 - -15. Suppose 2*d = 3*i - 4, -i = 3*d - 3*i - b. Suppose -5 = z - 5*t - 0*t, d*z - 5*t = -5. Solve z = -l - 2*l for l.
0
Let n be 0/2 + 4 + 1. Suppose -4 = -4*h + z + 6, z = -5*h + 8. Let w = n - h. Solve 3*l - w = 3 for l.
2
Let c be -10 + 164/16 + 11/4. Let f = -2 - -5. Solve c*n = 12 + f for n.
5
Let w(f) = -6*f - 29. Let k be w(-5). Let r be 0 + -4 + k + 3. Solve 4*q = -r*q - 20 for q.
-5
Suppose 5*a = -5*g + 20, 9 = 2*a - 40*g + 43*g. Solve 21 = a*z + 33 for z.
-4
Let b be 27/6 - 3/6. Let s = 111 - 107. Suppose -6 = s*d - 6*d. Solve -d*p - b = p for p.
-1
Suppose -38*p = -41*p + 3. Let x be 29/9 + (-4)/18. Let d be x/(-6)*(-1 - -1). Solve -p = -n - d for n.
1
Let n(d) = d + 2. Let c be n(-2). Let f be (-3 - -4) + 3 + c. Solve r + 1 = f for r.
3
Suppose 3*s - 6 = 2*s. Suppose j = s*j. Solve -b = -j*b for b.
0
Let t be (-190)/(-40) - (-1)/4. Suppose 0 = -w + 4*w - t*u - 14, -4*w + u = -30. Solve 5*o = -w + 28 for o.
4
Suppose p = -4*p + 70. Suppose 5*t - 6 = 4. Suppose 0 = -t*k + 3*k - 1. Solve -3*a + p = -k for a.
5
Let d = -448 + 448. Solve d*t + 8 = -4*t for t.
-2
Suppose -5*h + 25 = 2*t, -t - 1 = -3*h + 14. Solve -20*u + h = -15*u for u.
1
Suppose -6 = -2*a - 0*a, -a + 18 = 5*p. Suppose -3*x + 60 = p*x. Solve -2*r - x = 3*r for r.
-2
Let x(m) be the first derivative of 2*m**2 + 1. Suppose -5*v + 3 = -2. Let y be x(v). Solve 0*l = 2*l - y for l.
2
Let v = 4 - 0. Suppose 15*c - v = 13*c. Solve r = c*r - 4 for r.
4
Let l be (-1 - -1 - -1)*(43 - 49). Let k be (l/(-4))/(3/16). Solve -k = s - 3*s for s.
4
Let z(m) be the second derivative of -m**3/6 - 3*m**2/2 - m + 1. Let w(b) = -b**2 + 5*b + 7. Let h be w(7). Let r be z(h). Solve 0 = -5*d + 1 + r for d.
1
Suppose -11*w = -10*w - 6. Suppose w = 3*u + 3*c, 2*c - 2 + 1 = -u. Suppose q = -5*d + 7, -d - u*q - 4 = -q. Solve 1 + d = 3*z for z.
1
Let t = 110 - 105. Solve -5 = t*w + 15 for w.
-4
Suppose -3*t - 24 = -5*t. Let w(h) = 67*h + 2 + h**3 + 0*h**2 - 55*h - 13*h**2. Let x be w(t). Solve 0 - 4 = -x*a for a.
2
Suppose 5*m + 267 = 2*v, -v + 5*m = -0*m - 131. Let b = v - 116. Solve -6*k + b = -2*k for k.
5
Let m = 25 - 10. Suppose -5*p = -10*p - 595. Let n = p + 122. Solve n*x + m = 8*x for x.
3
Suppose 0 = -5*b - 16*b - 17*b. Solve -6*f + f - 20 = b for f.
-4
Let n(s) = -s**2 + 12*s + 30. Let c be n(14). Solve 3*i + c = 5*i for i.
1
Let t be (55/33)/((-32)/(-6) + -5). Let p(b) be the second derivative of -b**5/20 + b**4/4 + 5*b**3/6 + b**2/2 + 2*b. Let k be p(4). Solve -t = k*u - 0 for u.
-1
Let o = 179 + -177. Solve d - 6 = -o*d for d.
2
Let v(b) = -770*b**2 + 766*b**2 + 4*b - b**3 - 4*b + 2. Let j be v(-4). Solve p - 3 = j for p.
5
Let h(o) = o**3 + 4*o**2 + o + 4. Let l be h(-4). Let s(q) = 5*q - 8. Let k be s(1). Let b(j) = 3*j + 13. Let c be b(k). Solve c = -l*u + 4*u for u.
1
Suppose -3*h + 29 = -0*h - 5*w, -3*w + 29 = 4*h. Solve 0 = -3*j + 7*j - h for j.
2
Let n = 83 - 63. Solve 3*h = 7*h - n for h.
5
Let d be (-2)/(68/20 + -3). Let t(c) = c**3 + 6*c**2 + 5*c + 3. Let j be t(d). Solve -j = -4*s - 7 for s.
-1
Let q(k) = -k**2 - 7*k - 4. Let p be q(-6). Suppose -4*l - 5*a + 3*a - p = 0, -4*l = a + 1. Solve 2*w = -l*w - 2 for w.
-1
Let x(k) = 2*k**3 + 3*k**2 + k + 1. Let p be x(-2). Let z be p*(1 - (0 - -2)). Suppose z*a + 10 = 0, 4*f = 3*f - 2*a + 1. Solve 6 = f*r - 4 for r.
2
Let s(j) = -j**3 + 11*j**2 - 10*j. Let a be s(10). Suppose 0 = -a*p - 6*p + 66. Solve -4*w - 3 + p = 0 for w.
2
Let o be (15/3)/20*0. Solve o = -y + 6 - 9 for y.
-3
Suppose 0 = -3*y - 3*z + 12, 0*y + 2*z = -y + 2. Let n = 169 - 166. Solve n*l - 3 = y for l.
3
Suppose -121*m + 74*m = -94. Solve -10 = -m*f - 18 for f.
-4
Let h be (45/(-30))/((-1)/8 - 0). Solve -5*i - 3 - h = 0 for i.
-3
Let j = 27 + -22. Suppose -5*a + 12 = -j*c + 2, 4*c - 4 = 0. Solve -a*r = -r - 2 for r.
1
Let t be ((-4)/6)/((-62)/(-30) - 2). Let s(n) = -2*n**2 - 20*n + 2. Let r be s(t). Solve -7*f = -r*f + 20 for f.
-4
Let d(b) = b**2 - b. Let q(w) = -w**3 - 6*w**2 + 4*w + 6. Let g(m) = 3*d(m) + q(m). Let z be g(-3). Solve 15 = z*x + 2*x for x.
3
Let d(l) = l**2 + 18*l - 19. Let m = -74 + 55. Let k be d(m). Solve 2*c + k = -6 for c.
-3
Let i(b) = -b**3 - 2*b**2 - 2*b - 2. Let r be i(-2). Let x = -4 - -7. Suppose 0 = -t + x - 1. Solve -t*y - 16 = r*y for y.
-4
Let g(f) = f**2 + 36*f + 145. Let l be g(-33). Solve -l*c - 16 = -42*c for c.
-4
Let h be (-3)/(3/2*-1). Suppose -5*l = h*l - 28. Solve -l*b = b for b.
0
Let l(n) = n**2 + 4*n - 21. Let c be l(-7). Suppose -3*p + 3 = -2*b - c*p, b - 4*p + 4 = 0. Solve 0 = -b*a - a - 4 for a.
-4
Suppose 23*d = -21*d + 88. Solve 12*i = d*i + 20 for i.
2
Let t = 39 + -37. Suppose -t*x + 21 = -5*x. Let v = -4 - x. Solve 3*m + 0*m = v for m.
1
Let r be -10 + 21 - (2 - -3 - 4). Solve 13*b = r*b - 9 for b.
-3
Let h(w) = -4*w - 56. Let l be h(-18). Let m = 10 + -1. Let g = m + -8. Solve -g = 3*v - l for v.
5
Suppose 3*m - 192 = 3*u, -3*u - 292 = -5*m - 5*u. Let o be (-6)/45*-3*m. Suppose 2*g - 5*g + o = 0. Solve -3*h - h + g = 0 for h.
2
Suppose 5*a = 4*a + 4. Suppose -25 + 9 = a*n. Let x = -3 - n. Solve -2*p + p + x = 0 for p.
1
Let t = -431 + 431. Solve 2*p - 13*p - 22 = t for p.
-2
Let m(w) = -2*w**2 + 78*w + 84. Let n be m(40). Let t = -7 - -11. Solve -t = n*x - 0 for x.
-1
Let n(r) = 9*r**2 - 9*r + 8. Let m be n(1). Suppose 0 = -z + 2*v + 11, -4*z = -v - 2 - 7. Suppose l - z = 1. Solve -l = -2*y + m fo