h is greater: u or 0?
0
Let h(f) = -17 + 8 - 7 + f. Let i be h(11). Let j be (0 - i)/((-7)/((-7)/8)). Which is greater: 0 or j?
j
Let a(s) = -10*s**2 + 12 + s**3 - 9 - 12*s + 8. Let g be a(11). Suppose 178 = 2*n - 4*u, g = 4*n - 8*n + 2*u + 380. Which is smaller: n or -1?
-1
Let o be 11/((-495)/(-20)) + (-1424)/72. Which is greater: -18 or o?
-18
Let j = -782 + 472. Which is smaller: j or -306?
j
Suppose 3*h = -5*v - 99, -v = 3*h + v + 90. Let c be (41/(-10))/(14/h). Which is smaller: 7 or c?
7
Let s(r) = 4*r + 33. Let j be s(-7). Let i be (-826)/(-30) + 4/j + -1. Are 28 and i equal?
False
Let a be 82 - (-5)/1*(8/(-9) + 18768/(-36720)). Let l = 3 - 2. Which is smaller: l or a?
l
Let a = 1077 - 1073. Let q(g) = g**2 - 11*g + 10. Let r(k) = k**2 - 10*k + 11. Let y(c) = -2*q(c) + 3*r(c). Let o be y(8). Which is greater: o or a?
o
Let d be (-902382)/14895881 - 2/77. Is d > 1?
False
Suppose m + 5*t + 86 - 122 = 0, -3*m - 4*t + 97 = 0. Suppose 0 = -m*l + 41 - 1157. Is -250/7 at least l?
True
Let t = -0.56 + 0.541. Let w = t + -71.981. Let d = w + 71.85. Which is smaller: d or 0.1?
d
Let x = 223 + 4. Let s = x + -379. Which is greater: s or -153?
s
Suppose 0 = -6*d + 4*d - 5*y + 439, -4*y - 394 = -2*d. Let i = 217 - d. Is -2/21 at most i?
True
Let z = -0.236 - -0.336. Which is greater: z or -5090?
z
Suppose -19*v + 15*v = j - 5249, 3*j - 2*v - 15705 = 0. Is j smaller than 5237?
False
Let n(a) = -4 - 6*a + 5*a + 5 + 0 + 7. Let v be n(8). Which is smaller: v or -0.0121?
-0.0121
Suppose 5494*b = 5493*b - 157. Which is smaller: b or -161?
-161
Let r be -4 + 3 + 14 + -923 + 1. Which is smaller: -1819/2 or r?
-1819/2
Let d(t) = -t**2 + 11. Let l be d(0). Let g(b) = -19*b + 4*b - l*b + 4 + 21 - b**2. Let v be g(-27). Which is smaller: -3 or v?
-3
Let j = -4315 - -1321. Which is greater: -2/5 or j?
-2/5
Let w = 109 + -71. Let l(u) = u - 2288 + 2048 - 8*u. Let k be l(-40). Is k at most w?
False
Let h be (-1230)/(-9)*(-159)/(-106). Is 208 < h?
False
Let r = 1 - 1. Let f = -12135 + 12135.029. Which is greater: r or f?
f
Let l(u) = 29*u + 9. Let w be l(6). Suppose 678 = 177*i - w*i. Is i bigger than -112?
False
Let n = -125 + 187. Suppose -58*i + n*i = 84. Does 24 = i?
False
Let c = -5225 + 5628. Do 405 and c have different values?
True
Let m = -638 + 640. Suppose 0 + 26 = m*g. Which is smaller: 130/9 or g?
g
Let h be (-1160)/3 - 175/(-105). Let l = -24641/64 - h. Which is smaller: 1 or l?
l
Let y be -4 - 76/(-6777)*357. Is 0 > y?
False
Suppose -8 = 5*l - 2*d, 5*d - 20 = -0*d. Let g = 5280863/96 + -55009. Which is bigger: l or g?
l
Let d be 12/(-18) - (-24)/36. Which is smaller: 23/183 or d?
d
Let v = 16 - -68. Let d = 67 - v. Let o = 16 + d. Is o equal to 0?
False
Suppose 1469 - 1104 = -34*w - 2287. Is w equal to -87?
False
Let o be 1/5*(-4)/46. Suppose 5*p = 5, 0 = -4*v + 5*v - 3*p + 9. Let i(q) = -q**3 - 6*q**2 - 2*q - 12. Let k be i(v). Is k not equal to o?
True
Suppose -9 = 7*x - 9. Let b be ((-9)/(-798))/(186/217). Is x bigger than b?
False
Let x = 106 - 233. Let d = -129 - x. Is d bigger than -0.1?
False
Suppose -2*p - 45*c + 42*c = -32, -5*p + c = -29. Is 166/25 at least p?
False
Let o = -113 + 124. Let w = -11 - -19. Let x = o - w. Which is bigger: x or -6?
x
Let t = -0.031 + 126.031. Let i = t - 127. Which is smaller: i or -42?
-42
Let l = 21 + 7. Is 47 at most as big as l?
False
Let f = -7965 - -7965. Let p be ((-2)/(-758))/(1/(-2)). Is p at least as big as f?
False
Suppose -5*w + 1869 = 4*z, 2268 = 4*w + 4*z + 772. Let x = -33945/91 + w. Suppose 2*g = 5 - 3. Which is greater: x or g?
g
Let y be (((-10)/(-40))/(15/100))/(2/(-90)). Which is greater: y or -1?
-1
Let w = 55 + -53. Let z be (-12)/66 + ((-12)/(-33))/w. Let g be (-4 - 16)/5 - z. Is g > 0.13?
False
Suppose 4*f - 6*f = 32. Let o be ((-9)/12)/(0 - 1132/f). Let n = o + -4224/1981. Is -3 at most as big as n?
True
Let i(t) = -6*t**3 + 5*t**2 - 5. Let a be i(3). Suppose -2*x - 361 = 3*r, 11*r - 3*x + 89 = -1245. Which is smaller: r or a?
a
Let x = -1/16690 - -333883/1385270. Which is smaller: 1 or x?
x
Let k be 4/3 - 1/3. Let p = -1256890/5201 + -38/743. Let n = p + 243. Do k and n have different values?
True
Suppose -o = 29*m - 33*m + 8, -o = 4*m. Do -6382 and m have different values?
True
Let x be 8 + -6 - (21/18)/(2/12). Is 25/2 >= x?
True
Let z(q) = q**3 + 4*q**2 + 3*q + 5. Let a be z(-3). Suppose -2*f - j - j = -16, 0 = a*f + 3*j - 32. Which is smaller: f or -13?
-13
Let m = 13.56264 - 11.56264. Let c = 2 + 25. Suppose -d + 0*d - 51 = -5*t, 0 = 3*t + 3*d - c. Is m at least t?
False
Let z = -21919/19480 - -1/4870. Let x(v) = -v**2 - 7*v - 3. Let p be x(-5). Let r be p/(-14)*0/(-2). Which is smaller: z or r?
z
Let s = -14 + 13. Let w be (-43 - -39)*6*(-1)/s. Let y be (-4)/((-8)/(-3))*w/3366. Which is greater: y or -1?
y
Let d be (860/(-15))/(3/9). Let i = -8425/49 - d. Which is greater: 1 or i?
1
Let f = -1475 + 1444. Which is smaller: f or 17?
f
Let d = 6230 + -6229. Is d bigger than -170/73?
True
Let r = -90.72 - -98.72. Let i = -1 - -0.6. Which is smaller: r or i?
i
Let r = -51 - -28. Let b = -23 - r. Let x = 1038 + -29061/28. Is x at most b?
False
Let r = -6753 + 6757.9596. Let i = 0.0404 + r. Which is smaller: 66 or i?
i
Suppose 0 = -4*x - 0*i + 5*i + 16, 2*x = i + 8. Let q = x + -13/3. Let c = -202 - -202. Which is smaller: c or q?
q
Suppose 0 = 4*f + 2*s - 1210, 5*s - 6 = 9. Let j = 25586/85 - f. Are -1 and j nonequal?
True
Let b be (-15)/(-40)*-54*-4. Suppose -4*v = -a + 64, a - b = 5*v - 0*a. Is -17 <= v?
True
Let v = -18.49 + 16.5. Let w = v + 1.99. Which is greater: w or 21?
21
Let c = -2/681 + 793/38136. Which is greater: -3/8 or c?
c
Let o(x) = x**3 - 13*x**2 + 35*x - 29. Let k be o(14). Let n = 11166/17 - k. Is -0.02 equal to n?
False
Suppose -4*h + 2*l = 14, 7*h - 4*l + 24 = 3*h. Let n be -3 - (-14)/6 - 9. Let q = n + 169/15. Which is smaller: h or q?
h
Suppose 4*z = v + 466 + 743, -4*z + 5981 = -5*v. Is v != -1195?
True
Let o = -333.83 + 2.83. Let q = o + 330.985. Which is greater: -4 or q?
q
Let c = -27867 - -39530. Is c smaller than 11662?
False
Let k(f) = -2*f**2 + 50*f + 188. Let t be k(38). Let b = -818 - t. Let h be (-1)/4*(-3 + 1). Which is bigger: b or h?
h
Suppose -2106 - 171 = 11*o. Let i(b) = -13*b**2 - 93*b + 9. Let r be i(-9). Is r bigger than o?
False
Let u = -6892/9 + 764. Suppose 6*q = 26 + 40. Suppose -12*d - 13 = q. Is d less than u?
True
Suppose 4*t - 5*t - 1 = 0. Let h be 21/(-28) + (-390)/408 + 2. Which is smaller: h or t?
t
Let v = -517 + 1293. Which is greater: 4 or v?
v
Let g(i) = i**3 + 70*i**2 - i + 307. Let f be g(0). Which is smaller: f or 309?
f
Let w = -126 + 166. Suppose -3*a - 3 = -3*x, 2*a - 3*x = -7 + 1. Is w less than or equal to a?
False
Suppose 0 = 5*o + 4*y + 49474, -2*o = -6*y + 2*y + 19784. Let t = -26386/3 - o. Let d = 1111 - t. Which is greater: 13 or d?
13
Let r(s) = -s**3 + 19*s**2 + 2*s - 17. Let z be r(19). Let q be 124/(-31) - z*-6. Are q and 123 unequal?
True
Let d = 195 - 190. Suppose -4*j - 4*s + 86 = -d*j, -3*j + 4*s = 298. Which is smaller: -105 or j?
j
Let v(m) = m**3 + 3*m**2 - 2*m - 4. Let b be v(-2). Suppose 4*y - b = -4*a, 2*a = a + y - 7. Let u be -2 - a - (1 + 1). Is u < -2?
False
Let w = -1355 + 1352. Is 480 greater than w?
True
Suppose o - 6*o = -10. Let i(y) = 9*y**2 + 4*y - 8. Let m be i(4). Let f = m - 8966/59. Which is greater: o or f?
o
Let h = 10 - -42. Let y = h - 51. Let s be (y*4/(-12))/((-1)/(-6)). Do 2/31 and s have different values?
True
Let y = 9455 + -9456. Is y > -1/358?
False
Let q = 20 + -23. Let z = q + 4. Let p = z + -0.98. Is p smaller than 0.1?
True
Let o = -469 + 213. Let g = -255 - o. Is 0.002 smaller than g?
True
Suppose 95*r = 209*r + 456. Are r and -336/73 equal?
False
Let k = 133.06 + -133. Let c = 0.055 - 0.055. Let a = c - -2. Which is bigger: a or k?
a
Let h = -1.9921 - 0.0079. Let b = 81 - -15. Let a be 6/(-10) - (-1 - b/(-90)). Are a and h nonequal?
True
Suppose 5*r = 916 - 66. Let v be 176 + 2/(-8)*20*66/55. Is v greater than or equal to r?
True
Let z be ((-1)/8)/(13/(-104)). Let u be ((-15)/10 - (-93)/126) + z. Let p(x) = 2*x - 3. Let c be p(2). Which is bigger: c or u?
c
Let y(f) = -18*f + 266. Let q be 40/(-24)*108/(-10). Let k be y(q). Suppose 0 = -5*x - 145 - 145. Does k = x?
