515.931. Let q = 1.04 + -0.04. Are o and q non-equal?
True
Let o = -18.17 + -1725.83. Is 0.1 bigger than o?
True
Let j = 220.74 + 276.14. Let x = j + -497. Suppose y = 4*y - 3. Is x less than y?
True
Let q(f) = f**2 - 18*f + 20. Let g be q(20). Let a be 2/5 + 276/g. Suppose -58 + 208 = -a*s. Is s less than or equal to -31?
False
Let y = -7 + 2. Suppose -8*a + 130 = 5*a. Let i be 286/440 + 1/a. Which is bigger: i or y?
i
Let g(y) = -44*y**3 + 7*y**2 - 6*y + 8. Let p be g(3). Let f be 2/(-6) - p/(-15). Is -77 greater than or equal to f?
False
Suppose -10*b - 8 = -8*b - 3*o, 5*o = 2*b + 8. Which is smaller: b or -31/6?
-31/6
Let g be -1*(7 + (-699)/(-15)). Suppose -3*m + 4*m + 54 = 0. Let t = m - g. Does 18 = t?
False
Suppose 0 = -13*m + 307 - 21. Let o be m/4 - 8/(-16). Suppose 6 = -u + 4*x, 9*x - o*x + 3 = 0. Is -10 at least u?
True
Let j = 284.69 - -40.11. Let w = j + -325. Let x = 178/3 + -2312/39. Which is smaller: x or w?
w
Let g be 10/5*230/4. Suppose 162 = 2*i - 3*u - 65, 5*i - 2*u = 573. Is g <= i?
True
Let x be ((-14)/(-6566))/(60/(-4515)). Does x = 1?
False
Let q(g) = 4*g + 5. Let y(p) = -7*p - 9. Let b(w) = 5*q(w) + 3*y(w). Let j be b(-5). Suppose 0 = -2*h + 7 + j. Which is greater: h or 6?
6
Suppose 4*i + 2*m - 10 = 0, -i + 4*m - 5 = 3*m. Is i at most -10/2271?
False
Suppose -4*v + m + 45 = 0, 2*m - 1 = 5. Let r(p) = -p**2 - 21*p - 22. Let o be r(-1). Let z be -4*o/((-8)/(-9)). Which is greater: z or v?
v
Let y(t) = 260*t - 136. Let i be y(23). Is i smaller than 5843?
False
Let s = 358 + -241. Let z = s + -112.3. Let i = z - 4.9. Does i = 2/3?
False
Suppose 2*d - 42 + 74 = -2*q, -2*d - 16 = -2*q. Which is bigger: d or -7.5?
-7.5
Suppose 4*n = -k - 4*k + 244, n + 239 = 5*k. Let w = k + -44. Suppose 3*r - 12 = -3*o - 0*o, 0 = -o + r + w. Is 4 at least as big as o?
True
Let f = 58.922 - 59. Let p = 224 - 220. Let r be ((-4)/(-3))/(-2) - p/(-6). Which is bigger: r or f?
r
Let a(n) = 2*n**3 + 50*n**2 - 127*n - 207. Let z be a(-27). Which is smaller: z or 333?
z
Let n(p) = -6*p + 130. Let y be n(23). Let j be 6*(3 + y)*8/24. Which is greater: 3 or j?
3
Let i = 11 - 6. Let t = -249323 - -10970673/44. Let o = t + -74/11. Which is bigger: o or i?
i
Let t = 68/3 - 22. Suppose -11 = 3*b - x, 9*x - 12*x = 12. Let k be (-2)/b*(-10)/(-4)*-2. Which is greater: t or k?
t
Let j = 29665.957 - 29666. Let u = 74/57 - 12/19. Which is smaller: j or u?
j
Let h = 83 - 58. Suppose 5*a - 120 = -14*z + 18*z, z = a - 23. Is a less than h?
False
Let q(p) = -42*p**2 - 210*p - 423. Let s be q(-2). Which is greater: s or 0.3?
0.3
Let w = -20415 - -20331. Is w equal to -54?
False
Suppose 0 = 44*f - 110*f + 56364. Which is greater: 852 or f?
f
Suppose 3*i = 2*j - j - 12, -j + 9 = -2*i. Let x be (i - 21/(-6))/(8/(-16)). Let l = -2/157 + 233/5966. Which is bigger: x or l?
l
Let z = -8.1302 + 0.1302. Which is smaller: z or -142?
-142
Let k(m) = 11 + 16 - 10 + 4 - 7*m. Let h be k(7). Let a = 26 + h. Which is smaller: -9/7 or a?
a
Suppose 80 = -2*k + 4*l, 0 = 3*k + l - 6*l + 116. Suppose 4*x = -3*i - 97, 2*i - 7*i - 115 = 5*x. Is k bigger than x?
False
Suppose 0 = b + 3*b + q + 1397, -2078 = 6*b - 2*q. Is b at most as big as -348?
True
Suppose -201 - 96 = 2*k - n, -285 = 2*k + 3*n. Let l(a) = 17*a**2 + 2296*a - 12. Let y be l(-135). Does y = k?
True
Let l = -278 - -295. Suppose -6*r = -11*r + 85. Is l not equal to r?
False
Let s be (-208)/(-3) + (-1 - (-10)/6). Let t be (-43)/s + 2/5. Which is smaller: 1 or t?
t
Suppose -4*u - 6*h = -10*h - 296, -226 = -3*u + 4*h. Let m = u - 489/7. Is m less than -16?
False
Let j = 2/250959 + -1924273/31871793. Which is bigger: 0 or j?
0
Let o = -5561 - -5520. Is 0.007 at least o?
True
Let c = -2048 + 2051. Let b = 73/5 + -2681/185. Which is smaller: c or b?
b
Let p be ((-18568)/(-55) - -2)/((-28)/(-20) - 1). Is 0 bigger than p?
False
Let v = -4786 + 76561/16. Which is smaller: 0.15 or v?
v
Let w be (8/70)/(356/10). Let k = -708837 - -708837. Which is smaller: w or k?
k
Let a = 44896/17 - 2641. Let o = -4/91 - 162/455. Which is greater: a or o?
a
Let d be 3 - (-1 + 1 + (-471)/3). Suppose 0 = k + 4*o + 17, -d = 2*k + 3*k - 5*o. Let s = k + 33. Which is greater: s or 3?
s
Suppose 3*u - f = 14270, 540*f - 541*f + 9505 = 2*u. Are 4753 and u nonequal?
True
Let l = -4.585 - -4.685. Is l at least -545/2?
True
Let i = 111001/13 - 8539. Which is smaller: i or -3/100?
i
Let l = -0.243002 + -0.756998. Suppose -5*b - r + 3*r = -339, 0 = -5*b + 3*r + 336. Is b at least l?
True
Let w = 12.231 - 0.231. Let j = -11 + w. Let s be 5/(-3) - 2/(-3). Is j greater than or equal to s?
True
Suppose -s = -5*a + 788, 4*s + 44*a = 39*a - 3227. Which is greater: s or -801?
-801
Let d(b) = 10*b**2 - 103*b + 30. Let k be d(10). Which is smaller: k or -10/1661?
-10/1661
Let a = -790 - -868. Which is greater: 85 or a?
85
Let k = -16/21 + 10/7. Let q(c) = 3*c**2 + 2*c - 33. Let m be q(-8). Let g = -207 + m. Which is bigger: g or k?
k
Suppose -882 = -13*q + 4383. Which is bigger: q or 406?
406
Let o = -309 + 282. Let w = o + 25.66. Which is greater: w or 0?
0
Let o be 66/110 - 12436/10. Let r = 1246 + o. Let y be -3*1*14/6. Which is bigger: r or y?
r
Let x = -0.99064 - -1.12064. Let l = -4 - -8. Does l = x?
False
Suppose h - 103*x + 108*x + 4101 = 0, -3*h + 4*x = 12436. Is h bigger than -4136?
False
Let d = -86.811 + -0.189. Let s = d + 90.7. Let m = s + -2.7. Are 3/14 and m nonequal?
True
Let n(w) = w**2 + 7*w + 21. Let b be n(-8). Let v = 29 - b. Suppose -y - 1 = -v. Do y and -2/15 have different values?
True
Let o = 1.68 - 81.68. Let i = o - -80. Let d = i - 0. Is -0.3 greater than d?
False
Let t be (24 - (-7990)/51)/(3/1). Is 59 < t?
True
Suppose -93*j + 39029 = -270*j - 55843. Is j at most as big as 14?
True
Let g(h) = h**2 - 12*h - 87. Let m be g(17). Let p be ((-3 - 1)*92/(-8))/m. Which is greater: -25 or p?
p
Let c = -51 - -26. Let m be (-286)/(-44) - (-1)/2 - 2. Suppose 55 = -2*r + m*s, 2*s - 6 = 2*r + 46. Do c and r have the same value?
True
Let s = -10 - -20. Let u = s - 8. Let j be (3/u)/((-165)/176). Which is smaller: j or -4?
-4
Let g be (-96)/(2/(-6) + (-54)/(-81)). Let x = 190 + g. Which is smaller: x or -100?
-100
Suppose 4*x + 251 = -0*x - 5*g, -2*x - 3*g - 125 = 0. Let p be (-3 - (-4)/2) + x. Let s = p + 39. Which is greater: -25 or s?
-25
Let a = -89 + 325. Let g = -294 + a. Which is smaller: g or -2/5?
g
Let v = -0.243 - -38.143. Let b = 38 - v. Which is smaller: b or -119?
-119
Let r be ((-54)/(-30))/((-3)/(-20)). Let v = -4 + 24. Suppose -17*p - r = -v*p. Which is smaller: 13/5 or p?
13/5
Let g = 2.3901 - 2.5181. Is g at most as big as -3.7?
False
Let f = -0.35718 + 181.35718. Is 5 >= f?
False
Let n be (2/(-3))/((-81095)/27035 + 3). Is -1801 <= n?
False
Let i(u) = 4*u**2 + 101*u - 308. Let q be i(-28). Is -5/2459 bigger than q?
False
Let a(h) = 2*h**2 - 13*h - 9. Let j be a(7). Let v be ((-18)/(-27))/(j/(-24)). Suppose v*s = 7*s - 2. Which is smaller: 3 or s?
s
Let b(p) = 2*p - 4. Let l be b(3). Suppose 0 = l*u + u + 93. Let z be (30/35*-7)/((-2)/(-10)). Is z smaller than u?
False
Let a be -5*(-4 + 56/10). Let r be -2 + a/(-5) - 48/(-120). Let x be -2 - 0 - 3/(-1). Which is smaller: x or r?
r
Let g be 18/63 + 480/35. Let c(z) = z**3 - 16*z**2 + 30*z - 54. Let n be c(g). Suppose -5*j = 3*o + 65, o + 3*j = -o - 44. Which is greater: o or n?
o
Suppose -2*g - 136 = 2*g. Suppose -2*h - 3*h = -285. Let s = h + -92. Is g <= s?
False
Suppose 11*m = 6*m - 200. Let q be 62/m - 6/(-8). Which is smaller: q or -1?
-1
Let o be (-7)/(21/25425)*(157 - 156). Which is smaller: o or -8476?
-8476
Suppose 11*a - 12*a - 3 = 0. Let j be (-22 - 1) + a/(4 - 7). Is j greater than -20?
False
Let z be (-8)/(-4) - (-4064)/(-1143). Does 361 = z?
False
Let l = -246 - -1234/5. Let q = -48.23 - -47.81. Which is bigger: l or q?
l
Let p be (-5)/((-20)/12) + 0/1. Let h(y) = -y**3 + 5*y**2 + 5*y + 6. Let s be h(p). Let m be -3 + (s - (-6)/(-3)). Does m = 34?
True
Let r = 18811.508 - 18811. Which is bigger: r or 2/3?
2/3
Let r = -30920 - -24222. Is r equal to -6697?
False
Let a = -5975 + 6857. Which is bigger: a or 2647/3?
2647/3
Let f = -189 + 191. Suppose 0*h = -h + 3*p - 7, -f*h - 2*p - 14 = 0. Is h less than or equal to -39?
False
Let q(z) = -2*z**2 - 8*z - 3. Let l be q(-4). 