. Is q < h?
True
Let g be (-9)/(6 - 5 - 12). Which is smaller: 2 or g?
g
Let i be ((-10)/3)/((-90)/108). Let o(n) = n**3 - 12*n**2 + 12*n - 8. Let g = 32 - 21. Let l be o(g). Are i and l equal?
False
Let a be -3 + 0 - (-4 + 10)/(-3). Which is smaller: a or 1/1376?
a
Let l(y) = 15*y**2 - 22*y - 24*y**2 - 17 + 6*y**2. Let f be l(-7). Are f and -2 nonequal?
True
Let y(b) = 4*b + 42. Let i be y(-10). Suppose 0 = -i*p + 3*p. Which is bigger: 1/101 or p?
1/101
Let h be 2 + -9 + 33/((-6237)/(-1206)). Which is smaller: 1 or h?
h
Let u(h) = h - 17. Let l be u(0). Let q = 203 - 210. Let w(c) = 15*c + 89. Let x be w(q). Which is smaller: x or l?
l
Let m = -2 + 7. Let l be ((-80)/(-33))/m - 2/3. Let h be 1 + 0 - (2 + -1). Is h > l?
True
Let c = -1017 + 1017. Which is bigger: c or 0.226?
0.226
Suppose -w + 2*h - 9 = -h, -26 = -w - 4*h. Let n be (-1)/w - 0/6. Let g = 0.22 + -0.22. Which is bigger: g or n?
g
Let z(b) = b**3 - 4*b**2 + 4*b - 1. Let f be ((-1)/3)/(4/(-36)). Suppose 6 - f = l. Let d be z(l). Are d and 2 equal?
True
Let r = 2356/13 - 181. Is 2 at most r?
False
Let n(l) = -l**3 - 10*l**2 - 10*l - 7. Let c be n(-9). Suppose -k - 17 = 4*v, -5*v = c*k - 5*k. Is v bigger than -5?
True
Let y = 1903 + -1902. Which is smaller: 28/99 or y?
28/99
Suppose y + 5*h = 4*y + 5, -y - 3*h = -17. Suppose 7*n + y = 2*n. Which is bigger: n or -2/7?
-2/7
Suppose 0 = 26*c - 30*c + h + 4, 2*h = 0. Is -12/29 greater than or equal to c?
False
Let z(r) = -r**3 + 3*r**2 + r + 2. Let i be z(4). Let s be 20/(-18)*6/i. Which is greater: s or 1.6?
1.6
Let m be (-4)/14 - 79/(-7). Let z = -1434 - -1437. Which is greater: z or m?
m
Suppose -4*z + 3*z - 4*l = -31, -3*l = -3*z + 18. Let h(w) = -w**3 + 3*w**2 + 5*w - 3. Let b be h(3). Which is bigger: b or z?
b
Let a = 1029.1 - 1029. Which is bigger: -1004 or a?
a
Let w = 923 + -924. Which is smaller: w or 2/435?
w
Let v = -273 - -273.06. Which is smaller: v or -23?
-23
Let x be -25 + -1 + 7/(-7). Is -27 at least x?
True
Let g = -308 + 335. Is 26 at least g?
False
Let y = -1075/2 + 537. Is 0.03 equal to y?
False
Let a = 90 + 0. Let u = 88 - a. Is u >= -17?
True
Let q(f) = f**2 - 2*f. Let p be q(2). Which is bigger: p or -1/407?
p
Let q be 0/(-1) + 1 - -11. Suppose 12*f - 6*f - 78 = 0. Which is greater: q or f?
f
Let i(l) = -l**3 - 13*l**2 - 4*l - 53. Let p be i(-13). Which is smaller: 2/747 or p?
p
Let m(b) = b**2 - 11*b + 17. Let v be m(6). Let g be (-32)/63 + v/(585/(-10)). Is 8 greater than g?
True
Let u(s) = -s**2 + 10*s - 16. Let w be u(9). Let i = 6 - 4. Suppose -i - 8 = 5*p. Which is greater: w or p?
p
Let x = -16/23 - -103/115. Which is smaller: 19 or x?
x
Let z = -512 + 513. Which is bigger: z or -0.096?
z
Let x = -522 + 522. Is x >= -4/45?
True
Let d be (-70856)/(-3)*(-9)/4. Let n be (d/(-7590) + -7)/((-1)/5). Which is smaller: 0 or n?
n
Let t be ((-429)/(-22) + -10)/((-2)/52). Are t and -246 non-equal?
True
Let l = -193 + 128. Is -64 > l?
True
Let b be (1/(-2))/(4/16). Let m be 1/(-2 + 4)*b. Let a be (-4 - (-36)/8)/(-1 - -3). Which is smaller: m or a?
m
Suppose 5*g - 11*g = -30. Suppose 0 = g*d + 1 - 6. Which is bigger: -3 or d?
d
Let h = 402469/3346 + -842/7. Is 0 less than h?
False
Let n = -985 - -697. Let l be 280/n + (-4)/(-18). Is -2 greater than or equal to l?
False
Suppose -n = 3*y - 98, 14*y - 13*y - 191 = -2*n. Which is greater: n or 93?
n
Let p(q) = 3*q**2 - 7*q - 3. Let u be p(4). Let v = u - 25. Let d = -17 - v. Which is smaller: -7 or d?
d
Let u be 4/(-8)*2*170/(-45). Do u and -1/3 have different values?
True
Let g be 3/(-1) - 9/(-3). Suppose -3*c - 3*i - 2*i = -17, g = c - 2*i - 2. Let k(x) = x - 5. Let j be k(c). Is j greater than -1/10?
False
Suppose -1 + 11 = 5*q. Suppose 0 = 4*b - 5*i - 24, -2*b + 2*i + 17 - 7 = 0. Suppose m + b = 5. Is q not equal to m?
True
Let j = 7.7 + -8. Let r = -0.086 - -0.011. Let v = r + -3.925. Which is bigger: v or j?
j
Let o be (-42)/(-10)*105/(-1155). Which is smaller: o or 0?
o
Let x = 1 + 12. Let t = -72 - -83. Is t not equal to x?
True
Suppose 5*x = 8*l - 3*l - 460, 2*l - 4*x = 174. Suppose 25 = -5*w, h + l = 5*h + 3*w. Is 28 bigger than h?
False
Let v(d) = d**2 - 2. Let i(w) = w**2 + 9*w - 1. Let x(o) = -i(o) + 3*v(o). Let h be x(5). Is h at least -1/22?
True
Suppose -2*i = -4*d - 6, 189*d = -5*i + 193*d + 33. Is i > 204/25?
True
Let s be -5 + (2 - (-176)/24). Is s greater than 3?
True
Let c = -5/167 - -1461/4175. Is c at least 0?
True
Let q = 12 + -84. Suppose 259*i + 1168 = 243*i. Is q greater than i?
True
Let q(j) = j**2 + 16*j + 11. Let i = 28 + -43. Let x be q(i). Let p be 2 + 1*(x - -11). Is p less than 10?
True
Let s(t) = -t**3 + 11*t**2 + 13*t - 15. Let b be s(12). Let r = 0 - b. Suppose 12 = k + r*u, k + 4*u = 10 + 6. Are -2/53 and k equal?
False
Let t = 847.9 + -809. Let w = t - 39. Is w < 8?
True
Let p = -0.2 - -0.41. Which is smaller: p or -34?
-34
Suppose -4*f + 7 + 17 = 0. Suppose 3*h - 10 = 5. Is h greater than f?
False
Let w be (-1)/((-3)/((-24)/(-2))). Suppose 23 = -f + w. Which is greater: f or -18?
-18
Let d = 88 + -93. Let l be 1/(d/(-15)) - 17. Is -17 <= l?
True
Let h = 45 - 44.84. Let w = 0.16 - h. Do w and 2/35 have different values?
True
Suppose -2*d - 4*o = 8, -19*o - 23 = -4*d - 14*o. Let m be 8/28 - (-136)/63. Which is bigger: d or m?
m
Let a = 77 - 309/4. Which is smaller: a or 88?
a
Suppose 211*f - 206*f = -180. Is f != -36?
False
Let c be (-436)/(-3)*3/(-12). Suppose -52 = -3*i + 56. Let a = i + c. Is 0 at most a?
False
Let h be (-8)/16*(-14)/(-40). Which is greater: h or 1?
1
Let b = 76.5 + -86. Let p = 10.1 + b. Which is bigger: 0.2 or p?
p
Let o = -80 - -79. Let p = 18 + -37/2. Which is greater: o or p?
p
Let y = 6491/50 + -8/25. Let b = 133 - y. Suppose -2*z - 5*i = -23, 25 = 4*z - 0*i + 3*i. Is b > z?
False
Let m be 0/(-2 - 0 - -4). Let i be -3 - (-68)/20 - m. Is 3 smaller than i?
False
Let r = 2/175 + -183/700. Is 148/9 greater than or equal to r?
True
Let g be (-487126)/520 + (-5)/20. Let p = -937 - g. Let v = -123 + 123. Is p at most v?
False
Suppose -3 - 7 = 2*q. Let r be ((-78)/91)/((-6)/(-28)). Let i be (-2)/r*0/q. Which is greater: 1/7 or i?
1/7
Let c = -79.7 - -55.7. Is c smaller than 5?
True
Suppose -105 = 3*z - 3*n, 3*z = -n + 77 - 198. Let w = 41 + z. Is w equal to 3/4?
False
Let a(m) = m**2 + 3*m + 1. Let r be a(-1). Suppose -i - 5*h = 1, 2*h - 4 + 18 = 3*i. Suppose 2*u + 1 = 4*c - 3, 5*u + 10 = i*c. Does c = r?
False
Let l be 3/((-6)/4) + (-644)/(-23). Suppose 1 = -5*t + l. Is t less than or equal to 21/4?
True
Let m be 680/(-1296) - (-2)/4. Which is greater: 0 or m?
0
Suppose 18*z + 1156 = 184. Which is smaller: z or -59?
-59
Let u = -2614 + 2610.206. Let b = u + 3.8. Is 1 bigger than b?
True
Suppose 0 = 255*r - 245*r - 250. Which is bigger: 38 or r?
38
Suppose -7*k = -1565 + 1698. Is -27 less than k?
True
Let t = 296 + -300. Suppose 0*k - 3*k = -6. Let g be 1/((-1)/6*k). Which is smaller: g or t?
t
Let o = -0.06 + -11.94. Let f = o - -17. Let i = -0.96 - 0.04. Which is smaller: i or f?
i
Suppose -2*z - 3*t = -z - 4, 0 = z - 3*t - 10. Suppose -2*x + z = 1. Suppose -x*l = l. Which is smaller: l or -1?
-1
Suppose 0 = -2*i - 3*i - 2765. Let w = -7193/13 - i. Is w equal to 0?
False
Let m = -53 + 0. Suppose 92 + 120 = -4*t. Is t < m?
False
Suppose 12 = 5*l + 2*m - 11, 5*l + 5*m - 35 = 0. Suppose -l*w = w. Which is greater: w or 6/5?
6/5
Let q(o) = -o**3 + 2*o**2 + 5*o - 2. Let y be q(3). Suppose 16 + 4 = -y*i. Suppose 0 = -2*m - 2*n - 14, -5*n - 22 = 4*m + 11. Is m smaller than i?
False
Let l = 15.1 + -18. Which is smaller: l or 1/5?
l
Suppose -5*t - 5 = -5*v, -5*t + 6 = -v - 1. Let l be 742/189 + t*-2. Are l and 1 non-equal?
True
Let t = 11 - 3. Let w = t + -12. Let m = w + 4. Is 1 less than m?
False
Let b(h) = -9 - 3*h**2 - 17*h**3 - 13*h**3 - h + 31*h**3. Let r be b(4). Which is bigger: r or 5?
5
Let b be (-24 + 14)/((-1)/(21/(-9))). Suppose 0 = -0*y + 6*y + 138. Which is greater: b or y?
y
Let y = -9.72 - 62.58. Let m = y - -72. Let g = 0 + -1. Are m and g unequal?
True
Let r = -0.3 - -0.8. Let z = 28 - 2. Let i = z - 25.9. Is r greater than or equal to i?
True
Let v be (20 - 20)*(0 - 1) - 16. Are -190/11 and v equal?
False
Let l(y) = 40*y + 38. Let u be l(-2). Is u at most -40?
True
Let q = -42 - -50. Suppose -49 = q