 Let h = 2647/26 + -102. Is w <= h?
False
Let u be 10*(0 + (-6)/15). Let v be -1589 - u/(6/(-3)). Let m = -6413/4 - v. Which is bigger: m or -11?
-11
Let o = 6/24617 - 1477782/3126359. Which is smaller: 0 or o?
o
Suppose b = 45 + 89. Let r = b + -124. Is 9 less than r?
True
Let i = 31755 + -32417. Which is smaller: i or -648?
i
Suppose 56*j = 53*j - 9, z - 33 = j. Is 0.039 at most as big as z?
True
Let o(h) = h**2 - 5*h + 8. Let r be o(3). Suppose 2*k - r = 3*k. Let y be ((-2559)/(-639) + -4)*k. Which is bigger: -1 or y?
y
Let x be 18/(-24) - (-25 + 15). Which is smaller: x or 4?
4
Suppose 10*u = 36*u - 12350. Let j = 492 - u. Is j greater than or equal to 125/7?
False
Let g = -26.18 - 61.73. Let j = 88 + g. Which is smaller: j or -0.18?
-0.18
Let t be ((11/33)/(9 + -8))/((-98)/78). Which is smaller: t or -1?
-1
Let n be (-58*(-1 - -2))/(486/(-6075)). Is 726 != n?
True
Let i = -31.03 + 30.9379. Is -2/3 at most i?
True
Let i(p) = -10*p**2 + 402*p - 150. Let c be i(40). Which is greater: c or 2/11?
2/11
Let k = 48510 - 84728. Is k greater than -36217?
False
Suppose -5*w - 35 = 0, -4*x - 2*w - 472 - 294 = 0. Let r be ((-566)/5)/(3/5). Which is smaller: x or r?
r
Let b = 27434/3 + -9064. Let t(m) = m**2 + 44*m + 260. Let r be t(-10). Let f = r + b. Is f < 1?
True
Let t(a) = -a**3 + 44*a**2 + 87*a + 215. Let q be t(46). Which is greater: -21 or q?
q
Let v = 87 + -87. Suppose 15*p = 8*p + 28. Let c be -10*(132/(-32) + p). Is c > v?
True
Let n = -110 + 115. Let j be (4/10)/((-8)/n). Is j less than -2/3?
False
Let m be 16/12*(3 + (-298917)/56937) + 3. Do -1 and m have the same value?
False
Let t(h) = 45*h**2 - 625*h - 27. Let o be t(12). Is o greater than -1047?
False
Let z = 65874.1 + -65874. Let f = 7333/752 + -1/752. Which is bigger: z or f?
f
Let z be (-2)/(-3)*(-206 - 37). Let g = 120 + z. Let y be (0 + 1)/(1/(-43)). Which is greater: g or y?
g
Let p(a) = -4*a + 16. Suppose 2*n - 4*i = 0, n - 1 = 3*i - 0*i. Let u = 3 - n. Let x be p(u). Is -5/2 greater than x?
True
Let r = -0.121 + -118.879. Let v = r - -118. Which is smaller: -122 or v?
-122
Let x = 2 - 2. Let f = 412794/14245 + -1072/37. Is f at least as big as x?
True
Suppose 367 = 4*a - d - 737, -5*a - 4*d = -1401. Suppose 8*s - 419 - a = 0. Are 86 and s equal?
False
Let m be 53/(-106)*11876/87138. Let d = m + 4/927. Which is smaller: 0 or d?
d
Let z be (0 - -1) + (29 - (-493)/(-17)). Is z not equal to 33/112?
True
Let l = -13.08 + -1.62. Let t = -14.6 - l. Which is greater: -55 or t?
t
Let r = -11 + 12. Let s be -21 + 2/r - (1 - 3). Suppose a + 2*a - 5*z + 71 = 0, 0 = 2*z - 8. Is s bigger than a?
False
Let p = -145 + 144. Let q = 5/21 - 4/7. Is q at least as big as p?
True
Suppose 175*m = 340356 + 432911 - 129792. Is m at least 3677?
True
Suppose -279*f = -273*f + 36. Let l(m) = -9*m - 40. Let h(y) = -8*y - 41. Let t(p) = 5*h(p) - 4*l(p). Let r be t(f). Is r smaller than 1?
True
Suppose 4*u - 4 = 4*m, 0 = -m + 3*m + 3*u - 8. Let i be 10/(m - (-2)/(-4)). Let k = 29061 - 29042. Do i and k have different values?
True
Let x be (-5)/(-1) + -1 + 753/(-188). Let y = -11 - -11. Do y and x have different values?
True
Let u(s) = 5*s + 16. Let f be u(4). Let j be (f/12)/((-2)/(-36)). Suppose -12*z + 3*z - j = 0. Which is smaller: z or -0.1?
z
Let w = -37.473 - -37.7. Let b = w - -1.773. Is 17 at least b?
True
Let l = -39.7841 - 0.1659. Let u = -40 - l. Let d = -5.009 + 0.009. Which is smaller: u or d?
d
Let a = -71.72 - -72. Let k = 0.5 - a. Which is greater: 0.2 or k?
k
Let h = -46416493/49784 + -108/6223. Let s = h - -932. Is 19 <= s?
False
Let d(x) = x**2 - 4*x - 1. Let p be (-4)/22 + (-184)/(-44). Let z be d(p). Let o be (-1 + (-2 - z))*37/185. Which is bigger: o or -3/8?
-3/8
Suppose -2*c = -238 - 410. Let x be (-108)/c + ((-860)/6)/2. Is x greater than -72?
False
Let f(l) = 33*l + 1653. Let o be f(-65). Is 2/5 <= o?
False
Let k(o) = -o**2 - 54*o - 433. Let i be k(-41). Which is smaller: i or 599/6?
599/6
Suppose -3*f = 5*l + 4188, -l - 1455 + 623 = -5*f. Which is smaller: 20 or l?
l
Suppose -5*v + 40 = 2*g, 0*v + 5*g = -2*v + 37. Let l be (18/(-8))/(v/16). Which is greater: l or -34/7?
-34/7
Let h = 221 + -74. Let y be h/70 - 9/6. Which is bigger: 66 or y?
66
Let w(s) = -3*s + 25. Let u be w(8). Let l be 1362/1092 - 4/14 - u. Let q = 50 - 49. Is q at most as big as l?
False
Let y = 321 - 314. Suppose -7 = y*d + 98. Does -2/5 = d?
False
Let x(q) = -q - 8*q + 15*q - 9. Let v be x(3). Suppose -u - 4*c + v = -12, 5*c = 3*u + 22. Is u <= 19?
True
Let k = -24.63 + 3.95. Let n = k - -22.9. Let l = 0.22 - n. Does l = -0.1?
False
Suppose -83 = 26*t - 291. Let b(z) = z**3 - 10*z**2 + 12*z - 33. Let r be b(t). Which is smaller: r or -67?
-67
Suppose x = 4*p - 2 - 6, 2*p - 4 = 3*x. Let i be ((-40)/(-140))/(14 + -307). Is i smaller than x?
True
Let o = -1743 - -1725. Which is bigger: o or -63?
o
Let o be 40/35 + 2 + (-336848)/56. Is -6009 at most as big as o?
False
Suppose -2*u - 635 = s - 583, 0 = 4*s - 5*u + 169. Which is smaller: 98 or s?
s
Suppose -n + 0*n = -4*c - 32, -8 = 2*n + c. Let h be 78/145 + (-6)/15. Which is smaller: n or h?
n
Suppose -24 = -2*x + 8. Suppose 3*h + 20 = -a + 6*a, 4*h + 4*a - x = 0. Suppose -3*i + h = 3. Is i > 1/38?
False
Suppose -25*n + 2*n = -1380. Suppose 5*b = -5*i - n, 9*b + i + 25 = 7*b. Is b greater than or equal to -1?
False
Let j be -3642*((-4)/4)/6. Let v = j - 526. Is 78 greater than v?
False
Let c = -553/1980 - -5/396. Which is bigger: -75 or c?
c
Let q(g) = 286*g**3 + g**2 + g - 1. Let o be q(-1). Let i = o + 288. Which is smaller: i or 0.088?
0.088
Let p = 4964 + -4977. Let a = -2.02 + 0.02. Let v = -1.7 - a. Does v = p?
False
Let t = 107 - 5353/50. Let s be -13 - (4 + -17)*1. Is t != s?
True
Let o(i) = 24*i**3 + 7*i**2 + 119*i - 143. Let h be o(10). Which is greater: h or 25748?
25748
Suppose l - 2 = 417*z - 416*z, z = -4*l - 7. Which is smaller: z or -1212?
-1212
Let n be 66/14 + -1 + 42/147. Suppose -3*g = -5*c - 9 + 26, -n*c + 21 = 5*g. Suppose 44 = -c*l - 64. Is -26 at most as big as l?
False
Let a = -0.13 - 7.87. Let c be (-34072)/237120*-3 - (-9)/24. Let y = 3/494 - c. Is a at least y?
False
Let w(b) = b**2 + 19*b - 202. Let i be w(-34). Let k = 290 - i. Which is bigger: -17 or k?
-17
Let c = -4041 + 4022. Let f be (-6 + 4)/(2/6). Let n(u) = -u**2 - 3*u + 1. Let t be n(f). Which is greater: t or c?
t
Let x be (-126)/1431*-7 + (-4)/12. Is x > 1?
False
Let m = 4506 - 4510. Is m bigger than -8/13?
False
Let i = 269 + -266. Suppose -i*u - 87 + 333 = 0. Is u at least 77?
True
Let n = 7/128013 - 1036137299/1408143. Which is smaller: -737 or n?
-737
Let q(m) = 4*m**3 + 221*m**2 + 107*m + 174. Let h be q(-55). Is h not equal to -2686?
False
Suppose 44 = 55*g - 51*g. Let y = -1 + 6.1. Let s = 0.1 - y. Which is greater: g or s?
g
Let l(m) = 112 - 8*m - 9*m - 163. Let x be l(-6). Is 0.3 at most x?
True
Let n = -1954235/2101344 - -2811/3304. Let b = 7/96 + n. Which is bigger: b or 1?
1
Let c = 306.02 + 82.98. Which is smaller: -7 or c?
-7
Let h = 33629/4425 + 1/4425. Which is smaller: 11 or h?
h
Suppose -5*s + 10 = 2*i + 3*i, 3*s - 16 = 2*i. Suppose -4*t + k - 1 = 0, -k + 5*k = -t + s. Let n be 3 - 0 - (-32)/(-10) - t. Which is greater: n or 1?
1
Let o(s) = s**2 + 6. Let k be o(0). Let r be k/15 - (-1089)/15 - 2. Is r bigger than 71?
False
Let t be (-1)/(525/33) + -5 + (-288)/(-56). Is 48 less than or equal to t?
False
Let k = -97 + -128. Suppose 0 = -28*r + 32*r + 2*i + 892, -4*r = 6*i + 876. Is r >= k?
True
Suppose 2*l + 16 = -78. Let b = 27692 + -27740. Is l < b?
False
Let l = -4.091 - 0.169. Let w = 5.26 + l. Is 260 >= w?
True
Let u = -737.09 - -16.09. Let o = u - -720.8. Is -72 at most as big as o?
True
Suppose -3*t + 20 = -4*i, 5*t - 13 = i + 9. Suppose 5*p - 3*m = m + 30, 3*m + 7 = -t*p. Suppose -p - 10 = 12*q. Which is smaller: q or 0.104?
q
Let d = 7.47 + -7.8. Let b = 2.1 + -3.97. Let j = b + d. Do 1 and j have the same value?
False
Suppose 484 - 199 = 19*u. Suppose 79 = u*o + 64. Let h be -1 - ((-36)/(-34))/(-1). Which is smaller: h or o?
h
Let c = -2585 + 2587. Which is greater: c or -1.802?
c
Let c(q) = q**3 - 7*q**2 - 10. Let t be c(7). Let m(s) = -s**3 - 5*s**2 + 21*s - 8. Let i be m(-8). Let o be (i/10 + -2)*t. Which is greater: 9 or o?
9
Let y be (-