 d = 329 - 322. Let z be h(d). Are z and -24 nonequal?
True
Let t = 140 + -139. Let l be t + (-22)/26 - (-56 - -58). Let j = 8 + -11. Is j bigger than l?
False
Suppose -7*o = -1361 - 46. Let h = o - 201. Let p be (-6)/(-14) - (-1)/(-2). Is h greater than or equal to p?
True
Suppose 9*b = -18*b + 405. Suppose -3*n + b = 5*p - 5*n, 9 = 3*p + 2*n. Let z be (-18)/2*(2 - 1). Which is greater: z or p?
p
Suppose 3*g = 4*u + 74 - 168, -5*g = u + 11. Do 39/2 and u have different values?
True
Let r = 341 - 354. Let f = 4 + -17. Is r > f?
False
Suppose 7*g - 6*g - 20 = 0. Let h = -25 + 53. Which is smaller: g or h?
g
Suppose 13*y + 152 = 1010. Suppose -3*n - 66 = -2*w, -y = -2*w - 3*n + 4*n. Which is bigger: 31 or w?
w
Let z(u) = -u**3 + 6*u**2 + 12. Let t be z(6). Suppose 4*i - t = -y, 6*i = i - 3*y + 15. Suppose 5 = h - p, -p + 12 = 2*h + 2. Which is greater: i or h?
h
Let y be (-4)/(-12)*9 - 828/154. Let k = y - -16/7. Which is greater: 7 or k?
7
Suppose -75*c + 5688 = 68*c - 137*c. Which is smaller: 951 or c?
c
Let s = 82 + -79. Suppose s*q - 5*q + 4*l + 62 = 0, 3*q - 109 = -2*l. Let a = q + -82. Do 1 and a have the same value?
False
Let w(c) = -c**3 - 9*c**2 - 6*c. Let y be w(-4). Suppose 333*h + 3107 = 72*h - 11770. Is h < y?
True
Suppose 51 = -850*z + 847*z. Is z equal to 132?
False
Suppose 0 = 5*q - 7*q + 516. Let u be (-4)/(-6)*(-81)/q. Are u and 0 nonequal?
True
Let s = -3073 + 1097. Which is smaller: -1978 or s?
-1978
Let p = 1.3156 + -963.3156. Is 7 <= p?
False
Let s = -6745448414/417067189 - -162310/10087. Let w = s + 15/173. Which is greater: 0 or w?
w
Let m = 261 + -257. Let c be (m/4316)/(3 + -2). Which is bigger: -1 or c?
c
Suppose -v + t = 0, -t - 8 = 5*v + 2*t. Let i be -12*(1 - v*8). Let n = i + 332/3. Are n and 2 unequal?
True
Suppose 0 = -3*j + 28 - 91. Let h(r) = -r**3 - 20*r**2 + 20*r - 26. Let q be h(j). Let g be (-3)/(-12) + (-2)/(-72)*q. Which is bigger: 1 or g?
1
Suppose 3843 = 13*l - 304. Suppose -7*t = -318 - l. Let x = 90 - t. Which is bigger: 4/35 or x?
4/35
Let l = 22418 - 32976876/1471. Let r = 14078921/14710 + l. Let s = -958 + r. Which is smaller: 0 or s?
s
Suppose -5*j + 370 = 8*u - 13*u, 4*u = j - 320. Are u and -86 unequal?
True
Let l(d) = -13*d**2 - 9*d - 7. Let h be l(-1). Let c be (12/142)/(h + 16 - 7). Is -1 >= c?
False
Suppose -5*o - 3 = 3*d, 5*d - 4*o = -0*o - 5. Let j be (3*d/(-3))/(-9 - -10). Which is smaller: j or 2/749?
2/749
Let l = -1045 - -1038. Suppose 0 = 5*i + 30 - 0. Let j = i - l. Which is greater: j or 1/20?
j
Let d be (-2)/(-18)*(-12)/4. Suppose -144 + 456 = -12*c. Let u = -284/11 - c. Is d bigger than u?
False
Suppose -5*w = 150 + 55. Let y = -27 - w. Let n be (0 - 20/y)/2. Is -2 not equal to n?
True
Let j(v) = v - 3. Let u be j(5). Let i be 2 + ((-9)/(-3) - u) - -19. Let a be (-1)/(-2)*47 - 0/i. Which is smaller: 23 or a?
23
Let m = -1326383/1922110 + 189/274. Is 1 at most m?
False
Let r be (2/(-6))/(838/(-6)). Let t = -205182 - -205183. Is r != t?
True
Suppose 0 = 18*t + 1336 - 40. Which is bigger: t or 2/17?
2/17
Let g = 5818 - 5836. Is -26 at most g?
True
Let q be ((-558)/(-80))/(3/28). Let g be 1/3 - (-1 + 796/12). Let a = q + g. Is a != 1?
True
Let l = 113 + -109. Suppose 2*c + n - l*n + 84 = 0, -4*c = -3*n + 168. Is -44 > c?
False
Let a be 414 + 160/60*3/(-4). Are 412 and a unequal?
False
Let b = 0.343 + 0.357. Let n = 147 + -147.063. Let r = n + 0.163. Which is greater: b or r?
b
Let q = 11/7178 + -149557/88224798. Which is smaller: 1 or q?
q
Suppose 5*b + 185 = 5*j, 47 = -b + 21*j - 25*j. Let g = 121 - 160. Is g not equal to b?
False
Let b(t) = -6*t**3 - t**2 + t + 5. Let i be b(-2). Suppose 3*n + 62 + 32 = -2*r, r + i = -3*n. Let v be 57/(-228)*1/(1/r). Which is smaller: 13 or v?
v
Let u(r) = -15*r**3 + 2*r**2 + 3*r + 4. Let z be u(-2). Let y = z + -95. Which is bigger: 216/7 or y?
y
Suppose 673*o - 693*o + 20 = 0. Suppose 2*t = 3*t - 6. Let a be (-2)/t + (-8)/(-69). Which is smaller: o or a?
a
Let c = -19445 + 77779/4. Which is smaller: -4776 or c?
-4776
Let b be (-3 + 2 - 1) + (-1008)/(-364). Suppose 5*z + 7 = 27. Suppose c - z = -c. Is c greater than or equal to b?
True
Let c = -20.46 - -1.96. Let s = c - -18.6. Which is greater: s or 12?
12
Let r = 170 - 173. Let j be ((-368)/24)/((-68)/(-24) + r). Which is bigger: 93 or j?
93
Let h(u) = u - 5. Let o be h(6). Let d be (9*(-14653)/(-150))/((-3)/(-4)). Let a = -1172 + d. Which is bigger: a or o?
o
Suppose 11*x - 8*x + 3*g + 27 = 0, 0 = 3*g + 6. Is x less than or equal to -24?
False
Let l = 4.3 - 4. Let p = -0.4 + l. Let x = -350.2 + 350.1. Is p < x?
False
Suppose -5*o = -11*o. Let c be 6*-190*(-2)/(-6) - o. Let f = 9879/26 + c. Is f smaller than 1?
True
Let z = -1875 + 1923. Let u = 2/95 + -109/665. Is z equal to u?
False
Let i = 6.6 - 1. Let g = -27.4 + 25. Let p = i - g. Which is greater: p or -0.1?
p
Let m = -171 + 465. Let x = m - 190. Let g be x/585 - (-3)/(15/(-2)). Is g at least -2/5?
True
Let t(i) = 4*i + 47. Let b be t(-11). Let w be ((-72)/40 + b)/((-3)/40). Which is smaller: -31/2 or w?
w
Let s = 1.886 + -2.066. Which is smaller: -343 or s?
-343
Let i = -8 - -8. Suppose -12 = 2*x + 4*a, -12 = -2*x + 4*a - i*a. Let t be x/1*5/(30/6). Do t and 2/3 have the same value?
False
Let z be -1 - (-3 + -2) - 0. Suppose -3 = -z*p - 3*w, 17 = 3*p - 2*p + 4*w. Let q(l) = 2*l**3 + 12*l**2 + 3*l + 16. Let r be q(-6). Which is bigger: r or p?
r
Let u(j) = -14*j + 48. Let k(n) = -3*n + 1. Let s(t) = 2*k(t) + u(t). Let l be s(6). Which is smaller: l or -69?
l
Let i be 114404/38110 - (4 - (-4 + 5)). Which is smaller: i or -0.1?
-0.1
Let t = -3483 - -3483.1. Which is bigger: t or 1132?
1132
Let l = -500/27 + 316475/17199. Let b = l - -2/49. Which is smaller: b or -1/6?
-1/6
Let v be (-6)/27 - 955/(-45). Let j be (-3 + 14/4)*-38*-1. Are j and v unequal?
True
Let t = 41 - 146. Let g = 101 + t. Let r be (-12)/g - -36*2/(-21). Is 4/7 less than or equal to r?
False
Suppose -27 = -5*p - 32. Let m(o) = o**2 - 8*o - 8. Let c be m(9). Suppose -5*i = -9 - c. Is p >= i?
False
Let f be 2/(-4)*(1 - 1). Suppose 2*k + 3*n + 3 + 1 = f, 4*k + 8 = -4*n. Let p = 696 - 1395/2. Which is bigger: k or p?
p
Suppose 0 = 2*j + 3*n + 7082, 5*j + 3*n - 17705 = 10*j. Which is greater: j or -3540?
-3540
Let g be ((-6)/2 - (-136)/24) + 8/24. Are -1759 and g unequal?
True
Suppose 0 = 5*v - 3*v + 16. Let q = -1989 + 1983. Is q at most v?
False
Let p be (3 - (1 - 77800/(-38910)))*(-2)/(-3). Is 1 at least p?
True
Let i = 1420/37 - 61171/1591. Which is smaller: i or -20?
-20
Let m = 279 - 91. Let q = m - 194. Do 3 and q have the same value?
False
Let o = 501070679/8712 - 57515. Let d = o + 910405/8712. Do 104 and d have the same value?
False
Let v = 5592632/5707 - 12738/13. Which is smaller: v or 1?
v
Let o = 4.7968 - 1.7968. Is 3/314 less than or equal to o?
True
Let w = 54.7 + -54.7801. Let k = -72.9199 + w. Is k at most -0.1?
True
Let f = -1164 + 1176. Let l = 12 - 7. Suppose 0 = -l*x + 51 + 4. Are x and f nonequal?
True
Let p be 2 - 7 - 1299844/(-71060). Let g = p - 226/17. Are g and -1 unequal?
True
Let i = -3.4 + 4. Let m = 13.3 + -15.9. Let s = m + i. Is -1 less than or equal to s?
False
Let h = -251/3 - -1759/21. Suppose 17*c = -9*c - 468. Let n(d) = 2*d + 36. Let j be n(c). Which is greater: j or h?
h
Let d = -19 - -3. Let z be (6/(-65))/(d/20). Which is greater: 0 or z?
z
Let x(f) = 9*f + 16. Let o be x(7). Let c = -82 + o. Which is bigger: c or 2/71?
2/71
Let n(t) = -t - 3. Let b(a) = 4*a + 8. Let d(o) = 3*b(o) + 8*n(o). Let m be -2 + 14/21 + (-22)/6. Let h be d(m). Is h != 0.2?
True
Let h be 12464/(-76) - (-2 + -14). Is -178 at least h?
False
Let b = -0.159 + 107.159. Let j = b - 105.91. Let g = 1 - j. Which is smaller: g or -0.3?
-0.3
Suppose -8 + 5 = -3*a. Let q(b) = 21*b**2 + 2*b - 1. Let s be q(a). Is 22 != s?
False
Let i = -301 + 110. Let a = i - -1207/6. Let w = a + -23/2. Is w less than -0.1?
True
Let c = 64 - 63. Suppose 4*g + 16 = 3*t, 13 = 3*t - 2*g - c. Let z be 28/119*2/t. Is z greater than or equal to -1?
True
Let c(j) = -2*j**3 + 20*j**2 + 8*j - 71. Let d be c(10). Let u be (60/d)/(-1*2/(-3)). Which is smaller: 85/9 or u?
85/9
Suppose 8 = 3*j + j. Suppose 4*g - 60 = -j*t, 0 = 3*t + t + g - 141. Suppose 0 = -5*m + 14 + t. Which is bigger: 13 or m?
1