uppose -211 = -g*q - 2074. Which is greater: -82 or q?
q
Let y be (-6)/(-3) + 5/(-2). Let c = 481/4510 - 1/110. Let h = -79/451 - c. Which is greater: y or h?
h
Let y = 2534 + -2356. Which is smaller: 94 or y?
94
Let z = -4000 - -4000.2. Is -27 at most z?
True
Let m = 19 - -22. Let u = m - 34.2. Let g = 5.8 - u. Which is smaller: g or -12?
-12
Let l = -441 + 440. Let c = 25543564/1153 + -22154. Which is greater: c or l?
c
Let j = 194 + -199. Let f be ((-4)/(40/(-49)) + j)/1. Is f greater than 0?
False
Let f(m) = -2*m - 18. Suppose 85*z - 92*z = 63. Let u be f(z). Is -9/52 at least u?
False
Let w = 0.004 + -62.004. Let m = w - -38. Let l = 71 - 70. Is m less than or equal to l?
True
Let v = 67 + -135. Let n = 73 + v. Let t be (-45)/6*1/(n/(-4)). Which is smaller: t or 5?
5
Let i = 8209 + -9070942/1105. Which is smaller: 1 or i?
i
Suppose 3*f + 25 = v, -5*v + 2*f + 143 = 5*f. Let z(j) = 2*j**2 - 58*j + 57. Let r be z(v). Is r smaller than 1.2?
True
Let h(k) = 137*k - 274. Let q be h(2). Which is bigger: -412 or q?
q
Let m(a) = -13*a**2 - 2*a - 2. Let j be m(1). Suppose -6*h = 3*k - h - 30, -h - 78 = -5*k. Let x = k - 30. Which is smaller: j or x?
j
Suppose 5*i = -4*r + 741, -4*r + 2*i + i + 701 = 0. Let u be (402/268)/(3/(-2)). Which is smaller: r or u?
u
Let z be (144/(-504))/((-1)/(2/180)). Let k(f) = -8*f - 16. Let h be k(-2). Which is smaller: h or z?
h
Let v = 62 + -60. Suppose 388 + 203 = -5*p - v*h, 5*p - 4*h = -603. Is -237/2 at least p?
True
Let z(j) = -15*j - 33. Let l be z(-3). Suppose l*m + 192 = 4*m. Which is smaller: -23 or m?
m
Suppose 0 = -3*h + 14*h + 7260. Let z = 881 + h. Is z greater than 221?
False
Let j = 18 + -14. Suppose 2*q - 10 = j*a - 3*a, -a = -5*q + 22. Let i be q*2*9/(-6). Which is bigger: -11 or i?
-11
Let k = -82 + 94. Let a = k + -2. Let x be 1 + 6/a + 24/(-15). Which is greater: -5/6 or x?
x
Let w(c) = -413*c**2 + 60*c - 295. Let x be w(4). Is -6664 equal to x?
False
Let a(h) = -h**3 - 2*h**2 - 4*h - 3. Let j be a(-2). Suppose -4*p = -3*p - 2*f - 10, 5*f - j = 0. Suppose 0 = 2*g - 6 - 14. Is p smaller than g?
False
Suppose 5*d + 4*k + 3 = 0, -2*d = 20*k - 16*k + 6. Which is greater: 155/6 or d?
155/6
Let n be -7 + 6 + 2 + 4/(-12). Which is bigger: 29 or n?
29
Let j = 9 + -6. Suppose 0 = -4*p - j*h + 27, 0*h + 10 = -5*p + 5*h. Suppose -59 = -3*i + r, -p*i + 4*r - 20 = -94. Is 18 bigger than i?
False
Let i = -3007 - -3157. Which is greater: 0 or i?
i
Let n = 14750123/1625 + -9077. Which is greater: -1 or n?
n
Let k = -211.1 - -211. Let v be (-584)/(-24) + 3 + -3 + 2. Which is greater: v or k?
v
Let j = -326 - -314. Let w = -3 - 2. Let t = -20 - w. Are j and t equal?
False
Suppose -10 + 91 = -3*a. Let w be 60/(-325)*58*15/6. Which is bigger: w or a?
w
Suppose 0 = -10*o + 416 + 764. Let m = o - 124. Is m at least as big as -7?
True
Let p be 6*(4/3)/(-2). Let h be (-6)/8*-4 + (-4185)/620. Is h less than p?
False
Let n = 8070 + -40352/5. Which is bigger: -1080 or n?
n
Let h = -19 - -42. Suppose -4*x + 4*u = -4, -10*u + 20*u = -2*x + 38. Let o = h - x. Which is smaller: o or 17?
17
Suppose 3*o + 10 = 4*d, 0 = 3*d - 51*o + 53*o - 16. Suppose b + 117 = 10*b. Which is smaller: d or b?
d
Let l be (-1 - -1 - 0)/1. Let b = -420894079/40 + 10523429. Let n = b - 1077. Which is smaller: l or n?
l
Let y = 3 + -3. Suppose y = -4*p + 3*p - 18. Let x = 362 - 381. Which is smaller: x or p?
x
Let s(g) = 2*g**2 + 9*g + 2. Let n be s(-6). Suppose 2*o = -2*o + n, 3*o = 2*r - 15. Suppose -47 = 8*a - r. Are -1 and a nonequal?
True
Let q = 192166/966442833 - 4/67409. Are q and -1 equal?
False
Let p = -2400 - -319190/133. Let n(c) = 59*c + 1. Let m be n(0). Is m at most p?
False
Let g(t) = 197*t - 400. Let u be g(-6). Is u less than -1582?
False
Let x be (-12)/42*-7*1. Suppose -x*n - 6 = -18. Is 25 bigger than n?
True
Let m = -3 - -5. Let c be 182/39*18/(-120)*-1. Is m less than or equal to c?
False
Let w = 48 + -57. Let j be (-6)/4*18/w. Suppose 4*g + f = 31, -j*g = 2*g - 2*f - 55. Is g <= 9?
True
Let v be 0/(8 + -3) + -2. Let y = 415/7 + -1721/21. Let d = y - -64/3. Is d at most as big as v?
False
Let h = 3279 - 3280.09. Let j be (-1)/(-2)*(-13 - -11). Is h bigger than j?
False
Let g = 3763 - 3764. Is 5/153 less than g?
False
Suppose 15*d = 3*d + 8364. Suppose -5*p + 747 = d. Does 17 = p?
False
Suppose -w + 0*w - 3 = f, 11 = -2*f - 3*w. Let q(v) = -7*v**3 + 2*v**2 - 4*v - 24. Let i be q(-5). Let s = i + -11971/13. Is f > s?
True
Let x = 208.907 - 209. Let m = -59.093 - x. Let n = -76 - m. Which is smaller: n or 2?
n
Let t = -0.06 - 0.11. Let i = -1.83 + t. Let z = 0.478 - -0.822. Which is smaller: i or z?
i
Suppose 48 = -26*d + 38*d. Suppose -5*j = d*p + 208, 4*j = 3*p - 115 - 70. Which is smaller: -41 or j?
j
Let f be (122 - 8) + 3 + -2. Let m = 120 - f. Suppose -70 = -m*s - 60. Which is bigger: s or 6?
6
Let m be (-23)/1897155*-30*(5/2)/5. Is 1 at most m?
False
Let f = -663 + 670. Is f at least as big as -3/2?
True
Let i(p) = -p**2 + 10*p + 41. Let u be i(15). Suppose -3*l + 3*d = -2*l - 44, 2*l - 76 = 2*d. Let r = l - 67. Is r bigger than u?
True
Let u = -16/1935 - 3/215. Let o = 1.76 + -5.76. Is o >= u?
False
Let v = -47/144 + 5/48. Let l be (-1)/4 + 42/(-24). Let r be (4/(-7))/(l/(-7)). Is v at least r?
True
Let t(m) = 3*m**2 + 5*m + 2. Let c be t(-5). Let j = c + -55. Let s be 3 - (-9 - -8 - j/1). Which is smaller: -5/14 or s?
-5/14
Let v(g) = -g**3 - 16*g**2 - 5*g + 261. Let f be v(-12). Which is smaller: -254 or f?
f
Let c(h) = -1364*h - 9547. Let f be c(-7). Let m be 2/12*(-3)/400. Is m greater than or equal to f?
False
Let m = -6.1259 - -0.0259. Let s = m - -2.8. Is s > 2/9?
False
Let o(i) = i**3 + 12*i**2 - 12*i + 25. Let p be o(-13). Suppose 34*g + p = 46. Is g < -4/379?
False
Let o = -4146 - -4148. Which is greater: o or 626?
626
Let v be ((-42)/(-18))/(175/150). Let w(g) = g**3 + 4*g**2 - 7*g + 2. Let l be w(-5). Let o = l - 37. Is o != v?
True
Suppose 2*t = -5*u - 19320, 16 - 1 = -3*t. Which is smaller: -3863 or u?
-3863
Let n be (-165500121)/(-360) - ((-2)/5 + 0). Let f = n - 459800. Let h = 233/3 + f. Which is greater: 1 or h?
1
Suppose 8*m + 379 = -341. Let d = m - -160. Suppose d - 18 = -2*w. Is -25 > w?
True
Suppose 2*a = -3*p - 276, -498 = 5*a + 2*p + 192. Suppose 0 = -8*b - 810 - 158. Let s = b - a. Which is smaller: s or 14?
14
Let g be (-62)/60 - (118/(-531))/((-8)/54). Are g and -4 equal?
False
Let a(g) = -4*g**3 + 2*g - 21. Let d be 0/((-2)/16*-8). Let c be a(d). Which is bigger: c or -161/8?
-161/8
Let v = 32729 - 32670. Let q(k) = k**3 - k**2 + k + 57. Let u be q(0). Is u > v?
False
Let f be (5/(-1165))/(24/72). Which is smaller: -1 or f?
-1
Let n = -8623 - -7880. Does n = -0.2?
False
Let q(o) = 14*o + 4. Let i be q(0). Let n be 0/(i/4*-1). Which is smaller: -13/16 or n?
-13/16
Let k = -2201 + 2101. Which is smaller: k or -101?
-101
Let v = -21124 - -21107. Is 53 <= v?
False
Suppose 33*b + 81 = 6*b. Let u = 443/28 + -130/7. Is u < b?
False
Let h = -80420168614/9358437 - 2/3119479. Which is bigger: h or 2/7?
2/7
Let t(j) = -2*j**3 - 13*j**2 + 29*j + 182. Let l be t(-7). Let o(k) = 5*k - 4. Let y be o(6). Is y less than or equal to l?
True
Let h = 76 - 147. Let q = 114.94 - 114. Let y = q - 1.94. Is h bigger than y?
False
Let o = 52.7144 + -0.7144. Which is bigger: -6.1 or o?
o
Let h(b) = 21*b + 102. Let j be h(-8). Let z be (-19 + -1)*-1*j/(-110). Which is bigger: 5 or z?
z
Let j be (-2 + 4)/(1/(-2)). Let i(u) = 6*u**2 + 2*u - 3. Let l be i(1). Suppose n + 3*k = -8, 4*n - l*k + 4 = -3*k. Does n = j?
False
Let l = -4 - -7. Suppose l*n - n - b = 1, -2*n - 4*b = 4. Let p = 1121/12 + -3383/36. Which is bigger: p or n?
n
Let g = 159.45 - -2.55. Let n = g + -161. Which is smaller: 0 or n?
0
Suppose -3*l + 59 = -5*u, 1 = 3*u - 3*l + 34. Let w be 36/(-24)*((-45)/(-9) - 1). Is w at most u?
False
Let x be ((-1347)/372 - -2)*-132. Let y = -214 + x. Which is greater: y or 0?
0
Suppose 4*c + 4*t + 104 = 0, -2*t + 27 = -3*c - 51. Let i = -71138 - -71111. Which is greater: i or c?
c
Let p = 0.00055 - -192.54945. Let r = p - 193. Which is bigger: -0.1 or r?
-0.1
Let x = -26551039/109836625 - -473/1957. Does x = 1?
False
Let h(a) = -a**3 - a**2 + a - 2. Let y be h(0). Let t = -87.14283 - -0.14283. Which is greater: t or y?
