/45 + -1699/9. Let v = -67 + k. Let j = -0.1 + 0.2. Is v less than j?
False
Let h = -12 - -8. Let v = h + 6. Let f = 82 - 244/3. Which is greater: v or f?
v
Let r = -21 - -13. Let d = 15 + r. Which is bigger: -1 or d?
d
Let w(o) = o**3 + 3*o**2 + o + 2. Let c be w(-3). Let y = c - 0. Let d = 30 + -27. Which is smaller: d or y?
y
Let b(j) = j - 1. Let c be b(1). Let z be 2 + c + -2 + 2. Is 1 at least as big as z?
False
Let g = -1610 - -114308/71. Which is greater: 0 or g?
0
Let z(d) = -5*d**2 - 32. Let p(k) = -6*k**2 - 33. Let h(v) = 4*p(v) - 5*z(v). Let w be h(0). Which is smaller: 27 or w?
27
Suppose 72 - 24 = 6*m. Let r be (-1 + 0)*(1 - 1). Is m <= r?
False
Let q be (-528)/108 + (-4)/(-18). Do -1 and q have different values?
True
Let b(w) = -1 + w**2 - 1 + 2 + 1 + 2*w. Let o be -3*(-2 + 8/3). Let h be b(o). Are 1 and h non-equal?
False
Suppose 10*p = 13*p. Is 11 less than p?
False
Let y = 759 - 3781/5. Is 4 equal to y?
False
Let c = 1 + 17. Let h = -20 + c. Which is smaller: h or 1/4?
h
Suppose 0 = j + 4 + 2. Suppose -2*c - 6 = 6. Is j bigger than c?
False
Let m = -10 - -7. Let r be (2 - 3 - -4) + -4. Which is greater: r or m?
r
Let a be 140/65 + 2/(2/(-1)). Which is smaller: 2 or a?
a
Let w = 16.1 - -3.9. Let m = 19.6 - w. Are m and 2/5 equal?
False
Let j(w) = -w**3 - w**2 + 3*w + 3. Suppose 2 = -4*n + 5*n. Let x = n - 4. Let a be j(x). Is a bigger than 3/5?
True
Let o = 5 - 2. Suppose o*q + q - 12 = 0. Suppose 0*j - q*j - 3 = 0. Is j at most as big as 2/23?
True
Suppose 6 = 5*u + 26. Let a(r) = -r**2 - 5*r - 5. Let c be a(u). Are 1 and c equal?
False
Let s = 1 - -1. Let q = -0.026 - -0.236. Let c = 0.31 - q. Are c and s non-equal?
True
Let i be (-4)/(-18) - 12/54. Let z be i + 138*(-6)/16. Let u = 52 + z. Is u less than or equal to 0.05?
False
Suppose 2*o + 7*o = 4*o. Is o greater than or equal to -1?
True
Let g be (4 + -3)*1*6. Suppose 2*o - g*o + 8 = 0. Is 1 < o?
True
Let x be 6*((-3)/6 - (-7)/(-14)). Is -22/3 at most x?
True
Suppose 1175 = 5*a - 5*s, 5*s = 2*a - 180 - 275. Let x be 76/a + 2/(-5). Do x and -1 have the same value?
False
Let m be 46/(-4)*(-1 - -3). Are -23 and m unequal?
False
Let m be ((-6)/26)/(9/12). Let c be (-3)/14 - (-2)/(-7). Which is smaller: m or c?
c
Let g = -0.03 + 0.63. Let y = 0.5 - g. Let m = -5.3 - -0.3. Is y smaller than m?
False
Suppose -5*o + 5*i + 10 = 0, 3*i - 18 = -o - 2*o. Suppose -j = o*u - 5, -4*u + 2 = -0*j - 2*j. Is j >= 6?
False
Let k(c) = -c**2 - c + 2. Let w be k(-3). Let p be (-34)/(-72) + 1/w. Let s be (-4)/(-7)*1/(-2). Which is smaller: p or s?
s
Let k = -2 - -2.05. Let o = k - -1.95. Let m = -0.1 + -0.9. Are m and o equal?
False
Let i = -126.6 - -120. Is -1/4 at most as big as i?
False
Suppose -p - 2 = -3. Let m = 8/4399 - 2846193/21995. Let b = 129 + m. Does b = p?
False
Suppose -2*b + 3*t + 10 = 8*t, -4*b + 20 = -4*t. Suppose 3*g = -2*p - 6 - 1, b*g = p + 10. Is 1/3 bigger than g?
False
Let h(x) = -10*x**3 - x**2 + 3*x - 1. Let t be h(1). Let m be (-110)/(-195) + 3/t. Which is smaller: 1 or m?
m
Suppose 0 = -3*m - 2*m + 10. Suppose -o = 5, 0*t + m*o + 14 = 4*t. Does t = 4/11?
False
Suppose -3*f - m + 175 = 0, 3*m - 171 = -0*f - 3*f. Which is smaller: f or 117/2?
117/2
Let y = 5 - 6. Let q be 3*(-2)/(-6)*y. Which is bigger: q or 2/9?
2/9
Suppose -4*l - 5*t = 15, 4*t + 8 + 4 = -5*l. Let i be (24/10)/((-21)/140). Let s be (i/12 - -1)*3. Which is smaller: s or l?
s
Let y(r) = 3*r - 6. Let t be y(7). Let p be (6/t)/(49/35). Which is bigger: 0 or p?
p
Let z(s) = -s**3 - s - 1. Let t be z(0). Let w be -2 + -2 + 10/3. Which is smaller: w or t?
t
Let u = 0.12 + -2.32. Let n = u + 1.2. Let o = -2.8 + 3. Which is bigger: n or o?
o
Suppose 6 = 3*i + 3*n, 2*i - n - 10 = -6*n. Suppose -3*t = -y + 3, 3*t = -y - 0 + 3. Suppose i*v - v = t. Is 1/2 smaller than v?
False
Let d be ((-52)/6)/(-3 - (-7)/3). Is 14 less than d?
False
Let w = -77936/70863 - 5/1817. Let q = w + 10/13. Let i = -2.2 + 1.2. Which is bigger: q or i?
q
Let t(w) = -4*w + 5. Let s be t(5). Let q be 6/s*(-10)/4. Are q and 1 unequal?
False
Let w = 15 - 20. Let z be (-1)/(-5) + 41/w. Is z at most -7?
True
Let c = 2.6 + -2.5. Let i be (-6)/(-4)*(-6)/(-27). Which is bigger: c or i?
i
Let d = 0.14 + -0.1. Let n = -0.56 - d. Let v = n + 0.3. Are -0.1 and v nonequal?
True
Let n = -1.9 + -2.1. Which is greater: -0.1 or n?
-0.1
Let m = -24 + 14. Let o = 0.32 + -0.22. Which is smaller: o or m?
m
Let g = -41 - -43. Is 1 greater than g?
False
Suppose 0 = 4*s - 5*f + 10 - 30, 3*f = -s + 22. Let k be 114/210 + (-4)/s. Is -1 != k?
True
Let p = 1.991 + 1.974. Let h = 0.065 - p. Let l = h - -4. Are 0.1 and l equal?
True
Let b be 6*(0 + 1)*1. Suppose -3*x = 2*k + 14, -3*k - b = -5*k + 2*x. Is -1/3 < k?
False
Let i = 835/4 + -207. Is 1 smaller than i?
True
Let m = 244/5 + -41. Let i = m + -77/15. Let z = i + -4. Which is smaller: z or 0?
z
Suppose -6*o = -2 - 4. Which is greater: o or -3/8?
o
Let z be (-2)/(0 - 25/35). Which is greater: 3 or z?
3
Suppose u = 8 + 7. Suppose 3*h - 11 = -2. Let c be h/u - (-18)/(-40). Are 1 and c equal?
False
Let y be -2*(-2 - -9)*-1. Suppose 2*g = y - 2. Suppose g*r - r - 10 = 0. Is 3 at most r?
False
Let k = -6 - -3. Let f(c) = c + 11. Let s be f(-8). Let l = k + s. Which is greater: l or -2?
l
Let g be (2/(-4))/((-2)/20). Suppose 4*r - 2*h + 38 - 14 = 0, h + 23 = -g*r. Suppose -2*w - 5*d = w + 9, 5*d + 3 = -w. Which is bigger: w or r?
w
Let i = -3 + 2.5. Let l = i + 0.4. Let g = l + 0. Is 1 less than g?
False
Suppose -1 = -2*u + 5. Suppose -4*r - u = 5. Which is smaller: r or 2?
r
Suppose -3*u + u = -44. Is 23 > u?
True
Suppose -6 = -3*z - 0*y - 3*y, -2*z + 3*y = -14. Suppose 5 = -5*a - 5*r, 4*r = -2*a + z - 10. Is a less than 2?
True
Let p be ((-2 - 0)/(-2))/1. Let h be (2 - 0)*405/(-18). Let q = -134/3 - h. Is p bigger than q?
True
Let z = 15 - 7. Let w = z + 1. Which is bigger: w or 8?
w
Let d = -8 - -10. Suppose d = -j + 5. Let v = j + -3. Is v greater than or equal to 4/9?
False
Let t(i) = -i**3 - 2*i**2 - 4*i - 3. Let r be t(-2). Which is greater: r or 6?
6
Let o = 25599551/141450444 + 1/162028. Let u = -4/97 - o. Let m = -1 + 0. Does u = m?
False
Let z be (2 - 1)/((-3)/(-6)). Let g be (z/(-8))/(65/20). Which is smaller: 1 or g?
g
Let b = 7 - 8. Suppose -c = 3*c - 16, 0 = -o - 2*c + 11. Suppose 0 = o*q + 3*m + 15, 4*m + 9 + 3 = 4*q. Is b less than or equal to q?
True
Suppose z + 4*f = -37, -2*f = -2*z - 2*z - 76. Is -21 smaller than z?
False
Let z(p) = -3*p**2 + 33*p + 1. Let h be z(11). Which is smaller: h or 10/17?
10/17
Let p = 0.2 - -0.2. Let v = p - 0. Let h be ((-2)/(-10))/(12/(-15)). Is v smaller than h?
False
Let c(a) = -a**3 + 6*a**2 + 6*a + 3. Let j be c(7). Suppose 5*t + 0*t = -5. Let l = t - j. Which is bigger: 1 or l?
l
Let l be 85/440 + 1 + 18/(-22). Let r = 10 + -9.8. Do l and r have the same value?
False
Let b = 6 - 6. Suppose -v - 2*v = b. Let c be v + (2/7)/1. Is 0 greater than or equal to c?
False
Let b = 43 - 40. Let o = -1 - -4. Suppose -o*l + 25 = -5*c, c = -0*l - l - 5. Which is bigger: l or b?
b
Let g = -0.1 + -0.2. Let d(v) = -v**2 - 2*v + 2. Let q be d(-3). Is q greater than g?
False
Suppose 2*a - 2*n = 3*a + 16, 5*a - 5*n = -50. Is -6 at least as big as a?
True
Let r(y) be the second derivative of y**4/12 - 5*y**3/3 - 6*y**2 + y. Let d be (-16)/(-4) + (9 - 2). Let a be r(d). Which is smaller: -2/11 or a?
a
Let i = -22/3 - -8. Let k = i + -19/6. Is -3 bigger than k?
False
Suppose -4*m + 2*g = -256, -3*m = -2*m - 3*g - 69. Is 2/7 bigger than m?
False
Let h = -5 - -10. Which is smaller: 2 or h?
2
Let y = 5 - 4.7. Let o = -16.9 - -17. Is o less than y?
True
Suppose 2*r - 7*r = -3*l - 53, -l = -3*r + 23. Which is bigger: l or -57/5?
l
Let f be ((-3)/114)/(2/(-3868)). Let t = f + -51. Is 0 less than t?
False
Let m be (1 - -33)/(4 - 6). Which is smaller: m or -14?
m
Let i = -3.65 - -3. Let p = i + 0.6. Which is greater: p or -1/2?
p
Suppose -3*h + 3 = -5*a - 1, 4*a + 5*h = 19. Suppose 2*u = -1 - a. Let z = u + 3. Which is smaller: z or 1?
1
Let z = -0.5 + 0.4. Let w = -2 + z. Let g = w - -1.1. Is -4 bigger than g?
False
Let l = -6 - -5.94. Let q = l - -0.26. Suppose 0 = h - 0*h - 1. Which is smaller: q or h?
q
Suppose 5*s = 2*o + 16 + 5, 3*o = 4*s - 21. Suppose -w + 12 = -4*v - s, v = 2*w - 9.