-6*h + 0*h + 78 = 0. Suppose 0 = -n - 4*n + 60. Which is smaller: h or n?
n
Suppose -8*z - 8 = 128. Is z smaller than -14?
True
Let u = -10 + 14. Let x be -123 + u/((-8)/2). Let w = -2479/20 - x. Does w = 1?
False
Let h be (1/(-2))/((-5)/(-100)). Is h at least -11?
True
Suppose -9 = -o + 3*o + 3*g, 5*o + 12 = -4*g. Let b be (-14)/(-4) - ((-12)/4 + 6). Do b and o have different values?
True
Let y(v) = 7*v - 7. Let m be y(6). Which is greater: m or -2?
m
Let p = -234 - -235. Let v be (-6)/(-4)*20/(-95). Is p at least as big as v?
True
Let w(b) = -2*b - 20. Let d be w(-9). Let q = -3 - d. Do q and -1 have different values?
False
Let h be 20/4 + (-54)/8. Is 9 != h?
True
Let u = -2 - -1.2. Let q = u + 0.4. Let c be 32/10*-1 + 3/15. Which is greater: c or q?
q
Let i be (-4)/(-38) - 28*(-9)/(-228). Let g = -10/33 - 14/33. Which is smaller: g or i?
i
Suppose -8 = -2*c - 0. Let w be (-4)/c + 10/6. Which is greater: 1 or w?
1
Suppose 4*q - j - 20 = 0, 5*j + 2 = -q + 7. Suppose q*k + 12 = -8. Is -4 less than or equal to k?
True
Suppose 294 = -3*p + 5*i, 4*p + 2*i + 138 + 280 = 0. Let s = 103 + p. Which is greater: s or -2/187?
s
Suppose -8*a + 3*a - 185 = 0. Let v = -35 - a. Is -0.2 > v?
False
Let h = 780 - 3888/5. Suppose -27 = -5*m + 2*m. Suppose -2*k + 4*d = -16 - 2, 2*d - m = -5*k. Which is smaller: k or h?
h
Let w be (330/(-117) - (-8)/52) + 2. Let j(c) = c**2 - 2*c - 4. Let y be j(3). Which is smaller: w or y?
y
Suppose 0 - 1 = -o. Let a = -0.046 + 25.046. Let j = a - 21. Is j < o?
False
Let z be 2/(-1 - (-6 - (1 + -8))). Which is smaller: z or -3/559?
z
Suppose -2*z = -25 - 23. Suppose -p + 3*p = z. Suppose -6*w + w = 4*l - 36, 2*w - 5*l + p = 0. Are 6 and w non-equal?
True
Let t be 204/(4 - -2) + (-6)/(-2). Is t smaller than 37?
False
Suppose -5*d - 4*c - 191 = 0, 3*d - 157 = 7*d - c. Let q = 35 + d. Let y be 3/q*40/(-30). Which is smaller: 1/3 or y?
1/3
Suppose -2*y + 20 = -0*y. Let i(r) = -r**3 + 9*r**2 + 11*r - 8. Let w be i(y). Which is bigger: 10 or w?
10
Suppose -5*h = 2*k + 15, k - 4*h = -3*k - 16. Suppose -2*f = -2 + 12. Is k less than f?
False
Let w = -2 - -5. Suppose -2 = -w*g + 4*g. Let r = -25 + 23. Is g less than or equal to r?
True
Let t = -766 + 2332/3. Let q = 22 + -11. Is q <= t?
True
Suppose -r - 3*o + 9 = 0, 0 = -5*o + 12 - 2. Suppose -u = -4*q - 2*u + 9, -r*u = 5*q - 20. Let k be -1 - 0/(-1 - 1). Which is smaller: k or q?
k
Let g = 745 - 1475/2. Is 0 <= g?
True
Suppose 4*g - 9 = 3*g - 4*b, -4*g = -b - 53. Let i = -13 + 11. Which is greater: g or i?
g
Let q be (1/(-32)*4)/1. Do q and 2 have different values?
True
Let i = -0.78 - 23.22. Let z = -7 + 7.1. Is i > z?
False
Suppose 3 - 1 = -z - c, 5*z = -c - 2. Let g = 5/48238 - -12637481/8441650. Let v = -12/175 + g. Is z less than or equal to v?
True
Suppose 28*t = 31*t - 3. Which is smaller: 3/5 or t?
3/5
Let a be (-4)/(-6)*(5 + -2). Suppose o - 80 = -3*b - b, -2*b + 3*o = -54. Let p be 87/63 - (-6)/b. Which is bigger: p or a?
a
Let q = -0.1675 + 0.0675. Which is smaller: q or 1/20?
q
Let s = -7 + 9. Suppose -5*l - 18 = s. Let r be (5/(-4) - -2)*l. Is -5 at least r?
False
Let p = 107 + -79. Let c be (1 - 24/p) + 1. Is c >= 2?
False
Suppose 2163 = 4*t - j, -5*j - 1620 = -3*t - 2*j. Do 541 and t have the same value?
True
Let s be 1*(4/(-4) + (-6)/(-3)). Suppose b - 4 = -j, -2*j + 4*b + 0 + 2 = 0. Suppose -v = -j + s. Is 4 <= v?
False
Suppose 3*n - 15 = 0, z + 293 = n - 174. Is z < -464?
False
Suppose -4*h + 5*h - 36 = -t, 4*t = 12. Suppose -1 = k, -4*k = -4*v - h + 1. Which is bigger: -8 or v?
-8
Let x(f) = -2*f**3 + 2*f**2 - 2*f + 2. Let m be x(1). Let g be (-52)/16 - (-5 - -1). Let r = -1/12 + g. Is r not equal to m?
True
Let h be (168/2)/(-4) - -3. Let c be ((-2)/h)/1 + -1. Is -2 greater than or equal to c?
False
Let c be (3 - (-77)/(-21))*(-6)/(-16). Do 9/4 and c have different values?
True
Let n = 299.7 - 300. Which is greater: n or 2?
2
Suppose 0 = -51*f - 16*f - 6566. Is f greater than -99?
True
Let m be 3 + 135/(-145) - (-2)/(-1). Is -0.1 < m?
True
Let m = -941 + 944. Are -39 and m equal?
False
Let c = -1033/2 - -495. Which is smaller: -21 or c?
c
Let f(s) = 10*s + 273. Let m be f(-27). Is 25/14 <= m?
True
Suppose g + 0*g - 2 = 0. Let m = 166 + -161. Which is smaller: m or g?
g
Let c be -4 - (2 - ((-18)/6 - -8)). Let p = 1460 + -121178/83. Which is greater: c or p?
p
Let f be 1*(-1 - (-1 + 0)). Suppose 2*v - 2 - 8 = f. Suppose 6*z - z + 35 = -3*r, 0 = v*r - 25. Is -11 < z?
True
Let j(q) = q**3 - 56*q**2 - 63*q - 34. Let r be j(57). Which is bigger: r or -377?
r
Suppose -2*s + 2 = -3*n, 5*s - 2*n - 12 = s. Suppose 41*b - 47*b = -30. Is s smaller than b?
True
Let r be (-3)/(-2)*(-8)/(-12). Suppose -r = -4*n + 15. Suppose p = 4*p - n*h + 40, 4*p + 4*h = -16. Is -9 > p?
False
Let r = -17 + 17. Let a = -1 - r. Let m be (1 + -2)*1/1. Is a bigger than m?
False
Let c = 6535 + -19219/3. Which is smaller: 129 or c?
c
Let z be (8 + -9)/((-1)/3). Suppose -z*f + 6 = -9*f. Is -2/15 > f?
True
Let h(t) = 2*t + 5. Let o be h(3). Let r = 2.81 + -0.21. Let k = r - 1.6. Is o at most as big as k?
False
Let b = -8 - -11. Suppose -t - 1 = -2*q - 4, -b*q + 3*t = -3. Is -2/7 greater than q?
True
Let a = -0.0695 + -2.9305. Let j(o) = -o**3 - 3*o**2 - 2*o + 3. Let y be j(-3). Is y at least a?
True
Suppose 2*x + s = 9, -3*x + 4*s = s - 36. Let z be 6/4 - (x + 91/(-14)). Is -3/10 equal to z?
False
Let a(q) = q**3 - 21*q**2 + 9*q + 23. Let g be a(20). Is -196 < g?
False
Let u(g) = g**3 - 16*g**2 - 41*g + 61. Let o be u(18). Which is smaller: -24 or o?
o
Let b = 117 - 147. Let r = b + 31. Is r != -1/30?
True
Let d = -163/5 - -33. Suppose -5*p - 3*u + 72 = -7*u, 5*u + 15 = 0. Let a be (3/10)/(p/16). Is a equal to d?
True
Let w = 59.42 - 9.13. Let t = w + -50. Let q = t - 2.29. Is q smaller than -1.2?
True
Let c be (-6)/33 + (-24)/(-11). Let t be 4 + c + 108/(-32). Is 4 less than or equal to t?
False
Let u = -9 + 13. Suppose -9 = -8*p + 31. Suppose 0 = -u*x + j - 0*j, p*x + 3*j = -17. Which is smaller: x or -5/6?
x
Let w = -468 + 467.5. Is w not equal to 0.073?
True
Let w = -995 + 1341. Is w at most 344?
False
Let v = 3219 - 180255/56. Which is smaller: 1 or v?
v
Suppose 42*t - 416 = -4*z + 43*t, 3*z = -t + 305. Does z = 103?
True
Let t = 146.1 + -218.1. Is t less than -2/9?
True
Let q = -1020/7 + 146. Is 23/5 >= q?
True
Let i = 2829/241564 - 5/524. Which is greater: i or 1?
1
Suppose 0 = -4*i - 42 + 126. Let m = -18 + 32. Let j be (-1)/3 + m/i. Which is bigger: j or 7?
7
Let h = 9 - 16. Suppose 147 - 427 = 14*o. Let i = -26 - o. Which is smaller: h or i?
h
Let c be (8/(-9))/(60/750). Is c < -12?
False
Suppose 7*a - 8 = 3*a - 2*b, a = -4*b + 16. Suppose -4 = -q - 0*u + u, a = -3*q + 4*u + 17. Let m be 6/(-4)*(-3)/27. Which is greater: q or m?
m
Let c = 7.8 - 92.8. Let y = -85 - c. Is y at most as big as -4?
False
Let d = -95/16 + 1051/80. Which is bigger: d or 8?
8
Let a be (30/(-12) - -2)*(3 - -121). Is a >= -64?
True
Let j = 8 + -2. Suppose -6 - j = 3*s. Which is bigger: s or -1?
-1
Let y(l) = -l - 5. Let m(d) = -13*d**3 + 2*d**2 - 1. Let a be m(1). Let j(f) = -f**2 - 12*f - 4. Let w be j(a). Let p be y(w). Which is smaller: p or -3?
-3
Let g be (-3 - (-16)/6)*-18. Suppose 40 = -s + g*s. Let o = s - 6. Is o < 4/7?
False
Let u(h) = -h**2 - 12*h + 16. Let b be u(-11). Let g = b + -104. Let p = g - -217/3. Is -6 less than or equal to p?
True
Let f(j) = 5*j - 32. Let b be f(6). Let l be (-16)/(-8) - 22/6. Which is greater: l or b?
l
Let p = 0.079 - 13.079. Which is smaller: p or -0.3?
p
Let s be (-2)/(-9) - ((-215)/45)/1. Let o(w) be the first derivative of -w**4/4 - 11*w**3/3 + w**2/2 + 16*w - 2. Let k be o(-11). Is k equal to s?
True
Let m(o) = o**2 + 11*o + 1. Suppose -29 - 21 = 5*b. Let d be m(b). Which is bigger: -8 or d?
-8
Suppose -4*g + 2*l = 16, -2*l = -5*g - 3*l - 6. Let h = -26 - -12. Let d = -17 - h. Are d and g non-equal?
True
Let n = -26 - -53/2. Let k(u) = -u**2 + u - 8. Let x(v) = -v. Let l(o) = k(o) - 5*x(o). Let c be l(4). Is n <= c?
False
Suppose 2*w = 5*w - 108. Let s = -34 + w. Is -15 bigger than s?
False
Let y = -31 + 22. Which is smaller: y or 10?
y
Let a be (-11)/517*(-11 + 4). Is a less than or equal to 1?
True
Suppose 2 + 3 = -5*r. Suppose 6*w - w = 0. Let q = r + w. Which is s