 be (-182)/(-12) - 1/(-3). Let h = 72760/7 - 2186041/210. Let b = u + h. Which is bigger: 0.1 or b?
0.1
Let w(n) = 8*n - 116. Let v be w(16). Suppose -v*g - 30 = -42. Let u be (-4)/9*(3 + -4). Which is bigger: u or g?
g
Let h be (1*(-8)/3)/((-6)/900). Let p = h - 1201/3. Let c be (-26)/10 + 2 + 0. Which is greater: c or p?
p
Let d = -139581 - -977164/7. Let r = 25 + -11. Which is bigger: r or d?
r
Let d = -1593/1078 + -12/539. Which is bigger: d or 4.71?
4.71
Let f = -0.32 + 0.02. Suppose -11*j = -17*j - 144. Let z be ((-2)/j)/((-7)/14)*-4. Is f greater than or equal to z?
False
Let i = 84.9 + -85.04. Let h = 35.36 - 36. Let b = h - i. Which is smaller: b or -1.2?
-1.2
Let h(i) = i**3 - 73*i**2 + 144*i - 60. Let b be h(71). Which is smaller: 63 or b?
63
Let u(m) = 18*m + 392. Let a be ((-6)/(-15)*50)/((-2)/2). Let o be u(a). Is o at least 37?
False
Let c(k) be the first derivative of -k**4/12 + 2*k**3/3 - k**2 + 21*k - 16. Let l(h) be the first derivative of c(h). Let s be l(4). Is -0.07 <= s?
False
Let u(z) = z**3 - 9*z**2 - 2*z + 12. Let x be u(9). Let v be -5 + 682/12 + (-1)/x. Let q be v*-4*1/(-8). Which is smaller: 25 or q?
25
Let w(v) = -v**3 + 7*v**2 + 2*v + 7. Let s be w(6). Let r be 4 - (230/s + 0). Let f = -430.04 - -430. Do r and f have different values?
True
Let z = 90611 - 7883243/87. Is z not equal to 0?
True
Let w(l) = 22*l - 3. Let i be w(3). Suppose 0 = 197*o - 190*o - i. Is o not equal to 94/9?
True
Let y = -18 - -13. Let p be (2/y)/(-1) - 0. Let t = 0.6644 + -0.2944. Which is smaller: p or t?
t
Let s = -190 + 229. Suppose -3*j = g - 83, -320 = -5*g - j + s. Is g bigger than 72?
False
Let k = -144.1 - -211.1. Let l = 128.71 + -61.68. Let z = l - k. Is z at least -3?
True
Let c = 214898 + -19126130/89. Which is bigger: -2 or c?
-2
Let g = 3.8 - 7. Let r = g + 9.2. Let s = r - 9. Do s and -3 have the same value?
True
Suppose 118 = -25*u - 32. Let s be (-10)/u - 41*(-3)/(-63). Is 58 at least s?
True
Let d = -9850 + 9772. Suppose 33 - 357 = 4*l - 3*r, -3*l - 4*r - 218 = 0. Is d greater than or equal to l?
True
Suppose 6*u - 24 = 3*u + 5*n, 4*n = 2*u - 16. Suppose 4*s = u*s - 24. Suppose 5*x - 98 = 4*d, 0 = 2*x - s*x + 3*d + 78. Is 20 <= x?
False
Let y be 8/36*(-2)/(-17760)*-9. Which is smaller: 1 or y?
y
Let h = -4242 - -4196.9. Which is bigger: h or 0.1?
0.1
Suppose 0 = 78*k - 52*k - 130. Let c(z) = -z**2 + 6*z + 1. Let g be c(3). Suppose -d + g = d. Are d and k non-equal?
False
Let x(h) = -2*h**2 - 4*h - 3. Let j be x(-3). Let a(f) = -f**2 - 13*f - 20. Let g be a(j). Let y be 10/(-2) + (g - 12). Which is smaller: y or 2/19?
y
Let o = 35.3 + -85.4. Let b = o - -50. Which is smaller: b or 45?
b
Suppose -2*g = -b - 615, -4*g + b + 3*b + 1224 = 0. Let u = -25358647/165 + 766899/5. Let l = u + g. Is l less than or equal to 0?
False
Let c = 15 + -14.76. Suppose 5*g = -2*l - 50, -13*l = 25*l + 5*g - 130. Which is bigger: l or c?
l
Let j(a) = -a**2 + 12*a - 33. Let c be j(5). Let b be (c/8)/((-4)/(-16)). Let x = -2 - -2.4. Which is bigger: b or x?
b
Let v = -50 + 48. Let g(r) = -r**2. Let d = 2 + -1. Let z be g(d). Is v < z?
True
Let w(c) = 1097*c + 131. Let p be w(0). Which is smaller: p or 172?
p
Suppose 2*m = -5*l, -3*l = -m + l. Suppose m = 3*r + s + 9, 0 = 5*r - 2*s - 3*s - 5. Are r and 2/5 equal?
False
Let q be 1824/180 + -10 + (-67187)/15 + 0. Which is smaller: q or -4480?
-4480
Let a(v) = v**3 + v - 1. Let s be a(2). Suppose 37*y + 5*b + 40 = 45*y, 0 = 3*y + b - 15. Is s greater than or equal to y?
True
Suppose 2*f = -f. Let y be 3/(-1047)*2092 - -4*60/40. Which is smaller: y or f?
f
Let y = -14 - 107. Let a = 121.345 - -0.655. Let n = y + a. Does n = 68?
False
Suppose 4*t = 5*t - 2*t. Let x = t - 2/9. Which is bigger: x or -1?
x
Let x = 3.254 + 1.246. Do 4 and x have the same value?
False
Let z be (0 - 190/(-106)) + 1. Let u = z - -7351/3498. Let v = 31/6 - u. Which is bigger: v or -1?
v
Let h(o) = 4*o**2 - 38*o + 155. Let x be h(4). Which is bigger: 71 or x?
71
Let w(m) = -42*m + 183. Let z be w(-5). Suppose -d = -386 + z. Which is smaller: -11/2 or d?
d
Let q be (0 - -187 - -3)*6/15. Let a = 74 - q. Let h be (9/(-27))/(a/6). Is 1/88 greater than h?
False
Suppose 4*u + 3*o + 2265 = -905, 4*o = 8. Let h be (-401)/u - (-16)/(-32). Which is greater: h or -1?
h
Let w be (-6 + (-108880)/(-18150))/((-3)/(-27)*16). Is w < 0?
True
Let d = 134/21 + -38219/273. Is -134 greater than d?
False
Let g = -23619/152 + 2950/19. Does -26/5 = g?
False
Suppose 5*b = w + 25, 25 = -b + 6*b - 5*w. Suppose 7 = 3*h + r - 16, b*h + r - 35 = 0. Let d = 8 - h. Which is bigger: 7/5 or d?
d
Suppose 5*z - 18*a + 17*a - 128 = 0, -3*z - a = -72. Suppose 4*i = 3*q - 96, -q + z = -0*i + i. Which is bigger: q or 27?
q
Let p = 18.4 + -19. Let h = 2.6 + p. Suppose -4*l + 2*l = -5*y + 66, y - 5*l = 4. Is h at least as big as y?
False
Let t be (-2628)/6495 + (-154)/(-385). Which is bigger: 1 or t?
1
Suppose -50 + 1124 + 226 = 25*v. Are v and 70 non-equal?
True
Let y be 525/9*(-4)/(-10). Let q = 183 + -160. Is y at most q?
False
Let w(f) = 2*f**2 + 138*f + 1095. Let o be w(-9). Is o smaller than 1005/71?
False
Let u be ((-114)/30)/(8/10) + 15 + -10. Is 3.62 at least as big as u?
True
Suppose 85*x + 89466 = -88*x - 49*x. Is -397 <= x?
False
Let h be (14/(-2))/(33/(-36)). Let m = 826.1 - 826. Which is greater: m or h?
h
Suppose 3*g + 3 = -2*l, 5*g + 5*l + 5 = -0*l. Which is greater: g or -16/879?
-16/879
Let l be (50 - 13) + 0/2. Let f = -115 + l. Let p(d) = -d**3 - 27*d**2 + 4*d + 31. Let u be p(-27). Is f bigger than u?
False
Let i = 1387 - 1427. Which is smaller: -0.057 or i?
i
Suppose r - 3*i + 1 = 0, 4*r - i = -0*i - 26. Let y be (-2512)/(-180) + r - 7. Which is greater: -2/5 or y?
y
Let z = -8.46 + 8.2. Let v = -1418 + 1418.3. Which is smaller: z or v?
z
Let s = -3 + 6. Let u = 3794 + -3792. Suppose -u*d + 3 = -a, 4 = s*d - a + 2. Is 1/65 greater than or equal to d?
True
Let v(x) = -x**3 - 31*x**2 + 39*x + 68. Let m be v(-31). Does m = -1140?
False
Let i be (-385)/(-33) - 13 - 3/9. Which is smaller: i or -2/841?
i
Let l = 30 - 16. Suppose -3*m + 2*h - l = 0, 0 = -0*m - 3*m - 4*h - 44. Let z be 42/m + (1 - (-3)/(-4)). Is -17/3 >= z?
False
Let i = 17590.71 - 17617. Which is bigger: -2/25 or i?
-2/25
Let x = 0.13858 + -1.13858. Which is smaller: x or 2.052?
x
Let f be -87 + (8 - -1)*5/15. Let n = f + 104. Suppose -v = -n + 24. Is -8 smaller than v?
True
Let g(l) = 31*l**2 + 8*l + 8. Let q be g(3). Is 305 < q?
True
Let j = -8 - -8. Suppose 3*t + n = -747, 113*n + 6 = 114*n. Which is greater: j or t?
j
Let o = -29.023 + 36.023. Is -2 > o?
False
Suppose -5*q = -10*q. Let a be -4*3 - (58 - 55). Let o be (a/6 - -2)*q. Does o = -1?
False
Let c be (321/364 - 0/(-9)) + 34/221. Which is smaller: 1 or c?
1
Let x = -18 - -17.97. Let c be 1*183/30 + -3. Let v = c - 7/2. Is v at least x?
False
Let y(z) be the first derivative of 13*z**2/2 + 7*z + 21. Let i be y(-1). Let g = 53 + -60. Does g = i?
False
Suppose v - 3 = 0, 6*v + 1194 = 2*m + 8*v. Let l = m - 2843/5. Is l less than 26?
True
Let t = 7076.075 - 7075. Is -3/2 equal to t?
False
Let v be (-32 - (5 + 2)) + -1. Let a be ((-64)/(-2))/((-290)/v + -4). Is 9 >= a?
False
Let c = 25 + -23. Let q be c*13/(-52) + 1011/(-10). Is q > -103?
True
Let p = -20 + 31. Let w = -3/121532 + 3949799/364596. Which is smaller: p or w?
w
Suppose 33 = -12*b + 153. Suppose b*m + 84 = 14*m. Let v(q) = -q**2 - 13*q - 2. Let l be v(-11). Which is bigger: l or m?
m
Suppose 5*s + 5*m - 10 = 0, -2*m = 2 - 4. Suppose 5*h = 5*x + 4*h - 47, -4*x = 5*h - 55. Let i(d) = d**2 - 10*d + 3. Let n be i(x). Which is smaller: s or n?
s
Suppose -4*f + 8*f = -56. Let k = 15 + f. Let x be 2*(175/170 - k). Which is greater: 1 or x?
1
Let c = 890 + -926. Let k be c*(-6)/(-60)*-5. Do k and 19 have different values?
True
Let a be (-1540)/(-56)*5/((-50)/24). Suppose -12 = -n - 4*l, 3*n = -2*n - 2*l + 6. Suppose n = -0*v + 5*v + 330. Is a greater than v?
False
Let x = -9031 - -9019. Is x bigger than -51?
True
Let i(c) = 622*c**3 + 20*c**2 - 17*c - 44. Let h be i(-2). Are h and -4905 non-equal?
True
Let k be (2*230/(-69))/(8/36). Let l = -5 - -4. Which is smaller: l or k?
k
Let t(y) = y**2 - y - 18. Let d be t(0). Let q be (-5)/((-30)/d)*(-1)/401. Let h = -1135/44511 + 