*r = -4, 0 = -3*z - 2*r + 23. Let f be (-8 - m)/(z*-1). Is -5 smaller than f?
True
Let n(o) = -2*o**3 - 22*o**2 - 36*o + 7. Let z be n(-9). Let h be 2 + (3 - 4) + 2. Is z smaller than h?
False
Suppose 2538 = -23*o + 12106. Is o less than or equal to 416?
True
Let d = 13 + 0. Let c = d - 45. Let h = 32.1 + c. Is 0.4 < h?
False
Let y(p) = 10*p - 6*p**2 - 8*p - p**2. Let l be y(2). Is -23 at most as big as l?
False
Let t(g) = -112 + 112 - 2*g - g. Let l(q) = q. Let y be l(-1). Let z be t(y). Which is greater: z or -2?
z
Suppose 4*j - j + 3*o - 27 = 0, 2*j + 5*o - 27 = 0. Let v be (-32)/(-228)*j/8. Suppose -3 = -5*c - 2*l, l - 15 = -5*c - 4*l. Which is greater: c or v?
v
Let h = 3583698549/2996361445 + -2/2387539. Let k = 1/251 + h. Suppose -6*z + 9 = -3. Which is smaller: k or z?
k
Suppose -2 = x - 3*x, 0 = -4*b - 4*x + 16. Suppose -2*v + b*o = -0*v - 15, o + 5 = -2*v. Which is smaller: v or 3/16?
v
Let r = 1 + -7. Let y be r/(-36)*(-9)/(-2). Is y greater than or equal to 0?
True
Suppose 0 = 2*b - 0*b - 10. Let a(t) = -t. Let i be a(-2). Suppose -3*o - i*o = -10. Is b equal to o?
False
Let h be (33/22)/((-2)/((-128)/(-6))). Let i be 32*(0 - (-2)/(-4)). Is h < i?
False
Let p = 2482 + -2486. Is p <= 8/7?
True
Let x be (-4)/(-24)*2*7. Let a = -21 - -25. Suppose w - 2 = -2*p, 3*p + 8 = a*w - 2*p. Which is greater: x or w?
x
Let v = 2113 + -1939. Is 4 at least as big as v?
False
Let z = -71.8 + 64. Let l = z + 8. Is l greater than or equal to -0.05?
True
Let d = 6 - -8. Suppose -d = 3*j - j. Is j bigger than 1?
False
Let j = 808 - 49294/61. Are j and 1 equal?
False
Suppose -3*s + 0*v - 4*v = 1619, 2*s + 2*v = -1080. Is -543 smaller than s?
True
Let w be (-5)/2*(-24)/30. Suppose 0 = r - 2*a - w - 3, 5*a = -2*r - 17. Let u be ((-1)/(-3))/(r/3). Which is smaller: u or -2/3?
u
Let w(f) = f**3 - 9*f**2 - 10*f + 4. Let z be w(10). Let d be 4/(-8) + 38/z. Suppose -5*t - 10 = -6*t. Which is smaller: t or d?
d
Suppose 0 = 4*f - 3*d - 269, -2*d - 134 = f - 3*f. Suppose 27*o = 29*o + f. Is -35 at most o?
True
Let f be (-8)/(-28) + (-5)/70*-4714. Is 338 > f?
True
Let d = -516 + 516. Which is greater: 8/79 or d?
8/79
Suppose 17*m + 81 - 47 = 0. Is m greater than or equal to -22/43?
False
Let h be ((-4)/(-6))/(2/6). Let a(m) = -98*m + 3040. Let s be a(31). Is h != s?
False
Suppose 5*d + 360 = -5*d. Which is smaller: -0.2 or d?
d
Let q be (1/6)/(8/(-6)). Let i = 2.137 - 2.137. Is i bigger than q?
True
Suppose 7*v - 8*v = -3*v. Are 1/402 and v nonequal?
True
Let o = -0.1936 - -0.3936. Is -4.02 greater than or equal to o?
False
Suppose 19*p - 10*p = 396. Let d = p + -76. Which is greater: d or 0?
0
Let v(l) = -l**3 + 6*l**2 + 8*l + 11. Let d be v(7). Let w = d + -18. Is -3/41 >= w?
False
Let b be 5/(3/2 - -1). Suppose -3*c = 2*c + 3*m, c - 23 = 4*m. Let i be 2 - b/((-2)/c). Which is smaller: 11/2 or i?
i
Let w = -473744/97 + 4884. Which is bigger: 0 or w?
w
Suppose 0 = 2*p - 3*p + 2. Suppose p*r = -4 - 0. Let h = 0.56 + -0.76. Is r greater than h?
False
Let p = 180.3 - 180. Let g = 5 + -8. Let u = 1 + g. Which is bigger: p or u?
p
Let v be 3 - 2 - (0 - -5). Let g be 2/(-6) - (-2 + -2 - -7). Are g and v unequal?
True
Let w be (-18)/(4 - (4 + 0 - -2)). Which is smaller: w or 20?
w
Let l = -16 + 21. Let r = l + 20. Let n = -28 + r. Do 8 and n have the same value?
False
Suppose 0 = 3*u - 6, -g + 0*u + 2 = 3*u. Let a(h) = -h**3 - 4*h**2 + 2*h - 4. Let i be a(g). Is i > 0?
False
Let b = -45 + 45.17. Let v = 0.27 - b. Which is smaller: 10 or v?
v
Let k be 4/(-3) - -2*4125/18. Is 457 smaller than k?
False
Let d(j) = -j**2 + 2*j - 1. Let x be d(2). Let z be (-75)/(-30)*(-8)/(-110). Which is smaller: z or x?
x
Let o = 0.2 + -0.1. Let t = -21 + 40. Let l = 11 - t. Is o less than l?
False
Let d = -127 - -53. Let y be d/124 - (-2)/4. Is 1 less than y?
False
Let i = -5809.982 - -5802. Let k = 0.018 - i. Does k = -0.4?
False
Let y = 160 - 133. Is 28 less than y?
False
Let l = 55.943 + -56. Let a = l + -1.943. Which is bigger: a or 12?
12
Suppose -4*x = -31 + 27. Which is greater: x or 5/173?
x
Suppose 0 = -14*j + 8*j. Is j at least as big as 20/87?
False
Let g = -48 + 84. Let v be 2 + 9/(g/16). Which is greater: v or 3?
v
Let y be 8*4/144 + 120/189. Which is greater: 1 or y?
1
Let t = -3 + 2. Let j(c) = 2*c**2. Let p be j(t). Suppose 1292*z = 1289*z. Is p greater than or equal to z?
True
Suppose -96 = -5*b - 31. Let p = -1 + 7. Suppose 0 = -z + 2, 5*o - 57 = -2*z + p*z. Is b at least o?
True
Suppose 5*k = -g + 1191, -20*g + 22*g = -5*k + 1187. Which is smaller: 242 or k?
k
Suppose 2 = 3*d - 1. Let o = -6629/4260 + 122/213. Let c = -11/15 - o. Which is smaller: d or c?
c
Let h(p) = p**2 - 8*p - 67. Let g be h(21). Which is bigger: g or 207?
207
Let z = 309 - 925/3. Which is greater: -12 or z?
z
Let t(p) = -6*p**2 - 21*p + 13. Let s be t(-4). Which is greater: s or 4/591?
s
Let l = -51598605/34 - -1517821. Let r = 215 - l. Is r less than 0?
False
Let s = 35 - 69. Let u = s + 34. Let x = 2823/7 - 404. Is u at most x?
False
Let b = 90 + -94. Let c be b/4 - 12/(-1). Is c <= 8?
False
Let f = 41 + -41. Let s = 724/5 + -144. Which is smaller: f or s?
f
Let a(r) = -2*r**3 - 8*r**2 - 28*r - 105. Let o be a(-4). Suppose 8 = 2*l - 8. Which is smaller: l or o?
o
Let k be (-21)/(-28) + (-181)/126. Let m = 4/63 - k. Let t = 16 - 15. Which is greater: m or t?
t
Let j(d) = 2*d**2 - 2*d - 19. Let x be j(5). Let l(r) = -r**3 - 7*r**2 + 5*r - 4. Let i be l(-8). Which is greater: i or x?
x
Let k be (-22)/(-12) - 12/(-72). Let t(h) = 3*h**3 - 2*h**2 + 5*h - 3. Let w be t(k). Suppose -w = -4*i + 9. Which is smaller: 7 or i?
7
Let n = 12/191 + 322/955. Is n < -46?
False
Suppose 18*k - 20*k = 0. Which is smaller: k or 2/447?
k
Let f = -0.022 + 33.022. Let a = f + -36. Is -6/5 >= a?
True
Let d be 2*(20 + -2 + (-1 - 4)). Let f be (-252)/(-10) + 19/(-95). Which is bigger: d or f?
d
Let u be 9 - 3 - (-510)/24. Is 28 bigger than u?
True
Let l = -113 + 343/3. Let p(o) be the first derivative of 3*o**2/2 + 12*o - 33. Let m be p(-4). Is l at least as big as m?
True
Let m(f) = 9*f - 8. Let y be m(1). Which is bigger: y or -3/140?
y
Let d = 0.5884 + -1.5884. Suppose -2*h = -7*h - 25. Are h and d non-equal?
True
Let g = 231100241501/8814 - 26219678. Let y = 2/339 + g. Let i(b) = 11*b**2 + 54*b - 4. Let p be i(-5). Is p less than y?
False
Let c = 89 - 87. Let v be 900/(-84) - c/7. Is v >= -12?
True
Suppose 4*m + t + 3 = 0, -2 = -5*m + t - 8. Which is smaller: m or 8/71?
m
Let k(n) = n**3 + n**2 - n + 18. Let o be k(0). Let z = 22 - o. Suppose 0 = -4*x + 32 - z. Is 7 greater than or equal to x?
True
Suppose -23*d + 22*d + 2 = 0. Suppose -d*v + 41 = 29. Which is greater: v or -1/2?
v
Let g be (-4)/(-2) - (8 + 1 + -1). Let p be ((-2)/g)/((-11)/33). Is -11/9 not equal to p?
True
Suppose 0 = 2*f - 10, -h + 2*f = -f + 4. Suppose -h*m = 8 - 19. Which is smaller: m or 2/15?
2/15
Suppose 1 = -l - 0. Let b = -1255 + 1270. Which is greater: b or l?
b
Let g = 213669/10 - 21403. Which is smaller: g or -35?
g
Let z = -22/15 + 16/15. Do -3/2 and z have the same value?
False
Suppose -80 = 8*h + 32*h. Which is smaller: 100 or h?
h
Let d = -271 + 83. Let q be 25/125*(937/(-1))/1. Let c = d - q. Which is smaller: -2 or c?
-2
Suppose 0 = -m + 3*t - 14, 17 = 5*m + 3*t - 3. Is m equal to 42/17?
False
Let b = -22540/51 - -442. Does b = -1?
False
Let l(s) = 3*s - 5. Let k be l(2). Let y(g) = -2*g**2 - 1. Let i be y(k). Let j be (-1)/(i + (-28)/(-9)). Which is smaller: -17/2 or j?
j
Let l be (-6)/4 - 9/2. Let f be 16/24 + (-2)/l. Let r = 60 + -301/5. Which is greater: f or r?
f
Suppose -2*a - 4 = -4*u, 0 - 1 = -2*a - u. Let r be 6*1 + (0 - a). Let l = -5 + r. Which is greater: 0.1 or l?
l
Let y be (-7 - 963/(-135))*(-3)/158. Is 0 at least y?
True
Suppose -5*h + 1328 = -742. Let t = -227295 - -1588161/7. Let z = h + t. Which is greater: -2 or z?
z
Suppose -8*s + 256 = -64. Is 42 greater than s?
True
Let d = -45 + 48. Suppose -2*v + d = 3. Which is smaller: v or -1/47?
-1/47
Let p be (4/10)/(3/60). Let g be (-6)/p - (-105)/28. Suppose 4*q = -g*m - 13, q + q = m - 9. Which is smaller: m or 5/6?
5/6
Let i = 887712522 - 4243265887417/4780. Let a be (2/(-956))/((-10)/(-8)). Let k = a + i. Which is smaller: -8 or k?
-8
Let d be 6/(-21) + 88/14. 