 160/1992*(-30)/(-20). Which is smaller: -1 or o?
-1
Let r = -452452 + 3624317/8. Is r less than 588?
True
Suppose 10*r - 5*k + 24 = 12*r, 0 = 4*r - 3*k + 30. Is 1380 greater than r?
True
Let h = 6.279 - 0.479. Let m = h + -7.2. Which is smaller: m or -0.33?
m
Let r be (126/(-14) - -10) + 34. Let x = -17909/4 + 4512. Does r = x?
False
Suppose 22*o - 2761 + 165 = 0. Suppose -3*y - o = -3*j - 733, j - 213 = -y. Is 211 smaller than y?
False
Let q = -1472 - -1471.5. Which is greater: 1.236 or q?
1.236
Suppose -8 = l - 37. Let s = l - -97. Let w be s/36*(-1 - -7). Is w != 20?
True
Let q = -7542.8 - -7543. Let t = -28.17 + 0.17. Do t and q have the same value?
False
Let j be 0/((-13)/(26/10)). Are j and 209 equal?
False
Let j = 2.006 - 2. Let h = 86.081 + -85.881. Is j equal to h?
False
Let n(l) = 10*l + 131. Let c be n(-13). Let w be 0/c + (-1 - 18/(-27)). Which is greater: w or -110/9?
w
Let r(x) be the third derivative of x**6/60 + 2*x**5/15 + 23*x**4/24 + 49*x**3/6 + 12*x**2 + 3*x. Let b be r(-8). Are b and -648 equal?
False
Let n be 0 + 0 - 0 - 1. Let x = -72/3431 + 7466/682769. Is x not equal to n?
True
Let a(v) = 5*v**2 + 48*v - 516. Let u be a(7). Which is greater: u or 81?
81
Let u = -24913 + 24458. Which is smaller: u or -457?
-457
Suppose 72*x = 73*x - 56. Let j be x/(-196) + (0 - 4/(-14)). Which is smaller: -6/119 or j?
-6/119
Let k be (8/16)/(11/(-76)). Let z be (13 + -1)*14/84*-2. Which is smaller: z or k?
z
Let i = -111 + 7. Which is smaller: -127 or i?
-127
Let t = -905 - -312. Let r = 621.84 + t. Let g = 29 - r. Is 2 greater than g?
True
Let r = -399 + -137. Which is smaller: -0.1 or r?
r
Let j = 4 + 16. Let q(x) = -2*x**2 - 79*x - 561. Let i be q(-30). Which is bigger: i or j?
j
Let h = 39 + -42. Let v(y) = 3*y**3 + 5*y**2 + 2*y - 1. Let m be v(h). Let n = 35 + m. Which is bigger: -10 or n?
n
Suppose -r + 12*g - 11*g = 19, 3*r = 2*g - 52. Let y be (-50)/75 + (-154)/12. Are r and y nonequal?
True
Suppose -305*u = 37*u + 23152 + 91418. Is u not equal to -3002/9?
True
Suppose -47 = 17*a - 0*a - 268. Is a < 1.45?
False
Let p(k) be the second derivative of k**3/6 + 7*k**2 - 25*k. Let u be p(-12). Which is greater: u or -18/5?
u
Let q be 37062/240 - 6/(-5). Which is bigger: 155 or q?
q
Suppose -2014 = -2*c + 4*k, 2*c + 4*k - 1391 = 599. Which is smaller: c or 1?
1
Let q = 34/101 + 14543/303. Suppose 3*b = -0*b - 144. Let y = q + b. Is y less than -4/7?
False
Suppose 34*a - 29*a = 10. Suppose -a*c = m + 25, -5*m + 4*c = -3*m + 66. Let d = m - -27. Is 2/31 greater than d?
True
Let i(c) = 8474*c + 67818. Let z be i(-8). Let o be -2 + ((-37109)/(-1410) - -2). Let k = o + 7/470. Is k > z?
True
Suppose 0 = -4*n - 1 + 5. Suppose -3*s = -5*w + 5, -5*s + n = 5*w - 44. Suppose a - 2 = 2*j - 3, -3*a - 3 = w*j. Which is smaller: 17 or j?
j
Let d = -17/67 + -4583/1742. Let i = d + 18/13. Are i and -2 equal?
False
Suppose 8*n - 55 = 7*n. Let h be (50/n)/5 + 97/(-352). Which is bigger: h or 0?
0
Let o be 1 + -2 + (-60)/(-56). Let c = -7.744 + -1.256. Which is bigger: o or c?
o
Let m be ((-9)/30)/((-324)/(-270)) + (-40390)/8. Are -5047 and m equal?
False
Let k be (-78)/28 + 36/126. Let x = k - -19/6. Let f = 3.09 + -3. Which is greater: f or x?
x
Let p = 0.29575 + -97.29575. Is p at least as big as -0.1?
False
Suppose -4*z + 5 = -11. Let a = -13006 + 13003. Is a at least as big as z?
False
Let g be 8/(-6)*6/(-4). Suppose 4*r - q - 6 = 0, 5*q + g = r - 9. Let u be (-1)/5 - 872/(-3960). Which is bigger: r or u?
r
Suppose 2*x + 1 = -s, -2*x + 2*s = -x - 2. Suppose x = 8*u - 7 - 1. Let f be (-36)/(-27) + (-1 - 1) + u. Which is smaller: -5/3 or f?
-5/3
Let d(i) = 7*i**2 - 3*i + 2. Let q be d(1). Suppose 0 = -q*z + 29 - 89. Let c = -12 - z. Is c bigger than -3?
True
Let m(g) = -g**3 - 2*g**2 - 2*g - 10. Let x be m(-3). Suppose 3*d - x*d = 2*d. Which is smaller: d or -61?
-61
Suppose 5*x + j - 78 = 0, -4*j + j + 42 = 3*x. Suppose 58 = 17*r - x*r. Suppose -4*w + 2*w - r = 0. Which is smaller: w or -30?
-30
Let c(r) = r**3 - 2*r**2 + r. Let q be c(2). Let l be -4*q/44 + (-4)/(-14). Let i = -2/11 - l. Which is smaller: -14 or i?
-14
Let g = 1.9 - 2. Let f = -13935.37 - -14129. Let o = f - 194. Which is greater: g or o?
g
Let l = 2145 - 1578. Which is bigger: -3 or l?
l
Let w = -2.96 - -4. Let h = 1.1 - w. Let l = -1.8 - -1.6. Which is greater: h or l?
h
Let c be 2/(-442)*(-1 + (-90)/(-99)). Let d = -5201/824109 + c. Is 0 at least as big as d?
True
Let p = 109.15 + -109. Let y = -1.15 + p. Let w(u) = u**3 + 2*u**2 + 2*u. Let b be w(-3). Which is smaller: b or y?
b
Let s(i) = -4*i**2 - 2*i + 3. Let u be s(1). Let q be (13 + 213)*u/((-48)/(-22)). Let c = -307 - q. Is 3 at most c?
True
Let s be (-14 - 4020/(-288))*-4389. Which is bigger: s or 183?
183
Suppose -3*f = -7 - 11, -u = 4*f - 23. Is 19/93 less than or equal to u?
False
Let h = -289095/346 - -1671/2. Suppose -4*b - b = -3*b. Which is greater: h or b?
b
Suppose 13*i - 72 = 84. Let t be (32/i)/2*(591 - 15). Which is greater: 769 or t?
769
Let q be -1500355*11/(-1155) - 4/42. Are q and 14289 equal?
True
Let j be (52/6)/(-2*2/(-36)). Let f = j - 102. Is f smaller than -26?
False
Let b = 3039 + -3038.631. Which is greater: b or -1/4?
b
Let q = -23860.11362 - -23860. Which is bigger: q or 1?
1
Let b(v) = -4*v**3 + 7*v**2 - 48*v - 46. Let w be b(4). Are w and -385 equal?
False
Suppose -3*z + x + 2 = -2*z, 3*x = 4*z - 6. Let p be (88/(-66) + (-24)/(-10))*15/85. Is z equal to p?
False
Let w = 41.957 - -0.043. Let g = 0.6 - 29.6. Let v = w + g. Which is smaller: 1 or v?
1
Let i = 2276 - 2253. Which is smaller: 936/41 or i?
936/41
Let s be (-50)/30 + (-111)/9. Let y(a) = a**2 + 2*a - 25. Let c be y(s). Which is bigger: 145 or c?
145
Let x = 305 + -578. Let p = -276 - x. Which is greater: p or 1?
1
Let g be (-120)/16*(0 + 2). Let w be ((-3)/(-5))/((-1)/g). Let j be 0 - 7/((-35)/w). Which is bigger: 2 or j?
2
Let y(m) be the second derivative of -7*m**3/3 + 51*m**2 - 17*m - 1. Let s be y(7). Which is smaller: s or -11?
-11
Let m be ((-464)/(-812)*2/24)/((-1)/9). Let k = 1/97 - -482/291. Which is bigger: k or m?
k
Suppose -124 = -49*b - 75. Is b at least as big as 1/4327?
True
Let f be 8/(-18)*4/(-32). Let b be (-8)/(-2)*(-2)/2. Let k be (0 - 3/(-6))*b/(-2). Which is bigger: k or f?
k
Let g = -12699 - -11860863/934. Is 1 greater than or equal to g?
True
Let x be 192159/(-4158) + 8/14. Is -46 > x?
False
Let l(a) = a**3 + 9*a**2 + 5*a + 1. Let p be l(-7). Suppose 24*c = -8*c - p. Which is smaller: 7/4 or c?
c
Let t = -92/169 - -70144/5915. Let o = t - 58/5. Let h = 992 + -983. Is h less than or equal to o?
False
Let y(b) = -b**2 - 20*b + 130. Let g be y(5). Suppose 9*i - g*a = 5*i + 354, -a = 3*i - 256. Are i and 85 nonequal?
True
Let b(i) = -11*i - 23. Let z be b(-7). Let c = 39 - z. Let f be (c/(-5))/(21/(-15)). Which is smaller: f or -3?
-3
Let q be (-4*(-372)/(-144) + 11)*(-6)/(-4). Is q less than or equal to -2/13063?
False
Let f be (-2)/(-4) - (-117)/18. Suppose 8*x = 3*x - 5. Let k be (-140)/(-21) + x/(-3). Is k smaller than f?
False
Let v = 196 + -256. Let u be (v/(-90))/((-4)/(-366)). Is 60 equal to u?
False
Let g = 1467/53 - 76419/848. Which is smaller: g or -61?
g
Let o be 0 - 7 - (-1 + -1). Suppose 0 = 4*d + 28, 3*c - 17 = 9*d - 4*d. Is c greater than o?
False
Let q = -3420/61901 + 2/1673. Suppose 4*t = -3*n + 15 + 2, -4*n + 8 = -2*t. Let m(b) = b**3 - 3*b**2 + 3*b - 9. Let a be m(n). Which is smaller: a or q?
q
Let r be (268/(-514024))/((-3)/(-4)). Is 0 greater than or equal to r?
True
Let s(p) = p**3 - 79*p**2 - 73*p - 559. Let w be s(80). Is w equal to 3/445?
False
Let z(o) = -17*o**2 + 194*o + 25. Let y be z(15). Is -894 at least y?
False
Let k(y) = 2*y**2 - 86*y - 180. Let d be k(45). Suppose 2*j = 4 + 84. Let t be 8/36 + j/(-279). Which is bigger: d or t?
t
Suppose -3*m - 162 = 162. Let o = -137 - m. Are -35 and o nonequal?
True
Let a = 1.8 - 2. Let c = -11940764/739 + 16158. Let s = 2227/3695 + c. Is a at least s?
False
Let v = -0.4416 - 2.5584. Is v less than or equal to -100?
False
Let m(g) = 4*g - 12. Suppose -5*s - 6 = -7*s. Suppose 6*p = s*p + 15. Let b be m(p). Which is greater: b or 9?
9
Let a = 1.9504 - 0.0004. Let j = -1.55 + a. Which is bigger: j or -17/5?
j
Suppose 33*r = 40*r - 21. Let n 