74 + -19256. Let i be 6/8*(-732)/3. Is i < h?
True
Suppose -3*w + 8*z - 5*z - 6180 = 0, -3*z = -w - 2060. Is -6182/3 > w?
False
Suppose 40*m = 55*m + 3405. Suppose 183 = -2*i + 2*y - 265, 4*i + 923 = -5*y. Is i > m?
False
Suppose 8*x + 1116 = -4*x. Let r = x - -92. Which is smaller: r or 1/44?
r
Suppose -5*k + 5*h - 60 = 0, 0 = 2*h + 1 - 9. Let b = -122.06 + 122. Which is bigger: b or k?
b
Let w be (183/(-1425))/(294/85). Let i be (-48)/(-144)*(-3)/11 + (-501)/(-5390). Let y = w + i. Is 1 > y?
True
Let h(m) = -3*m**2 + 2*m - 1. Let j be h(-2). Suppose -7*v = -73 - 53. Let n = v + j. Which is greater: 2/39 or n?
n
Let n be 51 + -53 + 0 + 20. Suppose 21*k + n + 3 = 0. Let p = -267/85 + 16/5. Is p smaller than k?
False
Let w = 12828 - 12828.047. Which is bigger: -91 or w?
w
Let m = -0.06 - -19.06. Let v = -18 + m. Let o = -159.77 - -160. Are o and v nonequal?
True
Let h = 69436/27 - 2572. Suppose 5*j - 104 = 71. Suppose 0 = -29*t + j*t. Which is smaller: t or h?
h
Let s(n) = 2*n + 9. Let h be 2/(-4)*(4 + -4 - -26). Let u = h + 8. Let r be s(u). Which is smaller: 2/37 or r?
r
Let v = -339 - -778. Are -1 and v unequal?
True
Let v = 71 + -68. Suppose v*j - 15 = 0, -3*h = -2*h + 3*j - 16. Suppose 4 = -2*w, -q + w + h = -2*q. Is q less than or equal to -2/21?
False
Let l = -6 + 3. Let c = -247 - -234. Let m be 98/(-130)*-1 - (-2)/c. Which is smaller: l or m?
l
Suppose 45*y - 234247 = 4*y - 51469. Is 4458 at least as big as y?
True
Let m = 0.6653 - 7.6653. Which is smaller: m or 0.159?
m
Let g be (-2 + -6)*5/7845. Are 1 and g unequal?
True
Let a(p) = 52*p - 3641. Let q be a(70). Do 39/95 and q have the same value?
False
Let a = 139 + -698/5. Let s = 120 - 111. Let n = s - 6.9. Which is bigger: n or a?
n
Suppose -3*b + 963 = -1122. Let r = 75 - b. Let k be 332/r + -1 + 16/10. Is k < 0?
False
Let b(j) = -j**2 + 23. Suppose -5*o + 8 = 2*q - 26, -5*o - 4*q = -38. Let u be b(o). Does u = -12?
False
Let f(r) = -r**3 + 9*r**2 + 3*r + 58. Let l be f(10). Let a be l/(-9)*-3 + 14. Suppose -u = 3*u - 44. Is a smaller than u?
True
Suppose 170*l + 173*l + 55 = 348*l. Which is smaller: l or -154?
-154
Suppose -14*t + 12*t + 128 = 0. Suppose -x = 7*x - t. Let a be (-8)/(-20) - x/20. Is a smaller than -1/13?
False
Let y be (-297)/(-36) - (-1)/(-4). Suppose 7988 = -8*n + 7940. Which is bigger: y or n?
y
Let a be (-62 + 65)/((-3)/(-4)*1). Suppose 4*w + 2*m + 537 = -635, w + 284 = a*m. Which is greater: -291 or w?
-291
Let c(m) = 153*m - 1686. Let n be c(11). Is 36 >= n?
True
Let t = -284088 - -3666155642/12905. Is 0 < t?
True
Let r = -198045 + 198059. Let p = 0 - -6. Is p at most as big as r?
True
Let o(k) = -k**3 - 14*k**2 + 31*k - 127. Let p be o(-17). Which is bigger: 1924/9 or p?
1924/9
Let n = -323 + 463. Let i = n + -130. Suppose 5*j - 4 - 6 = 0. Which is smaller: j or i?
j
Suppose -241 = -4*y - 25. Let l be 2/(-3) - (3071/(-111) - 27). Is y < l?
False
Suppose -126 - 74 = 2*g. Let s be ((-5)/(g/3))/((-18)/(-208)). Is 2 less than or equal to s?
False
Let o = 1995 - 6480. Let z = o - -1789513/399. Is z equal to 0?
False
Let p be (-33*((-40)/12 + 0))/2. Let i be (-33)/p*3/(-135). Is i not equal to 0?
True
Let b = 32 - -7. Let r(k) = k**2 - 44*k + 38. Let c be r(0). Let d = b - c. Is d at most as big as -1/4?
False
Let m(c) = c**2 - 54*c - 578. Let j be m(64). Is 51 at most j?
True
Let v(k) = 2*k - 10. Suppose 2*b - b - 23 = -3*z, 0 = 5*b - 25. Let c be v(z). Let r be (0 - c/(-3))/(16/(-48)). Which is smaller: 6 or r?
r
Let c = -9829 - -9927. Let d be (-2)/5 - (-974)/10. Is c less than d?
False
Let z be (-1710)/20*(15 + 31). Is -3930 equal to z?
False
Suppose 4 = 2*u - 5*i, 3*u = 2*i + 3 + 3. Suppose v = -4*m - 13, 7*v + 11 = u*v - 2*m. Let c be (-4)/6*(-6)/8. Is v less than c?
True
Suppose -7*h - 40 = -2*h. Suppose m + 2*b - 71 = -68, 0 = m + 5*b - 3. Let j be 2/h + (36/16 - m). Does j = -2/23?
False
Let f(m) = -2*m**2 - 34*m - 279. Let z be f(-24). Which is bigger: z or -4?
-4
Suppose 12*f - 5*f + 7 = 0. Let w be 451/(-737)*(700 - f). Let t = -429 - w. Which is bigger: t or 1?
1
Let a = 2079 - 2168. Is a equal to -87?
False
Let z be ((-4)/(-2))/(2227/204 + 0). Which is smaller: 1 or z?
z
Let j be (2*(-6)/(-10))/(14/140). Let y(a) = -6 + j + 17 + 2*a. Let b be y(-12). Is -4/27 greater than b?
True
Suppose 5*z + 34 = 29. Let r be (20/25)/(4/(-6)) - z. Is r >= 17?
False
Let z(x) = x**2 - 4*x + 57. Let r = -543 - -548. Let m be z(r). Which is smaller: 60 or m?
60
Let o = -18.07 + 18. Let r = -0.2 - o. Let i = -0.04 + r. Is -1/2 at least as big as i?
False
Suppose -3*r + 5*t = 26, -r - 2*t = -0*r - 6. Let w be (-1 + r/(-4))/((-14)/(-336)). Let l be (44/w)/11 + 146/6. Is l at most as big as -0.2?
False
Let t be 12/4 + (-4620)/1554. Which is greater: t or 43?
43
Let b = -47.6 - -44.9. Let l = 2.76 + b. Is 0 >= l?
False
Suppose -v = -0*z + 2*z + 22, 4*v + 64 = -2*z. Let t = 203787 + -203767. Which is bigger: v or t?
t
Let o be ((-1)/(-341))/((-1)/(-3)). Let r = 991212 + -991213. Is r >= o?
False
Suppose -r + 54315 - 14145 = 25*r. Is r at most as big as 1545?
True
Let i be (-111)/(-2) - 54/(-189)*(-49)/(-28). Which is greater: 1437/25 or i?
1437/25
Let l = 787/52864 - 9/896. Which is smaller: -1 or l?
-1
Suppose 1754 = 4*t - 90. Which is smaller: t or 463?
t
Let i be 5 - -2*(-3)/(-6). Suppose -4*r = 2*h - 30, 0 = r - h - h - 5. Suppose 8*w = r*w + i. Is 7 less than or equal to w?
False
Let b(i) = -i**3 - 12*i**2 - 22*i - 14. Suppose -x - 16 = -3*o, 33 = 5*x + o + 81. Let g be b(x). Suppose 315 = -11*u + g*u. Is -62 greater than u?
True
Let m = -29537/7 + 27729/7. Which is bigger: m or -259?
m
Let u = 720 + -126. Let b be 1 + (-7)/6 + (-603)/u. Is b bigger than 0?
False
Suppose 2*o - g = -16226, -45*o + 47*o + 4*g + 16256 = 0. Is -8115 less than o?
False
Let g be (-310)/8 + (13 - -37)/10. Let k = g - -937/28. Which is bigger: 15 or k?
15
Let x(k) = 719*k**2 - 69*k - 146. Let t be x(-2). Is t at most 2867?
False
Suppose -1 = -2*b + 3. Suppose 4 = 4*x + b*d - 4, 3*d = 6. Let q be (-3)/(0 + 24)*x/6. Which is smaller: 1 or q?
q
Let y = -1464697/241 + 6077. Which is bigger: 0 or y?
0
Let c be (176/(-6))/((-2)/3). Suppose 5*j = -19 + c. Suppose 25 = -4*y - j*g, 5*y + 3 = -g - 2. Is -2/7 greater than y?
False
Let r be (17/(-34)*4910)/((1*-2)/2). Are 3 and r equal?
False
Let w = 39 - 43. Let m = 196 + -287. Let v be 2 + w - (3 + 2 + m). Which is greater: v or 83?
v
Let y(q) = 11*q**2 + 24*q + 20. Let f be y(-1). Is 0.1151 < f?
True
Suppose -3*p = -3*r - 1194, -2*r + 1571 = 4*p + r. Suppose -l + p = -4*t + 4*l, -4*t = -l + 399. Let y = -105 - t. Which is smaller: 3 or y?
y
Let h = 8.63 + -9.06. Let w = -29.934 + -0.066. Let d = w - -30.1. Are h and d non-equal?
True
Let u be -2*(-9)/6*4. Let b(z) = -z**3 + 27*z + 17. Let k be b(-5). Suppose -4*t - u = -k*t. Which is greater: -6 or t?
t
Let o = 251 - 256. Let u be o + 0 + 320/55. Let w(v) = v**2 + 2*v - 1. Let s be w(-3). Which is smaller: s or u?
u
Let u be (-16)/(-16)*(-10)/(-2). Suppose u*z = -2*s - 0*z - 62, -4*s - 3*z = 138. Let a(r) = -5*r. Let q be a(7). Is q less than s?
False
Let u = -9670 + 9638.952. Let j = u + 31. Let t = j - -0.148. Is 14 greater than or equal to t?
True
Let h = 4546 - 4553. Which is bigger: h or -0.15?
-0.15
Suppose 25098 - 85662 = -14*v. Is 4324 less than v?
True
Let w = -25135 + 36594. Which is greater: w or 11458?
w
Let r(c) = 9*c + 14. Let v be r(4). Suppose 4*a - n = -65, 0 = 4*a + 4*n - 10 + v. Let l be (21/9 - 2)/(1/a). Do l and -6 have different values?
True
Suppose -470 = 16*w - 11*w. Let y(t) = 2*t**2 + 9*t - 15. Let v be y(4). Suppose 0 = 2*d + v + 133. Is w at most as big as d?
True
Let y be 1/3 + 1010/(-6). Let x = 1122 - 1115. Let q be ((-2133)/y)/9 + (-2)/x. Is 2/3 at least as big as q?
False
Let f be (-15944)/28 + ((-12)/21 - -1). Let v be f/(-4) + (-7)/28. Are v and 143 equal?
False
Let l = -21886.96 - -21887. Is 10/9 smaller than l?
False
Let a be 30/(-75) + (-101910)/225. Do -453 and a have different values?
True
Let o = 1487.9534 - 1488. Is o equal to -1?
False
Let h(f) = 101*f**2 + f + 1. Let n be h(-1). Let x = -54197 - -54298. Is n <= x?
True
Let q = -18/7 + 111/35. Let w be (-44)/198 + 130/18. Suppose -13*x + w*x = -12. Which is bigger: x or q?
x
Let o = 131 + -2097/16. Let z 