, -3*u - 2 = -h - 16. Do h and 2/251 have different values?
True
Suppose -11*m + 16 = -13*m. Is -7 at most m?
False
Let h be (-51)/9 + 3/(-9). Let m be 0/((-12)/(-4)) + h. Is -6 bigger than m?
False
Suppose r = -17 + 1. Is 1 less than or equal to r?
False
Let y = -12 + 11.8. Which is greater: -2/9 or y?
y
Let z(w) = -w + 2. Let f be z(0). Suppose f*p - p = -4. Let r = 34 + -36. Is p equal to r?
False
Let c be 2/8 - 70/56. Is -1/9 <= c?
False
Let z be (14 - 42)/(-1 + 3). Is z greater than or equal to -16?
True
Let y be (-2)/(0 + 3 + -1). Let p = 3 - y. Suppose -2*c - 2 = -p*c. Which is smaller: -0.2 or c?
-0.2
Let w = -91.08 - -91. Is w > 3/4?
False
Suppose 0*y = 2*y, 3*n + 3*y - 15 = 0. Which is smaller: 6 or n?
n
Let o(d) be the first derivative of -d**4/4 - d**3 + 5*d**2/2 + 3*d - 3. Let x be o(-4). Which is smaller: -4 or x?
-4
Let q = 6 - 6.06. Let i = q + -0.04. Let l = i + 0.3. Which is smaller: l or 4?
l
Suppose w - 36 = -3*w. Let m = w - 13. Suppose 2*g - 19 = 5*s - 0*s, 3*g + 5*s + 34 = 0. Which is smaller: m or g?
m
Let j(u) = -u**3 + 9*u**2 - 8*u + 4. Let p be j(8). Let z be (p/(-48))/(6/(-16)). Let m be ((-2)/3)/((-2)/(-3)). Is z > m?
True
Suppose 4*p - 4 = 8*p, 4*g + 3*p = 13. Let y be (-3)/1*g/12. Is 1/8 at most y?
False
Suppose 5*g = -28 - 22. Is g at least as big as -12?
True
Let o = 317 - 4757/15. Suppose 0 = 4*q + 4. Does q = o?
False
Let f = -56 + 57. Which is bigger: -1/4 or f?
f
Suppose -24 = -d - 2*d - 3*g, -20 = -2*d - 3*g. Let n(y) = y**2 - 4*y - 1. Let i be n(d). Let u = 526/7 - 75. Is i bigger than u?
False
Let n = 19 - 11. Let r be 2/n*12/(-8). Is -1 at most r?
True
Let q = -137 + 138. Do q and 23 have different values?
True
Let d be (0 + -1 - 2) + 1. Let x be 8/(-48) + (-2)/d. Is -1 equal to x?
False
Let u be (26/50)/(9/15). Let z = -45784/15 + 3051. Let r = z + u. Which is greater: r or -1?
r
Let w = -1 + 3. Suppose 0 = -i + w*i - 1. Does 1/11 = i?
False
Let d = 98 - 97.6. Do d and 0.08 have the same value?
False
Let m(v) = -v**3 - 7*v**2 - 6*v + 4. Let t be m(-6). Suppose t*n - 5*o - 31 = 0, -2*o + 15 = 5*n + 1. Which is smaller: 6 or n?
n
Suppose -6 = -5*m + 3*w, 4*w - 24 = -3*m - m. Suppose -c - 2*c = 2*d - 38, m*c + 40 = 4*d. Which is smaller: 12 or d?
12
Suppose -5*k - 55 = -2*s, 0*s - 2*s = -3*k - 61. Which is smaller: 36 or s?
s
Let f be (-3 + 1)/((-16)/6). Let o = -0.088 + 2.088. Which is greater: f or o?
o
Let i = 3.17 + -5.06. Let p = -0.11 + i. Is 0.1 less than or equal to p?
False
Let u = 1/130 + 253/910. Which is smaller: u or 3?
u
Let o(i) = i**2 + 7*i - 8. Let w be o(1). Are 1 and w nonequal?
True
Let v be (0 - 2)/((-6)/9). Suppose 0 = v*x - 2*x - 2. Is x <= -2/5?
False
Let b = -49 - -48. Suppose -5*i - 2*o + 166 = 0, -5*i - 4*o + 163 = -3*o. Let u be i/14 - 0 - 2. Is b at most u?
True
Suppose -2*a + 4*y = a + 6, 5*y = 4*a + 8. Suppose 0 = -j + 5*g - 15, -19 = -4*j - 2*g + 9. Suppose -1 = 5*u + h, -j*u + h + 5 = -4*h. Is u less than a?
False
Let k = -0.7 - 3.3. Let t = -8 - k. Let m = t + 3. Which is smaller: m or 2/9?
m
Let y = -49 - -47. Which is greater: 11 or y?
11
Let m be (3 + (-2 - 0))/(-1). Let t = m - 2. Let u be (-4)/20*(1 - -1). Is t at least u?
False
Suppose -51 = 10*i + 79. Is -17 bigger than i?
False
Suppose 4*j + 6*n - 2*n = 0, 3*j - 2*n = 20. Which is bigger: -1 or j?
j
Let l = -31.13 - -31. Let y = l + 0.33. Is y >= 1/5?
True
Let o = -17 + 16.3. Let l = 2.7 + o. Let j be (-4)/18 - (-4 - -4). Is j greater than l?
False
Let v be ((-2)/(-5))/((-312)/(-130)). Which is smaller: -1 or v?
-1
Suppose 2*f + 3 - 1 = 0. Are -1/55 and f unequal?
True
Let b = 3 - 8. Let k = -0.07 - -0.17. Which is greater: b or k?
k
Let r = -23 + 18. Is r at least -6?
True
Suppose 4*j = j. Suppose -3*r + 3*w = -r - 42, -3*r + w = -56. Let g be (1/8)/((-9)/r). Is j bigger than g?
True
Suppose 4*c + 4*o = -0*o + 24, -9 = -c - 4*o. Suppose -2*a - c*f + 2*f = -21, 4*f - 6 = a. Which is smaller: a or 5?
5
Let h = -0.06 - 1.94. Let n = h + 0. Which is smaller: n or -0.2?
n
Let i = -14 + 13. Does -6/13 = i?
False
Let l(c) = -c**2 - 3*c - 2. Let u be l(-2). Suppose 10 = 5*h - u. Suppose 1 = -h*d - i + 8, -3*i + 16 = 5*d. Is d at most 6?
True
Let i be (-1)/(3/15*-1). Suppose -i*l = 32 - 2. Which is bigger: l or -7?
l
Suppose -n = 104 + 7. Let s = n - -558/5. Is 0 <= s?
True
Let o(q) = -35*q + 1. Let x be o(1). Let u be 4/(-6) + x/(-6). Let z be (-2)/6 + u/6. Which is greater: z or 0?
z
Let z = 0.003 - -5.097. Let b = 5 - z. Let q = -0.2 - b. Which is smaller: q or -0.4?
-0.4
Let o(y) = -y**2 + 6*y + 3. Let m be o(6). Let s be (-2)/(-6) - m/9. Let r = 143.01 + -143. Which is greater: r or s?
r
Suppose 2*h - h + 6 = 0. Let a be (2 - (-9)/h)*-1. Which is smaller: a or -2?
-2
Let u = 5 - 2. Let w = -7 + -1. Let c = -8.1 - w. Is c not equal to u?
True
Let i = -4 + 3. Let f(a) = a + 22. Let c be f(-10). Let g be 0 + (c/(-27))/(-2). Which is smaller: g or i?
i
Let j be 2/(-11) - (-120)/(-66). Let m be 0 - (4/j - -2). Is m <= 1/4?
True
Suppose -f + 6 + 0 = 0. Let v(l) = l - 11. Let n be v(f). Is n not equal to -6?
True
Suppose -g - 7 = -2*j - 3, -3*j + 3*g + 6 = 0. Suppose -j*x = 3*d - 2*d, 3*x = -4*d. Let k be (-2)/2*d + 2. Is 1 at most as big as k?
True
Suppose -6*d = -0*d. Is -2/101 at least d?
False
Let t = -73 + 73.5. Which is greater: 0 or t?
t
Let i = -2/1005 + 1342/1005. Let u = 1 - 1. Let g = u + 0. Which is smaller: g or i?
g
Let x(a) = -a**2 - 2*a + 1. Let d be x(1). Let j = -1 - d. Let u be (3/42)/(j - 2). Is u at least as big as 1?
False
Let h be (-2012)/(-18) - 4/(-18). Let l = 1678/15 - h. Which is bigger: -1 or l?
l
Let x be (-1)/(-3) - 2/4. Suppose 0 = -3*m - 6 - 27. Let b = 11 + m. Is b equal to x?
False
Let p = 2.98 + -3. Let c = -2.02 - p. Let q = c + 2.2. Which is smaller: q or -0.1?
-0.1
Suppose -4*a + 3*r = a + 7, -7 = a + 5*r. Which is smaller: a or -6?
-6
Let a(n) = n**2 - 5*n + 5. Let z be a(5). Suppose -v - 25 = -6*v. Suppose -5*k = -3*p + 30, 10 = 5*p - 0*p + v*k. Is p <= z?
True
Let d = 7 - 10. Let r(b) = -b**2 + 2*b - 3. Let t be r(3). Let x be t/4*(2 + 0). Is d smaller than x?
False
Let b = 38192/57 - 670. Is -1 < b?
True
Let v = 4 - 1. Let c = 13.1 + -13. Which is smaller: c or v?
c
Let n be (-52)/(-180) - (-1)/(-3). Let h = n - 41/90. Is -0.2 greater than h?
True
Suppose 6*o = o. Suppose z + 0*z = -5*i + 3, -5*i + 11 = -3*z. Suppose -2*d + d + i = o. Which is smaller: 2 or d?
d
Let l = -8 - -7. Suppose 0 + 6 = -3*r. Which is greater: r or l?
l
Let i be (-2)/16*(-4)/3. Are 0 and i equal?
False
Suppose -2*d = -4*o + 106, 0*o - 2*d + 83 = 3*o. Is o bigger than 27?
False
Let u = -2 + 9/4. Suppose 4*z + 15 = k - 6*k, k = -3. Is u greater than or equal to z?
True
Let d be (1/(-2))/(8/(-16)). Let s(p) = 2*p**3 + 2*p**2 + p + 2. Let y be s(-2). Let t be (-12)/y*2/3. Is d at least t?
True
Let z be (-12)/(-105) + (-2)/5. Let a(c) = c + 7. Let r be a(-6). Is z greater than r?
False
Let i(z) = 30*z + 1. Let y be i(1). Which is smaller: 32 or y?
y
Let q(y) = y**2 + 6*y + 6. Let b be q(-6). Let o = 5 - b. Is o bigger than 4/9?
False
Let a = -11 - -8. Let h = -4 - a. Do h and 6 have the same value?
False
Suppose 6 = -2*k - 106. Is -56 greater than k?
False
Suppose -11 = -6*n - 47. Suppose -4*m + 4 = -0. Let z(d) = -5*d + 1. Let x be z(m). Which is greater: x or n?
x
Let z = 17 - 41. Let g be 45/20*z/99. Which is bigger: 0 or g?
0
Let d be 38/76 - 46/4. Is d bigger than -12?
True
Suppose -5*f = 3*q + 80, 5*f - q - 32 = -92. Which is smaller: f or -12?
f
Let c be (42/4)/(3/(-12)). Let w be -2 - 2*44/c. Let g = -103 + 102. Is w bigger than g?
True
Let c be (3/(-54))/((-8)/21). Let k = 3/16 + c. Are 1 and k unequal?
True
Let m be (-9 - 0) + (11 - 15). Which is greater: -11 or m?
-11
Let c = 0.086 - -5.044. Let i = -0.13 + c. Which is smaller: i or 0.2?
0.2
Suppose -6*u - 4 = -2*u. Let y = -1 + 5. Let z be (-6)/40*10/y. Which is smaller: u or z?
u
Let c be (-1 - -22)*(-2)/(-6). Suppose -c - 3 = -2*y. Is 5 equal to y?
True
Let b = 3 + -2. Suppose -4*v - 24 = -0*v. Let z = -6 - v. Is b <= z?
False
Let k = 7 + -3. Let b be k/18 + (-65)/(-234). Let d = 0.1 - 0.1. Which is bigger: b or d?
b
Let z = -1887342/5 - -366373. Let h = z - -11170. Let x = -75 + h. Is x at most as big as 1?
True
Let t be ((-24)/(-9))/(3/9). S