r = p for r.
1
Let x be 16 - (195/90 - (-10)/12). Solve -12*s = -x*s + 2 for s.
2
Let k be (0 + -3)/((-3)/13). Let u = 15 - k. Suppose 5*a = -u + 12. Solve 0*i + 4 = -a*i for i.
-2
Suppose 6*k = 3*k + k. Suppose k = -s - 0*q + 3*q + 9, 3*s - 9 = 3*q. Solve -c + 2 = -s for c.
2
Let n(x) = -x**2 + x + 831. Let y be 1/(-1) + 7/7. Let p be n(y). Let k be p/33 - (-2)/(-11). Solve 0 = b + 4*b - k for b.
5
Let l(q) = -q**3 + 6*q**2 + 7. Let x be l(6). Let k = 17 - x. Suppose -5*o - 10 = k, 3*z = 2*o + 14. Solve 2 = z*p + 8 for p.
-3
Suppose 3*n = 3*r, 9*n + 2*r = 8*n. Solve n = -6*s + 2*s for s.
0
Let p(i) = 5*i - 5. Let m be p(5). Let l = -12 + m. Solve -4*v + l = -2*v for v.
4
Suppose -2*q + 3 = -3. Let k = -77 - -71. Let d(u) = -u - 4. Let f be d(k). Solve f*a + q = 9 for a.
3
Let n be 2 + (-5 - (-1 + 1)). Let p be ((-2)/(-5))/(n/(-15)). Suppose 4*w + 24 = 7*w. Solve -p*u - 2*u = w for u.
-2
Suppose 4*s + 3*x + 9 = 7*s, -5*s + 3*x + 21 = 0. Solve s*n = 7*n + 3 for n.
-3
Let j be -1 + 1 + 2/2. Let b(f) = 27*f**3 - f + 1. Let l be b(j). Let q = -25 + l. Solve o + 15 = -q*o for o.
-5
Let y be (4 + -2 + 2)/1. Let q(r) = -r**3 - 3*r**2 + 3*r + 6. Let s be q(-4). Suppose -22*n - 12 = -232. Solve -y*x = n + s for x.
-5
Let z(m) = 7*m - 116. Let q be z(17). Solve 11*k - 19 = q for k.
2
Suppose -97 = -77*u + 6217. Solve u = 11*k + 137 for k.
-5
Let s(d) = 3*d + 35. Let l(v) = 2*v + 18. Let k(o) = -5*l(o) + 3*s(o). Let y be k(5). Solve -y + 1 = -3*p for p.
3
Let w = -1 - -1. Solve w = -0*c - 3*c - 6 for c.
-2
Suppose 2*c = 4*w + 4*c - 32, -w - 5*c = -17. Let q = 7 - w. Solve q = 6*n - 3*n + 15 for n.
-5
Let a(k) = 3*k + 11. Let g be a(8). Let d = g + -27. Solve t + d = -t for t.
-4
Suppose 29*r = 24*r. Suppose r*m - 3*b = -m - 12, b = 3*m - 4. Solve 0 = m*d - d + 8 for d.
-4
Suppose -4*z - 4 = 0, -s + 2 = -2*z + 4. Let y be (42/(-12) - s)/((-2)/(-12)). Solve 7*p + 16 = y*p for p.
-4
Let y = -11 + 11. Suppose -5*w - 12 + 2 = y. Let p be 2/(-6) + w/(-6). Solve j + 3*j + 12 = p for j.
-3
Suppose -i = -5*r + 9 + 4, 3 = -i. Solve 0 = -l - 2 - r for l.
-4
Let a = -3 + 3. Suppose -2*m - 4 = -13*x + 11*x, 4*m - x = 7. Solve 3*i - m = -a*i for i.
1
Let v(g) = -g**3 + 15*g**2 + 14*g + 34. Let d be v(16). Suppose r = d, w - 5*r - 5 + 14 = 0. Solve w - 5 = j for j.
-4
Let z(m) = -m**2 - m + 4. Let v be z(-3). Let s be v + 10/2 + 17. Suppose 0*w = w + g - s, 2*w - 40 = 5*g. Solve w = 5*j - j for j.
5
Let p be 15/90 - (-59)/6. Suppose 0 = 5*n - 7 - 8. Solve n*a + p = 1 for a.
-3
Let k(i) = 5*i**2 + 2*i + 1. Let y be k(-1). Let z = -2243 - -2244. Solve 3*t + z = y*t for t.
1
Let l(r) be the third derivative of -r**6/120 - 4*r**5/15 + 2*r**4/3 - 2*r**3 + 4*r**2. Let n be l(-17). Solve 0 = -4*x - 1 + n for x.
1
Suppose y + 2*y - 15 = 0. Suppose 0 = 3*b + 2*u + y, 3*b + 6*u = 2*u - 13. Suppose 2*n - 5*x - b = 0, -4*n + 2*x + 7 = -3. Solve n + 2 = -5*a for a.
-1
Let s = -101 + 115. Suppose n + 24 = 5*g, -n + 0*g = -3*g + s. Let z be 0/((-1)/1)*1. Solve -h - n = -z*h for h.
-1
Let q be ((-2)/4*-15)/(54/72). Solve q - 7 = 3*z for z.
1
Let h(m) = m**3 - 4*m**2 + 5*m - 5. Suppose -b + 9 = 5*q, -4*b = 5*q - 10*q - 11. Let g be h(b). Solve 3*v = -0*v + g for v.
5
Let u = -1 - -1. Let z(o) = o**3 - o**2 - 3*o. Let x be z(u). Solve x = -4*s + 2*s + 4 for s.
2
Let u = -8 - -9. Let l(r) = 17*r + 4. Let h be l(3). Let b be (-150)/(-22) - (-10)/h. Solve u = -2*x - b for x.
-4
Let d be 1*4 + 9 + (-60)/5. Solve -27*m + 28*m = d for m.
1
Let m be ((-8)/(-12)*15)/1. Solve 5*d + m + 5 = 0 for d.
-3
Let c(i) = 7*i - 15. Let k be c(4). Solve k = -4*w + 5 for w.
-2
Suppose -19*s = -16*s - 21. Solve -s*t + 2*t = -15 for t.
3
Let s be -4 + (-1 + -4)*(2 - 3). Solve -24*u + 25*u = s for u.
1
Suppose -108 = j - 10*j. Suppose -4*o + j = 5*p, -13*p - 5*o + 15 = -11*p. Let m(a) = -2*a - 7. Let k be m(-5). Solve -3*u + p*u = k for u.
-1
Let j = 73 + -9. Solve -j = 3*k - 79 for k.
5
Suppose -5*f - 49 = 2*z, 4*f + 2*z + 32 = -8. Let j(o) = -o**2 - 10*o - 6. Let x be j(f). Suppose 0 = x*h - 12 - 9. Solve 2*i + 10 = h*i for i.
2
Suppose 3*t - 80 = -3*f - t, -2*t - 20 = -f. Solve 9*i + f - 6 = 0 for i.
-2
Let d(w) = -w**3 - 12*w**2 - 7*w + 23. Let q be d(-11). Let m be ((-18)/q)/(3/28). Solve -4*l + 0*l = -m for l.
2
Let w(z) = z**2 + 7*z + 9. Let a = -8 - -8. Suppose -3*u = 3*q + 33, -q + 1 = -u - a*q. Let k be w(u). Solve t = -k*t - 16 for t.
-4
Suppose -40 + 36 = -2*n. Solve -n*q = 6 - 0 for q.
-3
Let v be 5 + (3 - 0) + -1. Let i = v + -3. Let s(k) = -3*k**3 - 14*k**2 + 5*k + 3. Let g be s(-5). Solve g*n = -n - i for n.
-1
Let a = -19 - -17. Let q be (-17)/(-2) + (18/(-12) - a). Solve 34 = -5*r + q for r.
-5
Let t be 2/12 + 500/24 + -11. Solve t*l = 11*l + 1 for l.
-1
Let b = -149 + 169. Solve -b = -6*f + 4 for f.
4
Let c(r) = -r**2 - 13*r - 14. Let x(o) = o. Let z(t) = -c(t) - 5*x(t). Let h be z(-6). Solve h*n - 6 - 4 = 0 for n.
5
Let v(q) = -4*q**2 - 1. Let u be v(1). Let p(r) = 3*r - 9. Let s be p(u). Let n = s + 30. Solve -w = -3*w + n for w.
3
Let a(h) = -10*h - 2. Let b be a(-10). Suppose -5*r + 3*g = -b, -5*r + g = -37 - 69. Let j = r + -19. Solve -j*k - k = -16 for k.
4
Let o be (-1 + 0 + 1)*44/(-88). Solve -3*c + 4*c + 3 = o for c.
-3
Suppose -3*w - 5*k + 9 = 0, 7*w - 18 = 4*w - 2*k. Solve -4*h - 20 = -w*h for h.
5
Let n = 0 + 2. Let s = -6 - -9. Let a = 77 - 72. Solve n*j - a*j = -s for j.
1
Let p = -323 - -332. Solve -p*n - n - 30 = 0 for n.
-3
Suppose 5*t - 3*g = 16, 4*t - 16 = 8*g - 4*g. Solve -t*m = -3*m - 3 for m.
-3
Let z(o) = o**3 + 10*o**2 + 10*o + 16. Let w be z(-9). Let l(u) = 4*u - 26. Let r be l(w). Solve -a - r = -0*a for a.
-2
Let p(i) = 3*i - 8*i + 4*i. Let q be p(-2). Suppose -18 = -q*u + 3*y + 17, 5*y + 35 = u. Solve 2*a - u = 4*a for a.
-5
Let z be -2*(4 + 3/(-3)). Let f(l) = -3*l - 13. Let q be f(z). Let r(x) = -3*x - 1. Let b be r(-1). Solve -3*o + b = -q*o for o.
-1
Suppose -5*j - x - 450 = 0, -5*j - 2*x - 253 = 197. Let p = j + 96. Solve -3*m + p = -0 for m.
2
Let z = 12 - 10. Suppose -z*q = u - q, 2*u - 3*q - 10 = 0. Solve -7*l - 15 = -u*l for l.
-3
Suppose -61*i = -57*i. Solve -y - 4*y = i for y.
0
Suppose -4*w = w + z - 98, 82 = 4*w + 2*z. Let u = 19 - w. Let l be 2 - 3/6*u. Solve -l*a = 4 - 14 for a.
5
Suppose 36*t = 31*t + f + 49, -4*f - 43 = -3*t. Solve 0 = -n + 10 - t for n.
1
Let v be -17 - (-1 + 3 + -3). Let j be 4/30*5 - v/12. Solve -j = 5*m + 13 for m.
-3
Suppose 13*f - 46*f + 396 = 0. Solve 3*u - f = 7*u for u.
-3
Let q(r) = 2*r - 16. Let f be q(8). Suppose o - 3 = -u, o + 0*o - 2*u = f. Solve -b = o*b for b.
0
Suppose -l = -6*l + 2*s + 453, -2*s - 97 = -l. Suppose -94*f = -l*f - 10. Solve -f*j + j = 0 for j.
0
Let z(u) be the second derivative of -u**3/6 + 2*u. Let t be z(0). Let c be (2/2)/((-3)/264*-11). Solve t*x = -2*x + c for x.
4
Suppose 18 = 4*z - 2*m, 4*z + 33 = -2*m + 31. Solve z*k = -5 + 13 for k.
4
Let d(a) = 4*a + 37. Let i be d(-6). Solve i*h - 10*h = 15 for h.
5
Let l = -341 - -374. Solve -35 + l = k for k.
-2
Let y(t) = -7*t**2 - t + 3. Let d(s) = -6*s**2 + 3. Let v(k) = 6*d(k) - 5*y(k). Let x be v(5). Solve -i - x = -2*i for i.
3
Suppose -7162 = -51*v - 6958. Let d = -1 - -3. Solve v = d*f + 2 for f.
1
Suppose -4*k + 4*h = -h + 17, -3*h = -15. Suppose -4*u + 10 = l + k, -7 = -3*l + 5*u. Solve -1 - 3 = -l*q for q.
1
Let u = -6 - -36. Suppose u = 18*l - 6. Solve -q = -l*q for q.
0
Let c(g) = g**2 + 9*g + 10. Let o = -12 + 3. Let d be c(o). Suppose -4*q + 1 = -v + 13, -v + 3*q + d = 0. Solve 0 = v*h - 2*h - 10 for h.
5
Let i = -17 + 19. Suppose -i*q + 42 = q. Let y = 19 - q. Solve 0 = 5*s - 0 + y for s.
-1
Let f(j) = -2*j + 4 + 6 - 6 + 7. Let c be f(3). Solve c = -2*z + 1 for z.
-2
Suppose 18*u = 235 + 341. Solve -u + 29 = -t for t.
3
Suppose 111 = -6*r - 27. Let q be (1 + (-1 - 7))*7. Let k = r - q. Solve -5*b - k = -6 for b.
-4
Suppose 0 = 2*d - 5*y - 14, -3*d + 2*y + 0*y = -10. Solve q - d = 1 for q.
3
Let i = 38 - 3. Let m be ((-4)/(-14) - 30/i)*-7. Solve m*j + 15 = -j for j.
-3
Let v = -49 - -50. Let f be 0/(0 - (v - 4)). Solve f*m - 3*m = -6 for m.
2
Let l(w) = -w + 2. Let n be l(0). Suppose -n*p = p - 51. Let j = p - 17. Solve j = -0*t - 2*t + 2 for t.
1
Suppose 24 = 7*u - 4*u + 2*f, 5*u - 21 = 3*f. Suppose 2*y = -3*b + 1 + 2, -3*b - u =