greater: c or b?
b
Let a = -25528.25 - -25527. Which is bigger: -19 or a?
a
Let n = -0.72 - -0.06. Let r = -1.3 + 2. Let z = n + r. Which is greater: 1/2 or z?
1/2
Let m = 12.84 - -133.56. Let y = -146 + m. Which is smaller: 2/93 or y?
2/93
Let k(i) = i**2 + 43*i - 2. Let y = -730 - -730. Let d be k(y). Let n = 3 + -2.89. Which is smaller: n or d?
d
Let w = 12197 - 12095. Let z be (1 + 2)/((-6)/(-206)). Is w > z?
False
Suppose -7*h = -3*h + 2*n + 27554, -4*h - 27551 = -n. Let q be 3/(3228/h + 4/14). Which is bigger: q or -15?
-15
Let r be ((-2)/6)/(135/100). Let v = 2372/891 - r. Let i = 6 - 2. Is v >= i?
False
Let s be (-94)/((-2 - 28/(-16))*2). Let v = s + -193. Which is bigger: -5/3 or v?
-5/3
Let u(r) = -5*r**2 - 8*r - 2. Let y be u(4). Let l(j) = -29*j + 1. Let x be l(4). Which is smaller: x or y?
x
Let z = 131/5104 - 1/116. Suppose 4*m = 5*g - 18 + 12, -2*m = 2*g - 6. Does m = z?
False
Let j = -16572/41 + 404. Which is smaller: j or -0.09?
j
Suppose 0 = 165*f - 32*f - 316008. Is 2375 > f?
False
Let m be (-85701)/(-308) + 20/(-8). Which is smaller: m or 3?
3
Let m = -76 - -54. Suppose 2*c - 17*c = -c. Suppose -3*o = -6, c*o + 2*o = 3*d + 76. Which is bigger: m or d?
m
Let t = 16.98 - 14.98. Which is bigger: t or 219?
219
Let l = -14 + 43/3. Let n = -1.00107 + 0.00107. Which is smaller: l or n?
n
Let n = 801 + -797. Suppose 0 = 5*v + 4*l - 367, 0*v + 269 = n*v - 5*l. Are v and 70 nonequal?
True
Let i be 16/(-9)*11/12584*22. Which is bigger: 0 or i?
0
Let q be 9/(10 - 19) - (-184)/2. Is 102 at least as big as q?
True
Suppose f = -2, 157*f - 172 = -3*d + 153*f. Let v(q) = -3*q**2 - 3*q - 3. Let r be v(4). Let g be ((-14)/r)/(2/d). Is 8 smaller than g?
False
Let h be 197 - 144 - (26 + -1). Is 508/19 >= h?
False
Let o = -1.883 + -0.117. Let b(k) = -k**3 + 6*k**2 + k - 8. Let m be b(6). Let a be m/8*(-3)/(-4). Which is bigger: a or o?
a
Let m(c) = 23*c - 91. Let v(f) = 4*f - 15. Let s(p) = 6*m(p) - 34*v(p). Let w be s(15). Let g be 2 - w/(18/(-33)). Is g greater than or equal to -10?
True
Let b = 25150 - 29133. Which is bigger: -2/3 or b?
-2/3
Let p = -2943 + 2940. Does 122 = p?
False
Let n(a) = -a**2 - 10*a - 18. Let q be (28/(-10) - -2)*-5. Suppose -4*j = -k + 26, -q*k - 6 + 26 = -2*j. Let t be n(j). Which is smaller: 2 or t?
2
Let x(v) = v**2 + 25*v - 61. Let m be x(-28). Let p be (m/46)/((-2)/72). Which is bigger: p or -93/5?
p
Let m = -161 + 1129/7. Let y be 2148/(-21) + (-6)/(-21). Let t be ((-9)/18)/((y/(-16))/(-3)). Do t and m have different values?
True
Let r be (-20 - -23) + (0/2)/(-3). Suppose -2*p + q = -0*p - 3, -5*p - r*q = -24. Which is bigger: -6 or p?
p
Suppose 28 - 19 = -h + 2*o, 3*h + 5*o - 6 = 0. Let i be (-594)/46 + h*(-10)/(-345). Is i less than -115/8?
False
Let h be (-1 + 3)*5272*40/32. Is 13179 less than or equal to h?
True
Let s = -3.2 - -2.2. Let i be 41/(192/20 - -3). Let z = -28/9 + i. Is z != s?
True
Let u be 75/(12 - (-605)/(-50)). Is u at most as big as -750?
True
Let m(z) = -19*z**3 + 53*z**2 - 86*z - 8. Let k be m(2). Suppose 4*r + 482 = s, 606 = -5*r + 2*s + s. Is k smaller than r?
False
Suppose -25*x = 702 + 48. Let m be (-8)/x*(-7)/(21/(-40)). Which is greater: 5 or m?
5
Let c be (-1*6/(-4))/(490/2044). Let g = -12/35 - c. Let z = g - -7. Is -29 greater than or equal to z?
False
Let s = -3 - -6. Let r be (1280/110 - (4 + 12))/(-2). Is r equal to s?
False
Let g = 273.684 + -273. Let j = g - 0.864. Which is greater: j or -30?
j
Suppose -191*v - 137625 = -566*v. Which is bigger: v or 370?
370
Suppose 200 = 4*g - 72. Let w = 959 + -890. Which is greater: w or g?
w
Let x(h) = -20*h - 254. Let z be x(-26). Which is smaller: z or 272?
z
Let j be (-2)/4*(260 + -258). Is j <= -32/15?
False
Let x(t) = -2*t**3 - 23*t**2 + t + 165. Let y be x(-11). Which is smaller: 31 or y?
31
Let y = -0.5 - -0.9. Let d be 368/850 - 1*(-26)/(-325). Which is bigger: y or d?
y
Suppose 3*s - 9 = 6. Suppose l = s*p - 21, 24 = -4*l + 8*p - 3*p. Let j be (l/(26/(-6)))/(12/40). Which is smaller: -0.1 or j?
-0.1
Suppose -l = -6 + 4. Suppose 0 = f + l*f. Let r be 1 + f - (-80)/(-78). Which is smaller: 1 or r?
r
Let a(k) = k**3 + 6*k**2 + 4*k + 20. Let h = 53 + -59. Let w be a(h). Let d be w + 5/((-820)/(-652)). Does -1 = d?
False
Let s be ((-21)/(-37660))/(69/(-21) + 2/7). Is -1 at most as big as s?
True
Let d(b) = 4*b - 114. Let i be d(29). Suppose -16 = -4*p - 4*q, -3*q + 18 = -p + i. Is p < -1/3?
True
Let m = 274 + -272.5. Let n = -5.8 - 0.2. Let t = n - -4. Which is greater: m or t?
m
Let y = 15350 - 15069. Is y greater than or equal to 1411/5?
False
Let i(b) = -450*b**2 - 8*b + 17. Let x be i(4). Let q = -2489173/345 - x. Which is greater: -1 or q?
q
Let j(v) = -35 - 67*v + 121*v - 64*v. Let m be j(-7). Suppose 0 = -7*g + 4*g + 102. Is g > m?
False
Suppose -5*k + 18 + 12 = -3*w, -5*k - 4*w + 30 = 0. Suppose 0*i + 72 = -3*i. Let o = 29 + i. Which is smaller: o or k?
o
Let t(z) = 5*z + 8. Let d be t(-12). Suppose 149*h - 151*h - 102 = -f, 0 = -2*h - 4*f - 92. Which is bigger: d or h?
h
Let m = -73237/12936 + 580/147. Let v = m + 13/8. Let x be 2*(2 + (-3)/2). Which is greater: v or x?
x
Let w be (189/(-15) + 0)/((-36)/120). Suppose -102 - w = 4*f. Let r be (-1)/(((-6)/(-74))/3). Which is smaller: r or f?
r
Let b = -458 + 69. Let j = b + -89. Is -2 equal to j?
False
Suppose 35 = 2*u - 113. Let a = -19 + u. Let y = a - 33. Which is smaller: 20 or y?
20
Let y be 18/63*(7 - (1 - 1)). Let r be 0 + 4/y + -2. Let h(t) = -t - 7. Let j be h(5). Is j equal to r?
False
Let i = -8.3 + 8. Let u = -24153 + 24154. Which is greater: u or i?
u
Suppose 5*y + 0 = 10. Let l(k) = 9*k - 21. Let r be l(y). Is -2 != r?
True
Let f(u) = -u**3 + 13*u**2 - u + 16. Let q be f(13). Let m(d) = -d**3 + 6*d**2 - 7*d - 4. Let g be m(q). Suppose 2*t + g = 4*t. Which is bigger: t or -2?
t
Let d be (-2)/(22/(-16059)) + (-102)/(-1122). Which is bigger: 1459 or d?
d
Let f(q) = -2*q. Let t be f(-1). Let i = 537 + -530. Let n be (-7 + 7)*i/(-21). Is t not equal to n?
True
Let a be (-4)/6 + 46/6. Let k(v) = -v**2 - 8*v + 88. Let z be k(-14). Let r be (9 - z) + 10/(-3 + 5). Which is smaller: r or a?
a
Let m = -1685.8029 - -1686. Let b = m + 86.9029. Let f = -87 + b. Which is bigger: f or -18?
f
Suppose 22961 = -52*f + 2*f - 4539. Which is bigger: f or 0.24?
0.24
Suppose -8*u = -14*u - 132*u + 4416. Let k(i) = 3*i**2 + 6*i + 6. Let j be k(-6). Suppose -4*m - j = -2*a - 0*a, -5*a + m = -168. Is u smaller than a?
True
Let d = -3218 + 3121. Which is smaller: -1/6 or d?
d
Let c(l) = -2*l**3 + 88*l**2 + 84*l + 271. Let m be c(45). Are m and 17/689 unequal?
True
Let x = 66 + -37. Let n be 2/21 + (-8)/((-2016)/8292). Which is smaller: x or n?
x
Let p be (-1)/2 + (-3)/(-10). Let i = -29171 - -175025/6. Is i <= p?
False
Let k = -0.01627 + -440.98373. Which is smaller: k or 1?
k
Let d be (-12)/(-22) + 566604/495. Which is greater: 1146 or d?
1146
Suppose 180 = -32*v + 20. Is v <= 0.428?
True
Let i be 26/6 - (5 + -1) - 7/21. Which is bigger: i or -26/89?
i
Let i be (-33 - (44 + -83))*14/(-6). Which is smaller: i or -125?
-125
Suppose 59*u + 15 = 74*u. Let a be 1*7/u*422/13293. Is -27.8 equal to a?
False
Suppose 0*l = -3*i + l + 3, -3*i - 5*l = 15. Let p(z) = -z + 3. Let g be p(i). Let x be (-2)/(7 - 115/15). Is g at most as big as x?
True
Let y = -0.0081 + -58.4919. Let j = -67 - y. Let b = 0.8 + 0.2. Which is greater: j or b?
b
Let p(j) = j**2 + 23*j + 136. Let a be p(-10). Let f be a/8*(-3 + (-165)/(-63)). Let v = 1.54 - 0.14. Which is smaller: v or f?
f
Let t be ((-3)/(9/(-2)))/(7/63). Let y(q) = 8*q - 14 - t*q - q**3 + 36 - 10*q**2. Let l be y(-10). Does l = 25?
False
Let u = -177 + 176. Let c be 7/((-966)/(-543)) - 5 - u. Is 1 != c?
True
Let z = -0.4543 + -489.5457. Let j = 28 - 28. Which is greater: z or j?
j
Let j(y) = -y**3 - 3*y**2 + 7*y - 16. Let x be j(5). Which is bigger: x or -1619/9?
-1619/9
Let z = 69059/3 - 23020. Is z at least as big as 4247?
False
Let b be -5 - (-7470)/1836*(-10)/(-8). Are b and -1 equal?
False
Let c be 22/4 - 57/38. Suppose -p - u = -c*u - 17, 5*u = 5*p - 35. Are 23/7 and p equal?
False
Suppose -5*s = -i + 21, 3*i - i - 5*s = 22. Let q(b) = -b**3 - 4*b**2 + 2*b - 14. Let z be q(-5). Suppose z = 2*j - i. Is 7/5 >= j?
True
Let x = -1.9 + -3.1. Let l = 11 + 