 7, 5*m + 10 = 4*h + h for m.
1
Suppose -m - 3*r = -12 - 17, 4*m - 66 = -2*r. Suppose 5*f = 4*i + 5 + m, 5*i = 20. Solve k - 1 = v - f, 2*k + 6 = -4*v for v.
1
Suppose 0 = a + 5, 103 = 4*u + 71*a - 70*a. Let c = -5 + 4. Let k be -2 + (c - -5) + 1. Solve k*x = 5*t + u, 1 = t + 4 for x.
4
Suppose -4114*y + 60 = -4094*y. Solve -5 = 5*c - 10*u + 8*u, 3*c + 3*u = -y for c.
-1
Let z be (-1)/(-3*(-6)/(-288)). Let s be z/6 + 2 + (-29)/(-87). Let i = -6 - -6. Solve 5*o = b - s, i = 3*b - 4*o + o - 3 for b.
0
Let r(j) = 3*j**2 - 301*j + 290*j + 45 - 4*j**2. Let i be r(-14). Solve -2*f - 2*h + 13 = -3*f, 4*f - i*h = -32 for f.
-5
Let y be 0/6 + 8 - 19. Let q be 34 + -39 + (-1 - y)/2. Solve 3*f + q*j - 3 = -3*j, f - 1 = j for f.
1
Let a(l) = -l**2 + 9*l - 2. Let g be a(10). Let s = g + 15. Solve -4 = -4*m + w, m + 4 = -s*m - w for m.
0
Suppose 7*c = 1705 + 52. Let d = 266 - c. Solve -5*a - 3*u = d, -3*u = -0*u for a.
-3
Suppose 3*t + 25 = 5*f, -15 - 1 = -3*f + 2*t. Solve -f*a + 5*q + 59 = 82, -3*a + 3*q = 12 for a.
1
Let n(x) = -2*x + 7. Let s be n(2). Suppose -s*u = -13*u + 320. Let m be 2/9 + 0 - u/(-18). Solve 5*y - 11 = 3*p, -2*y + m = -6*p + 4*p for y.
4
Let j be 0/(-41)*(-10)/(-210). Let c(a) = -a**3 + 2*a**2 + 5*a - 3. Let s be c(3). Solve -2*k = -5*b + 17, -s*k = -j*k - 12 for b.
5
Suppose -29404*u = -29415*u + 55. Solve 3*l + 3 = 2*t, -5*l - u*t + 1 - 31 = 0 for l.
-3
Let v(d) = -17*d + 9. Let q be v(-6). Let c = 114 - q. Solve -c*g = 15, 5*x - 4*g - 76 = -31 for x.
5
Let v = 0 + 5. Suppose -5*n - 5*r - 19 = -7*n, -3*n + 3*r = -33. Let c be 2/7*(n - v). Solve -c*d - 15 + 3 = 2*k, d = 2*k + 9 for d.
-1
Let m = 10535 - 10533. Solve 5*q = -a + 8, m*q + 1 = 29*a - 28*a for q.
1
Suppose 14*j = 99 - 57. Suppose -3*o + 15 = j. Solve -o*z - 20 = -4*b, -z + 2*z - 2*b = -9 for z.
-1
Let s = 37 + -26. Suppose -331044 + 330978 = -33*n. Solve -n*q + 3*u = -0*q - 13, -s = q + 2*u for q.
-1
Suppose -15*o + 291 = 306. Let i be 84 - 81 - (0 - o). Solve 4*a - d = i*d - 14, 5*a + 2 = -4*d for a.
-2
Suppose 2*r = -5*x + 2, -321*r + 319*r - 8 = 0. Solve 6 = 69*b - 70*b + 5*h, -x = -3*b + 5*h for b.
4
Suppose 3*i - 12 = -0. Suppose -9 + 21 = i*r. Suppose 0 = 5*b - 5*j - 45, -6 = 2*j + j. Solve -2*s = r*m - 2*m + b, 4*m = 3*s + 5 for s.
-3
Suppose 0 = -27*z + 14*z + 1703. Suppose z*s = 135*s - 12. Solve 0 = -s*n - 2*d - 14, 5*d = -3*n - 18 - 8 for n.
-2
Suppose 30 = -23*c + 33*c. Solve -5*u - 3*j = 40, 0 = 4*u - c*j + 5 for u.
-5
Suppose -4*k + 5*b = 64, 4*k - 2*k = -5*b - 2. Let s = k - -12. Suppose -5*f = -9 - s. Solve n - 9 = -3*u, -4*n = -u + f*u - 14 for n.
3
Let w be (-4)/(-14) + (-1164)/(-679). Solve -2*l - 7*p - 2 = -3*p, 0 = -w*p + 4 for l.
-5
Suppose 3 - 19 = -4*h. Suppose 7*b + 10 = 5*b, 3*b + 20 = -5*d. Let r = d - -4. Solve -h*o = 2*k - 0*k + 14, r*o - 22 = 5*k for k.
-5
Suppose 4*s + 2*w - 6 = 0, -3*s + 4*w = -7*s + 12. Let v be s/(10/(-2) + -2). Solve v = 4*x + 5*z + 24, 2*x = -3*x + 2*z + 3 for x.
-1
Let v(w) = 3*w**3 - 35*w**2 - 14*w + 29. Let n be v(12). Let p be 4/3 + n/(105/77). Solve -5*u - 10 - 10 = 5*g, g - 2*u - p = 0 for g.
-1
Suppose 0*i + 4*i - 16 = 0. Suppose 10 = i*z - 10. Suppose 20 = -4*f + z*f. Solve -2*r - r = -5*g + 34, -5*r + g = f for r.
-3
Let m(t) = t**2 + 27*t + 4. Let b be m(-23). Let z be 2/4 - 396/b. Solve -3*n + 15 = -2*q, 3*q + 15 + z = 4*n for q.
0
Let u(b) = b**3 + 26*b**2 + 79*b + 235. Let d be u(-23). Solve -d*c - y + 3 = -6, -5*c = -y - 11 for c.
2
Let g(y) = 28*y + 58. Let h(d) = -d**3 + 3*d**2 - 9*d + 12. Let r be h(2). Let q be g(r). Solve 2*x - s + 4 = -3*s, 5*x + 3*s + q = 0 for x.
2
Suppose 0 = -2*t + 11*x - 9*x + 6, -5*x = -2*t + 6. Suppose -t*b = 134 - 173. Solve 12 = -3*g + 7*g, 4*w - 3*g + b = 0 for w.
-1
Let k(s) = -21*s**3 + 21*s + 21. Let h be k(-1). Suppose 11*i - h*i = -70. Solve 2*w - 5*j - 45 = i*w, -2*j = -3*w - 7 for w.
-5
Let m = 5 + -2. Suppose 14*h - 455 - 4221 = 0. Let u = h - 313. Solve -3*j - u = -m*n, -2*n + j + 9 + 3 = 0 for n.
5
Let x(i) = i**2 - 3*i + 5. Suppose -3*u + h = 4*h - 3, 2*u = -5*h - 4. Let t be x(u). Solve -10 = -0*m + t*m - 4*l, 3*l = 15 for m.
2
Suppose 81*o - 32*o - 837 = -53. Suppose -9 + 4 = c, 3*f - 2*c = 10. Solve -v - x - 4 = f, v = -3*v + 4*x - o for v.
-4
Suppose 15*r - 13*r - 4 = -5*j, 3*r - 6 = -3*j. Let c = 5 + 17. Suppose 2*m + 2 = 2*p + 4, p + 5 = 5*m. Solve 4*x + c = r*z - p*z, -3*x - 17 = -2*z for z.
1
Let y = 5414 - 5410. Solve 4*v = 8, -y*z + 9*z = 2*v - 24 for z.
-4
Let q(a) = 13*a**3 + 2*a**2 + 3*a + 1. Let f be q(-1). Let r be f/(-26) - 3/(-2). Suppose -b + 2 = -r. Solve -5*p - 2 = -4*l - 3*p, b*p + 17 = -5*l for l.
-1
Suppose -354 = -25*y - 17*y - 18. Solve d + i - 4 = 0, 8*d + y = 9*d - 3*i for d.
5
Suppose 325*x + 1015 = 320*x. Let y = 207 + x. Let c = -19 - -21. Solve -5*u = y*h - 13, c*h - 4 + 5 = -u for u.
5
Let x(f) = -f**2 + 30*f + 88. Let h be x(34). Let k = h + 53. Solve 4*n - 4*i = 15 + k, -4*n + 16 = -3*i for n.
1
Suppose 2*h = -3*o + 335, h + 341 = 3*h + 5*o. Let b = -72 + h. Suppose 0 = -10*s - 3*s + b. Solve p = z - 3, 6*p - 4*z = 3*p - s for p.
-5
Let l(u) = 2*u**2 + 114*u - 617. Let x be l(5). Solve 4*w - x = 3*j, 4*w = 5*j - 3*j + 2 for j.
-1
Suppose 293*p + 7 = 298*p - t, 0 = -4*p + 3*t - 1. Solve 18*n - 21 = 22*n + 5*o, -n = -2*o + p for n.
-4
Let c = -86 + 92. Suppose 9*k = c*k - 6. Let x(r) = 5*r**2 + 10*r + 3. Let j be x(k). Solve -m - 3*v - j = 0, -6*m + 3*m = v + 1 for m.
0
Suppose -6*j = -2*z - j + 93, -4*j = -2*z + 90. Let c = z - 33. Let i(d) = -4*d - 18. Let r be i(-5). Solve -13 = 3*v - u, 2*v + 22 = -r*u + c*u for v.
-3
Let w = 37 - 35. Suppose 0 = 3*m + w + 4, -u - 4*m - 3 = 0. Suppose c - 3*c = -50. Solve -u*l - c = 5*g, -5*g = -5*l + 2*l + 17 for g.
-4
Let t be (2616/2180)/((-3)/(-10) - 0). Solve -3*q - t = q - 4*g, 4*g - 4 = -3*q for q.
0
Let f be -6*(0 - (-86)/(-6)). Suppose 2 = -3*m + f. Solve 0 = 2*a + j - 12, 7*j - 3*j - m = -4*a for a.
5
Let d(w) = -w**3 - 6*w**2 - w + 8. Let m be d(-6). Let q(p) = p + 2. Let r be q(-2). Let s = 195 + -195. Solve r = -c + 2, 2*c + s*c - m = -2*k for k.
5
Let g be (15/(-10))/((-18)/300). Let r be (-30)/g*15/(-6). Solve 5*k - 4 = -4*d - 1, -4*k + 3 = r*d for k.
3
Suppose 0 = 41*t - 5*t + 144. Let x be t/32 - (-99)/24. Solve 0 = -2*j + 8, y - 17 = -4*j - x for y.
-3
Let t be (-4)/(-144)*1828 - (-16)/72. Solve 3*i - 14 = 5*f, -4*f + 2*i - t + 39 = 0 for f.
-4
Let q be (-19929)/1022*(-20)/3. Solve -s - 5*b - 132 + q = 0, -s = 3*b for s.
3
Let n be ((-80)/(-120))/((-4)/(-18)). Let d be (180/(-5))/n*4/(-8). Solve 14 = 5*t - k, -2*t + 3*k + d = t for t.
3
Suppose -5*b + 2*n = -11, 62*b = 58*b - 4*n + 48. Solve 0 = -5*z - b*u + 15, -z + 17*u + 3 = 14*u for z.
3
Let v(k) = -2*k + 2. Let r be v(3). Let q be (6/5)/(r/(-60)). Let u = q + -14. Solve -2*z + 3*g = 6 + 10, z + u*g = 14 for z.
-2
Let u be (-4)/(-6)*(-99)/(-6). Suppose -5*s - 1 = -u. Suppose 0 = -4*z - 12, 8 = 2*a + s*a + 4*z. Solve -3*m - 3*d = a + 4, 0 = -5*m + 2*d - 8 for m.
-2
Suppose -3*x = 5*d + 42, -2*d - 5*x = d + 38. Let g be (-1)/(15/40 - (-3)/d). Solve z = 3*z + c + g, 2*c = z - 1 for z.
-3
Let n be (-18)/(-21)*(-1344)/(-288). Solve -4*o = -5*r + 25, 2*o + n*r + 6 + 0 = 0 for o.
-5
Let k be 10/50 + (336/(-20))/(-6). Solve 4*s - k*t + 7 = 0, -4*s + 5*t - 5 = -4 for s.
-4
Let b = 3 + 0. Let l be ((-1592)/(-3383))/(609/119 + -5). Suppose 75 + 50 = 5*i. Solve b*o - 8 = -l*t, 5*o = -3*t + 4*t - i for t.
5
Let u(z) = -z**3 - 20*z**2 - 19*z + 13. Let d be u(-19). Solve -5*j + 3*l + d = 0, 3*j = 5*j + 5*l + 1 for j.
2
Let z = -53 + 43. Let g = z + 8. Let x = g + 7. Solve 0 = 3*w + 3*n - 15, x*w - 3*n = w - 15 for w.
0
Suppose 0 = 2*q + j - 16, 29 = 64*q - 63*q + 4*j. Solve 0 = 3*r - 9, -6*r = q*g - 2*r - 22 for g.
2
Let l(h) = 3*h**2 - 6*h - 6. Let t be l(-1). Suppose -3*k = 5*y + 3 - 6, t*y + 9 = 0. Solve c - k = 3*p - c, p - 4*c - 8 = 0 for p.
-4
Let r(l) = 5*l - 1. Let v be r(1). Let d = 353 - 324. Suppose d - v = 5*b. Solve -4*x - 7 - 8 = -3*p, 5*p - 25 = -b*x for x.
0
Let a = -8055 - -8055. Solve 5*r = 2*w - a + 8, 0 = 3*w - 5*r + 7 for w.
1
Let u(b) be the first derivative of -b**3/3 + 4*b**2 - 13*b - 54. Let k be u(5). Solve -4*y + 5*s - 19 = 18, 0 = k*s - 10 for y.
-3
Let v = 35 + -30. Suppose 17 = 3*p + 4*t, 3*p - 4*p + 5