-4
Suppose 6*g = g - 10. Let o be (-8 + (-3 - g))/(-1). Suppose -4*k = -o + 1. Solve -k*c - 1 - 1 = 0 for c.
-1
Let f = 1 + 1. Let k be (-3)/(72/(-23) + 3). Solve 5*c = -k - f for c.
-5
Suppose y = -v - 4, -2*v + 8 = 3*y - 4*v. Let q be (0 - 1)/((-3)/(-15)). Let a = q + 7. Solve y*c - 6 = a*c for c.
-3
Let g = 41 - 28. Suppose g + 12 = 5*h. Solve 4 = -3*f - h for f.
-3
Suppose 3*s = -5*j + 82, s = -2*j - 2*j + 39. Solve 3*x - 4 = -s for x.
-5
Let j(q) = q**3 - 3*q**2 + q - 1. Let p(z) = 5*z**3 - 12*z**2 + 3*z - 3. Let t(u) = 9*j(u) - 2*p(u). Let n be t(-4). Solve -3*k = -2*k - n for k.
1
Let y(k) = k**2 + 12*k + 14. Let g be y(-11). Solve -g + 2 = -q for q.
1
Suppose -m = -3*m - 5*u - 22, -3*u - 6 = 0. Let b be (-3 + (-15)/m)*-4. Solve -b*d - 5 = 3*d for d.
-1
Suppose -12 = -5*q - 2. Let j(l) = -l**2 + 9*l - 13. Let v be j(11). Let w be (-2)/(-7) - (-10)/v. Solve 5*x + q - 7 = w for x.
1
Let w be (-4)/(12/(-15))*1. Suppose w*l + 12 = 3*d, 2*l - 4 - 4 = -2*d. Let m be (-1)/(-2) + 3/(-6). Solve p - d*p + 9 = m for p.
3
Suppose -4*w = -88 + 28. Solve 0 = -3*l + w for l.
5
Let y = 73 + -72. Let b be 42/8 - (-1)/(-4). Solve b + y = -2*s for s.
-3
Let o = 2 - 0. Let m = 3 - 3. Suppose a = -m*a + 12. Solve -o*y + a = y for y.
4
Let b = 23 + -21. Solve 0 = -3*h - b*h - 5 for h.
-1
Suppose 4*g + 3*r - 10 = 0, 0 = 3*g - 6*g + r + 1. Let l be (-9)/((-12)/4)*g. Solve -l*u = 2*u + 5 for u.
-1
Let y be (-1 - 2)*(-1 - 0). Let k = 2 + 3. Solve -p + k = y for p.
2
Suppose 5*v - 10 = -5*y, 7 = 3*v - v + 5*y. Let l be ((-2)/(-6))/(v/6). Solve b = -l*b + 6 for b.
2
Suppose 2*b - 7*b + 20 = 0. Let j(g) = g - 7. Let u be j(8). Suppose -5*r = 4*x + 13 - u, -x = -3*r - 14. Solve -8 = -b*t + x*t for t.
4
Let f be 10/15 + (-4)/6. Solve 4*a - 16 + 4 = f for a.
3
Suppose 4*i - 31 + 3 = 0. Let w = 8 - 6. Solve -w*p + 17 - i = 0 for p.
5
Let v = 21 - 13. Solve v + 0 = 2*w for w.
4
Suppose -m - a + 3 = -5, a - 20 = -2*m. Let l = m + -6. Suppose -d - l = -4*d, 0 = 2*g - 3*d - 2. Solve g = -5*c + 19 for c.
3
Suppose -5*j = -4*b + 7, -b + 11 = -3*j - 2*b. Let d = j - -9. Solve 3*k = d*k + 3 for k.
-1
Let f(s) = -s**2 + 8*s + 10. Let p be f(9). Let a be (-40)/(-12)*(p + 2). Solve -6*x + 4*x = -a for x.
5
Suppose p + 3*w = -0*w + 2, -2*p - w + 4 = 0. Suppose -3*x + p*q - 7 = 0, 2*q = -5*x + 21 - 6. Solve 0 = -s - 1 - x for s.
-2
Let z = -3 + 5. Suppose -30 + 44 = -2*l - 5*k, 5*k = -20. Solve i + l = z for i.
-1
Let h = -15 - -17. Suppose 4*o = h*o + 4. Solve -5*f - o - 18 = 0 for f.
-4
Let j be (2 - 2) + -1 - -1. Suppose b + j*b = 3. Solve -6 = b*n - 3 for n.
-1
Let t(d) = 3*d + 8. Let q be t(-4). Let a be 6/q*4/(-3). Solve 0 = -2*h - 8 - a for h.
-5
Let c = -11 + 19. Let n(b) = b - 6. Let a be n(c). Solve 4*r - 10 = -a for r.
2
Suppose -28 = -2*g + 4*d, -4*d - 12 = -4*g + 6*g. Solve g*p + 0*p - 20 = 0 for p.
5
Let z(i) = -i**2 + 9*i + 3. Let m be z(9). Let w be m + -1 + 0 - 0. Let g be (10/15)/(w/12). Solve g*f = 12 - 0 for f.
3
Suppose -3*u - 6 = 4*g, 0 = -5*u + g + g + 16. Solve u = 2*d + 4 for d.
-1
Let j(h) = -h**3 - 7*h**2 - 2*h - 9. Let z be j(-7). Let d(v) = 3*v**3 + 2*v**2 - 1. Let l be d(-1). Let o = l + z. Solve 2 = -w + o*w for w.
1
Let h be 5 + 27 + (1 - 8). Suppose -n - 3*n + 8 = 0. Solve 7*t = n*t + h for t.
5
Suppose o + 2*w + 4 = -2, -4*w = o + 14. Solve -v = o*v for v.
0
Let k(j) = -j**3 - 3*j**2 - j. Let q be k(-3). Suppose -d = q*d. Solve d*v - 3 = -v for v.
3
Suppose -5*i + 4*l + 56 = 0, -9 - 7 = -3*i - 2*l. Let b(p) = -p**2 + 6*p + 5. Let x be b(6). Suppose -x*c = -12 - i. Solve c*a = 2*a for a.
0
Let l = -18 - -37. Let m = l - 17. Solve -m*p - p - 9 = 0 for p.
-3
Let p(l) = 3*l + 3*l - 6 - 5*l. Let f be p(8). Solve 3*v - f = 4*v for v.
-2
Suppose -1 = m + v, -2*v = -3*v - 1. Let x be ((-9)/(-6))/((-3)/(-4)). Solve x*z + 3*z = m for z.
0
Suppose -3*m + 6 = 3*a, m + 2*m + a - 2 = 0. Suppose -3*p + 4*p + 4 = m. Let i(g) = -6*g - 4. Let u be i(p). Solve -6*y = -y + u for y.
-4
Let o(g) = g**3 - 6*g**2 - 9*g + 5. Let c be o(7). Let v = c + 13. Solve -v*j - 1 = -13 for j.
3
Let c = -7 - -10. Let p be (0/c)/3 + 6. Solve p*t - t - 5 = 0 for t.
1
Let z = -38 + 65. Let a = -12 + z. Let v be (-17)/(-4) + (-2)/8. Solve -j + a = v*j for j.
3
Let l(j) = j**2 - 1. Suppose 0 = -2*v - 4*n + 4, 4*v - 4*n = -3 - 1. Let u be l(v). Let k be u - -3 - 2 - -3. Solve -o - 6 = -k for o.
-3
Let q = -163 + 178. Solve f + 2*f - q = 0 for f.
5
Suppose 0 = 4*j - 2*j - 6. Let a(i) = -i**3 - 3*i**2 - i + 2. Let n be a(-2). Solve j*p - 2*p = n for p.
0
Let g be -1*((1 - -2) + -2). Let m = 1 - g. Solve 2*c + 20 = -m*c for c.
-5
Suppose -g - 9 = -2*j + 3, 0 = -5*j + 2*g + 29. Solve 0 = j*l - l + 8 for l.
-2
Suppose 8 = 9*b - 5*b. Suppose -5*p + 27 = b. Solve p*z - 3 = 7 for z.
2
Let n be (3 + -2 + -1)/1. Suppose g - 6*g = 0. Solve g*j - 3*j = n for j.
0
Let k be ((-4)/(-10))/((-2)/(-10)). Solve -2*p - k = -4*p for p.
1
Suppose -3*o - 5 + 38 = 0. Solve -5 - o = -4*v for v.
4
Let s(i) = 3*i**2 + 3*i - 3. Let r be s(-2). Solve r*f - 6*f = -3 for f.
1
Suppose 15 = 4*d - 25. Solve 2*b = -0*b + d for b.
5
Let m = 6 - 3. Let w = 5 - m. Suppose 0 = 4*r - r. Solve r = w*a - 0*a for a.
0
Suppose 3*f = f + 28. Let b = -10 + f. Solve 12 = -0*a - b*a for a.
-3
Suppose -x - 2*x = -o + 9, -x - 14 = -4*o. Suppose -15 = -6*m + 3*m - o*y, 0 = 3*m - 5*y + 25. Let h = -3 + 15. Solve m*b - h = 3*b for b.
-4
Let k = -14 + 18. Suppose -n = -k*n. Solve n*z + 4*z = 0 for z.
0
Suppose -2 = d - 5. Suppose d = -3*p + 12, -4*p = -2*j - 34. Let u = -4 - j. Solve -4*b = -u*b for b.
0
Let n be 9/6 - (-1)/2. Let k(q) = q**2 - 3*q + 2. Let d be k(n). Suppose -3*v + 1 + 2 = 0. Solve -v + d = h for h.
-1
Let w(q) = -q**2 + 6*q + 1. Let p be w(6). Let z be p + (-2 - 1)/(-1). Solve a - z = -3*a for a.
1
Let v = 41 + -32. Solve 6*b + 6 = v*b for b.
2
Let o be (-5 - -1) + -5 + 3. Let l = o - -13. Solve 5*n + 8 + l = 0 for n.
-3
Suppose 19 = 4*k + 3*v, -5*k = -2*v - 13 - 5. Let z be (-1)/k - (-87)/12. Let c be (-2)/z + (-32)/(-14). Solve -2*i = c*i - 20 for i.
5
Let i = 3 - 0. Solve i*w + 9 - 3 = 0 for w.
-2
Let w be (-12)/(-1) + (-2 - -3). Solve 2*k - 3 = -w for k.
-5
Let c(l) = -l + 5. Let x(j) = -j + 4. Let m(p) = -5*c(p) + 6*x(p). Let n be m(-4). Solve -n*s + 17 = 5 for s.
4
Let f(a) = 3*a**2. Let q be (-4)/(3/3 + -3). Let k be f(q). Suppose 20 + k = 4*t. Solve 0 = -4*z + t*z - 16 for z.
4
Suppose 0 = -0*c - 4*c. Suppose 5*i = 2*w + 18, -6*i - w + 21 = -i. Suppose c = i*x - x. Solve x = -r - 2*r for r.
0
Let m be 1*(-15)/(-3)*1. Suppose 0 = 4*t - 5*a - 30, 2*a - 23 = -m*t + a. Solve -t*n = -n - 4 for n.
1
Let i = 35 - 31. Solve -1 = o + i for o.
-5
Suppose 2*s - 6 = 4*s. Let g(x) = x**3 + 3*x**2. Let v be g(s). Solve v = -f - f for f.
0
Let p = 8 + -8. Solve g + 4 = -p for g.
-4
Suppose -2*c + 5*c - 3 = 0. Suppose 0 = r - c - 6. Solve 4*l = -9 - r for l.
-4
Let m(l) = l - 3. Let c be m(6). Solve -c*r = 4 + 2 for r.
-2
Let f = 4 + -2. Suppose 4*b + 2*l + 9 = -13, -1 = -f*b + 3*l. Let y = -2 - b. Solve y = s + 6 for s.
-4
Let s be 9/(-12) + 19/4. Let v be (6/s)/((-12)/(-112)). Let u(y) = y**3 + 7*y**2 + 4*y - 8. Let q be u(-6). Solve 2 = -q*x + v for x.
3
Suppose 4*k - r = 28, 5*k + 3*r - 35 = -2*r. Let l = 11 - k. Suppose 3 = l*i - i. Solve -i = 3*d + 5 for d.
-2
Let b = 3 - -12. Let d = -2 - -11. Suppose 20 = d*t - 4*t. Solve 0 = -f + t*f + b for f.
-5
Let m be (40/(-7))/4*-7. Let v be 0 + (0 - 1*12). Let n = -6 - v. Solve d + m = n*d for d.
2
Suppose 0 = -29*o + 21*o + 48. Solve 0 = -3*z - o - 0 for z.
-2
Let r(a) = a - 7. Let k be r(11). Suppose h = -4*q - 69, 5*q - h = -94 + 1. Let c = 27 + q. Solve k = -y + c for y.
5
Suppose 1 = -h - 7*l + 4*l, -h = -l - 19. Solve 5*g - h = 11 for g.
5
Suppose -6 = -q - 1. Suppose q*n = -4*z + 41 - 10, 3*n - 1 = 2*z. Suppose 3 = 5*g - 3*y - 10, n*y + 1 = -g. Solve 6 = -m + g for m.
-4
Let g = 51 - 51. Solve 4*o + g*o = 12 for o.
3
Let f = 27 - 21. Suppose 2 = y - 0*y. Solve 0 = y*d + d + f for d.
-2
Suppose 3*i - 44 = -i. Let t = i + -6. Let x be (0/(-1))/(-3 - -1). Solve x = -t*l + 10 + 5 for l.
3
Suppose f - 4*f + 9 = 0. Solve -2*h - 1 = f for h.
-2
Let i be ((-1 + 1)*2/6)/(-2). Solve 2 = w - i for w.
2
Let u be 2/(1*(3 + -5)) + 4. Solve -u - 5 = -2*h for h.
4
Let i(z) = -2 - z**2 +