 p.
3
Let g = -9 - -15. Let u be 2*(2718/4)/3. Let i = u + -442. Solve -g*w = -i*w for w.
0
Let v = 871 - 856. Suppose -u - 12 = -4*w, -w - 8 = -3*w + u. Suppose v + 9 = w*z. Solve z = g - 4*g for g.
-4
Suppose f - 5*g + 9 = 0, 5*f - 4*g + 81 = -6. Let w = f - -27. Let q(i) = 2*i - 9. Let r be q(w). Solve -4*z - 5 = r for z.
-3
Suppose 0 = 34*u - 57*u + 575. Let l = 50 - 72. Let m = l + u. Solve -15 = -8*k + m*k for k.
3
Let u = -15 + 120. Let x = u + -93. Let n be -6*3/(-24) - (-3)/x. Solve 2*c - 7 = n for c.
4
Let x be 30*(((-200)/12)/5 - (20 - 24)). Solve x*g - 71 - 49 = 0 for g.
6
Suppose 0*t - 3*q - 445 = -2*t, q - 1121 = -5*t. Suppose 20*k = -8*k + t. Solve -3*d - k = -d for d.
-4
Suppose 2*t = 4*u - 16, -4*u - 4*t - 4 = -5*u. Suppose -u*g = -5*k - 9 + 1, -3*g + 33 = 3*k. Solve -9*j + g*j = 0 for j.
0
Suppose -5*t + 4*s = 1, 0 - 2 = -2*t + 4*s. Let x be t/4 + (-5)/(-60)*3. Solve x = 6*l - 4*l - 2 for l.
1
Let q(b) = -10 - 7*b**2 - 235*b**3 + 113*b**3 + 2*b + 123*b**3. Let o be q(7). Solve 3*v + 2 = o*v for v.
2
Let d = -415 - -423. Suppose 9*x = 46 + d. Let k = -7 + 10. Solve -k = -u - x for u.
-3
Suppose 42*l - 4758 = -36*l. Solve -114 = 35*u + l for u.
-5
Let m(x) = 2*x**2 - x + 1. Let o(p) = 9*p**2 - 10*p + 1. Let f(t) = 4*m(t) - o(t). Let j be f(6). Let s be (j/6)/((-3)/60*-2). Solve -3*n + s*n - 6 = 0 for n.
3
Let h be ((-32)/6)/((-289)/9537)*2/4. Solve 29*f - 7*f + h = 0 for f.
-4
Suppose 0 = -5*r + 3*k + 76, 3*r = -3*k + 14 + 70. Solve -r*n + 27*n - 14 = 0 for n.
2
Let t(l) = -l**2 + l + 2. Let j be t(2). Let b(f) = -f**3 + 16*f**2 - 16*f + 19. Let q be b(15). Let x be (2*(-15)/12)/((-5)/q). Solve 3*y - 5*y - x = j for y.
-1
Let r = 153 - 150. Suppose -r*x + 12 = -3*b, 3*x + 2*b + 14 - 16 = 0. Solve x*w - 12 = 5*w for w.
-4
Suppose 0 = -v + 3*v - 5*j + 12, 4*j = 4*v + 12. Let b = v - -6. Suppose -s + 7*g = 2*g + 20, -4 = s - g. Solve -k = b - s for k.
-5
Let a = -1767 + 1917. Solve 0 = -13*u - a + 202 for u.
4
Suppose 161 = 9*x - 2*x. Let r = 14 + x. Let b = r + -37. Solve -k + 2*k + 2 = b for k.
-2
Let w(o) = -o**2 - o + 1. Let k(c) = -c**3 - 20*c**2 - 18*c + 14. Let p(n) = -k(n) - 6*w(n). Let j be p(-25). Solve -j*s = s for s.
0
Let k = 8323 - 8243. Solve 9 = -k*w + 83*w for w.
3
Let a(m) = 99*m + 1472. Let o be a(-14). Solve 5*i + 101 - o = 0 for i.
-3
Let s be (1 + 7)*-47*(-585)/780. Solve i - s = -93*i for i.
3
Let b = -141 + 42. Let w = b + 104. Suppose -5*n - 2*t = -18 + 3, w*t = -5*n + 30. Solve 0 = -2*j + j - n for j.
-1
Let h be 3*1 + (-12)/12 - 6. Let v = 19 + h. Suppose 0*u - 5*u + v = 0. Solve 2*f = 3*f - u for f.
3
Let g = 24 - 16. Let h be 1164/(-6) - 24/6. Let u = h + 202. Solve u*y + 4 = -g for y.
-3
Let t be (-3 + 52/20)/((-2)/10). Suppose -t*o = -0*j - 2*j - 4, 0 = -4*j - 5*o + 37. Solve -2*x = j*x + 20 for x.
-4
Suppose -5*w + 1 = -2*x - 11, -3*x = -w + 31. Suppose -10*f - 18 = 2*b - 12*f, -2*b - 5*f - 46 = 0. Let z = x - b. Solve -3 = -z*y - 13 for y.
-5
Suppose 5*h = -4*i - 5, -3*h = 3*i - 5*i + 3. Suppose i = -5*c + d + 25, -2*d + 51 = 61. Solve -18*x + c = -16*x for x.
2
Suppose -4*q = 4*c - 1280, 5*q - 3*q = -4*c + 650. Suppose 5*k = 8*k + q. Let x = k - -108. Solve a + x = -2 for a.
-5
Suppose 0 = 10*v - 2219 - 191. Suppose 236*f = v*f. Solve f = b + b - b for b.
0
Let l be (-4)/((-3)/((-3)/2)) - -4. Suppose z + 0*d - d - 23 = 0, l*d + 2 = 0. Suppose -2*g + z = -5*t - 7, 3*t + 16 = g. Solve -5*r + 2 = g for r.
-1
Suppose -2*j - 3*v - 2*v = 9, 18 = 5*j - v. Let q be ((-4)/2 - -1) + 1 + j. Let z be (-2)/(-1 + 4 + q)*-6. Solve -8 = -z*u - 0 for u.
4
Suppose -77 = -3*v + 34. Suppose -2*z = 5*r - 7*z - 260, 0 = -r - 4*z + v. Let i = r - 48. Solve -f - 2 = -i for f.
-1
Let q = 89 - 68. Let n = -14 + q. Suppose 4*l - n - 1 = 0. Solve -7*r + l*r = 15 for r.
-3
Let b = -7660 - -7710. Solve -4*s - 26 = -b for s.
6
Let q = 528 - 497. Suppose 2*z + q - 27 = 0, -12 = -2*a + 5*z. Let n be 4/20 - (-14)/5. Solve -2*l = n + a for l.
-2
Let w = -19875 - -19923. Solve x + w - 43 = 0 for x.
-5
Let z = 195 - 193. Let o(j) = j - 6. Let k be o(9). Suppose 2*p = z, -k*p - 2*p - 3 = -q. Solve 4*b - q = 12 for b.
5
Suppose 25*p - p = -2568. Let m = p - -109. Solve -s + 9 = m*s for s.
3
Suppose -33*f + 19*f - 19*f + 561 = 0. Solve -6*j + 33 = -f*j for j.
-3
Let m(c) be the first derivative of 3*c**2/2 - 19*c + 7. Let o be m(7). Suppose g - 1 = o. Solve -g*f + 0 = 9 for f.
-3
Suppose -587*j + 565*j = -1166. Solve -29 = -41*p + j for p.
2
Let t(j) = j - 17. Suppose 0*d + d = 5*n - 95, -d = 0. Let s be t(n). Solve s*p - 20 = 6*p for p.
-5
Let z = -5 - -9. Suppose -45*w = -20*w. Suppose w = -2*c + z*s + 20, -4*c - 3*s + 1 = -6. Solve c*y - y = 3 for y.
1
Let r = 511 - 527. Let x be (-3)/12 - 132/r. Solve 13*l - x*l = -15 for l.
-3
Suppose 2*l + j - 51 = 0, -7*j + 8*j = l - 30. Suppose 0 = -3*y - 3*n + l, 3*y - n = n + 22. Solve y*k = 3*k - 25 for k.
-5
Let f(x) be the third derivative of x**6/120 - x**5/30 - 5*x**4/12 - 3*x**3/2 - 51*x**2. Let c be f(5). Solve -3*d - 1 = -c for d.
5
Suppose -396 = -12*h - 348. Suppose -n + 75 = 2*n. Solve h*g + g - n = 0 for g.
5
Let a = 10106 + -10068. Solve -744 = 55*r + a*r for r.
-8
Suppose 4*o + 20 = -4*i, 3*o - 2*i - i + 15 = 0. Let c be (7/o - 14/(-35))*0. Solve c = -k - k + 2 for k.
1
Suppose -6*n - 253 + 37 = 0. Let f be 545/30 - ((-186)/n - 5). Solve -26 + f = -4*x for x.
2
Suppose -5*x - 4*r + 1393 = 0, -2*x + 558 = -94*r + 96*r. Solve 270*f = x*f + 28 for f.
-4
Let u(i) = 3*i**2 + 180*i - 10. Let z be u(-60). Let v be (-1 - 0) + 2 + -5. Let d be 3/(-9)*(z - v). Solve d*f + f = 0 for f.
0
Let z be ((31 + 5)/(-4))/(-3). Let g be 3 + -6 + z*2. Solve -5*x + 2*x = -g for x.
1
Let t be (25 + -20)*(-21)/(-15). Solve t*i = 152 - 187 for i.
-5
Let k(t) = 9*t + 3*t**2 + 4*t - 2*t**2 - 10 - t. Let b be k(-7). Let r = b + 47. Solve 2*z + r*z + 4 = 0 for z.
-1
Suppose -57*t + 24*t = -33. Solve 9*u = -t + 46 for u.
5
Suppose 5*f + f = 18. Let z(r) = -r**3 + 3*r**2 + 2. Let n be z(f). Let p be (1*n/(-3))/((-3)/9). Solve -p*a = -5*a + 3 for a.
1
Suppose 17*f + 56567 = 58012. Solve -f*d + 152 + 103 = 0 for d.
3
Let i = -96 - -104. Suppose -36 = -4*o - 4*v, i*v - 21 = o + 3*v. Solve -25 = y + o*y for y.
-5
Let u(v) = 3*v**2 - 46*v - 85. Let r be u(17). Solve 0 = d - 8*d - r*d for d.
0
Suppose 18*a = -950 + 1382. Solve 40 = -a*b + 4*b for b.
-2
Suppose -7*w = -w - 84. Suppose w*m = 9*m + 10. Suppose m*j = -2*f + 1 - 3, 2*f - 10 = j. Solve -f - 1 = 4*t for t.
-1
Let q(s) = s**3 - 9*s**2 + 16*s. Let l be q(7). Suppose 0 = o - 3*a - l, -2*o + 0*o + 2*a + 16 = 0. Suppose -o*h = 0, k + 4*h - 4 = -2. Solve k = f - 1 for f.
3
Suppose 22*q + 21 = 29*q. Suppose 0 = -q*l - 1 + 1. Solve l = 4*t - t - 3 for t.
1
Suppose g + 2*p = p + 12, -4*g + p + 23 = 0. Suppose -4*s - g*v + 27 = -4*v, 2*s - 1 = v. Let k be ((-14)/21)/((-2)/9). Solve -k*h = s + 12 for h.
-5
Suppose -3 = -d - 5*v, -4 = -d - 3*v + 1. Let s be 4*((-3)/5 - d/(-5)). Suppose -5*u + 24 = s. Solve 0 = 2*h - u*h for h.
0
Let g(y) = -y**3 + 14*y**2 + 25*y - 60. Let i be g(15). Solve 0 = 75*c - i*c - 90 for c.
-6
Suppose -5*m - 603 + 618 = 0. Suppose -2*i + m*i = 3*f + 14, -2*f - 2 = 3*i. Solve 12 = 10*w + i for w.
1
Let j = -6 - -10. Let n(m) = -m**2 - 5*m - 2. Let v be n(-3). Let w be ((-4)/(8/(-3)))/(2/v). Solve w*a = -j + 10 for a.
2
Suppose 2*b + 3*m = -1, 0*m = 5*b + 3*m + 7. Let i(l) = l**2 + 5*l + 8. Let s be i(b). Suppose -2*j - 8 = h - s, -4*h + 24 = -4*j. Solve -q + h*q + 2 = 0 for q.
-2
Let u(m) = 8*m + 10. Let v(t) be the second derivative of t**3/6 - 18*t. Let g(s) = u(s) - 10*v(s). Let x be g(4). Solve 15 = 3*q + x*q for q.
3
Let z(h) = 6*h - 80. Let o be z(20). Suppose -41*q + o*q + 5 = 0. Solve -2 = x - q for x.
3
Let d(l) = 692*l + 2378. Let i be d(-3). Solve i*m - 56 = 294*m for m.
7
Let f = -3152 - -3158. Solve f*z + 85 = 23*z for z.
5
Let y(t) = -t - 1. Let v be y(-2). Suppose -16*j - 228 = -28*j. Suppose -2*d = 3*o + 4, -17*o - j = -14*o + 5*d. Solve o*c + 11 = v for c.
-5
Suppose -17*n + 37744 = 9065. Solve -32 = 1679*y - n*y for y.
4
Suppose 930*w + 2346 = 1032*w. Solve -3*r + 5 = w for r.
-6
Let w(i) = -4*i + 19. Let z be w(13). Let n = -31 - z. Suppose c - 3 = -a, -a + n*c + 7 = 1. Solve a = 3*v - v for v.
2
Suppose -5*i - 130 = -2*