5341691. Let d = a + 225452280/231190219. Let r = -11/13 + d. Is 0 greater than or equal to r?
False
Let l = 2228 + -2866. Which is smaller: l or -1?
l
Let c(t) be the third derivative of 7*t**4/24 + 6*t**3 - 14*t**2 - t. Let x be c(-5). Is x < -1/9?
False
Let r(h) = -h**2 + 10*h + 5. Let x be (24/(-60))/((-74)/(-75) - 1). Suppose -b - 2*b = -x. Let c be r(b). Is 5 != c?
False
Let k be 1240/(-1488) - (3/(-234))/(2/(-212)). Are -3 and k equal?
False
Suppose q + 1312 + 8179 = -4*v, -v - 5*q - 2387 = 0. Which is bigger: v or -2371?
-2371
Suppose -2*w = -3*i - 26, 2 = -i - 2. Suppose -3*c + 14 = -5*r, -4*c + w*r = 2*r - 17. Suppose c*u = -3*v, 4*u + 3 = -0*v - v. Which is bigger: -5 or u?
u
Let z(p) = p**2 + 64*p + 736. Let m be z(-49). Which is smaller: m or -2/15035?
-2/15035
Let f = 5.2 + -4.98. Let u = 11.22 - f. Which is smaller: u or -2/7?
-2/7
Let o be (76/24 - 3)/(8/(-5800)). Let b = o - -1375/12. Is b != -6?
True
Suppose 22991 + 6984 = 13*d - 5*s, -2311 = -d + 3*s. Which is smaller: 2304 or d?
2304
Let d(r) = r**3 + 102*r**2 + 97*r - 403. Let n be d(-101). Which is smaller: n or -2/15775?
-2/15775
Suppose -250*r = -257*r + 6062. Which is smaller: r or 865?
865
Suppose 407*g + 914536 + 1025610 - 709378 = 0. Which is smaller: g or -3025?
-3025
Suppose -4*f + 16 = -0*f. Suppose -5*s = -t + 10, s = f*s + 3. Suppose -n + 10 = 2*y + n, -3*y - 5*n + 17 = 0. Which is smaller: t or y?
y
Let p be 1*5 - (-379354)/(-75886). Is 0 > p?
False
Let b = 761.9976 + -762. Let j = b - 0.1506. Is 2/7 bigger than j?
True
Let a(g) = -g**3 - 7*g**2 - 3*g + 3. Let y be a(-6). Let u = y - -24. Let i be 4 - -5*(-6)/u. Is i smaller than 1?
True
Let c = -772.66 + 55.66. Do 2 and c have different values?
True
Let w = 150056/2385033 - -2/5803. Is 2/7 less than w?
False
Let i be (-11 + 1321475/120125)*((-10)/(-26) + 0). Is i at least -1?
True
Let l = 10664 - 10889. Is l less than -232?
False
Suppose -582*u - 51 = -531*u. Is -1/177 > u?
True
Let d = 6.96 + -7.13. Is d bigger than -34?
True
Suppose 5*f = 3*k - 29, -4*k + 5*k + 2 = 0. Let m = -19376/45 - -95957/45. Let n = m + -1708. Which is smaller: f or n?
f
Let t be 14 + (11 - (-116184)/60). Is 1960 greater than t?
False
Let h(z) = -z**3 - 104*z**2 - 109*z - 619. Let c be h(-103). Is c > 2/40839?
False
Let t(l) = 2*l**2 + 5*l - 36. Let y be t(3). Let f = 14 + -12. Suppose 5*h + 3 + 23 = f*a, 3*a - 6 = 2*h. Is y less than h?
False
Let y(k) = -k**2 + 13*k - 38. Let r be y(16). Let o = 17199 + -69145/4. Which is smaller: r or o?
o
Let l be (-3 + 0)*2/15. Let w be (-10508)/18 - -1*(-10)/45. Let m be (-7)/((-882)/w) + (-10)/45. Which is greater: l or m?
l
Let q(b) = -b**3 + 11*b**2 + 38*b + 55. Let t be q(14). Which is smaller: -18/151 or t?
t
Suppose -103*o + 88*o + 45 = 0. Let w be (5/(-4))/(-1)*4. Suppose 2*f = -o*f + w. Which is greater: 6/41 or f?
f
Let o = 1888 - 17003/9. Which is bigger: o or -2?
o
Let w = -3658 + 3658.2. Is -2/4471 <= w?
True
Let l = 9.99 - -0.01. Let v = l + -9.68. Let d = 9066.9 + -9067. Does v = d?
False
Let i(g) = 1347*g + 1300. Let n be i(4). Does n = 6688?
True
Let l = -0.056 - 13.944. Let c = l + 13.75. Let y = -0.15 - c. Which is greater: y or 0?
y
Suppose -4*p - 26224 = 4*q, 3*p - 10 = 8*p. Let w = q - -111496/17. Which is smaller: w or 6?
w
Let u = 7305 - 7305. Which is smaller: 1/679 or u?
u
Suppose -38417 = -47*c + 29*c - 13469. Is 1386 less than c?
False
Let n(f) = -34*f + 729. Let z be n(21). Suppose -4*p - 186 = -26. Let y = p - -56. Is z at most as big as y?
True
Suppose 4*q - 5*u - 1 = 30, 2*u = 3*q - 18. Suppose q*d - 200 = -3*h + 2*h, -8 = 2*h. Suppose n + d = 4*n. Which is bigger: n or 13?
n
Let r be (-4 - -2) + 4*4*-3. Let h = r - -39. Let j(s) = -s - 7. Let n be j(h). Is n greater than or equal to 4?
True
Let x be 1266/(-180) + (-3 - -2)/(3 - 5). Is -0.4 >= x?
True
Let p = -113 + 177. Suppose -p*h + 59*h = -5. Is h greater than or equal to 24/11?
False
Suppose 162*v - 156*v = -12. Let w be v/14 + 93/37107. Is 0 at least as big as w?
True
Suppose -9*n + 3*n + 120 = 0. Let l be n/8*5/(25/(-6)). Let c be 6 + l - 2/16*17. Is c equal to 0?
False
Suppose 3*r + i = -262, -3*i + 2*i = -r - 86. Let t = r + 89. Suppose -t*g = 4*m + 6, -11 = -g - 2*m + 7*m. Which is greater: 20/13 or g?
20/13
Let w = 20213463/180176 - 1795/16. Is w less than or equal to 0?
True
Suppose -3*o - 3*n - 24 = 0, 3*o - 6*n + 8*n + 24 = 0. Let x = 56.3 - 52. Let c = x + -0.3. Which is smaller: o or c?
o
Let w(h) = h**2 + 39*h - 147. Let z be w(-44). Suppose 0 = 5*i - 4*u + z + 12, 0 = -5*u - 25. Which is smaller: i or -176/9?
i
Let d(y) = -y**3 + 6*y**2 + 9*y - 13. Let k be d(7). Let g = -378607/78 + 4854. Is k >= g?
True
Suppose -s + 3*t - 32038 = -3*s, -3*s = 4*t - 48056. Suppose -s = m + 13*m. Let r be (7 - (-455)/(-63)) + m/(-4986). Is r >= -1?
True
Let z = -30269 - -66553/2. Which is smaller: z or 3008?
z
Let n(u) = -2*u + 10. Let m be n(5). Let t be 2 + 20/24 - 4 - -1. Are t and m nonequal?
True
Let d = -5725 + 5725. Which is smaller: d or 1/1747?
d
Let d = 367 + -364. Suppose 2*f + 35 = -3*j, -d*j = -6*j + f - 41. Is -14 equal to j?
False
Let r be (2/(-3))/((10/(-678))/5). Let i be ((-623)/(-1106)*r)/(2/20). Let s = i - 1273. Is -1 less than or equal to s?
True
Let k = 0.051 - -0.949. Suppose -3*r + 5*r = 68. Suppose 2*d + r = 2*s, -s - 47 = -4*s + 2*d. Is k > s?
False
Let l = -3705 - -3705.1. Which is bigger: 67.88 or l?
67.88
Suppose -8*b + 11*b - 12 = 0. Suppose 4 = b*c + 4*i - 20, -5*c = 2*i - 18. Suppose 9 - 3 = c*j. Which is greater: 7 or j?
7
Let f = 298.55 + 2.45. Let b = f + -276. Is -2/3 not equal to b?
True
Let j = -147 - -163. Let m be -6 - (-2 + j/(-9)). Which is greater: -3 or m?
m
Suppose -4*y = -7*y + 126. Let o be (y/9)/(10/915). Let q = -7255/17 + o. Is q < 1?
True
Let m(a) = -a**2 + 11*a + 11. Let y be m(22). Let t = y - -193. Let j be 2*((-333)/(-6))/(-3). Which is smaller: t or j?
t
Suppose 2*w - 13*j + 12*j = -73, -5*w - 4*j = 163. Let y be (50/w)/(80/(-15)). Which is greater: 1 or y?
1
Let m(a) = -58*a - 59. Let l be m(-2). Let p(z) = 1118*z - 3. Let x be p(-1). Let v be (-2)/6 + x/l. Does -1 = v?
False
Let y be 17/((-5593)/(-188)) - ((-45756)/(-80122) + 0). Is -1 > y?
False
Let a = 25 - -15. Let x = a + -40. Let s be (10/(-120))/((-2)/(-4)). Which is smaller: s or x?
s
Let r = -1391 - -1433.68. Let b = r + -42. Let y = 0.32 + b. Is -0.24 bigger than y?
False
Let t = 0.94 - -124.06. Let r = 125 - t. Which is bigger: r or -0.42?
r
Let b be ((-2714)/(-28) - -1)/(5/10). Which is greater: 197 or b?
197
Suppose -4*o - n + 6025 = o, 2*o + 3*n - 2423 = 0. Let x = -1705 + o. Are x and -500 equal?
False
Suppose -5*q - 16*c = -20*c + 4 - 4, 5*c = 0. Which is greater: -2/6941 or q?
q
Suppose -83*q + 97*q + 13334 = 132*q. Which is smaller: q or 134?
q
Let r = -100382 - -100355.9063. Let d = r + -0.0063. Let f = d - -26. Is f at most as big as -0.1?
True
Suppose 2*p - 390 = -5*z - 100, 0 = -4*p - 20. Let w be 4/z + 1/3. Let y be (13 - 588/48) + (-55)/76. Which is smaller: w or y?
y
Let c be 27/5 - (-5 - 54/(-10)). Suppose c = 38*n - 33*n. Are n and -2/41 unequal?
True
Let p be 14/(-4)*(10 - 8 - 4). Suppose -p*c + 61 = -1955. Suppose -9*d = -17*d - c. Is d smaller than -36?
False
Suppose -2*c - 334 = -0*c + 5*x, -c - x - 173 = 0. Let m = c - -178. Let y = 1146/7 - 46944/287. Do m and y have the same value?
False
Let a = 20 - -113. Let j = -76 + a. Let y = j - 58. Is y greater than or equal to 52?
False
Let g(t) = t**2 + 12*t - 28. Let l be g(-13). Let z be -1*6/l - (-278)/(-645). Which is smaller: 0 or z?
z
Let u = -26152 + 23563. Is u at least -2592?
True
Let o be -2 + -15 + (319 - 182). Which is smaller: 1562/13 or o?
o
Suppose 0*j = -2*h + 4*j - 96, 5*h = -j - 273. Let p = 64 + h. Is 1 at most p?
True
Let f(w) = -w**3 + 5*w**2 - 3*w - 6. Let s = -383 - -385. Let o be f(s). Is o at least 2/33?
False
Let m be 4/34 - (-8 + (-3000)/(-357)). Is 73.7 equal to m?
False
Suppose 22 - 1 = 3*o. Suppose 0 + o = -k - 2*u, 0 = 5*k - u + 46. Suppose -15*r - 398 = -263. Is k > r?
False
Let m = -41 - -202. Let h = m - 161. Let z = -82 + 244/3. Which is smaller: h or z?
z
Let f be (1 - 1) + 15 + -16. Let c be 10 - (-19776)/(-1980) - (-1 - f). Which is smaller: c or 1?
c
Suppose -24 = -6*b + 12. Suppose -5*x 