aller: g or z?
g
Let z be (-3)/((-21)/(-2)) - 0. Let f = 0.094 + -1.294. Is f at least as big as z?
False
Suppose 11 - 36 = -5*r + 5*q, -5*r = q - 25. Let k(o) = -o**2 - 14*o + 38. Let g be (2*-1 - -4)*(-8)/1. Let w be k(g). Is r at least as big as w?
False
Let g = -3 - -30. Let a be g/2*4/6. Suppose 4*u + 1 - a = 0. Which is smaller: 3 or u?
u
Let n(v) = v**2 + 11*v - 26. Let b be n(-14). Suppose -5 = -2*p + 23. Is b less than or equal to p?
False
Let i be (2/(-4))/(4/(-24)). Suppose -6*y - i = -3*y. Let k be (0/7)/(y/1). Is k < 2/3?
True
Let d = 733 + -679. Is d less than or equal to 55?
True
Let z = 1029012/217 + -4742. Is z at most -2?
False
Let v = -1.27 - -2.27. Is -0.776 less than v?
True
Let z = 180.3 - 194. Let n = z - -8.7. Let c = -3 - -3.1. Which is smaller: n or c?
n
Suppose m + 0*x - 4*x - 4 = 0, 4*x + 28 = 3*m. Let o be 12/9*m/(-40). Let g = -1.4 + 8.4. Which is smaller: g or o?
o
Let k = 49 - -3. Suppose 5*h = -192 + k. Let t be 52/h + 1/(-7). Which is smaller: -3 or t?
-3
Suppose -2*x + 3*l - 72 + 266 = 0, -x + 84 = 5*l. Is 94 at most as big as x?
True
Let j = -778.794 - -779. Is j less than or equal to -3?
False
Let f(p) = -p**2 + 5*p + 16. Let r be f(8). Let l = r - -17. Which is smaller: 17/2 or l?
17/2
Let x = 25354/11 + -2303. Let y(c) = -24*c + 2. Let f be y(0). Is x > f?
False
Let w = -380 - -280. Is -98 bigger than w?
True
Suppose -569*y + 532*y = -14319. Is y equal to 387?
True
Let m = 17457/4 + -4405. Let w = m + 41. Let x = -11/28 + w. Which is bigger: -1 or x?
x
Suppose -6 = 5*z - 1. Let c be (-2232)/(-12222) - (1 + 5/(-7)). Let d = c - -16/2037. Which is greater: d or z?
d
Let z = 96.012 - 96. Let b = 5.012 - z. Is 10 less than b?
False
Let g be -8 - 35/(-5) - (-30 - -1). Let d be ((-2)/g)/((7/6)/(-7)). Which is bigger: 1 or d?
1
Let u = 6/495947 + -15175978266/5455417. Let t = u - -1927748/693. Let c = 1/63 - t. Is 0 != c?
True
Let j = 3.2 + -3. Let o(h) = h**3 + 6*h**2 + 3*h + 5. Let l be o(-4). Suppose 5*q + 4*w - 20 = 0, 8*w - 3*w - l = 0. Does q = j?
False
Let k = 122 + -117. Let y = 11 - 6. Are k and y non-equal?
False
Let g = -640 + 628. Let m = -1.97 - 0.03. Is g > m?
False
Suppose 2*u = -n + 50, -16 = 6*n - 2*n. Which is greater: 184/7 or u?
u
Let h(m) = 4*m**2 - 98*m + 56. Let g be h(24). Which is bigger: 25 or g?
25
Let r be (853/(-285) - -3)/(8/80). Let v = r + 34/57. Let n(y) = y**2 - 5*y - 1. Let b be n(4). Is v smaller than b?
False
Let b = -9 + -10. Let v = 17 + b. Do 14 and v have the same value?
False
Suppose -4*m = 205 - 257. Is m >= 2?
True
Let r be -3 + 3/189 - -3. Let g = 1190 + -1191. Which is bigger: g or r?
r
Let c be (-14)/(-49) - (-300)/(-21). Let z = 15 + c. Is z >= -5/11?
True
Let j(m) = -m**2 - 7*m + 9. Let y be j(-7). Suppose -28 = 5*l - 2*a, -3*l = -2*a - y + 25. Let w = -0.09 - -0.09. Which is smaller: l or w?
l
Let o = 7 + -11. Let x = o - -19. Which is smaller: x or 0?
0
Let x = 32.3 + -31. Let l = x + -0.3. Let y = 1492 + -1492.09. Which is smaller: y or l?
y
Let a = -2493 + 2773. Do a and 282 have different values?
True
Let r = -81926/5115 + 526/33. Which is smaller: -1 or r?
-1
Let s = 1206 + -1207.4. Let q = 4.3 + -0.3. Let r = -3 + q. Which is smaller: r or s?
s
Suppose -6*c + 8*c = 0. Let j be ((-1)/(-15) - c)/((-6)/(-10)). Do j and -1 have the same value?
False
Let b = 258 - 301. Which is smaller: 7 or b?
b
Let d(k) = k**3 + 70*k**2 + 265*k + 13. Let i be d(-66). Is i smaller than -28?
True
Suppose r + 2*r - 135 = 0. Suppose -2*x - 3*y = 1, 2*x + y - r = 7*x. Let q = x + 9. Which is smaller: q or 3/7?
3/7
Let f be -7 - (-3 - -3) - -8. Is f greater than or equal to 15/16?
True
Let g = 18.67 + 0.33. Let w = -12 + g. Which is greater: w or -0.9?
w
Suppose -1 - 203 = 12*n. Do -24 and n have different values?
True
Let b = 4690/17 - 276. Is 2/3 bigger than b?
True
Suppose 3*g = -2*g + 10. Let y be g/(16/258) - 17/68. Is y bigger than 31?
True
Let r = 33 - 36. Suppose 13*p = 15*p + 8. Which is bigger: p or r?
r
Suppose v = -27 + 4. Let l = 21 + v. Is l less than -3?
False
Let c be (-48 + 50)*1/(-24). Is c less than -3/55?
True
Let c(h) = h**3 + 5*h**2 - 5*h + 13. Let n be c(-6). Let b be (-79)/7 - 1/(n/(-2)). Which is greater: -8 or b?
-8
Let i(x) = 2*x - 10. Let r be 3/((-21)/(-6) - 4). Let n be i(r). Are -21 and n non-equal?
True
Let a(u) = -u**3 + 5*u**2 + 3*u. Let f be a(3). Is f >= 131/5?
True
Suppose 10 = -2*y, -c = -2*y + 66 - 12. Is c greater than or equal to -65?
True
Let m = -9 - -11. Suppose s - 1 - m = 0. Suppose -i + s*i = 18. Which is greater: i or 8?
i
Let c = -166.9 - -167. Is -19.8 greater than or equal to c?
False
Suppose 8*l - 1395 + 235 = 0. Is l < 144?
False
Let f be 51/(-15) + (-3)/5. Let u be 2/(6/(-3))*-3. Suppose 0*t - 9 = u*t. Which is smaller: t or f?
f
Let p(g) = -24*g**2 - 17*g - 27. Let q be p(-5). Is q bigger than -543?
True
Suppose 2*y + 2*t + 15 = -23, -3*y - 73 = -5*t. Which is smaller: -26 or y?
-26
Suppose 2*m - 4 - 45 = -c, 5*m = 4*c + 90. Let a be 78/(-187) - (-4)/m. Suppose 5 = -4*z + 1. Which is greater: z or a?
a
Let s be 1/(-6) + 1183/(-39) + 16. Is -15 greater than or equal to s?
False
Suppose 89*r = 93*r + 36. Which is bigger: r or -2/17?
-2/17
Suppose -5*f + 187 = 3*k, 0 = 3*f - 3 + 15. Let w = -110 - -62. Let z = k + w. Do z and 21 have different values?
False
Suppose 86 = -2*l + 3*a - 57, 5*l = -2*a - 329. Is -65 greater than l?
True
Let o = 26.96 + -28. Let a = -0.94 - o. Which is smaller: 24 or a?
a
Let n be 2*(6/(-4) + 2). Let m be (-2)/4*24/(-246). Is m > n?
False
Let n be 6/(-54)*2*3. Is n bigger than 29?
False
Let y = 22 + -23. Let h = 23 + -15. Which is greater: h or y?
h
Let w be 42/12 + -3 - 73/(-6). Suppose 4*p = -2*y + 14, y + p - 3*p = 19. Is y equal to w?
False
Suppose 4*w + 5*x = -0*w - 18, 0 = -2*w + x - 16. Let d be 228/(-30) + 6/3. Are w and d non-equal?
True
Let b(z) = 88*z**2 - 2*z + 1. Let y be b(1). Let c = y + -89. Let i(p) = -p - 4. Let x be i(-2). Is x >= c?
True
Let i(x) = -x**3 - 14*x**2 + 2*x + 16. Let c be i(-14). Which is smaller: c or -9?
c
Let f(d) = 13*d - 11*d**2 - 4 + 8 + 13*d**2. Let k be f(-4). Which is greater: k or -17?
k
Suppose -535 = -3*m + 8*m. Let r be (-45)/75 + m/(-20). Do r and 4 have the same value?
False
Let h be -243*(-11)/363*2/6. Which is smaller: h or 1?
1
Let x = -301 - -299. Let g(c) = -c**3 + 4*c**2 + 6*c - 3. Let a be g(5). Let n be a/(-5) - (-22)/80. Does n = x?
False
Let c = -125/4 + 30. Let o = 377 + -373. Is c != o?
True
Suppose 65 = 2*a + 3*a. Let q = 7 - a. Let y = 18 - 23. Are q and y equal?
False
Let z(m) = m**3 - 7*m**2 - 9*m + 4. Suppose 8*w - 4*w = -v + 28, v = 3*w - 7. Let d be z(v). Is -13/4 at least as big as d?
True
Suppose 5*y - 10 = -5*b + 20, 5*y = 5. Let q be (30/(-72))/(b/(-2)). Is 3/4 bigger than q?
True
Suppose -i - 2*f = -19 - 11, 0 = -4*i + 3*f + 65. Is 18 at most as big as i?
True
Suppose 15*l - 303 = 12*l. Let c = -80 + l. Which is smaller: c or 19?
19
Let i = 83 - 69. Suppose 3*s + 4*o + 7 = i, 5*s - 3*o = -27. Which is greater: -8 or s?
s
Let n = 368 - 369. Which is bigger: 1/8 or n?
1/8
Suppose -4*z = -z - 3. Let s(a) = -a**3 + 7*a**2 + 7*a + 2. Let d be s(8). Let t be d + 8 - 1*4. Is z greater than t?
True
Let k = -37 - -39. Suppose -q = -2*g - 0*q + 1, 2*g = 2*q + k. Let m = -8 + 7. Are g and m equal?
False
Let b = -333601/42 - -7944. Let u = 3/14 + b. Let a = 0.8 + -1. Is a >= u?
False
Suppose -y + o + 4 = 2*y, -3*o = -2*y + 5. Which is greater: y or 5/32?
y
Let q be (-167)/2 + -2 + 20/8. Let k = -94 - q. Which is greater: k or -13?
k
Let g(n) = n - 3. Let l be g(4). Let t = -14186 - -14192. Is t less than l?
False
Let d = 0.014 + 33.986. Let o = -65 + d. Let g = -22 - o. Are g and 0 nonequal?
True
Suppose -6*g - 38 - 34 = 0. Let r = -36 - g. Which is greater: r or -25?
r
Let j = -2 - -16. Let r be 44/(-6)*(-21)/j. Is r less than 11?
False
Let s be (0 + 2)*88/16. Is s equal to -3?
False
Let i = 16 - -1. Is 55/3 equal to i?
False
Let k = 92.4 - -13.6. Let z = k + -106.094. Is 0 greater than z?
True
Let h(s) = -5*s - 14. Let m be h(-3). Which is smaller: m or 12/113?
12/113
Let f = -39 + 24. Let w be f/6*(-2)/120. Which is bigger: 1 or w?
1
Let y(u) = -1 + 2 - u**2 + 9 - 11*u. Let k be y(-10). Let c be 8/k + 2/(-2). Does c = -2?
False
Let h be 