ger than h?
True
Let j(y) = 2*y - 6. Let z be j(3). Let h be (-1 + 1)*(-3 - -2). Suppose h = -3*k - 13 + 4. Which is greater: z or k?
z
Let t be 2/(-4)*(19 + 3). Is -11 greater than or equal to t?
True
Suppose 5 = -20*f + 21*f. Is f <= 0?
False
Let x = 0.2 - 0.08. Let o = 7.02 + -7. Let r = o - x. Which is bigger: r or 2/5?
2/5
Let n = 31 - 33. Which is smaller: -5/6 or n?
n
Suppose 5*o = -0*o - 5. Is o at least as big as -2?
True
Let d = -2 + 0. Suppose 0 = 4*u - 2 - 14. Let h be (-1)/(-2)*d/u. Is -1 greater than or equal to h?
False
Suppose 0*p + 2*p - 12 = 0. Let v be ((-3)/(-2))/(p/(-8)). Let z = v + 0. Is z > -5/3?
False
Suppose r = -4*g + 117, 3*r - 51 = -g - g. Let j = g + 26. Let d = j - 223/4. Is 1 not equal to d?
True
Let s = 923/1135 - 3/227. Is s greater than or equal to 10/7?
False
Let k(a) = -a**2 - 8*a + 3. Let j be k(-7). Let y be ((-12)/(-15))/(4/j). Which is bigger: 4 or y?
4
Let h(f) = -f**3 - 9*f**2 - 7*f + 7. Let o be h(-8). Let p be o + 1 + (-4)/1. Let u be 2/(-3)*6/p. Are -1/5 and u non-equal?
True
Suppose -4*j - 18 = -10. Is j < 0?
True
Let x be (-20)/8*5/(375/(-12)). Let i = -2 - -3. Which is smaller: x or i?
x
Let i = 3 - 8. Which is bigger: -2 or i?
-2
Suppose 4*b - 3*q + 182465 = 0, -b - 91245 = b + q. Let n = -500432/11 - b. Let j = n - 126. Is 1 greater than or equal to j?
True
Let s = -2 + 3. Let n = -0.7 - -0.8. Which is greater: s or n?
s
Suppose 0 = -h - 1 - 0. Let u be (h/2)/(1/2). Do 2/9 and u have different values?
True
Let w be -6 - (2/(-9) - (-2)/9). Which is smaller: w or -8?
-8
Let m = 0.4 - 0.5. Let d = 21 - 22.1. Let b = d - m. Which is bigger: b or 2/3?
2/3
Let a be (-2)/(6/(-15)) - 3. Suppose a*l = 3*l. Suppose b - 6 = -l*b. Which is smaller: b or 5?
5
Let p = -1 + -2. Let v be 3 - (24/p)/(-2). Which is smaller: v or -2/5?
v
Let j(k) = -k**3 - 5*k**2 + 5*k - 2. Let z be j(-6). Suppose 5*m + 5*p + z = -6, 5*m = 2*p + 4. Suppose m = -5*w + w. Is 2 less than w?
False
Let y = 0.3 + -0.32. Let h = 0.12 + y. Which is smaller: h or -2?
-2
Let v be (621/(-51))/(-3) + -4. Which is bigger: 1 or v?
1
Let n(o) = o**3 + 11*o**2 + 11*o + 12. Let r be n(-10). Let f be r/3*(-9)/(-15). Let u be 1 - (2 + -1 + -1). Are f and u equal?
False
Let w be ((-4)/(-2))/(1*4). Let a(f) = f**3 + f**2 - f. Let j be a(1). Do w and j have the same value?
False
Let o(a) be the first derivative of a**4/4 + 2*a**3/3 - a**2 + a + 2. Let z be o(1). Suppose 0 = -4*d + 3*r + 8, -2*d - 2*r = -2 - z. Which is bigger: d or 2/9?
d
Suppose -5*z - 1 - 4 = 0, -3*z + 1 = 4*m. Let k = m - 0. Suppose 0 = a + 2 - k. Which is bigger: -2/7 or a?
-2/7
Let y = 14 - 12.9. Let n = y + -1. Do -9/4 and n have different values?
True
Suppose -v = -4*v + 3. Let a be (-9 - -1)*(-5 + (-414)/(-84)). Is a > v?
False
Let t = 0.37 - 0.3. Is 4 at most t?
False
Let i = 4.1 + 0.9. Let o = 5.1 - i. Which is smaller: o or -3?
-3
Suppose 0 = -4*k - 172 + 12. Which is smaller: k or -41?
-41
Let m = -0.4 + 0.2. Let l be 2/3*18/42. Which is smaller: m or l?
m
Suppose 0 = 2*c - 4*c + 32. Suppose 4*q = -s + 11, 3*s - 1 = -4*q + c. Suppose -2*d + s*d - 4 = 0. Which is bigger: 5 or d?
5
Let l be -1 + (-3)/((-27)/11). Suppose 0 = -0*x - x - 2*m - 5, 4*x = 2*m + 10. Which is bigger: l or x?
x
Let p(x) = x - 5. Let d = 20 - 11. Let q be p(d). Suppose 3 = 2*g - 1. Are g and q nonequal?
True
Let t be (7/4 - 2)*282. Let o = t - -64. Which is smaller: o or -8?
-8
Let h be ((-108)/(-26) - (-2)/(-13)) + -10. Is h > -4?
False
Let p(t) = t**2 + 10*t - 6. Let v be p(-11). Suppose 4 - 23 = -y - v*j, y = -3*j + 11. Let u = -1/21 + -19/483. Is y less than or equal to u?
True
Let c be 1 + 1 - 1 - (-76)/(-84). Which is smaller: -1 or c?
-1
Let c = -154 + 154. Is c < 4/7?
True
Let s be (-2)/(-5) - (-3 - 845/(-175)). Is s greater than -1?
False
Let l = 4.92 + 0.08. Let r = 6 - l. Let g = 4 - 3. Is g greater than r?
False
Suppose -b + 6*b = -5*r + 55, r + 2*b = 11. Suppose 0 = 4*n + 5 + r. Is -7/2 at least as big as n?
True
Suppose 5*k - v + 70 = 0, -35 = 3*k - v - v. Let l be (-10)/3*3/k. Which is smaller: -0.5 or l?
-0.5
Let p = -8 + 11. Let m(i) = -i**2 - 9*i - 12. Let o be m(-8). Let b be 2/10*10/o. Is b greater than or equal to p?
False
Let w be (-77)/572 - 2/8. Which is smaller: w or 0?
w
Let f be (-3 - -5) + 28/2. Is f bigger than 16?
False
Suppose -2*i = -4*s, -s + 5*i + 11 = 2. Let k = 0 - 0. Which is smaller: k or s?
s
Let p = 5 - 2. Is p < 1?
False
Let i = -64 - -61. Let p = 3.1 + -3. Which is greater: i or p?
p
Let s = -10 - -53/5. Let p(i) = -i**2 - 5*i + 7. Let j be p(-6). Which is smaller: j or s?
s
Let r = -3.04 + 0.04. Let p = 0 - r. Let j = 0.2 - 0.1. Which is smaller: j or p?
j
Let p = -204 + 1024/5. Are p and 2 equal?
False
Let x = 176 - 157. Which is smaller: x or -2/7?
-2/7
Let p(c) = 2*c - 2. Let f be p(4). Let u(v) = -v**3 + 8*v**2 - 5*v - 7. Let l be u(7). Which is smaller: f or l?
f
Let c = -26 + 180/7. Which is smaller: -0.22 or c?
c
Let b(m) = m**3 - 3*m**2 - 2*m + 4. Suppose -3*u + 4 = -2*u. Suppose 5*p + 6 = 3*o - 3, u*o - 3*p = 12. Let j be b(o). Which is bigger: 0 or j?
0
Let c be ((-6)/8)/((-8)/32). Which is greater: c or 4?
4
Let m = 18 + -19. Which is bigger: -2 or m?
m
Let k be 9 + (4/(-1) - -3). Suppose -5*x - k = -13. Are 1/15 and x equal?
False
Let k = -8 - -12. Let v(p) = -4 - 2*p + 1 + 3*p. Let n be v(k). Which is smaller: 2/7 or n?
2/7
Suppose 3*r + v - 3 = 0, 0 = 3*v + v. Suppose -2*b + 13 = -19. Let i = b + -78/5. Is i != r?
True
Let r = -56 - -50.4. Let t = 6 + r. Let o = -0.5 + t. Which is smaller: o or 1?
o
Let a = -0.24 + 0.14. Let i = 0 - -1. Let g = -2 + i. Which is greater: a or g?
a
Let r be (-9)/(-21) - 3/6. Which is smaller: -1 or r?
-1
Let k(p) = p**2 - 5*p + 3. Let f be k(4). Let v = 30 + -8. Suppose 2*q = 5*b + 25 - 2, -4*b = 2*q + v. Is f less than q?
False
Let q = -26 - -49/2. Suppose 4*r = 4*i - 0*i, -r = 0. Suppose -c + 2 - 4 = i. Which is bigger: q or c?
q
Let g = -11 + 16. Let b(t) = -t**2 + 11*t - 19. Let i be b(8). Suppose i*w - 4*y = -20 + 4, -g*w - 20 = -5*y. Which is smaller: 1/8 or w?
w
Suppose -15 = -8*v + 3*v. Is v greater than 18/7?
True
Let k = 18 - 49. Which is bigger: -2 or k?
-2
Let i = 0.6 + -1. Let k = 0.07 + -0.57. Let s = i - k. Does s = 4?
False
Let z = -93 - -54. Is z != -39?
False
Let c = 9 - 11. Is c greater than or equal to -6/11?
False
Suppose -3*o + 3*h = -12, -o - 2*o = h - 12. Suppose 2*n - 62 + 50 = 0. Which is smaller: o or n?
o
Let u be 21/20 - (-1)/(-4). Is u at least -2/3?
True
Let f = -1939/13 - -149. Let y be (3/(-2))/(6/8). Let h be (-12)/9 - y/6. Which is smaller: f or h?
h
Let p = 0.82 - 5.82. Which is smaller: 1/4 or p?
p
Let q = 0.2 + -0.2. Let n = q - -1. Suppose -2*o = 5*u - 3, 4*u + 4*o = -0*o. Is u greater than n?
False
Let i be ((-78)/(-9))/(60/(-387)). Let j = 56 + i. Which is smaller: j or -1/2?
-1/2
Let t = 11.2 + -11.3. Which is smaller: t or 65?
t
Let o = 7 + -16. Let q be (o/(-6))/((-3)/(-60)). Let v be q/63 - (-1)/(-3). Does v = 0?
False
Let i = -25/4 - -267/44. Let n(x) = 2*x + 6. Let y be n(-3). Which is bigger: y or i?
y
Let f(w) = w**2 + 9*w + 11. Let m be f(-8). Let b be (2 - -2) + 1/(-1). Suppose o + b = 5. Is m at least o?
True
Suppose -3*s - g - 25 = 2*s, -2*s - 10 = -3*g. Let y = -6 - s. Let w = -7 + 4. Is w greater than or equal to y?
False
Suppose -3*x = 3*p + 3, 33 = 3*p - 5*x + 12. Suppose 4*y + 0*h - p*h - 6 = 0, -y - 4*h + 6 = 0. Let l be y*(-5)/(-4) - 2. Which is greater: -1 or l?
l
Let k = -7.04 - -0.04. Let j = -7 - k. Which is smaller: -2 or j?
-2
Let q = 2 - 2.1. Let b = 31 + -28. Suppose 0 = b*t + 1 - 10. Which is smaller: q or t?
q
Let r(o) = -o**2 - 2*o - 1. Let g be r(-3). Let p = -10 - 1. Let c(m) = m**2 + 12*m + 6. Let i be c(p). Which is smaller: g or i?
i
Let m = 36 + -25. Suppose 0 = 5*v + 9 + m. Let q(u) = u + 5. Let o be q(v). Is 2/7 at least o?
False
Let u = 32 - 94/3. Suppose 0*d - 4*d = -4. Is u greater than or equal to d?
False
Let o be (-44)/(-286) - 206/(-13). Which is greater: 86/5 or o?
86/5
Let f be ((-4)/10)/(18/(-10)). Let i = 20 - 14. Suppose 5*q = -21 + i. Which is smaller: q or f?
q
Suppose 4*x - 5*x = -4. Which is smaller: x or 3?
3
Let f = 0.061 - -21.939. Which is greater: 1 or f?
f
Suppose 2*w - 4*h = -3*w - 12, 2*w = 3*h - 9. Let c =