than -31?
True
Let k(r) = -26*r**3 - 284*r**2 - 844*r + 3. Let g be k(-3). Is g != 682?
True
Let z be (1030/(-40))/((-161)/687). Let j = 768/7 - z. Let h = j - 2/23. Which is bigger: h or 1?
1
Let d = 0.14 + -0.04. Let g = 147 + -146. Suppose 2*f = -4*q - 74, -q - f = 17 - g. Which is greater: d or q?
d
Suppose -17224 + 2404 = -19*i. Which is bigger: i or 781?
781
Let s be 2/(-4) - (280/(-16) + 7). Let v = 187 - 179. Is v <= s?
True
Suppose -28405 = 162*s - 143*s. Is -1494 > s?
True
Let p = 2182 - 2234. Suppose s - 2*s - 2*h - 52 = 0, 5*h = 0. Is s smaller than p?
False
Let d be ((-8)/(-14) - 0)*(-2 - 341/(-124)). Which is greater: -0.1827 or d?
d
Let q = 77/5 - 437/30. Which is bigger: -23/31 or q?
q
Let k = -356999/54197267 - -69/8467. Which is smaller: k or 1?
k
Suppose 8*l = 10*l + 2*x + 22, -18 = 2*l + 4*x. Let g = 3857/65 + -930/13. Is g > l?
True
Let f = -2/53 + 175/424. Suppose 5 = 3*p + y, 2*y - 1 = 9. Which is smaller: p or f?
p
Let i = 0 + 10. Let a = -78 - -97. Suppose -4*d - 18 = -2*o - 2*d, 0 = o + 4*d - a. Which is bigger: o or i?
o
Let s be 6/(-8) + (-1)/4. Let l be (-60)/210 + (-285)/7. Let u be (l/615)/((4/(-2))/12). Is u less than or equal to s?
False
Let p = -382 + 368. Let m be (-2)/1 - (-7 - p - 16). Is m >= 4?
True
Let q be 3191 - 3198 - (-2)/(2/(-3)). Let l = 4 - 16. Is l > q?
False
Let i be (-360)/48*(-272)/10. Suppose -a - a = -i. Let t be (1/(-3))/((-119)/a). Which is bigger: t or 0?
t
Let z = 44106 + -44110. Let v = -655637/96696 + -1283/632. Let c = v + 78/17. Which is smaller: z or c?
c
Let l be (3 - (-204)/(-40)) + 2/1. Suppose -2*a - 2*a = -3*a. Let q be 3/(-4) + 3/(-12) + a. Which is greater: q or l?
l
Let c = -151.19 - -151.89. Is -3/292 greater than c?
False
Let p = 0.064 - 0.168. Let g = -94.104 - p. Let x = g - -93.73. Is x at least as big as 0?
False
Let s = -14728/407 - -313/37. Let v = -45379/1639 - s. Which is smaller: v or -1?
-1
Let c = 31.1 - 31. Let x = -19435 + 19297.83. Let z = -138 - x. Do z and c have the same value?
False
Let o(m) = 27*m**2 - 14 + 9*m + 37*m**2 - 66*m**2. Let j be o(4). Is j < -7?
True
Let v = 264.45 - 238. Let k = -26 + v. Let w = k + 1.55. Which is bigger: -20 or w?
w
Let o(g) = -3*g**3 + 6*g**2 + g - 10. Let v be o(5). Let c = v + 186. Is -2 less than or equal to c?
False
Let b = -5468 - -5468. Let d = -0.01 - 3.99. Are d and b equal?
False
Let i be 0 - (-4 + 2) - (-566635)/405. Let w = 1401 - i. Is w greater than or equal to 1?
False
Let h = 750 - 519. Let c be (((-2)/6 - 0)/((-28)/(-168)))/(-2). Which is bigger: c or h?
h
Let g = 61 + -47. Suppose l - 2*n - 45 = 3*n, -n - 105 = -5*l. Let v be 2*7/21*(1 + l). Is v at most as big as g?
True
Let y = -373 + 372.95. Let x = -316368/25 + 8857786/675. Let j = x - 468. Are y and j equal?
False
Let r be ((-40)/(-16) + (503 - 3))*(-3)/(-36). Is 0.1 at least r?
False
Let w(q) = -433*q + 1719. Let g be w(3). Are g and 411 unequal?
True
Let u(i) = -5*i - 27. Let j be u(-6). Let c be (j/(-3))/((-35)/(-5) - 6). Which is smaller: c or -22/9?
-22/9
Let g(h) = -h**3 - 13*h**2 - 6*h - 26. Let f be g(-12). Let t = f + 96. Is -1 equal to t?
False
Let g = 48.2 + -49.6. Let k = -1.7 - -0.1. Let y = k - g. Is 0 != y?
True
Suppose 2*j - f + 3753 = 0, -7*j + 1894 = -8*j + 4*f. Let m be (-14 - -16)*(2 - (-3750)/j). Do m and 1 have different values?
True
Let q be 24/108 + (34/9 - -1). Suppose 2*c - 2 = 3*v, 0 = 4*c + q*v - 8*v - 10. Which is smaller: c or 7?
c
Let c = 3747/5 + -749. Which is greater: 3477 or c?
3477
Let n = -387 - -269. Let t = n + 105. Which is greater: t or -16?
t
Let s = -55.01 - -37.01. Is s bigger than 174?
False
Let y be (-675)/(-375)*1082/3. Is 648 at most as big as y?
True
Let q be 6/(-12)*(-2)/1. Let l be 8/(-12)*(-3)/(q*-108). Let t(o) = -o**3 + 12*o**2 - 11*o + 1. Let z be t(11). Is z < l?
False
Let p(s) = -7*s + 26. Suppose -5*w + 34 = 14. Let d be p(w). Is -3/4 at least as big as d?
True
Let s be (-26971)/61110 - (-56)/126. Is s bigger than 0?
True
Let g be (-10 + 5 - -9)*82. Let s = g - 354. Is -28 less than s?
True
Let r be -3 + -3 + 1 + 1. Let g be ((-2007)/223)/(-1 + 6). Which is smaller: g or r?
r
Let a = 47692 + -40824347/856. Is 0 != a?
True
Let j(b) = b**3 + 18*b**2 - 57*b + 126. Let a be j(-21). Which is greater: 2/8819 or a?
2/8819
Let i = 538 + -590. Which is bigger: i or -13?
-13
Suppose 209 = -12*o + 773. Let g = o - 138. Is g equal to -91?
True
Let h be 1269/5499*4/(-18). Let r(l) = l**3 - 4*l**2 - 1. Let t be r(4). Is t bigger than h?
False
Suppose -18*f = -12*f - 234. Suppose -9*w + 33 = -f. Let q = -3 - w. Which is bigger: -12 or q?
q
Let y = 3 - 2.9. Suppose -122 = -2*s - 9*v + 618, -5*s + 5*v = -1630. Is s at most y?
False
Let s(f) = -f**3 - 9*f**2 + 9*f + 168. Let g be s(-7). Which is smaller: 27 or g?
g
Let h = 59 - 53. Let t be (-7 - -3)/((-4 + h)*-1). Suppose 0 = 2*z - 4*d - 8, d = -z - t*d - 6. Which is smaller: z or 4/5?
z
Let j be -22 - -3 - (687 + -121). Which is smaller: j or 2?
j
Let k = -767 + 825. Let a be 44/(-16)*-1 + -3. Which is smaller: k or a?
a
Suppose -15*f - 9*f - 57 = -1857. Which is smaller: 52 or f?
52
Let s = 354 + -153. Let k = -209 + s. Do -0.2 and k have the same value?
False
Suppose b = 4*d + 1962, -3*d - 4*b - 1464 = -b. Let p be 2/10 + d/(-50). Suppose -2*w + q + 2*q = p, w + 3*q = 13. Which is smaller: w or -1/17?
-1/17
Let a(j) = 50*j + 2. Let r be a(2). Let v(y) = y**2 - 950*y + 24124. Let k be v(26). Is k > r?
False
Let x be (-1)/(1/2)*644/560. Suppose 0 = -64*t + 34*t - 60. Which is smaller: t or x?
x
Let y(l) = l**3 + 96*l**2 + 160*l - 278. Let d be y(-94). Do d and 2355 have the same value?
False
Let g(k) = -4*k**2 - 5*k - 11. Let u(w) = -w**2 + w - 1. Let m(y) = g(y) - 3*u(y). Let d be m(-6). Which is smaller: 16/3 or d?
d
Suppose 0 = 9764*u - 9763*u - 591. Which is smaller: u or 588?
588
Let l be -3 - (-1 + 3)/2. Let m be ((-6)/l)/3*0. Let w = -9855/9452 + -9/556. Which is greater: w or m?
m
Let q(a) = 6*a + 12. Let f be q(-2). Suppose 0 = -2*i - 5*b, -3*i - b + 0*b = f. Is i less than or equal to -1/42?
False
Let k be ((-1728)/1580)/((-154)/55). Let x be (2 + 157/(-79))*-3. Let s = x - k. Which is smaller: s or 1?
s
Let c be (12/20 - (-175)/35)/(4/(-350)). Which is bigger: c or -1/14?
-1/14
Let c(s) = -s**2 + 5*s + 14. Let y be c(-2). Suppose -w = -y*w + 98. Let a be w/6 - ((-20)/6)/(-5). Is -14 < a?
False
Let h(b) = 2*b**2 - 3*b. Let k be h(2). Suppose 11 = -u - k*q, 4*q + 28 = 2*u - 6*u. Let o(y) = -14*y - 13. Let w be o(u). Is w != 0?
True
Suppose 3*b + 2 = 11. Suppose 3*h = -g + 56, -b*h + 5*g + 100 = h. Suppose h = 8*k + 4. Is 2 less than k?
False
Let b = 7197.2 - 7197.2. Let p = 39.8 - 35. Let l = p - -17.2. Does b = l?
False
Let p = -40/3 + 283/21. Let k = -2193/20 + 6619/60. Is p equal to k?
False
Let z = 713 - 645. Suppose z*k - 67*k = 122. Is 122 less than or equal to k?
True
Let i = -0.1 - 0.9. Let v = 255.2 + -136.9. Let a = 117 - v. Is i at least a?
True
Let p = 0 - 32. Let o = -734 + 751. Let m be (o/2)/(16/p). Is m != -18?
True
Let s = -31.85 + -0.15. Let y = 267 + -416. Let a = y + 148.9. Which is bigger: a or s?
a
Let w = -6.25 + 6.577. Is 1/11 bigger than w?
False
Let n = 170 + -172. Let w be 2 - (1 + n + 6). Is w equal to -5/3?
False
Let t(o) = 2*o**2 - 57*o - 13. Let w be t(29). Suppose w = v - 9*v. Which is smaller: -18/19 or v?
v
Let m = 209 + -72. Let n = 134 - m. Let t = n - -5. Which is bigger: 12/7 or t?
t
Suppose 19*t + 44 = 24 - 75. Which is greater: t or -43/11?
-43/11
Let p be ((-4)/(-6))/(12/873). Suppose w + 3*o - 16 = -0*w, 2*w - 43 = -5*o. Which is smaller: w or p?
p
Let b = 271 - 87. Let x = b - 183. Is x at most -113?
False
Let y = 0.6 + -6.6. Let c = -0.996 - 0.254. Let w = c - -2.25. Which is smaller: y or w?
y
Let m = 1.3 - 4.3. Let b be (3/24 + (-18)/16)*498. Let o be 2/(-12) + (b/36 - -5). Which is smaller: o or m?
o
Let n(j) = j**3 - 4*j**2. Let r be n(3). Suppose -6*s + 17 = -s + u, 4 = 2*u. Suppose -2*p - 19 = -0*c + s*c, -30 = 5*p + 4*c. Is p smaller than r?
False
Let c = -4459 + 6398. Is -0.2 > c?
False
Let d be (4 - 41 - 4)*-6. Suppose -70*z + 75*z + 348 - 1588 = 0. Is d smaller than z?
True
Let a(i) = -23*i - 17. Let u = -63 - -56. Let b be a(u). Let q be 169/99 - (2 + b/(-66)). Is q bigger than 1?
True
Let a 