than 28?
False
Let k = -120 + 121. Let t(o) = -o**2 + o - 1. Let z be t(k). Let n = -19 - -18.9. Is n >= z?
True
Let a = -2500 + 2382. Which is smaller: a or -233/2?
a
Let w = 327 - 323. Suppose 4*v + 2*u = 6*u + 148, w*v - 2*u = 156. Do 122/3 and v have the same value?
False
Let g(s) = -35*s - 3. Let h be g(-3). Let y be 2 - (-2 - h/(-25)). Let u be 155/(-62) - 9/(-6). Is y at least u?
True
Suppose 2*f = j - 6296, -257*f - 3*j - 3169 = -256*f. Is f at least -3150?
False
Suppose 457*i - 452*i + 5*k = -260, 2*i - 4*k = -116. Is i >= -107?
True
Let t be 100/(-8) - 2*1. Let w = t - -55/4. Suppose -459*r = -345*r + 114. Does w = r?
False
Let t be -2 - (-8)/56*17. Are t and 0 equal?
False
Let t be (-4)/(3*(-4)/30). Let i be (40/150)/((-6)/(-205)). Which is greater: i or t?
t
Let x be -1*2*(-1)/(-6). Suppose -6*p + 2*p - 14 = 3*z, -3*p = 4*z + 7. Let v be z/(-18) + 184/(-207). Which is greater: v or x?
x
Let i be (747/3486)/((-10)/(-6) + -2). Which is bigger: i or -5/12?
-5/12
Suppose k - 99 = -2*t + 123, t - 5*k - 100 = 0. Let z = -99 + t. Which is greater: z or 43/4?
z
Suppose -3*a - y + 145 = -2*y, -2*a = y - 105. Suppose 2*q + 0*q - 10 = 0. Let g be (-12)/a*q/(-3). Is -3.7 >= g?
False
Let s = 2.54 + -210.24. Let y = s + 208. Which is bigger: -50 or y?
y
Suppose 67*a - 73*a + 48 = 0. Suppose 0 = 4*j - a + 188. Is -45 >= j?
True
Let o = 3757 - 3986. Which is greater: o or -2068/9?
o
Let x(o) = 701*o + 3484. Let f be x(-5). Let s = -34 + 15. Which is smaller: f or s?
f
Let q = 5071 + -5070.9522. Is 0.3 > q?
True
Let q = 857 - 27409/32. Let j(a) = 451*a + 117261. Let v be j(-260). Which is smaller: v or q?
q
Let n be (42/18)/((-296)/(-66)). Let x = n + -10/37. Is x less than or equal to 108?
True
Let i = 125218 - 379367/3. Which is smaller: -1237 or i?
i
Let x(y) = -4*y + 20. Let o be x(-10). Suppose -16*i + o + 20 = 0. Is -3/14 >= i?
False
Let m = -7.609 - 0.391. Let f = -7.8 - m. Which is greater: f or 51?
51
Let g = -187 - -1311/7. Let r = -497271 + 6464577/13. Is g greater than r?
False
Suppose 4*j + 8*o = 4*o - 40, -5*j - 59 = -4*o. Suppose 7*u - 16 = -2*b + 12*u, 0 = -5*b - 3*u - 22. Let l be 0 + (54/(-66) - b/j). Which is smaller: l or -9/5?
-9/5
Let i = 1722 - 1727. Is 47 bigger than i?
True
Let b be (-126)/(-210) + (-69)/15. Let s = -23 - -23.4. Which is greater: b or s?
s
Let t be (-122*27/24)/(12/144). Let y = -225640/137 - t. Is y > -1?
True
Let j(t) = -5*t**2 + 7*t - 21. Let o(q) = 6*q**2 - 6*q + 22. Let z(h) = 5*j(h) + 4*o(h). Let l be z(7). Let g be 2/(4/208*10). Which is smaller: l or g?
g
Let s(w) = 8*w + 10*w - 6*w - 19*w**2 + 20*w**2 - 1. Let x be s(-12). Are x and -6/37 equal?
False
Suppose 2*m - 5*w - 36 = 0, -3*w + 0*w + 98 = 4*m. Let g = -55 + m. Let f be (g/29)/1 + 5/5. Is 2 at most as big as f?
False
Let o = 140 + -128. Suppose 0 = -2*s - o - 8. Which is bigger: s or -3?
-3
Suppose -4*v - 29 = -l, -v = -5*l - 0*l + 31. Let u be v/(-3) - -3 - (4 - 8). Is u < -2/7?
False
Let n = -109 - -111. Suppose 4*z + 9 = y + 8, n*z + 4 = 4*y. Is z less than or equal to 2/131?
True
Suppose 99*w = -4*w - 16*w - 28798. Which is bigger: w or 1?
1
Suppose 43 + 1 = 11*o. Let z be o/(-6) + 56/40. Is 2 <= z?
False
Let p = 13 + -7. Let t be (2 - 3/p)*-4. Suppose 2*z + 1 = -4*x + 5*z, -24 = x + 4*z. Are x and t nonequal?
True
Let s(h) = 3*h + 3. Let q be s(3). Let c(i) = -64 + 27 + i**2 + q*i - 2*i**2. Let x be c(6). Which is greater: x or -1/114?
-1/114
Suppose -5*m - 2 = -2*t, -3*m - 95 = -5*t - 90. Let w be 6 - (-1160)/(-605) - (-4)/(-1). Which is smaller: t or w?
w
Let s = 41597931/275744 + 3/39392. Which is greater: s or 152?
152
Let c(h) = 2*h**3 - 18*h**2 - 149*h + 36. Let z be c(-7). Is z at most -491?
False
Let r(a) = -a**3 + 8*a**2 + 10*a + 7. Let q be r(9). Suppose -29 = 5*l + q. Which is smaller: l or -10?
-10
Suppose 59106 - 11376 = 129*w. Which is greater: w or 365?
w
Let n = 2403 + -2341. Is 182 less than n?
False
Let c = -2269.2 + 2269. Which is smaller: 1/2949 or c?
c
Suppose 5*q = -2*o + 11, 0 = -o + 6 - 8. Suppose -c + 2*m = -2 - 3, 4 = 5*c - q*m. Is c less than 2/395?
True
Let h be -24*(-4 + 4/8 - -4). Let f be -3 + 46/6 - (h - -9). Is f less than 9?
True
Let o = 2 + -2. Let l = -853 + 858. Let r = l - o. Which is greater: r or 4/5?
r
Let f be 111/(-33) + (-1 - -4). Suppose -3*g + 40 = 5*g. Let l be (-2)/(-5) - (32/5 - g). Which is smaller: l or f?
l
Let n = 15 + -25. Suppose 4559*o - 1056 = 4691*o. Are n and o non-equal?
True
Let f = -199 + 208. Let r be 1113/12 + f/36. Is 93 > r?
False
Let g(u) = u - 20. Let t be g(30). Suppose -5*d = t*d - 615. Which is smaller: 43 or d?
d
Let z = 2376 - 424. Which is greater: z or 1950?
z
Let s = 62 + -43. Suppose 3*h + 3*r + s = 2*r, -60 = 5*h - 4*r. Let g(b) = -b**3 - 8*b**2 + b + 7. Let q be g(h). Do -3/14 and q have the same value?
False
Suppose 92*l + 7809 = 35*l. Is -132 bigger than l?
True
Let s = 8203 + -6805. Which is bigger: 2/9 or s?
s
Suppose 6*s + 12 = 9*s. Suppose -4*a + 226 = -2*j, -440 = 9*j - 5*j - s*a. Is j less than or equal to -108?
False
Let n(v) = v + 14. Let r be n(-9). Suppose -h - 4*x + 7 = -x, -17 = h - r*x. Let p be (2/(-20))/(h/10). Which is smaller: -18 or p?
-18
Let r(g) = g**2 - 217*g + 9577. Let h be r(127). Is h greater than or equal to -1850?
False
Suppose -18*n + 1410 - 1464 = 0. Which is smaller: n or 270?
n
Let g = 5 - -13. Let m be 13*(1 - 0/(-2)). Suppose -m*b + 95 = -g*b. Which is greater: b or -0.2?
-0.2
Let w = -756 + 734. Is 1.3 at least w?
True
Let y = 174 - 150. Suppose -o - 2 = -2*p + y, 0 = 3*o - 5*p + 83. Which is smaller: o or -8?
o
Let n be (0/(-5))/4 - -6. Let q be (-8)/1188*-894 - n. Is q > 0?
True
Let o = -366 + 132. Let u = o + 200. Suppose -3*l - 95 = i, -6*l - 2*i - 94 = -3*l. Which is bigger: l or u?
l
Let d = 8501/2512905 - 11/2157. Are d and -1 nonequal?
True
Let x be ((-64)/12 - -5)*-15. Suppose x*c + 3*k = 4, k + 0*k - 3 = 0. Let w be (-54)/(-51) - (-1)/(-1). Which is smaller: c or w?
c
Let u(q) = -26*q + 1195. Let s be u(46). Is s < 1/2799?
True
Let b = 670 + -798. Which is greater: b or -140?
b
Let n = 8628.8 - 8628. Is n > 0.28?
True
Suppose -2*a + 585 = 3*a. Suppose -336 = -a*b + 93*b. Which is greater: b or 8?
b
Let t(l) = 2*l - 6 + 18 - 1. Let c be t(-2). Suppose 0 = c*i - 2*i + 10. Is -1 greater than i?
True
Let b be 17/((-1190)/(-30))*(-5)/(15/2). Let w be 2/(-1) - 408/(-203). Is b less than w?
True
Let a(v) = -3*v + 49. Let b be a(14). Let g be (-24)/(-42)*b + (-10)/2. Is -2/17 less than or equal to g?
False
Suppose -3*s = 4*g - 1031, 9*g - 50*s - 2311 = -55*s. Which is smaller: g or 288?
g
Suppose 6*p - 2*p - 4*n = -4, p = 5*n + 7. Which is bigger: -100/27 or p?
p
Let k(u) = -u - 50. Let j be k(-53). Is j != 400?
True
Let s = 4175 + -480119/115. Is 0.07 at least s?
True
Let d be 48/72*(1 + (-8)/(-4) + -18). Which is smaller: -16 or d?
-16
Let j(t) = t**3 - 2*t**2 - 2*t**2 - t + 9 + 0*t. Let o be j(4). Suppose 0 = -m - o*m - 30. Which is greater: -34/7 or m?
-34/7
Let g(c) = -c**2 - 64*c - 663. Let q be g(-51). Is q != 9/23?
True
Let m(w) = 2*w**2 - 468*w + 233*w + 15 + 226*w. Let q be m(5). Which is smaller: 12 or q?
12
Let g = 0.15721 + 15.84279. Let c = -0.1 - -0.14. Which is greater: g or c?
g
Let z = 7475 + -7474. Is z smaller than -1055/3?
False
Let f = 18631.9 - 18632. Which is bigger: f or -8.54?
f
Let d be -7 + -1 + (-28)/(-14). Let b be ((-1155)/(-196) - 6)*(-4)/d. Let x be 9/6*(-2)/3. Is x >= b?
False
Let x = 6239 - 3156. Is x at least as big as 3082?
True
Suppose -3*v + 7*v = 4*g + 224, v = 3. Let h = g + 57. Let m be -3 + 255/74 - 2/h. Do m and 0 have the same value?
False
Let a be (-6 + (-49)/(-7))*0. Suppose 2*y - 5*z = 3*y - 165, 5*y - z - 903 = a. Which is smaller: 181 or y?
y
Let u(l) be the second derivative of l**5/20 - 2*l**4/3 - l**3/6 + l**2 + 7*l. Let z be u(8). Let i be z/(-10)*7/(-21). Is i >= -1?
True
Let f = 0 + -34. Let h be 51 + -15 - (-4 - 1/(3/6)). Let n = f + h. Which is smaller: n or -1/6?
-1/6
Suppose 4*h + 7948 = 4*k, 36*h - 4*k = 37*h + 1942. Is -1980 > h?
False
Suppose 4*c = -c + 800. Let d be (c/(-24) + 6)/(4/42). Is -8 < d?
True
Suppose 4*m = 2*m - 112. Let v = -83 - m. Let c be -2 - (945/(-35) + 52). Is c greater than v?
False
Suppose -34 + 10 = -d. Let m(z) = z**2 - 85*z - 719