et z = 15 + -14.7. Let y = z + -0.4. Let f be ((-3)/60*-4)/(6/15). Which is smaller: y or f?
y
Let b = 6.382 + -6.5. Let s = b + 0.018. Let m = 4 + -3. Which is greater: s or m?
m
Let v = 477 - 1005. Are -2/5 and v nonequal?
True
Let r be (-1)/(-3) - 9/((-54)/(-236)). Let m(i) = -39*i**2 + 7*i + 7. Let j be m(-1). Is j at most r?
True
Let g = -2 + 1.8. Let v = 7856 - 7887. Is g less than or equal to v?
False
Let q be (0 + 1)/(61/14823). Is 244 at most q?
False
Let s = 143 + -83. Let g be 66/(-8) + 15/s. Which is smaller: g or -2/5?
g
Let p be ((-5913)/1035)/(12/(-15)). Let u = -32/23 + p. Is u less than 7?
True
Let m = 37/24 + -7/8. Which is smaller: m or -134?
-134
Let t be (-14)/4 + 1 + 1. Let j(y) = y**3 + 8*y**2 + y + 19. Let m be j(-8). Suppose m = 3*o + 20. Which is smaller: o or t?
o
Let w(a) = 16*a + 126. Let l be w(-8). Let f be (3/(-4))/((-7)/(-16)). Is l <= f?
True
Let d = -1.01 - -0.44. Let a = 1.73 - d. Let h = a + -0.3. Are 2 and h nonequal?
False
Let b(k) = -k**3 + 3*k**2 + 12*k + 8. Let m = -6 + 12. Let s be b(m). Let c = 22 + s. Is c < -6?
False
Let f be 17/(-2)*(1 - -1). Let m(t) = -23*t - t**2 + 0*t**2 + 11 - 19 - 8. Let j be m(-23). Is f != j?
True
Suppose -5*i = 2*k - 120, -3*i - 190 = -2*k - 102. Which is bigger: k or 62?
62
Let p be (9/6)/((-4)/(-32)). Let y be (-2)/(1/p*-2). Let v = y - 10. Which is smaller: 1 or v?
1
Suppose -3*d - 5*j = -544739, -5*d - 369188 = j - 1277079. Let m = d - 2358562/13. Let q = m - 150. Is -1 >= q?
False
Suppose -27*r = 1030 + 644. Suppose 0 = 4*z + 76 + 176. Which is bigger: r or z?
r
Suppose -27 + 21 = -3*j. Suppose -k + j = 3. Is k greater than or equal to -6?
True
Let z(d) = 2*d + 9. Let o be z(-9). Let q be (-1 - o/6)*0. Which is smaller: -1/37 or q?
-1/37
Let i = -407315119022411/164010 - -2483477343. Let u = -1/1562 - i. Is u bigger than 0?
False
Let p be 0 - 1*(1 + -2). Let g = -2.9 - -3. Which is smaller: p or g?
g
Let y = -368 - -689. Let b = -6101/19 + y. Let r be ((-3)/18)/((-75)/18 + 4). Which is bigger: b or r?
r
Let o(f) = f**2 - f - 2. Let m be o(6). Suppose 5*p + 45 = 5*d, 4*p + 9 = 3*d - m. Let b = p + 6. Which is smaller: -5 or b?
-5
Let q = -10 - -11. Suppose 4*v - 88 = 3*z, -2*z - 19 - 48 = -3*v. Are q and v equal?
False
Let h = 491 - 489. Are h and -18 nonequal?
True
Let p(r) = r + 2. Let t be p(-4). Let o be (-1)/(-3) - 3364/(-36). Let y = 94 - o. Which is smaller: t or y?
t
Let c(u) = -2*u**3 + 5*u**2 - 3*u - 2. Let i be c(2). Let g be (64/(-36))/i*60/256. Is g equal to 1?
False
Suppose -342 = -4*i - 5*i. Let s = i + -56. Which is bigger: -13 or s?
-13
Suppose k + 2*k = 0. Suppose k = i - 4*i. Is i <= -13/4?
False
Let j be (5 - 4) + (-8568)/8560. Is j greater than 1?
False
Let z be 1 + -2*(-11)/(-2). Let b = z - -13. Suppose b*f - 10 = -2*f. Which is greater: f or -1/3?
f
Suppose -5*n = -132 - 43. Let c = n + -35. Are -2/21 and c nonequal?
True
Let x = 1.54 + -2.43. Let k = 0.99 + x. Which is smaller: k or -1?
-1
Let k = 435 - 436. Is k at least -232?
True
Let p = 16 + -10.8. Which is smaller: 0 or p?
0
Let j = -15 - -31. Let p = 16.1 - j. Which is smaller: 17 or p?
p
Let c = -10.5 - -1.5. Let o = c - -13. Let d = 4 + o. Which is greater: d or 0?
d
Let b(q) = 40*q + 400. Let w be b(-10). Do w and -41/32 have different values?
True
Let s = -41.7 + 50.7. Which is bigger: s or -2/35?
s
Let q = -0.0534 - -1.0534. Which is smaller: q or 3.78?
q
Let f = -262 - -788/3. Is 6.33 greater than f?
True
Let k be (4 + 6)*2/15. Let d(c) = c**2 + 10*c + 8. Let g be d(-9). Let q be g/2*(-2 - 0). Which is greater: q or k?
k
Let j be 2/9 + (-14)/(-18). Suppose -6*v + v + 190 = -2*l, 100 = 3*v - 4*l. Let s be 2/(-14) - v/(-35). Is j <= s?
True
Let w = 1436 + -1435. Which is greater: w or 21/20?
21/20
Let z(b) = -b**3 + 6*b**2 - 9*b - 4. Let l be z(2). Let d be (-2)/(2 + (-8)/3). Suppose 0 = d*s + 16 - 1. Which is smaller: s or l?
l
Let g be ((-2)/(-3))/(2/(-6)). Let n = 0.1531 - 0.0931. Which is greater: g or n?
n
Let c = 4.08 + -3.08. Which is bigger: c or 3/26?
c
Let d = 150 + -149.7. Which is smaller: -49 or d?
-49
Let w be 28/8 + 6/4. Suppose 0*r + w*c - 40 = -3*r, 0 = -r - 3*c + 12. Let u = r - 10. Which is smaller: u or 3?
3
Let i = -857.5 - -866. Which is smaller: i or 2?
2
Let k = 0.0693 - 0.1693. Which is bigger: k or 1.82?
1.82
Suppose -2 - 4 = 5*g - 3*q, -4*q + 8 = g. Suppose 2*i + 494 = 3*x, g = -2*i - 2*i - 2*x - 988. Let p = i - -3455/14. Is 1 > p?
True
Let p = 271327/86 - 3155. Which is greater: p or 1?
1
Let c be 67 + (4 - 0 - 4). Suppose o - 66 = 6*o - 4*l, 5*o + c = 3*l. Do o and -13 have the same value?
False
Let q(v) = v**3 + 7*v**2 + 3*v - 18. Let g be q(-6). Let r = g + 23. Is r greater than 23?
False
Let s = -16 - -12. Let h = -20 + 24. Suppose 0 = 4*z - 16, 0 = -0*v + h*v - 3*z + 4. Is s bigger than v?
False
Let z = -1146 - -93971/82. Let q(r) = -2*r**2 + r. Let j be q(0). Is z bigger than j?
False
Suppose 0*f = -2*q - 2*f + 14, -5*f = -4*q + 1. Let o be (1 - 2)*12/(-12). Suppose 5*c - o = q. Which is smaller: 2 or c?
c
Let i = -73541/426 + 518/3. Let w = i - 22/1633. Is 0 greater than w?
False
Let g = 233.2 + -233.3. Which is smaller: -20.2 or g?
-20.2
Let t = -279/1753 - -6975866/26295. Let v = 265 - t. Suppose 4 = -2*o + 6*o. Is v != o?
True
Let o(z) = -5*z + 9. Let a be o(-7). Let w(r) = -r**2 + 16*r - 10. Let m be w(11). Which is smaller: m or a?
a
Suppose -5*j - 5 = -20. Let x(f) = -4*f + 4. Let t be x(j). Is t bigger than -9?
True
Let o(h) = 9*h + 134. Let t be o(-15). Which is bigger: -1/122 or t?
-1/122
Let f(m) = -2*m + 5. Let g be f(6). Let j = 12 + g. Suppose -3*r = 2*b + 19, -32 = j*r - 7. Is b >= -2?
True
Let u = 0.045 - 43.045. Let l = -42.7 - u. Let v be ((-3)/(-14))/(3/(-4)). Which is bigger: v or l?
l
Let q = -0.3 + 0.8. Let o = 13.2 + 3.8. Let g = -17 + o. Which is smaller: g or q?
g
Suppose 0 = -w - 5*v + 11, -15*v + 12*v + 3 = -3*w. Is w less than or equal to 50?
True
Let d = -70.6 - -155.6. Is 0.2 at most as big as d?
True
Let a = 754 + -483. Is 272 less than a?
False
Suppose 4*d - 2 = o - 3*o, 5 = d + 2*o. Let g be (-2)/7 - (-96)/42. Let x be g/5 - (-3)/(-15). Which is smaller: d or x?
d
Suppose -5*h = -0*w - 2*w - 439, w = -5*h + 448. Let k = h + -60. Is 29 at most k?
True
Let d = 193 - 180. Let k = -6 + 6.1. Which is smaller: d or k?
k
Let r = 2996/117 - 330/13. Is -170/9 >= r?
False
Let y = 2554/11 + -232. Is 99 < y?
False
Suppose d - q = -3*d + 9, -6 = -5*d - 4*q. Let j be (-2)/(2/d)*(18 - 14). Is j < -43/5?
False
Let i be 108/42 - 6/(-14). Suppose 0 = i*m + 2*m + 95. Is -18 not equal to m?
True
Suppose -6*z + 40 = -z. Let p(r) = 2*r**2 - 3*r. Let l be p(4). Let o be (-2 - -8)*l/15. Is o at most z?
True
Let g be -1 + 1 + (-1)/3. Let d be (-58)/30 - (-92)/69. Let h = d - -17/20. Which is smaller: h or g?
g
Suppose -3*l = -3*n + 9, n + l - 4*l = -1. Suppose 4*g + 0 = 3*o + 8, o + n*g = -9. Which is smaller: -8 or o?
-8
Let q be (-7995)/3936*(-3)/(-5). Which is smaller: -2 or q?
-2
Let g = -0.06 - 1.02. Let l = g - -1.2. Do l and 2 have different values?
True
Let p be (-6)/9*210/(-20). Suppose 0 = 2*s - p - 15. Is s > 11?
False
Let q = 0.009 + 0.091. Is 12 bigger than q?
True
Let u = 4 + 1. Suppose 3*q - u*q + 18 = 0. Let v = 8 - q. Is -2/9 smaller than v?
False
Let y be (-48)/120 - 585/(-25). Which is greater: 43/2 or y?
y
Let w(g) = 4*g - 12. Let r be w(5). Suppose -3*i + 106 = -5*a, 3*a + r = -a. Is 31 greater than or equal to i?
False
Let q = 25/6 + -29/3. Which is greater: -2/7 or q?
-2/7
Let x = 29 + -12. Let p be 3/5*(-6)/(-18). Is x less than p?
False
Let j = 1047/2 + -21911/42. Which is bigger: 1 or j?
j
Let s be ((-14)/6)/((-3)/(-9)). Let a = 715/18 + -3265/72. Is a > s?
True
Suppose -2*m - 13 = -5*b, 3*m + 0*b - b = 0. Let v be 1*(1 + m - 3). Let n be ((-11)/(-13) + v)*-3. Is n smaller than 0?
False
Let i be -2 - -3 - (-102)/(-192). Is 0 < i?
True
Let x = -1 + 1. Suppose 6*l + 330 = -5*l. Let u be l/50 + 13/5. Which is smaller: x or u?
x
Let f(k) = -k**3 - 8*k**2 + 11*k + 21. Let h be f(-9). Suppose -h*z + 5 = 5*g, 2*z - 4*z = 0. Are g and -1/35 nonequal?
True
Let h be 59/14 - 5/(50/40). Which is greater: 1 or h?
1
Let t be -14*(-16)/168*114/4. Is t at most as big as 38?
True
Let x = -3/95 - 74/665. Let v be (-2)/11 + 117/9