t b be (-9)/54*1 + r/(-228). Is -4 < b?
True
Let c be 16 - 11 - ((-334)/(-66) - 0). Which is greater: -1 or c?
c
Let v = 3/643 - -637/1286. Which is smaller: 272 or v?
v
Let o be (-6)/14 + (-18)/(-42). Suppose 6 = -3*j + 5*j + 2*a, o = -5*j - a + 35. Which is greater: j or 11?
11
Let w = -5539 + 38602/7. Which is bigger: -24 or w?
-24
Suppose 3*i - o + 228 - 72 = 0, 5*i = 3*o - 260. Suppose -3*s - 15 = -8*s. Suppose -s*j - 154 = -c, -115 = 4*j - 5*c + 83. Is i < j?
False
Let r = 7918 - 989748/125. Let x(o) = -o + 9. Let w be x(9). Which is bigger: w or r?
r
Suppose 5*f - 94 = 2*v, 214 = -4*v - 3*f - 0*f. Let d be v/6*6/(-4). Suppose 13 = -4*n + c + 2*c, -5*c = 2*n - d. Is 2 > n?
True
Let x be -24*(6 + (-136)/24). Let u be -5 - x/((-2 - -8) + -4). Let k be (-8)/(-78) + (1 - 1). Is k < u?
False
Suppose -3*p = 5*y + 99, 2*p - 5*p = -y + 117. Let r = p + 37. Let h be r + 0/(3 + -4). Is h at most as big as 0.4?
True
Suppose -j - v = j - 81, 0 = -j + 2*v + 43. Let n = 53 - j. Let b be ((-7)/(112/n))/(-27). Which is smaller: 2 or b?
b
Let r be (-705)/(-162) - (0 - 6). Let h = -4/27 - r. Let q = -3 - -2. Is h > q?
False
Suppose -2*b + 3*b = 2*p + 883, -4*p - 1775 = b. Let m = -8593 - -8150. Is m less than p?
False
Let z = 41813 + -41796. Let a be (-70)/(3 + (3 - 8)). Which is smaller: z or a?
z
Suppose 239*y = 242*y - 3. Is y > 4/1407?
True
Suppose 4*o = 11 + 33. Let x = 3499/285 - -7/57. Which is greater: o or x?
x
Suppose -5*a + 0*y = -3*y - 290, 5*a - 4*y - 295 = 0. Let t = -23 - a. Is t != -79?
True
Let o(l) = -l**2 - l - 6. Let q be o(4). Suppose 5*y = 5*s - 4*s + 48, y = s + 28. Which is smaller: q or s?
q
Let c = -8045 + 7087. Is -961 at least as big as c?
False
Let i be 0 + 1 + 3 + -1. Let g be ((-42)/(-4))/i*-20. Let j be -1 + (-11)/(605/g). Is j equal to -1?
False
Let o = -263 - -328. Let q be 1/1 + (190/3 - -1). Is o at least as big as q?
False
Let p = -68.2 - -68.817. Let z = p + -0.717. Are z and 28/25 equal?
False
Suppose 3*k + 5*g + 5 + 6 = 0, 5*g - 17 = k. Let o be k/((1/(-3))/((-1)/3)). Let z be (2 + o)/(2 - (-24)/(-3)). Which is smaller: 2 or z?
z
Let m be 7/((-35)/(-20)) - (2 + -1). Suppose 0 = 3*z + m*l - 9, -4*l = -0*l. Suppose 2*o + 30 = z*o. Which is greater: 29 or o?
o
Suppose -728 = 3*o - 2708. Suppose 6*i - 10*i - o = 0. Does -167 = i?
False
Let k(d) be the second derivative of -22/3*d**3 + 0 + 22*d**2 + 1/20*d**5 - 20*d - 19/12*d**4. Let n be k(21). Which is bigger: 9/11 or n?
n
Suppose -6524*f + 1 = -6515*f - 26. Is f at most as big as 330/101?
True
Let l be (1/(-5))/((-4)/15 - -2). Suppose -5*b = 2*b + 98. Let d = 14 + b. Which is greater: d or l?
d
Let c = -221 + 258.8. Let w = -26.8 + c. Is w > 1/9?
True
Suppose -v - 189 = -10*v. Let l = v - 26. Let k = -2.1 + 2.1. Which is bigger: l or k?
k
Let c = -0.1 + 0. Let v = c - 0.1. Suppose 538*g = 630*g - 92. Are g and v unequal?
True
Let r = 573 + -601.56. Let j = -0.44 + r. Let g = j + 28.51. Is 1/4 at least g?
True
Let x = 314.694 + -0.694. Let c = -313 + x. Which is greater: c or -1/4?
c
Let w = 12927/386 - -2/193. Let z = -27623 - -27622. Is w less than z?
False
Let b = -607 + 1342. Let u = b + -2225/3. Let v be 2/4*(-14)/(-7). Do u and v have different values?
True
Let p be (0 + 12/20)/((-4)/(-20)). Suppose p = -u + q, 4*q = 3*u + 7 + 5. Is u >= -3/32?
True
Let u be -4 + 390/1010*21/2. Which is bigger: u or 1?
1
Let x be (-8)/(-12)*(-1662)/(-4). Let t = 84562 + -84286. Is x at most t?
False
Let f = 16.833 - 16.8. Let r = 0.133 - f. Is r greater than 13/3?
False
Suppose 78 = 4*p - 2*l, 3*p - 45 - 18 = 3*l. Let w be 6/p + (1542/963 - 2). Let d = -465/10379 - w. Which is bigger: 0 or d?
d
Let v be 180/(-189) - 108/(-84). Are 1.104 and v unequal?
True
Let s = 1.72 + -20.12. Let v = s - -19. Which is greater: v or -7?
v
Let y be 44/(-18) + 1 - -1. Suppose -5*u = -6*u + 4*u. Let b be -3 - -7 - 5 - u. Which is greater: y or b?
y
Suppose -25*g - 58781 - 52819 = 0. Let j be g/(-120) + (-8)/(-10). Which is bigger: 36 or j?
j
Let a = 1496 - 1506.51. Let s = a - -10.5. Which is smaller: s or 0.16?
s
Let d be 178/3 - 0/1. Let u(s) = -1284*s - 1224. Let w be u(-1). Is d at least w?
False
Let v be (-72)/(-21)*19/((-2717)/(-770)). Which is smaller: -1/4 or v?
-1/4
Let k(h) = 12*h - 132. Let j be k(10). Let d be (-11)/((-44)/(-16)) - j. Which is smaller: 4 or d?
4
Suppose 0 = -z - 2*z - 2*h - 255, -5*z - 425 = -h. Let t = z + 133. Let w be (-2)/(-7) + t/(-189). Is w at least as big as 0?
True
Suppose o + 1 = 0, x + 7*o - 5*o = -4. Let b be 2 + 4 + x - 54976/14410. Let u = b + -2/655. Which is smaller: -7 or u?
-7
Let c be (-15)/3 + -4606 + 18. Which is bigger: c or -4594?
c
Let a = -204 - -209. Suppose -2*z - 5*g = -3*z + 24, 0 = 3*z - 3*g - 36. Let v = 15/2 - z. Which is bigger: a or v?
a
Suppose 2*i - 5*t = 1733, -3*i + t + 2850 = 244. Let n = i + -2633/3. Is n not equal to -8?
True
Let w = 26 + 1. Let v be (76/6)/(60/w - 2). Suppose 4*o - o = v. Is 19 at least o?
True
Let k(g) = g**2 - 8*g - 45. Let z be k(13). Let h be (4 - (-35)/z)*(2 - -2). Let y be 2 + -3 + 3 + h. Are y and 25 nonequal?
False
Let r be -5*70/80 + (-3)/(-8). Let c be -139 + r*(3 + -4) - 2. Which is smaller: c or 0.2?
c
Let t(h) = -2*h**3 - 9*h**2 + 9*h + 2. Let z be t(4). Let a = z + 235. Is a at least 1/278?
True
Let a = -240407930/1047 - -229616. Is -1 != a?
True
Let s(k) = -k**3 - 2*k**2 + 3*k. Let r be s(-3). Let j(o) = -3*o**2 - 129 + 263 + 3*o - 132 + 2*o**2. Let y be j(r). Is 7/5 < y?
True
Let r be 1/2*(-4)/166. Suppose 17 = 2*b - 5*h - 14, -h = 4*b - 7. Let p be (-10)/10 + b + -3. Which is smaller: p or r?
p
Let z be (-176)/(((-68)/(-16))/(-17)). Is 703 less than or equal to z?
True
Let u = 19654403107/6316575 + -40/252663. Let n = -3111 + u. Is n at most 1?
True
Suppose 0*c - 3*y = c - 57, 4*c - y = 241. Suppose 2*b = -4 + c. Suppose 4*f = -3*p + 60, -3*f = -1122*p + 1119*p + 102. Are p and b equal?
True
Let p = 813 + -813.1. Let w = 0.208 + 94.792. Which is bigger: w or p?
w
Let c(f) = 11*f**2 - 10*f - 40. Let u be c(-4). Suppose -10*q = -18*q + u. Which is smaller: q or 24?
q
Suppose 0 = 4*c + 16, -56 = -5*v - 0*v + 4*c. Suppose 0 = 3*t - 15, -5*m + 3*t = -v*m - 3. Let k be 5/30 - ((-7)/m - 1). Which is smaller: 6/53 or k?
k
Let b = 15877/264 - -29/264. Let w = b + -60. Let q = 0.008 + -4.008. Which is smaller: w or q?
q
Suppose 101*d - 7356 = 89*d. Which is smaller: d or 606?
606
Let x = -1677/20492 - -19/218. Which is smaller: 0.64 or x?
x
Let r = -4.1 - -4. Let a = 555 + -913. Let s = a - -297. Is r bigger than s?
True
Let b = 1.1 + -3.5. Let w be (-23)/(46/(-4)) + 3. Which is bigger: b or w?
w
Let l be -69*(-24)/18*(-6)/(-4). Let h = l - 142. Suppose 4 = -4*m - 0. Is h equal to m?
False
Let d = -15 + -128. Let t = -140 - d. Is t greater than 32/13?
True
Let x be 1*(36/(-8) - -4) + 120447/241326. Is 0 >= x?
True
Let v be (-7)/(4/(-6) - (-44)/84). Suppose -v = 2*p + j, -4*j - j = 3*p + 77. Let f be p/16 + (-4)/(-2). Which is greater: 1/10 or f?
f
Let h = -307673127/132679114 - -25845/12899. Let j = h - -5/278. Which is smaller: j or 1?
j
Suppose 0 = -13*d - 5 + 18. Let n = -17944/23 - -780. Which is smaller: n or d?
n
Suppose 3*k - 528 = -2*g + k, 0 = -4*g + 5*k + 1056. Let z be g/20 + -6 + (-174)/(-30). Is z <= 5?
False
Let p be 4 - 19/5 - 335013/(-60). Let x = -5547 + p. Which is smaller: 38 or x?
x
Let y be (54 + 0)/(-2 + -9). Let s(f) = -f**2 + 16*f - 64. Let j be s(10). Let k be -5 + (-5 - 20/j). Is y equal to k?
False
Let b be (1520/(-185))/(-2) - (-43 - -11)/8. Are b and 7 unequal?
True
Let u = -174 - -133. Which is smaller: -4/27 or u?
u
Suppose 0 = 5*l - 35 - 25. Suppose -4*k = -5*k + l. Let g = -8018 + 8020. Which is bigger: g or k?
k
Let k = 102455 + -102720. Suppose -2*w - 4*z = 520, 0 = -4*w - 0*w + 5*z - 1079. Which is smaller: w or k?
w
Let b = -610 + 598. Let u be 96/b - -72 - (8 - 2). Which is smaller: u or 57?
57
Let g be (-1)/(-2)*0/12. Suppose g = -8*k + 3 + 141. Let j be -4 - (-78)/k - 10/18. Which is smaller: j or 0.05?
j
Let m = 11262.5 - 11271. Which is smaller: 0.039 or m?
m
Let k = 811 + -957. Let a(h) = -2*h + 37. Let w be a(19). Which is greater: w or k?
w
Let i = 449 + -644. Suppose -5*k = -5*s - 481 - 449, 5*k = 2*s + 345. Is i at most s?
True
Let z(i) = -2*i + 8. Let 