75)/(-20)). Let i = 5/12 - l. Is i > 0.1?
False
Let o(m) = 2 - 1 - 3 + m - 6. Let h be o(17). Let p be h - (7 + 0 + -3). Which is smaller: 6 or p?
p
Suppose 0 = 4*g - 6*g + 3*n - 6722, -4*g = -4*n + 13440. Is -3359 equal to g?
False
Let l be (-14)/(-109)*9/((-99)/(-44)). Is 2 less than l?
False
Let b = -19/90 + 991/5760. Is 1 less than b?
False
Let r = 29872/17 + -1757. Suppose 1 + 11 = -4*q. Let u = 2 + q. Is u > r?
False
Let h = -89578932083/12369 + 137604912/19. Let x = h - 905/6. Is 0 bigger than x?
True
Let g(q) = 13*q**2 + q**2 - 15*q**2 + 4*q + 8 - q**3. Let l be g(-2). Which is bigger: l or 52/11?
52/11
Let r = -973 - -41843/43. Let g = -14 + 16. Suppose -6*l - 3*v - 15 = -2*l, -g*v - 10 = l. Is r equal to l?
False
Let j = 3 - 5. Let a = -2.1 - j. Let i = 11164 - 11163.971. Are i and a unequal?
True
Suppose -8667 = 11*b - 2430. Let p = -6268/11 - b. Is p at least as big as -4?
True
Let r = 2.118 - 3.518. Let q = -366 + 368.93. Let j = q - -0.07. Do r and j have the same value?
False
Suppose -h - 3 = 4*c + 7, 0 = -3*h + 4*c - 46. Let l = 32 + h. Let u(i) = i**2 - 18*i - 2. Let r be u(l). Which is bigger: r or 3/7?
3/7
Let v be 8/(-10)*65/(-91) - (-24823)/(-43379). Is v less than or equal to 0?
True
Let q = 100483/853961 + -1/50233. Do 127 and q have the same value?
False
Let a = 593375.63123 + -593500. Let i = a + -0.65923. Let n = i + 125. Do n and -2/5 have the same value?
False
Suppose 11 = -3*w - 2*o + 10, o = -2*w + 1. Suppose 91 = 5*m + 3*n - 0*n, -w*n = 3*m - 57. Which is bigger: 2 or m?
m
Let w(q) = -6*q + 3. Let c be w(0). Let l be c + (16/(-12))/(-2)*12. Suppose 0 = -l*u + 39 + 16. Which is greater: u or 28/5?
28/5
Let r = 349 - 564. Is r equal to -216?
False
Let z be (-6)/(-9) - (-8)/6. Let y be z/(-2*1/1). Is y less than -1?
False
Suppose 0 = 5*q - 40, 0 = 269*x - 537*x + 264*x - q + 44. Let k be (-339)/(-35) - 2/5. Is x greater than or equal to k?
False
Let t = 147 - 155. Let c be (-7)/14*t*-8. Are 3 and c non-equal?
True
Let v be 396/56 - (-1)/(-14). Suppose v*q + 4*q = -319. Is q < -29?
False
Let w = -1.3 + 2. Let g = -3.9 + w. Let d = -3.3 - g. Which is smaller: -2/7 or d?
-2/7
Let s be (-64464)/(-153)*(-3)/(-2). Suppose -3*x - 1288 = 5*l - 474, 4*x = 4*l + s. Which is smaller: l or -159?
l
Suppose 0 = 11*f + 355 - 267. Let y be (3/(-870)*-104)/(f/(-20)). Which is smaller: y or 1?
y
Let r be (9 + ((-6664)/40)/17)/(2/3761). Which is smaller: r or -1505?
-1505
Let s(d) = 82*d - 327. Let n be s(4). Is 4/447 at most as big as n?
True
Let o be ((-56)/(-6))/(256/(-2304)). Which is bigger: -592/7 or o?
o
Suppose r = 2*a - 485, -3*a + 0*r - r = -735. Suppose -115*i = 21*i + 90*i - 55370. Is i greater than or equal to a?
True
Let k(b) = -15*b - 106. Let x be k(-8). Let s(l) = 5*l**3 - 4*l**2 + 4*l - 1. Let m be s(1). Let f = 12 + m. Which is bigger: x or f?
f
Let v = 21212 - 21212.5. Let q = -9 + 118/13. Does v = q?
False
Suppose -5*n = 3*m - 79, 165 = 5*m - 2*n + 23. Suppose 0 = m*u - 33*u + 5. Which is greater: u or 15?
15
Let y(s) = -2*s + 34. Let t be y(-13). Let w be 4/12*t/92. Which is smaller: w or 1/2?
w
Let c be (40/100 - 3/(-5))*7. Let k be -28 + 27 + 5/c. Is -2.3 != k?
True
Let j(r) = 14*r - 132. Let c(p) = -2. Let l(s) = -3*c(s) - j(s). Let h be l(10). Is 6.7 != h?
True
Let s be (-210)/(-252)*(2 - (-6108)/10). Are 512 and s nonequal?
True
Let x(i) be the second derivative of -i**4/6 - i**3/2 + 19*i**2/2 - 31*i. Let t(s) be the first derivative of x(s). Let d be t(-1). Is d less than 2/175?
False
Let p be (-3)/4*-4 + -17. Let k be 583/(-146) - (p + 10). Which is greater: k or -1?
k
Let i be (-4)/6 - (-3536)/36. Let c = i + -14938/153. Suppose -94*f + 44*f + 42*f = 0. Which is bigger: f or c?
f
Let p(s) = -s**3 - 15*s**2 - 26*s + 8. Let w be p(9). Let m be (-6)/4 + w/(-124). Which is smaller: m or 20?
m
Let i = -1633 - -1663. Which is smaller: i or 24?
24
Let m be 3/(108/128) + -2. Suppose t = 35 - 31. Suppose 5*b - 1 - 4 = -h, 0 = -t*h - 20. Which is smaller: m or b?
m
Let g be (30/8 + -3)/(3 - (-63)/(-28)). Let h be (-2)/(-2) + (-168)/171. Is g at least as big as h?
True
Suppose -152 = -p + 2*p. Which is bigger: p or 2/7?
2/7
Let o = 773.23 + -763.23. Suppose 5*n = 4*c + n - 8, 0 = -5*n - 15. Which is greater: c or o?
o
Suppose 0 = -12*d + 17 + 19. Suppose 0 = 3*s + c - 181, -4*s + 303 = s + d*c. Let b = s + -44. Is b != 16?
False
Let x be (-1840)/20*2*1/(-36). Let n = 183 - 179. Is n at most as big as x?
True
Let p(a) = -a**3 + 16*a**2 + 12*a + 19. Let t be p(17). Let x be 52/t - (-30)/(-55). Which is smaller: 4 or x?
x
Let r = 122 + -96. Suppose 0 = 25*v - r*v - 1. Let b = 3.5 - 5. Is b at most v?
True
Let s = -1209.4 - -1322. Let q = s - 127. Which is bigger: q or -2/5?
-2/5
Let t(l) = 3*l**3 + 51*l**2 - 2*l - 28. Let m be t(-17). Suppose m*s - 15 = 3*s, 2*u = 2*s + 14. Is 12 bigger than u?
False
Suppose -5*x - 3 = -8*x. Suppose 5*n + 8 + 657 = 0. Let j be (-4)/26*(n/14 + 10). Which is bigger: x or j?
x
Suppose 2*q = -4*d + 4 + 8, 3*d + 2*q - 8 = 0. Suppose 104 = -4*s + 4*c - 3*c, 26 = -s + d*c. Is s >= -24?
False
Let u(g) = g**3 + 13*g**2 + 13*g - 202. Let y be u(-7). Which is smaller: y or 8/2391?
8/2391
Let d = 41.97 + -5644.97. Are d and 0.1 equal?
False
Let i = 0.145 + -0.245. Let t = -1541 - -1558.78. Let f = t + 0.22. Which is smaller: i or f?
i
Let b = 3286 - 13012. Which is smaller: -1/3 or b?
b
Let i = -3176.1 - -3176. Which is smaller: i or 3/881?
i
Let z be 4/10 + (-76)/(-10). Let v be 402/36 + (-6)/18 + (-76)/24. Is z equal to v?
False
Suppose 5106 = 164*d - 118*d. Which is smaller: d or 63?
63
Let l = -2 + 2.1. Suppose -235*b + 15956 - 211 = 0. Are b and l equal?
False
Let v = -17932 + 71725/4. Is v != 3/50?
True
Suppose -90 = -9*m - 0. Let z be (-5616)/1125 - m/(-2). Which is bigger: z or 0?
z
Suppose -o = 4 + 3. Let p(i) = 2*i**2 + 2*i - 24. Let q be p(o). Suppose -7*y - q = -4*y. Is y bigger than -20?
False
Let c(d) = -80*d + 4968. Let t be c(62). Which is smaller: 124 or t?
t
Suppose 0 = -2*o + 2, 5*j - 3*j + 4*o - 2 = 0. Let y be (-45)/132*(22/(-110) - (-6)/15). Which is bigger: j or y?
y
Suppose -2*f + 17 = y, -39 = -4*f - y - 0*y. Let h = -224305 - -672952/3. Does f = h?
False
Let k(j) = 26*j**3 - 12*j**2 + 30*j - 18. Let g be k(2). Which is bigger: 135 or g?
g
Suppose -73*g - 311*g - 18 = -402. Is g at least 5/461?
True
Let v = 966 + -962. Is 15 greater than or equal to v?
True
Let d be 0 - 6/(-52)*-20. Let y = d + 776/325. Let n(i) = 3*i + 11. Let l be n(-4). Which is smaller: l or y?
l
Let q be (-3)/(-65) - (-2)/(-10) - 26011821/1833. Which is greater: -14190 or q?
-14190
Let g(r) = -5*r + 8. Suppose -2*w + 22 = -2*o, -7*o + 2*o - 19 = w. Let p be g(w). Let y be 12100/(-2750) - 78/5. Is y at most as big as p?
False
Let o = 17.15 - 17.15. Which is smaller: o or -997?
-997
Let m = 131 - 129. Let a be -4 - -2*m/4*1. Do 5 and a have the same value?
False
Let t(x) = -x**3 + 12*x**2 + 200*x - 1413. Let v be t(6). Suppose 3*o + 0*o = -54. Is v bigger than o?
True
Let c be (78/(-4) - 4/2)*-4. Suppose -3*b - 38 = -c. Suppose b*j - 680 = 6*j. Do j and 68 have the same value?
True
Suppose 5*a + 82 = -2*l - 14, 0 = -3*l - 5*a - 129. Which is smaller: l or -1132/35?
l
Let s = -21.07 + 205.11. Let c = s - 184. Is -1 not equal to c?
True
Suppose -3*v - 430 = -5*h, 0*h - 3*h + v + 262 = 0. Let t = h - 34. Let q = t - 51. Which is smaller: q or 44/9?
q
Suppose 0 = 5*p - 390 + 140. Let s = p + -28. Let g be s/28*20 + (-4)/(-14). Is g at most as big as 16?
True
Let m be 0 + 0 - (-19 + 1). Let k(t) = -28*t**3 - 2*t**2 + 5*t - 2. Let d be k(2). Let z = 243 + d. Which is smaller: z or m?
m
Let a = 20 + -20.84. Let b = 0.882 + a. Let n = b - -0.058. Which is smaller: n or 1?
n
Let q = -415786 - -415775. Suppose 2*z - 253 = 527. Let h be (3/(-30))/(4/z). Is h greater than q?
True
Let q be (-1)/((9/27)/(5/3)). Let u be q/3*(-94)/(-235). Which is greater: -0.94 or u?
u
Let q = 48608 - 48601.7. Let x = -1.1 + 0.1. Is q >= x?
True
Let w = 61 - 57. Suppose 0*q + 105 = -q + 3*n, -w*n = 3*q + 289. Let m = -114 - q. Which is greater: -9 or m?
-9
Suppose 169*o - 375*o = 62*o. Let z be ((-78)/100)/(6/8). Which is greater: z or o?
o
Suppose 11*d + 104 = 19*d. Suppose 0*h - d*h = -2184. Are 167 and h non-equal?
True
Suppo