). Is u at least v?
False
Let x = 797/1456 + -1/112. Let q = 47/39 - x. Which is greater: 8 or q?
8
Let a = 21 + -64/3. Suppose -4*x + 4*l - 8 = 4, -2*l + 5 = -3*x. Is x at most a?
False
Let h = -222 - -225. Which is greater: 7 or h?
7
Suppose -5*k = -3*x + 8, 0 = 59*x - 61*x + 2*k. Let y = 4 + -14. Let d be (x/(-6))/(y - -17). Which is smaller: d or -1?
-1
Let d be (2 - 1)/((7/4)/7). Let t(m) = 2*m**2 - 8*m. Let s be t(d). Which is greater: 3/7 or s?
3/7
Let i = -60 - -239/4. Let l be -2 + ((-27)/(-3))/3. Suppose l = j - 3. Which is greater: i or j?
j
Let l(c) = c**2 - 2*c + 3. Let b be l(2). Suppose b*k - 4 = 2*k. Suppose k = -x - 0. Is 1 not equal to x?
True
Let v = 223.9 + -93.87. Let m = v - 130. Does -4 = m?
False
Suppose 62*f + 32 = -30. Let o = -1.6 + -9.4. Which is smaller: o or f?
o
Let w be (16 + -13)*4/3. Which is smaller: 41/9 or w?
w
Let s = -1.85 - -2. Let j = -0.65 - -0.7. Let c = j - s. Which is bigger: -0.8 or c?
c
Let s(g) = -14*g + 29. Let d be s(4). Let l be (-4)/5*30/(-4). Let n be 1/2 + d/l. Does -3 = n?
False
Let h = -464 + 464.1. Which is greater: 2/1901 or h?
h
Suppose 2*l + 5*g + 20 = 0, -4*l - 2*g = -7*g - 20. Let i be (-10)/(-2*(-12)/(-16)). Does i = l?
False
Let f = 53 + -61. Let z be f/(-138)*((-9)/6 + 2). Does z = -1?
False
Suppose -4*r - b + 1 + 4 = 0, -5*r = -b - 13. Let j = 13 - 13.1. Let f = 0.1 + j. Is f greater than r?
False
Let c = 242 - 217. Is c at least as big as 7?
True
Let l = 42.95 - 43. Do l and 1 have different values?
True
Let i = 119 - 82. Suppose -i*d + 147 = -30*d. Which is smaller: d or 22?
d
Let k = 33.8 - -3.2. Let d = k + -28. Which is smaller: 0.1 or d?
0.1
Let f be (3/4)/((-6)/(-24)). Suppose f*w + 224 = -w. Let r be ((-4)/w)/(2/(-8)). Which is smaller: r or -8?
-8
Let m = -162813/11 + 14801. Let b = 1 + -1. Let i = -1 + b. Does i = m?
False
Let w = -22 - -16. Let b = 6.257 - 0.057. Let i = b + w. Which is bigger: i or 2?
2
Let b(z) = -6*z + 6. Let x be b(8). Let p be ((-12)/8)/1 + (-75)/x. Which is bigger: p or -4?
p
Suppose 0 = -7*p - 47 + 26. Is -159 smaller than p?
True
Let u = 1463/4 + -366. Let d = 0.6 + 0.4. Let i = -3 - d. Is u > i?
True
Suppose -8*h = -21*h. Let w = 5.1 + 37.9. Let u = 64 - w. Is u >= h?
True
Suppose 12*j = 18*j - 108. Suppose -4*y - 4*h - 12 = 0, -4*y + 2*h = -3*y + j. Which is greater: -7 or y?
-7
Suppose 4*p = j + 100 - 3, 4*j = -3*p + 87. Let x = p + -11. Let a = -15 + x. Are a and -2/11 nonequal?
True
Suppose 1152 = -3*n - 4*r + 118, 3*n = 5*r - 1016. Do n and -343 have the same value?
False
Let q = 0.046 + 113.954. Is q <= 2?
False
Suppose 2894 = 2*r + 2632. Is r > 132?
False
Let x be (8 - (-88)/(-12)) + 992/(-1497). Is 0 bigger than x?
False
Let r be ((-3)/18)/(3/(-6)). Suppose -7 = -3*z - 22. Let v be 3/15 + (-4)/z. Is v < r?
False
Suppose -4*k + 68 = 4*c, 3*c - 14 = 4*k + 2. Let m(z) = z**2 - 10*z - 13. Let x be m(c). Is x at least as big as 10?
True
Let g be 7*-3*(6 + (-1314)/(-54)). Is -636 greater than g?
True
Suppose 3*g = -4*d - 51, -5*d + 4*g = -2*d + 7. Let n = 6 + d. Are -3 and n non-equal?
False
Let h = 694/5 + -137. Let c be 12/(-30)*5/(-2). Which is smaller: h or c?
c
Let l be (-14 - -6)*1/(-2). Suppose l*x = -w, 0 = -4*w + 3*x - 5*x. Is w > 38?
False
Let u = -1 + 1. Let d = -12.64 + 12.6. Let o = 0.09 + d. Which is greater: u or o?
o
Suppose -5*a - 5*b + b + 16 = 0, 5*b - 20 = 2*a. Suppose a = 2*g + 6 - 0. Suppose 3*m = -3*l - 21, -2*m + 7 = -l - 4*l. Is g > l?
False
Suppose -3*c - 394 = 14. Is -136 greater than or equal to c?
True
Let m be (-3)/26*2222/(-303). Which is smaller: 2 or m?
m
Let z = 318 + -950/3. Which is smaller: -15 or z?
-15
Let t = -0.03 + -22.97. Let d = 6 + t. Which is smaller: -1 or d?
d
Let d = 7119/23875 + -34/125. Which is greater: d or 0?
d
Let d = -16.63 + 16.73. Let w = 0.16 + -0.07. Which is smaller: w or d?
w
Let d = 5614/6059 + -86/83. Which is smaller: 0 or d?
d
Suppose -2*g - 4*j - 36 = 0, 2*g + g - j = -89. Let v be -42*(-7)/g*4/(-3). Is v < 67/5?
False
Let g(y) = y**2 + y. Let n be g(-1). Let r = 118 + -116. Which is smaller: n or r?
n
Suppose -5*q - 5 = -0*q. Let d be q/((9/(-21))/(-3)). Let x(s) = s**3 + 8*s**2 + 6*s - 8. Let g be x(d). Are -2 and g non-equal?
True
Suppose i = -i + 2. Let n = 4/35 - 138/595. Let s = n + 27/85. Which is greater: i or s?
i
Let a(s) = -6*s**2 + 45*s + 472. Let r be a(-9). Which is smaller: r or -420?
-420
Let b = 2027 - 2101. Is 3 >= b?
True
Suppose 0 = 7*g - 71 - 27. Let k(x) = -x**3 + 14*x**2. Let d be k(g). Which is bigger: -1/4 or d?
d
Suppose -76*l - 947 = 649. Suppose -3*r + 18 - 4 = -q, 4*q = -4*r - 104. Let a = -43 - q. Which is greater: a or l?
a
Let v(m) = -m**2 - 6*m - 6. Let l be v(-5). Let d(x) be the third derivative of -x**5/60 + 5*x**4/12 - 11*x**3/6 - 9*x**2. Let p be d(9). Is p bigger than l?
False
Let l be (-1951)/9 - (-1)/((-54)/12). Is l smaller than -217?
False
Suppose 18*j - 15*j = 15. Suppose 0 = w - 4, -2*w = j*m - 3*m - 2. Let o be (-6 - -4)/(m - -1). Which is smaller: o or 4/7?
4/7
Let f = 1735/11 + -158. Let z(j) = -j**3 + 3*j**2 + 5*j. Let g be z(4). Suppose a - 3 = g*a. Which is greater: a or f?
f
Let r = -328/13 + 30530/1209. Let h(k) = -k**3 - 2*k**2 + 2*k - 4. Let z be h(-3). Is z less than or equal to r?
True
Let z be 2 - (-3 - -3 - 2). Suppose 0 = -b - z*u, -4*b - 5*u = 13 + 20. Let i be 1/(-2) - 3/b. Is 1 bigger than i?
True
Let x be (-162)/18 + 5*1. Let a be 5/(-2) + 2/4. Which is greater: x or a?
a
Let v = -1940007021/118 - -32870219/2. Let h = v + 625282718/111097. Let f = -2/269 + h. Which is bigger: f or -1?
f
Let g = 82 - 78. Suppose 1 + 2 = -y - g*r, -7 = -5*y + 2*r. Which is bigger: y or 33?
33
Let o = -2.03 + 0.03. Let d = 2.9 + o. Let n = 1 - d. Which is bigger: n or -1/8?
n
Let w = -66 - -44. Let u = w - -48. Let q = u + -25. Which is smaller: q or 23?
q
Suppose 12 = 5*h - 13. Suppose -u = -o + 5, 2*u + h*o - 16 = 2. Let m be 2*((-3)/(-24))/1. Do m and u have different values?
True
Let n = 114 + -115.02. Let p = 0.3 + n. Do 1 and p have the same value?
False
Let l(h) = -h**3 + 7*h**2 - 6*h + 8. Suppose 0 = 14*s - 16*s + 12. Let x be l(s). Which is smaller: 7 or x?
7
Let l be (-12)/16 - 87/(-52). Let x = 0 - -0.3. Which is greater: l or x?
l
Suppose -5*a + 76 = -154. Suppose -6 + a = -5*h. Suppose -2*c - 1 - 13 = 0. Which is smaller: h or c?
h
Let v = -1324 - 517. Which is greater: v or 0.1?
0.1
Let d(x) = -x**2 - 19*x - 28. Let h be d(-17). Let i = 20/3 - h. Let a be (-4)/14 + 172/14. Are a and i unequal?
True
Suppose 4*f + 16 = -4*s, -5*f + 2*s = 19 + 15. Let m be (-9)/(-54) + (-11)/f. Is m greater than 1?
True
Let d be 6*(0 + (-37)/1). Let l be (-18)/d*4/(-6). Let c = 4 - 3. Which is greater: l or c?
c
Let q = 2.8 + -3. Let n = 12.8 - 13.2. Which is bigger: q or n?
q
Let d(g) = -g**3 - 7*g**2 - 5*g + 8. Let t be d(-6). Suppose -5*r = v - 8*r - 20, -v = r. Suppose -v*a + 20 = 10. Is a equal to t?
True
Let w(x) = x**3 - 7*x**2 + 14*x - 17. Let n be w(5). Which is smaller: n or -6?
-6
Suppose -4*w - 26 = 2*t, -17*t + 12*t - w - 38 = 0. Suppose -f + 17 = -3*g, -2*g - 3*f = 2*f + 34. Is g less than or equal to t?
True
Let h = -173 + 171.67. Let k = -0.33 - h. Which is smaller: k or 2/3?
2/3
Let z(g) = g**3 - 2*g**2 - 15*g + 27. Let u be z(4). Which is bigger: u or -11/6?
u
Suppose -3*y + 5 = -7. Suppose 0 = -5*c + k + 47, y = -2*c - 5*k + 12. Is 10 greater than or equal to c?
True
Let x = 866 - 1024. Which is bigger: -157 or x?
-157
Let v = -6.39 - -7.39. Is v >= -137?
True
Let m be 2 + -2 - (-12)/1. Suppose -p + 4*p + m = 0. Let r be 0/p - (-1 + 2). Do 3/7 and r have different values?
True
Let c = 88 - 83. Suppose 0 = -4*g - 4*x, c*g - 4*x + 10 = -17. Is -3 != g?
False
Let f be 578/(-255)*(-10)/(-36). Which is greater: -2 or f?
f
Suppose -10*l - 4600 = -20*l. Is 458 > l?
False
Let w = -288 + 65. Let p = w - -136. Is p at least as big as -86?
False
Let u = -1.2 - -1.3. Is 1 >= u?
True
Let p = 3.6 + -2.1. Let t = -4 - -4.5. Let n = t - p. Which is smaller: n or 3?
n
Let d = 535 - 704. Is 2/5 at most as big as d?
False
Suppose -x - 67 = -5*h + 9, 3*x + 68 = 5*h. Let l be 1/(-2) - (-6)/h. Which is greater: 3 or l?
3
Let i = 0.324 + 43.676. Let b be (15/(-27) - -1)/((-2)/3). Which is bigger: i or b?
i
Let u be 3*1/25*(-90)/(-108). 