 be 7/3*(-24)/u. Which is smaller: -1 or g?
-1
Let c = -178/271 - -10223/16802. Is c at least 19?
False
Suppose -h - 1 = -2, -q = -5*h + 4. Which is smaller: 4/23 or q?
4/23
Let p = 108 - 103. Let h be 3/((-28)/8 + p). Let l be 1/h*((-26)/(-4) + -1). Which is bigger: 2 or l?
l
Let b = 2319 - 2320. Do 1/5720 and b have different values?
True
Let t(g) = g**2 + 23*g - 695. Let o be t(-47). Is 435 at most o?
False
Let i = -22 + 24. Suppose 0 = i*u + p + 4, -2*u = -6*p + p + 4. Let v be (2/104)/(u/(-12)). Is 1 at most v?
False
Suppose 96*o + 57 = p + 97*o, -p - 3*o = -61. Which is greater: 57 or p?
57
Let b be 12/20 - 64245/75. Let r = 854 + b. Is r >= 0?
False
Let t(f) = -221*f + 1103. Let b be t(9). Is b > -884?
False
Let u = -5857.9787 + 5858. Is u < 11?
True
Suppose -3*s + 41 = 4*v, -19*s + 15*s = -4*v + 48. Is 26 greater than v?
True
Let g be (-3)/((19 + (-814)/44)*6/28). Which is bigger: 0.5 or g?
0.5
Suppose -15*c + 215547 = 11682. Is c smaller than 13591?
False
Suppose a = 3 + 1. Suppose 0 = -i + 5*z - 26, -a*z + 15 = 4*i + i. Let p be (28 + -29)*(-1)/(-30). Which is greater: i or p?
p
Let f = -0.72 - 23.28. Let u = 24.3 + f. Let x = -0.43 + 0.48. Which is smaller: x or u?
x
Let f = 28558 + -4369372/153. Suppose y = 2*y. Which is bigger: f or y?
f
Let o be (0/(-6))/(2 + -3). Suppose -3*i + 3*h + 6 = o, 2*h = -3*i - 0*h + 16. Suppose -i = 8*k + 4. Is 6 at least as big as k?
True
Suppose -3*d = -o + 593, -10*o + 7*o + 4*d = -1799. Suppose 2*x + q + 242 = -2*q, 0 = 5*x + 4*q + o. Which is smaller: x or -120?
x
Let a(i) = -i**3 - 19*i**2 + 2*i + 44. Let c be a(-19). Let t be 2*(-5 + 0 + c). Suppose 2*p = -t*z - 21 - 137, -319 = 4*z + 3*p. Is z != -82?
False
Suppose -53*y + 57*y - 31 = -3*q, -2*y + 3*q = -11. Let o be 2/(-8) - 111/(-12). Let h be (-1)/((-1)/(o + 0)). Is y < h?
True
Let t = 508 - 504. Let h = 7915/7 + -1128. Is h greater than or equal to t?
False
Suppose 2*y - 54 = -2*t, -15*t + 11*t = 3*y - 104. Suppose 3168 = 47*k - t*k. Is 0 <= k?
True
Let o be (10 + (-7 - 3))/(-2 - 0). Let y = -9885572/617 - -16022. Which is greater: o or y?
y
Let l = -413/45840 - 2/573. Let h = -11/7280 - l. Which is smaller: h or 1?
h
Suppose 122984 = 50*p + 18734. Which is smaller: 2082 or p?
2082
Let q = -4785 + 3420. Which is smaller: -0.2 or q?
q
Let r = 72842/3 - 23730. Which is smaller: r or 552?
r
Let x = -239.254 - -239. Let j = x - -0.34. Let z = -10.914 - j. Which is greater: -1/4 or z?
-1/4
Let q(x) = x**2 - 7*x - 4*x + 0 + 4 + 1. Let a be q(11). Suppose b = -a*b. Is -4/3 bigger than b?
False
Let z = 16.21 + 21.95. Let g = z - 39. Let s = -0.74 - g. Is s greater than 27/2?
False
Let o = 114 + -161. Let u = o + 37. Let l = -9.8 - u. Is l not equal to -2/17?
True
Let w be 2/4 + (-6)/4. Let l = 152164/9 - 16908. Is w less than l?
True
Let h be ((-10)/(-30))/(1/12). Suppose u + 4*r - 3 = 1, 0 = -h*r. Suppose -12*q = -8*q + u. Which is smaller: q or 6/71?
q
Suppose 2*w - 17*w + 3585 = 0. Let p = w - 325. Is p not equal to -86?
False
Let v(c) = 108*c + 12. Let a be v(1). Suppose -2*t + 124 = a. Which is greater: 0 or t?
t
Suppose 5*t + 2*h = 127, 3*t + h + 20 - 95 = 0. Is 202/9 at least as big as t?
False
Let w = -20 + 28. Let d = w + -0.7. Let t = d + -1.3. Which is smaller: 0 or t?
0
Let t be ((-31707)/(-2184))/((-4)/14). Let v = -438175/8624 - t. Are v and 1 unequal?
True
Let i = 0.30083 - -14.08617. Let t = -0.387 + i. Which is smaller: t or -7/2?
-7/2
Let y = 2.4564 - 1.4564. Which is smaller: y or 2.408?
y
Let u be -746*((-82)/328)/((6/(-4))/(-3)). Which is bigger: 352 or u?
u
Suppose 42*g = 26*g + 24*g. Suppose -3*p - 495 + 216 = g. Are p and -94 equal?
False
Let f = -2.172 - -214.072. Let l = f - 212. Let w = -136 + 1357/10. Is w at most as big as l?
True
Let l be (-36371428)/25980960 + (-21)/(-15) + 0 + 0. Is -1 equal to l?
False
Suppose 13*u = -7 - 630. Suppose 2*a + a - 147 = 0. Let x = u + a. Which is bigger: -2/123 or x?
x
Let b = -4811 - -6620.7. Is b at least -1?
True
Suppose f + 50 = i - 3*f, -2*f + 164 = 4*i. Suppose 0 = t - z + 4 + 6, 3*t + i = -3*z. Is t > -13?
True
Let d = -537694 + 537568. Suppose 135 - 12 = -i - 5*v, -3*v = -i - 131. Are i and d non-equal?
True
Suppose 0 = 4*j + 4*a - 72, 2*j - 56 = -0*j + 3*a. Suppose j*x + 132 = 18*x. Is -26 at most as big as x?
False
Let x be (-5)/(-45)*(5 + 27). Let r(w) = -2*w - 2. Let y be r(-1). Suppose -5*c + y*c = 5*k + 5, 0 = 3*c + 4*k + 7. Which is smaller: x or c?
c
Let p(s) be the first derivative of -s**3/3 + 19*s**2/2 - 61*s - 47. Let b be p(14). Suppose -6*x = -b*x + 24. Is x greater than 50/7?
True
Let r = -3 + 3.02. Let y = 0.03876 - -0.16124. Is y equal to r?
False
Suppose 576 = -101*j + 77*j. Which is smaller: -32/11 or j?
j
Let r = 2487 - 2461. Let f be 2/(1 - -1)*-26. Let p = r + f. Which is smaller: 6/5 or p?
p
Let q = 5817 - 471173/81. Which is greater: q or -1/7?
q
Let f = -155 - -260. Let x = f - 67. Let n = -139 + 176. Which is smaller: x or n?
n
Let s(u) = 18*u**2 - u + 8. Let k be s(3). Suppose 3*b - k = 5*y, 3*b + 106 = 5*b - 2*y. Are b and 49 nonequal?
False
Let a = 317 - 321. Let q(u) = 23*u**2 - 2*u. Let i be q(-1). Let l be i/(-7) - (-9)/(-21). Is a not equal to l?
False
Let n(d) = 6*d**2 + 15*d + 11. Let m be n(-6). Suppose -m*q + 142*q - 5 = 0. Which is smaller: -95 or q?
-95
Let c = 6.3313 - -0.0887. Let q = 25 + -24.58. Let l = c - q. Is l bigger than 0?
True
Let r be (-1)/(-1 + 160/159). Suppose 29*y + 58*y + 5565 = 46*y + 6*y. Are y and r unequal?
False
Let f be 8/4 - (-3 - (-82)/16). Is -6.78 at most as big as f?
True
Let m = 9725/6 + -1621. Is -14 != m?
True
Let v = -17.7 - 88.3. Let w = 226 + v. Which is greater: 0 or w?
w
Let r be 23793/(-6291) + 5*(0 - -1). Let u = r + 1/233. Which is smaller: 0 or u?
0
Let i = 275 - 231. Let k be 491/4 - 33/i. Which is bigger: k or 123?
123
Let j(q) = 9*q**2 + 16*q - 22. Let a be j(1). Is 71 < a?
False
Let m be (-98)/245*(-10)/4. Which is smaller: m or 61/124?
61/124
Suppose 552*f - 91 = 545*f. Is f <= 544/45?
False
Suppose -3434 = -119*w + 9656. Let o(z) = -z**3 + z**2 + 2. Let r be o(-2). Suppose 4*q + w = r. Which is bigger: q or -25?
q
Let s = 1519537 - 1519521. Let f(c) = -4*c - 2. Let l be f(-2). Let g be l/27 + 1190/72. Is g bigger than s?
True
Let l be (0 - 1)/(6/18). Let i = l + 8. Let w = -2/14473 + -28924/159203. Is i at most as big as w?
False
Let k be 2 - 53*-1*4/4. Let b = -65 + k. Let d be (-75)/b*((-43)/21 + 2). Which is bigger: -1 or d?
d
Let p = -22920 + 19274. Which is bigger: -3645 or p?
-3645
Suppose 95 = 10*y + 215. Let q = -8 + 1. Is q bigger than y?
True
Let k be (114/(-4))/(24/68)*-4. Suppose 0 = -2*n - k + 311. Which is greater: n or -22/3?
n
Suppose 0 = -2*r + 34*o - 35*o + 2092, 0 = -3*r + 4*o + 3149. Which is greater: 1044 or r?
r
Let h = -5 - 1. Suppose 3*s - 10*m = -6*m - 17, 5*m = 5*s + 25. Let x be (27/(-2))/s + -4. Is x greater than h?
True
Let d = -174 - -177. Let w be (((-54)/609)/d)/(9/6). Which is bigger: w or 1?
1
Let m(k) = k**2 - 39*k - 3279. Let h be m(-41). Is 912 not equal to h?
True
Let c = -3639887/4710 + 3864/5. Are -1 and c nonequal?
True
Let b = -73.79 + 2.79. Let c = 107 + b. Is c at least as big as -5?
True
Let q be (-10)/(-35) - 42/147. Let s = -57772640168176/92085 - -627383832. Let f = -2/877 - s. Is q bigger than f?
True
Let i(g) = -g**3 + 4*g**2 + 2*g + 12. Let n be i(5). Let t be (290/(-30) - -10)/(2/n). Is t greater than 5?
False
Let b(h) = h**3 + 24*h**2 + 116*h + 1. Let p be b(-8). Is p at least as big as 1.1?
True
Let y = 4 - 4. Suppose t = 2*t - y*t. Suppose p - 3 = t, 2*s + p + 32 = 3*p. Which is greater: s or -15?
s
Suppose 0 = -4*w + 4*z + 152, 4*w + 4*z = w + 107. Suppose 35*g + 3*a = 33*g + 68, g - w = -3*a. Which is smaller: g or 32?
g
Let d = -2563 - -23069/9. Let l = 4 - 9. Which is greater: l or d?
d
Suppose 0 = -k - 5*d + 1637, -20*k + 24*k = 2*d + 6746. Which is greater: 1/4 or k?
k
Suppose 29*t + 924 + 840 = -92. Which is smaller: -586/9 or t?
-586/9
Let l = -2176 - -2177. Which is smaller: -1/68 or l?
-1/68
Let s = -49277 - -247677/5. Let g = s + -255. Is g at most as big as 0?
False
Let x(y) be the second derivative of y**5/20 - y**4/12 + y**2 - 11*y. Let w be x(2). Let o be (1/(-3))/((4/w)/(-2)). Which is greater: -3/17 or o?
o
Let r = -6