1. Let o be 3/(-3)*10 - -1. Let u be x(o). Which is smaller: 1/190 or u?
1/190
Let t = 2694 + -2694. Let z be -84*((4 - 1) + 2). Let l = -42003/100 - z. Is t less than or equal to l?
False
Let f = 84 - 90.4. Let p = 6.4 - 5. Let c = p + f. Is 1 greater than c?
True
Let r be (-7)/(-35)*(-147)/84. Is 3 equal to r?
False
Suppose -21*c - 8984 = 10147. Are c and -910 nonequal?
True
Let r(i) = i**2 - 3*i - 4. Let d be r(4). Suppose -4*a + 9815 = 5*p - 9*a, -2*p = -5*a - 3911. Let b be (-1)/(5070/p) - 6/(-15). Is b at most as big as d?
False
Suppose 0 = -86*q + 96*q - 80. Let n be (-3)/(-9) - (742/(-105) + q). Which is smaller: 2 or n?
n
Let d = 4772 + -548774/115. Which is greater: -0.3 or d?
d
Let d = -64.023 - -64. Let o = -0.717 + 0.69. Let n = o + d. Is -0.1 bigger than n?
False
Let w = -0.5 + 7.1. Let j be (-78)/63 + 56/98. Which is smaller: w or j?
j
Let o(p) = p**3 - 26*p - 30*p**2 - 25 + 127*p + 4*p. Let i be o(26). Is -6/47 <= i?
True
Suppose 0 = -2*t + 4*y + 36, 0 = -0*y + 3*y + 9. Suppose t*l = 7*l + h - 5, -h = -3*l - 3. Is 1/4 less than or equal to l?
False
Let i = -40.88 - -40.41. Which is greater: 0.2 or i?
0.2
Let z(m) = -m**2 + 44*m - 459. Let b be z(17). Suppose 2*t - 5 = 19. Let i be (-3)/t + (-9)/(-16). Is i less than or equal to b?
False
Let l = -117/73 - -2881/1752. Which is smaller: -0.1 or l?
-0.1
Let k be (-32)/(-14) - (-6)/(-21). Suppose 0 = c - 2 - k. Suppose 0 = 3*b - 4*w + 7, -233*b + 231*b = 4*w - 62. Which is bigger: b or c?
b
Let m(r) = -r**3 - 85*r**2 + 366*r - 39. Let v be m(4). Let k = -1 + 0. Which is greater: k or v?
v
Let d = -1/742 + -739/2226. Which is smaller: d or 4234?
d
Let x(b) = 14*b - 4. Let u be x(3). Let s be ((-105)/28)/((-489)/480 + 1). Suppose i - 2*i - s = -5*r, 5*i = 4*r - 181. Is r bigger than u?
True
Let f be 1934/(-2344) - 9*23/(-276). Do f and 1 have different values?
True
Let y = -11.4 + 11.4. Let a = -13025 + 39493/3. Let d = a + -137. Which is smaller: y or d?
y
Let o be (32/(-44))/1*(-74)/(-70). Let b = 3/55 + o. Which is smaller: b or -2?
-2
Let a be 695*((-42)/(-35))/3. Let y be (-1 - (-1 - 4))*139/2. Is y >= a?
True
Suppose 6*z - g - 1711 = 10*z, g - 851 = 2*z. Let f = z - -425. Is f < 1/8?
True
Let c be 2 - 1/3 - -12. Let q = 776/57 - c. Which is smaller: q or -1?
-1
Let h be (440/(-25))/(6/(-600)). Let l be 8 + (-8 - h/(-56)). Which is bigger: 30 or l?
l
Let x(i) = 361*i**3 - i**2 - 2*i - 5. Let j be x(2). Which is smaller: 2874 or j?
2874
Let j be 6 - (13 + -11 + 10). Suppose -4*m = 5*t + 16, -2*m + 5*t + 5 = 13. Which is smaller: j or m?
j
Let a = 27375/85036 - 3/6074. Let v(l) = l**3 + 4*l**2 - l - 3. Let j be v(-4). Which is greater: a or j?
j
Let f = 138050 + -1932699/14. Let r = -34/13 - -196/65. Are r and f non-equal?
True
Let y be (-96)/(-30)*(-15)/6. Let w be ((-21)/45*6)/(15/50). Is w < y?
True
Let i(x) = -x**2 + 20*x - 6. Let l(w) = w**3 - 9*w**2 + 8*w + 18. Let j be l(8). Let v be i(j). Let d = v + -34. Is d != -12?
True
Suppose -1355 + 2307 = -111*w - 3266. Is -46 less than or equal to w?
True
Suppose 1109 + 3543 = -5*u - 3*l, -2*u + l - 1863 = 0. Let f be (6/(-21))/(7/u). Which is greater: 77/2 or f?
77/2
Suppose -1755 = -5*b - 10875. Let j = b + 7331/4. Let d be 113/565 - 39/(-5). Which is smaller: d or j?
d
Let h(z) = z - 1. Let q be h(6). Suppose -q*a + 23 - 73 = -2*w, -a - 2*w = 22. Let y be (-3)/7*(0 + 5 + a). Is 28/15 bigger than y?
False
Let b = -3194.7 + 1852.7. Is b at most as big as -0.03?
True
Let k = 85 - 248. Let q = k + 162.4. Which is smaller: 15 or q?
q
Let s be 1 - (374/(-12))/(-11). Let c be (1 + (-105)/6)*4 - 3. Let h = -71 - c. Is h less than s?
True
Let y = -2.0955 + -0.0845. Let o = y + -2.82. Are 0.06 and o equal?
False
Suppose -3*c - 4*a = 271, 58 = -11*a + 14. Is c less than -84?
True
Let x = -184 + 198. Suppose -x*i = 33*i. Which is smaller: i or -1/439?
-1/439
Let l = 155 + -617. Let n = 266 - l. Suppose 8*o - n = 22*o. Which is greater: o or -51?
-51
Suppose 2*n = -5*q + 44 - 6, 5*n = -2*q + 32. Let j be (-1*q/4)/((-48)/160). Let z = 4 - j. Is z <= 0?
True
Let s = 96182/17 + -5664. Are s and -7 equal?
False
Suppose 3566*x - 3583*x - 2278 = 0. Which is smaller: x or -71?
x
Let y be ((-6)/(-9))/1 - (-68)/6. Let r be ((-48)/6 - -4) + y. Suppose -3*n = 3*h - h - 34, -2*n - 36 = -4*h. Is r smaller than h?
True
Let y be ((-5)/(-75))/((-15)/66). Let j = 140 - 139. Which is bigger: y or j?
j
Suppose 3*n - 74 + 71 = 0. Which is greater: 9/136 or n?
n
Let u = 16.06 + 0.14. Let j = -17.2 + u. Let o be ((-1)/2)/((-1)/2). Is o less than j?
False
Let f = 42 + 102. Let c = -135 + f. Which is smaller: c or -2/37?
-2/37
Let g = 74 - 21. Let u = g + -55. Is u at least as big as 9?
False
Suppose -15 = -5*b, 2*m - 2*b = -5162 - 272. Let w be (m/115)/(3/(-5)). Is 38 > w?
False
Suppose 7*a - 5*a = 50. Suppose 5*w - 5*c = w - a, 3*w - 4*c + 20 = 0. Is 29 greater than or equal to w?
True
Suppose -78*p = -105*p. Which is smaller: p or -44/325?
-44/325
Let y be ((-8)/(-6) + -1)*320/(-72). Let q = 1833 - 1833. Which is greater: y or q?
q
Let m = 2 - -22. Let z be -3 + 14/4 + (-6)/m. Which is smaller: 4 or z?
z
Let u = 0.06174 - 4.06174. Is u at least as big as 1042?
False
Let c = -1553.5 + 1497.5. Which is smaller: 5/11 or c?
c
Suppose 0 = -43*j - 60*j - 45*j. Let f be ((-644)/216 - -3)*-31. Let w = -6239/10962 - f. Is w > j?
True
Let j = -13 + 2. Let w(a) = -a**2 + 21*a - 64. Let n be w(18). Which is smaller: j or n?
j
Let p = -132.9 - -12.9. Let b = p - -130. Which is greater: -7 or b?
b
Let w = 20 - -4. Let n be 5 + (-3 - 3568/w). Which is bigger: n or -146?
-146
Suppose 2*r - 3*i = 18, -7*r + 36 = -3*r - 2*i. Let l be ((-3)/r)/((-8 + 1)/7). Which is smaller: 3/5 or l?
l
Let j be -3*3/((-45)/20). Suppose -2*l - 2*y + 112 = 0, -y + j*y - 48 = -l. Let z be l/9*-3 - -4. Which is greater: z or -1?
-1
Suppose -5*b + 5 = -5*q, 524*b - 522*b = -3*q - 3. Is b at least as big as 9/154?
False
Let y = 1355841/131 - 10350. Which is smaller: -2/9 or y?
-2/9
Suppose 5*l + 3*m - 141 = l, 0 = -3*l + 5*m + 113. Let i = l - 36. Let d(c) = 2*c - 1. Let v be d(i). Which is smaller: -2/333 or v?
v
Let n be (4 - (2 - 4/(-2)))/2. Let s = 3.4 + -4.08. Let w = 0.18 + s. Which is greater: w or n?
n
Let y be (34124/(-24) + -6)*6. Is y at least as big as -8569?
True
Suppose 187 = 39*y - 203 - 195. Is y >= -4?
True
Let u = -10402/529 + -127887991/39675. Let q = -3243 - u. Which is greater: q or 0?
q
Suppose -19*o + 15*o = 30*o. Let k(h) = -h**2 + 6*h - 1. Let g be k(4). Let x be (-223)/28 + (-2)/g. Do o and x have the same value?
False
Let j = 35 - 127. Let q = 91 + j. Let y(t) = -t**2 + 2*t + 7. Let c be y(4). Is c > q?
False
Let i(u) = -59*u**2 + 43*u - 186. Let r be i(7). Is r at most -2777?
False
Let w = -6385182/17 + 375734. Let x = w - 135. Which is greater: x or -1?
x
Let j = -289 + 275. Let b be (-5 + 270/55)/((-2)/j). Is 0 >= b?
True
Suppose -1 = o + 4. Suppose -2513*c + 2507*c + 66 = 0. Let x = c - o. Is x not equal to 16?
False
Let p = -59 + -57. Let o = p + 100. Do -14 and o have the same value?
False
Suppose 3*k = -4*t + 1396, -4*t + 2*t + 696 = 2*k. Suppose 5*n = -x + 550, 0 = 3*n - 4*x + 9*x - t. Let h = -127 + n. Is -1/6 at least h?
True
Let o = 44.76 + -42.76. Is o >= -1030/7?
True
Suppose 3*z = -4*t + 108 + 31, 4*z - 202 = -2*t. Let r = z + -65. Let n be (-2)/(8/r) + -4. Are n and 1/48 nonequal?
True
Let u be 15*8/12 + (51 - -9088). Which is greater: 9148 or u?
u
Suppose h - 14 = 4*a, -3*a + 30 - 73 = -4*h. Let b = 910 - 50963/56. Is a <= b?
True
Suppose -z - 1 = -2. Let v be 0 - (-3 - -3)/(1 + 1). Let j be (-2 - (1 + v))*6/153. Is j < z?
True
Suppose 3*m + 431*i = 435*i - 9, -i + 3 = 0. Is m less than or equal to -2/4429?
False
Let z = -5766.7 - -5768. Which is smaller: -11 or z?
-11
Let z = 506 + -510. Suppose 0 = -5*c + 21 - 51. Is c >= z?
False
Let a(x) = -9*x**3 + 38*x**2 - 54*x + 127. Let b(k) = 4*k**3 - 19*k**2 + 28*k - 63. Let q(h) = 3*a(h) + 7*b(h). Let f be q(17). Is f bigger than -62?
True
Let o = 11401.79 + -11451. Let i = 0.79 - o. Let m = 49.9 - i. Which is smaller: m or 1/4?
m
Let f be (-6)/((((-4814)/(-12))/(-29))/(8/(-6))). Which is bigger: 0 or f?
0
Let k be (-4)/16 + (-487)/(-1220). Let q = 3/61 - k. Let o be 124/682 + (-2)/11. Is o less than or equal t