3 + 99. Let o = a + d. Is 0.1 > o?
True
Suppose -b = c - 4, 5*c = 6*b - 2*b + 20. Let r be 280/60 - (-2)/(-3). Suppose 4*z - 19 = r*q - 3, -3*q + 4*z - 17 = 0. Is b at most as big as q?
True
Suppose -12 = -2*v - v. Let c = -4 + v. Which is smaller: -4/7 or c?
-4/7
Let k(v) = 372*v - 1. Let j be k(-1). Is j at most -374?
False
Let x = 67 - 4. Let s = 48 - 27. Let a be (-15)/7*s/x. Is a less than -1/3?
True
Let l be 180/14*(35/(-21) + 2). Which is bigger: 1 or l?
l
Suppose 36 + 21 = -3*x. Let z(o) = -3*o**3 + 7*o**2 - o + 2. Let i be z(3). Are i and x equal?
True
Suppose a = -26 - 116. Is -142 less than a?
False
Let n(w) = w + 1. Let o be n(3). Let h = -2148 - -15062/7. Are h and o equal?
False
Suppose 0 = -0*o + 5*o + 5. Suppose 0 = 3*y - 8*y - 30. Which is greater: y or o?
o
Let h be 418/138 + (-42)/6 + 4. Let a(s) = -2*s**3 + 2*s**2 - s. Suppose 4 - 1 = 3*p. Let i be a(p). Which is smaller: i or h?
i
Let n(g) = -g**2 - 5*g + 21. Let i be n(-9). Let o be ((-9)/126)/(i/(-248)). Let p = 8/21 + o. Which is greater: 4 or p?
4
Suppose 85 = 5*l - 2*o, 107 + 13 = 5*l + 5*o. Suppose -z - 4*w = 0, -2*w = z - 2*z + 18. Suppose 4*s - s + 3*b = z, 4*b = -s + l. Is -3/11 < s?
False
Suppose 388 = -5*m - 17. Let i = m - -109. Is i < -1?
False
Suppose 4*h = 18*h + 112. Let l be (5 - 2) + (-3 - (-10)/h). Is 0 < l?
False
Let b(z) = 13*z**2 + 15*z + 25. Let c(k) = -6*k**2 - 8*k - 12. Let t(s) = 4*b(s) + 9*c(s). Let w be t(-5). Are w and 6 unequal?
True
Let q be 1/((-59)/2 - -3). Let m = -31 + 34. Suppose 0 = 3*u - 6*u - m. Are q and u non-equal?
True
Suppose 11604 + 65804 = 5*m + b, -4*m = -5*b - 61909. Let p = 92597/6 - m. Let g = -48 - p. Which is bigger: g or -0.2?
g
Let w = -23 - -23. Suppose s - 10 = -0. Suppose 0 = 3*k - s + 1. Which is smaller: w or k?
w
Let r(j) = 4*j + 206. Let w be r(-32). Suppose 0 = -g + 39 + 38. Which is smaller: g or w?
g
Let k(d) = -2*d**2 + 17*d + 9. Let m be k(7). Which is bigger: 18 or m?
m
Let v be ((-7)/14 + (-9)/(-6))*1. Let m be 3 - 2 - (-45)/(-48). Is m > v?
False
Let x = -45.3 - -45.2. Is -192 not equal to x?
True
Let c(x) = x**3 + 7*x**2 + 7*x - 4. Let a be c(-6). Let f(r) = -r**2 + 8*r - 1. Let t be f(8). Let y be (t - -4)*(-2)/a. Which is smaller: y or 0?
0
Let p be (1134/2184)/(2/(-16)). Which is smaller: p or 1/4?
p
Let o = 47 - 901/19. Let a = -2/95 - o. Which is smaller: a or 2/11?
2/11
Let t(y) = 6*y + 2. Let l be t(-1). Let q be 0 + -4*3/l. Suppose -a + q - 4 = 0. Which is smaller: a or 0?
a
Let y(x) = -x**2 - 9*x - 15. Let j be y(-6). Suppose j*k - 12*k = 81. Which is greater: -47/6 or k?
-47/6
Let w be 16/28 + (-1824)/3094. Let d = 398/2431 - w. Which is bigger: 1/3 or d?
1/3
Suppose 2*b = -5*m - 120, 0 = -2*b - 60 + 50. Let h(o) = o**2 + 10*o - 5. Let d be h(-8). Are d and m non-equal?
True
Let o be 1 + 6 + (-64885)/285. Does o = -220?
False
Let r = -2313 - -2300.81. Let w = r + 0.19. Let t = w - -11.99. Is 0.1 less than t?
False
Let s = 1266.03 + -1260. Let z = s + -0.03. Is z at least 0.03?
True
Let x = 1.4 + 0.6. Is x less than or equal to 7/17?
False
Let p = 3/1888 - 649577/66080. Let b = -10 - p. Is -1 less than or equal to b?
True
Let g = 3653 + -25680/7. Which is smaller: g or -15?
g
Let c be -3*(5 + 1)/(-18). Which is smaller: -1/777 or c?
-1/777
Let t = 1534 + -56763/37. Let b = t + 187/1110. Does 1 = b?
False
Suppose 22*h - 1807 = 2065. Is 2 bigger than h?
False
Let z = 0 + 2. Suppose -z*g = -3*g. Let t = 2/1201 - -2304/58849. Which is bigger: g or t?
t
Suppose 6 = -2*v + 30. Suppose 48 + 12 = v*n. Is n > 4?
True
Suppose 0*z - 5*z = -102200230. Let w = z + -119145027587/5829. Let x = w - 5/201. Is x >= 2?
False
Suppose -4*q - 20 = 0, -3*c - q + 20 = -2*q. Let j be 4/(-18) - (-824)/144. Is j at least c?
True
Let q be ((-12)/8)/(9/(-24)). Suppose 0 = q*z - s + 11, -2 - 1 = -s. Let p be 2/(-5) + -2 - z. Which is smaller: 1 or p?
p
Let d = 36 + -67. Let l = d + 68. Is 1 < l?
True
Let y = 9460808901/8098605047 - 54/1486801. Let a = -6/419 + y. Which is greater: a or 1?
a
Let i = 8572/1283327 - -2/4567. Does i = 0?
False
Let k(l) = l**3 + 7*l**2 + 7*l + 5. Let w be k(-5). Let t = -16 + w. Let r be t/(-30)*1*-3. Which is bigger: 2/13 or r?
r
Suppose 4 = 5*h + 2*g - 32, -4*h - 2*g = -30. Let j be h/2*14/(-3). Which is bigger: -15 or j?
j
Let c(i) = i**3 - 13*i**2 + 2. Let s be c(13). Suppose 2*o + 3*h + s*h + 12 = 0, -2*o = -4*h - 6. Does o = -5/13?
False
Let x(z) = -2*z**2 - 25*z + 24. Let r(t) = t**2 + 12*t - 12. Let g(i) = 5*r(i) + 3*x(i). Let o be g(-15). Suppose -7*h = -o*h - 5. Are -1/38 and h nonequal?
True
Suppose -164 - 36 = -8*b. Suppose -b*a + 21*a + 24 = 0. Which is bigger: 2 or a?
a
Let n(u) = -u**2 + u + 2. Let m be n(0). Suppose 0 = -m*j - 0*j + 36. Let h(t) = -t**3 - 8*t**2 + 8*t + 10. Let l be h(-9). Is l bigger than j?
True
Let f = 640 + -649. Is f <= 25?
True
Let r(c) = 1. Let h(i) = 2*i**2 + 20*i - 19. Let z(j) = -h(j) + 4*r(j). Let v be z(-11). Which is greater: v or -1/156?
v
Suppose 7*o = o - 12. Let k be (-2)/o - 48/8. Let n be 12/k - (-14)/35. Is n less than or equal to -2?
True
Let x(f) be the third derivative of -f**6/120 - f**5/12 - 11*f**4/24 - 25*f**3/6 - 13*f**2. Let g be x(-5). Which is smaller: g or 31?
g
Let r = 0 + 0. Let f = -6.8 + 0.8. Let a = 5.94 + f. Which is bigger: r or a?
r
Let h = -10 - -14. Suppose -k - 2*k = -h*t + 31, 0 = t - 2*k - 14. Suppose -t*y - 3 = -y. Which is bigger: y or 0?
0
Let t be ((-27)/(-63))/(1/402). Let i = -172 + t. Is 1 < i?
False
Let r = -0.3 + 0.5. Let o = 0.8 - r. Let b = -0.76 - -1.76. Which is smaller: o or b?
o
Let s = -0.06 + 10.06. Let k = s - 9.96. Let u = k - 2.04. Is u at least 2?
False
Let i(j) = -3 + 6*j**2 - 5*j**2 - 3*j + 2. Let m be i(3). Let w = -526 + 526. Which is bigger: m or w?
w
Let b = 0.15 + 1.65. Let p = 131 - 130.8. Let c = b + p. Do 2/5 and c have different values?
True
Suppose -6*p - 299 = 25. Let n be (-2 + (p/(-15) - 2))*-1. Is 0 equal to n?
False
Let o = -6/607 - -2506/7891. Is -18 < o?
True
Suppose -5*z = 0, -o = 3*o + z - 244. Suppose -2*t - 82 = 2*k, -k - 3*t - 2*t = o. Is -36 less than or equal to k?
True
Let n = 168 + -164. Let c(m) = 4*m - 3. Let d be c(2). Which is bigger: n or d?
d
Let x(y) = y**2 + 17*y - 166. Let m be x(-29). Which is smaller: 183 or m?
m
Let m(i) = 40*i + 39. Let v be m(-4). Is -123 at most as big as v?
True
Let b(w) = -3*w**2 - 2*w + 1. Let g be b(1). Let c = 1870 + -1874. Are c and g equal?
True
Suppose w = -k + 46, -w + 0*w = 2*k - 88. Suppose -k = -6*z - 0. Suppose -z*g - 36 = 55. Which is greater: -14 or g?
g
Let i = -6602 + 6601.9. Let k = -0.1 - 0.9. Is k bigger than i?
False
Let w = -41 + 293/7. Let f = -16 + 16. Suppose -3*x + 0*x + 23 = 4*l, 2*l + 3*x - 19 = f. Which is smaller: l or w?
w
Let a = -761 + 760.57. Is -2/9 at most a?
False
Let o = 977.038 - 976. Let a = -0.038 + o. Which is greater: 85 or a?
85
Suppose -36 - 12 = -3*a - 2*y, -2*a = -5*y - 51. Let k = a + -8. Let f = k + -10. Which is smaller: f or 1/4?
f
Let b be 8/2 + 0 + -2. Suppose 0 = -f + 3*f + b*c - 58, c = 3*f - 71. Let g be 2/(-4)*(11 - f). Which is smaller: 5 or g?
5
Let n = 185 - 185. Which is bigger: n or -5/261?
n
Let o be 708/22 - (0 - 10/(-55)). Is o > 30?
True
Let p = 1/2022 - 4051/14154. Is -0.01 not equal to p?
True
Let m = -27 - -27. Let u(b) = b**3 + 12*b**2 + 10*b - 5. Let q be u(-11). Let k be (-5)/10 + (-2)/q. Which is greater: m or k?
m
Suppose 0 = 3*s + s + 5*m - 36, 4*m = 0. Let a(q) be the second derivative of q**4/12 - 5*q**3/3 + 6*q**2 + 10*q. Let v be a(s). Is 3 equal to v?
True
Let y(a) = -a**2 - a. Let c be (-3 + 2 - 0) + 0. Let i be y(c). Suppose -3*f + i*f = -18. Does 7 = f?
False
Let c = 0.23 - 0.03. Is -35 bigger than c?
False
Let r = -571 - 724. Which is smaller: r or -1296?
-1296
Let z(y) = 2*y + 13. Let k be z(-7). Let o = k + 0. Let r = -1 - o. Are -1 and r equal?
False
Let b = -8 + 7.4. Let t = 0.69 + 0.11. Let g = t + b. Which is greater: 0 or g?
g
Let f(g) = g**2 - 9*g - 36. Let v be f(-3). Is 25 greater than or equal to v?
True
Let d be (5 + -1)*(5 + -3 + -1). Suppose -5 = c - d. Is c != 1/54?
True
Let n = 0.01 + 1.83. Let s = n - -6.06. Let o = s - 8. Which is greater: 1/2 or o?
1/2
Let o(s) = -20*s + 7. Let q be o(-3). Suppose 5*x + 4*d = -144, -3*x - 14 = -3*d + 