*3 + 7*r - 6*r + 5 + 9*r**2 - r. Let a be q(-7). Let s = a + 5994/25. Which is greater: s or 0?
0
Let z = 115/364 + 8075/364. Is 19/5 at least z?
False
Let w(b) = -3*b**2 + 6*b + 46. Let r be w(5). Are -1/3733 and r equal?
False
Suppose 1 = z - 0. Let q be (0 - 1)*z + 2. Let c = -9/162742 - -162769/488226. Which is smaller: c or q?
c
Let r(k) = k**3 - 6*k**2 - k + 6. Let a be r(6). Let o(u) = -u**2 + 2. Let m be o(a). Let h be (10/(-15))/(m/3). Is -3 at least as big as h?
False
Let o be ((-130)/(-10))/(-13)*-1. Which is smaller: o or 71/42?
o
Let u = -5/602 + 361/7224. Which is bigger: u or -0.8?
u
Let m = 692 + -471. Let i = 217 - m. Let h = -3 + 2.97. Which is bigger: i or h?
h
Let v be (-64)/(-14) - 1/(-1). Let l = -9663 + 9669. Is l greater than v?
True
Let l be 2888/(-361) - ((-11244)/26)/3. Which is smaller: 136 or l?
136
Let y(h) = h**3 - 5*h**2 + 3*h - 6. Let q be y(5). Suppose 4*b - r + q = 0, 5*b - 10*b - 5*r = -20. Is -0.023 < b?
False
Let o be (-16)/(-6) - 3 - (-20 - 12472/1416). Which is smaller: o or 28?
28
Let w(n) = -n**3 + 15*n**2 + 17*n - 535. Let h be w(15). Is h < -2512/9?
True
Let p = 274 - 269. Let q be -35*1 + (p - 10). Is q bigger than -40?
False
Let i = -2140.5 + 2134. Is i at most as big as 0?
True
Let a(b) = b**3 + 12*b**2 + 3*b - 19. Let t be a(-11). Let n = t + -37. Let i = n + -35. Which is smaller: -1 or i?
i
Let p(x) = -2*x + 9. Let k be p(5). Let r = 3/329 - -613/4935. Which is smaller: k or r?
k
Suppose -6*t + 5*t = -2*u + 2, 3*t - 5*u + 5 = 0. Which is bigger: -6/4085 or t?
t
Let z = 54553/45 + -1212. Let r = z + -116/315. Let j = r - 473/126. Which is smaller: j or -3?
j
Let v = 462 + -464. Let l be 28/(-2 + 1) - 10/v. Which is greater: -89/4 or l?
-89/4
Let n be 2*298/(-152) + (-315)/630. Which is smaller: n or -3?
n
Let p = -126 - -126. Suppose 20*n - 6*n + 462 = p. Is -36 <= n?
True
Suppose -2*m = 3*d - 1, -5*d + 95 = 3*m + 93. Is m at least as big as 276?
False
Let f(d) = 2*d**2 + 9*d - 5. Let u be f(-5). Let x be u + 7 - (40/5 + -6). Is x equal to 3?
False
Let a be (-4)/(-18) - (13 - (-20090)/(-126)) - 2. Which is smaller: 144 or a?
144
Let m = -1.9 + -0.1. Suppose 0 = -3*v - 7 - 2, 3*v + 11 = z. Suppose 2*c + 5 = 5*g, -c - z*g + 2 = -3*c. Is m < c?
True
Let v be (-17773)/(-126) + (-29)/58. Is 0 greater than v?
False
Let a be 1/(-26)*6/10. Let g(u) = 222*u + 2665. Let i be g(-12). Which is bigger: a or i?
i
Let t = 17.97 - 15.9. Let i = t - 2.05. Which is smaller: i or 1/6?
i
Suppose -3*s - 198 + 75 = 0. Let x(o) = -2*o - 30. Let n be x(18). Let f be (-906)/22 - 12/n. Is s < f?
False
Let w = 2420 - 2420.59. Let f = -0.313 + -0.077. Let j = w - f. Is 3 > j?
True
Let j(y) = y**3 - 9*y**2 + 8*y + 9. Let z be j(8). Suppose -z = 15*k - 18*k. Which is greater: 0 or k?
k
Let l = -77 - -9. Let u(i) = -521*i - 66. Let k be u(0). Which is smaller: k or l?
l
Let g = 107 - 112. Let i = -11 - g. Is i at most 21?
True
Let q(m) = -23*m + 416. Let k be q(15). Which is greater: 56 or k?
k
Let r be 78/(-248) + (-3)/(-12). Let d = 13694 - 13693. Which is smaller: d or r?
r
Let o(y) = -6*y + 123. Let z be o(44). Let d be -2 - 5 - 0 - z. Is 135 smaller than d?
False
Let h = 22424 + -19221. Which is bigger: 3202 or h?
h
Let o be (-41)/(14391/(-1998)) - (-2)/(2/(-7)). Let s = -5 - -3. Are o and s non-equal?
True
Let z(l) = -l**3 + 2*l**2 - 3*l - 68. Let y be z(0). Let m = y - 57. Which is greater: m or -127?
m
Let k(j) = -3*j - 22. Let o be k(0). Let u be (2 - 0)/(o/(-44)). Suppose -4*d - 25 - 62 = 3*h, 3*d = -u*h - 109. Is -24 not equal to h?
True
Suppose 0 = -2*w + 4*t + 2, 3 = -t + 4*t. Let z = 3686 + -3688. Is w at least as big as z?
True
Let k be -1 + (59 + -58)*0/(-2). Let d = 8709/26 + -335. Which is bigger: k or d?
d
Suppose 4*b - 23 = -5*r + 4*r, 2*r = -b + 11. Let u(l) = l**3 + 4*l**2 - 11*l. Let c be u(-6). Let a(j) = -j**2 - 5*j + 12. Let d be a(c). Is r not equal to d?
True
Let f = -2 + 3. Let k = -136.81 - -136.91. Is k at most f?
True
Suppose q - 616 - 242 = 0. Suppose 0 = 2*p + 4*r - 874, r + 3*r + q = 2*p. Let t = p - 5649/13. Which is greater: -3 or t?
t
Let x = -81 + 80.63. Let j = 1.81 + -2.54. Let g = j + x. Which is greater: 0.2 or g?
0.2
Suppose 2*i - 2*t - 103 = -525, 2*t + 1027 = -5*i. Which is smaller: -206 or i?
i
Suppose 2*u - 8 = 4. Suppose 0 = 3*m + u, 5*m + 6 = -3*l + 2*l. Suppose l*f - 45 - 43 = 0. Is 21 < f?
True
Let b(o) = -15*o + 16. Let w be b(-7). Suppose 2*j = -3*n + 55, -3*n - w = -8*n + 4*j. Let v be (6/n*(5 + 2))/(-2). Which is smaller: -1/22 or v?
v
Suppose 0 = -19*o + 2662 - 4923. Which is greater: o or -148?
o
Let y = 3973/42 - 1329/14. Let p = 0.05 + -0.45. Let k = p - -2.3. Is k equal to y?
False
Let x = 194 - -130. Let b = x + -187. Let l = b - 136. Is 3/23 > l?
False
Suppose 7*p = -31*p + 8702. Let n = 101 - p. Which is smaller: n or -129?
-129
Let a be 0/2 + 1 + -2. Let m be (39/8 - 3)*(-5920)/24. Let v = m + 461. Which is bigger: v or a?
a
Let g = -6001 - -29823/5. Let w = g - -1264/35. Let u = -11 + 37. Which is greater: w or u?
u
Let t be 2/(-14) - 1488/168. Which is smaller: t or -0.7?
t
Let c be 0/((-6)/2) + 35. Suppose 20 = 5*v, -2*v - c - 1 = -4*g. Suppose 6*s = g*s + 5. Is s less than or equal to -1?
True
Let o = 30 - 30. Let a(l) = -l**3 + l**2 - 3*l - 133. Let j be a(o). Is j < -132?
True
Let g be 4/10*(-1 + -4). Let y be 4/(-8)*g/(-8). Suppose -j - 176 + 172 = n, 3*n + 13 = -2*j. Are y and j non-equal?
True
Let f = 81.7 - 7.7. Let d = -0.6795 + -70.3205. Let t = f + d. Which is greater: 10 or t?
10
Let v be (-12)/66 - -11662*3/33. Let z be (-4)/18 - v/90. Suppose 2*x + 2 = 5*j, -5*x + j - 63 = 3*j. Do z and x have the same value?
False
Let f(r) = -r**3 + 9*r**2 - 2*r + 26. Let q be f(9). Suppose -29*m - q = -28*m. Is -9 bigger than m?
False
Suppose -94 = -4*a - 26. Suppose -p - 2*u = -3*p + 36, -59 = -3*p + 2*u. Suppose 8*s = 121 + p. Which is smaller: s or a?
a
Suppose 1892 = -15*n - 88. Which is smaller: -1.1 or n?
n
Let h(k) = -k + 22. Suppose 0 = -2*s + 17*s - 210. Let c be h(s). Let m be 1*((5 - c) + 17). Is 15 less than or equal to m?
False
Suppose -2*p = -5*h, 5*h + 0*h - 5*p + 4*p = 0. Is -39/115 >= h?
False
Let l be ((-28548)/260)/((-3)/5). Which is smaller: 17 or l?
17
Let t be -322 + 0/(-1) + 6 + -6. Let s be 6 - (t/(-84) + (-6)/(-4)). Which is smaller: s or -882?
-882
Let h(p) = -89*p + 43. Let f be h(-6). Let o = f + -68083/118. Is -1 less than or equal to o?
True
Let j = -7777 + 7711. Is j smaller than -80?
False
Suppose 1122 = 502*c - 519*c. Which is smaller: c or -129/2?
c
Let f = 71.808 - -118.19. Let d = 190 - f. Is 0 <= d?
True
Let v = 197 + -5. Let c = v + -954/5. Is 0.06 > c?
False
Suppose -i + 1691 = 5*u, 3*i = -3*u + 1554 - 537. Suppose -538 = -3*q + 2*k + 478, -6 + 5 = k. Are u and q unequal?
False
Let l(k) = -42*k**3 + 21*k**2 - 25*k - 4. Let i be l(3). Is -1027 less than or equal to i?
True
Let r = -4959 - -4909.31. Let u = r - -48. Which is bigger: u or 0.1?
0.1
Suppose -122*v = -49*v - 55*v. Which is smaller: 2/125 or v?
v
Suppose -24*x + 11291 + 6925 = 0. Let l = x + -746. Let k = 25 + -8. Is k > l?
True
Let m = -26551/3 + 8930. Let h = m + -8837/111. Suppose -5*s - 2 = -7. Which is smaller: h or s?
h
Let s = -73 - -97. Let d be -2 - -1 - s/184. Is 0 at most d?
False
Suppose -20*c - 52 = -24*c. Let n(d) = -d**3 + 13*d**2 - d - 1. Let u be n(c). Let a be (-1538)/612 + 7/u - -3. Is -1 greater than or equal to a?
False
Let s(z) = z**2 - 39*z + 121. Let r be s(36). Let f(o) = o**2 - 20*o + 21. Let m be f(r). Which is bigger: -137/2 or m?
-137/2
Let g = -150349/37 - -4063. Let w = 306045 + -306044. Is w bigger than g?
True
Let s = -229996 - -16789710/73. Let h = -1 + 2. Which is greater: h or s?
h
Let m = 1/395 - -8287/3160. Which is smaller: -3/104 or m?
-3/104
Let y(t) = -22*t**2 - 14*t - 4. Let g be y(20). Let j be ((-3)/(-63))/((-4)/g). Let i = j - 108. Are 1 and i equal?
False
Let i be (33 - 32) + (18/31)/(40/(-68)). Let g be (-2)/(8/(16/(-4))). Suppose 0 = r - 2 + g. Is r > i?
True
Let g(q) = -q**3 + 11*q**2 + 784*q - 12804. Let i be g(16). Which is smaller: i or -4622/3?
-4622/3
Let k(a) = -a**2 - 20*a + 69. Let p(l) = 9*l - 32. Let i be p(1). Let u be k(i). Let x = 16/3 + -13/2. Which is greater: x or u?
u
Let p = -16 - -19. Suppo