m = 320.4 - 444.95. Let g = m - -124. Let w = 45.55 + g. Is 2/7 less than w?
True
Let d = -30.3 + 30.3. Are d and -469 equal?
False
Let k be (69/(-10) - -7) + (-2)/4. Let h be (-4)/(8/6) - 37/(-4). Is k > h?
False
Let i be 5/(-25) - (-37)/135. Suppose 39*r + 11 = -45*r + 95*r. Is i less than r?
True
Let h be ((-2)/5)/((-760)/(0 - -2)). Let z = h - 719/6175. Let w = 10 - 9.9. Is w bigger than z?
True
Let u = -586.1 + 586. Is u smaller than -205?
False
Suppose 3*g = 2*y + 27, -9*g = -3*y - 11*g - 60. Let x be 42/y - 2/3. Which is greater: 71 or x?
71
Let l(b) = -18*b - 91. Let t be l(-5). Let w be ((-70)/(-21))/(2/((-30)/65)). Which is smaller: w or t?
t
Let o(s) = 5*s - 3. Let n be o(0). Let c = -1 + n. Let g be (-2 - c) + 264/(-134). Which is greater: g or 0?
g
Let k = 7391 + -7490. Which is greater: -33 or k?
-33
Suppose 3*v - 101 + 20 = 0. Suppose v - 18 = 9*x. Which is smaller: x or -2/99?
-2/99
Let p = 640387 + -18452751403/28815. Which is greater: 1 or p?
1
Let u = -372.4 - -372.5. Are u and 2.364 non-equal?
True
Suppose 14*q + 3*w - 7 = 9*q, 0 = 5*q + 4*w - 11. Which is bigger: -4/87 or q?
-4/87
Let p = -325 + 276. Let l = 424.8 + -472. Let t = l - p. Which is smaller: t or -2?
-2
Suppose 5*i - 51 = -21. Suppose x + x = 0. Suppose x = p - 5*j - 5 - i, -2*p = j. Which is bigger: -12/29 or p?
p
Let i = -29 + 42. Let g = i - 15. Let k = 0.3564 - 0.0564. Is g bigger than k?
False
Let x be (191 + -190)*2/14. Is -536 at least x?
False
Let p(f) = 49*f - 1. Let b be p(-1). Suppose 63*r - 73*r + 2680 = 0. Suppose 24*w = -r - 908. Do b and w have the same value?
False
Let b(f) = 4*f**3 - 2*f**2 + 2*f + 2. Let a be b(-2). Let v be -2 + 0 + a/(-2). Suppose -87*h - 10*h = -15*h - 1640. Which is bigger: h or v?
h
Let q(r) = -2*r**2 - 20*r - 9. Let z be q(-9). Let c be (-3)/z + (-188)/3. Is -63 at most c?
True
Let k be 33/(-4)*(-6 + 2). Suppose -5*g = 20, -2*f - 1 = 5*g - 51. Is f bigger than k?
True
Let s be ((-6)/(-7))/(((-10)/24)/((-50)/(-90))). Let z(n) = -n**3 + 2*n**2 - n + 2. Let k be z(2). Let u(t) = -t. Let l be u(k). Is l bigger than s?
True
Suppose -3*k - 22 = 5*q, 0 = 14*q - 19*q - 25. Which is smaller: 3/898 or k?
3/898
Let d = 145657/180 - 809. Let c = d - -11/45. Which is bigger: c or 0?
c
Suppose -78 = -o - 80. Let q be o/4 - 396/168. Are q and -4 nonequal?
True
Let n(u) = 2*u**3 + 23*u**2 + 5*u - 3. Let k be n(-9). Suppose 360*a - 12 = k*a. Which is smaller: 25 or a?
a
Suppose 0 = 59*x + 35202 + 375. Does x = -601?
False
Suppose -28*x + 4100 = 22*x. Is x >= 77?
True
Suppose 0 = 11*j + j + 1140. Let i be (-2 - j - 0)*26/(-39). Is -64 at least i?
False
Let n(t) = -2213*t**2 + 37*t - 39. Let a be n(1). Which is bigger: a or -2213?
-2213
Let o = 56893/972594 + -25/434. Is 1 less than or equal to o?
False
Let l = -2.45 - -2.35. Let i be 2/(-12)*(-10 + 540/65). Which is bigger: i or l?
i
Let o = -29 - -25.4. Let a = 7222 + -7220. Does o = a?
False
Let o = -21501/3615602 + 11/2374. Suppose 2223*k = 4379*k - 2196*k - 40. Which is smaller: k or o?
k
Let a be 2/(-4)*-4 + 5. Let m = 37/5 - a. Let n = 2674 + -114985/43. Which is greater: m or n?
m
Let m = -2140.9 - -2141. Are m and 84 equal?
False
Let q = 3.782 - 0.082. Let f = 33.3 + -30. Let u = q - f. Is 5/7 greater than u?
True
Let h = 767062303/3016 - 254331. Which is greater: h or -1?
h
Let u = 0.47 - 1.47. Which is smaller: u or -31/41?
u
Suppose 948 + 684 = 16*v. Let f = v + -922/9. Let m(t) = -t + 1. Let r be m(1). Which is bigger: r or f?
r
Let q = -5 - -36. Let g = 43 - q. Let r(n) = -n**3 - 19*n**2 + 16*n - 69. Let x be r(-20). Which is smaller: g or x?
x
Let d = -77/123 + 277/246. Is d < 407?
True
Let x(a) = a**3 + 2*a**2 - 21*a - 21. Let g be x(-1). Is -20/447 at least g?
False
Let j = 1762 + -1862. Which is smaller: 6.6 or j?
j
Let s be 0/1 - (-7 + (-35)/(-7)). Let i be (s/(-4))/((-9)/(-18)). Is i at most as big as -15/14?
False
Let v = -1198 + 5809/5. Let m = 124 - 160. Is m <= v?
False
Suppose 5*y + 2*q - q + 5 = 0, -y - 2*q - 10 = 0. Are -1/2458 and y unequal?
True
Let f be (155/3)/(64/(-12) + 7). Suppose -2*a + 59 = 5*b, 0*b - 4*b + 92 = 3*a. Does a = f?
False
Let i be 207/23 - (-4)/(-2). Let r be -2 + i + -3 + (-9)/4. Which is smaller: -42 or r?
-42
Let y = -1 + 21. Suppose -y = -8*z + 3*z, 0 = -f - 2*z + 6. Let a be 4/14 + (44/(-7) - f). Which is smaller: -2 or a?
a
Let u(a) = -a**2 - 33*a - 91. Let j be u(-3). Is 2/7267 at least j?
True
Let k = 136 + -134. Suppose k*t + 14 = 12. Which is smaller: -19/8 or t?
-19/8
Let z be (-1 - -2)*(-3 - -7). Suppose -3*r + 91 = z*r. Let v = 2520 - 2506. Which is smaller: v or r?
r
Let d be ((-33)/(-2))/(18/96). Let a = d + -89. Let o = 12.52 - 12. Is a <= o?
True
Suppose 4*y + 3 + 0 = -5*z, 3*y = -5*z - 1. Let s be (3/150 - -1) + (y - -1). Let g(k) = k**3 - 2*k**2 + k + 1. Let d be g(1). Are d and s equal?
False
Let j = 50 - 88. Let v(y) = -3*y**2 - 91*y - 69. Let f be v(-29). Let m = f + j. Is 10 at most m?
False
Let h = 8.454 + -0.154. Let u = 8.1 - h. Which is greater: u or 0.142?
0.142
Let y = -16 - -48. Suppose -637 = -32*w + 291. Which is smaller: w or y?
w
Let v be (-78)/(-260)*-10 + 3/(-1). Is v at most as big as -154/25?
False
Let h be 15/27 + (-40732)/73350. Do 0 and h have different values?
True
Let q = 5182.4 + -5183. Which is greater: -520 or q?
q
Let g(v) = v**3 + 16*v**2 - 21*v + 42. Let t be g(-17). Suppose -18*k + 7*k + t = 0. Do k and 10 have the same value?
True
Let i be (5 + (-1 - 11/2))/(13/(-24)). Which is greater: i or 4?
4
Let u(f) = -f**3 - 6*f**2 + 25*f - 16. Let s be u(-9). Let k be 5/s*1/((-20)/216). Which is greater: k or -28?
k
Let x = -255 + 240. Which is greater: x or 1/9?
1/9
Let k = 126 - 115. Let u(h) = h - 31. Let y be u(k). Let j(a) = -a**3 - 19*a**2 + 21*a + 24. Let s be j(y). Is s greater than or equal to 7?
False
Let t = -0.73 - 0.15. Let k = -4.4478 - -0.1278. Let q = t + k. Does q = -0.1?
False
Let i = 1683.8 + -1685.7. Let s(n) = -n + 7. Let k be s(7). Suppose v = -2*m + 6*v - 23, 4*m - 2*v + 6 = k. Is m greater than or equal to i?
True
Suppose -6*x + 7*x - 108 = -2*j, -3*x - 5*j = -328. Which is smaller: x or 105?
105
Suppose -52*k + 1337 + 1419 = 0. Let p be ((-3)/30)/(8/(-4260)). Is k equal to p?
False
Let k = 208965 + -208966. Let c = -2282/11 - -206. Let i = 349/66 + c. Is i smaller than k?
False
Let m be (-9)/(-5 + 2) + -15. Let h be 28/6*14/(-49)*m. Suppose 0 = -3*y - 2*u - h + 57, 5*y = 4*u + 39. Which is greater: 10 or y?
y
Let i be (-138)/207 + (-26048)/(-3) + 2 + -2. Is 8683 less than or equal to i?
False
Let c = -233 + 242.02. Let x = c - 9. Let w = 849 + -848.7. Is x >= w?
False
Let o = 29.772 - -581.608. Let a = o + -610. Does a = -2?
False
Let c(p) = -p**2 - 6*p - 9. Let d be c(-10). Let q be 1092/(-20) + (-9 + -124)/(-19). Which is greater: d or q?
q
Let p(r) = -102*r + 837. Let q be p(8). Let i = 58 - 40. Is q <= i?
False
Let f = 701 - 24538/35. Let x(g) = g**3 - 21*g**2 - 49*g + 69. Let h be x(23). Is h >= f?
True
Let v = -0.85 + 0.8. Let d = -0.0028 - -9.0528. Let l = v + d. Is l less than 3?
False
Let b be (-28)/7 - 26/(-6). Let g be 10/(-15)*93/(-42). Let l = g - b. Which is smaller: 1 or l?
1
Let r be (-58)/(-145)*10/19. Let p = 67 - 65. Which is smaller: p or r?
r
Let u = 6332 + -6332. Which is smaller: u or 5/1247?
u
Suppose -1 = -5*n - u, u + 2 = -5*n + 3*u. Suppose 4*w - 14 = -3*h, 3*w - 5*h = -n*w - 4. Let m be ((-1 - w)/3)/(-1). Which is smaller: m or -3/16?
-3/16
Suppose -332 = -2*m + 2*d, -m - 13*d + 171 = -15*d. Is m at most 153?
False
Let h = 175 + -104. Let n be (-40)/30*(-5)/(15/198). Let j = 158 - n. Do j and h have the same value?
False
Let q = 238 + -208. Let d be (-19 + 9)/(-2*1). Let o be 17/q + d/(-30). Is 2/11 less than or equal to o?
True
Suppose -3*f - 26 = -5*f - 3*i, 4*i = -4*f + 44. Let s be (-62)/(-14) - 3/f. Suppose 32 = s*r - 6*r. Is -63/4 bigger than r?
True
Let h be ((6790/150)/7)/((-1)/36). Do h and -234 have the same value?
False
Let t = 48 - 45. Suppose -t*z + 18 = -3*m - 0*z, -3*z + 15 = 0. Is -4/31 greater than m?
True
Let b be (13016/(-6))/(330/99). Which is greater: b or -652?
b
Let n be (-4 + (-4 - (-10 + 3)))/(-1). Let v(q) = -q + 2. Let b(a) = 43*a + 7. Let f(m) = b(m) - 6*v(m). Let x be f(n). Is 46 bigger than x?
True
Suppose -4251 