 y be (18/8)/(16/512). Suppose 21*u = 15*u - y. Is 0.1 greater than or equal to u?
True
Let z = 89 + -79. Let x be (z/(-20)*-1)/((-1)/128). Are x and -64 equal?
True
Suppose -16*d = -15*d - 4. Let x = -358 + 361. Which is greater: x or d?
d
Let u = -111 - -107. Let g be 1/(-2) - (-1443)/6. Let y be (-1)/u - 108/g. Which is smaller: y or -5/2?
-5/2
Let x = -158/13 - -17899/1508. Which is smaller: x or 0?
x
Let u = 22471272070238/23693 - 948435068. Let x = -1/817 + u. Let y = -2 - -3. Which is greater: y or x?
y
Let o be (2/3)/(8/(-1)). Let s be ((-4)/3 - 16/24)*(-10)/(-20). Is s less than o?
True
Let p be ((-5200)/(-216))/(-26) - 4/54. Let t = -558/5 - -78668/705. Which is bigger: p or t?
t
Suppose 720 = 4*f + 2*a, 1197*f + 372 = 1199*f - 2*a. Which is greater: 544/3 or f?
f
Suppose 25*r - 31*r = -24. Suppose 0 = -4*z + p + 33, r*p - 13 + 5 = -4*z. Let d be 9/(-36) + z/(-68). Which is smaller: d or -1?
-1
Let d(i) = 4*i - 30. Let m be d(9). Let a be 6/(-1) - -12 - m. Which is bigger: a or -2/89?
a
Let o = 90 + -86. Suppose -5*l + 2*x = 11, 5*l - 3*l = -2*x + 4. Is l less than or equal to o?
True
Suppose 6*m = -2286 + 1490 - 5066. Is m greater than or equal to -978?
True
Let u(k) = -k. Let m(y) = 4*y - 14. Let o(j) = m(j) + 3*u(j). Let s be o(11). Let z = 4851 + -4858. Is s not equal to z?
True
Suppose 5*c + 10 = 0, -3*o + 37*c - 145 = 33*c. Let n be (-3)/((-9)/(-1)) - 17/o. Is -11/37 greater than n?
False
Let a be -4 - (1 + 1) - (0 - -3). Which is bigger: a or -187/21?
-187/21
Let c(h) = -90*h - 1049. Let i be c(-12). Suppose -5*q - 5*d + 155 = 0, 0 = 4*d + d + 15. Is i bigger than q?
False
Let x = -6493 + 8371. Is 1876 at least x?
False
Let x = 32.76 - 32.86. Which is smaller: -793 or x?
-793
Suppose -4*d - 6*h + 2*h = 0, 12 = -d - 5*h. Let k be (-2)/d*1 + (-6)/(-9). Is 9/22 != k?
True
Let u be (-2 + 1)/4 - (-156)/48. Suppose u*s + 15 = 27. Let r be 27/s*48/(-18). Is -1 smaller than r?
False
Let m be (-228)/(-133) + 4/14 + (-3540)/(-27). Is 133 smaller than m?
True
Let y = -9453 - -9063. Is -394 at most as big as y?
True
Suppose 5*x = -5, -k - x = -5*x - 10. Suppose 4*o + 25 = -3*v, 4*o + 2*v - k + 36 = 0. Is o < -3?
True
Let l = -645661/9545046 - 5/16629. Which is greater: l or 0?
0
Let w(b) = b + 9. Let z be w(-8). Let s be ((-68)/12)/(z/3). Let h be (-6)/(-9) - s/(-3). Which is greater: h or -6?
h
Let d(n) = -2*n**3 + 61*n**2 - 326*n + 45. Let i be d(25). Is i < -1227?
True
Let s be (-21)/(-2) + 5/(-10). Let m be -1 - 0*((-25)/s - -3). Let n = -230/3 - -76. Is n not equal to m?
True
Let v = 4503.9 + -4378.9. Suppose -2*y = 5*d, -d + 4*y = -5*d - 12. Which is smaller: d or v?
d
Let f = -11978 + 11978. Let p = -3/397 - 253/19056. Are p and f unequal?
True
Let q be (-303)/(-12)*(0 - 8). Let v = 383/2 + q. Is v at least as big as -11?
True
Let g = 1 - 5. Let a be 3/24*-2*g. Let m = -3618/13 + 104948/377. Are m and a non-equal?
True
Let d = 152.34 - -2.66. Let k = d - 193. Which is greater: k or -0.3?
-0.3
Let p be 4 - 1154/(6*1/(-3)). Which is greater: 2327/4 or p?
2327/4
Let p(i) = i**2 + 5*i - 6. Let g be p(1). Let m = 6407/18 + -2107/6. Let t = 713/153 - m. Which is bigger: t or g?
g
Suppose -22*a = -12*a. Let n = -81 + 112. Which is greater: n or a?
n
Let u = 906.26 + -1.26. Which is bigger: u or -1/6?
u
Let s be 13/(39/(-33)) + 12. Is 4/1019 equal to s?
False
Let d(f) = f**2 - 24*f - 66. Let s be d(27). Let i be (-1*16/660)/(42/s). Is i <= -1?
False
Suppose 0 = -4*z + 5*z - 8. Suppose -z = l - 5*g, l + 7 = -4*g - 28. Is -22 less than or equal to l?
False
Let p = 22691 - 22690.7. Is 4/57 smaller than p?
True
Let p be 306500/750 + 26/6. Which is bigger: p or 29?
p
Let g be (4 - 2702/(-21))/((-29224)/186). Let b = -1/562 + g. Which is greater: b or -1?
b
Let j = 361/8 - 8231/184. Let l(u) = -u + 2. Let o be l(2). Is o <= j?
True
Suppose 5*b + 72*w - 76*w + 2904 = 0, 1164 = -2*b + 4*w. Which is greater: b or -584?
b
Let f = 1211 - 1193. Let s(t) = t**2 - 26*t + 136. Let i be s(f). Let v = 13 + -22. Which is smaller: i or v?
v
Let a = 2280 + -1680. Let h = a + -599. Let q be 12/10*1/(-3). Is q at least as big as h?
False
Suppose -x = -5*q - 1, -2*q - 34 = -5*x - 6*q. Let n be 48768/4004 + -12 + (-4)/26. Which is smaller: x or n?
n
Let n be (-171791)/8436 + 15 + 7/6. Is -3 < n?
False
Let o(g) = -13*g - 40*g - 77 + g**3 + 3*g + 0*g**3 - 390*g**2 + 437*g**2. Let f be o(-48). Suppose 2*m - 49 = -13. Is f at most m?
False
Let g be (-4)/(-2) + 246/(-123). Which is smaller: g or -16/17?
-16/17
Let h = -30 - -38. Let k(q) be the second derivative of 3*q**5/20 + 7*q**4/12 + q**2 - 56*q. Let y be k(-2). Which is smaller: y or h?
y
Let r = -24591 + 23309. Which is bigger: r or -1279?
-1279
Let n = 188.5 + -164.5. Which is smaller: 80 or n?
n
Let s = 1220.7 + -1273. Let g = s + 50.3. Is g < 46?
True
Let c = -1421 + 1422.039. Let p = 0.205 - 0.244. Let y = p + c. Which is greater: 0 or y?
y
Let c(d) be the third derivative of -d**6/120 - d**5/15 + 11*d**4/24 + d**3/6 + 15*d**2. Let s be c(3). Let t = s + 10. Is t bigger than -18?
False
Suppose 0 = -20*r + 915 + 5. Suppose 21*q = r*q + 2625. Is q bigger than -103?
False
Suppose 15*x - 3*r = 11*x - 17427, 8751 = -2*x - 11*r. Is x bigger than -4358?
False
Let v(b) = -b - 37. Let w be v(-29). Suppose 4*l + 21 = 57. Suppose -5*q + l = 24. Is q != w?
True
Let k = 326 + -320. Let a be -9 - k*(-25)/(-30). Does -16 = a?
False
Let a = -3575731825/108776768982 + -6/7824541. Let l = -3/331 - a. Let q = 55625 - 55624. Is q > l?
True
Let g = -81142 + 19474037/240. Let b = g - 1/48. Let k = 197 - 147. Which is bigger: b or k?
k
Let u be 23*(3 - 4 - (0 - -4)). Let k = -89 - u. Suppose 0 = -15*t - k - 4. Are -14/19 and t equal?
False
Let x be ((-4)/(-14))/(4/(-280)*-5). Suppose x*k = -4*k + 4*k. Let d = 5.44 + 0.86. Which is smaller: d or k?
k
Let x(i) = i**3 - 16*i**2 - 15*i - 45. Let t be x(17). Let f be t/((-42680)/(-15536)) + 4. Which is smaller: 0 or f?
f
Let y(n) be the first derivative of -2*n**2 - 7*n + 14. Let f be y(3). Let p = -18 - f. Which is greater: -1 or p?
p
Suppose -2*q - 2*q - 1522 = 2*g, -q - 3760 = 5*g. Let x = g + 33793/45. Which is greater: 17 or x?
17
Let h(b) = 28*b - 74. Let i(n) = -57*n + 147. Let m(v) = -5*h(v) - 3*i(v). Let s be m(3). Which is bigger: 0.1 or s?
s
Suppose 3*p + 49 = 10*p. Suppose -10 = -p*q + 4. Which is smaller: q or 5?
q
Let w be 3/(-6)*(-2)/1. Let n be ((-14)/(-10))/(1 - (-8)/(-10)). Let d be n + 2352/(-1170) + -5. Is w at most as big as d?
False
Let u be (12 + (-715)/22)*(1 - 2)*2. Which is smaller: u or -0.51?
-0.51
Let o = -3/188 + 115/1316. Suppose -8*x - 671 = 57. Let n = x + 91. Is o < n?
False
Let q(g) = g**2 - 2*g - 17. Let u be q(4). Which is smaller: u or -146/19?
u
Let x = -42 - -25. Let s = 16 + -12. Let k be -2*(-4 - -11) - s. Is k at least as big as x?
False
Let b be (-3)/((-9)/(-7))*3. Let z be 1*-6*b/3. Let y be (-3)/1932*-28 - 1490/(-115). Is z < y?
False
Let d = 0.4125 + -0.0525. Let o = -3.2 - -3.46. Let k = d - o. Which is bigger: 14 or k?
14
Let f be 4/38 + 3 + (-62334)/(-2394). Suppose -3*a - a = -116. Which is bigger: a or f?
f
Let k be -1*((-38)/22 + 1). Let c(n) = 35*n - 56 - 42*n + n**2 + 17*n. Let x be c(4). Is k equal to x?
False
Let g = -343 + 369. Let z = 25.9 - g. Is -71 at most as big as z?
True
Let y = -121 + 124. Suppose -4*l + y*m + 13 = -7, -5*l + 3*m = -22. Let p be 33/6 - 0 - 3. Which is bigger: p or l?
p
Let m(z) = z**2 - 15*z - 58. Let o be m(19). Suppose -17*x = -o*x + 25. Which is greater: 26 or x?
26
Let g be 4/(-56) + (-14693)/98. Which is greater: -143 or g?
-143
Suppose 3*l = 9 - 30. Let z = l + 10. Suppose d - 2 = z*s + 40, 0 = 5*s + 2*d + 81. Is 0 bigger than s?
True
Let w = 258 - 138. Let j = 162 + -278. Let d = j + w. Which is smaller: 0.1 or d?
0.1
Suppose -28 = 6*h + 20. Let v be ((-39)/(-12) - 4) + (-446)/h. Is 55 < v?
False
Let t = 712 + -729. Let g(x) = -x**2 - 15*x + 12. Let u be g(-16). Is t at least u?
False
Suppose 0 = -3*i - 79*x + 75*x + 1352, 2272 = 5*i + 2*x. Is 457 bigger than i?
True
Suppose -w - 31*u = -29*u - 43, 3*w - 3*u = 201. Is 59 not equal to w?
False
Let k(t) = t**3 + 4*t**2 + 19*t - 7. Let o be k(-6). Is o <= -195?
False
Suppose -6*a = -a - 10. Let m(b) = 2*b - 33*b**a - 2*b**3 + 36*b**2 - 4*b. Let