. Let h = -195 + 192. Is h bigger than p?
False
Let n(l) be the first derivative of 9*l**2/2 + l + 1. Let c be n(-1). Suppose -4 = 2*r + 10. Is r greater than c?
True
Let l(u) = -u - 4. Let z be l(-4). Let a be 1/(1/17*-1). Let j = 17 + a. Does z = j?
True
Suppose n = 6*n + 3*g - 23, 2*n - 3 = 5*g. Suppose n*o = -4*x + 76, 2*x = -3*x + 5*o + 65. Let t = 31/2 - x. Is t bigger than -2?
True
Let t = -1242/7 + 178. Let f be (-1)/(0 - -2)*-2. Are t and f nonequal?
True
Let h(x) = -x**3 + 9*x**2 - 9*x + 3. Let p be h(8). Let l = p + 7. Which is bigger: l or 1?
l
Let c = 3 - 1. Suppose 0 = 5*b + 9 + 1. Is b greater than c?
False
Let p be ((-2)/7)/(27/(-21)). Let k = p + -8/9. Let i = 0.2 - 0.4. Does i = k?
False
Let o be (1 - 12/4) + 1. Which is smaller: 3 or o?
o
Let z = 96 - 86. Which is greater: 0.04 or z?
z
Let b = 9 - 9. Let c(t) = t**3 - 2*t**2 - 2*t - 4. Let g be c(4). Let j be (-2)/(-6) + g/(-42). Which is smaller: j or b?
j
Let u = -8 + 11. Suppose g - 3*n - n - 13 = 0, -u*n = 5*g - 19. Suppose 4*j - 20 = q, 10*j = g*j - q + 16. Is 2 smaller than j?
True
Let c = 247 + -232.3. Let i = c + -15. Is i <= 1?
True
Let c = 4 + -3.7. Let z = -0.99 - 0.01. Is z less than or equal to c?
True
Let z = -8 - -11. Suppose 2 = -z*i + 5. Is i at least as big as 1?
True
Let r = 0.426 - 0.5. Which is smaller: r or 1?
r
Suppose 3*g = 4*y + 16, -5 - 12 = -3*y - 5*g. Let n be y/(((-4)/(-5))/(-4)). Is 5 less than n?
False
Suppose 0 = -3*r - 2*r + y + 18, 3*r - 8 = 2*y. Suppose 2*s = r*s + 8. Let h be s/10*10/(-12). Are h and -1 non-equal?
True
Let j be (3*1)/(-5 + 6). Let k be j/(8 - -1)*6. Suppose 1 = p - k*p. Are p and -2 unequal?
True
Suppose -2*l - 3*l - 3*j = 15, l - 2*j - 10 = 0. Suppose -4*r + 4*n + 12 = 0, l*r - 2*r = 4*n - 18. Let h be (1/r)/((-4)/(-5)). Is 1 at most as big as h?
False
Let h(j) = j**3 + 5*j**2 + 5*j + 4. Let f be h(-4). Let u be (-4)/7 - (-2 + 17/7). Which is greater: f or u?
f
Let x be 1/(-3) + 20/6. Let s be (2/6)/((-2)/x). Let p = -48 - -48.1. Which is bigger: s or p?
p
Let x(o) = -o**3 + 5*o**2 - 3*o - 3. Let y be x(4). Suppose -2*g + y = 15. Which is smaller: -11/2 or g?
g
Let o = -19 - 109. Let u = 4994/39 + o. Are u and -1 equal?
False
Let b = 0.253 - -3.817. Let m = b + -0.07. Which is smaller: 0 or m?
0
Suppose w - 2*b - 3 = 0, -6*b - 12 = -4*w - 4*b. Suppose 2*j - j = -w. Which is bigger: -2 or j?
-2
Let i(k) = k + 18. Let c be i(-18). Which is smaller: c or 6/7?
c
Suppose 4*r = 4*t - 11 + 3, 0 = 5*t - 4*r - 7. Let y be 6/5 + 1/(-1). Is t at most as big as y?
True
Let x = 10 + -10. Is x less than or equal to -4?
False
Suppose 5*y = -4*i + 5, 0 = y - i - 1 - 0. Which is bigger: -1/7 or y?
y
Let z be (26/13)/((-3)/1). Which is greater: -10 or z?
z
Let v be (1 + 1)/(-2) + 3. Suppose -v*c = c - 18. Are c and 5 unequal?
True
Let q = -3 - -5. Suppose 5*b - 17 = s, s - 3*b + 13 = b. Which is greater: q or s?
s
Let m = -13 - -5. Let x(z) = -2*z**2 + 34*z + 66. Let u be x(19). Which is greater: m or u?
m
Let j(g) = -g**3 + 4*g**2 - 3*g - 1. Let o be j(3). Is o smaller than -1/16?
True
Suppose 4*v - 30 = -5*s - 0*s, -4*v = -s - 18. Suppose -5*p + s*p = 0. Suppose r = -p*r. Is r smaller than 4/3?
True
Let t(z) = z**3 + z + 2. Let j be t(0). Let o = 26 - 17. Suppose 0 = 3*n - 3, o = 4*i + 7*n - 2*n. Is i smaller than j?
True
Let n = -1.4 + 1.4. Which is bigger: -0.007 or n?
n
Let n = -1.7 - -1.6. Which is smaller: n or -2/39?
n
Let u = 0 + -0.2. Let f = 0.2 + u. Which is greater: f or 0.2?
0.2
Let m = 3.9 + -4. Let u = m + -0.9. Are 0.2 and u nonequal?
True
Let s be (-7)/(-3) + 20/30. Suppose 0*f = s*f + 36. Is -12 bigger than f?
False
Let v = 48/185 - 18473/70485. Is -1 greater than or equal to v?
False
Let b be ((-5)/4)/(-5) - (-3)/(-108). Suppose f + 3*f = 0. Which is smaller: b or f?
f
Suppose -5 = -5*c - 10. Is c not equal to -6/55?
True
Let w be ((-5)/10)/((-1)/6). Suppose w*h = -0*h - 3*m, 0 = -3*h - 5*m. Which is greater: h or 3/7?
3/7
Let t = -0.76 - -0.6. Let q = -0.06 - t. Which is greater: -2 or q?
q
Suppose -2 = -2*x - 2*s, -3*s - 3 = -x - 2*x. Let b = -14 + 10. Let n be b/14 + 1/(-21). Which is greater: x or n?
x
Let v = 4/117 + 50/117. Let t(q) = q - 1. Let u(n) = 3*n - 4. Let h(k) = 4*t(k) - u(k). Let r be h(-1). Are r and v non-equal?
True
Let t(u) = 13*u**2 - u - 2 + 0*u**3 - 2*u**3 + 13*u + 3*u**3. Let c be t(-12). Is c bigger than -8/7?
False
Let j be (5 - 1) + (-132)/28. Which is smaller: -1 or j?
-1
Let j be (-6)/4*2 + 3*1. Which is bigger: -3 or j?
j
Let y = -18 - -29. Let h(c) = 10*c - c**3 + 3*c - 2*c - 5 + 10*c**2 + 0. Let k be h(y). Is -6 less than or equal to k?
True
Let w = -32/5 + 106/15. Let f be (-2 - (-3 - 2)) + 0. Let q = f + -3. Are w and q equal?
False
Let x = -10 - -13. Suppose -2*r + 15 = -x*s, -s - r - 3 = s. Let m = -1 - -2. Are s and m equal?
False
Let a = 5/3 + 17/15. Do 3 and a have different values?
True
Let g = 131 + -589/5. Is 12 less than or equal to g?
True
Let b = -7 + 4. Let k be (-2 - 0)/(-2) + -1. Let z = k + -2. Which is smaller: z or b?
b
Let z = 6 - 8. Let b = -3.1 - z. Which is bigger: b or -0.1?
-0.1
Let y be -5 - (1 + -3)/(-1). Let j = y - -6. Which is smaller: j or -3?
-3
Let v(g) = -g + 7. Let d be v(7). Suppose 6*s - s = 0. Are s and d nonequal?
False
Let f = 126 - 133.9. Let p = f + 8. Which is smaller: p or -19?
-19
Let u be 2/(-8) + (-7)/(-12). Let g = -0.42 + 0.52. Is u <= g?
False
Let h(j) = -j**3 - 7*j**2 - 7*j - 7. Let t(q) = -q**2 + 6*q + 10. Let y be t(8). Let v be h(y). Let b be ((-8)/20)/(2/10). Is b less than or equal to v?
True
Let l = -32 + 45. Is 14 greater than or equal to l?
True
Let h(z) = z - 5. Let w be h(6). Is -2/13 less than or equal to w?
True
Let r = 0.3 + 0.7. Let i = -5 - -14. Which is smaller: i or r?
r
Let n be 1/((1/1)/1). Let m be -2*(n + (-6)/7). Let j(p) = -p**3 + 2*p**2 + 4*p - 8. Let c be j(2). Which is bigger: m or c?
c
Let h = -1.1 - -1. Are 0 and h unequal?
True
Let h = 7 - 3. Is -2/5 at most h?
True
Suppose 20 = 2*w + 6. Let f(n) = n**2 - 7*n - 1. Let l be f(w). Which is bigger: -1/11 or l?
-1/11
Let a = 18 + -41. Let w = 23.5 + a. Is 0 at most as big as w?
True
Let s = 1375/9 + -153. Suppose -c = c. Do s and c have the same value?
False
Let g(b) = 16 - 14*b - 2*b + b + b**2. Let a be g(14). Is a greater than 1/2?
True
Let i be (3/(-2))/((-21)/28). Let k be 0 - (1*-2 + i). Let w be k + 3 + -1*2. Which is smaller: w or 0?
0
Let u be 5 + (-53)/11 - (-62)/22. Let r = -5 + 3. Let x = r + u. Is x != -1/5?
True
Let o be (8/12)/(1/3). Suppose -4*b + 2*b = 0. Suppose b = 2*h - 0*h. Is h at most as big as o?
True
Let z = 63 + -45. Suppose 0 = -5*a + 20, b - 5*a + z = 2*b. Suppose 2*x = -x. Which is smaller: b or x?
b
Let o be -1 + -6 + (-1 - -1). Let f be (-6)/(-14) - (-2)/o. Suppose -r = -0*r. Are r and f nonequal?
True
Suppose -7*h + 27 = -4*h. Is 11 >= h?
True
Suppose -17 - 4 = 7*z. Is z at most as big as -3?
True
Let w = 7 - 5. Suppose -w*u - 18 = -4*z, -3*u = z - 0*u + 13. Is 2 > z?
False
Let m be (-6)/(-21) - (-24)/14. Is m bigger than -1?
True
Let u = -194 + 2715/14. Is 0 at most as big as u?
False
Let x(b) = -b + 8. Let f be x(9). Let r be -2 - -3 - 114/40. Let i = -9/4 - r. Is i > f?
True
Let a = -44 - -43. Is -2 smaller than a?
True
Let l = 3 - 13. Let c be l/120*(-2 + -1). Which is smaller: c or 1?
c
Suppose -2*y - 3*b + 8 = 0, -10 = y - 3*b + 4. Do y and -5/3 have the same value?
False
Let p = 20 - 18. Is 1/6 equal to p?
False
Let r be (2/8)/(2/4). Let z = 21 + -16. Suppose -5*o - j = -9, 3*j + 7 = -z*o + 24. Which is smaller: r or o?
r
Let z be 4/(-52)*8/4. Suppose 4*t = -4*w - 12, 4*w - t - 4*t = 6. Which is smaller: w or z?
w
Let w be -2 - (13 + (-2 - 1)). Let g be (-4)/(w/(-9)) - -7. Is g < 4?
False
Let p(m) = 21*m**2 - 2*m + 1. Let z be p(1). Suppose -t + 0*t + z = 0. Suppose -4*v + t = v. Which is greater: v or 6?
6
Let p = -2 - -6. Let k = p + -6. Let x = -2 - k. Which is smaller: x or 2/9?
x
Let m be 0 + 6/3 + -6. Is -4 greater than or equal to m?
True
Let n be 1/(-2 - (-195)/99). Let l = n - -559/17. Is 0 smaller than l?
False
Let k(b) = 2*b**2 - 3*b - 4. Let n be k(3). Is n >= 4?
True
Let k(g) = -5*g**2 - g. Let n be k(1). Which is greater: n or -9/2?
-9/2
Let d = 35 - 30. Let p be (2 - -1)/(6/8). Suppose p*g = -g + d. Is g 