 = -0.42 + -1.58. Let m = 5 - 1. Let r = m + -3. Is r < v?
False
Let k be (23/(-8) - -3)*-2. Which is smaller: k or -0.1?
k
Let u = 16 - 18. Which is smaller: u or 9?
u
Let d be (-1 + -39)*(19 + -3). Let j = 16002/25 + d. Is j < 0?
False
Let f = -2/49653 + -16236521/248265. Let h = -65 - f. Let j = -2.5 + -0.5. Which is smaller: h or j?
j
Let f = -16/45 - -1/45. Let t = -0.01 - 6.59. Let r = 7 + t. Which is greater: r or f?
r
Suppose 0 = 3*q - 2*l + 1, -6*q + 2*q + l = 3. Is q < -6/5?
False
Let f(r) = r - 3*r - 1 - 2*r. Let u be f(-1). Is 1 greater than u?
False
Let a be (-13 + 6)*1/1. Is a at most as big as -7?
True
Let d = 25 + -24. Which is smaller: 3/8 or d?
3/8
Let y be 4 - 1 - 1 - 0. Let s = 3 - y. Which is smaller: s or -1/3?
-1/3
Let l(v) = -2 - 3 - v - 3. Let w be l(-8). Let k = 35/3 + -11. Which is smaller: k or w?
w
Let y be (-1 + 21)*(-1)/(-2). Let m be y/14 - (-10)/(-35). Which is smaller: 1 or m?
m
Let b(i) = -i**2 + i - 1. Let u be b(0). Suppose 3*v + 15 - 15 = 0. Which is smaller: u or v?
u
Let x(k) = -2 - 2*k**2 + k - 2*k**3 + 3*k - 3*k. Let c be x(-2). Let n be c/(-6) - (-11)/3. Which is smaller: 1 or n?
1
Let x = 0.06 + 2.94. Let c = x + -3.1. Which is smaller: 0.2 or c?
c
Suppose -23 = k - 5. Let n(l) = -5*l + 6. Let v be n(5). Which is smaller: v or k?
v
Let j = -6 + 5. Suppose 0 = 5*p - 2*p + 48. Let y be (-1)/(-3) + p/30. Is y at least j?
True
Let k = -13 + 6. Let y = -15 - k. Let o = 13 + y. Is 1/3 smaller than o?
True
Let q be ((-2)/(-4))/((-2)/(-60)). Let w be (-3)/6*6/q. Is -1/5 > w?
False
Let w be ((-20)/(-8))/(-5)*6. Which is smaller: w or 1?
w
Let u(l) = l + 13. Let k be u(-12). Suppose -3*s + 8 = 2*m + 21, -5*m = -5*s + 45. Let g = -5 - m. Which is smaller: g or k?
k
Let k be (-6)/(-2) + 174/(-59). Which is greater: k or 1?
1
Let r = 0.026 - -0.074. Which is bigger: -72 or r?
r
Let i be (-2)/8 + (-26)/(-8). Let s be (2/12)/(i/(-6)). Let x = 312 - 2499/8. Which is greater: x or s?
s
Let p = -25.3 + 24. Let g = p - -0.9. Let r = g - -0.2. Is -1 bigger than r?
False
Let z be 26/(-30) + 1 + (-88)/210. Which is bigger: z or -1?
z
Suppose 3*b = -s + 13, -5 = 5*s + 4*b - 15. Let r = s + 1. Is r less than -2/5?
True
Let p = -8.5 - -0.5. Let k = p - -8. Let d be 26/45 - (-4)/18. Is d greater than k?
True
Let b = 2274/13 + -175. Are 1 and b equal?
False
Let x be (-2*1)/((-16)/56). Suppose l - x + 1 = g, -2*g + 3*l = 13. Is -4 greater than g?
True
Suppose 3*o - 119 = -11. Is o >= 35?
True
Suppose 5*j - 5*m = -25, -2*j = 5*m - 1 + 32. Which is smaller: j or -2?
j
Let o = 11 - 5. Suppose -3*i + 5 = -13. Are o and i non-equal?
False
Let w be 124/40 + (-2)/(-10)*-3. Do w and 0 have the same value?
False
Let d = -22797913/3349908 + -2/93053. Let j = d + 29/4. Which is bigger: j or 0?
j
Suppose p - 12 = -0*p + 3*l, -2*p + l + 4 = 0. Let t = -307/1050 - -1/150. Is p equal to t?
False
Let i(h) = -h + 3. Suppose 1 = 3*k - 5. Suppose 2*f - 16 = -k*f. Let s be i(f). Which is smaller: -2 or s?
-2
Let p = 14 - 12. Which is greater: p or 0?
p
Let o = 19 + -17. Is o greater than 2?
False
Let k be 3/(-15) + 2 + -1. Suppose 8*y = 3*y. Which is greater: y or k?
k
Let j(h) = -10*h - 1. Let w(s) = -2*s. Let g(m) = -2*j(m) + 11*w(m). Let f be g(1). Are f and -0.1 nonequal?
True
Suppose 2*m + m = 3. Is m at most -2/11?
False
Let r = -6 - -4. Let t be 1*-10*4/16. Which is smaller: r or t?
t
Let h = -128 + 143. Let y = 2 - 1. Is h at least y?
True
Let p be 0 - (-1 + 1 - 5). Let d = -6 + p. Which is smaller: d or -1/3?
d
Suppose -11*k = -12*k - 27. Is k bigger than -28?
True
Let f = 16.64 + -16. Let i = 0.04 - f. Which is greater: i or -1?
i
Let g be 1/2 + (-120)/16. Let f be -2 - (6 + (-2 - -2)). Let w = g - f. Is 6/5 at least as big as w?
True
Suppose 1 + 3 = -4*c. Let r = 21/11 + -262/143. Which is greater: r or c?
r
Let z(k) = k + 1. Let p be z(-1). Suppose 4*g - 18 = -w - 2, 5*w = -4*g + 16. Is p <= w?
True
Let w = 21 + -21.7. Are 2/3 and w unequal?
True
Let x be -3 - (-1 + 1/(-1)). Let i be 0/(3/(9/3)). Let t = i - x. Is 1/3 >= t?
False
Let t be (18/4)/(7/(-14)). Let k = 15 + t. Is k at most 6?
True
Let q = -0.3 + 0.5. Which is smaller: -3/7 or q?
-3/7
Suppose -5 = -3*j + 8*j. Let h = -2 + j. Does h = -1?
False
Suppose r - 6*r + 43 = -t, -4*t - 52 = 4*r. Are -17 and t equal?
False
Let n = 1/10 - 71/110. Which is bigger: n or -1?
n
Let l = -16.9 + 17. Let m = -3 - -7. Is l <= m?
True
Suppose 36 = -7*s + 43. Let p be 0 - -1 - 2 - -9. Suppose 5*y - 12 - p = 0. Is y bigger than s?
True
Let r = -533/426 - -6/71. Suppose t - 9 = 4*u, 6 = 5*u - t + 16. Which is bigger: u or r?
u
Suppose j + 5*o - 3 = -1, -4*j + 23 = 5*o. Which is bigger: 1.3 or j?
j
Let d be 3 + (4 + -1)*-1. Suppose -h = 2*k - 0*k, -h - 4*k = d. Is h greater than -2/9?
True
Let l = 54 - 32. Let v = l - 23.8. Is 1 greater than v?
True
Let u = 5.3 - 5. Let o = -0.3 + u. Let r = -0.1 + o. Do -1 and r have different values?
True
Let u = 17 + -14. Which is smaller: 4 or u?
u
Suppose 4*y + 4*p - 16 = 16, y + 22 = 5*p. Suppose 5*b - 2*h - 235 = -48, -2*b = y*h - 71. Let o = b - 261/7. Which is bigger: 0 or o?
0
Let k be 6/21 - 33/(-7). Suppose -k*f + 4*f - 3 = 0. Let w be f - (1 - (-39)/(-9)). Which is greater: w or 0?
w
Let t(a) = -2*a + 6. Let h be t(0). Let o(x) = 2*x - 11. Let c be o(h). Which is smaller: c or 0?
0
Let s be (-2)/(0 + (-4)/72). Which is smaller: 38 or s?
s
Let w = 5 - 5. Let p = -13 + 12.4. Which is smaller: p or w?
p
Let h = 0.052 - 5.052. Is -1/9 not equal to h?
True
Let f = 3 + -2.8. Let x = f - -1.8. Let q = x - 3. Which is greater: 1 or q?
1
Let z = -1.8 + 2. Let h = -215 - -215. Which is greater: z or h?
z
Let p = 58 - 347/6. Is 2 less than p?
False
Let m(n) be the second derivative of 0 - 5/12*n**4 + n - 1/3*n**3 - 1/20*n**5 - 7/2*n**2. Let s be m(-5). Is 2 bigger than s?
False
Let q(i) be the third derivative of i**4/24 + i**3/6 - 3*i**2. Let t be q(-1). Is t smaller than 0?
False
Let k = 1 + -7/5. Which is smaller: k or 0?
k
Let h = 2 - 6. Let a be (3 + 0 + -7)/1. Is a bigger than h?
False
Let i = 2.8 + -2.6. Are i and 5 non-equal?
True
Let a = 18 - 17. Which is bigger: a or 2/19?
a
Let d be -2 - (39/(-9) + 2). Let b = -374 - -4120/11. Is b greater than d?
True
Let z = 0.09 + 0.41. Is -2 < z?
True
Let u = -0.31 + 0.01. Let w = 0 - -0.7. Let f = -0.3 - w. Which is greater: f or u?
u
Let k(g) = 10*g**2 + 2*g + 1. Let p be k(-1). Suppose 8*l + 1 = p*l. Let a be 2/(-13) + (-215)/(-130). Which is smaller: a or l?
l
Let m be 0/(2/8 - 65/20). Let s = -3 - -1. Which is smaller: s or m?
s
Let p be 2 - ((-44)/(-14))/2. Let w = -36 + 22. Let c = w - -14. Which is smaller: c or p?
c
Let y be (-1 - (-8)/6)*3. Let g = 2 - y. Is 0 < g?
True
Let w(q) = q**2 - 6*q + 6. Let k be w(5). Are 1/12 and k equal?
False
Suppose -3*w = -2*w. Suppose 2 - 5 = -3*d. Which is smaller: w or d?
w
Let x = -593/7 + 85. Let l = 0.6 + 0.4. Is x at least l?
False
Let x be 18/24*(-24)/(-189). Is x at least as big as 2?
False
Let k = 25 - 17. Suppose -3*u - 10 = -k*u. Let v be (-1 - -4 - u)/(-1). Is v at most as big as 0?
True
Let g = 16 - 23. Let c = g + 6. Is -4 smaller than c?
True
Let q(l) = l**3 + 3*l**2 - 3*l - 2. Let i be q(-4). Let r be (40/i)/(4/(-6)). Let k = r - 9. Which is greater: k or 2/19?
k
Let d = -10.6 + 18.6. Which is bigger: 10 or d?
10
Let l be 3 + -1 + 16/(-10). Suppose 60 = 2*v + v. Let q be (-4 - 1)*8/v. Which is smaller: q or l?
q
Let o = 128 - 135. Is o < -78/11?
False
Let r be (-6)/40*(-5)/(-24). Is -1 < r?
True
Let a = -1135 - -26117/23. Is a less than or equal to 0?
False
Let x = -4 - 11. Let p be (0 + (-3)/x)*3. Let v = 0 + -1/3. Are p and v nonequal?
True
Let x = 20 - 19.8. Is 0.25 <= x?
False
Let o = 0.1 - 0.1. Suppose k = -2*k - 63. Let n be (-3)/14 + 6/k. Is o <= n?
False
Let w(r) be the third derivative of -r**4/24 - 5*r**3/6 - 3*r**2. Let d be w(-5). Is d <= -4/7?
False
Let x = -0.01 + 0.01. Is x equal to 4?
False
Let y be 0 - 1 - (0 - -5). Suppose -4*j - 14 = -6. Let c be 4/y + j/(-3). Is c smaller than 1/3?
True
Let a(j) = -j**3 - 23*j**2 - 21*j + 24. Let w be a(-22). Which is bigger: w or 5?
5
Let f(l) = -l**3 + 4*l**2 - 2*l - 3. Let y = 0 - -3. Let k be f(y). Are k and 1 non-equal?
True
Let l = -4 - -3. Let u be ((-7)/(-2))/(l/2). Let h(b) = b**2 + 9*b + 9