Let z = -45 - -47. Solve 0 = z*q - 3 + 1 for q.
1
Suppose -q = 0, 3*q - 1 = -l - 0*q. Let v(z) = z**2 - 2*z + 1. Let h be v(l). Solve h*p = -2*p - 10 for p.
-5
Let c(k) = k**2 + 9*k + 6. Let j be c(-9). Let s = -5 + j. Solve -y + s = -3 for y.
4
Suppose 4*u - 21 = u. Let z be 1/(-1) - (-2 - -1). Solve -2*a - u - 1 = z for a.
-4
Let n = 9 - 5. Suppose 60 = n*z - m, -3*z + 4*m = -5*z + 48. Solve -w + z = 3*w for w.
4
Let j(g) = -9*g - 4. Let n be j(-4). Let v = -22 + n. Let p be 4/3*15/v. Solve p + 3 = -s for s.
-5
Let w be (4 - 4)*1/2. Suppose 2*t - t - 2 = w. Suppose 0*f + 54 = 3*f. Solve f + t = -4*u for u.
-5
Let s = -44 + 64. Suppose 4*d - 32 = -c - c, 5*c = 2*d + s. Suppose -c = -4*j + 3*j. Solve -l = -j*l - 10 for l.
-2
Let l = 31 + -23. Solve 6*n - 2*n = -l for n.
-2
Suppose 0 = -0*r + 5*r. Let h be (-1 - (-2 + r))*4. Solve 0 = -h*t - 0 + 4 for t.
1
Suppose 0 = -3*b + 7*b - 12. Let n = b - -3. Solve -n*k = -3*k + 12 for k.
-4
Suppose 2*c = 7 + 1. Suppose -q + 2 = -c. Suppose 11 = d + 4*l, q = -3*d - 2*l + 19. Solve d*b = b for b.
0
Let m be ((-1 - -2) + -1)/2. Solve -l + 1 + 1 = m for l.
2
Suppose 10 = 2*a - 0. Solve a*d = 4*d for d.
0
Let d(k) = k - 6. Let b be d(8). Suppose b*l = l. Solve 2*z + 4 = -l for z.
-2
Suppose 10 = 5*x - 5. Suppose -x + 0 = -3*g + 3*l, 4*l = 2*g - 4. Solve g = b - 3*b for b.
0
Let o(h) = 3*h - 6. Let q be o(3). Let j(k) = 2*k**3 + 3*k**2 - 3*k. Let s be j(-3). Let w = -1 - s. Solve q*c - w = -5 for c.
4
Suppose -2*o - o = -12. Suppose -15 = -3*x - 3*r, 0 = 5*x - 3*r - o + 11. Solve -4*d + x + 3 = 0 for d.
1
Let i be 2/(2*-1 + 4). Let r be (i - -1) + -1*2. Suppose -5*x = -3*d - 22, d - 16 = -3*x - 0. Solve r*g = -x*g for g.
0
Let i be (-6)/(0 - (3 + -2)) - 2. Solve -2*m = 14 - i for m.
-5
Suppose 3*p = -p + 8. Let s be 122/8 - p/8. Solve 0 = -5*w + s + 10 for w.
5
Let t = 0 - -5. Suppose -12 = -t*h + 3. Solve g = -h + 2 for g.
-1
Let t be ((-4)/(-14))/((-6)/(-84)). Solve 0 = t*b - 4 - 0 for b.
1
Let v = 7 + -7. Solve 5*w = -10 - v for w.
-2
Let j be 0 + 48 - 0/1. Let n be j/22 - (-2)/(-11). Solve -n*l = -l - 3 for l.
3
Suppose j + 10 = -4*r, r = -2*j - 2 - 4. Suppose -o - 19 - 3 = 0. Let u = r - o. Solve -u = 2*k + 2*k for k.
-5
Let u(t) = 2*t**2 - 4*t + 3. Let j be u(2). Suppose 0 = -2*y + 4, 0 = -j*c + 3*y - y - 1. Suppose 4*k = q + 7, 0*q - c = -k + q. Solve k*f = 6*f + 12 for f.
-3
Let w = -12 - -18. Suppose -2*b = -3*f + 19, -4*f = 4*b + w + 2. Solve q - f = -2 for q.
1
Let o = -13 + 21. Let q(x) = x**2 + 9*x + 6. Let y(m) = m**2 + m - 1. Let t(j) = q(j) - 2*y(j). Let a be t(o). Solve h - 1 = -a*h for h.
1
Let z(h) = 2*h**2 + 5*h + 7. Let c be z(-5). Let y = c - 19. Solve y - 5 = 2*p for p.
4
Let d(o) = o**3 + 3*o**2 - 2*o - 3. Let j be d(-2). Suppose -p - x + 8 = 0, 4*p + j*x - 39 = -7. Suppose -p*n + 12 = -4*n. Solve -2*w = -3*w - n for w.
-3
Suppose 5*a - 2*z - 4 = 0, -3*a + 5*z - 17 = -4*a. Suppose 4*t - 74 + 26 = 0. Suppose 3*y - 5*p + 15 = 0, p - 5*p = -t. Solve -2*l + a = -y*l for l.
1
Let h(l) = l**3 + l**2 - 2*l + 3. Let w be h(-3). Let p = -6 - w. Suppose 11 = -p*d - 2*n + 1, 4*n + 20 = 0. Solve d = -5*z + 3*z for z.
0
Suppose 4*c - 2*c - 26 = 0. Solve c = -4*f - 7 for f.
-5
Suppose 3*g = 5*q + 12 - 1, -5*q + 3 = 4*g. Suppose -44 = -c - 3*c - l, -g*l - 8 = 0. Solve -3*v + 3 = -c for v.
5
Suppose 4*x - 14 = 18. Solve -x = -5*k + 2 for k.
2
Let a(f) = 6*f - 1. Let k be a(1). Suppose -k*o = -4*h - 4*o + 5, -o + 9 = 3*h. Suppose -h*q = 2*x - 4*x, 4*q - 5 = -x. Solve 1 = -m - x for m.
-2
Let u(q) = -q + 2. Let o be u(-3). Suppose -3 = -l + o*m + 2, 3*m = -3. Suppose 3*i + l*i - 30 = 0. Solve 0*r - i = 2*r for r.
-5
Let c be (0 - (-16)/(-1))/(-2). Suppose 3*n + 8 + 4 = 0. Let l = n + c. Solve 3*g + g = l for g.
1
Suppose 0 = -b + 4*a + 4, 2 + 10 = 3*b - 2*a. Let q be (-1 - -4) + (-1 - 0). Let s(d) = -d - 4. Let i be s(-6). Solve q*g - b*g = i for g.
-1
Suppose 0 = -c + o - 6*o + 2, -6 = -3*c + 5*o. Suppose -5*u + 4 = -w, 2*u - c = 5*w - 5. Let m = 2 - w. Solve -z + 0 = m for z.
-1
Let s(m) = m**2 + 1. Let x be s(2). Suppose 13 - x = 4*l. Solve 3*h = -l*h - 10 for h.
-2
Suppose 0 = 2*x + 8 - 28. Suppose 0 = 5*u - 18 - 2. Suppose u*r = x + 6. Solve 2*z = -2*z - r for z.
-1
Suppose 0*h + 5*h - 5 = 0. Solve 0 = -5*b - 6 + h for b.
-1
Suppose 3*u + 51 = 2*p, -21 = -p - u + 12. Suppose s - p = -4*s. Solve 0 = -3*c + s - 15 for c.
-3
Let m(l) = -4*l + 2. Let w be m(0). Solve -2 = -f + w for f.
4
Suppose -5*d + 4*d + 5 = 0. Solve -t + d - 3 = 0 for t.
2
Let g be ((-1)/2)/(1/4). Let n be (g/3)/(6/(-45)). Suppose 13 = v + 2*z, 4*z - 15 = n. Solve 2*i - i = v for i.
3
Let j(b) = 3*b. Let n be j(5). Suppose 4*w = -4*i - 20, -n = -0*w - 3*w + 3*i. Solve 16 = 4*y - w for y.
4
Let w be ((-4)/(-6))/((-1)/(-15)). Let h(o) = -o**3 + 11*o**2 - 11*o + 12. Let q be h(10). Suppose -q*m - 16 + 22 = 0. Solve -w = m*u + 2 for u.
-4
Suppose -4*n - 8*t = -4*t, 3*n + 4*t = -2. Let l = n - 2. Let z be l + (-2)/(-1) - -6. Solve m = -m + z for m.
4
Suppose 35*w = 40*w - 5. Solve z - 1 = w for z.
2
Suppose 5*q + 12 = q. Let l(o) = o**2 + 3*o + 3. Let z be l(q). Suppose 5*d + 48 = 4*p + 14, -2*p = z*d - 6. Solve -2*y = -p - 2 for y.
4
Let s be (-2)/(-3) - (-20)/6. Solve -s*p + 1 = 5 for p.
-1
Suppose -3*q = -8 - 13. Let v = q - 4. Solve v*t - 2 = 4*t for t.
-2
Let m = 23 - 23. Solve -g - g - 4 = m for g.
-2
Let n(c) = c**2 - 2. Let h be n(2). Suppose 2*y - 3*k - 20 = 2*k, -3*k - 12 = -2*y. Solve -h*s + 3*s - 5 = y for s.
5
Let q(r) = r**2 + 0 - 2 + 5 - 7*r - 1. Let s be q(7). Solve -s*u = -3*u - 4 for u.
-4
Suppose 4*y - 6 - 6 = 0. Suppose -y*n - 1 = -5*s, 0*s - 11 = 2*s - 5*n. Solve -3*f = -s + 14 for f.
-4
Suppose -5 - 3 = -4*f. Suppose 0 = -u - u + 4. Solve 4 = -u*p - f for p.
-3
Suppose 4*h + h = 20. Let d be 1/(-3) - 182/(-42). Solve -5*j = -d*j + h for j.
-4
Let z be (1 - 1) + -2 + 2. Let m be 2*((-15)/(-6) + z). Let i be (-294)/(-10) + (-2)/m. Solve i - 4 = -5*o for o.
-5
Let v = 18 + -18. Suppose v = 5*b - u - 0*u - 9, 4 = 4*u. Solve b - 1 = -m for m.
-1
Suppose 2*s - 3 = -3*c - 4, -s - 4*c = 8. Let w be s + 1*1*-2. Suppose 4*p - w*p - 4 = 0. Solve -2*z + 6 = -p for z.
4
Suppose 4 = -4*u + 5*u. Let h = 1 - u. Let f be h/(-6)*(0 - 0). Solve 0 = -f*t + t - 5 for t.
5
Let b be 4/8 + 3/(-6). Let z = 16 - 7. Let o = -4 + z. Solve -o = s - b*s for s.
-5
Let h be ((-1)/(-2))/(4/16). Suppose z - 57 = -5*w, 3*w + z = 19 + 14. Suppose -5 = 3*d + 7, 0 = 5*m - 5*d - 30. Solve m*g = h - w for g.
-5
Suppose -3*b + 15 = 2*b. Suppose -n - 2*n = -5*i + 30, b*i - 24 = 3*n. Suppose 3*m + 12 = 2*k - m, m = -k - i. Solve 2*p - 7*p - 15 = k for p.
-3
Let q = 6 + -2. Let k(w) = 2*w**2 - 5*w - 3. Let t be k(q). Solve -4*h + h = -t for h.
3
Suppose -3*a - 96 = -a. Let d be 12 + -16 - (0 - 0). Let r be a/(-30) - d/10. Solve p = r*p - 2 for p.
2
Let n be (4/5)/((-12)/(-30)). Suppose -4*j + 2 - 6 = -n*f, -10 = 2*j - 5*f. Solve j*z = 4*z - 4 for z.
1
Let d be (-53)/(-9)*3*3. Suppose -17 = -n + d. Let s = -50 + n. Solve 5*p + 0 = -s for p.
-4
Let u = 4 - -3. Let y(s) = s**2 - 8*s + 8. Let m be y(u). Let v be (2 + 3)/1 + 0. Solve 0 = -2*f - v + m for f.
-2
Let w = 20 + -16. Suppose -w*j + 45 = -j. Solve 0 = -6*s + s + j for s.
3
Let m be -4*1/10*-10. Let a be (m/10)/(3/30). Solve -1 = -a*s + 3 for s.
1
Let u(i) = -i**2 - 11*i - 2. Let a be u(-10). Let b(h) = -h**3 - 6*h**2 - 4*h + 7. Let l be b(-5). Solve -5*p = l + a for p.
-2
Let o(m) = m**2 - 3*m + 2. Let l be o(5). Suppose 2*n - l = -2*n. Suppose 0 = -4*a + z - n*z + 28, 0 = 4*z - 16. Solve -16 - 9 = a*w for w.
-5
Let i(r) = -r**3 + 5*r**2 + 5*r + 8. Let a be i(6). Suppose 3*n = -5*p - 4, -2*p = -4*n + 3*p + 18. Suppose n*s + 0*s - a = 0. Solve x - 2*x = -s for x.
1
Let h(n) = -3*n**2 + 20*n - 7. Let a be h(6). Solve -1 = -a*s - 6 for s.
-1
Let s(y) = -y**2 + 2*y. Let p be s(2). Suppose -1 = -5*a - f + 20, -a = -3*f - 1. Solve 2*x + a = -p for x.
-2
Suppose 5*s - 8 = 22. Suppose -4*k - 2 = -s. Suppose 14 = 3*d + 5. Solve y + k = d for y.
2
Let n(z) = -4*z + 9. Let f(b) = -b. Let o(y) = -5*f(y) + n(y). Let t be o(-10). Let j be t/(((-3)/1)/9). Solve 6 = -3*q - j for q.
-3
Suppose 19*j + 4 = 20*j. Solve o = -0*o - j for o.
-4
Let j(d) = -2*d - 12. Suppose -30 = 3*g + 2*g. Let f be j(g). Solve -s - 2*