 -66 + z. Is u at most g?
True
Let x = -676509995/2992971336 - -1/2207206. Let m = x + 5/24. Which is smaller: 1 or m?
m
Let u = -4.91 + -0.09. Let l = u + -9. Let m(f) = 169*f + 506. Let w be m(-3). Is l greater than w?
False
Let w = -26.2 + -6.8. Let z = w - -12. Let s = z - -21. Is -7/3 equal to s?
False
Suppose -4*x - 10500 = -2*s, s - 4*x - 4758 - 504 = 0. Which is greater: 5237 or s?
s
Let j be 19 - 27 - (-1692)/211. Let m = j + 601/1688. Does -2/3 = m?
False
Let n(m) = 4*m + 11*m**2 - 2*m - 10 + 4*m**2 - m**3. Let f be n(15). Let y be 4 + (-12)/56*f. Is -0.03 < y?
False
Let p(o) be the second derivative of -o**4/6 + 34*o**3/3 - o + 30. Let q be p(34). Which is greater: q or -8/173?
q
Let w = -28821683/1071 + 26911. Let k = w + 69619/2142. Which is smaller: 33 or k?
k
Let u(a) = -29*a**2 + 14*a - 1. Let b be u(-3). Let o = -299 - b. Is o <= 25/6?
False
Suppose 0 = 5*s - i - 6 - 23, i = 1. Suppose -16 + s = -t - 5*z, -3*z = -3*t - 60. Which is bigger: t or -63/4?
t
Let y = 14 - -54. Let s = 77.4 - y. Let q = s - 3.4. Is q at most 0.1?
False
Let j be 34 + (0 - 20/(-4)). Let s be 3*4*j/576. Is s at most as big as 1?
True
Let v = -113 + 106.9. Let o = -6.3 - v. Let q = 1.08 - 1.4. Are q and o unequal?
True
Let q = 828566306/1521 - 544751. Let h = q - 1/169. Let s = h - -1/26. Which is smaller: -1 or s?
-1
Let g(q) = -q**2 - 74*q + 4385. Let b be g(39). Which is bigger: b or -41?
b
Suppose -4*z + 341 = -55. Suppose 0 = 6*d - 21 + z. Suppose 3*c + 6 = -2*x + 5*c, x + 3*c = 9. Which is greater: d or x?
x
Let w(m) = -m**2 + 56*m - 592. Let a be w(24). Which is bigger: a or 180?
180
Let u be (7/14)/(3/6). Let t(r) = -9*r**2 - 1. Let o be t(u). Is o > -10?
False
Let q = 2789 - 2781. Is 0.33 at least q?
False
Suppose 0 = -11*j + 14*j - 6. Suppose 2*d = -2*l, -j*l - 2*l = -12. Let c be ((-2)/(-7)*3)/(d/84). Is c >= 1/3?
False
Let n(q) = -q**3 - 2*q**2 - 11*q - 18. Let t be n(-3). Suppose t*j = 27*j - 51. Is 22 != j?
True
Let l = 7 + -6.5. Let k be (5083/78)/(-23) - (-2)/(-4). Is k smaller than l?
True
Suppose -5*b - 2*a - 357 = 0, 4*b - 3*b + 81 = -2*a. Is -4 at most as big as b?
False
Let r = -702761558/207 + 3394990. Let i = -132/23 + r. Is i greater than 1?
False
Let o(l) = -l**2 + 23*l + 24. Let z be o(24). Suppose 30*j - 27*j = z. Let q = -8776/19 + 462. Do j and q have the same value?
False
Let x(v) = 4*v**2 - 12*v - 31. Let z be x(-3). Let o be 5 - z - ((-4 - 0) + 1). Which is greater: -131/4 or o?
-131/4
Suppose 0 = -475*s + 471*s. Which is greater: s or 2/13879?
2/13879
Suppose 0 = 4*f - 5*k - 14, 1213*k = 4*f + 1216*k - 62. Which is smaller: f or 85/7?
f
Let v = -0.96664 + -0.03336. Which is smaller: -336/11 or v?
-336/11
Let z be (-531)/(-1770)*(-124)/22. Which is bigger: -1 or z?
-1
Let x be (-2)/(-18) + 2006/(-9792). Suppose 5*y + 7 = -3*u, 0*u - 4*u + 14 = -5*y. Is x bigger than u?
False
Let m(d) = d**2 - 6*d + 6. Let r be m(5). Let x be (-102)/(-4)*(r + (-18)/27). Is x less than 8?
False
Suppose 17 = 4*c - r, -4*c + 13 = 5*r + 2. Let z be (-32)/(-20)*(-2 + 172). Let o = z - 269. Is o != c?
True
Let d = 16736 + -16295. Are 1/5 and d equal?
False
Let h(x) = -1 + 21*x + 0 + x**2 + x**3 - 25*x + 3. Let d be h(1). Let q(g) = -g**2 - g - 2. Let m be q(d). Which is smaller: m or 3?
m
Let i = -25919 + 25974. Which is smaller: i or 64?
i
Let l be (-2)/(-11) - ((-5781)/(-33) + 1). Let d = l + 168. Which is greater: d or 2?
2
Suppose -4*k + 0 = -56. Let l(n) = -n**2 + 14*n + 3. Let q be l(k). Let d be (3/(-6))/(q/66). Which is bigger: -10 or d?
-10
Let j = -395/14 + 3415/126. Which is greater: j or -20?
j
Let r = 994 - 1486. Let n = -495 - r. Which is smaller: -0.1 or n?
n
Let l = -55.93522 + 0.04522. Let c = 56 + l. Let h = 0.15 + c. Is h at least as big as 2?
False
Let k be (-14)/49 + (-18)/(-161). Suppose -2*t = 14 - 6, 5*c + 2*t - 47 = 0. Suppose -c*w = 10*w - 21. Is k < w?
True
Let c = 234.22 + -234.36. Are -389 and c non-equal?
True
Let o be (-1)/(-4) + (-31708)/(-16). Let h = 687752/347 - o. Let t = 1061/3470 + h. Are 2 and t equal?
False
Suppose 51 = -x + f, 45*x - 43*x + 74 = -5*f. Let w be 1/(-2 + (-271)/(-137)). Is w greater than or equal to x?
True
Let l = 1.4 + -1.469. Let c = l + 0.269. Is 2/5 not equal to c?
True
Let l be ((-67)/(-1) + 0)/1. Let p be 58 + 12 + (-6 - (7 - 10)). Is l < p?
False
Let z = 2915 + -2914.53. Which is smaller: -23 or z?
-23
Let y(s) = -s**2 + 7*s + 13. Let o be y(10). Let b = 28 + o. Let k(z) = z**2 - z - 2. Let i be k(0). Which is bigger: b or i?
b
Let o = -1/10197 + 5563/10197. Let b(x) = -x**3 + 5*x**2 - 2*x - 3. Let j be b(4). Let t(a) = a**3 - 6*a**2 + 5*a. Let l be t(j). Is l not equal to o?
True
Let y = 939/11961715 + 1384020126679/128755900260. Let o = -2/2691 - y. Is o at most as big as -10?
True
Let s = -11991 - -14293271/1192. Let a = -5359/5960 + s. Suppose 0*d + d = 0. Are d and a nonequal?
True
Let d = 861/19 - 76591/1691. Which is bigger: -8 or d?
d
Let o = -1899 - -1798. Are 20 and o nonequal?
True
Suppose 51*o = 50*o + 278. Suppose 0 = -10*x - o + 218. Let y = 29/24 + -15/8. Which is smaller: y or x?
x
Let v = 1.154118 + 0.045882. Let l be -1 + (33/(-18) - -3). Is v at least as big as l?
True
Let b = 3 + -2. Let p be 7 - (0 + 3 + 9). Let f be 2/b*(p + 104/20). Which is smaller: f or 0.07?
0.07
Let s = 10/296073 - 383612647/21613329. Let g be (-1 - 17) + 2/6. Let z = g - s. Is 0 > z?
False
Let n(f) = 2*f - 1. Let x be n(-4). Suppose -1122*h + 1101*h - 63 = 0. Are x and h non-equal?
True
Let g(c) = 13*c - 2. Let x(k) = -14*k + 4. Let s(j) = 2*g(j) + 3*x(j). Suppose 4 = 2*q - 2. Let f be s(q). Is -41 at most f?
True
Let m be (-3)/((2 + -4)/(-2)). Suppose -b - 18 = 5*v, -58*b + 60*b - 24 = 5*v. Let s = m + b. Which is bigger: 1/20 or s?
1/20
Let s be (462/90 - 8/60 - 3) + -3. Which is smaller: -1/7562 or s?
s
Let l = -832 + 832.1. Which is smaller: -1/4974 or l?
-1/4974
Let y be (465/(-45))/((-1)/15). Let g = 149 - y. Let h be (1/2)/(2/(-44)). Which is smaller: g or h?
h
Let q = -1309 + 2005. Suppose q*l = 702*l - 30. Which is smaller: l or 3.1?
3.1
Suppose -51*w + 67 - 16 = 0. Are 55/41 and w nonequal?
True
Let z = -69 - -91. Suppose 0 = 5*i - 12 + z. Let x be (9/i)/((-3)/(-8)*-1). Do x and 10 have different values?
True
Let g be (-42)/49 - 17727/(-16492). Is 0 <= g?
True
Let p(w) = 38*w**2 - 2*w. Let x be p(1). Let a be (-6 - -3)/(2 - 205/105). Let j = a + 100. Which is bigger: j or x?
j
Suppose 5*p - 27 = k - 0*p, -3*k = -4*p + 26. Let u = 530583 - 4775273/9. Are k and u nonequal?
True
Suppose -8389 = 5*s - q, -4*s - 1714 - 4982 = 3*q. Which is smaller: s or 1/5?
s
Let p = 331 - 322. Suppose 0 = 7*u + p*u + 32. Let q = 14.09 + -14. Which is bigger: q or u?
q
Let r(k) = 15*k - 55*k - 8 + 15*k + 3*k + 3*k**2. Suppose -35 = -y - 4*y. Let f be r(y). Is -13 bigger than f?
True
Let x = 0.2248 - 1.2248. Does 0.1632 = x?
False
Let u = -2203 + 2830. Which is bigger: 630 or u?
630
Let b = -2659/30756 + 8/2563. Is -3.7 > b?
False
Suppose -3*l = -k + 36, -l - 82 + 70 = 4*k. Let w(n) = -4*n**2 - 3*n - 2. Let i be w(-2). Is l less than or equal to i?
True
Let x = 59.1 + 1.9. Let c = 61.16 - x. Let r = c - 0.76. Which is smaller: 0.3 or r?
r
Suppose 4*o - 5*z + 18593 = -2*z, -4*o + 8*z = 18568. Is o bigger than -4651?
False
Suppose 0 = -2*r + 10 + 6. Let g be (4/(-6))/((-12)/450). Let s = g - r. Which is greater: s or 18?
18
Suppose 4*z = -3*w - 13, 3*z = -w - 0*w - 11. Suppose 0 = -3*s - 21 - 30. Let m(a) = a**3 + 16*a**2 - 17*a. Let j be m(s). Which is smaller: j or w?
j
Suppose d = -5*p + 33, 0 = -8*p + d + 49 - 4. Which is smaller: p or 161/26?
p
Suppose -96 + 80 = -8*y. Suppose -3*f + 12 = 5*u + 3, -y*u - f = -3. Which is bigger: u or 3/130?
3/130
Suppose 6*t = -w - 6019, 4*t + 3*w + 2222 + 1793 = 0. Which is smaller: -1002 or t?
t
Suppose 56 = g - 53. Suppose 5*b - 131 = g. Let m = b - 61. Is -12 greater than or equal to m?
True
Let p be (-3 + 10/6 - 4)*-3. Let i(m) = -17*m - 1. Let d be i(-1). Let r = p - d. Is r less than -18?
False
Suppose 0 = -3*p + 8*r + 38, -948*p + 945*p + 3*r = -18. Is p less than or equal to 163/140?
False
Let j = 2614 + 2963. Does -2 = j?
False
Suppose -70*j + 80 = -66*j. Suppose j = 8*q - 12. Let w be -3*q/(-3) + 3. Is -1/2 equal to w?
False
Let z = 0 - 1. Let s = 95