?
False
Let u = 5 - 2. Suppose -7*h + u = -4*h. Is h less than 2?
True
Let b(f) = 2*f - 49. Let s be b(6). Is -36 greater than s?
True
Let g be ((-228)/(-8))/(24/70). Let m = 83 - g. Which is smaller: m or -1?
-1
Let v be 7/4*(-24)/6. Is v greater than or equal to -17/3?
False
Let u be (-3)/(-9)*0*1. Let f be (0/1)/(1 - u). Let b = -1/173 - -355/1557. Which is smaller: b or f?
f
Let y(u) = -u - 1. Let t be y(6). Do t and -8 have different values?
True
Let l(j) = -5*j + 2. Let f be l(-2). Let o be f/((-15)/(-9) + -1). Let d be 6/27 + 8/o. Is 0.2 greater than d?
False
Let l = -3410/9 - -378. Let z be (-60)/(-80) + 3/(-4). Which is greater: z or l?
z
Let z = -404/105 + 26/7. Is 1 at most as big as z?
False
Suppose 5*l - o = 2*l - 10, 2*l - 2*o = -12. Let b be 21/(-34) - 1/l. Suppose 5*z = 2*z + 3. Which is smaller: z or b?
b
Let o = 0.3 - 156.3. Let r = o + 154.93. Let v = -0.07 - r. Which is bigger: v or -5/4?
v
Suppose 4*i - i = -12. Let u be -2 + -1*14/i. Let v = u + -2. Are -2 and v non-equal?
True
Let m = -98.1 + 98. Which is greater: m or 1.6?
1.6
Let t = -61 + 119. Which is greater: t or 59?
59
Let a = 9 - 5. Let b be (4/16)/((-3)/(-36)). Which is greater: b or a?
a
Let u be 2/(-9) + 849/2484. Let s = -20/23 + u. Let j be ((-4)/10 + 0)*5. Is j not equal to s?
True
Suppose -5*i + 5 + 0 = 0. Let z = 1/5 - 8/15. Which is greater: i or z?
i
Let x be ((-45)/12)/(9/(-24)). Suppose -5*y - 3*r = x, -2*r - 8 = -3*y - r. Are y and 2 non-equal?
True
Let w = -100370/123 + 816. Is 1 <= w?
False
Let a = -16.25 - -0.25. Let c = a + 17. Let g = 2.9 - 3. Are c and g unequal?
True
Let n be (-6)/(3/((-6)/4)). Suppose -n*h + 16 = -j, -h + 5*j = -3*h + 5. Suppose -2 = 5*w + 4*o + 2, 5 = -5*w - h*o. Do -1/2 and w have different values?
True
Let l = 89 - 622/7. Which is bigger: -1 or l?
l
Let g be -57*((-65)/(-15) + -4). Which is smaller: -18 or g?
g
Suppose 2*l + 6 = 3*l. Let v = -6 + l. Let t be v + (-2 - (-32)/18). Is 1 bigger than t?
True
Let h = 11626/11 - 1058. Which is greater: h or -1?
-1
Suppose 2 = -i + 6. Suppose 3*b + y = 3*y - 8, 2*y + 20 = -i*b. Which is smaller: -3 or b?
b
Let w be ((-20)/(-350))/(2/(-10)). Let g = -4 + 4. Which is smaller: w or g?
w
Let l be (-2)/((-107)/289 - 2). Let m = l - 6/137. Suppose -q - q + 2 = 0. Which is smaller: m or q?
m
Let j(v) = -v**3 - 5*v**2 - 7*v - 5. Let i be j(-4). Is 2 equal to i?
False
Let n = -1 - -5. Suppose -n*l = -12, 11 = -0*r - r + 5*l. Which is greater: r or 5?
5
Let p = -4 - -4. Which is smaller: -3 or p?
-3
Suppose -2*y = -2*t, -y - 4*t = -3*y - 10. Suppose -b + 2*h - 5 = -0, 5*b + y*h = -10. Suppose -3*r = -2*r + 4. Which is smaller: r or b?
r
Suppose 4*t - 4*w - 7 - 29 = 0, t - 29 = 5*w. Is t less than 4?
False
Let c be (-1 + 4/12)*6. Which is smaller: -14/3 or c?
-14/3
Let k = 17722/17 - 1043. Do -2 and k have the same value?
False
Let o(g) = g**2 + 4*g - 5. Let k be o(-8). Suppose -4*l + k = 7. Is l <= 6?
True
Let d = 8 + -5. Let m be 1 - (d + (-27)/12). Is m at least -1?
True
Suppose -3*u = -8*u. Suppose 16 = -2*j - l - 2*l, l = 3*j + 2. Let c be ((-19)/9 - j)*3. Is u at most as big as c?
False
Let k = -6 + 4. Let b be (1 + 1 - 2)/(-2). Suppose -3*m + 9 = b, -h - 3*h = -m + 15. Is k at least as big as h?
True
Let i = -6.8 + 7. Which is greater: 1 or i?
1
Let s = -13 - -10. Let h(z) = -2*z**2 - z - 3. Let i be h(s). Is i at most as big as -18?
True
Let d be 7/2 + (0 - 1) - 3. Which is smaller: d or 2?
d
Suppose 65*h - 36 = 69*h. Is h > -1?
False
Let u(v) = 3*v + 12. Let r be u(-4). Let d be (-1)/(-1*(-15)/9). Which is smaller: r or d?
d
Let y = -1 - -3. Let m be 13/((2 - 3) + 2). Let w be -2 + 12/m*y. Which is greater: -1 or w?
w
Suppose 0 = 4*m - 2 - 2. Is m at most as big as 0?
False
Let h = 3 + -19/6. Let k be (1/(-2))/((-17)/34). Do k and h have the same value?
False
Let v(a) = 2*a**3 + a**2 + a - 1. Let p be v(1). Is p smaller than 3?
False
Let v(h) = 3*h**2 - h + 1. Let o be v(1). Let p be o/12*(-3)/(-1). Suppose -x + 4*x = 6. Which is bigger: p or x?
x
Let p = -2 - -1. Let i = 1 - p. Suppose -o + 2 = -i*o. Are -2 and o equal?
True
Let w be (-1116)/(-2960) + 3/(-5). Let j = w - 1/37. Which is smaller: 1 or j?
j
Let z be (-6)/(-2)*(-3)/9. Let f be 0 + (-458)/830 - z. Let s = f + -4/83. Which is smaller: -5/3 or s?
-5/3
Let o = 15 - 25. Let q(n) = -n**3 + 9*n**2 - 9*n - 2. Let t be q(8). Is o bigger than t?
False
Let z = -0.23 - -0.03. Let q = 2.6 - z. Let w = q + -3. Is w at least -2?
True
Let g(f) = 1. Let p(c) = -c - 4. Let i(j) = -3*g(j) + p(j). Let h be i(-4). Which is bigger: h or -1?
-1
Suppose -12 = -a - 5*a. Which is bigger: 11/4 or a?
11/4
Let b(y) = -y**3 - 6*y**2 + 3. Let i be b(-6). Let f be (3/15)/(i/(-5)). Which is smaller: f or 0?
f
Let n(i) = i**2 + 6*i. Let o be n(-6). Suppose g + o*g + 2*a = 0, -3*g - 4*a = 4. Let j = -250 - -247. Is g bigger than j?
False
Let b be (-10)/(-4) + 21/14. Let w = -8 - -11. Let d = w - b. Is d at least as big as -1?
True
Let t be (-2)/(-1*8/28). Let q(r) = r**2 + 5*r - 1. Let b be q(-6). Let o = t - b. Do o and -1 have different values?
True
Let t be 3/3*(3 - 2). Let y(h) = -2*h**2. Let z be y(t). Suppose 0 = 6*r - r. Do z and r have different values?
True
Let i be (1/(-9))/(8/(-48)). Which is bigger: i or 1?
1
Suppose 4*r = 2 + 18. Let v = 14 + r. Suppose p + 2*p + 4*k + v = 0, 2*p + 5*k + 15 = 0. Which is smaller: p or -6?
-6
Let q = 0.1 + -0.1. Let w = 20/207 + -9059/207. Let z = w - -44. Which is smaller: z or q?
q
Suppose -4*h - 2*v = -6, -h + 2*h = v + 3. Let i be 64/1008 - h/(-9). Which is bigger: -1 or i?
i
Suppose 3*g - 31 = -5*n, -2*g + 26 = n + 3. Suppose 3*a = -a - g. Let q be (-3)/(3/4) + 2. Are q and a nonequal?
True
Let u = -24 - -34. Let v = u + -9. Is v at least as big as -0.08?
True
Let h = -55 + 57. Let r be (6/4)/(9/24). Suppose r*k = 11 + 1. Is k < h?
False
Let d = -7.8 + 7. Let v = d - -0.9. Which is greater: v or -3?
v
Suppose 0 = -5*u + 2*u. Let q = -8.1 - -8. Let n = -3.1 - q. Which is smaller: n or u?
n
Let s be 2/(-6)*(3 - 0). Let t = 97.3 - 89. Let u = -8 + t. Do s and u have the same value?
False
Let q = -16 - -48. Which is bigger: q or -2?
q
Let l = 4 + -12. Which is smaller: l or 4?
l
Suppose 0 = -3*d - 2*d - 205. Do -42 and d have the same value?
False
Let j = 1 - 1. Suppose 8*a - 7*a - 5 = j. Let t be (21/(-12) - -2)*a. Is t greater than 2?
False
Let w be (6/132)/((-1)/4). Which is greater: 1 or w?
1
Suppose 0 = 5*i - o - 4*o + 115, 5*i = 2*o - 124. Let h = -19 - i. Let m = 16 + -8. Which is greater: m or h?
m
Let v = -3 - 0. Let q(b) = b**2 - 5. Let w be q(0). Let m(d) = d + 2. Let l be m(w). Is l != v?
False
Suppose j - 3*q = -12, -2*j + j + 4*q = 12. Let a be ((-1)/4)/1 - 204/16. Is a greater than or equal to j?
False
Let k = -1 - 3. Let h = 5 + k. Is h smaller than 1?
False
Let o be ((-979)/12)/(8/(-12)). Let i = 122 - o. Let m(d) = -d - 3. Let b be m(-2). Is b at least as big as i?
False
Let k = -16 - -16.24. Let b = 0.14 - k. Is b <= -1?
False
Let x be 8/28 + (-162)/(-21). Let q(c) = c - 8. Let b be q(x). Let s = 0.3 + -0.4. Which is greater: b or s?
b
Suppose 0 = -2*m - 2*y - 8, -m - 3*y = -0*m + 10. Let v = 8 + -10.02. Let p = v - -0.02. Which is greater: p or m?
m
Suppose 4*l = c - 16 + 3, 0 = l + 5*c - 23. Which is bigger: l or -5?
l
Suppose -2*p - 850 = -7*p. Let i be (4/p)/(2/(-10)). Let j(n) = -2*n**3 - 2*n**2 - 2*n - 1. Let b be j(-1). Is i > b?
False
Suppose 5*t = 14 + 1. Suppose s + t*s = 8. Let c = 96 - 482/5. Which is smaller: s or c?
c
Let u(k) = -4*k + 38. Let f be u(10). Is -3 greater than f?
False
Suppose 2*o = -11 + 13. Is o less than or equal to -4/19?
False
Suppose 0 = 5*f - 2*s + 17, 0 = -3*f + 2*s - 7 - 0. Let a = 21 - 36. Let p be -2 - f/(a/(-6)). Which is greater: -1/3 or p?
p
Suppose 5*t - 9 = -4*c, 4*c - 5*t = -2*t - 31. Let q be (9/15)/((-6)/c). Is 1 > q?
True
Suppose 0 = 7*m - 8*m - 35. Let j = 171/5 + m. Which is smaller: j or -0.2?
j
Let h(d) = d**2 - 11*d - 1. Let t be h(12). Let p = t - 10. Which is smaller: p or 2?
p
Let g = -11.1 - -11. Is 153 bigger than g?
True
Let p = -8 - -7.85. Let t = -5.85 + p. Which is smaller: t or 2/3?
t
Let y = -15 + 19. Does 2 = y?
False
Let l = -1 - -1. Let n = -1146/13 + 88. Let w = -9/26 + n. Are w and l unequal?
True
Let r(x) = x**2 + 