et a be b(6). Let j be ((-2)/4)/(a/(-6)). Is y greater than or equal to j?
True
Suppose -4*a - 10 = -i, 5*a + 3*i - 4*i = -12. Let l be a - 1*(-1)/(-1). Is 1 at most as big as l?
False
Let r = -2/18059 - 668099/758478. Let h = r + 7/6. Which is smaller: -2 or h?
-2
Let b be 16/126*15 - 2. Is -1 at most as big as b?
True
Let l = -16 - -6. Let m be (-1)/(-5) - (-2)/l. Which is smaller: m or -1?
-1
Let z = -12 + 17. Suppose -3 - 17 = -5*q + 4*m, -4*q - 25 = z*m. Is -1/5 less than q?
True
Let i = 0.06 - 0.04. Let p = i - -0.18. Is p smaller than -2?
False
Let x(w) = w**2 + 10*w + 9. Let d be x(-9). Suppose d*v - 9 = -3*v. Is v at most as big as 1?
False
Suppose -4*w + 2*i + 223 = 623, -i - 4 = 0. Let c = 712/7 + w. Suppose -23 = -4*a - 3, 4*a - 18 = -2*b. Is b less than c?
True
Let x = 0 + -1.1. Let g = x + 1.02. Which is smaller: g or -1?
-1
Let i(g) = -g**3 + 8*g**2 + 9*g + 5. Let q be i(9). Is q less than 22?
True
Let a = -14 - -6. Which is smaller: a or -1?
a
Suppose 3*s = f - 0*f + 12, -5*f = 3*s + 24. Which is bigger: -8 or f?
f
Let m = -8 - -7.9. Let j = 2 + -1.8. Let d = j + -0.2. Which is greater: m or d?
d
Suppose 9*d - 11*d = 2. Suppose 3*j - 3*q = -2*q + 3, 15 = -2*j - 5*q. Which is smaller: j or d?
d
Let i be (-3 + 14/10)*5. Which is bigger: i or 0?
0
Let n be 4/(-22) + (-508)/(-3520). Which is greater: -1 or n?
n
Let c = 16/9 + -10/9. Is -9 less than or equal to c?
True
Suppose o = -5*d - 23, 0 = -5*d + 3*d - 10. Suppose -4*p - 3 = o*m - 1, 9 = 3*p + 5*m. Let s = 0 + -2. Is p greater than s?
False
Let y = 12697/66 - 2052/11. Let z = 6 - y. Let d be ((-1)/(-2))/((-2)/(-4)). Is z at least d?
False
Let u(r) = -3*r - 21. Let l be u(-12). Is 15 at least as big as l?
True
Let z = -1 - -0.7. Let h be ((-8)/28)/(2/2). Let l = 0 - h. Which is smaller: z or l?
z
Let l = -30 - -19. Which is smaller: -12 or l?
-12
Let w = -437/6 + 143/2. Which is smaller: 0 or w?
w
Let d = -4.3 + -0.7. Let q = 4.6 + d. Let j be (-1)/4 + 3/6. Is j less than q?
False
Let g = -3 - -1. Let u(z) = -2*z**3 - 2*z**2 + z - 2. Let j be u(g). Let h be 1/(-2)*j/9. Do h and 0 have the same value?
False
Let z = 10 + -7. Suppose 5*i + 35 = 5*s, 5*s - 9 = 2*s - z*i. Suppose -p - 4 = -s. Which is smaller: p or -1/4?
-1/4
Let j = 741/731 - 36/43. Which is greater: 0 or j?
j
Let t = -58 + 48. Which is smaller: t or -3?
t
Suppose 3 = 3*y - 9. Suppose 0*b - y*b = 0. Let s = 0.1 + -0.05. Is b at least as big as s?
False
Let g = -2 - -3.3. Let b = 0.7 + -1. Let u = g + b. Are u and -2/3 non-equal?
True
Suppose 1 = 3*l - 2. Let r be -1 - 12/(-5) - l. Let h = -3 + 3. Which is smaller: h or r?
h
Let i be -1 + (-3 + 3 - -2). Suppose 4*x + 5 = i. Let j = -241/4 + 60. Is j greater than x?
True
Let w = 4 + 1. Is 0.3 bigger than w?
False
Let z(o) = -o**3 + 4*o**2 - 3*o + 1. Let a be z(3). Let i = 88 + -527/6. Which is smaller: i or a?
i
Let i = -22 + 22.55. Which is smaller: i or 2?
i
Let v(o) = o + 1. Let s be v(-3). Let m = 27/2 + -15. Is m smaller than s?
False
Let a = 70 + -27. Suppose -8 = -5*j - a. Suppose 0 = -5*n + 4*y + 10 - 62, 15 = -3*n - 3*y. Which is bigger: j or n?
j
Suppose 0 = 3*t + 2*t - 25. Let h be (-24)/(-15)*t*1. Is h greater than or equal to 8?
True
Let t = -1 + 6. Suppose -9 = -t*h - i + 1, -2*h = 3*i - 4. Suppose 4*j = 4*q - j, -q + h*j = 0. Which is bigger: q or -1/8?
q
Let r be 18/4*8/6. Suppose -4*d - 18 = o, 5*o + 43 + 5 = d. Let w be o/(-15) + (-4)/r. Does w = -0.1?
False
Let o = -9311569/5909436 - 320/1863. Let a = -63/74 + 50107/58682. Let s = a - o. Which is greater: s or 3?
3
Suppose -2*j - 12 = -5*j. Let x be 15/5 - -1*(-8 - 0). Let f = j + x. Is 1/3 at least as big as f?
True
Let g = 0.7 + 0.3. Which is bigger: 0.2 or g?
g
Let t = 0.08 - 0.18. Let p = -0.19 - t. Let z = -0.09 - p. Is z not equal to -2?
True
Suppose 2*d = 2, 2*q - 5*d = 4*q - 9. Suppose -q*a - 14 = -4*o - 7*a, -2*o = 4*a - 10. Which is bigger: -2/65 or o?
o
Suppose -b - 4 = -p, 5*b - 8*b = -4*p + 12. Is p bigger than -4/61?
True
Let k(u) = -u**3 + 7*u**2 - u + 6. Let t be k(7). Which is smaller: t or 0?
t
Let z(a) = 2 - a + a**3 + 3 - 3 + a**2. Let n be z(-2). Let d be 2/(-4)*(n - -2). Which is smaller: -6/11 or d?
d
Let q = -6 - -6. Suppose -4*m - 3 + 7 = q. Is m bigger than 0?
True
Let t(w) = w - 4. Let c be t(6). Let h(o) = -o**3 - 5*o**2 - 6*o + 1. Let v be h(-3). Is v smaller than c?
True
Let p be (6/(-2306))/(9/(-6)). Let y = 29988/5765 - p. Let j = -276/55 + y. Is j not equal to 0?
True
Let a = -56 - -56. Which is greater: -1 or a?
a
Suppose p + 12 = 4*j, 15 = 3*p + 4*j + j. Which is smaller: -2/41 or p?
-2/41
Suppose 0*k + 51 = -3*k + 3*u, 5*k + 2*u + 64 = 0. Let g(q) = -q**3 - q**2 + q - 12. Let n be g(0). Let o be 8/n*(-6)/k. Which is greater: o or -3?
o
Let g = 31 - 37. Let y = -22 + 13. Let j = y - g. Which is smaller: j or 0?
j
Suppose 2*f + 24 = 5*n, 0*f = f - 4*n + 18. Which is smaller: -0.05 or f?
f
Let l be (-1)/2 + 3/(-30). Suppose 3*u = -4*p, 0*p + 3*p + u = 0. Suppose -w - 5 = 5*v, p = 3*v + w + 3. Which is greater: l or v?
l
Suppose 3*s + 25 = -2*s, 5*t + 5*s + 40 = 0. Let w = -4 - t. Let y be ((-4)/w - 2) + -1. Is y greater than 1?
False
Suppose 2*w = 5*o + 31, -o - 3*w + 24 = -4*o. Let b = o + 13. Let d = b - 11. Is d != -3?
False
Let f be 10/(-8)*-2*8. Suppose 4*r + 5*t - 15 = 4, 0 = 5*r + 5*t - f. Is r at least 7/3?
False
Let i = 1 - 1.1. Let x = 0.6 + i. Let r = 1.5 - x. Which is bigger: r or -0.1?
r
Let i = 12 - 4. Suppose -4*z + 2*z + 3*j = i, -5*j = 4*z - 6. Which is smaller: z or 0?
z
Let f(v) = -3*v - 21. Let m be f(-10). Suppose -m*z + 12*z = 69. Is z at least 22?
True
Let q be (-22)/33*6/(-50). Which is bigger: -1 or q?
q
Suppose 13*c + 16 = -10. Suppose -2 = -2*p + 4*p. Which is smaller: p or c?
c
Let i = 1/31 + 26/155. Do 1 and i have the same value?
False
Let n be -7*3/(-12) - 1. Let l = n + -9/4. Which is bigger: -0.1 or l?
-0.1
Let j = 6.7 - 7. Let i = 0.22 + 0.08. Let r = i + j. Is r less than or equal to 0?
True
Let u = -0.2 + 0.2. Let f = -0.15 - 0.05. Let x = f - u. Which is greater: x or -1?
x
Let y = 1.7 + -2. Let g = 0.5 + y. Let x = -0.8 - g. Are x and -2/7 unequal?
True
Let x be (-220)/(-240) - 2/4. Is x at most as big as -1?
False
Let v = 21/4 + -129/20. Let i(g) = g + 4. Let f be i(-1). Let t be ((-6)/24)/(f/12). Which is greater: t or v?
t
Suppose -2*s = b + 20, -2*b + 5*b + 24 = 3*s. Let q be 8/b*(-6)/8. Is q smaller than 2?
True
Let w be 49/14*(-20)/(-7). Let i = w + -8. Which is bigger: i or 3/4?
i
Suppose 4*h = 5*h - 2. Is -2 at most h?
True
Let n = 0 + -9. Is -8 bigger than n?
True
Let g = 8 - 8.1. Which is smaller: g or -3/49?
g
Let a = 1 - -1. Suppose a*j = -0*j + 10. Let c = j - 4. Which is smaller: c or -1?
-1
Let p be 12/((-12)/32*-2). Suppose p = -5*b + 3*b. Which is greater: b or -9?
b
Let y = -1 - 2. Let i be y/1 + 48/15. Are 1 and i nonequal?
True
Let v be (5*(1 + 0))/(-1 - -8). Suppose c - 1 - 5 = 2*y, 4*c + 2 = -5*y. Which is greater: v or c?
c
Let z = 0.217 + -0.017. Is -4 greater than or equal to z?
False
Let v be (-3)/(-50)*(-12)/36. Is -1 < v?
True
Suppose 3*f - 2*y = 77, -4*y = -3*f + f + 62. Is 22 at least f?
False
Let a = 7 + -18. Let w = -10 - a. Which is smaller: 1/3 or w?
1/3
Let k = -113/13 + 9. Which is smaller: -1 or k?
-1
Suppose j - 2*j = -27. Let z be 2/(-9) - (-6)/j. Do z and 3/7 have different values?
True
Let i(c) = c**3 - 7*c**2 + 8*c - 14. Let x be i(6). Is x equal to -4?
False
Let g = 0.4 + 7.6. Let m = g - 7.97. Let u = m - -0.97. Which is smaller: 2 or u?
u
Let n = 629/130 - 24/5. Which is smaller: n or 1?
n
Let h = -0.82 + -8.18. Which is bigger: 0.2 or h?
0.2
Suppose 0 = z + 5*s - 8, -2*z - 4*s = -2 - 2. Suppose -5*j + 1 - 9 = -i, 14 = j + 5*i. Which is smaller: z or j?
z
Let n = 16 + -5. Let x = -17 + n. Which is smaller: -7 or x?
-7
Suppose 52 = 4*i - 16. Let z = 33/2 - i. Which is smaller: -0.3 or z?
z
Suppose 0 = -2*q - 2 - 0. Let l be (q/19)/(10/(-20)). Which is smaller: l or -1?
-1
Let c be (-6 + 224/35)*10/(-4). Are -12/19 and c nonequal?
True
Let h = 16 + -11. Suppose p - 5*n = -4, -p - 9 = -h*p - 5*n. Do 2/5 and p have the same value?
False
Let k = 24 + -17. Let l = k + -4. Let d be (-6 - 77/(-14)) + (-9)/(-2). Is d <= l?
False
Let i = -58 + 57. Let k be (2/3)/((-28)/(-4098)). Let c = -9