et t = -0.3567 - -0.3415. Is -1 less than t?
True
Let w(b) = -b**2 - 95*b + 819. Let h be w(8). Which is smaller: h or -105/22?
h
Let k be (-3*(-40)/(-12))/(-1). Let o be (-15)/k*3/2. Let j(a) = a**2 - 5*a - 2. Let q be j(5). Which is greater: o or q?
q
Let u be (-70)/(-7) + 19812/(-1690). Which is smaller: -3 or u?
-3
Let z = 44538190 + -1557277812967/34965. Let x = 1/259 + z. Which is greater: 0 or x?
x
Let k = 1093/6 - 299473/1644. Which is smaller: k or 1?
k
Suppose 35 = 8*f - 13. Suppose -6*l = -3*l - 21. Is f at least as big as l?
False
Let l = -147.38 + 147.18. Which is bigger: l or 27?
27
Let v(w) = -25*w - 23. Let q be v(-1). Let l be (q/9)/1 - (-2)/(-9). Which is smaller: l or 3/14?
l
Let y be (-66085)/55 + (-48)/(-88). Which is smaller: -1200 or y?
y
Suppose 3*b - 257 = 190. Suppose 0 = 14*z - 12*z - 8, -729 = -5*i + 4*z. Is b greater than or equal to i?
True
Suppose 27*h - 10*h - 94*h - 385 = 0. Is -0.2491 at most as big as h?
False
Let t be -4 + (-5436)/(-696) + -8 + 4. Let y = 27 + -26. Is y less than t?
False
Let j be (-10)/(-25) + (-18344)/10. Let a = -122880/67 - j. Is 2/17 greater than a?
True
Let r be (-6 - 22/3)/((-6)/(-72)). Are -158 and r unequal?
True
Let b be (-8)/28*(-5 - -12) - 211. Let z = -130 - 84. Which is bigger: z or b?
b
Let z be 1810/(-724)*-28*1/5. Suppose 0 = 2*v + 2*v. Suppose z = 7*a - v*a. Which is greater: a or 10/11?
a
Let s = 62 - 36. Let m = -233 - -206. Let c = s + m. Do -2/91 and c have different values?
True
Let m = -2023 + 1630. Which is greater: m or -391?
-391
Let a = 19.7 - 3.7. Let l be (40/140)/(0 - 1/(-3)*-2). Is a less than or equal to l?
False
Let m = -0.7 + 1. Let h = 0.2 - m. Let x = 0.02768 + 0.37232. Do x and h have the same value?
False
Let n = 130/47 + -710237/256761. Which is greater: 1 or n?
1
Let s = -0.51 - -0.82. Let y = -574.31 + 582. Let g = y + s. Is g >= -1?
True
Suppose 70*j + 69 = 139. Let u = 9 - 5. Suppose w + u*w = 0. Is w at least as big as j?
False
Let l(i) = -10*i + 11. Let o(d) = -d - 1. Let w(y) = l(y) + 5*o(y). Let q be 143/33 + (2 + 0)/(-6). Let g be w(q). Which is smaller: g or -55?
-55
Let v be 6/(-30) - (-93)/415. Let c = v - 89/249. Which is smaller: c or -3/7?
-3/7
Suppose -71 = -k + 2*h, -608*h = 5*k - 612*h - 319. Are k and -35 non-equal?
True
Let j(k) = k**3 + 4*k**2 - 35*k - 41. Let m be j(-8). Do m and -3/22 have different values?
True
Suppose 2*c - 79 = 57. Let v = c + -74. Let r be (v - -3)/(-1*2/6). Which is smaller: 19/2 or r?
r
Let r(f) = 2*f**2 - 3*f - 10. Let o(q) = -q**3 + 24*q**2 + 4. Let w be o(24). Let u be r(w). Which is bigger: u or 7?
u
Let x be (-106)/(-48) - (-2 - -4). Suppose 10 = 6*u + 4*i, 10*i = -u + 6*i + 15. Are x and u unequal?
True
Let z = 287/4 - 3719/52. Are -1.89 and z equal?
False
Let b be (-612)/48 + 14 + 38/8. Which is bigger: b or 63?
63
Let q(w) = 10*w + 4*w + 11*w - 14*w**2 - 40*w. Let j be q(-4). Which is bigger: j or -162?
-162
Let p = 38 + -36. Suppose 0 = 2*j - g + 1, 5*g = 3*j + p*j - 10. Let a be ((-1)/j + -1)/(6/(-9)). Are 1/32 and a nonequal?
True
Let o be ((-3)/(-4194))/(4*(-35)/(-224)). Which is bigger: -1 or o?
o
Let i = 896 + -828. Is i <= 5?
False
Let o be ((-3)/(-3))/(46/16 - 3). Let t be ((-2)/3)/(o/24). Suppose 0 = -5*w - t*w + 7. Which is greater: w or -1/78?
w
Suppose 2*f + 4*j = -f + 26, 4*j - 20 = -2*f. Let w be -1 + 2 - 3/3. Suppose w*a - f = 6*a. Is -2/11 at most a?
False
Let o(c) = -c**3 + 8*c. Let z be o(-3). Let x(h) = -4*h - 2 + 3 + 3*h**2 + 3 + h**z - 2*h**3. Let g be x(3). Is g less than -8?
False
Let w be (6/(-3))/2*-5. Suppose s + 2*m = 5 + w, -5*s = -3*m - 11. Suppose s*r + 4 = 12. Which is smaller: r or 4?
r
Let u be ((-2)/4)/((-15)/18*(-3)/340). Is u at least -11?
False
Let z(n) = -5*n**3 - 10*n**2 + 46*n - 159. Let f be z(8). Do -2991 and f have the same value?
True
Let u(q) = 2*q**2 + 41*q - 286. Let n be u(-26). Let w(s) = -s + 7. Let i be w(8). Let x = i + -3. Which is smaller: n or x?
x
Let i(j) = -j. Let l be i(3). Let c = -47 + 50. Suppose -15 + c = 3*d. Is d <= l?
True
Let b be (0/(-1 + -7))/2. Let a(s) = -s**2 + 15*s - 91. Let p be a(b). Which is smaller: -94 or p?
-94
Let z = 13.46 - 7.22. Let f = -1.24 + z. Which is greater: f or 2/5?
f
Suppose -3*l - 7 = -j, 8*l - 2 = 2*j + 10*l. Let p be 1/(3 + j)*-1. Which is smaller: p or 0?
p
Let v = 6427 + -69375/11. Are v and 120 nonequal?
True
Let l(o) = o. Let z(w) = w - 1. Let t(i) = 5*l(i) - 4*z(i). Suppose 37 = 22*j - 29. Let v be t(j). Which is bigger: 2/7 or v?
v
Let a = 0.01634 + -0.03734. Is a <= -0.4?
False
Let s(l) = -2*l**3 - 9*l**2 - 6*l + 1. Let c be s(-4). Suppose 28*u = -c*u. Which is smaller: -82 or u?
-82
Let p = -2 + 1. Let m = 172 - 170. Let f = p - m. Are 0.1 and f non-equal?
True
Let t = -328 + 118. Let o = 209.9 + t. Is o < 144?
True
Suppose 1669*i - 1568 = 1571*i. Suppose 5*t + 0*y - 4*y = 36, -t - 12 = 4*y. Let n = t - -14. Which is smaller: i or n?
i
Let c = -152169979/69710 - -21829/10. Which is smaller: c or 0?
c
Suppose -9 = -221*j + 218*j. Let g be j + (30/24 - 5). Are g and -3.7 equal?
False
Let a = -8885/4 + 2223. Are -0.13 and a equal?
False
Suppose 0 = -76*w + 79*w - 9. Let t be (-4)/((-12)/15) + w. Suppose 0 = -0*a - a - y - 2, 4*y + t = 4*a. Is -1/28 less than a?
True
Let t = 5.943 + 39.057. Which is bigger: -1.4 or t?
t
Let b = 18 - 101. Suppose 0 = -3*k + 2*p - 237, 5*p + 330 = -4*k + 3*p. Which is smaller: k or b?
b
Suppose 6*x - 35 = 11*x. Let g be (-7 + -1)/(2/(-35)). Let p be ((-8)/5)/(x/g). Are p and 31 nonequal?
True
Let g = -27626 - -27855. Let a(s) = 29*s**3 - 2*s + 1. Let q be a(2). Do g and q have the same value?
True
Let z = -39 + 45. Let k be ((165/10)/(-11))/((-3)/z). Is k bigger than 16?
False
Let j(x) = 9*x - 90*x**2 + 96*x**2 + 28 + x**3 + 18. Let c be j(-7). Is c at least as big as -68?
True
Suppose 31*d - i = 28*d - 8245, -3*i + 13731 = -5*d. Which is smaller: -2752 or d?
-2752
Let i = -9130 + 9135. Which is smaller: i or 274/65?
274/65
Suppose 1 + 2 = y. Suppose -y*n = -9, -4*r + 0*n + 7 = n. Suppose -28 = s - 15*s. Is s less than or equal to r?
False
Let s = -94 + 97. Let z be (-1)/s + 4484/(-570). Is z equal to -7?
False
Suppose -5*q = 2*k - 15975, 29*k = 4*q + 31*k - 12780. Is 3195 != q?
False
Let z(p) = -365*p + 1064. Let q be z(8). Which is smaller: -1853 or q?
q
Let f = 1899205/870102 - 179/82. Which is smaller: -1 or f?
-1
Let w = -10808 - -10809. Which is greater: -5/1354 or w?
w
Let o = -10.6 - -10.667. Let l be (-7 - -13)/((9/(-8))/3). Let x = 16 + l. Is x at least o?
False
Let c = -197 + -41. Let i = c - -224. Is i less than or equal to -13?
True
Let q be 4/(-26) - (3/2)/((-1272375)/89784). Let p be -2*(2 + (-5)/2). Is q > p?
False
Let l = 150 + -147.08. Let z = 0.92 - l. Is -2/263 at most z?
False
Let a(j) = 5*j + 1. Let i(l) = -11*l - 3. Let w(u) = 13*a(u) + 6*i(u). Let d be w(-6). Which is smaller: d or 18/35?
18/35
Suppose 0 = -s + 6*s + 2*g - 1, -5*s + 7 = 4*g. Let w be ((-20)/(-1992)*-2)/((-2)/12). Are w and s non-equal?
True
Let d(q) = -23*q**2 + 11*q + 43. Let h be d(-15). Let j = 238379/45 + h. Which is bigger: j or 0?
j
Suppose -2*n = -2*x - 10, -4*x - 16 = -0*x - 3*n. Suppose 0 = w - 637 + 4416. Let s = w - -684001/181. Is x equal to s?
False
Suppose 5*g - 3*j = 359, -4*g + 2*g + 152 = -4*j. Let n = -19 + 29. Let d be ((-4)/n)/((-14)/g). Which is smaller: 7/4 or d?
7/4
Let p(h) = h**2 - 4*h + 3. Let i be p(2). Let f be (2704/(-120))/((-2)/6). Let m = 5423/80 - f. Which is smaller: i or m?
i
Let v(w) = -4*w - 5. Let c(h) = 7*h + 9. Let i(j) = -3*c(j) - 5*v(j). Let b be i(-5). Suppose -b*l = -6*l. Is l less than -0.3?
False
Let a be 8/28 + (-76)/315. Let z = 334 + -662. Let g = 328.1 + z. Which is smaller: g or a?
a
Let v = 3.1421 - 3.0421. Is v <= 6074?
True
Let h = -122 + 102. Let q be 56/(-66) - h/110. Which is bigger: 80 or q?
80
Suppose -4234 = -10*w + 316. Suppose -9*l = -688 - w. Is 127 at least l?
True
Let c = 38 + -38. Let o be ((20/15 - 2) + 1)*c. Do 1/48 and o have different values?
True
Suppose q - 4341 = -3*g + 215, 4553 = q + 4*g. Let r be (q/1135 + -4)*8/(-20). Is r at least as big as -1?
True
Let n = 757 - 24. Let m = n - 742. Is -2 greater than m?
True
Suppose -1158 = 8*z - 6222. Let f = z - 1900/3. Do f and 68 have the same value?
False
Le