 be f(-6). Suppose h = j*h + 152. Which is smaller: -40 or h?
-40
Let x(m) = 229*m + 1. Let a be x(0). Which is greater: -42/241 or a?
a
Let o = -93 + 98. Suppose 0 = -o*j + 11*j - 12. Let f be (-1)/j*-26 - 5. Which is smaller: f or 31/4?
31/4
Suppose -2*j + 6*j - 8 = 0, -d = -4*j + 53. Let q be ((-68)/(-6))/(14/(-315)). Let g be 4569/q + (d/51 - -1). Is -19 < g?
True
Suppose 4*i + 7421 = k - 1812, 55344 = 6*k + 3*i. Which is smaller: 9227 or k?
k
Suppose -12051 = -9*d - 2880. Suppose 3*z + d = -5*f - 250, 5*z + 2093 = -f. Is z != -417?
True
Suppose 11680 = 27*a - 3*a - 21464. Is 1379 bigger than a?
False
Let n = 12/166405 - 91369617/184043930. Let k = n + -2/553. Is -0.44 greater than or equal to k?
True
Let o(d) = 12*d**3 + 42*d**2 + 4. Let j be o(-4). Let a = j - -160. Is a greater than 68?
False
Let z be -4 + 0/(-4*3/3). Let i be (-27)/81*z/2. Suppose -2*q = v - 10, 0 = -2*v + q + q - 10. Which is smaller: i or v?
v
Let n = -20 + 23. Let v be (n/6*1)/(6/24). Let j be (-1*3/6 - v) + 0. Is j equal to -3?
False
Let g = -32286 + 18693620/579. Which is greater: 0 or g?
g
Suppose 13*v - 15*v = 61*v - 448623. Do v and 7121 have the same value?
True
Let r = -18.95991 - -0.09991. Is r greater than or equal to -2?
False
Let b = -0.66 - -1.19. Let r = b + -0.72. Let d = 0.04 - 0.14. Which is greater: d or r?
d
Suppose -5*x + 3*w = 298, 0 = -4*x + 8*w - 4*w - 232. Let b = x - -69. Which is smaller: 13/2 or b?
13/2
Let k = -21 - -34. Let z(o) = -2*o**3 - 5*o**2 + 3*o - 5. Let n be z(-5). Let q = -94 + n. Which is smaller: k or q?
q
Let w be -3 + (-3 - 91/(-2)*4). Suppose w*b = 168*b - 1904. Is -239 at most as big as b?
True
Let q be 110290/6 - 3*-1. Let k = q + -17715. Let w = k - 664. Which is greater: w or 5?
w
Let g = 24 + -46. Suppose -150 = -4*c - c. Let b = g + c. Is -1/3 bigger than b?
False
Let d = -16705 + 16706. Is d less than or equal to -9/62?
False
Suppose 2*v + 5*i = -6, -6 = -v - 7*i + 9*i. Suppose -j = v*w + 9, 15*j = 18*j - 3*w - 9. Let s be -1 - 0 - 34/(-28). Is s != j?
True
Suppose -t + u - 6 = 0, -41*u - 22 = -3*t - 46*u. Suppose m - 1 = q, -q + 5 - 1 = 0. Let h = 7 - m. Which is bigger: h or t?
h
Let j(s) = -s**2 + 29*s - 179. Let x be j(9). Are x and 24/227 nonequal?
True
Suppose 2*c + 18 = 18. Suppose c = 4*k + 2*h - 16, 2*h - 16 = 4*k - 48. Suppose -6 = -4*w - k. Which is bigger: -9 or w?
w
Let h(g) = -2*g**3 - 48*g**2 - 105*g - 2519. Let k be h(-24). Is 8907 < k?
False
Let t = -23.44 + 26.4. Let k = t + -2.88. Is 3/13 < k?
False
Let j = 164 + -66. Let h = 130 - j. Which is bigger: h or 2/7?
h
Suppose 1152*a - 1130*a + 35046 = 0. Which is greater: 0.02 or a?
0.02
Let z(h) = 3*h**2 + 2*h + 1. Let q be z(-1). Let g(v) = -15*v**2 - 5*v + 5*v**2 + 7*v**2 + 4*v**2 + 3 + 5. Let s be g(q). Which is bigger: s or 7?
7
Suppose 6 = -5*b + 1. Suppose 221*t = 214*t - 154. Let v be 4/t + 14/(-77). Is v >= b?
True
Let a = 75/422 - 16155/55282. Which is bigger: -1 or a?
a
Let i(n) = -4*n + 19. Let l be i(5). Let v be 6 - (-1 + 2 - l). Suppose 26 = -v*s + 6*s. Is 9 at least s?
False
Let n(g) = -4*g - 6*g + 7*g - 43. Let c be n(-19). Suppose -9*y + 10 = -c*y. Is -2 at least as big as y?
True
Let p be 6/(-2) + 2 + -73. Let d be 70 + (4 - (7 + -8)). Let z = p + d. Are -6/7 and z unequal?
True
Suppose 10*f - 4*n - 17 = 7*f, -4*n = -5*f + 15. Do f and -13/263 have different values?
True
Let n(o) = o**3 - o**2 + 69*o - 125. Let t be n(0). Is -127 smaller than t?
True
Let o = 0.5634 - 28.4534. Let k = 28 + o. Which is smaller: k or -0.2?
-0.2
Let j be (-4)/(-16) - (-8 - 20565/60). Is j > 354?
False
Suppose 5 + 5 = 2*m. Suppose m*l = 2*a - 27, a + l = -3*l - 19. Which is smaller: a or 2/51?
2/51
Let p(c) = 2*c**3 + 46*c**2 + 59*c - 8. Let t be p(-21). Which is greater: 521 or t?
521
Suppose 52 = -2*c + 58. Let b be 12*((-26)/(-8) - c). Which is bigger: b or 11?
11
Let s = 0.713 - 0.713. Let o = 0.3 + -0.35. Does s = o?
False
Suppose 0 = -4*f + j - 9, 2 = 4*f + j + 9. Let s = 827/5070 - 32/507. Is f < s?
True
Let x = 160 - 158. Let k be 384/60 + x*1. Is 9 greater than or equal to k?
True
Suppose -4*z - 5255 + 5273 = 3*x, 4*x = 5*z + 55. Let v = 5705 - 74201/13. Is v at most z?
False
Let j(g) = 24*g + 48. Let o be j(9). Suppose -o = 51*s - 43*s. Is s at least as big as -30?
False
Suppose 0 = -31*i + 27*i + 2976. Let m = i + -12652/17. Which is bigger: -1 or m?
m
Let v = 0.135 + -8.135. Let i be (130/(-20) + 7)/(11/2). Is v greater than i?
False
Let d(b) = -3*b**2 + 13*b - 884. Let g be d(0). Is -900 at least as big as g?
False
Let h = 28 - 94. Let n = 62 + h. Let j be ((-99)/(-17) - 2) + n. Is 2 equal to j?
False
Suppose -74*g - 15*g - 20 = -109. Is g not equal to 1/11080?
True
Let w = -25 - 5. Let n be (3/w)/((-1)/((-15)/6)). Let o be -1*(6/9)/2. Is o not equal to n?
True
Let a = 459.756 - 665.756. Let n = -0.2 + 0.4. Is a bigger than n?
False
Let b be (-2384)/(-1043) + (-5368)/2324. Let p be (-4)/2*(-2)/(-4). Is b at most p?
False
Suppose 2*q + 2*d + 17 = 7*q, -q = 2*d - 13. Suppose 0 = q*b + 5*w + 26 - 91, 0 = 2*b + 3*w - 24. Is b at least as big as 14?
True
Let s be 29/4 - (6 - (-27)/(-4)). Let y be ((-1040)/(-64))/(6/s). Which is greater: 23 or y?
23
Let u = -19637 - -24090. Which is smaller: u or 2/3?
2/3
Let v = -108 - -107. Let l = -22036/715 + 338/11. Let i = 239/1885 + l. Is v greater than i?
False
Let t be (-1)/2 - 1/(-4). Let j = -76947 + 76945. Is j != t?
True
Let o = 169 - 277. Let l = o + 4753/44. Which is bigger: 0 or l?
l
Suppose -5*j + 4*q = -1, 3*j + 2*q - 4 = 1. Let a = -3134.6 + 2613. Let i = 521 + a. Is j smaller than i?
False
Let m be -87*(-2 - (-66)/18). Are m and -114 equal?
False
Let f = 25652 + -23657. Is 1995 >= f?
True
Let p = 291/13 + -52115/2327. Let c(v) be the third derivative of -v**6/120 - v**5/60 + v**4/8 + v**3/3 + 4*v**2. Let i be c(-2). Is p smaller than i?
True
Let i be (51/(-6) - -5)*-2 - 7. Is -3/442 >= i?
False
Suppose 5*b - 10 = 3*b, -3*b = v - 16. Let h be (-50)/2175*6636*2. Let w = 305 + h. Does w = v?
False
Let j = -0.117 + -174.883. Let v = j - -195.97. Let x = 0.03 + v. Which is bigger: x or -0.1?
x
Let r = 119773.909 + -119711. Let y = r - -0.091. Let o = -63.03 + y. Is o less than 0?
True
Let z = 116 + -137. Let k = z + -145. Is -166 less than k?
False
Let n = 349 + -366.7. Let l = n + 18. Which is smaller: l or 1.9?
l
Let x be (-3*4/36)/(140/(-589365)). Is x != 1403?
True
Let l = 330 - 529. Let q = l - -144. Is -54 at least as big as q?
True
Let v(f) = 65*f + 12. Let q be v(12). Suppose 5*a = q - 587. Is 38 > a?
False
Let w = -8.09 - -8.54. Let b = -0.55 - w. Let i = 8 + -11. Is i less than b?
True
Suppose -r - 1798 = -1705. Does r = -99?
False
Let c(o) = o**3 + 74*o**2 + 12*o + 74. Let h be c(-74). Which is smaller: h or -817?
-817
Let v = 4535 - 4536. Let c = 6719 - 9614891/1431. Which is greater: v or c?
c
Let d be ((-1298)/(-2271)*-7 + 4)/((-8)/24). Which is bigger: -1 or d?
d
Suppose 7*z - 10*z = 2*y - 283, -295 = -3*z + y. Suppose o - 54 = z. Are o and 151 non-equal?
False
Let z = 20 - -103. Let v(a) = -587*a + 2471. Let m be v(4). Are z and m non-equal?
False
Suppose 2 = 3*u - 5*i + 4, 5*i = 5. Let v be (-2 - 7/(-3)) + ((-1677)/(-1071) - 2). Which is smaller: u or v?
v
Let d = -587/100 - -128/25. Is 2/89 > d?
True
Let u be 21*2/(-6)*30/7. Let k be 5/u + 3/18. Does k = 18/31?
False
Suppose -25 = -6*w + 5. Suppose -n + w*j = -3*n - 20, -n + 20 = -5*j. Suppose n = 8*t - 93 - 123. Is t > 26?
True
Let j = 0.0341 - 0.1561. Let s = j + 0.022. Which is bigger: -228 or s?
s
Let n be 4/(-4)*(-4 - -3). Let p be (3 + 4484/(-1206))*n. Let y = p + -4/67. Which is smaller: -1 or y?
-1
Let m be 5/(-3) - 924/180. Which is greater: m or 15?
15
Let j = -1.58 + 3.81. Let l = 0.09 - j. Let p = l + 2.4. Is p equal to -1/3?
False
Suppose 0 = -16*k - 27*k + 4816. Let o be (-138)/(-23) - k/18. Are o and 0.2 non-equal?
True
Let o be (24/(-5) + 4)/(4/120). Let g(p) = 8*p + 220. Let k be g(o). Suppose 4*u + 4*m + 79 = 203, -4*m + 16 = 0. Which is smaller: k or u?
u
Let a be (2 - 0) + (3 - (3 + 5)). Let q be 2 - (-11 - (2 + (-3)/a)). Suppose -3*v = -3*j - v - q, 0 = v - 2. Which is greater: j or -3?
-3
Let f = 5875 - 1946. Which is smaller: f or -2?
-2
Let p(r) = -882*r + 6204. Let z be p(7). Which is smaller: -62 or z?
