aller: h or u?
h
Let z = 624 + -617. Suppose z*k + 470 = -650. Is -159 != k?
True
Let n be (2/(-1) - 17)/(-5). Let m be (1/(28/80))/(10/35). Suppose 10*s - 12*s + m = 5*z, 5*z + 10 = 2*s. Which is bigger: n or s?
s
Suppose 0 = -y - 10*a + 12*a + 3, 0 = -4*y + 4*a + 8. Let v be 2 - (-2)/((-452)/451). Which is bigger: v or y?
y
Let y be (100776/25206)/4 - (-6 - -7). Which is bigger: y or -1?
y
Suppose 11958 = 25*f - 2667. Suppose 5*o - f = 260. Does 168 = o?
False
Let n = -660577/827700 + 99/124. Are -1 and n non-equal?
True
Let h be 9 + (-1)/1*3 - 132258/47. Is h bigger than -2807?
False
Let c(h) = 139*h + 23. Let u be c(-2). Let i = 183 + u. Which is greater: i or -71?
-71
Let h be (((-12)/45)/(2/783))/(573/(-1910)). Which is greater: 340 or h?
h
Let q be ((-46)/(-10) - 5)/((-2)/(-20)). Let c be (-22 - -19)*2/6. Let h be 0 + (q - -2)*c. Which is bigger: h or 18/11?
h
Let g = -9 + 23. Let x be g/(-12)*2 - -2. Let q = -4830 - -4816. Is q bigger than x?
False
Suppose 0 = -0*o + 3*o - c + 1139, -5*o = 4*c + 1904. Let r be (-55)/o + 6/57. Is r greater than or equal to 16?
False
Let l be (102/(-15) - 0)*-10. Suppose 3*z - 86 = -4*y + l, -4*y + 158 = 5*z. Suppose -199 = -6*b - 5*n, -18*n = -2*b - 17*n + 85. Which is smaller: y or b?
y
Let u(h) = 113*h**3 - 9*h + 11. Let o be u(3). Suppose -24*z - 83 = -o. Is z >= 124?
False
Let r(g) = 20*g - 1483. Let i be r(44). Is i bigger than -604?
True
Suppose -37 = 5*o + 88. Let v be ((-115)/o)/((-3)/(-15)). Suppose 74 = 5*x - 2*r - 49, x - 3*r - 35 = 0. Is x <= v?
True
Let o(m) = -14*m**2 - 11*m - 9. Let j be o(-5). Let h be (-6)/9 + j/(-24). Let u = 28 - 18. Which is smaller: u or h?
u
Let a(u) = -105*u + 1681. Let j be a(16). Is j < 68/71?
False
Let z = 0 - 1. Let k be (-75)/(-245)*((-26)/26)/(-1 - 0). Which is greater: k or z?
k
Let w be (0 + 6)/3 + (126 - 133). Is 616 < w?
False
Suppose v - r - 2 = r, 2*v + r = -1. Let l be 392/(-104) - (-1 - v). Which is smaller: l or -2/9?
l
Suppose 0 = p + 3*p - 36. Suppose 0 = p*r - 5*r + 8684. Let q be r/(-364) + (-1)/4. Are 6 and q equal?
False
Suppose -2*r - h = -2*h - 13, 2*r - 1 = -3*h. Let g be (-2)/r - (-201)/465. Suppose -37*x - 12 + 12 = 0. Is g equal to x?
False
Suppose -2*y - 2*y - 64 = 0. Let p be (y/(-3))/(-2)*(-27)/(-6). Let d be ((-6)/p)/(1 + 17/(-16)). Is -9 < d?
True
Suppose 8*o - 375 = 3*o. Let s = o - 36. Let j = -13928 - -13968. Which is greater: j or s?
j
Let g = -2463 + 2459. Which is bigger: g or -56?
g
Let c be (26/65 - -2)*1130/(-4). Which is smaller: c or -671?
c
Let a = -17553 - -17553. Which is greater: -243.1 or a?
a
Let y be 0 + 2/(52/6). Suppose -56 = 732*u - 728*u. Let i(j) = -3*j**2 - 43*j - 15. Let w be i(u). Which is bigger: w or y?
y
Let o = -9666/13 + 744. Which is smaller: 44 or o?
o
Let m = 1249.06 + -1249. Let f = 0.06 + -3.06. Let t = f - -2.8. Which is greater: t or m?
m
Let c = 37 - 40. Let f be ((-2)/c + 1)*3. Suppose -4*k + 1 = o - 2, 3*o - f*k + 59 = 0. Which is bigger: o or 0.1?
0.1
Let i be 6/12 - (-207)/(-6). Suppose 4*j + p + 107 = 0, 31*p - 51 = 2*j + 32*p. Is j <= i?
False
Let k be (-5)/30*-6 + 12/(-13). Let b(o) = 4*o - 32. Suppose -g - 5*w = -0 - 13, 0 = w - 1. Let v be b(g). Which is smaller: k or v?
v
Let b = 164957/3 + -53486. Let o = b + -1522. Are -23 and o unequal?
True
Let g = 52/139 + -1233/695. Let h = -2.3 + 1.4. Let w = 1 + h. Is w equal to g?
False
Let o = -273 + 289. Let m be (o/3)/((-5)/(-15)). Is 15 greater than m?
False
Let j = -3.0826 + 0.0326. Let i = j + 3.05. Which is bigger: i or -267?
i
Let v(s) = -30*s + 4. Let l be v(1). Let i = l + 22. Let w(a) = -a**2 - 4*a - 8. Let y be w(i). Are y and -44/5 equal?
False
Let l = -1.7 + 2.46. Let i = 192.26 - 158.5. Let x = i - l. Which is greater: 0 or x?
x
Let d(j) = j**2 + 15*j + 48. Let t be d(-4). Suppose -t*o = -458 - 750. Which is greater: 303 or o?
303
Let u = -88.4 - -90.4. Does u = -0.2916?
False
Let j be (-2*(-1)/(-5))/(145156/220 + -5). Do j and 4 have the same value?
False
Let f = 215.865 + 0.135. Let n = 215.7 - f. Let p = 16 + -11. Is n != p?
True
Suppose 9*h = 2*h - 7. Let b be 3*2 + 72/(-18). Let l be -2 + (5 - h)/b. Is l at most 27?
True
Let h = -4421 - -10191. Does h = 5770?
True
Let t be (-8)/(-6)*343899/188. Which is greater: 2438 or t?
t
Let f = 2000503/11928 + -1/1704. Which is greater: 168 or f?
168
Let g be (141 - 139)*(6/4)/(-1). Which is bigger: g or -114/35?
g
Let f = -470/3 - -156. Let s = 0.44 - -19.56. Let n = s + -19.9. Is n at most f?
False
Let v = -25 - -75. Let i = v - 7. Let k = i + -45. Which is bigger: k or 3?
3
Let i be 18/(-45)*6/2883. Is 0 <= i?
False
Suppose 2110 = -2*d + 5*y, -4*y + 2116 = -1180*d + 1178*d. Which is greater: d or -1069?
-1069
Let f = -8671 + 8685. Let y be 507/42 + 2/4. Which is greater: y or f?
f
Let z(s) = -33*s**2 + 15. Let l be z(5). Let i be (-1 - (-16)/15)*l/324. Is i equal to -1?
False
Let j = -72 - -48. Let i be (764/(-66))/(-1)*j. Let t = i + 278. Is t less than or equal to 0?
False
Let m = 143551 + -143726.846. Let a = 176 + m. Let g = -0.054 + a. Is 17/4 > g?
True
Let u be (-158)/4 - (-1)/6*3. Let l be (3/u)/(6/(-420)). Is l smaller than 6?
True
Suppose -f + 4*f - 7 = -5*l, 4*f = l + 17. Let b be (-7)/f - (15 + -17). Let n be 2/(-3)*(-23 + 32). Which is smaller: b or n?
n
Let l(z) = -930*z - 3 + 938*z - 5*z**2 + 4*z**2. Let c be l(8). Do -7 and c have different values?
True
Let b = 899 + -905. Let z be 6/180*(b + (-9)/(-6)). Let x(g) = g - 6. Let s be x(5). Which is smaller: z or s?
s
Let v be (-95)/(-2) + (-3)/(-6). Let z = 22 + -54. Let r(g) = 12*g + 432. Let w be r(z). Is v less than or equal to w?
True
Suppose 2 = -2*b + 4. Let t = -41006 - -1804265/44. Which is smaller: b or t?
t
Let c = 122.4 - 119.4. Do c and -441 have different values?
True
Let q(n) = 3*n + 111. Let b(c) = -5*c - 220. Let f(m) = 2*b(m) + 5*q(m). Let z be f(-23). Let w = -17/106 - -61/4346. Which is bigger: z or w?
z
Let q be 2/(-19) - ((-34705)/285 - 11). Let a = q - 132. Is 0 less than or equal to a?
True
Let v be (40/(-16))/(1/(-2)). Let j(s) = 5*s + v*s - s**2 + 5 - 16*s + s. Let c be j(-6). Which is smaller: c or -2.2?
-2.2
Let o(u) = 259*u - 8811. Let g be o(30). Is -1041 >= g?
True
Let z = 44 + -39. Suppose z*k = 2*k + 147. Let l = -60 + k. Is -14 equal to l?
False
Let r be (-62)/(-16) - (6 + -2). Let t be ((-4)/8)/(21/(-2) + 10). Is r >= t?
False
Suppose 3*n - 200 = -179, 0 = -4*o + 2*n - 2882. Do -716 and o have the same value?
False
Let q be 1*(-4)/12*3. Let y be (-2)/8 + (98/(-8))/q. Suppose -x = 3 - y. Do x and 12 have the same value?
False
Let r = -225707207/961 - -234867. Are 0 and r non-equal?
True
Let l(o) = -o**3 + 36*o**2 + 14*o - 417. Let k be l(38). Which is greater: -2770 or k?
-2770
Let u(g) = -23 - 452*g**2 + 936*g**2 - 467*g**2 - 3*g. Let p be u(4). Is 237 less than p?
False
Let x be 0 - ((-4)/(-2) + 1). Let v be -92*(10/2 - 3). Let g be (-1)/((-12)/9 - v/120). Which is smaller: x or g?
g
Let v be 5899/(-23756) - (1826/88 + -21). Which is greater: v or -1?
v
Let z be (12/46470)/(2/10). Which is bigger: -1 or z?
z
Let l be -5 - (1 - 1 - 3) - 146340/(-73167). Which is smaller: -1 or l?
-1
Suppose -g = -y + 54, -2*g - 5*y = g + 154. Let k = g - -54. Suppose -3*o - 18 = z, 2*o + 12 = -2*z + z. Which is smaller: o or k?
o
Let f = 7101 + -7133.8. Does f = -2/9?
False
Let u = -339.1 - -338.9. Which is greater: u or 3/17?
3/17
Let c(x) = 6 - 10*x + 11*x - 3. Let o be c(-2). Which is smaller: -16/3 or o?
-16/3
Let g = -1407 + 433359/308. Let q = 701/308 + g. Suppose -10 = 3*u - 13. Is u less than or equal to q?
True
Suppose 0*z + 11 = -5*z - 4*w, -z - 6 = -3*w. Let x be (z - 0 - 0)/(6/398). Is x != -199?
False
Let m be (-37040)/(-48) + 6/18. Which is smaller: m or 773?
m
Suppose -5*u + 26 = -54. Let z = u - 13. Suppose -z*g = -8*g + 5. Are g and 1 non-equal?
False
Let p = -74 + 61. Let u(n) = n**2 + 7*n + 6. Let r be u(-6). Suppose 4*o + 0*s = 2*s + 4, r = -2*o + 5*s - 6. Which is smaller: o or p?
p
Let g(n) = 2*n - 11. Let h be g(7). Suppose 4*y + 3*a = -82, 10*y - 7*y + h*a = -60. Which is smaller: -21 or y?
y
Let i(f) = -139*f**2 + 45*f + 241. Let j be i(-5). Which is smaller: j or -3460?
-3460
Let w = 1919/2 + -938. Let m = w - 19. Which is smaller: m or 3?
m
Let v = 451 + -451.1. Let t = -