p = -28/45 + 94/135. Is p > o?
True
Suppose -2*y - w = -4002 + 23, -4*w = -2*y + 3964. Let q be 42/(-70) - y/(-30). Let c = q + -463/6. Is c less than or equal to -12?
False
Suppose 0 = -p - 2*p + 60. Let b = -129.4 - -131.4. Is b at least p?
False
Let v = -6020.02 + 5913. Let s = v + 2.02. Which is smaller: -1/3 or s?
s
Let r be (-1 + 10/6)/((-1)/(-9)). Suppose 0 = 2*m - 22 + r. Let b be -2*(2 + (-84)/m). Which is smaller: 31/2 or b?
31/2
Let j(n) = -n**3 - 26*n**2 + 34*n - 362. Let b be j(-28). Which is smaller: 3055/12 or b?
b
Suppose -3*h = 2*h + 90. Suppose 3*o + 9 = 0, 24 = 5*d - 16*o + 13*o. Suppose d*j = -4*c - 72, -2*j + c - 14 - 23 = 0. Which is greater: j or h?
h
Let y = 0.3479 - 0.2479. Let c be -1 + 1 - 1/26. Is c at least as big as y?
False
Suppose 3*u + 975 = -3*y, -10*y - 957 = 3*u - 13*y. Let o = 113.1 - 113. Which is greater: u or o?
o
Let n(g) = 26*g + 1276. Let x be n(-50). Is -24 < x?
False
Let l(n) = n**3 + 53*n**2 + 52*n + 4. Let b be l(-52). Suppose c + 142 = b*w, 0 = w - 10*c + 5*c - 26. Is 38 equal to w?
False
Let u(q) = 13 + 14*q + 35 + 23*q + 14 - 8*q. Let b be u(6). Are 236 and b equal?
True
Let j be 1/(3120/(-3114) + 1) + 0. Let t = j + 520. Let n = 5/549 + 13081/10431. Which is smaller: t or n?
t
Let i(g) = -19*g + 104. Let h(x) = x**3 + 5*x**2 + 4*x + 28. Let c be h(-5). Let z be i(c). Is z bigger than -47?
False
Let b(o) = -18*o - 55. Let i be b(7). Let p = 1269/7 + i. Is p less than or equal to -2/37?
False
Let y(t) = t**3 + 6*t**2 + 4*t - 6. Let a be y(-5). Let h = 567.58 + -568. Which is greater: h or a?
h
Let w = 24814 - 24936. Is w at most as big as -1570/13?
True
Let l = 659 + -21713/33. Let n = 601/231 - l. Let r = -14 - -17. Which is smaller: r or n?
n
Let r be 2*(-37698)/(-72) - 9. Let d = -1051 + r. Is -13 bigger than d?
False
Let x be 88/396 - 4/(-63). Let i be -2*(-1 - 1) - 19. Let u be (50/i)/(2/6). Which is smaller: x or u?
u
Let l be 5/(-1490) + 8/(-12) + (-18)/(-27). Let s = 1 + -2. Is s <= l?
True
Let n = 8404 - 5353. Which is smaller: 3049 or n?
3049
Let p = -533 - -26649/50. Let z be (((-24)/20)/1)/(18/45 - 26/(-10)). Which is greater: p or z?
p
Suppose -39*o + 18*o + 28 = -28*o. Is -43/16 <= o?
False
Suppose -2*p = -p. Let h be (90/(-126))/((-1)/(-541)). Let x = -387 - h. Is p smaller than x?
False
Suppose v = o - 66, 5*o - 3*v + 299 = 9*o. Is o greater than 906/13?
True
Let w be (8 - (-108)/(-28))*2. Is 9 not equal to w?
True
Suppose 18*q - 10 = 23*q. Let l be (-28)/(q/4*-4). Is l not equal to -14?
False
Let w be (-1 + -147)/(13*(-1344)/(-7072)). Which is greater: -59 or w?
-59
Let x be 33/(-110) + ((-14781)/4030 - -4). Suppose 5*q = 7 + 8. Let a = -4 + q. Which is smaller: a or x?
a
Let i(x) = -x**2 + 17*x - 35. Let q be i(10). Suppose -q*v = 275 + 810. Is -31 not equal to v?
False
Let w = 151124/4131 + -621/17. Which is smaller: 1 or w?
w
Let s = -1.6767 - 48.0943. Let t = s - 0.229. Which is greater: -0.2 or t?
-0.2
Let d = -7739 - 7935. Which is bigger: 1/3 or d?
1/3
Let k = -529 + 627. Is k >= 90?
True
Let y(g) = 2*g**3 - 8*g**2 + g - 2. Let m be y(4). Suppose 0 = m*j - 2*s - s + 31, 2*j + 3*s = -1. Let t be (-34)/j - 39/13. Does t = 0?
False
Suppose 0 = 30*f - 54 - 324 - 102. Which is bigger: f or 557?
557
Let m be ((-8574)/(-36))/(9/(-5)). Let f = 265/2 + m. Let d = f + -52/135. Which is smaller: 1 or d?
d
Let o be (-4)/6*-42*-2*9/12. Which is smaller: -23 or o?
o
Suppose 2220 = -5*d + 17*d. Let t = d - 183. Which is smaller: 3/5 or t?
3/5
Suppose 60565 = 72*r + 180589. Is -1667 smaller than r?
False
Let f be -5*((-112)/(-40) + -3). Let p be (f/2)/(5/40). Which is smaller: p or 0.038?
0.038
Let g = 317 + -316. Let j be g*(-2 - (-45)/20). Let q be (-70)/(-114) - (-2)/(-3). Which is smaller: q or j?
q
Let z = 2330186 + -53610013/23. Let i = z + 684. Let x = -1 + 0. Is x less than i?
True
Let p be 6/((-3)/8 + (-21)/(-24)). Suppose 0 = 20*m - 88 - p. Let s be (6/m)/((-2)/15). Is s equal to 3?
False
Suppose -t + 2*k = 0, k - 5 = 5*t - 7*t. Suppose t*h + 2*l = 630, -3*l = -h + 336 - 17. Is h at least 316?
True
Let o = -5049 - -136348/27. Is o > 2?
False
Let t be (-4 + 72/(-27))/(6/(-441)). Let y = -278 + t. Is y at least 214?
False
Suppose -469*q + 216*q + 209*q = 44. Which is bigger: q or 10/47?
10/47
Let h(b) = 900*b + 10861. Let i be h(-12). Let m(c) = -6*c**3 + 3*c**2 + 3*c + 1. Let n be m(-2). Suppose -6*v + n = i. Which is bigger: v or -6/19?
-6/19
Let z = 29 - 29. Let m be (15 - 14) + (-13 - z). Let q be ((-21)/60)/((-3)/m). Which is bigger: -2 or q?
q
Suppose -v = 3*a + 10 + 17, 3*a + 12 = 4*v. Let j(s) = -s**2 - 12*s - 34. Let n be j(a). Which is bigger: n or 64?
64
Let x be (72/5)/(-6) - 9/(-15). Suppose -12 = 3*o + o, -4*o = -5*u + 27. Is u != x?
True
Let i = 27 + -27. Suppose 0*a - a + 228 = i. Let x be 129/a + 4/(-16). Are x and 1 unequal?
True
Let d be (-3 - 9)*8/12. Let f be 266/(-630) - d/36. Which is greater: f or -23?
f
Let x = -233 - -237. Suppose b + 0*m = -x*m + 24, 0 = -5*b - 5*m + 60. Which is smaller: b or 16?
b
Let y(v) = 2*v**2 + 4*v - 32. Let p be y(-15). Which is greater: p or 359?
359
Let q be ((-2345)/15)/(12/(-36)). Suppose 4*w = q - 1517. Which is bigger: w or -263?
w
Let w be -4 + (-64)/112 + (-57)/(-63) + 4. Is 1/654 > w?
False
Suppose 5*y - 390 = -4*y - 111. Suppose -5*v - 2*g + 181 = 0, -4*g = v - 0*g - 47. Is v at least y?
True
Let a = 27.79 + -27.9. Let m = -10 - -9.99. Let v = a - m. Is v != 23?
True
Suppose 6 = 2*w - 40. Suppose w = -64*z + 65*z. Is z greater than 25?
False
Let a be (-32)/(-12) + 10/(-15). Let b be ((-4)/2872)/1*a. Which is smaller: b or 0?
b
Suppose 2*t = 4*t - 2. Let q be -3*3*t/6. Let u = -2420 + 12102/5. Is u smaller than q?
False
Let u(h) = h**2 + 6*h - 48. Let d be u(-10). Are -122/17 and d nonequal?
True
Let k be (90/2835)/((-3)/18). Let o(p) = -p**3 + 5*p**2 - 3*p + 2. Let j be o(4). Let n be j/(-8) + 6/8. Is k at most as big as n?
True
Suppose 5*u = -3*m + 8, 6*m - 22 = 2*m - u. Let t be (-2)/((-304)/(-1596)*6/4). Is t at least m?
False
Suppose 5*d + 33 = 2*o + 2*o, 5 = -d. Let v be ((-21)/31)/(o + 35/(-10)). Does 0 = v?
False
Let l = 283 + -224. Suppose 3*r - 295 = l. Is 117 at least r?
False
Let v = -4955 + 4895. Which is smaller: 1.9 or v?
v
Let k = -5 + 6. Let u = -2896 + 2894. Are u and k equal?
False
Let n(k) = 14*k**2 + 4*k + 11. Suppose 4*b + 2*z = -8, 3*z - 1 = 11. Let t be n(b). Is t bigger than 220?
False
Let r(g) = -g**3 + 5*g**2 - 6*g + 17. Let p be r(4). Suppose -6*o - p = -39. Is 7 equal to o?
False
Suppose 2*u - d = 4*u + 9349, -3*d + 14028 = -3*u. Which is smaller: u or -4674?
u
Let y = 35 - 113. Let q = y + 79. Which is greater: 1/231 or q?
q
Let s(b) = -b**2 - 440*b + 7771. Let f be s(17). Which is bigger: f or -10723?
f
Let m(a) = 13*a**2 + a + 1. Let o be m(-1). Let t(g) = 3*g**2 + 18*g + 3. Let y be t(-6). Let z = 15 - y. Which is smaller: o or z?
z
Suppose -560*d - 1039584 = -4771984. Which is smaller: d or 6666?
d
Suppose 5*l + 5 = 2*o + 4, 2*o - 4*l = 0. Is o at most as big as -234/125?
True
Let z = -10.2207 + 10.3307. Let p(o) = 9*o**2 + 2*o + 1. Let d be p(-1). Which is smaller: z or d?
z
Let s = -158.75 + 161. Let r = s - 2.35. Let c = -8291/245 - -169/5. Is r > c?
False
Let o(u) = -u**2 - 4*u + 4. Let i be o(-5). Let p = -51936 + 51301. Which is bigger: p or i?
i
Let t = 224888/77 - 19906/7. Which is bigger: 77 or t?
77
Let u = -108 + 116. Suppose 0 = -3*x - d + 81, 108 = 4*x + 6*d - u*d. Which is smaller: 28 or x?
x
Let z be (-3)/8 - -1*7007/104. Suppose -4*q = -70*d + z*d + 5, -4*q + 4*d = 4. Which is greater: q or -1/8?
-1/8
Let i be ((-17365)/(-15))/(-3 + 20/6). Let p = 17444/5 - i. Let z = p + -401/25. Is 0 != z?
True
Let k = -260 - -75. Let g = k + 183. Which is greater: -20/23 or g?
-20/23
Suppose 2*n = 6, n + n + 804 = -3*y. Let a = y - -270. Which is smaller: a or 2/603?
a
Let w = -2/1541 + -3004/60099. Let t = -188 + 139. Let p = t - -49.1. Is w at least as big as p?
False
Let l = 225 + -201. Let w = l + 45. Is 69 greater than w?
False
Let t(q) = -9*q**2 + q - 4. Let y be (3 - (-10)/25) + 4/(-10). Let c be t(y). Is -84 not equal to c?
True
Let f(j) = -7*j + 4. Let c be f(-11). Let w be (-2)/27 + (-156)/c. Is 3 at least as big as w?
True
Let m = 163 + 81. Let l be -4*1*2/m. Suppose 