(258 - -2)) + 11 + -2. Does l = -247?
False
Let p = -16 - -8. Let g = -40756 - -40755.1. Is p >= g?
False
Let y = -6874 + 5391. Which is smaller: -1485 or y?
-1485
Suppose 2*h - 450 = 2*r - r, 5*h + 4*r = 1099. Let x = -447/2 + h. Is 2 at least as big as x?
True
Let g = 122/655 + -118153/655. Let d = g - -178. Which is bigger: -3 or d?
d
Let w(k) = 12*k**3 - 4*k**2 + 10*k + 7. Let l be w(-5). Let i = l + 1668. Let v be (1/6)/((-2)/(-284)). Is i >= v?
True
Let m(d) = d**3 - 17*d**2 + 21*d - 78. Let w be m(16). Suppose 5*s - 13 = -4*y, -w*s - 9 = 2*y - 15. Suppose 0*c - c = 0, -u - 1 = -2*c. Is y < u?
False
Suppose 48*o - 50*o = -4*z + 1460, 3*z - 2187 = 3*o. Is -2/3 greater than o?
True
Let b be (-30)/(10 + (-50401)/5044). Are -3880 and b equal?
True
Suppose -5*k - f = -147, -4*f + 117 = 4*k - 3*f. Suppose -6*m + 6 = -k. Suppose m*i = -0*i - 54. Is i >= -7?
False
Let y(v) = -v**3 + 14*v**2 - 27*v + 24. Let r be y(12). Let l = r + 6. Let t be ((-3)/1251)/(1/l). Which is smaller: t or 0?
0
Suppose u = 5*j + 28, 3*u + 6 = 2*j + 25. Suppose 4*d - 55*k + 60*k + 373 = 0, 0 = 3*k + u. Are d and -92 non-equal?
False
Let g = 1599.2 + -1599.2. Which is smaller: g or 0.10148?
g
Let i be (((-6)/(-4))/((-3)/4))/(56/(-392)). Which is smaller: i or 139/10?
139/10
Suppose -3*c = 24 + 48. Let v(y) = -2*y**2 - 46*y + 74. Let z be v(c). Which is bigger: z or 20?
z
Let p(d) = -30 - 68 - 211 - 123 - 26*d. Let q be p(-18). Which is greater: q or 37?
37
Let k = 132 + -105. Suppose -k*d + 29*d = -5*q + 1188, 1193 = 5*q - 3*d. Is q at most 238?
True
Let f = 43 + -43. Suppose 0 = s + 3*y + 3 - f, -5*y + 23 = 4*s. Let n = s + -13. Which is smaller: n or -10/7?
-10/7
Let u = 187 - -197. Suppose -12*l + u = -8*l. Is 98 at most l?
False
Let y(k) = -k**3 - 21*k**2 - 20*k - 3. Let o be y(-20). Let j = 13025 - 208425/16. Which is bigger: o or j?
j
Let g = 1438 + -1258. Let j be (-5*(-3)/70)/(g/(-7)). Let r(h) = -2*h**3 - 2*h**2 - h. Let x be r(-1). Which is smaller: j or x?
j
Let g be 1316/(-282) + (-4388)/(-3). Which is bigger: g or 1456?
g
Suppose 0*f + f - 24 = -o, -2*o - 4*f = -42. Let i be (o/18)/((-1)/(-12)). Let a = -246 - -245. Are i and a non-equal?
True
Suppose -195*t - 16937 = -150*t + 9478. Which is bigger: -584 or t?
-584
Suppose -15 = -f - 3*x + 9, -5*x - 24 = -f. Suppose f = 2*j - 36. Let q = j + -14. Is q > 17?
False
Let q be 21/(-2)*(-88)/(-66). Are q and -211/16 equal?
False
Let n = 3 - -58. Which is smaller: 102 or n?
n
Let n be 2/30 - (-17)/(-255). Let k be (-4 + n)/(-4)*12/18. Is k != 3/97?
True
Let u(t) = -39*t**2 - 41*t - 2. Let m be u(-1). Is m at least as big as 5/1356?
False
Let u = -222732 - -9355405/42. Is 16 bigger than u?
True
Let q be (2 + -4)*5/((-30)/546). Suppose 180 - q = n. Are n and -19/12 non-equal?
True
Let h = -1087.68 - -1195.68. Let d = 14 + -72/5. Is d smaller than h?
True
Let r(x) = -x**2 - 13*x - 7. Let a be r(-11). Let b(d) = d**2 - 13*d - 20. Let j be b(a). Suppose -5*c + 10 = j. Do c and 1/4 have different values?
True
Let j = -77761 + 298524477/3839. Which is smaller: j or -1?
-1
Let a(b) = 2*b + 42. Let k be 4/(-7) - (-272)/(-14). Let l be a(k). Suppose 3*f = 6*f - 5*h - 7, l*h = -5*f - 40. Is f > -6?
False
Suppose 2*j = 3*f - 78, -j = f - 5*j - 26. Let y = 43 - f. Suppose -28*g + 35*g - 105 = 0. Is g at most as big as y?
True
Let t = -117494989/3136518 - -250/20367. Let a = t - -321/22. Which is smaller: -24 or a?
-24
Let b = 1831 + -16526/9. Let d = -133 + 129. Which is bigger: d or b?
d
Let p(a) = -a**3 - a**2 + 1. Let h(g) = -3*g**3 + 12*g**2 - 2*g - 17. Let u(s) = -h(s) + 4*p(s). Let v be u(-16). Let x = 24 + v. Which is smaller: x or 5?
5
Let r = 163 - 166. Let z be (-2)/r*4/8. Which is greater: z or 8?
8
Let q = 177.932 - 174.932. Let o = -35/2 + 1289/74. Is q >= o?
True
Let h(g) = -7*g**3 - 3*g**2 - 9*g - 4. Let l be h(-3). Suppose -35*y - l = -40*y. Is 37 < y?
False
Suppose -116 - 59 = -7*y. Let z = y - 23. Suppose 0*h - 3*h - 6 = 4*v, v + z*h = -4. Is 2/17 not equal to v?
True
Let y = -0.65723 - -30.55423. Let r = y - -0.103. Which is greater: r or -2?
r
Let f = 22 + -44. Let p = 1.845 - 1.855. Are p and f nonequal?
True
Let d = 61.0247 + 0.0753. Let q = d - -0.9. Let p be 288/(-270) + (-10)/(-15). Which is smaller: p or q?
p
Let n = -7.6 + -96.4. Let u = n - -103.14. Let v = u - 0.14. Does 1/19 = v?
False
Let y be (-490)/119 - (-6)/51. Let n be 11/(-33) - 481/141 - y. Do n and -1 have the same value?
False
Let x = 10/1043 + 869/235718. Let h = x - -425/2034. Which is bigger: 4/39 or h?
h
Let y = 6677 + -6645. Which is smaller: y or 24?
24
Suppose -2*k = -6*k + 208. Suppose 2*h + k = -78. Which is smaller: -63 or h?
h
Suppose -33111 + 128071 = -189*y - 13904. Which is greater: -2 or y?
-2
Suppose 3*z - 19 = -2*c - 2*z, 0 = 4*c + 2*z - 14. Suppose s + 10 = -c*w + 62, -12 = 3*s. Suppose 0 = -d + 5 - w. Which is greater: 0.1 or d?
0.1
Suppose -100 + 75 = -5*m. Suppose 1 = t - 2, m*j + 5*t - 60 = 0. Which is smaller: j or 68/9?
68/9
Let m = 329 + -139. Let y be (-38)/m*(1 + 13/(-2)). Let t = -5.2 - -5.4. Are t and y equal?
False
Let r = -481 - -480.9287. Let m = -1.4287 + r. Let g = -3 - -2. Which is smaller: m or g?
m
Suppose 8*y + 3*a = 5*y - 6, 0 = -2*a + 4. Let d be ((-2)/(-2))/(-2 - y). Let w = 3.4 - -47.6. Which is greater: d or w?
w
Let p = 67641/4 + -16884. Which is greater: p or 13/2?
p
Let l = 2234 - 6703/3. Which is smaller: l or -999?
-999
Let r(s) = 2*s**2 + 41*s - 491. Let a be r(-29). Let z = -761/6 - -128. Is z greater than or equal to a?
False
Let a = 5317 + -42521/8. Suppose 0 = 2*x - 6 - 0. Are x and a unequal?
True
Let o = -95429823 + 20517334934/215. Let y = 17250 - 88041/5. Let i = o - y. Which is smaller: i or 0?
0
Let c = 16550 - 20764. Is -4214 at most as big as c?
True
Let d = -20462309/155135 + 1/62054. Let a = d - -132. Is -2 at most a?
True
Let w be (-1533)/(-2580) - 15/25. Let x be 0/(8 - 5)*1. Is w bigger than x?
False
Let c = -15577.3 - -15580. Is -4/33 at most as big as c?
True
Let y = 4987 + -4983. Let v(u) = 0 + 0*u - u + 4. Let s be v(y). Which is greater: s or -2/101?
s
Let f be (-75 + 75)/(-2*(2 + -1)). Suppose f = 5*y + 424 - 404. Which is bigger: 4 or y?
4
Let a(u) = 7*u**2 + 1. Let c be a(1). Let h be (1/(-2))/(4/40*-1). Let t be (1 - (1 + h)) + 14. Is c equal to t?
False
Suppose 42*f - 38*f = -168. Let z = 42 + f. Let l be (1/(-28))/(10/60). Is z at least as big as l?
True
Let v be (-12 + -3 + (-387)/(-27))/(2/3). Which is smaller: v or 14/887?
v
Let n = 6.63 + -6.53. Which is bigger: n or 1305?
1305
Let w = 190 - 167. Suppose 3*y + 23 = w. Which is bigger: 2/51 or y?
2/51
Suppose -256*j - 236*j + 832 = -476*j. Is 570/11 < j?
True
Let g(u) = u**3 - 11*u - 29. Let z be g(5). Let v = 21 - -21. Is v < z?
False
Let i = 40938.958 + -40991. Let p = i + 0.042. Which is smaller: p or 1?
p
Let q = 83.85 + -82.85. Suppose -9 - 307 = 4*d. Is d equal to q?
False
Let i = -9 - -22. Let o = i - 41/3. Let t = -10/253 - 476/759. Is t greater than o?
False
Let v = 13 - 12. Let o = 2/6661 - 66632/73271. Is o != v?
True
Let j(n) = 14*n**2 + 167*n + 271. Let f be j(-10). Are -2/3977 and f unequal?
True
Let l = -1/8159 - -497745/375314. Is l greater than 2?
False
Let i = 3518 + -123122/35. Which is smaller: 4 or i?
i
Let m = 4.135 + -4.335. Which is greater: 585.1 or m?
585.1
Let c be (32/48)/(2/(-3)). Let s = -120 + 51. Is s at least as big as c?
False
Let x = -12575 + 12562. Is x bigger than -205?
True
Let z(c) = 2*c**2 - 27*c + 29. Let g be z(9). Suppose -2*r - 2*l = 96, -44*r = -49*r - 3*l - 242. Which is smaller: r or g?
g
Let t(s) = -33*s + 605. Let o be t(-28). Which is greater: o or 1528?
o
Let u = -1309.81154 + -0.18846. Is u not equal to 3?
True
Let q = 11 + -11. Let c be (7 + (-74)/10)*(-5)/100. Which is greater: q or c?
c
Suppose -3*y = -4*k + 69, 6*y = -2*k + 4*y + 24. Let n be (18/k)/(4/(-10)) + -153. Which is smaller: -157 or n?
-157
Suppose -38*a + 308184 + 1825480 = 261*a. Is a less than or equal to 7138?
True
Let x be (-7563)/6*(-2396)/(-38)*1. Let d = 78763 + x. Let n = d - -715. Is n less than or equal to 1?
True
Let c = 908/203 + -212944/3857. Is -52 at least c?
False
Suppose -4*m + 6*b - 5*b = 223, 275 = -5*m + 5*b. Let l = m - -17. Let g be (l/15)/(2/(-4)). Is 6 <= g?
False
