). Are o and 3/5 nonequal?
True
Suppose -w = 5*y - 78, -35*w - 2*y - 96 = -37*w. Is 380/7 at most w?
False
Let d(j) = 111*j + 13798. Let m be d(-128). Is -411 greater than m?
False
Suppose 0 = 4*f + 2*d + 1186, 0 = -f + 24*d - 23*d - 295. Let h = -0.0331 + -0.0669. Are f and h equal?
False
Let m be (-17492)/132*3/(-13). Let k = -256/11 + m. Let d = 107/13 - k. Is d > 0?
True
Let t = 179 + -122. Let a = -90 + t. Let l = -35 - a. Which is smaller: 1/3 or l?
l
Suppose 6*w - 20 = 40. Let k = -1.77 + 1.71. Which is smaller: k or w?
k
Suppose 80 + 190 = 3*i. Suppose -3*o = -4*g - i, g + 12 + 18 = -3*o. Let v be 59/65 - g/(-40). Is 0 smaller than v?
True
Suppose -24*b = -4*b - 40. Suppose -4*t - 470 = -t + 4*u, t + b*u + 156 = 0. Is -158 less than or equal to t?
True
Let q be 8*(-207)/184 + -402. Which is smaller: q or -418?
-418
Let n(p) = -25*p + 2200. Let s be n(80). Let k be (-802)/(5/(5/(-4))). Is k >= s?
True
Suppose -2*g + 12 = -4*t, 0 = 3*g + 4*t + 248 - 206. Let s(a) = a**2 - 4 + 4*a + 0 + 0*a. Let k be s(-4). Which is smaller: g or k?
g
Let o = -4864 + 4862. Are o and 131 non-equal?
True
Let u = 537 + -502. Suppose -38*x - 555 = -u*x. Is x at most -183?
True
Let l = -21880/29774211 - -2/5087. Is l equal to -1?
False
Let r = -1603 - 5156. Is -6759 at most as big as r?
True
Let r = -363 + 1831/5. Let l(k) = k**3 + 9*k**2 + 12*k + 36. Let p be l(-8). Which is greater: p or r?
p
Let o = -68 - -68. Suppose o = -i - 22 + 126. Suppose 0*c - 4*c + 16 = 0, -2*n + 4*c + i = 0. Which is bigger: 59 or n?
n
Let f = 22 + -22.157. Let q = -0.057 - f. Let t = -19 - -27. Is t greater than q?
True
Let p(r) = r**2 - 8*r - 18. Let k be p(8). Let m be ((-2)/6)/(5 - (-88)/k). Let x be m + (600/(-28))/(-5). Which is bigger: 2 or x?
2
Let d = 0 + 0.01. Let h = d - 2.01. Let p(b) = -31*b**2 - 1492*b - 191. Let q be p(-48). Which is smaller: h or q?
h
Let p = -1069 + 1072. Let n be 338892/(-660) + (-2)/(-10). Let d = -514 - n. Which is smaller: d or p?
d
Suppose -470*d + 421*d - 49 = 0. Which is greater: d or -9/857?
-9/857
Let r(p) = 6*p**2 + 41*p + 54. Let v be r(-5). Do -2/2293 and v have the same value?
False
Suppose -16*b = -30*b + 14. Is b greater than -3/2155?
True
Let g = 13 - 6. Suppose -18*v + 64 = -14*v. Let u be ((-1)/(-4))/((-4)/v)*-4. Is u greater than or equal to g?
False
Let w(k) = -46*k**3 - k**2 + 8*k + 34. Let j be w(-3). Is 1243 at most as big as j?
True
Let h = -2294.8 + 1704. Let j = -546 - h. Let c = j + -45. Which is smaller: 0.29 or c?
c
Let m be (-10)/(480/1068)*(2 - -34). Is m > -800?
False
Let z(x) = -46*x - 2115. Let r be z(-46). Is r not equal to -1/8189?
True
Let c = -453 - -490.8. Let t = -37.63 + c. Is 0 <= t?
True
Let a = -1234 - -1234.0713. Let h = -6.1713 + a. Which is smaller: -0.5 or h?
h
Suppose m + 4*w = -16, 0 + 8 = m - 2*w. Let o(c) = c**2 + 13*c - 11. Let a be o(-14). Let x be ((-40)/300)/(((-54)/(-10))/a). Which is smaller: m or x?
x
Let b be ((-1024)/(-384))/((-82)/27). Which is bigger: 0 or b?
0
Let l be ((-72)/(-240))/((-22)/935). Let x = -36 - -22. Which is smaller: l or x?
x
Let v = 2839 - 2836. Which is greater: v or 1612?
1612
Let y = 25503/136 - 5638/17. Let j = y - -142. Which is smaller: j or -1?
j
Let i = 680535/62 + -10975. Is 2 at least as big as i?
True
Suppose -176*j - 93 - 886 - 253 = 0. Which is bigger: j or -419?
j
Suppose 3*h - 5*z - 2 = 3, h + 5*z = 15. Let o be -212 + -4 - -1*h/(-5). Which is smaller: -218 or o?
-218
Let o(s) = 3 - 3 + s - 3 - 3. Let r be o(11). Suppose u - 2 + 4 = -k, -10 = r*u - k. Is u smaller than -4?
False
Let f be (((-285)/4)/5)/(-3*1/12). Which is bigger: f or 227/4?
f
Suppose -340*k - 3*s - 36 = -341*k, k - 5*s - 34 = 0. Suppose 3*z + 184 = 5*d, -d + 4*z = 2*z - 41. Is d <= k?
True
Let s be 32/15 - (4 - -4 - 10620/1350). Which is smaller: -173 or s?
-173
Suppose 209*v - 215*v + 17 = 65. Are -5 and v non-equal?
True
Let b = 4779 - 4775. Is b at most as big as -45?
False
Let d = 415451 - 415476. Suppose 2*s = -0*s + 96. Suppose -m + 3*m + s = 0. Which is smaller: d or m?
d
Suppose 0 = 38*m + 97 - 59. Is 3/1438 >= m?
True
Let l be 4/(-18) + (-12)/2 + (-336)/(-54). Is -1/2969 smaller than l?
True
Suppose -8*u = -h - 13*u + 74, 4*h - 296 = 5*u. Which is bigger: 44 or h?
h
Let k = -150 + 189. Let f = 39 - k. Are f and 22/9 nonequal?
True
Let w = 0.1137 - -0.1963. Let j = 0 + -1. Which is smaller: w or j?
j
Suppose 303*m - 24276 = -101238. Which is greater: -10 or m?
-10
Let r be ((-12)/(-16))/(((-45)/(-12))/15). Is 411 smaller than r?
False
Let n = -111 - -107. Let p be (-1)/1 - (-1 + n/(-712)). Which is smaller: -1 or p?
-1
Suppose -229933 = -126*t + 263861. Is 3919 < t?
False
Let z = -136.0124 - -0.0124. Is -3 equal to z?
False
Suppose 2*s + 5*y - 4*y = 110, 2*s = -5*y + 118. Let g = s + -53. Suppose -i = -0*i + g. Is i smaller than 2/67?
True
Let z be (250/(-6) - 3) + (78 - 80). Suppose 0 = 3*o + 139 + 2. Which is smaller: z or o?
o
Let v be (6 - -3) + 6 + 1. Let w(u) = u**3 + 12*u**2 + 9*u + 7. Let l be w(-11). Suppose -4*h + 3*b - l = -5*h, -3*b + 12 = 0. Which is smaller: v or h?
v
Let c be (5 - 4) + (-1 - (4 + -6)). Let h(u) = 13*u + 2*u + u**3 - c - 14*u**2 - 3*u - 3. Let t be h(13). Which is smaller: -15 or t?
t
Suppose 4*x + 120 = 5*h, 5*h - 95 = 8*x - 5*x. Let u(k) = k**2 + 24*k - 33. Let v be u(x). Is -15 != v?
True
Let h = 4951 + -4880. Which is smaller: 73 or h?
h
Let x(s) = -855*s + 3197. Let o be x(4). Suppose -7*t + 3*t = a + 223, 892 = -4*a + 2*t. Is a at least o?
True
Suppose 21*s + 692 + 925 = 0. Let y be (33/s - 13)*(1 - 8). Which is greater: 96 or y?
96
Let q = -11/4813 + 12985529/24065. Is q less than or equal to 540?
True
Let a = -173895/1688 + 83/211. Which is smaller: -102 or a?
a
Suppose 2*x - 2 = -2*c, -2*x + 5 - 27 = -4*c. Let z be (-7)/(7/c) - 20/(-4). Which is bigger: -1/90 or z?
z
Let q(y) = -2*y**3 - 31*y**2 + 16*y + 3. Let d be q(-16). Suppose 108 = d*l - 12*l. Which is bigger: -57/5 or l?
-57/5
Let u = -199 + 184. Let f = -16 - u. Which is smaller: 2/765 or f?
f
Let p be (3 + 3)/(-6) + -246. Let c = p - -258. Which is smaller: c or 7?
7
Let r = 23 + -59. Let x = -19 - r. Suppose 6*w - 11*w = 20, -88 = -4*l + 3*w. Which is bigger: x or l?
l
Let d(b) = -5*b + 1. Let v be d(5). Let k be ((-18)/v)/(558/(-16)). Let l = 1391/186 - k. Which is greater: l or 7?
l
Let y = 12638 - -3106. Let d = y - 17271170/1097. Is -1 at least d?
False
Let j be (1855/(-206) - -9)*((-18)/8)/9. Which is greater: 0 or j?
j
Let c be 25/10 - (1353/(-165))/((-4)/(-10)). Are c and -33 non-equal?
True
Let h = -509 + 509. Suppose 11*w - 12*w + 4*a = -12, w - 5*a - 15 = h. Which is smaller: 4/15 or w?
w
Suppose -2*o = -o + v - 1, -2*o - v = 0. Suppose 105 = 17*s - 20*s. Let p be 76/(-51) + s/(-21) + -1. Is o <= p?
True
Let h = -4461 + 4558. Let q = -0.96 + 1.06. Which is smaller: q or h?
q
Suppose 3*a - 2261 = -j, -2*a - 3*j + 1511 = -6*j. Which is smaller: a or 755?
a
Suppose 5*t - 4*t = 66. Suppose 0 = s + 1 - t. Let a = s + -38. Is 25 at most a?
True
Let a = 40.75 + -40.9. Let v = -7.9 + 16. Let o = -8 + v. Which is smaller: a or o?
a
Suppose 196*p + 577990 - 1830038 = 0. Is 6388 at most p?
True
Let o = -967 + 967.0784. Let w = -7.9216 - o. Is w greater than -8?
False
Let i be (-2 - -1) + 2/5. Let v(a) = 3*a**2 + 6*a - 1. Let z be (-2)/14 + 10/70*1. Let r be v(z). Is r != i?
True
Let x = -8.5 - 66.5. Let z = -71 - x. Suppose 0*j + 7 = -4*t - j, -2 = 2*t + 2*j. Is t at least as big as z?
False
Let q = -569 + 563. Let p be -2 - q - (-108)/(-54). Is p at least as big as 0.152?
True
Suppose 0 = 2*r - 6 + 78. Let j = r - -42. Suppose p = -j*p. Are p and 0.1 equal?
False
Let l = 73/126 + -5/63. Let q be (-6)/12 - (-1750)/(-12). Let d = q - -145. Which is smaller: d or l?
d
Let n = -21 - 6. Let p be (-62)/(-651) - 6109/861. Are n and p unequal?
True
Let x = 1225643/239265 + -333/65. Let y = x + 111659/3681. Which is greater: 29 or y?
y
Suppose -4*b = 12, -4*b - 3 = 3*x - 0*b. Let r = -66 + 66.05. Which is bigger: r or x?
x
Let v = 3 - 2. Let r = -20.4 + 30.5. Let o = -8.2 + r. Do v and o have the same value?
False
Suppose -3*n + n = -6. Suppose v - n*v - x = 2, 2*x + 3 = -3*v. Let m be ((-60)/(-12))/(-2 - v). Is m <= -5?
True
Let g = 3.4335 + 0.6665. Suppose 3*n = n - 4. Which is gr