= 1.1 + -1.8. Is j at most as big as i?
True
Suppose -9*t + 11 = 2*t. Let h = -466049/704 - -662. Is t greater than h?
True
Let z be -1*(-5 + 1 - (109 - 113)). Is 9/97 smaller than z?
False
Let h = 211913/421827 - 48/2653. Let v = h + -8/53. Which is greater: v or 88?
88
Let l be (12/10)/((-27)/(-1170)). Suppose 305 + l = -17*o. Which is smaller: o or -43/2?
-43/2
Suppose 0 = 2*n - 6, 7*w - 4*w + 4*n = 33. Suppose 5*k - 6*d - 2 = -w*d, 2*k - 4*d = -8. Is k equal to -6/151?
False
Suppose -6*z + 18 = -3*z. Let b(s) = -272*s - 40. Let f be b(z). Let n = 28410/17 + f. Which is greater: 0.1 or n?
0.1
Suppose 0 = -7*x + 329 + 511. Let f be ((-6)/x)/(0 - 1). Suppose -p + 5 = -6*p, -2*z - 2 = 4*p. Which is smaller: z or f?
f
Let j = -1561 - -1931. Is j bigger than 367?
True
Let h = 52 + -50. Suppose 3*n = 3*o - 27, h*o - 3*n + 57 = 5*o. Let t be ((-12)/o)/((-2)/8). Which is bigger: t or 3?
t
Let v be -4*4/(1 - 9)*-133. Let m = v - -279. Is 13 < m?
False
Let r = 0.4 - 0.5. Let o(l) = -751*l - 5088. Let f be o(-7). Which is greater: r or f?
f
Let i = -2 - -1. Let p = -60 - -59. Let f be (-125)/35 - p*3. Is f bigger than i?
True
Suppose 0 = 4*s + 10*d - 14*d + 28, -2*s = -4*d + 24. Let b be s - ((-6)/(-14) - (-2256)/(-952)). Which is bigger: b or 1?
1
Let i be (6 + 0)/(-6) + (6 - 6). Which is smaller: 1/1870 or i?
i
Let t = 45237/7 - 6478. Which is greater: t or 2?
2
Let s(i) = i**3 - 3*i**2 + 3. Let a be s(3). Suppose 0 = -5*d + 84 - 4. Suppose 7*h = 3*h + 3*f + d, 0 = 3*h - 4*f - 19. Which is smaller: a or h?
h
Let a = -106.916 - 0.084. Let b = -290 - -190. Let h = a - b. Is -6 > h?
True
Suppose 7*k - 373 = -1003. Do k and -359/4 have different values?
True
Let p = 1 + -3. Let k = -1299.2701 + 0.2701. Let h = k + 1259. Is p less than or equal to h?
False
Let j = 5500 - 5464. Are 36 and j equal?
True
Let d = -112596 - -16101308/143. Do 2 and d have the same value?
False
Let w = -146 - 81. Let u = w + 227. Let a = 2 - 0.7. Which is smaller: a or u?
u
Let i be 43/(-6) + (-6)/(-36) - (-13 - -14). Is -274/29 >= i?
False
Let y = 3893 + -3892.9. Is 21/2 at least y?
True
Let n = 13044 - 12941. Are 2/5 and n nonequal?
True
Suppose k - 84 = -2*k. Suppose -5*d = 4*o - 70, -o = 2*d - 0*o - k. Let z be 0 - (1375/10)/(-11). Which is smaller: d or z?
z
Let t = -375 + 387. Let c(b) = b**3 - 7*b**2 + 4*b - 17. Let i be c(7). Let g = -1 + i. Which is smaller: g or t?
g
Let v = 374.534 - 375. Let i = v - -0.566. Is i < -10/3?
False
Suppose 98*k + 168*k - 40590 = -64*k. Let f(q) = 123*q**2 + q. Let m be f(-1). Is m at least as big as k?
False
Let s be 50 - (0 + (-2 - 0)). Suppose 8 = -2*b + s. Suppose -2*l - b = -4*h, l + 4 + 4 = h. Which is smaller: -7 or l?
-7
Let g(x) = -4 - 2*x + 15*x**2 - 3*x**2 + 3. Let j = -501 + 500. Let c be g(j). Is 14 > c?
True
Let o be ((-142606)/4520)/((-1)/2). Which is greater: 62 or o?
o
Let f = 22.18 - 19.28. Is 117 > f?
True
Let c = -1101.54 + 1037. Let b = c + 1.54. Is 2/3 > b?
True
Let t = 6616 - 5220034/789. Is 0 at most t?
False
Let i be (-11)/(-154)*((-1156)/(-1260) - 1). Which is bigger: i or -1?
i
Let u = 2 + -21. Let s be (-2 + 1)/(u/(-475)). Let w = -154 - -130. Which is greater: s or w?
w
Let i = -29 - -68. Let m = i - 41.8. Let x = m - -2.8. Which is smaller: 19 or x?
x
Let u = 5853 + -6009. Is -136 != u?
True
Let x be 1*-2*(-16)/(-32). Is -2825 greater than x?
False
Let m = -262 - -80. Let l = m - -180. Which is smaller: -12/7 or l?
l
Let h be (6 - -1) + (-10520)/8. Let k = h + 14439/11. Which is smaller: 6 or k?
k
Let q = 306.1 + -242. Let a = q - 64. Suppose 7*i - 33 = 16. Which is smaller: i or a?
a
Let s(l) = 3*l + 26. Suppose 5*v + 0*a = -2*a + 34, 2*a = 4. Let y be s(v). Let u = 43 - y. Are -16/7 and u nonequal?
True
Let c = 1586 - 2447. Let j be (-2 - 1142/c) + (-54)/(-81). Which is smaller: -0.1 or j?
-0.1
Suppose -4*m + 0*l + 2*l + 6 = 0, 0 = -3*m + 5*l + 1. Let h(o) = 19*o - 89. Let g be h(m). Which is bigger: -53 or g?
g
Let r = -0.10674 + 0.06674. Does 556 = r?
False
Let c be (-2 - 0) + -29 + (6 - 6). Let z be 9*(-12)/(-648)*((-22)/(-4) - 1). Which is smaller: c or z?
c
Let y = -54 + 62. Suppose -2*u = 5*w - y, 0 = 2*w - 5*u - 0*u + 20. Let h be -3 - w - 12/(-8)*2. Which is smaller: 1/18 or h?
h
Let j be 2/(-6) - 530442/(-1592298). Which is smaller: j or 1?
j
Let g = 11031367/435 + -76081/3. Let c = g + 4/5. Is c equal to 0?
False
Let h = 56 + -56. Suppose 3*m = -2*u + m, h = -2*u + 4*m + 24. Suppose 0 = -4*o + u*f + 12, -2*f - 14 = 3*o - 7*o. Is -4 at most o?
True
Let j be 1/(-2 + 1) - 2. Suppose 22 = -2*y - 799*r + 801*r, 2*r - 14 = 0. Which is greater: y or j?
j
Let y(n) = -n**3 + 9*n**2 - 13*n + 29. Let a be y(8). Let m be 17*1 - (14 - (23 + a)). Is m < 19?
True
Let c(f) = -f**3 - 5*f**2 + 6*f + 4. Let h be c(-8). Let t(i) = 24*i**2 - 26*i - 3. Let g be t(-2). Which is greater: h or g?
h
Let x = 2298276/571 + -4025. Let i = -225114 - -225115. Is x at least as big as i?
False
Let c = 9003 - 10006. Which is smaller: -1007 or c?
-1007
Suppose 2*t = -2*j - 58 + 202, 4*j + 320 = 4*t. Which is greater: t or 65?
t
Let l be ((-1575)/(-54))/(-25)*8/(-14). Is l equal to 313?
False
Let u(h) = -198*h + 1660. Let b be u(9). Which is smaller: b or -850/7?
b
Suppose 8 = -4*b - 5*i, b = -2*i + 4 - 3. Let a = 162550 + -162555. Are b and a nonequal?
True
Let v(s) = -s**3 - 47*s**2 + 49*s + 67. Let j be v(-48). Let p be (j + 156/13)*(-2)/(-3). Is p bigger than 22?
False
Suppose -3*a + 2*n + 2 = -0, 0 = -3*a - 5*n - 26. Suppose 15 = -2*i + b, 46 = 5*b + 21. Which is smaller: i or a?
i
Let z = -17 - -17. Suppose -x + 0*l + 4*l = 12, z = -x + 2*l - 10. Let u = -16 - -8. Are x and u unequal?
False
Let r(d) be the first derivative of d**4/4 + 4*d**3 - 7*d**2/2 - 21*d - 119. Let q be r(-13). Are -101 and q nonequal?
True
Let d(o) = o - 10. Let b be (-42)/(-63) - 44/(-6). Let y be d(b). Let w be (3/6)/(y/(-8)). Are w and 18/11 unequal?
True
Let c be (-4426)/(-4366) + (-5)/5. Let w = -4/59 + c. Which is greater: w or 0?
0
Let o = 93798/7 + -13400. Are 4.04 and o nonequal?
True
Let z = -19148 - -19146. Suppose 0 = -l - 0*l. Let r be 0 - (l + 8/13). Is z smaller than r?
True
Suppose 2*m - 33 = 115. Which is bigger: m or 94?
94
Let y = 27668 + -2794430/101. Which is smaller: y or 0?
0
Suppose 3*g + 1191 = 4*w, 1985 = -5*g - 2*w - 3*w. Which is smaller: g or -390?
g
Let y be ((-79)/(-5) + -2)*(-10)/(-228)*-3. Does y = -3?
False
Let w be 4 + 12*4/(-6). Let z be -7 - -4 - 2 - w. Let u be 4*((-77)/(-42))/(z/(-3)). Which is smaller: u or 21?
21
Let q = -817/55 - -784/55. Let s = 2 - 1.8. Which is smaller: s or q?
q
Suppose -11*s = -5*s - 12744. Is 1/4 >= s?
False
Let h = -15126.4 + 15128. Let r = 38 - 115/3. Is r at least as big as h?
False
Let c be ((-2)/(-6))/((7865/78)/55). Let r = 31 + -86. Which is greater: r or c?
c
Let g be 49/(-3)*-3 + 2 + 0. Let j = g - 52. Which is smaller: 22/7 or j?
j
Let d(k) = 21*k**3 + 7*k**2 + 5*k + 1. Let w be d(-2). Let u = -123 - w. Which is smaller: 29 or u?
u
Suppose 22*l + 89930 = -148*l. Is -525 greater than l?
True
Let t(x) = 1444*x**3 - 7*x + 12. Let k be t(2). Let y be ((-10)/12)/5 - (-1265)/k. Are y and -1 unequal?
True
Suppose g = 5*o - 2, -5*o + 6*o = -2*g - 48. Suppose -126 - 146 = -4*a + 2*t, -204 = -3*a + t. Let p = a - 89. Which is bigger: p or g?
p
Let r be 1/((-12)/(-158)) + (-1183)/1014. Is r bigger than 37/3?
False
Let g = 35 - 34.963. Let v = g - -6.663. Let z = 4.7 - v. Is -19 > z?
False
Suppose 0 = -7*c - 0*c - 56. Let d be (c/(-12))/((-2)/(-57)). Suppose -o = -2*v - 19, 2*v - 4*o + d = -15. Does 0 = v?
False
Let v be (-2*1/2)/((-2)/916). Let w = v + -3176/7. Is 3 > w?
False
Suppose 16*d - 21*d - 5*h + 550 = 0, -5*h = -d + 122. Which is smaller: 110 or d?
110
Let u = 386.8 + -492. Let i = -34.2 - u. Is 0 greater than i?
False
Let t be (-2 - 18/(-12)) + 14/4. Suppose -t*p = -2*p - 20. Suppose -p*l = 2*l - 484. Which is smaller: 21 or l?
21
Suppose -774*z + 787*z + 89544 = 0. Are -6889 and z equal?
False
Let f be (4 - 2)/(-2)*0. Suppose -3*q = -2*u - 5 - 24, 55 = 5*q - 5*u. Let d be 3/28*(q - 11). Is d less than f?
True
Let w = -2166456347/9788 - -221338. Is 0 less than w?
False
Suppose 6968 - 23488 = -602*j + 582*j. Is j at most 3299/4?
False
Let m = 4055 + -4275. Which is greater: -43