 smaller: n or u?
n
Let r be (32/(-56))/((-198)/63). Which is smaller: r or 41?
r
Let t be (-6 + (-324)/(-63))/((-3)/7). Let p = 500/2169 - 2/241. Is p bigger than t?
False
Let o be 1*(7 + (-18)/6). Which is bigger: 24/7 or o?
o
Let b(i) = -i**3 - 16*i**2 - 30*i + 38. Let y be b(-15). Is 264 greater than y?
True
Suppose -1 = -3*f - 2*z, 4*z - 3 = -5*f - 0*z. Is f >= 5/92?
False
Let b be ((-30)/12)/(((-1)/8)/(-1)). Which is bigger: b or -102/5?
b
Let s be (-370)/152 + (-100)/80. Is s greater than -5?
True
Let n(g) = -8*g + 224. Let i be n(28). Is -4/203 at least i?
False
Let z = 11884 - 11871. Let y = 14 - -1. Is y less than z?
False
Let v = -984.453 - -984. Is v <= -0.1?
True
Let f(p) = -p**3 - 4*p**2 + 8*p + 8. Let s be f(-5). Let h be (-5)/s - (-4)/14. Is -0.43 smaller than h?
True
Let o(d) = -d**3 - 6*d**2 + 6*d - 1. Let x be o(-7). Let m = 20 + -20.045. Let s = m - -0.245. Is s >= x?
False
Let z = 310.2 - 310. Is z smaller than -0.8?
False
Let y(w) = -32*w**3 + 1. Let u be y(-1). Let g be 37*1 + -27 + 24. Which is greater: g or u?
g
Suppose 0*b = -b - 39. Let s be 3/2 + b/18. Let o be 328/(-104) + (-18)/((-24)/4). Do s and o have the same value?
False
Let r = -4.3 + 4.4. Which is smaller: -0.07 or r?
-0.07
Let h(m) = -m**3 + 6*m**2 + 3*m + 20. Let b be h(7). Let g be -6 - 3*3/9. Which is smaller: b or g?
b
Let k = -0.062 + 0.133. Let y = k - -0.129. Does y = 1/25?
False
Let k(x) = x**2 - 8*x - 1. Let m be k(6). Suppose -8 = -y - 19. Is y smaller than m?
False
Suppose 29*p - 18*p - 2090 = 0. Is 190 at least p?
True
Suppose 3*l = -2*c + c - 122, 2*l = -c - 124. Which is greater: c or -129?
c
Let q = -498 + 16925/34. Is q greater than or equal to 1/5?
False
Let h = -253 - -253. Suppose 3*x = -4*z - 101, -5*x + 3*x - 4*z - 66 = 0. Which is smaller: h or x?
x
Let m be (-3)/6*(-4)/6. Which is greater: 1 or m?
1
Let n be ((-1071)/567)/((-2)/192*-1). Is -182 at most as big as n?
True
Suppose -5*y + 3*y = -6*y. Let p be y/(9 + -5) + (1 - 3). Are p and -3 unequal?
True
Let i(w) = 5*w - 78. Let j be i(16). Is 1/2 equal to j?
False
Let t = 211 - 361. Does t = -150?
True
Let w = 228 + -226.45. Is w less than 0?
False
Suppose 0*f + 4*f + 916 = 4*k, -5*k = 3*f - 1113. Let u be (k/(-20))/(0 + -6). Do u and 2 have different values?
True
Let y = -159 - -133. Which is bigger: y or 0.1?
0.1
Let f = -3.7 + 0.1. Let o = -3.6 - f. Which is greater: -4 or o?
o
Let u = -67.1 - 4.9. Let m = u - -78. Which is smaller: m or -1/2?
-1/2
Let o = -2 - 2. Let g = -210897/19895 + 2/3979. Let q = g + 10. Are o and q nonequal?
True
Suppose -r - 144 = 3*r. Let h be ((-16)/r)/((-28)/(-6)). Let n(i) = i**3 + 14*i**2 - 32*i - 1. Let j be n(-16). Which is smaller: j or h?
j
Suppose 10 = 3*l + 2*l. Let r(b) = -3*b + 25. Let w = 7 - -1. Let o be r(w). Is o greater than l?
False
Let z = 8.98 - -0.02. Let j = -6 + z. Let h = 295/3 + -98. Which is bigger: j or h?
j
Let g be (-21)/(-9)*(0 - 3). Let i be 9/6*4/3. Suppose 5*p + 3*f = -33, -p + i*p + 2 = 4*f. Which is greater: g or p?
p
Let q = -2.63 + 12.43. Let y = -0.05 + 0.85. Let r = y - q. Which is greater: r or 1/3?
1/3
Let n = -1 - -1. Let r = -207.1 + 225.1. Which is greater: r or n?
r
Let z = -0.3 - -0.4. Is z greater than 153?
False
Let o be (-40)/45 + (-114896)/(-144). Is o at least as big as 796?
True
Let x be 1*(-7)/(21/978). Let f = -1/99301 + 227002093/695107. Let d = f + x. Which is bigger: 1 or d?
1
Let o = 1121 + -1275. Which is smaller: o or 0?
o
Let v(y) = -14*y + 1. Let l be v(-2). Suppose -51 = t - 35. Let q be (-12)/t + l/(-28). Are q and 0 equal?
False
Suppose 5*p - 2*p = 4*n - 17, 4*n = p + 11. Suppose -4*k = -25 + 5, -v = n*k - 9. Is -1/12 greater than or equal to v?
True
Let t(s) = -7*s + 10*s**2 - 3*s - 4*s**3 + 5*s**3 + 18*s - 8. Let a be t(-9). Which is bigger: 1/2 or a?
a
Let s = 2.522 + -0.522. Is 467 >= s?
True
Suppose 1 = 4*v - 3*v. Let s be -3 + (9525/55 - (-2)/(-11)). Let m = s + -1184/7. Which is smaller: v or m?
m
Let t be 2 + -1 + (-1 - 9). Let h = t - -9. Is -2/5 less than h?
True
Suppose 0 = 22*x - 21*x - 4*p + 20, x - p + 8 = 0. Is x at most as big as -6?
False
Let u = -1 + 2.3. Let c = 1.2 - u. Let r = -3.98 - -4. Which is bigger: c or r?
r
Let x = -43 + 44. Let g(c) = -17*c**3 + c**2 - 2*c + 1. Let v be g(x). Which is smaller: -18 or v?
-18
Let k = -0.45 - 20.55. Let b = 21 + k. Let d be (22/10 + -3)/(-1). Is d smaller than b?
False
Let a(d) = -d**3 - 2*d**2 + 3*d - 10. Let k be a(0). Let j be (72/320)/(2/k*4). Do j and -1 have the same value?
False
Let j(h) = -2*h + 2. Let l be j(-5). Let n = -2 + l. Let w = -8 + n. Is 0 greater than or equal to w?
False
Let i = -513 + 554. Does 7 = i?
False
Let n = -2 + 6. Let m(a) = 0 + 0 + n - a. Let t be m(5). Which is smaller: -2/59 or t?
t
Let k(p) = p**2 - 6*p. Let v be k(6). Suppose n = -5*q - 19, n - 5 = -4*n. Let r be 4/6*q*9/(-156). Which is greater: r or v?
r
Let d be ((-1)/46)/((-3)/12). Let k = -1761 + 1761. Is k >= d?
False
Let f = -0.085 + 0.039. Let s = -20.954 + f. Let v = s - -21. Is v less than 1?
True
Let x = -1265 + 775. Is x less than -490?
False
Let u(d) = d**3 + 8*d**2 + d + 8. Let p be u(-8). Suppose p = 2*t + 3*t. Which is smaller: t or -4/3?
-4/3
Let b be -1*(9 + -3) - -6. Let t = -25/21 - -13/7. Is t < b?
False
Let k(x) = -x + 26. Let d be k(2). Suppose 0 = -6*a + d - 6. Let o = 0 - 0. Which is bigger: o or a?
a
Let c = 455 + -654. Which is smaller: 0 or c?
c
Let p be 0 + -5 + 3 + 10/2. Let j(w) = 4*w - 11. Let h be j(p). Which is smaller: -1 or h?
-1
Let k(i) = 2*i - 32. Let f be k(12). Is 5 not equal to f?
True
Let i = 4 + -6. Let a = -52/25 - -2. Let w = a - -79/50. Which is smaller: w or i?
i
Let a = 700 + -708. Let f = -15 + 6. Which is smaller: a or f?
f
Let r = 14 - 11. Let z(v) = 3*v - 4. Let j be z(4). Let p be 2/8 - 2/j. Which is bigger: p or r?
r
Let k be (-28494)/(-264) - 6/33. Is k < 107?
False
Let j = 4 + 14. Suppose 6 = 4*k - j. Let q be (-15)/(-10)*(-20)/k. Is q at most as big as -5?
True
Suppose 2*l - 42 = -28. Do l and 5 have different values?
True
Suppose t = -t - 8. Let n be (12/(-3))/(2/t). Let j(y) = y**2 - 7*y + 9. Let k be j(7). Which is smaller: n or k?
n
Let d = 4275660419/1481445 + -1444518/4703. Let v = -2579 + d. Is 0 at least as big as v?
True
Suppose 156*m = 152*m + 12. Is m greater than or equal to 30?
False
Let w = 2.44 - 2.34. Is -0.052 less than w?
True
Let p = 0.0227 - -110.9773. Is p <= 2/3?
False
Let r be (18/8)/((513/(-288))/(-19)). Let v be 30/(-9) + 4/(-6). Let y be (r/(-9))/v*-12. Is -8 at least as big as y?
True
Let l = -0.036 - 0.124. Are -3 and l unequal?
True
Let s(w) be the third derivative of -w**4/24 + w**3 + 2*w**2. Let x = -29 + 36. Let i be s(x). Which is smaller: -2/35 or i?
i
Suppose c - 7*c = 24. Let d be (c/((-16)/(-4)))/1. Is -2/11 <= d?
False
Let y be (4/3)/(2/((-24)/76)). Let g be 0/(-4) - 0/1. Is g less than or equal to y?
False
Let v(t) = t**2 - 6*t - 24. Let c be v(9). Suppose c*f = -5*y + 17, 23 = y + 2*y + 5*f. Which is greater: 1/100 or y?
y
Let a(v) = 2*v + 8. Let r be a(-5). Let l be r*-3*(-3)/(-36). Is l at least 1?
False
Suppose h - 36 + 37 = -2*s, -4*h = -s + 13. Which is smaller: 2/1669 or s?
2/1669
Let u be (5/3)/((-1)/12). Let j = u - -44. Suppose 0*m + 23 = 3*a - 4*m, -a - j = 5*m. Do a and -2/21 have the same value?
False
Let y = 22 - -17. Suppose r + x + 4 = 4*x, y = 4*r - x. Which is bigger: -2/5 or r?
r
Let c = -982/5 + 196. Let x = 4 - 3. Which is smaller: x or c?
c
Suppose -3*d - l + 4 = 0, -54 = -4*d + 4*l - 22. Is -5/13 less than or equal to d?
True
Let q = 316 + -277. Is q > 39?
False
Let p = 0.171 + 0.029. Let t = -0.5 + 0. Let i = p + t. Which is greater: -2/5 or i?
i
Let c be 2 + 20/11 + -4. Suppose -12*g = -17*g + 2*t + 9, 6 = 4*g - t. Which is bigger: g or c?
g
Let x = -564 - -1661/3. Which is greater: x or 0?
0
Suppose -17 = -2*b - 5*j + 2*j, 2*j - 16 = -2*b. Suppose 35 = -2*z + b*z. Let y be 2 - 2/z*8. Which is greater: y or -5?
y
Let d = 113 - 102. Let y = 45 + -31. Is d less than or equal to y?
True
Let a be (-22)/(-18) - 1 - (-101)/(-333). Which is smaller: a or 1?
a
Suppose -6*d - 21 = 39. Let g be 4/(-6)*(-2 + 14). Which is smaller: d or g?
d
Let t = 17 - 27. Let a = 11 + t. Let c be (-34)/(-8) - (-3 - a). Which is greater: 7 or c?
c