e
Let c = 61 + -65. Let g be c/((-3)/((-6)/16*-4)). Suppose 4*i = g*i + 14. Are 4 and i equal?
False
Suppose 5*m - 5*k = 25, 3*m + 232 = 4*k + 251. Let f be (-4)/(-8) + (-446)/896. Which is bigger: f or m?
m
Let t = 6 - 4. Let l be 2/(-3)*(-25 + -29). Suppose -t*m - m = l. Which is greater: 1 or m?
1
Let a be 132/(0 - 2)*(-104)/(-1404). Which is smaller: a or 0.9?
a
Let y = 454/2381356697 + 6578812198300114/85216849402145. Let t = 6/7157 - y. Let d = t - -77. Is -1 < d?
True
Let j be (-3)/285*(-18)/261. Is j at least as big as 0?
True
Let t = 6283 - 6331. Are -52 and t non-equal?
True
Suppose 3*w + 10*t - 4912 = 12*t, -4*t = 2*w - 3296. Let h = -201718/123 + w. Suppose 0 = 2*c + 5*x - 23, 3*c + 0 + 28 = 5*x. Which is smaller: h or c?
c
Let n be (3/(-2) + 4)/((-430)/(-48)*3). Let t(s) = -2*s + 3. Let k be t(2). Is n != k?
True
Let a = -52 - -58.03. Let s = -3107.3 + 3101. Let v = s + a. Which is smaller: 0.2 or v?
v
Let m(a) = -a**2 - 17*a + 631. Let k be m(-35). Is 2/14599 > k?
False
Let j be ((-2)/(-14))/((-6)/(-978)) - -2. Do 24 and j have different values?
True
Let x = 6349 - 5336.9. Let f = 1012 - x. Is f less than -22?
False
Let p be ((-14)/10)/((-127)/10795). Do p and 100 have different values?
True
Let x = 719 - 770. Which is smaller: -65 or x?
-65
Let q = -7.813 + -9.187. Which is greater: q or -2.92?
-2.92
Let q = 1327 + -293266/221. Let i = 199 - 199. Which is smaller: q or i?
i
Let k be (-18)/(-12)*2920/(-6). Let s be ((-1386)/33 + 773)*(-3 + 2). Which is bigger: k or s?
k
Let q = 975/2404 - 394/601. Let t = -0.049 + 20.049. Which is greater: q or t?
t
Let f = -20 + 25. Suppose f*n + 3*s = 5, -3*n - 2*s + 3*s = -17. Suppose -n*c + 2*c - 4*u = -16, 0 = -3*c - 4*u + 26. Is 9 <= c?
True
Let d = -0.342 - 145.658. Let a = d - -145. Is 3.4 > a?
True
Let y = 0.012 - 0.372. Let p = 8.94 - y. Let a = p - 9.2. Is a at least -4/13?
True
Let q = -851.49 - -858. Let u = -6.51 + q. Is -54.9 at least as big as u?
False
Suppose 0 = -21*b + 17*b - 64. Let q(s) = 2*s**3 + 30*s**2 - 21*s + 18. Let k be q(b). Let x = -130 - k. Which is smaller: x or -2?
-2
Let f be (-3)/(-2) - 81/54. Which is bigger: f or -11/316?
f
Let y(n) = -33*n**3 - n**2 - 2*n + 2. Let w be y(1). Let r = -29 - w. Let c = -13 + r. Are -3 and c unequal?
True
Suppose -2*q = -q - 35. Suppose 0 = -4*a + 5*i - 12, -5*a + i + 0*i + 6 = 0. Suppose 2*r + a*r - 136 = 0. Which is bigger: r or q?
q
Suppose -2*l - 20 = 3*l. Let n(q) be the third derivative of -q**4/8 - 7*q**3/6 + 426*q**2. Let o be n(l). Which is smaller: 7 or o?
o
Let m = 8.5 - -4.5. Let s = m + -15.4. Let v = s - -2.5. Is v less than -3/7?
False
Let z = -1484.7 + 1495. Is z at least -2/9?
True
Let g = -19826.9 - -19827. Are g and -0.3533 nonequal?
True
Suppose -10*i + 4*i + 4395 = 3657. Which is smaller: 5 or i?
5
Let a(n) = -n**3 + 38*n**2 - 69*n - 108. Suppose -8*i = 15*i - 828. Let p be a(i). Let f be -2*(-223)/(-222) - -2. Is p smaller than f?
False
Let g(i) = 38*i + 24. Let f be g(8). Suppose -186 = -f*j + 330*j. Is j greater than -93?
False
Suppose 5*q - 104 = 416. Let v = q - -40. Which is smaller: 143 or v?
143
Let i = 476 + -434.7. Let w = i + -32. Let q = -9.26 + w. Which is smaller: -1/3 or q?
-1/3
Let n(b) = 95*b**3 - 2*b**2 - 11*b + 2. Let m be n(4). Let x be m/(-17430) - 2/(-10). Which is greater: 1 or x?
1
Let l = -2038/15 - -419/3. Let b = l + -33/10. Which is smaller: b or 0.21?
0.21
Let t = 50.467 - -4.703. Is 2/5 < t?
True
Suppose -10*h + 441 + 89 = 0. Suppose 8*o - 5*o = y + 35, -y = 5*o - h. Let d be (4/90)/(o/5). Is d less than 0?
False
Let k = -21 + 25. Let o = -99.5 - -16.5. Let i = 82.99 + o. Is i less than or equal to k?
True
Let f be ((-1)/(-5))/(24/150). Let j(q) = -3*q**3 - 3*q**2 - 2*q + 2. Let a be j(-2). Let m be (20/a)/(-5)*1. Which is bigger: f or m?
f
Let j be (816/28)/(21/(6174/(-28))). Which is smaller: -1 or j?
j
Let w = 2110289934/6493 - 325010. Are w and 0 nonequal?
True
Suppose 5*n = -4*g + 1, -4*n + 4 = -2*g - 2. Let m be n + (25/(-5))/(-5). Let x be (1 - -7) + (m - (-1 - 0)). Is 12 less than x?
False
Let h = 0.16393 + -4325.16393. Is -0.2 at most h?
False
Suppose -2*t + 346 = -2*p, -t + 3*p - 582 + 761 = 0. Which is greater: 164 or t?
t
Let u be 2*(-1)/(-5)*18*14/124152. Which is smaller: -1 or u?
-1
Let f be 252/(-7) + (92 - 70). Suppose 2*l - 7 = 9. Let r be (6/(-4))/(1/l). Which is greater: r or f?
r
Let l = 12 + -152. Let q = l + 140. Is q < 1/2?
True
Let r be (-3*(-220)/18)/(1/3). Suppose -8*c + 13*c = r. Which is smaller: 23 or c?
c
Let t = 4892 + -83126/17. Which is bigger: 2 or t?
t
Let z be (-3)/6*6 + (7 - -47). Let q = 44 - z. Which is bigger: -55/7 or q?
q
Let k be (3 + -2)/(1/(-15)). Suppose -6*l + 342 = 24. Let p = l + -68. Does p = k?
True
Let s = -109.4 - -108.4. Let t be (-6)/30 - 802/(-110). Is t smaller than s?
False
Let o = 478 + -455. Suppose o*c - 42 = 29*c. Which is greater: -73/10 or c?
c
Suppose -4*n - 137 = -k, 5*n - 264 - 242 = -4*k. Suppose 5*q - 156 = 6*r - 3*r, k = 4*q - r. Is 33 at most q?
True
Suppose -3*f = i - 3, 5*f - 17 = -i - 12. Which is smaller: f or 19/1531?
19/1531
Let s be 2022/39 + (-46)/(-299). Is 20 <= s?
True
Let b(c) = c**2 - 20*c + 60. Let t(i) = i**3 - i**2 - 8*i + 1. Let o be t(4). Let p be b(o). Is 9 <= p?
True
Let j = 10116 + -9985. Which is smaller: -0.067 or j?
-0.067
Suppose 3*j = 2*u + 2, u + 0*u + 3*j + 1 = 0. Let a be (-483)/9 + u + 3 + -3. Is -54 greater than or equal to a?
True
Let o(a) = 6*a**2 + 17*a - 17. Let v(f) = -7*f**2 - 15*f + 17. Let h(d) = 6*o(d) + 5*v(d). Let i be h(-27). Is -21 less than i?
True
Suppose -93 = 1292*h - 1477*h + 92. Which is smaller: h or 3/13030?
3/13030
Let s = 2817 + -2673. Is s greater than or equal to 1886/13?
False
Suppose -f = p - 24 + 1, -4*f + 20 = 0. Suppose -m + 4*x + 10 = 2*x, -4*x = -5*m + 26. Let k be (-2)/((m/18)/(-1)). Is p smaller than k?
False
Suppose -2*a - 5*a = -7. Let n be a/156*9/(-24)*-4. Which is bigger: n or -1?
n
Suppose 17 = -0*x - 10*x - 7*x. Which is greater: 5/1178 or x?
5/1178
Let x = 1 + 0. Let p = 1.44 - 0.51. Let w = 10.93 - p. Which is greater: w or x?
w
Let q = -2209/5 - -15493/35. Let u(w) = w**2 + 12*w + 5. Let x be u(-9). Which is greater: x or q?
q
Let s be (-1 - 0)/((-51)/18). Let x be (-11 - 3036/(-275)) + 129/525. Which is greater: x or s?
s
Let c be (-8)/10*(-2520)/(-18333). Which is greater: c or 1?
1
Suppose -664 = 264*a - 260*a. Let w = -257 - a. Let u be -6*(8*2 + -1). Do w and u have different values?
True
Let j = -29477/58946 + 2/29473. Let h = 3859/2000 + -31/16. Is h equal to j?
False
Let i(u) = -4*u + 12. Let n be i(-26). Let r = n + -117. Which is smaller: r or -3?
-3
Let a(o) = -o**2 + 10*o - 8. Let f be a(9). Let s be 2 - (-609)/f - 2. Suppose -s = -2*h + 9*h. Is 0.1 > h?
True
Let v = -1 + 21. Suppose 1 + v = c. Let l be (-3 - (-8 - 8)) + 9. Which is smaller: c or l?
c
Let a(o) = 3*o - 36. Let g be a(-11). Let v be (4/(-1))/(-4) + -72. Let j = g - v. Which is greater: -2 or j?
j
Let i = -7.407 + 7.507. Is 6924 <= i?
False
Let c(b) = 288*b + 277. Let j be c(-1). Is j bigger than -198/19?
False
Let d = 6330 + -6326. Is 107 != d?
True
Let y = -5621 + 331830/59. Which is greater: 4 or y?
4
Let n = 3 - 7.2. Let b = 0.10457 - 0.10457. Is b >= n?
True
Let u(x) = -2*x**3 - 3*x**2 - 3. Let p be u(-3). Suppose 0 = k - y + 3, -y = 4*k - 12 + 39. Let n be 6/2 + 20 + (k - -6). Which is bigger: n or p?
p
Let g = 3815.08 + -3815. Is -3/7 smaller than g?
True
Suppose -5*b - 202*h = -207*h - 1265, -4*b + h + 985 = 0. Let n(w) = 8*w**2 + 6*w - 7. Let j be n(-6). Is j at least b?
True
Let k = 4567/7363216 - 7/4534. Which is smaller: k or -1?
-1
Let p = -1162644 + 29060423/25. Let u = p + 227. Let n = 21.1 + -21. Which is bigger: n or u?
n
Let z = -7 - -15. Let k = 9145 + -9143.1. Which is smaller: z or k?
k
Let b(y) = -14877*y**3 + 7*y**2 - 11*y + 2. Let k be b(1). Is -14880 equal to k?
False
Let w be (-6)/(-10) - 42228/(-170) - -8. Which is smaller: 253 or w?
253
Let k = -131 - -22. Let r = 103 + k. Suppose -2*f - p - 7 = -1, -3*f - 18 = -3*p. Which is greater: r or f?
f
Let t = -2/451 - -455/902. Which is smaller: t or 35/22?
t
Let s be (60/(-96) + 1)*(-5398)/3. Let c = s + 659. Let n(o) = o**3 - 10*o**2 + 8*o - 8. Let q be n(9). Is c greater than or eq