*o - g - 12, o + 2*o + 4*g = -2. Let p(q) = q**o - 6*q**2 + 12 - 8*q**2 + q**2 - q**3 - 10*q. Let j be p(-11). Is 8/7 greater than j?
True
Suppose -7520 = 6*h - 4550. Which is smaller: h or 0?
h
Suppose 3*b = -2*b - 0*v + v, -3*v = -b. Is 96/67 > b?
True
Let t = 1571 + -4715/3. Is t equal to 1103/4?
False
Let q be 87/225*-3*(-5)/2. Suppose -5*d = 3*w + 2*w + 5, -3*d - 5*w - 11 = 0. Which is smaller: d or q?
q
Let y = 3796/7 - 337837/623. Which is greater: 0 or y?
y
Suppose 529 = -3*k + 4*b, -3*b = 5*k - 5*b + 905. Suppose 3*c + 4*w + 525 = -6, 2*c - w + 365 = 0. Which is smaller: c or k?
k
Let q = -78 - -77. Is -2326 < q?
True
Let z be 176/(-70) - 3/15. Let r(p) = 49*p + 4. Let o be r(-2). Let v = -96 - o. Which is greater: v or z?
v
Suppose -2*o - 2*o = -416. Suppose 0 = -3*n - 4*p - o, 2*n - p + 3*p = -68. Let j(a) = -a**2 - 25*a - 133. Let r be j(-20). Is r at most as big as n?
True
Let b = -177/28 + 39/7. Which is smaller: b or 4.02?
b
Let n(l) = -2*l + 19. Suppose -4*y = -123 + 83. Let b be n(y). Is b > 16/43?
False
Let l(m) = -199*m - 131. Let z be l(-4). Is z at least as big as 657?
True
Let d = 29817.6 - 29891. Do 2/13 and d have different values?
True
Let c = -30263 - -63331/2. Is 1403 at most as big as c?
False
Let j = -22025 - -22032. Let a = -12.7 - 3.3. Let f = a + 16.09. Which is greater: j or f?
j
Let m = -3769 - -3768. Is -4/391 greater than or equal to m?
True
Suppose 0 = -65*q + 68*q - 1365. Let i = -454 + q. Are -1/495 and i non-equal?
True
Let n(t) = 11*t + 85. Let d(y) = -y**2 - 6*y + 20. Let w be d(-9). Let l be n(w). Which is smaller: l or 26/3?
l
Suppose 1 = -5*l + 21. Suppose -5*v - 5*k + 210 = 200, -4*k = 5*v - 9. Does l = v?
False
Let z be 1/(-2) + ((-29160)/(-48))/(-27). Which is smaller: 11 or z?
z
Suppose -4*q - 48 - 24 = 0. Let p = q + 10. Let m be 2/4 + (15 - (4995/(-18))/(-15)). Which is smaller: m or p?
p
Let s be (-1673)/28 - (-6)/8. Let o = s + 53. Let v be (-4)/o*99/(-6). Is v at least as big as -9?
False
Let n(s) = 49*s + 10. Let z be n(2). Suppose 3*r = 4*c - c - 66, 5*r = 3*c - z. Which is smaller: -22 or r?
-22
Let j be (-52)/(-12)*(-2 - 1). Let i = -233 + 151. Let u = i - -70. Is u less than j?
False
Let r be 26/(-54) + ((-1)/3 - (-124)/558). Which is smaller: r or 2/3?
r
Let j = 111827/57002 - -3195242049/75613153. Let m = j - 619/14. Is m less than or equal to -1?
False
Let u(g) = g**2 + 2*g - 1. Let r be u(-2). Let y be 4/(-7) - 101/7. Let v be 8/(-18)*y/160. Is v > r?
True
Let b(u) = u**3 + 56*u**2 + 103*u - 486. Let s be b(-57). Is 1 greater than s?
True
Let f(j) be the first derivative of -j**3/3 - 17*j**2 - 94*j - 52. Let i be f(-30). Is i bigger than 27?
False
Let c(r) = -239*r - 478. Let m be c(-2). Is 1/2602 at least as big as m?
True
Let i = 10 - -1. Let l = 6 - i. Let h = 356 - 362. Which is smaller: h or l?
h
Let q = 581099/102 + -5697. Let f = 419/238 + -23/14. Let v = q + f. Is 0.8 smaller than v?
False
Let t(o) = -o**2 - 38. Let d be t(-12). Which is greater: -191 or d?
d
Let p = -223 + 158. Let l = p + 105. Let g be (-324)/(-32) - 5/l. Which is smaller: 6 or g?
6
Let r(o) = 3*o**3 + o + 1. Let g be r(2). Suppose 5*n - 9 = 3*n + 5*j, 4*n = -5*j - g. Let x be (-4)/6*(-5)/(-2). Which is smaller: x or n?
n
Let c = 7.303 - 7.97. Is c less than -2?
False
Let r = -128758 - -212812. Let k = r - 2941483/35. Let p = 87/7 - k. Is p smaller than 1?
True
Let s = 277 - 536. Let o = s + 259.1. Which is smaller: -82 or o?
-82
Let r be (-475)/(-7) + 12/84 - 2. Let k = 464/7 - r. Is 0.08 at least as big as k?
False
Suppose 638 = -79*s + 717. Which is greater: 20/97 or s?
s
Let v(a) = a**2 - 15*a + 33. Let y be v(13). Let x be (-48)/(84/y) + 0 + 4. Which is smaller: x or -1/27?
-1/27
Let s(r) = -23*r**2 - r - 3. Let b(v) = -2*v + 45. Let m be b(23). Let c be s(m). Which is smaller: c or -20?
c
Let d be (4*(-11 + 1))/1. Suppose 2*w + 44 = -0*c - c, -4*c = -2*w + 166. Which is smaller: d or c?
c
Let h be (-1)/3 - (0 - (-798)/9). Suppose 92 = -o + 3*c + c, -3*o - 265 = -c. Which is greater: h or o?
o
Let v be (-6)/105*(-3)/6. Suppose -2*h + 8 = 0, 3*h - 7 = 177*g - 182*g. Which is smaller: g or v?
g
Let c = -5/86 + -421/1634. Let s = 9043/4 + -2226. Let m = s + -35. Is c equal to m?
False
Suppose i - 2 = 4*m + 3, -i - m + 5 = 0. Suppose 3*x - 2*y = -i*y + 12, 3*x + 4 = 5*y. Let w = 25229/9 + -2802. Which is greater: x or w?
x
Suppose -28 + 22 = 3*h. Let t = 1377 + -20689/15. Is t greater than h?
False
Suppose -167*s + 1122 = -65*s. Is s greater than -9?
True
Let m = 20 + -19.408. Let l = m + 0.178. Let c = -8.23 - l. Is c bigger than 2?
False
Let w(f) = f - 2. Let c be w(3). Let h be (4 + 2*(-1527)/18)*3. Let n be 2/9 - -4*h/8568. Is c > n?
True
Let o = -330754249547/17907232 + -3/2558176. Let v = 18413 + o. Is v at most as big as -56?
True
Let v(q) = -23*q + 183. Let b be v(8). Is -16/13 smaller than b?
True
Let h be (1/2)/(5/(-10)). Let t be -7 - -4*h/4. Let x be -1*(0 - 26/13). Is x greater than or equal to t?
True
Let f = 324756557/614649321 - 1/5253413. Let o = 12/143 - f. Which is bigger: 10 or o?
10
Let r be 52100477/2236 + (-3)/4. Which is bigger: r or 23299?
r
Let l = -22651/50 + 2717/6. Let j = -3154/825 - l. Let i(a) = 8*a + 108. Let u be i(-14). Are u and j unequal?
True
Let v = -1808 + 3163. Which is smaller: v or 1351?
1351
Suppose -5*b = 5*a + 335, -4*b + 23 = -5*a - 249. Let j be 183/2*14/(-21). Is a greater than j?
True
Let g = 464/687 - 2/229. Let c = -65.4 + 433.4. Let u = 368.35 - c. Which is smaller: g or u?
u
Let g = -1.1725 + -12.8275. Is g at least as big as 1/102?
False
Suppose -x + 1770 = -34. Which is bigger: x or 2?
x
Let g = -79.805 + -0.195. Let h = 83 + g. Is h not equal to -0.17?
True
Let a(r) = -4*r + 2315. Let z be a(80). Is 1994 greater than z?
False
Suppose 2*r = 3*r. Let j = 67577 + -67578. Is j greater than or equal to r?
False
Let z be (-80)/(-8) + 6 - -6356. Which is greater: 6371 or z?
z
Let c = 1697 - 1697. Let u be 3*((-556)/(-274) - 2). Are c and u non-equal?
True
Let v = -13 - -22. Suppose 3*y = v*y + 4590. Let w be (4/(-6))/((-3)/(y/(-10))). Is 16 smaller than w?
True
Let m be ((-34)/6 - 6/(-9))*-1. Let c(a) = -a**2 + 3*a + 4. Let i be c(m). Let p be -7 + (-36)/i - (-2)/2. Which is greater: p or -7/9?
p
Suppose -7*p - 4*p = -3052 - 1117. Which is smaller: p or 376?
376
Suppose 0 = 3*x + 3*q + 12, -18*x + q - 24 = 3*q. Which is greater: 3752 or x?
3752
Let v be (47/3)/(10/6). Let n(c) = -c**3 - c**2 + 2*c - 9. Let h be n(0). Let b(m) = -2*m**2 - 27*m - 72. Let t be b(h). Is t greater than v?
False
Let c = 121111/60 - 3619/15. Let i = c + -1787. Which is bigger: i or -9?
-9
Let a(u) = 19*u**2 + 84*u + 2. Let k be a(6). Suppose 28*z = -k - 7238. Is z at most as big as -301?
True
Let t be -3*(-4040)/(-75)*(-35)/14. Which is smaller: 401 or t?
401
Let k(n) be the first derivative of n**2/2 - 11*n + 41. Let o be k(7). Does -17/4 = o?
False
Let k = 95.6 + -97. Let s = -15.6 - k. Let m = s - -14.3. Which is greater: -25 or m?
m
Let r = -1/733 + 16836/12878077. Is r at least as big as 1?
False
Let m = -17820 - -17601. Suppose -6*i + 2*i - 876 = 0. Is m smaller than i?
False
Let f = -359 - -4661/13. Let i(y) = -26*y. Let o be i(-1). Let j = -26 + o. Are f and j equal?
False
Let y = 75 - 65. Suppose -6*h = y - 22. Let v be 12/54 - 11/(-18). Is v smaller than h?
True
Let q be ((-5)/(-2) + -1)/((-57)/(-38)). Suppose -9 = 4*l - l - 5*z, -4*z + 18 = 3*l. Let v be l/(-16)*31 - (q - 4). Which is bigger: 0 or v?
0
Let k = 110951/240903 - -90/2059. Let z = k - -31/13. Which is bigger: -1 or z?
z
Let i = -188/3 - -62. Let y be ((-4)/114)/(426/(-852)). Which is bigger: y or i?
y
Let d be 2321487/(-3621) + -1 + (-38)/(-34). Is -641 >= d?
True
Let q = -7305 + 7304.9. Are -1975 and q unequal?
True
Let s = -0.5823 + -0.1477. Is -39 greater than s?
False
Let h be -4 + (6 - 2) - 40. Let s be h/(-140) + 23/(-7). Let t be 59/236*-2*2/(-4). Which is greater: s or t?
t
Let g(x) = -x + 5. Let i be g(4). Let f be (-3)/((3*(-3)/(-9))/i). Let z(q) = -q - 2. Let a be z(f). Which is smaller: a or 1/8?
1/8
Let o be 345/3 + (-13 - -10). Suppose -116*r + 76 = -o*r. Is r less than 89/5?
False
Suppose -2*k = -k - 17. Let q be 732/(-18) - 3*3/27. Let a = 59 + q. Are k and a equal?
False
Let k = 8049