= -126.73 + 163.25. Which is smaller: t or 1?
1
Let z = 6 - -1. Let n be ((-54)/(-24) - 2)*(-16)/z. Let x be 2/5 + (-22)/30. Is x at least as big as n?
True
Let i = -0.8 + -0.1. Let n = 1.2 + i. Let f = -0.083 - -0.183. Is n at least f?
True
Let f(m) = m**2 + 5*m + 1. Suppose 9*x + 63 = -0*x. Let u be f(x). Let a = -14 + u. Is a > -4/9?
True
Let f = 331 + -290. Suppose -2*j + 3*t = 30, -10*j + t = -15*j - f. Which is greater: j or -6?
-6
Let i(q) = -8*q - 102. Let b be i(-13). Let p be (-6)/12*b*113. Is p smaller than -111?
True
Suppose 563 + 90 = 9*z - 454. Which is smaller: 116 or z?
116
Let p = -146519/442 - -663/2. Let x be 102/(-408) - (133/(-308) - (-6)/33). Which is greater: p or x?
p
Let z be (-153)/(-27) + (-2)/3. Suppose 0 = 3*o - 15, z*o = -5*k - 19 + 94. Let p be (10 - k)/(1 + 1 - 4). Which is smaller: -1/8 or p?
-1/8
Let a = 365/1081 - 14/3243. Let u = 3 - -1. Suppose u*h + 242 = 3*b - 115, -h - 5*b - 95 = 0. Is h less than or equal to a?
True
Suppose 3 = -2*m - 9. Let c = 6 - m. Let q = -2225/6 + 1150/3. Which is bigger: q or c?
q
Let l = -37.7 + 227.7. Let u = -190.024 + l. Let n = -0.06 - -1.06. Which is smaller: u or n?
u
Let w(k) = -k**3 - 2*k**2 + 6*k + 10. Let c be w(-3). Which is bigger: 4/495 or c?
c
Let k(q) = -5 - 8*q + 15*q - 24*q + 120. Let i be k(6). Which is smaller: 17 or i?
i
Let g = 39343602/29 + -1356392. Suppose 5*a + 307 - 1727 = 0. Let p = a - g. Is p at most as big as -1?
False
Suppose 0 = -5*n - s + 2, -2*n - 4*s - 7 = -s. Let b be 2/48*(n + (1 - -2)). Which is smaller: 35 or b?
b
Suppose -2176 = 56*s - 112*s + 72*s. Is -137 != s?
True
Suppose -9*q + 12*q - 826 = i, 0 = -i - 4*q - 861. Which is smaller: -842 or i?
-842
Suppose -2*n = 4*t - 110, 3*n - 6*n + 2*t = -173. Let o = 56 - n. Let p = -30 - -10. Which is greater: p or o?
o
Suppose -159*k + 168*k - 27 = 0. Suppose -5*x = 3*f - 20, -5 = -4*f - k*x + 7. Is f greater than -2/231?
True
Suppose 127*v = 6999 - 12968. Suppose 176 = -o - 3*o. Is v >= o?
False
Suppose -11 = 5*r - f - 44, 0 = -4*r - 4*f + 36. Let t be (2/6)/((-2)/(r + -3)). Let o(s) = 5*s + 23. Let x be o(-5). Is t smaller than x?
False
Let x = 0.28 + 146.72. Let o = x + -75. Does o = 1/3?
False
Let z be ((-4)/(-90)*-6)/(628/10). Let w = z + -455/3768. Is 0.03 != w?
True
Let r = 675 + -651. Let v = 25 - r. Which is smaller: -2/41 or v?
-2/41
Suppose n + 2*b = 3 + 1, 4*n + 5*b - 1 = 0. Let s be 4/(-6)*n + (-621)/18. Are -31 and s non-equal?
True
Let g = 134 - 52. Let q = 123.6 - 206. Let h = g + q. Are -5 and h non-equal?
True
Let k be 270/240 - (-1)/(-8). Do k and 0.0113 have the same value?
False
Let s = 46.9 + -47. Let w = 863 - 1092. Which is greater: w or s?
s
Let v be 10/(-8)*(-2)/(-10). Let y(r) = 16241*r - 16241. Let w be y(1). Do v and w have different values?
True
Let z(j) = 161*j**2 - 7*j - 3. Let s = -750 + 749. Let n be z(s). Do n and 165 have different values?
False
Let i(n) = 127*n + 6. Let r be i(1). Let w = -142 + r. Which is bigger: 4 or w?
4
Suppose 0 = 32*s - 3781 + 4325. Does 21 = s?
False
Let a = 51797 - 51801. Let x = 515/10519 - 3/157. Which is bigger: a or x?
x
Let w(q) = -92*q + 11212. Let k be w(124). Which is smaller: 25 or k?
k
Let y(w) = -w**3 + 13*w**2 - 22*w + 21. Let l be y(8). Suppose 0 = -2*n - 3*t - l, n + 74 = 5*t + 24. Which is greater: -77 or n?
n
Let i = -127.84286 + -0.05714. Is 0.2 less than i?
False
Let b(x) = x + 2. Let d be b(10). Let w be 5*(39/d)/(5/(-16)). Is w less than -53?
False
Suppose 4*f - 7225*g + 7229*g - 304 = 0, 5*f - 4*g - 470 = 0. Suppose -2*z - 2*z = -344. Is f > z?
False
Let p = 7531 + -937. Is p at most 6596?
True
Let b = 1306.8958 + -1307. Which is greater: b or -3/5?
b
Let w(r) = r - 5. Let b be (5/(-3))/((-2)/(-6)). Let g be w(b). Let k = -443/38 - -22/19. Is k equal to g?
False
Let s(y) = 999*y - 4996. Let q be s(5). Which is bigger: 2/12017 or q?
2/12017
Let o = -25.6 + -5.4. Let r = o - -16.8. Let n = r + 14. Is n at least -2/9?
True
Let h = 563/10703 + -1/1529. Which is smaller: h or -2/15?
-2/15
Suppose -2*v - 8 = 2*d, -14*d + 16*d + 4 = 2*v. Let c = -497 - -790. Which is smaller: v or c?
v
Let h = 248 - 1234/5. Let r = 161 - 178.7. Let u = 17.7 + r. Which is smaller: u or h?
u
Suppose -3*n = 4 - 1. Let f = -2/4227 + 3762/9863. Are f and n equal?
False
Let p be -11 - (10 + 4 + -25). Are 4/1057 and p equal?
False
Let t = -0.02684 - 0.87316. Which is greater: -154 or t?
t
Suppose p = -3*f + 10, -5*p + 4*f + 19 = 64. Let j(y) = -y**3 - 4*y**2 + 3*y - 8. Let t be j(p). Which is greater: 27/10 or t?
27/10
Let j(n) = -n**3 + 6*n**2 + 5. Let a be j(6). Let v be -4*((-5)/242)/a. Let t(s) = -s**3 + 24*s**2 + 36*s - 274. Let u be t(25). Which is smaller: u or v?
v
Let b be 10/((-1)/1) - (29 + -27). Let j be -8 + 416/48 + b/17. Is 4 at most as big as j?
False
Let c = 26856.71 - 26711. Is 2/5 smaller than c?
True
Let t = 24925/162 + 6590779/6642. Suppose 976 = a - 170. Let f = a - t. Does f = 1?
False
Let w be (-1 + 110/121)*11. Which is smaller: w or -126/181?
w
Suppose 6*p - 4*p - 5*x - 3 = 0, 0 = -p + 4*x. Suppose -o + p*o - 31 = -2*d, 3*o - 5*d + 4 = 0. Let l be ((-28)/8)/o*146. Which is greater: -72 or l?
-72
Let w be -1*(-28)/(-7)*-1. Suppose 76*v + 93 = w*h + 73*v, 22 = h - 2*v. Which is greater: 33 or h?
33
Let m = -3063 + 3391. Is m bigger than 327?
True
Let f be (-2996)/(-35) + 2/5. Suppose 8*d + f = -98. Let u be (-8)/12 + d/15. Which is bigger: u or -3?
u
Suppose -20*o - 12731 = 1969. Is o < -739?
False
Let w = -7401.5 + 7402. Let m(l) = -l**2 - 4*l. Let j be m(-3). Suppose -z + j*z = 0. Which is smaller: w or z?
z
Let s(c) be the first derivative of 4*c**3/3 + 3*c**2 - 4*c + 142. Suppose -k + 3 = 0, 3*g - 2*g - k + 7 = 0. Let j be s(g). Which is greater: 37 or j?
37
Let d(b) = b**3 + 12*b**2 + 4. Suppose -x = -4*x - 36. Let k be d(x). Suppose -2 = -5*p - 4*w, -p + 2 = -2*w - k. Which is greater: 11/6 or p?
p
Let r be 0/2 + -13 - 1. Let d be ((-422)/(-6))/(2730/9126). Let z = 1545/7 - d. Which is smaller: r or z?
z
Suppose 0 = 7*s - 932 + 1. Suppose s = 5*h + 2*h. Suppose h*q = 16*q - 48. Which is bigger: q or -19?
q
Let q = 12 - 0. Let m be 8/q*3/(-2). Let k be (2 + -10)/(-16)*(-16)/142. Are m and k equal?
False
Let v(c) = -12*c. Let u be v(-1). Suppose -u*j + 8*j = 4. Let z be j - (-8 + 5) - 2. Are -3/20 and z equal?
False
Let m be 16*(8 - 3230/513). Is 26 less than or equal to m?
True
Let x = 86 + -83. Suppose x*k - 38 = 76. Let m = 38 - k. Which is smaller: m or 4/5?
m
Let c(l) = 2*l**3 + 14*l**2 - 30*l - 174. Let q be c(-8). Is -796/13 greater than q?
True
Let t = -460 + 802. Suppose 0 = -7*b - 2*b - t. Which is smaller: b or -73/2?
b
Let c = -1395/13 + 1008/65. Let r = 440 + -531. Is c bigger than r?
False
Let b = 0.47 - 8.47. Let g(c) = 5*c**2 - c - 16. Let z be g(-4). Let p be 25 - 21 - z/18. Which is smaller: b or p?
b
Let m = -1700544/35 + 48591. Let v be (2/7)/((-100)/(-48) + -2). Let n = m - v. Does n = 1?
False
Let l be (3/4)/((-30)/(-20))*-2. Suppose -2*y + 6*s + 18 = s, 5*s - 36 = -4*y. Which is smaller: y or l?
l
Suppose 4*d + 3*h + 99 = -371, 4*h + 356 = -3*d. Which is smaller: d or -132?
-132
Let u = -37394.91 - -37165. Let j = u + 231. Let t = -8.09 + j. Which is greater: t or 0.03?
0.03
Let l be ((-21)/((-1197)/38) + (-1)/(-3))*2451. Is 2451 less than l?
False
Let a = 2.004 + -1.744. Let x = -32 + 32.06. Let q = -0.04 - x. Which is smaller: a or q?
q
Let u = -165 + -265. Let f = u - -437. Is 11 at least as big as f?
True
Let q = 14/2663 + 2364590/29293. Let i = -34720/429 + q. Let n = i - -27/26. Which is greater: n or 1?
1
Let w = 7167 + -7073. Is 34 != w?
True
Let j = -20215 - -19483. Which is bigger: -743 or j?
j
Let k = 840 - 492. Suppose -2*s = -k + 170. Is 89 at least s?
True
Let v = -250.28 + 250.28. Let j = 216 - 67. Is v smaller than j?
True
Let d(h) = -7*h**2 - 18*h + 250. Let i be d(5). Which is greater: 8/9 or i?
8/9
Suppose -5*j - 20 = 0, -48 - 499 = x + 7*j. Let k be (-14)/(112/(-24)) - (-1561)/x. Which is bigger: -1 or k?
k
Let p = 3267 - 3267.1. Which is smaller: -4/121 or p?
p
Let j be 68/(((-8)/42)/(396/54)). Which is smaller: -1 or j?
j
Let n be (-369)/(-1804)*(-760)/(-3). Is n <= 52?
True
Let s = 6 + 4. Let z(h) = 8*h**2 + 54*h + 16. Let o be z(-6). Let d = o + s. Is d greater than