s bigger: i or -20/3?
-20/3
Suppose g - 38 = -33. Are 23/5 and g equal?
False
Let x = 213 + -215. Which is smaller: x or 4/17?
x
Suppose -7*i + 385 = -322. Which is smaller: 103 or i?
i
Let x(d) = -19*d**3 - 4*d**2 - 3*d + 3. Let b be x(-2). Are 145 and b nonequal?
False
Suppose 8*d = 13*d - 60. Suppose -5*j + 5*m = -70, -2*j + 8 = -10*m + d*m. Let a = -4 + 2. Is j smaller than a?
False
Let a = -2323 - -72007/31. Let l = -2 - -2. Which is bigger: l or a?
l
Suppose 0 = -9*i - 2*i + 187. Let v(t) = -t**2 + 16*t + 16. Let j be v(i). Are 1/8 and j nonequal?
True
Let m = -1563 - -1611. Which is smaller: 44 or m?
44
Let n = 4/489 - -461/3423. Which is smaller: -38 or n?
-38
Suppose -n - c = -28, 2*n + c + 4*c - 47 = 0. Let q = n - 31. Is -2/149 bigger than q?
False
Suppose 0 = f + 5*v - 6, -6*v + 2 = -4*v. Is f at least 2/743?
True
Let j = 17.032 - 1.032. Let w = -1.2 - -1. Does j = w?
False
Let i = -107 + 121. Suppose -94 = -i*y + 4. Are 8 and y non-equal?
True
Let u = -0.07 - 0.02. Let j = 0.41 - u. Which is bigger: j or 4?
4
Let r = 27.75 + 2.25. Is r at most -0.5?
False
Let c(y) = y**3 - 3*y**2 - 2*y - 2. Let x = -32 - -57. Suppose -5*n - g = -0*n - x, -n = -5*g + 21. Let p be c(n). Is -2 <= p?
True
Let b be (-1)/(-5) - (-87234)/(-421095). Are 0 and b unequal?
True
Let t = -981 + 741. Is t >= -240?
True
Let y be 75/10*10*6/(-525). Which is greater: y or 47?
47
Let b = -9.091 - -0.091. Let k = b + 10. Which is smaller: 0 or k?
0
Suppose y = 3*v - 129, -3*v + 3*y = -117 - 18. Is 42 greater than v?
False
Suppose 4*n = 4*r - 368, 2*n + 3 + 3 = 0. Let k = r + -237. Let v = k + 1479/10. Which is bigger: v or -1?
v
Suppose 2*s - 872 = -1360. Is -246 > s?
False
Let r(y) = -y**2 - 8*y - 7. Let u be r(-7). Suppose u = -3*t + 27 - 6. Let s(q) = q - 15. Let o be s(t). Is 2/7 smaller than o?
False
Let j = -0.263 + -0.337. Which is greater: j or 2/19?
2/19
Let s = 38.694 + 0.306. Let w = -4 + 5. Which is smaller: w or s?
w
Let m = -9.3 + 8.8. Which is smaller: -5 or m?
-5
Suppose 5 = l + 4*l. Suppose 6*g = 7 - l. Which is bigger: g or -6/19?
g
Let m(p) = -p**3 + 6*p**2 + 9*p - 2. Let z be m(7). Let l be (-6)/z*(-1 - 7). Suppose 0*s - l*s = -56. Is s <= 13?
False
Let l be (-10)/((2 - -17)*-1). Let o = -1054 + 1053. Which is smaller: l or o?
o
Let i = 126 + -116. Let b be (-4)/(-3)*9/(-2). Let l be (-21)/(-14)*(-40)/b. Does l = i?
True
Let b = -8/367 - -2252/170655. Are b and 1 equal?
False
Let h = -6.4 + 7. Let w = -9418 - -9418.12. Is w <= h?
True
Let s = -9 + 1. Suppose 7*o = 2*o - 45. Let d = 3 + o. Is d less than or equal to s?
False
Suppose p - q + 2*q = 0, -4*p - 2*q = 4. Suppose -5 + 2 = -u. Let n be (0 - (-4)/(-12))*u. Is n greater than p?
True
Suppose -2*v - w - 25 = 2*v, 3*v = 3*w - 30. Let f be (1 - -1)/((-2 + 1)/(-2)). Suppose -o - 4 = t + f, -18 = 2*o + 4*t. Is o > v?
False
Let c(y) = y**3 + 12*y**2 + 13*y + 7. Let k be 1/(-2 - (-21)/11). Let r be c(k). Let o be 3/r + (-93)/(-15). Is 6 greater than or equal to o?
True
Let x = -77 - -62. Let j = -23 - x. Does 0 = j?
False
Let x = 931/18 + -103/2. Suppose 5 = -51*i + 46*i. Are i and x nonequal?
True
Let g be 1320/(-140) - 3/(-7). Is g greater than -9?
False
Let y = -453025/416 + 1089. Let h = y - -851/7904. Let t be 0*(3 - 21/6). Which is bigger: t or h?
h
Let d(y) = -83*y**2 - 9*y + 12. Let h be d(2). Which is greater: h or -337?
-337
Let r = 18129 - 18121.181. Let l = r + -0.019. Let a = 2.2 + l. Is 0.1 <= a?
True
Let t be (94/(-6) - 16/(-24))/1. Suppose -2*h - 39 = 5*b + 35, h = -4*b - 61. Which is greater: t or b?
t
Suppose -6*r + 2 = 4*l - 8*r, -3*r = -9. Let d be 42/((9/(-15))/(l/(-5))). Which is bigger: d or 0.1?
d
Let r = 229/32 + 11/32. Is 9 equal to r?
False
Let k(n) = -n - 19. Let j be (5/5)/((-1)/18). Let f be k(j). Is f greater than or equal to 1?
False
Let r be (-11)/4 + 2/(-8). Let w = 706 + -710. Is w at most as big as r?
True
Let s = 156.58 - 0.58. Which is smaller: 2/5 or s?
2/5
Let q = 4 + -1. Suppose -5*m + 34 = 4*d + 5, -q*d = 4*m - 23. Suppose 4 = -3*h + 2*v, -2*h - 2*v - 11 - m = 0. Is h less than -2?
True
Suppose -5*z + 130 = 5*i, -5*z - 27 = 4*i - 136. Suppose -3*h - 2 = -2*o + 11, o = -4*h - i. Are -2/3 and o nonequal?
True
Let u = 0.0271 - -0.1299. Which is smaller: 0 or u?
0
Let y = 2/17325 - -32992/14362425. Which is smaller: -1 or y?
-1
Suppose -2*j - 155 = 5*m, -m - 3*j - 160 = 4*m. Let t = -25 - m. Is 21/5 greater than t?
True
Let g(i) = -97*i + 9. Let y be g(1). Let t = -93 - y. Is t < 3?
True
Let d = -15104287/7924 + 325/1132. Let r = 1902 + d. Are -5 and r unequal?
True
Suppose -66 = -9*b - 2*b. Let i = -20/3 + b. Is -9 >= i?
False
Let t(y) = -y**2 + 13*y - 13. Let g be t(12). Let r be (-1519)/(-1498) - (-1 + 2). Let z = r + -675/2354. Does g = z?
False
Let b = 1822/165 + -120/11. Let v = -672 - -671. Is v at least as big as b?
False
Let t(k) be the first derivative of -k**3/3 - 7*k**2/2 - 13*k - 11. Let b be t(-5). Which is bigger: b or 3?
3
Let h(t) = t**3 - 22*t**2 + 16*t + 21. Let d be h(21). Let y be 4/6*d/4172. Are y and 1 non-equal?
True
Let i(b) = -4*b**2 + b. Suppose -4*z = z + 4*x + 4, 0 = -z - 2*x - 2. Let u be i(z). Do u and -2/25 have the same value?
False
Suppose -11*c + 48 = -75*c + 112. Let d be (-4)/(-3)*(-9)/(-42). Is d bigger than c?
False
Let f = 132 - 140.3. Let r = -8 - f. Let v be (-1 - -1)/(12/(-6)). Is v less than r?
True
Let y be 9/(36/16) + -11. Let s = 45 - 66. Let l = s - y. Which is smaller: l or -15?
-15
Let y = -406 - -398. Let n be ((-3)/(-6))/(2/(-30)). Which is smaller: n or y?
y
Let y be (-5)/1*8/(-4140). Which is bigger: y or -1?
y
Let h = -6 - -7. Let o be (h/(-2))/((-14)/(-8)). Let s(g) = g - 11. Let w be s(10). Is w >= o?
False
Let b(d) = -23*d**2 - 1. Let y be b(1). Which is smaller: -70/3 or y?
y
Let i be ((-8)/(-80)*185)/((-2)/8). Which is greater: -76 or i?
i
Suppose 0 = -4*p - 1 + 45. Which is smaller: 14 or p?
p
Let n = 396 - 4352/11. Let r = 0.026 - 0.026. Is n > r?
True
Let f = 6.061 + 0.039. Let k = f - 6. Let q = -0.03 + -0.02. Which is smaller: q or k?
q
Let c = -12.24 - -15.24. Is c at least -20?
True
Let h = 28 + -45. Let z = -0.033 - 17.067. Let r = h - z. Do -1/6 and r have the same value?
False
Let k be -1*(1 + (-12 - -2)). Suppose 3*h - k = 0, 0 = -3*b - 2*h - 20 - 16. Which is bigger: b or 0?
0
Let r be 28/(-6) + (-1)/3. Suppose -k - 3*x = 2, 3*k - 24 = 5*x - 16. Which is smaller: r or k?
r
Let a = 399 + -269. Suppose -i = 4*i + a. Is i != -28?
True
Suppose -8*u + 33 - 25 = 0. Is -10/123 less than or equal to u?
True
Let x = 44 + -48. Let q be (-1 - (-68)/72)*(-6)/x. Which is greater: q or -1?
q
Let j(t) = 4 - 4*t - 3 + 3. Let r be j(-3). Let y be 4/18 + r/9. Which is smaller: 1 or y?
1
Let s(l) = -11*l + 3. Let k be s(1). Let j(b) = b**2 - 6*b - 46. Let t be j(k). Are t and 66 equal?
True
Let g = 9.9 + -10. Suppose -a + 8*c = 3*c - 15, 0 = -a - 2*c - 20. Let m = 2 - a. Which is smaller: g or m?
g
Let j = -16 + 4. Let f = j + 17. Let i = 25 + -22. Which is bigger: f or i?
f
Let m be (-24 - -14)/((-15)/(-36)). Let s = 0 - -0.1. Which is smaller: s or m?
m
Let h be 2/(2/4 + 0). Suppose -9*a - 15 + 42 = 0. Let q be a + (-135)/19 + h. Which is greater: q or 0?
0
Let v(i) = 12*i - 4. Let h(c) = 25*c - 7. Let x(z) = 3*h(z) - 7*v(z). Let n be x(2). Let a = n - -11. Do a and -2/13 have the same value?
False
Let b = -0.598 + -11.622. Let q = -0.22 - b. Let i = 20 - q. Is i >= -1?
True
Let q(t) = -t + 2. Let p be q(2). Which is smaller: 4/139 or p?
p
Let h = -99/7 + 997/70. Suppose -14*l + 8*l = l. Which is bigger: h or l?
h
Let g = 1071 - 130659/122. Do -1 and g have different values?
True
Let v = 203/198 - 25/18. Let x(c) = -11*c**3 - 8*c + 7*c + 12*c**3 + 3 + c**2. Let l be x(-2). Is l less than or equal to v?
False
Let g = -9412 + 37863/4. Let x = 54 - g. Which is smaller: x or 0.26?
x
Let u(b) = b**3 - 3*b**2 + 2*b + 2. Let c be u(2). Suppose 14*s + 21*s = 0. Let m be 14/6 + (s - c). Is m smaller than -1?
False
Suppose -15*u - 1092 = 24*u. Which is greater: u or -82/3?
-82/3
Let f be 15359545/207 - 2 - 4. Let y = -74195 + f. Let z = y + 12/23. Which is smaller: z or -1?
-1
Let g(l) = -24*l**3 + 2*l**2 + l - 2. Let q be g(1). Let i = 25 + q. Is 2 != i?
False
Let n(w) = -w**3 + 7*w**2 + 7*w + 11. Let s be n(8)