t f(q) = -18*q + 7. Let b be f(2). Let p = b + 32. Solve 0 = p*s + 2*s - 15 for s.
3
Let r = 824 + -789. Solve 3*p = -4*p - r for p.
-5
Let t = 5 + -24. Let p = t + 22. Suppose 0 = -3*m - 5*c - 16, 2*m + p*c + 0*c = -9. Solve m*v = -v for v.
0
Let f be (0/2)/((-4)/(-2)). Let l = 14 - 9. Suppose 12*q + l = 13*q. Solve f*o = q*o for o.
0
Let s(y) = y**3 - 6*y**2 + y - 2. Suppose 0 = -4*k + 114 + 2. Let o = k - 23. Let h be s(o). Solve h*z = -0*z for z.
0
Suppose -5*q + 159 = 19. Suppose 2*n + q = 84. Suppose -2*x - 5*x + n = 0. Solve -i = -x*i - 6 for i.
-2
Suppose 0 = -9*x + 16*x - 14. Solve -5*r = x*r - 0*r for r.
0
Let y = -117 - -122. Solve 0*m = y*m + 10 for m.
-2
Suppose -5*v + 19 = 4. Let i be (-310)/(-18) - 14/63. Let w be 5/((-15)/9) - (-8)/1. Solve 0 = -w*x + v + i for x.
4
Suppose 0 = -2*f - 2*f - 4*y + 20, -2 = 2*y. Solve 0 = 11*p + 28 - f for p.
-2
Let o = 103 - 104. Let x(i) = -i - 3. Let k be x(-6). Let l = k + o. Solve -l*s + 5*s - 15 = 0 for s.
5
Let d be (-2 - -2)/(6 - 5). Let u be 18 + (d - (8 + -4)). Solve -4*r + 2 = -u for r.
4
Let h(n) = -n**2 - 12*n + 3. Let d be h(-12). Suppose d*k - 9 + 3 = 0. Suppose k*o - 3 = o. Solve o*b - 12 = -0*b for b.
4
Suppose -47*z + 50*z = 0. Solve z = 2*g - 1 - 5 for g.
3
Let q be (9/(-15))/(5/(-25)). Let t be (q - 6) + (0 - -12). Let m be (3/2)/((-2)/(-4)). Solve -2*a - m = -t for a.
3
Let p be (0 - 5/10)/(1/(-6)). Solve -43 + 28 = p*q for q.
-5
Suppose -5*h + 19 = -1. Let j(f) = -f + 10. Let u(v) = -v**2 + 7*v - 5. Let y be u(7). Let m be j(y). Solve -3 + m = -h*c for c.
-3
Let t be 10/(-85) - 348/(-68). Solve -12 - 8 = t*n for n.
-4
Suppose -4*m - 7*m + 12415 - 12393 = 0. Suppose -2 = -2*z + 12. Let f = -4 + z. Solve -f*s - m = 13 for s.
-5
Suppose -926*t = -924*t - 18. Solve 6*u + 21 = t for u.
-2
Let n(t) = -t**2 - 20*t - 16. Suppose -33*r - 2 = -34*r. Suppose -r*a - 57 = a - 2*y, -5*a = 5*y + 95. Let x be n(a). Solve -x*m + 4 + 2 = 0 for m.
2
Let z(n) = n**3 - 8*n**2 + 9*n + 44. Let j be z(7). Solve -j = -5*h - 73 for h.
-3
Suppose -d + 6 = -0. Solve d*c = -16 - 14 for c.
-5
Suppose -2*d - 43*o = -44*o - 5, -d - 2*o = 0. Solve 0*w = w - d for w.
2
Suppose 0 = -4*l - 5*r - 10, 0 = -2*l + 2*r - 5*r - 6. Suppose 0 = 3*z + 12, -3*k + 7*z - 4*z + 15 = l. Solve k = 2*n - 1 for n.
1
Let l(o) = -o**2 + 7*o - 4. Let j(k) = -k - 1. Let b(n) = -5*j(n) + l(n). Let h be b(12). Solve -d - h = -6 for d.
5
Suppose 75*a = 72*a + 33. Solve 5*g - a*g = -12 for g.
2
Let b(a) = 2*a**2 - 7. Let g = 72 - 68. Let s be b(g). Solve 0 = -3*t - 2*t - s for t.
-5
Let f(v) = 2*v**2 + 18*v + 17. Let d be f(-8). Suppose -d + 3 = g. Solve g*p = 8 + 2 for p.
5
Let a(q) = -107*q - 291. Let v be a(-3). Solve -v + 34 = -2*z for z.
-2
Let l be 4/(-10)*(-10)/8*0. Suppose -6 = -2*g - l*g. Solve 18 = -5*d + g for d.
-3
Let f = 38 + -40. Let c(d) = -d. Let o be c(f). Solve -10 = o*u - 0*u for u.
-5
Let s be (-6)/8 - (-204)/16. Suppose -2*r = r - s. Suppose -b = 4*d + 2, 5*b - b = -4*d + r. Solve 4*n + b + 6 = 0 for n.
-2
Let p(h) = 2*h - 4. Let c be p(-12). Let k be 0/(-2) - c/4. Suppose 3*u - 5 = k. Solve 0 = 2*f - u*f - 2 for f.
-1
Suppose -4*o + 27 = -n, -5*o + 24 = -0*o + 2*n. Solve -9*t + o*t = -15 for t.
5
Let s be 20/(-6)*(-36)/5. Suppose 4*m = -o - 12, -2*m = -3*o + o - s. Let v = o + 12. Solve -c + 2 = -v*c for c.
2
Suppose -2*s = 3*j - 114, 0 = -5*j + 5*s + 138 + 27. Let m be (15/9)/((-3)/81). Let a be j/m*5/(-2). Solve 6*v - a*v = 16 for v.
4
Let v be ((-1)/(-3) + (-12)/9)*1. Let n be v*(16/2)/(-2). Solve -2*t + 4 = -n for t.
4
Let s(l) = 8*l + 4. Let z = -19 + 17. Let n be s(z). Let b be 2/(-8) + (-39)/n. Solve b*v + 0*v - 6 = 0 for v.
2
Let w be ((-215)/(-10) + 2)/((-1)/(-2)). Suppose -3*x = -5*m - w, x + 3*m = 5*m + 17. Solve x = -3*o - 0 for o.
-3
Let u(p) = -117 - 9*p**2 - 21*p + 230 + p**3 - 122. Let w be u(11). Solve 2 = w*x - 8 for x.
5
Suppose x - 8 = -0*x. Let o = 33 + -29. Suppose -10*n + o*n + 18 = 0. Solve n*l + x = -7 for l.
-5
Let b = 10 + -7. Solve 4 = b*o + 10 for o.
-2
Suppose 416 = 45*s + 281. Solve -c + 8 = -s*c for c.
-4
Let j(m) = -m**2 - 10*m - 5 + 4*m**2 - 3 - m**2. Let c be j(6). Solve -h - h + c = 0 for h.
2
Suppose -40 = -o - 17. Suppose 3*k + 11 = o. Solve k*l = -l - 10 for l.
-2
Let j(l) = l**3 + 8*l**2 - 10*l + 5. Let d be j(-9). Suppose -2*n - 2*a = -d, 0 = -0*n - 5*n + 2*a + 14. Solve -7 - 5 = n*i for i.
-3
Let o be (-1)/(-4) - (-1899)/36 - 1. Let x = 52 - o. Let q(s) = 7*s**2 - s. Let p be q(-1). Solve x = 5*m + 3 - p for m.
1
Let k = 1 - 1. Let w be 1 + (12 + (-4 - -3))*1. Let m be (6/5)/(w/20). Solve k*v - m = v for v.
-2
Let g = -19 - -23. Let k be (-2)/g*(-156)/6. Solve k - 5 = -4*u for u.
-2
Suppose -5*k - 3 = -63. Let a = -10 + k. Suppose -5*g + 2*o + 2 = 0, -g - 4 = 4*o - 22. Solve 10 = g*b + a for b.
4
Let g be (0 - 0)/(6/(-6)). Let n be (2 - g/(-5)) + (-3 - -2). Solve -4*c + n = 5 for c.
-1
Suppose 12*x + 901 = 29*x. Solve 4*s - x = -37 for s.
4
Suppose -4*v + 23 - 3 = -4*q, 0 = -4*v - 2*q - 10. Solve -4*j + 20 = -v*j for j.
5
Suppose g - 12 = -5*g. Solve 4*d - g*d - 4 = 0 for d.
2
Suppose 3*q + 33*y - 19 = 35*y, 4*q - 2*y = 22. Solve 0 = -q*u - 2*u for u.
0
Let i be (-2)/4 + (-30)/(-20). Suppose -4*p + 37 = i. Suppose -3*o + 3*w + 9 = -0, -3*o + 5*w = -p. Solve 8*u = o*u for u.
0
Let o be (-3)/(-15) - (-4)/(-20). Suppose 3*m - m - 24 = o. Suppose -m + 84 = 6*n. Solve 5*r + n = r for r.
-3
Let o = -9 - -14. Suppose j + 2 - o = 0. Solve -j*c = 2*c for c.
0
Let p = -270 - -295. Solve -p*i = -24*i + 3 for i.
-3
Let b = 284 - 284. Solve -21*a + 23*a - 10 = b for a.
5
Let p(a) = -a**3 + a**2 - 26. Suppose 3*g - 7 = k - 19, -4*k + 4*g = -16. Let j be p(k). Let v = 32 + j. Solve -b = -v*b for b.
0
Let n = 120 + -72. Let v be n/(-40)*10/(-6). Suppose -v*q + 9 - 5 = 0. Solve 0 = -2*g + 3*g + q for g.
-2
Suppose 0 = 3*f + 2*f - 3*t - 31, -10 = -2*f + 2*t. Suppose -s - s + f = -4*h, -3*h - 3 = 0. Suppose -2*m = -s - 2. Solve -m*j + j + 4 = 0 for j.
4
Let s = -256 + 258. Solve 0*i + s*i = 0 for i.
0
Let a be (-2)/(4*(-2)/116). Suppose -5*w + a = -21. Suppose 0 = -5*p - w + 20. Solve 6 = -4*v + p*v for v.
-3
Let a be (-117)/(-12) - (13/(-4) + 2). Suppose 3*x + 2*x = 15. Suppose -x*u + a = 2. Solve 2*g = -u*g for g.
0
Suppose -20 = 5*p - 3*p + 2*x, 34 = -5*p + 3*x. Let t be -25 + p/20*-5. Let m = -22 - t. Solve -i - m = 3 for i.
-4
Suppose 3*k + 3 = 0, 2*d + 115*k - 110*k = 45. Solve -15*q + 20*q = -d for q.
-5
Suppose s + 3*k = 12 + 1, 4*s + k = 41. Suppose -36 = -s*j + 7*j. Solve n - j = -2*n for n.
4
Let l(t) = t**2 + 11*t - 7. Let w be l(-12). Solve 0*o + w*o + 10 = 0 for o.
-2
Suppose -2*c = 4*u - 38, 0 = -u - c + 11 - 1. Solve 25 = u*z - 4*z for z.
5
Let b(x) = -142*x + 151. Let p be b(1). Solve 0 = 2*l + p*l + 33 for l.
-3
Let w = -1316 - -1316. Solve -4*k - 33 + 41 = w for k.
2
Suppose -m - 7 + 10 = 0. Suppose -4 = -m*s - r + 8, s + 9 = 4*r. Solve 0 = -x + s - 1 for x.
2
Suppose -3*d = 4*u + 25, d + 3*d + 36 = -4*u. Let v = d + 13. Solve f + 0 = v for f.
2
Let m = -156 + 167. Solve -f = -8 + m for f.
-3
Suppose -3*j = -3*d + 2*d + 13, 0 = -5*j - 15. Let v = -171 + 223. Let i be ((-3)/2)/((-39)/v). Solve 3*m = d*m - i for m.
2
Let p be (-39)/(-18) - 2/12. Let v be 3/2*2/3. Solve p*f + v = 5 for f.
2
Let y be 1/(-2*(-3)/(-18)). Let c be (-11)/y + (-1)/(-3). Let b be -3 + 9 + (-5 - -3). Solve -c - 8 = b*p for p.
-3
Let t be 0 + 27 + -22 + (-1)/1. Solve t*h - 18 = -2 for h.
4
Let c be -2*(1 + 4/(-8) - -10). Let j = -16 - c. Solve j*r = -1 - 4 for r.
-1
Suppose c + 75 = 4*f, 4*c + 58 = 5*f - 33. Solve 18*d - 4 = f*d for d.
-4
Let m = -947 + 950. Solve 0 = -m*u + 4 + 8 for u.
4
Let k = -599 + 604. Suppose 4*w - 2 - 6 = 0. Let d be (-1 - 2)/(1 - 2). Solve -w*p = d*p + k for p.
-1
Suppose -2*f - 4 = -f. Let n be f/(-2 + (0 - 0)). Suppose -8*t - 6 = -4*t - n*u, 4*t - u = -3. Solve t = -a - 1 - 0 for a.
-1
Suppose -3*y - 4*w + 47 = 30, 3*y = -5*w + 19. Solve -16 = y*c + c for c.
-4
Let b = 44 - 37. Let l be -1 + b - (-32)/(-8). Solve 12 = 5*u - l*u for u.
4
Let y(b) = b**2 - 61*b - 460. Let g be y(68). Solve -2 = -g*q - 2 for q.
0
Let o(b) = -54*b**2 - 3*b + 4. Let d be o(1). Let n = 60 + d. Solve n*a = 4*a + 9 for a.
3
Let c be -22*(1 + 6/(-4)). Suppose -10*l + 53 = 173. Let o be ((-16