han q?
True
Suppose 21 = -o - 2*o. Let q = -288 + 553/2. Let d = q - o. Which is greater: d or -6?
d
Suppose 5*v - 5*f - 215 = 0, -2*v - 716 + 798 = -4*f. Is v greater than 82?
False
Let b = 54 + 5. Let y = b + -42. Let w = 4 + -4.2. Is w at most y?
True
Let p(d) = -d**3 + 12*d**2 + 40*d - 279. Let y be p(14). Is -111 not equal to y?
False
Let g be (3/(45/(-65)))/((-2)/6). Let w(n) = 2*n**3 - 25*n**2 - 14*n + 14. Let t be w(g). Which is greater: t or 3/715?
t
Let d be (-2 + 10)*(-24 + 20). Is -317/10 bigger than d?
True
Suppose 0 = -0*m - 3*m + 12. Suppose -m = -315*s + 319*s. Do s and -1/44 have the same value?
False
Let s be (-3*(-14)/(-126))/(1/57). Let w(v) = -v**2 + 14*v - 7. Let a be w(9). Let h = a + s. Is h less than 19?
False
Let w = 664.154 - -0.846. Let y = -665.1 + w. Let t be -8 - (4 + -2) - 1. Which is smaller: t or y?
t
Suppose 0*n = 14*n + 28. Let i(j) = -4*j**2. Let h be i(n). Which is smaller: -13 or h?
h
Let x(a) = -a**3 + 16*a**2 - 12*a + 48. Let m be x(16). Let i = m + 175. Which is smaller: 27 or i?
27
Let k(c) = -3*c**3 - 14*c**2 - 10*c - 9. Let u be k(-4). Which is smaller: -92/61 or u?
-92/61
Let c = -6931 + 7081. Which is greater: 0.04 or c?
c
Let w = 170 + -164. Let o(n) = -8*n + 51. Let d be o(w). Which is bigger: d or 2?
d
Let w be (-76520612)/220 - (-3)/(-24)*6. Let n = 347823 + w. Let h = 5/4 - n. Which is bigger: h or 0?
0
Suppose 101*b - 132*b + 8029 = 0. Is b <= 260?
True
Let y(x) = -5*x**3 + 19*x + 16. Let s(a) = 9*a**3 - a**2 - 38*a - 30. Let u(h) = -4*s(h) - 7*y(h). Let m be u(7). Let g = -2.6 - -0.6. Which is bigger: m or g?
g
Let g(a) = -a**3 + 15*a**2 + 16*a + 3. Let c be g(-2). Let t = 131 - 91. Let z = t - c. Is z equal to -2/9?
False
Let y = 85 - 198. Let d = y + 79. Is d >= -34?
True
Let x = -6/4765 + 16947/2106130. Let y = 145/5083 - x. Is y at most -1?
False
Suppose -4 = -3*o - 16. Let j be ((-162)/(-8))/((1/(-1))/o). Suppose 0*n - 4*n - 3*v - 80 = 0, v = 5*n + j. Is -15 less than or equal to n?
False
Let f be (-32982)/336 - 2/(-7). Let a be 2/(30/9) + (-6902)/70. Let d = a - f. Which is smaller: d or -1/13?
d
Let a = -34 - -251. Let m = a - 204. Is m bigger than 0?
True
Let p = 12203/56 - 218. Let n be 0 + -8 + (-6 - -14). Which is smaller: n or p?
p
Let a = 4726 - 4726.81. Is a > 19/4?
False
Let s = -0.0317 + 205.0317. Let w = s - 236. Is w bigger than 3?
False
Suppose 5*n - f - 18 - 15 = 0, 2*n - 18 = -2*f. Suppose -115 = -n*c + 4. Suppose -c*m = -4*m + 26. Is -6/11 < m?
False
Suppose -y - 2*x - 1051 = 0, -2*y = -5*x + 1308 + 794. Is -1051 greater than y?
False
Let j = -416.53 - -414. Let r = 1.95 - -0.05. Let h = r + j. Is h > 0?
False
Let c = 649.6 + -651.76. Which is smaller: c or -4/5?
c
Let o = -925 + 744. Let i(u) = 180*u**3 - 2*u**2 - 3*u - 1. Let d be i(-1). Which is smaller: o or d?
o
Suppose 5*i - 174 = -i. Let h = 33 - i. Suppose 2*z - h = 2*k, 4*k = -6*z + 2*z - 32. Is -21/10 >= z?
True
Let y = -1/6652 - 19937/126388. Are -1.28 and y non-equal?
True
Let v(g) = -g**3 - 8*g**2 + 47. Let u be v(-7). Let c be 3/(-72)*u + (-22816)/192. Is c != -120?
True
Suppose 26828 - 33548 = -4*y. Which is smaller: 1685 or y?
y
Suppose 8 - 55 = l. Let k = l - -71. Suppose -k = 4*m + 8. Which is smaller: -3/5 or m?
m
Let w(r) = 14*r + 293. Let k be w(-19). Let h be k/(-63)*1 - 3/(-7). Is h bigger than 3/38?
False
Suppose -2*h - 4*n = 1002, -h - 5*h = -2*n + 3118. Which is smaller: h or 1.2?
h
Let o = -5.652 - -4.883. Is -0.5 less than or equal to o?
False
Let y = -71 + 73. Suppose -5*t = 3*i - 20, -3*i + y*i + t = -12. Is 0 <= i?
True
Let y = 32/7 - 185/42. Suppose -4*q + 2*k - 328 = -0*k, k = 0. Let c = -78 - q. Is c at most as big as y?
False
Let i be 6737*(16/12)/(-4). Let o = i - -2196. Let v = o - -49. Which is smaller: 66 or v?
v
Let b be (11 - 5) + 159 + -1. Let p = b + -165. Is p > 3/616?
False
Let n(y) = -22*y - 613. Let t be n(-13). Are t and -322 unequal?
True
Suppose 46*q - 56*q + 2850 = 0. Let a be q/(-12) - (9 + -11). Is a >= -22?
True
Let z = -4633 + 4632. Which is greater: z or -10/91?
-10/91
Let z(r) = -r**3 + r + 15. Let h be z(0). Let t = 758 - 742. Is t at most h?
False
Let o be (-20)/(-40)*-66*1/3. Let f(n) = -14*n**2 + 1. Let z be f(1). Which is greater: z or o?
o
Let y(o) = 741*o + 8210. Let t be y(-11). Let p(c) = c**2 - 2*c - 4. Let m be p(-7). Is m bigger than t?
False
Suppose p = -0*p + 4. Suppose -y + 0*i - 5 = -i, 0 = -3*y - p*i + 20. Suppose 4*b - 9*b = y. Which is smaller: b or 10?
b
Let n be 27/(-54) + (-25)/2. Let k = 31 + n. Which is smaller: k or -4?
-4
Let o = -430893 + 1733339/4. Is o less than or equal to 2442?
True
Let n(k) = -27*k - 138. Let l be n(-6). Suppose -55*c = -58*c + l. Which is bigger: 6 or c?
c
Let n = 0.8242 + 0.1758. Which is bigger: n or -1.18?
n
Let q(j) = -19*j + 77. Let l be q(11). Let z be (-13 + 1)*(-2013)/l. Which is greater: z or -184?
z
Let a = -35 - -47. Let n = 45 - a. Suppose 4*p + 5*w + 81 = 0, -3*w + n = -2*p + 2*w. Which is smaller: p or -79/4?
-79/4
Suppose 205*t = -3 + 7 - 4. Is 2/3683 greater than or equal to t?
True
Let y = 26.133 + 0.067. Let b = 26 - y. Let h = 12.7 - 12. Is b < h?
True
Let b be (-48)/5 - (-16)/(-40). Let y be -30*5/(-2 + 12). Let h be ((-3)/(-2))/(3/y) - 3. Which is greater: h or b?
b
Let b = 160492630/681 + -235672. Let j = 3 - 2. Is b equal to j?
False
Let i(z) = 2*z**2 - 25*z + 32. Let c be ((-1)/(-1 + 2))/(1/(-11)). Let o be i(c). Which is smaller: -4/19 or o?
o
Let d be 6386633/5418 + 24/(-84). Let a = 2357/2 - d. Which is bigger: 0 or a?
a
Let s be 3*(-57)/(-63) - 12/(-42). Which is bigger: s or 163?
163
Suppose -42*l - 58*l - 12100 = 0. Is l greater than 17?
False
Let c = -60.36 + 60.26. Is c equal to -1.742?
False
Let c be 5*((-39915)/4990 + 8). Which is bigger: c or -1?
c
Suppose 0 = -5*b - 0*b + 10. Let q = -360 - -365. Suppose q*x + 9 = a - b, -4*x = a - 56. Is 35 at least as big as a?
False
Let x(m) = m**2 - 8*m - 476. Let p be x(-20). Which is greater: p or 37?
p
Let n = 2.6 - 2.611. Let j = n - -8.011. Let l be (-48)/27 + 4/(-18). Which is bigger: l or j?
j
Let p = -3468 - -2744. Is -2895/4 equal to p?
False
Let o be ((-18)/8)/(21/(-56)). Let y(j) = 14*j - 84. Let v be y(o). Is 1/53 less than v?
False
Let j = -205312058/43 + 4774303. Let l = j - -396. Does 1 = l?
False
Suppose 0 = u + u + 16*s - 696, 2*u - 472 = -2*s. Let t = -144 - -366. Which is smaller: u or t?
u
Suppose v = -4*p - 39, 0 = 2*p + 3*v - 3 + 10. Let m be 2211/(-9)*(6 + -12 + 9). Let f = -735 - m. Which is smaller: f or p?
p
Let u be 9/2*(2 + 1490/3). Suppose 14*v = 47*v + u. Is -69 at most v?
True
Let h be (-1658)/12*63/7*16/24. Which is greater: -831 or h?
h
Let d = -2067/12062 - -3/326. Suppose -2*s + 0*s = -4, -4*u + 34 = 3*s. Suppose -4*k = 3*j + u - 3, -k = -4*j + 1. Is k bigger than d?
False
Let g = -7982896/407 - -19614. Suppose 21 = s - 5*v, 5*s - 5*v = 31 - 6. Is g >= s?
False
Let f(v) = v - 67. Let u be f(-10). Let x be (-20)/u - (1 + 36/(-28)). Which is smaller: x or 13?
x
Suppose 3868 = 50*y - 224982. Is y less than or equal to 4577?
True
Let a(g) = -62*g + 678. Let l be a(14). Which is smaller: -180 or l?
l
Let w = -24047 - -24046. Is 26/77 < w?
False
Suppose -1171 = v - 3*g, 5*v - 3*g + 5829 = -g. Let m be (-1 - -2)/(5/v). Let s = 155 + m. Is s less than or equal to -79?
False
Let s = -23 + -297. Let b = 503 + s. Which is smaller: b or 1/2?
1/2
Let w be 30*12/4248*(1 + 42/(-50)). Which is bigger: w or 1?
1
Let m(g) = g**2 + 17*g + 5. Let f be m(-17). Suppose 0 = -f*q + 2 + 13. Suppose -q*t = 2*j - 71, 2*t + 4*j + 83 = 5*t. Which is bigger: 23 or t?
t
Let w be 162/(7*(-16)/56). Which is smaller: w or -85?
-85
Let x(d) = -d**2 - 8*d + 6. Let f be -5*(2 + -3)*1. Suppose 3*r + 32 - f = 0. Let t be x(r). Which is greater: -2 or t?
-2
Let r = -362 - -536. Suppose 22*f - 80*f = r. Which is greater: f or -7?
f
Let n(y) = -259*y. Let f be n(-1). Suppose 47*s = -75*s - 480*s + 155316. Which is greater: s or f?
f
Let p be ((-11)/(-33) + 0 + (-33944)/6)*1. Is -5658 at least p?
False
Let k = 6.5 - -27.5. Let b = 2507.8 + -2505.8. Which is smaller: k or b?
b
Let b = -253 + 254. Which is smaller: -787 or b?
-787
Let b be (50/75)/(482/(-4)). Let v = -2800/16629 + b. Which is bigger: v or 0?
0
Let u be ((-45)/10 - -4)*12/3. Let g