pose u = -4*o - 20. Which is bigger: -12 or o?
o
Suppose -j = 3*h - 2, 4*h + 15 = -1. Suppose -j*z + 19*z - 60 = 0. Let y(c) = c - 8. Let i be y(z). Is 7 > i?
True
Let s = -14278.8 - -14279. Is s smaller than 2/3?
True
Let h = -35.011 - -36.63. Let k = h - -0.381. Is -38 at least k?
False
Let c = 13 - 29. Let a be 1370/(-8) + (-4)/c. Let o = a + 4962/29. Are o and 1 unequal?
True
Suppose 5*z = 2*c + 16, -3*c + 3*z + 5 - 11 = 0. Suppose c*t + p + 3 = 0, -5*t - 4*p - 12 = -6*t. Is 2/71 smaller than t?
False
Let i be (40/(-50))/(2/(-15)). Suppose -5*m = 2*m + 3*m. Suppose -6*u + 36 - 24 = m. Which is smaller: i or u?
u
Suppose 4*m = -6*k - 75350, 10*m + 4*k + 94170 = 5*m. Is m less than -18831?
False
Let f be (58/(-10))/(3/(-15) - 0). Let c be ((-78)/(-12))/((-3)/(-12)). Which is bigger: f or c?
f
Let x = 1.663 - 1.663. Which is smaller: 24.14 or x?
x
Let b = -9 + 19. Let o = -74 - -78. Suppose -2*q = -0*q + 3*t - b, -17 = q - o*t. Which is greater: 2/11 or q?
2/11
Let b be (17/65858)/(1 - 15/(-6)). Which is smaller: 1 or b?
b
Let k = -23284 - -23283.9. Let x be (-2)/6 + (-337)/(-1020). Are k and x unequal?
True
Suppose -y + 2 - 6 = 0. Let u be (-34)/77 + y/14. Let z(o) = 10*o - 90. Let b be z(9). Which is smaller: u or b?
u
Let x = 8805 + -8675. Which is greater: 1160/9 or x?
x
Let b = 340.221788 + -0.264788. Let o = b + -340. Is -0.2 at least as big as o?
False
Let p(r) = -9*r + 22. Let f be p(3). Let i be ((-1)/(-2))/(f/30). Let c be (-2 - (-3 - -1)) + i/10. Is -1/4 > c?
True
Suppose 751 - 376 - 375 = 3*l. Which is smaller: 4/995 or l?
l
Let s be ((-6)/4)/(3/(-88)). Let a(g) = g**3 + 122*g**2 + 1414*g + 3. Let t be a(-13). Is s >= t?
True
Let i(y) = -5*y - 60. Let l be i(-16). Suppose -608 = l*h - 128. Which is smaller: -18 or h?
h
Let l = -84.62 - 4.98. Let y = 89 + l. Let w = 8.8 - 9. Is y greater than or equal to w?
False
Suppose 0 = -6*j + 4*j. Let n = -1195/24 + 307/6. Which is smaller: j or n?
j
Let o be (-11)/44 - (-200)/32. Let l be 21/(-1358)*o/(-63). Which is greater: 1 or l?
1
Let x = -187256/11 + 17037. Which is greater: x or 14?
14
Let l(y) = -2*y**2 + 90. Let b be l(0). Suppose 0*x - b = 3*x - s, 6 = 2*s. Let p = x - -33. Which is smaller: 0 or p?
0
Let l = -368 + 365. Let d = l + -70. Is d not equal to -73?
False
Let k(g) be the second derivative of -g**4/12 - 11*g**3/6 + 5*g**2/2 - 9*g. Let r be k(-11). Suppose -r*o - 20 - 10 = 0. Which is smaller: -0.2 or o?
o
Let n(c) = 6*c - 9. Let v be n(3). Let p(g) = -g**3 + 10*g**2 - 8*g - 4. Let q be p(v). Let k be 85/(-204)*1/q. Which is smaller: 1 or k?
k
Let z = -4456 - -4454. Which is smaller: z or -202/157?
z
Let w = 1728115/9 - 192200. Is w less than -188?
False
Let m = 11841 - 11841.041. Is -0.023 not equal to m?
True
Suppose -5*x = -g - 1944, 1559 = x + 3*x + 3*g. Let k = x + -469. Which is smaller: k or 2?
k
Let k = -0.2712 + 0.2712. Which is smaller: 10290 or k?
k
Let c be 266388/(-79515) - (-1 + 3 + -4). Let w = c - 4/855. Let o = w - -2/93. Is 6 != o?
True
Let d(i) = -2*i**3 - 84*i**2 - 287*i - 120. Let j be d(-38). Which is smaller: -763 or j?
j
Let j = 1/2 - 1. Let h = 3261.1 - 2894. Let b = -365 + h. Is j less than b?
True
Let j = -0.422 - -0.522. Let k be -1 - 3/(-7670)*3728. Let g = k - -1/295. Is g at least as big as j?
True
Suppose -2*n = -3*n - 2*n. Suppose n = 20*u - 24*u + 148. Let c = 42 - u. Does c = 7/2?
False
Let x(z) = 17*z**3 + 51*z**2 + 22*z + 20. Let g be x(-6). Which is bigger: g or -2?
-2
Let b(c) = c**3 + 26*c**2 + 88*c - 1004. Let t be b(-18). Let w be (22/(-78))/((-2)/36). Is t < w?
True
Suppose -4*i + 9*i + 5*k = -25, -5*k = 4*i + 19. Let s be ((-312)/(-234))/((-1)/i). Is 0.2 bigger than s?
False
Let p = -243 + 341. Let u = p - 101. Let s be 1/(-15)*-17*u + 3. Is s > 0?
False
Suppose 4*z = 4*c - 12, 0 = 2*z - 8*c + 3*c + 21. Suppose 12*t = 17*t + p - 7, -2*t + 6 = z*p. Which is smaller: 10/7 or t?
t
Let j = 8485 + -7537.1. Is j at most 1?
False
Let v = -183 + 130. Let o = -15 - v. Let a = 43 - o. Is 2/7 < a?
True
Let c(o) = -o**3 - o**2 - o - 3. Let r be c(-2). Let a(x) = -x - 15. Let j(y) = -1. Let p(d) = -a(d) + 2*j(d). Let u be p(-12). Which is smaller: u or r?
u
Let k = 35.959 + 0.041. Let m = -1.148 + 1.248. Is k equal to m?
False
Suppose 0 = -j + m + 233, 3*j - 724 = -5*m + 3*m. Let a = 139 - j. Let o = a - -99. Which is bigger: o or 3/41?
3/41
Let s = 9317.1 + -9857. Let b = s + 540. Do -281 and b have the same value?
False
Let g(q) be the first derivative of -68*q**3/3 + 7*q**2/2 - 7*q - 49. Let n be g(1). Which is greater: n or -69?
n
Let a = 96 + 5. Let z = a - 60.7. Let y = 39 - z. Which is smaller: y or -2/7?
y
Let v = -15056 + 15056. Do 4/8961 and v have the same value?
False
Let w be 8/20 + (-6)/(-9) + 31/(-15). Is w smaller than 2/307?
True
Let b(d) = d - 7. Let u be b(5). Let z be 930/5157 - u/(-9). Let w = z + -2061/955. Which is bigger: w or -1?
-1
Let o = -563/2542 - -8/31. Suppose -57 = -15065*j + 15122*j. Which is greater: o or j?
o
Let t = -21278 + 21277.308. Which is greater: -0.1 or t?
-0.1
Let z be (-172)/(-36) - 6/(-81)*3. Let v be (-4)/z + 140/175. Let q be 2/(-8)*1/24. Do q and v have the same value?
False
Let n = -630 + 628.702. Is -2 greater than n?
False
Suppose -j - 7 = -17. Suppose 17 = -7*b + j. Does 8/113 = b?
False
Let h = -15651 + 15647.526. Which is bigger: 0.1 or h?
0.1
Let v = 46 + -43. Suppose -v*g - 4 = 11. Which is bigger: g or -10?
g
Suppose -17833 = 16923*x - 16940*x. Is 1048 > x?
False
Let l be (-474)/140 - 3/2. Let w = -1124 - -7838/7. Let h = l - w. Is -3 at least h?
False
Let d = -317.3 - -272. Let r = 47 + d. Let u = 2 + -2. Which is smaller: r or u?
u
Let x be (9/(-5))/(6/(-140)). Let i = 44 - x. Let y be (-4)/(-3)*i/1. Which is bigger: 4 or y?
4
Suppose 49*a = 56*a - 4998. Suppose 2*l - 112 - 367 = -5*t, -3*t + a = 3*l. Which is bigger: 236 or l?
l
Let a = -4510 + 4500. Is a greater than 50?
False
Let v = 253 + -314. Let k = -203 - -295. Let o = v + k. Is 1 at least o?
False
Let u = 89.9 - 267.7. Let p = -46.2 + u. Which is smaller: -1 or p?
p
Let x = -239/3 + 79. Let u = 573.232 - 577. Let q = -0.768 - u. Is q < x?
False
Let b(a) = 81 + 26*a - a**3 + a**2 + 27*a - 63*a + 9*a**2. Let u be b(12). Is u at least -328?
True
Let b be (-15)/(-8) + (-39)/8 + 5. Suppose 35*j - 5*p = 38*j - 15, 2*j = -b*p + 10. Which is smaller: 18/5 or j?
18/5
Suppose -4 = -8*p + 6*p. Suppose -3*u - 37 = -p*h, -59 = -5*h - 2*u + 81. Is h smaller than 26?
False
Let r = 283538 - 283986. Let s(b) = -446*b**2 - 1. Let d be s(-1). Are d and r equal?
False
Let m = 1/16026 + 15823/3253278. Which is bigger: -1 or m?
m
Suppose 5 = -a - 4*j, -a + 15*j = 13*j + 5. Let s(o) = -27*o - 43. Let f be s(a). Which is bigger: 93 or f?
93
Let a = -3385 + 3385.1. Let i = 709/4 + -361/2. Which is bigger: i or a?
a
Let k be 12 - 2 - 5 - 72/(96/8). Does -6/617 = k?
False
Let b = 26155/6 - 27489037/6306. Which is smaller: b or 1?
b
Let h(c) = -c**3 - 11*c**2 + 24*c + 28. Let s be h(-7). Is s <= -331?
True
Let b = -125490401/252 - -497979. Let a = b - 10/9. Let g = 5 + -8. Is g less than a?
True
Suppose -204*a - 196*a - 1092 = -428*a. Do a and -0.68 have the same value?
False
Let h be (-334)/(-22) + (5/11)/(45/(-18)). Let q be ((-1)/(-1))/((-2)/(-4)). Suppose 147 = -q*p - h. Is p <= -80?
True
Let p be (-93)/(-4) - -3 - 6/(-8). Let x be -31 + p + 5/1. Let o = 137/7 + -463/14. Which is bigger: x or o?
x
Let b = 921/6475 - 23/175. Suppose 13*s = 3399 - 1699 - 1700. Which is smaller: b or s?
s
Let f(j) = 162*j - 3069. Let u be f(19). Is -203 at least u?
False
Let o = -2511/13 - -193. Let v = 0.063 - -2.137. Let y = v + -3.2. Is y greater than or equal to o?
False
Let g(c) = -c**3 + 39*c**2 - 76*c + 74. Let h be g(37). Is 29/111 less than h?
False
Let o = -1 + 45.4. Let d = -20.4 + o. Is 3 != d?
True
Let h be -5 + 1367/171 + (-5 - -2). Let i = -9 + 10. Which is smaller: i or h?
h
Let w = -4750979/327 + 14529. Are w and -1 unequal?
True
Let c(u) = -10*u**2 + u. Let i be c(-1). Let o(r) = -3*r**2 - 19*r + 526. Let z be o(-17). Is i less than z?
False
Suppose 0 = l + 7, 4*s - 6 = 5*l + 37. Which is smaller: s or 57/79?
57/79
Suppose 43 = 2*r + 317. Let j = -226 - r. Let x = j + 89. Which is greater: -0.13 or x?
x
Let y be (-1)/(-7) - (16 - (-5032)/(-56)