**2 + 8*u + 6. Let a be h(9). Suppose -4*k = -3 - 13. Let d be (-14)/k + (-7)/14. Which is smaller: d or a?
d
Let q = -12 - -10. Let g be (-2)/(2 - (-2)/q). Let i(k) = -2*k**2 + 3*k - 1. Let a be i(2). Which is smaller: g or a?
a
Let d(z) = -z**3 + 18*z**2 + 8*z - 21. Let q be d(18). Are q and 123 non-equal?
False
Suppose 7 - 11 = -4*y + 4*q, -4*q - 8 = 0. Which is greater: 2/43 or y?
2/43
Let f be 927/(-9) - (-1 + 3). Which is bigger: f or -104?
-104
Let d = 69/2 - 34. Suppose -n = -5*b + 107 + 92, -3*b = -2*n - 125. Let k = b + -56. Which is greater: d or k?
d
Let k = -0.25 + 4.15. Which is smaller: 2 or k?
2
Let f = 0.0109 - 0.0109. Which is smaller: f or 4/31?
f
Suppose 2*a - 19*a - 1343 = 0. Is -82 at least a?
False
Let a be 28*(-4 + 3 + 0). Let b be ((-1)/4)/(1/a). Is 41/6 less than b?
True
Let s = -30 + 35. Suppose 0 = s*t - 11 - 4. Is 2 equal to t?
False
Suppose -n + 13 = -5*v, -n - 4*v = 9 + 23. Let t be 2/(24/28)*-9. Let q = -20 - t. Is q not equal to n?
True
Let u be -4 + (-56)/(-21) + 12/9. Is 4/51 at least u?
True
Let t = 104 + -62. Let d = -2067 + 4135/2. Which is smaller: t or d?
d
Let c = -1.8348 - 0.1792. Let b = 0.014 + c. Is 8/5 smaller than b?
False
Let h = -87 - -134. Let p = h - 48. Is p < -1/11?
True
Let z = -7 + 6. Let b be (-11)/(462/4)*3/(-2). Is b <= z?
False
Suppose 9*l - 198 = 3*l. Are l and 24 equal?
False
Let w(c) = -5*c - 8. Let f be w(-5). Suppose 0 = 5*x - 44 - 26. Let t = x - f. Are t and -3 equal?
True
Let h be 2/6 + 538/42. Which is smaller: 12 or h?
12
Let i = 33/4 + -411/44. Is i <= -2?
False
Let o = -24 - -18. Let m = -5 - o. Which is bigger: 12/13 or m?
m
Suppose -607 + 698 = 13*a. Let s = 0 - -9. Which is smaller: s or a?
a
Let f be (6 - (-344)/(-56))/((-2)/14). Let h = -26915/11 + 2449. Which is smaller: f or h?
f
Let p be (6 - -4)*(-3)/5 + 5. Is 3/643 less than p?
False
Suppose 20 + 202 = -74*h. Is h <= -31/19?
True
Let i(c) = -2*c**2 - 37*c - 76. Let b be i(-16). Which is greater: b or 5?
5
Let n = -3043/36 + 331/4. Which is bigger: -2 or n?
n
Let a = 949/4 - 243. Is a bigger than -5?
False
Let j(s) = 24*s + 9. Let d be j(-7). Let w = -1907/12 - d. Which is greater: -1 or w?
w
Let n(g) = g - 2. Let p be n(4). Suppose -3*a = -2*a + 4*x - 12, -15 = p*a - 5*x. Which is greater: a or -1/2?
a
Let t = -12 - -14. Let w = -3 + t. Let x = 44 + -35. Which is smaller: x or w?
w
Let h = -198667/117 + 1698. Let i = h + 241/819. Let x(n) = -n**2 - 13*n - 14. Let j be x(-12). Which is greater: j or i?
i
Let a be 0 + 2 + (8 - 7). Let x(o) = -o**2 + 2*o + 1. Let n be x(a). Let f be 0 - 0/(-6 - n). Which is bigger: 1/6 or f?
1/6
Let q = -1/17 + 43/153. Let d = 127 + -219. Let p = d - -92.3. Which is bigger: p or q?
p
Let d be ((-4)/(-6))/(44/(-24)). Let l = d + 269/770. Let y = l - -3/10. Is 0 greater than y?
False
Let r = -3/61 + 167/915. Is r >= 2/55?
True
Let f = -1272 - -16539/13. Suppose -4*u - 1 + 5 = 0. Is f at most u?
True
Suppose -1 - 3 = -2*g - 3*r, -4*r = 0. Suppose -g*i = -6*i - 16. Let p be (-1)/(-28) - i/16. Is 0.1 at most p?
True
Let d(m) = -m - 5. Let c be 1/(-3) + 22/(-6). Let i be d(c). Let t be (5/150)/((-2)/(-10))*-6. Is i greater than t?
False
Let u(y) = 3*y**3 + 33*y**2 + 8*y - 55. Let v be u(-10). Is v at most 166?
True
Let x(j) = j**3 - 9*j**2 - 10*j + 5. Let k be x(10). Suppose 0 = o - k*o + 300. Let m be (-305)/o + 2/5. Which is greater: -3 or m?
-3
Let h(c) = c**2 + c. Let a be h(-1). Suppose 0 = -2*i - 3*l + 48, -4*i + 5*l + 45 + 7 = a. Which is smaller: 16 or i?
16
Let r = 3.7 + -6.4. Let h = r + -3.3. Which is smaller: h or 0.1?
h
Let s be -334*(-11)/528 - 7. Suppose 3*j = t - 4, -4*j + 2*j + 5*t = 7. Do j and s have different values?
True
Suppose -3*k + 10 + 20 = 0. Suppose 15 - 22 = -m. Let t = k - m. Are 4 and t nonequal?
True
Suppose -g - 3*g = -16, 2*k + g - 40 = 0. Let y = 69.038 + -69. Let h = 0.038 - y. Which is smaller: h or k?
h
Let t = -1/18413 - 53623/29755408. Which is bigger: t or 0?
0
Let x = 10 - 5. Suppose x*l = -6*f + 2*f - 16, -2*f - 8 = 2*l. Let v = -10/27 - -163/513. Which is bigger: l or v?
l
Let b = -16 + 16.19. Let h = b - 0.23. Let q = 0 - -0.1. Is h at most as big as q?
True
Let y = 48.947 - -0.053. Suppose -135*a + 13 = -122*a. Is y < a?
False
Let g = 1.1 + -14.1. Let y = g + 13.4. Let f = -416 - -411. Which is smaller: y or f?
f
Let p(y) = 5*y + 37. Let j be p(15). Let z be j/21 - (-2)/(-6). Do z and 2/7 have different values?
True
Let q = -270.01 + 279. Let j = 9 - q. Let k = 85 - 85. Which is smaller: j or k?
k
Let q = 232.89 + -234. Let u = q - -0.51. Which is greater: u or -3?
u
Let l(z) = -z**3 + 6*z**2 - 6*z - 4. Let g be l(6). Let w be g/(-12)*(-18)/(-15). Suppose -w*h + 5*v = 55, -7 + 3 = 4*v. Is h greater than or equal to -14?
False
Let m(d) = -11*d**3. Let b be m(1). Let a = 62 + b. Is 50 less than a?
True
Let j = 559 - 9501/17. Let g be (-302)/255 + 4/6. Let t = g + j. Which is bigger: t or 4/17?
4/17
Let m = 25.8 + -133.8. Let r = 111 + m. Which is bigger: r or -11?
r
Let j be 43/3 + (-2)/6. Let n = -8 + j. Let y be (2/n)/((-48)/36). Which is bigger: -2 or y?
y
Let n = -100 - -99. Is n <= 2/357?
True
Let p = 9 - 5. Let u be (1/5)/(p/590). Let k = u - 30. Which is smaller: k or -15?
-15
Let q(i) = -i - 1. Let n be q(-1). Let z be n*(0 + 2/4). Suppose z*f - 1 = f. Is -0.06 less than or equal to f?
False
Let a = 0.81 + -62.81. Let h = a - -113. Let v = h + -24. Is 1/4 >= v?
False
Let r(x) = -x**2 + 5*x + 3. Suppose 41 = 3*t + 5*b, -2*b - 13 = -t - 2*t. Let a be r(t). Let z = a + 32/3. Is z less than -3?
False
Let y = 0.8 - 1. Let d = -5/66 - -7/33. Is y <= d?
True
Let n(u) = -u**2 - u + 2. Let j be n(-2). Let i be 1/((-44)/20 + 2). Let g be i + 1 + 946/231. Which is greater: g or j?
g
Suppose -4*s + 3*j + 199 = 0, -3*s + 3*j + 2*j + 163 = 0. Let q = -183/4 + s. Is 18 at least q?
True
Let s(t) = -t**3 - 6*t**2 + t - 11. Let n be s(-5). Is n > -43?
True
Suppose -3*g = -2*i - 40, 80 = -4*i + 7*g - 2*g. Let y = i + 25. Suppose y*o - 1 = -t - 7, 6 = -4*t - 2*o. Which is smaller: -1/23 or t?
t
Let z be (-3)/(2/20 + 403/(-130)). Is z <= 1/7?
False
Let c be 4/14 - 9/(504/(-1216)). Do c and 22 have different values?
False
Let i be (-10)/(-25)*(2 + (-13 - -1)). Which is bigger: i or -225?
i
Let o be (1 - 0)/((-2)/154). Let x = 383/5 + o. Let b = -369 + 368. Which is smaller: x or b?
b
Let j = -2449 + 330617/135. Suppose 108*p - 1 = -5*d + 106*p, -4*p = -12. Which is smaller: d or j?
d
Let q = -12 - 8. Let x be (q/25)/(2/5). Which is smaller: x or -8/11?
x
Suppose 2*b + 600 = 7*b. Let o = b + -1078/9. Suppose 4 = 10*p - 14*p. Do p and o have different values?
True
Let n = 790 - 782. Which is smaller: n or -66?
-66
Let l be (-2)/(-7) - 60/14. Let w = -2654 - -2649. Is l greater than w?
True
Let v be 6 - 2/10*35. Which is smaller: v or -1/606?
v
Suppose 4*m + 5*c - 4025 = 0, 4*c - 7*c - 9 = 0. Which is smaller: 1011 or m?
m
Suppose 4*f = 2*f. Let m = 7 + -7. Suppose m = -45*g + 43*g. Is f < g?
False
Let v be 5*3*(-8)/20. Suppose -2*d = -25 + 3. Suppose 4 = d*t - 7*t. Which is bigger: t or v?
t
Let x = -18 - -70. Is 52 > x?
False
Let p = -0.226 - 0.774. Is 0.218 not equal to p?
True
Let u be (-4)/8*(3 - 11). Suppose -c = u*c - 20. Let q(g) = g**2 - 5*g + 1. Let o be q(5). Which is bigger: o or c?
c
Suppose 0 = 5*p - 5*y - 90, 2*y + 126 = 5*p + 6*y. Suppose -3*t + 8 = -p. Are t and 0.2 non-equal?
True
Let d be 45 - 45 - (1 - 4). Is d at most 24/7?
True
Let t = 34 - 30. Let w be (525/130)/(-1) + t. Let r = 0 + 0. Is w not equal to r?
True
Let g = 19 - 32. Let h = -12.95 - g. Let d be (-5)/50 + (-1)/(-2). Which is smaller: d or h?
h
Suppose 33*p - 1507 = 2156. Is 109 greater than or equal to p?
False
Let j = 21 - 20.72. Let y = j - 0.2. Let i = -1.08 + y. Which is smaller: -5 or i?
-5
Let w = -124 + 124. Suppose 2*b + 116 - 210 = w. Is 49 > b?
True
Let z(j) = 24*j + 10. Let r be z(-2). Let k = 37 + r. Which is smaller: k or 2/195?
k
Let t = -126 - -85. Do t and 0.3 have the same value?
False
Let o = -93 + 86. Let y = o - -47/7. Which is smaller: -0.24 or y?
y
Let m = -161/6 - -27. Let w = m + -13/96. Which is smaller: 0 or w?
0
Let r(x) = 56 + 29 - x + 12 - 5. Let l be r(27). Is l greater than or equal to 64?
True
Let x = 12195/4 + -3033. Let u = 43 - 26. Which i