be q(-11). Are u and g equal?
True
Let u = -41.9 + 43. Let k = u + 1.9. Let b = -2.7 + k. Is b >= -3?
True
Let c = 4 - 3. Suppose -514 = -4*v - 4*x + 2*x, 0 = 5*v + 3*x - 643. Let t = -126 + v. Which is smaller: t or c?
c
Let h(l) = 3*l - 20*l - 3 - 17*l - 11*l + 0*l. Suppose 5*c - 3*c + 3*o = -19, c = -5*o - 27. Let v be h(c). Is 88 at most v?
False
Let j = 9811 + -4161. Which is greater: -0.1 or j?
j
Suppose 0 = -11*i + 6*i + 100. Let v = -90 + 97. Let f(t) = -t**3 + 8*t**2 - 5*t + 8. Let m be f(v). Which is smaller: i or m?
i
Let k = -523 - -502. Let p be (-8800)/(-30261) + 6/k. Which is bigger: p or 0?
p
Let i = -0.28108 + -6.71892. Is 2/1895 less than i?
False
Suppose 4*c = l + 38, -358*l = -362*l + 4*c - 176. Which is smaller: -447/10 or l?
l
Let h = -613 + 612.9772. Let d = -0.0772 + h. Which is greater: d or 11/25?
11/25
Let d(s) = -s**2 - 9*s + 5. Let j be d(-9). Suppose j*w + 130 = 3*t, 130 = -2*w - 3*w + 2*t. Let h = w - -27. Do 1 and h have the same value?
True
Suppose 0 = -4*d + 5*o + 15770, -3*d + 37*o - 40*o = -11787. Which is smaller: 3936 or d?
d
Suppose 14*i = 9*i + 65. Suppose -5*o + 77 = 3*b - 0, -22 = -2*o + b. Is i less than o?
False
Let o(s) = -885*s - 21084. Let u be o(-24). Let m(r) = 19*r**3 + r**2 + r - 1. Let t be m(2). Which is bigger: t or u?
t
Let q = 2624 + -2522.94. Let g = 100 - q. Let b = 8.76 + g. Is b at least as big as 1/3?
True
Let v = 32 + -31.6. Let i = -0.05556 + -8.94444. Is v bigger than i?
True
Let t = 11 - -15. Let v(w) = -w - t - w + 5. Let o be v(-10). Is 3/2 at least as big as o?
True
Let i = 1 + -1. Let n = 37298348555/42735858 + -1/2513874. Let m = n + -873. Which is smaller: i or m?
m
Suppose 2*y + 230 + 127 = -5*s, 2*y - 373 = 5*s. Suppose 3*p = 7*l + 524, -2*l = -28*p + 23*p + 158. Is s at most l?
False
Let s = -5 + 8. Suppose 1624 + 3285 - 769 = 46*w. Are s and w nonequal?
True
Suppose 0 = -5*b + 7*b - 16. Suppose -10*m + 164 = -b*m. Suppose 9*c - 81 = 8*c. Is c greater than m?
False
Let y be 1/(-3) + 61/(-18)*-6. Suppose -5*j - 5*g = -y, 2*g - 9 = -0*j - j. Is j less than 1/465?
True
Let h = 41852 + -41002. Is 5951/7 >= h?
True
Let q be (30/50)/(3/10). Let o(t) = -3 + 3*t - q*t + 11. Let j be o(-6). Which is smaller: -1 or j?
-1
Let u = 35283 - 35189. Is -0.7 bigger than u?
False
Let c be -3 + (0 - 176/(-56)) - (-4432)/(-7). Are -6972/11 and c unequal?
True
Suppose 0 = -73*h + 21*h - 260. Is -1.89 less than h?
False
Let c(p) = -10*p**2 - 2*p. Let m be c(11). Let y = m + 25859/21. Which is smaller: y or -2?
-2
Let t(o) = 1213*o + 451. Let u be t(-1). Is -762 smaller than u?
False
Let y = 9881 - 9585. Let o = -333 - -630. Which is bigger: o or y?
o
Let l(c) = 4*c - 79. Let n be l(13). Let d be (-249)/792 - (n/8 - -3). Is d > 19?
False
Let f = 2 + -6. Let b(q) = -4*q**2 + 5*q - 9. Let i(a) = -9*a**2 + 12*a - 17. Let s(g) = -7*b(g) + 3*i(g). Let w be s(f). Is 23 >= w?
False
Suppose -3*r - 416 = -5*r. Suppose -32904 + 12047 - 25332 = -221*z. Are r and z non-equal?
True
Suppose -69 = 4*m - 125. Let c be ((-11888)/848 + m)*(-5)/(-3). Is 1 not equal to c?
True
Let y = 1260 + -2803. Which is bigger: -1545 or y?
y
Let u = -0.039 - 2.511. Let k = -0.55 - u. Which is bigger: 28 or k?
28
Let t be (-260 + -14)/(-1*(-3)/6). Is t at least -545?
False
Let p = -1285 - -1281.9. Is -30 smaller than p?
True
Let g be (-228)/(-82)*(-4)/(-54) - 20/90. Let h be (-4)/(-6)*(-15)/(-10). Which is bigger: g or h?
h
Let k be (-14)/(-2) + (12 - 16). Let d be 16*((-28)/24 - k). Which is bigger: d or -66?
-66
Let m be -3*(-3)/(-18) - 26770/(-107400). Let b = 2/2685 + m. Is b at most as big as 0.45?
True
Let z = 251.14 - 252.1. Let s = -16 + 142/9. Is z smaller than s?
True
Let c be (-5 - (0 + -3)) + 5. Suppose 4*b + 3*q - 127 = 0, -2*b = c*b - 5*q - 115. Is b at most 30?
True
Let q(g) = 3*g**2 - 19*g + 40. Let h be q(3). Suppose 0 = -2*b + x - 64, 13*x - 90 = 3*b + h*x. Is 1 at least b?
True
Let p be (-5)/15*(-132)/(-10). Suppose 20 = -16*r + 84. Suppose 0 = r*o + 2 + 10. Which is smaller: o or p?
p
Let u = 5 + -11. Let z = 14713/21 + -4909/7. Is z bigger than u?
True
Let p(v) = -v**3 + v**2 - v + 1. Let z be p(-3). Suppose -5*n = -5*f + z, 3*f + 3*n - 11 - 7 = 0. Which is smaller: 2 or f?
2
Let a = -6092 + 6093.0308. Let v = a + -0.0308. Do v and 63 have different values?
True
Let m = 1.109 + 0.031. Let f = m - 0.94. Is -1 <= f?
True
Let r be (742/(-154) - -5)*33/15. Which is greater: r or 1778?
1778
Let i = -8668486/945 + 9173. Which is greater: -1 or i?
i
Let k = -0.937 - -0.86. Let c = -45.077 - k. Let q = 43 + c. Is q greater than 6?
False
Let w = -93432 - -5232041/56. Let k = w - -25/8. Is k smaller than 0?
False
Let i be (-116*11/132 - -9)/(1/852). Which is bigger: i or -578?
i
Let m = -677 - -677. Let o be ((-4)/6)/((3423/(-9))/7). Which is smaller: m or o?
m
Let s = 52 - 52.07. Let w = s - -0.86. Let o = -0.727 + w. Which is bigger: o or 1?
1
Suppose -3*k - 2232 = -3*a, 383 = 5*k + 418. Which is greater: a or 5161/7?
5161/7
Let i = 2560 - 26775036/10459. Which is smaller: i or 1?
i
Suppose 4*n = 2*n + 4. Let l = -13610 + 476372/35. Which is bigger: l or n?
n
Let q = 16.08938 - 0.08938. Is q <= 71?
True
Let v(r) = 19*r**2 - 21*r + 16. Let z be v(3). Suppose -z = 3*w - 4*c, 0 = 3*w - c - 0*c + 121. Which is smaller: -2/7 or w?
w
Let h(k) = 6*k + 86. Let a(s) = -2*s**2 + 3*s - 19. Let y be a(0). Let c be h(y). Which is bigger: c or -27?
-27
Suppose 409 = d - 12. Suppose 1212 + d = -23*b. Is -212/3 < b?
False
Suppose -5*c = -d - 20, -c + 5*d = c - 8. Suppose -313 = -c*p - x - 104, -p + 4*x + 48 = 0. Suppose 4*s + p = -68. Is s bigger than -29?
False
Let x = 373/7 - 243/7. Which is bigger: x or -1?
x
Suppose -98*c + 97*c - 4*r = -3652, -c = -5*r - 3670. Is 3660 less than c?
False
Suppose 9*z - 1960 = 5*z - 10*z. Which is greater: -1 or z?
z
Let c = 22239/4880 - 223492961/1556720. Let w = -139 - c. Which is bigger: w or 0?
w
Let j be (-54)/(-27)*5/2. Let k(i) = -36*i + 180. Let f be k(j). Is f greater than 3/241?
False
Suppose 2 = -4*f + 2*y, 0 = 2*f - 740*y + 742*y - 2. Let o = 740599/171 - 4331. Do o and f have the same value?
False
Let z = -58.95 + 58.04. Let v = 0.2 + 0.8. Let t = z + v. Which is smaller: -5 or t?
-5
Let r = 55 - 104. Let w = 56 + r. Suppose 0 = -w*l + 2*l - 0*l. Which is bigger: l or 1/59?
1/59
Let v be 12256/36624 + (-4 + 2)/6. Suppose 612*y = 583*y + 29. Which is smaller: y or v?
v
Suppose 0 = -5*n - 90 - 85. Let b = -45 - n. Let c = 23 + -25. Are c and b equal?
False
Suppose -4*q + 9*q = 3*u - 114, 90 = -4*q + 3*u. Let d = 19 - q. Let h = 1849.9 - 1850. Are h and d non-equal?
True
Let r be (-256088)/1614 - (0 + 4/3). Which is greater: -155 or r?
-155
Let g = -17232 - -18952.7. Let v = g - 1721. Let b = -12 - -17. Is b bigger than v?
True
Let x = 5615/6 - 904003/966. Let t = -2 + 2. Is x bigger than t?
True
Let k be 21/(-30) + 1 + (72384/(-15030))/16. Is k greater than or equal to -1/5?
True
Let v = 26 + -43. Let s(a) = a**3 - 2*a**2 + 12*a - 17. Let u be s(0). Is u > v?
False
Suppose 5*m - 3*x = 11, -2*x - 8 = -2*m - 2. Let q be 110/6*(m + 1). Which is greater: q or 38?
38
Let x = -105 - -95.3. Let p = -9.7 - x. Which is smaller: p or -0.02?
-0.02
Let o = 1329 + -1329. Is 1/1163 smaller than o?
False
Let m = 195 - 187. Let o = m - -58. Which is smaller: 67 or o?
o
Let i = -281 + 286. Suppose 9*j = 6*j + 4*c + 1636, i*c - 1083 = -2*j. Is 543 not equal to j?
True
Suppose 2*q - 22 = -5*r, r - 3*q = 1 - 0. Let u be 123/12 - r/16. Let a be 119/(-15) + 6/u. Which is bigger: -8 or a?
a
Let v = -0.2254 + 0.0844. Let b = -6.991 + 7. Let s = b - v. Which is smaller: 0.2 or s?
s
Let l = -129.91 - -141.91. Which is smaller: l or 34.3?
l
Let o = -2948 + 2691. Is -252 at most as big as o?
False
Let r(w) = -2*w**2 - 186. Let g be r(0). Let d = 185 + g. Which is smaller: -2/217 or d?
d
Let w = 3856 - 4022.3. Let h = -166 - w. Is h smaller than -1/9?
False
Suppose -25*q + 19*q - 180840 = 0. Let t be (330/q)/(2/(1*-4)). Which is bigger: 1 or t?
1
Let j(y) = -2*y**2 - 4*y + 1. Let f be j(-5). Let o = 76 - 73. Let p be 12/o - ((-12)/(-16) - -3). Is p at least f?
True
Suppose 301*v + 2213 - 1191 = -2289. Are 0.092 and v equal?
False
Let m = 726281710/19737 + -3160971/86. Let s = 1/459 - m. Which is smaller: -4