 y be -2 + (-52)/24 + 2/3. Let h(u) = u**3 - 3*u**2 - 5. Let a be h(3). Which is smaller: y or a?
a
Suppose -3*o = 4*w - 7, -o - 36 + 13 = -5*w. Let b be (9 + -9)/(o + 1). Let c be b - (-1 - 1) - 2. Which is greater: c or -1?
c
Let f = -68 + 267/4. Let l be -2*(1 + -1 + -1). Suppose 0 = -2*j - 2, l*y = 4*j - 3*j - 3. Which is smaller: f or y?
y
Let g = 83 + -83. Which is bigger: -5/12 or g?
g
Suppose 16 = 5*k - n, 0*k = -2*k + 4*n + 10. Suppose -3*h - 27 = -4*o + 66, k*h + 75 = -2*o. Is -27 at most as big as h?
True
Suppose -3*y + 11 = 20. Let x be (-1)/(-2) + y/(-18). Is x at least 4?
False
Let q be ((-270)/35)/(-5 - 16/(-7)). Is q not equal to 4?
True
Let x = -5 + 0. Let s = -207 - -202. Is s less than x?
False
Let i = -62 + 66. Let b be (i/(-150))/(2/3). Which is bigger: -1 or b?
b
Suppose 5*w = -57*w. Is w less than 20/307?
True
Suppose 2*v + 2*b = 3*v - 19, 3*v + 5*b = 90. Is 14 <= v?
True
Let l = 7 + -4. Suppose -l*o - 7 = 23. Let j be 2/(-6)*o/10. Which is smaller: 0 or j?
0
Let d = -53.065 + 0.065. Let x = d - -51. Are -9 and x nonequal?
True
Let c = -77.1 - -82. Let b = 4.6 - c. Which is greater: -2/3 or b?
b
Let n = -40 + 12. Let r be ((-1907)/(-2))/(18/n). Let b = r - -1485. Which is greater: b or 2?
2
Let n = 0 + -0.1. Let f = -0.064 + -0.936. Is f equal to n?
False
Let w(o) be the third derivative of 1/120*o**6 + 0 - 3*o**2 + 2/3*o**3 + 0*o - 1/60*o**5 + 1/24*o**4. Let v be w(0). Which is smaller: 13/5 or v?
13/5
Let p be 2 - (-1268)/(-228) - -4. Let k = 2/19 - p. Suppose 0 = -2*b + 6*b + 4. Which is smaller: b or k?
b
Let k = -410391/29 + 14153. Which is greater: k or 2?
2
Let a = -273 - -319. Is a > 48?
False
Let w = -0.08704 - 7.19096. Let p = w - -0.178. Let s = p + 7. Are 2/9 and s non-equal?
True
Let b = 49 + 40. Suppose -4*a = -x - b, 2*x - x = -5*a + 109. Are 20 and a nonequal?
True
Let z = 3.7 - 0.9. Let w = z + -2.72. Which is smaller: -0.1 or w?
-0.1
Let b = -0.2 - -0.1. Let m = 74 + -80. Let j be (m/1)/((-27)/6) - 1. Which is smaller: b or j?
b
Let q(t) be the first derivative of -3 + 6*t - 1/4*t**4 - 3/2*t**2 - 2*t**3. Let y be q(-5). Which is smaller: -5 or y?
-5
Let m = 131/544 + -3/32. Are m and 0 unequal?
True
Let h = -18608/5 + 2065643/555. Let m = 2/37 + h. Which is smaller: -11/7 or m?
-11/7
Let v = 41 - 42. Let a = v + 1.1. Which is bigger: a or 1/26?
a
Let s be (-1)/(-1)*-3*10/(-15). Suppose -s*i = -3*i + 28. Which is greater: i or 29?
29
Suppose -9*j + 1072 = 7*j. Which is smaller: -0.1 or j?
-0.1
Suppose 3*l - 5*w = 20, 2*w = l + 5 - 13. Suppose l = -20*x + 21*x - 1. Let y(m) = -m**2 + 6*m - 3. Let q be y(5). Which is smaller: q or x?
x
Let k = -56.91 + 57. Let p = 128 - 135. Is p not equal to k?
True
Let k = -10 + 5. Let g(s) = s**2 + 6*s + 4. Let f be g(k). Let n be (f + -3)/(4/2). Which is smaller: n or -1?
n
Let l = 211.58 + -212.18. Let g = 0.1 + -0.5. Which is smaller: g or l?
l
Let p(y) = -28*y - 34 + 20 - 2*y**2 + 11 + 8. Let d be p(-14). Which is smaller: 10 or d?
d
Let w = -451 - 103. Is -553 > w?
True
Let b(g) = -2*g**3 - 2*g**2 + 7*g - 9. Let p be b(4). Let q = p + 565/4. Which is smaller: -3 or q?
-3
Suppose 132*c - 44 = 136*c. Is c >= -11?
True
Let s(v) = v + 3. Let j be s(-7). Let r = j - -17. Suppose 3*n - 5*n + 24 = 0. Is n at most as big as r?
True
Suppose -36*x = 182 + 790. Which is smaller: -192/7 or x?
-192/7
Let i = -29 + 35. Let l = i - 5.92. Let b = 0 + l. Which is smaller: b or 0?
0
Let d = 214 - 201. Let c = -10 + 6. Which is bigger: d or c?
d
Let f = 31 + -26. Suppose 6*m - m = f. Is m bigger than 1/7?
True
Let z = -80854/19 + 7307203/1710. Let y = 148/9 - z. Let d = y + 19/5. Which is greater: d or 4?
4
Suppose 126 + 84 = 7*d. Let i = -31 + d. Which is smaller: i or 1.3?
i
Let k(j) = 6*j - 8. Let r be k(2). Let b(h) = h**2 + 5*h - 3. Let l = 2 - 8. Let p be b(l). Is r greater than p?
True
Let k = 257 - 258. Let r be 4/34*(-3 + 1). Which is smaller: k or r?
k
Let g be 10/72*6 - (-422)/(-60). Let k(c) = c**2 + 6*c - 5. Let f be k(-6). Which is smaller: f or g?
g
Let w = 5 + -13. Let k be (-38)/18 + w/(-72). Which is bigger: -11/4 or k?
k
Suppose -5*s + 21 = 2*f, f - 2*s - 3 + 6 = 0. Suppose 16 = -f*l + 4. Is l greater than -2?
False
Suppose -4*f - 4*u + 8 = 0, -2*u - u + 10 = 4*f. Does f = -4?
False
Suppose -2*d = -0*d + 4. Let u be ((-1)/d)/((-2)/(-58)). Let v = u + -13. Which is greater: v or -2?
v
Let g(w) = -w**2 - 11*w + 29. Let h be g(-13). Suppose 3*u - 4*u + 1 = -3*c, 3 = 3*c - h*u. Is 1/6 < c?
False
Suppose 1464 = -4*p - 20*p. Which is smaller: -71 or p?
-71
Let x be 2*1*20/8. Suppose 42 = -3*w - 4*g + g, -x*w - 68 = 4*g. Which is smaller: w or 0?
w
Let p(d) = d**3 - 4*d**2 - 4*d + 11. Let h be p(4). Let j be (2 - -6)*1/(-2). Which is greater: j or h?
j
Let w(i) = 9*i - 4*i - 4*i - 1. Let g be w(9). Suppose -2 = 3*u - 3*a - g, -4*u - 3*a - 6 = 0. Which is greater: 1/3 or u?
1/3
Let u = 43.2 - 40. Is -3/4 less than u?
True
Let n be (-31540)/2508 + 5/3. Let b = -16 + 5. Is b smaller than n?
True
Let r be (5565/126)/((-3)/18). Which is greater: r or -266?
r
Suppose d = -o - 3, 4*d + 2*o - 13 = 3*o. Suppose 3*p + w + d*w - 3 = 0, -5*p - 3*w - 5 = 0. Let q be -1 - -5 - (15 + p). Which is smaller: -1 or q?
q
Let q = 0.2 - -1.8. Let s = 66384/13 - 5112. Let n = s - -1283/234. Is n at least q?
False
Let j = 287324/5 - 8332054/145. Let g = -7/29 - j. Which is smaller: -4 or g?
-4
Let x = 22 - 53. Let n = -81 - x. Which is bigger: -49 or n?
-49
Let s(u) = -15*u**3 - u**2 - 2*u + 3. Let d be s(1). Let o be (18/d)/((-8)/(-60)). Which is greater: -11 or o?
o
Let n = 30 - 89/3. Which is smaller: n or 2.43?
n
Let i(r) = r + 2. Suppose -f - 1 = 1. Let h be i(f). Suppose x + h*x = 0. Is x at most 4/5?
True
Let y(b) = b**2 - 4*b + 5. Let a be y(2). Which is greater: a or 2/227?
a
Let y(k) = -k**3 + 3*k**2 - 3. Let u be y(2). Which is smaller: u or 125?
u
Let m = 309 - 309.3. Which is greater: m or 11?
11
Let w be (8/10)/((-8)/(-100)*-5). Let j(p) = 2*p + 3. Let h be j(w). Are 2/5 and h non-equal?
True
Let g = -333.0392 + 0.0392. Which is greater: 0 or g?
0
Let s = 0.0049 + -0.0149. Which is bigger: -0.004 or s?
-0.004
Suppose -2*k + 0*k - 2 = 0. Is k less than or equal to -3/68?
True
Let l = 11 - 0. Let y be (-33)/l*16/6. Let o be 2/6*(-5 - y). Which is bigger: -1/7 or o?
o
Let z be (-5 - 70/(-28))/(5/(-2)). Which is bigger: 10/19 or z?
z
Let f = 57 + -57.03. Let j = f + 0.13. Which is smaller: j or -36?
-36
Suppose 12*z - 14*z - 6 = 0, -3*i + 3*z = -6. Let o(c) be the third derivative of -c**4/24 + c**2. Let l be o(3). Do l and i have the same value?
False
Let i = -2 + 1.91. Let g = -0.14 - i. Let o = -0.05 + g. Which is greater: 4 or o?
4
Suppose 0 = -4*r - 5*w - 278, 12*r = 17*r + 3*w + 341. Is r less than or equal to -1?
True
Suppose -3532*f + 3524*f = -3496. Which is smaller: f or 435?
435
Let s = 3/28 + 1/7. Let q = s - 3/4. Which is smaller: q or -12?
-12
Let n(b) = b**2 + 10*b - 7. Let w be (-24 - -3)*-2*(-3)/18. Let m be n(w). Does m = -28?
True
Suppose 6 = 4*q - 6. Let h = -0.12 - -13.12. Let m = -14 + h. Is m <= q?
True
Let f be (-60)/(-8)*(-132)/(-5). Let c = -32761/162 + 145/162. Let d = c + f. Do 1 and d have the same value?
False
Let z = 37.81 + -38. Let r = z - -0.29. Is -6 smaller than r?
True
Let d = -1 - -4. Let l be (3 - d)*3/(-3). Let a = 17/60 + 1/20. Is l less than or equal to a?
True
Let x = 2972 - 359615/121. Which is bigger: 0 or x?
0
Let b = -210 + 232. Is b bigger than 20?
True
Suppose -8*o = -3*o + q + 275, 0 = -2*q - 10. Do -54 and o have different values?
False
Let i = 2.8 - 2.8. Let v = -0.14 - i. Is -0.2 at most v?
True
Let v = -12.98 + -29.02. Do v and 1 have different values?
True
Let o be (-56)/10 - (-27)/45. Let a(b) = -b**2 - 7*b. Let y be a(-5). Let s be y/4 - (-3 - o). Which is smaller: 1 or s?
s
Let o be (-103)/(-75)*(90/(-25) - -3). Let p = -3/125 - o. Let h = -2 - 0. Which is bigger: h or p?
p
Let z = 2.72 - 3.02. Are 5 and z equal?
False
Let m(a) = -a**2 + 7*a + 11. Let c be m(8). Suppose -95 = c*k - 290. Let q be 1/(-4) - k/28. Is q equal to -2?
False
Let w = 82 - 78. Suppose -4*r - 6 = -78. Suppose 4*q + 3*f + r = 0, q + 4*f + w = -7. Is q smaller than -2?
True
Suppose 0 = j - 3*j - 40. Let u be (-3)/((-5)/(j/1)). Let m be (3/u)/(99/36). Do