 be u(4). Let d be (-21)/(-2*p/6). Let l(y) = -y**3 + 23*y**2 + 7*y - 139. Let m be l(23). Which is smaller: m or d?
d
Let y be 6/(-9) + 166/6. Let i be (-3)/y*(1 - 4). Is i < -17?
False
Let b = -1392 - -1391.296. Which is smaller: b or 1?
b
Suppose 178 = -2*c + 3*o, 4*c = 8*c - 4*o + 352. Which is greater: -87 or c?
c
Let h be 0/2 - (3 + 12). Suppose 6*y - 3*z + 23 = 5*y, -3 = -z. Is y > h?
True
Let j = 150 + 183. Let l be (12/j)/((-2)/3). Is l < 0?
True
Let j = 60 - 5. Suppose j = -w - 15. Let o be 378/w + (-2)/(-5). Is o < -6?
False
Suppose -75*j + 4356 = -9*j. Which is bigger: 69 or j?
69
Let b = 1167 - 1135. Is 13 >= b?
False
Let n be (-132)/315 + (-20)/(-150). Which is smaller: 1 or n?
n
Let o = 1442.7 - 1443. Is o > 322?
False
Let d(a) = 2*a + 27. Let u be d(0). Which is greater: u or -2/9?
u
Let m(u) = 305*u**3 - u**2 + 4*u - 2. Let q be m(1). Is 306 greater than q?
False
Let h(r) = -r**2 + 2*r + 27. Let i be h(5). Let s(u) = 2*u**3 - 4*u**2 + 2*u. Let f be s(2). Suppose 0 = -2*m + 24 - f. Which is smaller: m or i?
m
Let k be (-87)/1110 - (-3)/15. Which is smaller: k or 1?
k
Let l(h) = -h**3 + 14*h**2 - 18*h - 1. Let u be l(12). Let t = 70 - u. Which is bigger: t or -5/9?
-5/9
Let i(q) = 7*q + 113. Let m be i(-26). Which is greater: m or -67?
-67
Let o(w) = -w**3 - 17*w**2 + 24. Let c = 36 + -53. Let m be o(c). Let v be (-80)/m - 4/6. Which is smaller: -7 or v?
-7
Suppose 0 = -213*a + 209*a - 16. Which is smaller: a or -3?
a
Let o(b) = b - 6. Let h be o(5). Suppose 0 = -5*g + 123 + 77. Let s be (-4)/(-6) - g/15. Does h = s?
False
Suppose 4*f - 1 = -n, 2 = 4*f - 4*n + 6. Which is bigger: f or 8/13?
8/13
Let x be (((-36)/(-27))/(3/6219))/4. Is 691 less than or equal to x?
True
Let o = 984/11 - 7372/77. Are o and -7 unequal?
True
Suppose -2*s + 4*s - 6 = 0. Do 25/6 and s have the same value?
False
Let n = 69 - 48. Let h = -109.165 - -1.065. Let k = -108 - h. Which is smaller: n or k?
k
Suppose 5*z - 54 = 4*w, w - 2*z + 16 - 1 = 0. Which is bigger: w or -7?
-7
Suppose -76 = -173*b + 177*b. Is -19 greater than b?
False
Let l(d) = -2*d**2 + d + 11. Let h be l(-2). Which is bigger: h or -3.1?
h
Let y be -10 + 468/45 + (-572)/5. Which is bigger: y or -115?
y
Let m be (-5)/40 + 65/8. Suppose -5*k = -3*x - 45, 4*k + x + 2*x = 36. Let v = k - m. Which is smaller: v or 2/9?
2/9
Suppose -2*h = -6, 0 = 3*i - 9*h + 13*h - 3663. Is 1218 greater than i?
True
Let v = 0.3104 + -973.3104. Does -2 = v?
False
Suppose 3*b + 3*n + 9 = -0*n, -b = 3*n + 7. Let m be 324/333 - (0 - -1). Do m and b have the same value?
False
Let p = 580707/1558 - 7266/19. Let l = -8/41 - p. Which is bigger: l or -2?
l
Let g(o) = -2*o**3 + 38*o**2 + 3*o - 66. Let r be g(18). Is r <= 635?
False
Let y(d) = 45*d**3 + d - 2. Let a be y(1). Let r = a + -37. Let m be 8/24 + (-40)/(-6). Is m at least as big as r?
True
Let s = 927/6391 - 2/913. Suppose -c + 0 = -2. Suppose -4 + 3 = -5*i + c*o, 10 = 5*o. Which is bigger: s or i?
i
Suppose -89*z = -34*z. Which is bigger: 1/822 or z?
1/822
Let u = 125 + -144. Which is bigger: u or 7?
7
Suppose 4*b - 4*f - 32 = 0, 7*b - f - 20 = 2*b. Which is smaller: b or 19?
b
Suppose 4*w - 16 = -8. Let p be ((-32)/12 + 0)*w/8. Do -2 and p have different values?
True
Suppose -4 = -4*d, -4*d + 838 = -5*h - 131. Are -192 and h nonequal?
True
Let q = 90 - -1. Let v = q + -94. Let x = 0 - -2. Which is smaller: x or v?
v
Let x(v) = 5*v**2 - 3*v + 1. Let s be x(1). Let u(g) = -g**2 + 2. Let y be u(-2). Which is smaller: s or y?
y
Suppose -k + 12 = 10. Suppose -j = k*j. Let b be 4/28 + (-4)/(-14). Which is smaller: j or b?
j
Let x(p) = 26*p - 20. Let b be x(1). Which is smaller: b or 52/9?
52/9
Suppose 0 = -v + 4*v - 6. Let a be 1*(v + -3)*0. Let z = a + -5. Do -5 and z have different values?
False
Let j = 2.987 - 2.587. Is j greater than 7?
False
Let m = -1/30 - 13/60. Which is bigger: m or -2/9?
-2/9
Suppose -y + 4*m = 6*m - 2, 0 = -4*y + 5*m + 34. Let a be (4/y)/(6/27). Suppose 0 = -3*v + a*u + 3, -2*u = -5*v + 23 - 6. Which is greater: v or 6?
6
Let h be 14/18 + -1 - 561/(-1836). Which is smaller: h or -4?
-4
Let j be 12/(-8)*(-12)/9. Suppose 9 = 10*b - 7*b. Let u be 7/(-14) + b/j. Is u at most as big as 1?
True
Let c(j) = 31*j + 188. Let y be c(-6). Is y > 227?
False
Suppose -4*o + 72 = 3*v, -5*v - 5*o + 103 + 22 = 0. Suppose 6*k = -3*h + k + v, -5*h + 25 = 4*k. Which is smaller: h or -4/67?
-4/67
Let p = -4 - -17/5. Let g(u) = -u**3 + 7*u**2 + u + 3. Let y be g(6). Let d = y - 46. Is d < p?
True
Suppose 2*a + a = t + 73, 2*t = -8. Let j = 33 - a. Suppose 24*d - 19*d + j = 0. Which is smaller: d or -1?
d
Let d(r) = r**3 + r**2 + r - 6. Let l = 14 - 14. Let z be d(l). Let a = -7 - z. Does a = 3/11?
False
Let a = -102.965 + -0.035. Let k = -102.9 - a. Which is bigger: -7/3 or k?
k
Let i = 75.3 + -68. Let j = -7 + i. Let y = -0.3 + 2.3. Which is greater: j or y?
y
Suppose m + 104 = -p - 3*m, 312 = -3*p + m. Let q = p - -938/9. Is 7 < q?
False
Let k = 835 - 574. Which is smaller: k or -1?
-1
Let x = 484.11 - 483. Which is bigger: 1 or x?
x
Suppose 149*u + 3 = 152*u. Is 17/20 > u?
False
Let k = -125 - -259. Let x be (-2)/(-3) + k/(-3). Is x less than or equal to -44?
True
Let v = 15 + -20.2. Let b = v - -5. Let u = b - 0.1. Which is smaller: 3 or u?
u
Let w be ((-2)/6)/(7/(-168)*-8). Which is smaller: w or -1/188?
w
Let f be ((-46)/(-8))/((-18)/1656). Is f at most as big as -528?
True
Let y = 29009/86 + -675/2. Is 1 greater than y?
True
Let h(l) = -5*l**3 - 5*l**2 + 3*l - 4. Let t be h(-4). Which is smaller: t or 225?
t
Let w be (17/(1156/2057))/((-1)/(-4)). Which is bigger: w or 122?
122
Let j be (-2)/(-4) + 1444/(-1540). Let g = j + 1/110. Let p be (9 - 169/26)*(-4)/10. Which is smaller: p or g?
p
Let q = -0.09 + 0.38. Let c = q - 5.29. Are -2/7 and c unequal?
True
Let w = -34.56 - 0.44. Let c = w - -38. Which is bigger: c or -3?
c
Let t be (-1)/(-4) - (-33)/144*-4. Which is smaller: t or 0.29?
t
Let b = -45/22 + 629/44. Let p = 253/20 - b. Does p = -13?
False
Let r = 20.897 + -0.097. Let m = r + -21. Which is smaller: m or -0.1?
m
Let k be 4*(-4)/(32/108). Which is greater: k or -57?
k
Let m(j) = 6*j + 42. Let o(h) = -7*h**2 - 2*h - 1. Let v be o(-1). Let y be m(v). Which is greater: -4 or y?
y
Let c(b) = 17*b**2 - 6 + b**3 + 13 + b - 21*b**2 - 4*b. Let r be c(3). Which is bigger: r or -9?
-9
Let t be (1*8/(-16))/(13/(-1)). Is t bigger than -1?
True
Let q be 0 + 1 + 0 + -1. Let w(c) = c**2 + c + 3. Let a be w(q). Suppose i = 28*z - 33*z - 8, 0 = -4*i + 3*z - 9. Does i = a?
False
Suppose 4*p + w = -1636, -4*p + 184 = -3*w + 1836. Is p > -410?
False
Let o = 48 - 54. Let j be (110/25 + -5)/((-9)/o). Is j at most 8.5?
True
Suppose -4*k + 3*f - 25 = 0, 3*f = 3*k - 4*k - 10. Let t be 1380/(-135) + (-2)/(-9). Which is bigger: k or t?
k
Let p(h) = h**3 - 8*h**2 - 10*h. Let t be p(-1). Which is bigger: t or 6?
6
Let a(c) = 9*c + 29. Let m be a(-8). Is m at most as big as -46?
False
Suppose -f = -3*w - 0*f - 19, 16 = 4*f. Let z be 40 - (6 + -3) - 1. Suppose z - 11 = -5*h. Do h and w have different values?
False
Let b be (-18)/(4/((-24)/39) - -5). Is b > -1.2?
True
Let s = 53698/21 + -2558. Let c = s + 9/7. Does c = 6/13?
False
Let b be 9/(-81)*6*-1*3. Which is bigger: 40/47 or b?
b
Let r be -5 + 0 + (11 - 1). Suppose -4*o + 7*y + 52 = r*y, 5*o - 71 = y. Are 15 and o nonequal?
False
Let m = 23 + -45/2. Let h = -322 - -320. Which is bigger: m or h?
m
Suppose 3*j + 26 = 2*a, 2*j - j = 3*a - 32. Let x be 1/(-2) - (-15)/a. Which is bigger: x or 3/14?
x
Suppose 14 - 17 = -i. Let q = -19 + i. Let h be 1*(q/14 + 1). Which is smaller: -1 or h?
-1
Let p be (-13)/208*-2 - (-9526)/80. Is p <= 118?
False
Let j(z) = z + 1. Let l(v) = -3*v - 6. Let f(g) = 6*j(g) + l(g). Let y be f(2). Suppose 2*p - 10*q = -7*q + 16, 2*q = 4*p - 24. Which is greater: y or p?
y
Let k = 160 + -155. Which is smaller: k or 23/5?
23/5
Let t be (-6)/(-4)*(-1710)/(-135)*-2. Which is smaller: t or -275/7?
-275/7
Suppose 4*c - 3*a - 62 = 0, -2*c = 5*a - 0*a - 18. Suppose -8*x - 6 = -c*x. Is 2/185 >= x?
False
Suppose 9*a + 748 + 8 = 0. Let h be (-102)/a - (-3)/(-6). Is 2 at least as big as h?
True
Let l = 3309/272 - 210/17. Is 0 smaller than l?
False
Let p = -52 + 55. Let r be p/(-5) + (-610)/150. Which is sm