 + 5*f - 46 = -a. Let u be 6/4 - 1 - (-246)/a. Is u less than -20?
False
Let j be (-11)/(-3) + 16/(-24). Suppose j*q = -2*s + 7*q + 12, -2*q + 10 = 0. Let l = -16 + s. Which is greater: l or 4/3?
4/3
Suppose z - 33 = 21. Is z at most 54?
True
Let s = 43.6 - 61.7. Let t = 18 + s. Let i = 0 + 0. Which is smaller: t or i?
t
Let m = -23.39 - -0.39. Let x = m - -29. Which is smaller: 0.5 or x?
0.5
Let m = 0.05 - 3.05. Let p be 1/(-1) + (-24)/(-27). Let y = -2/9 + p. Is m equal to y?
False
Let n(z) = 2*z**3 + 55*z**2 - 33*z - 139. Let o be n(-28). Is 3 > o?
True
Let s = 207 + -199. Which is smaller: s or 2?
2
Let w be ((-4)/110)/(6/247329). Let a = -1499 - w. Is 0 greater than or equal to a?
True
Let g = -197 + 205. Let c be (22/(-8) - -1)*-4. Which is smaller: c or g?
c
Let z = 239/9152 - 3/286. Let b(a) = a**2 + 137*a + 2971. Let i be b(-27). Is i smaller than z?
False
Let m be ((-9)/(-6))/3 + 282/4. Let v = m + -70. Is v greater than or equal to 2/65?
True
Let m = -2/15 + 13/60. Is 1 <= m?
False
Suppose -56 + 56 = 9*q. Let z = -9017/20 + 451. Which is bigger: z or q?
z
Let o be (-7 - -96) + (3 - 6). Is 84 > o?
False
Let h = 896/11 - 82. Let p(s) = s**2 + 3*s. Let g be p(-3). Let f be 1/(g - -1 - 2). Which is greater: f or h?
h
Let p(d) = -3*d - 31. Let b be p(-9). Let z = 71 - 75. Is z smaller than b?
False
Let w = 14809/67 + -221. Let r = 0.15 + 0.05. Is r at least w?
True
Suppose -f = 3*o + 89, -4*o - 302 = 3*f - 2*o. Are -103 and f equal?
False
Let c = -2443/18857 - -24/173. Let a = 213/545 + c. Is -7 <= a?
True
Let v = 43 - 74. Suppose -7*b + 2*b - 170 = -5*r, -4*r = 5*b - 118. Let k = r + v. Which is greater: -5/11 or k?
k
Let j = -1.6 - -1.8. Is -17/6 at least as big as j?
False
Let m(g) = 3*g**2 + 48*g + 7. Let z be m(-16). Is 7 <= z?
True
Let w = -724.928 + 725. Which is smaller: w or 0.3?
w
Let w(n) = -n**3 + 5*n**2 + 5*n + 8. Let m be w(6). Suppose 2*v + m*v = 5*g - 13, -2*v - 1 = 3*g. Which is smaller: 2/311 or g?
2/311
Let r(p) = -6*p - 10. Let h be r(0). Let v be 1/12*(-5)/h. Is 0 not equal to v?
True
Suppose -n - 2 = 0, 3*n + 3 = -5*k + 2*k. Let d = -2547 + 450821/177. Which is greater: k or d?
k
Let j(i) = -i**2 - 3*i - 3. Let f be j(-2). Let s = 48 + -97/2. Is f not equal to s?
True
Let b(d) = 44*d - 8. Let q be b(1). Let k = q + -36. Is 3/25 less than or equal to k?
False
Let l = -19 - -20.7. Let b = 8.3 + l. Which is smaller: b or 2?
2
Let m = -20 + 14. Let j = -6 - m. Let t be (-2)/18*1*1. Do t and j have different values?
True
Suppose -11*f + 316 = -13*f. Which is smaller: f or -160?
-160
Let n = -140 + 203. Which is bigger: -1/4 or n?
n
Let a(j) = -57*j**2 - 82*j - 164. Let b be a(-2). Is -229 greater than b?
False
Let m = 5864/13 - 369558/767. Let h = m - -14/177. Which is smaller: h or -30?
h
Let d(g) = -9*g**3 + g**2. Let f be d(1). Let i = 42 + -5. Let w = i - 38. Is w greater than or equal to f?
True
Let p = 70 + -30. Suppose 5*u - j = j - p, 4*j - 50 = 5*u. Let x(s) = -s**3 + 4*s**2 + 3*s + 4. Let z be x(5). Is u < z?
False
Let d(w) = -37*w + 3. Let s be d(-6). Let r = s + -7423/33. Let u = 20 + -20. Is u less than r?
True
Let f be (4/12)/(6/(-3600)*-2). Which is greater: f or 498/5?
f
Let d = -410 - -449. Is d less than 8?
False
Let m = 9.122 - 0.122. Let o(i) = 3*i**2 + 2*i + 1. Let d be o(-2). Suppose r - 4*u = -12, 3*u + d = -5*r + 6*u. Which is bigger: r or m?
m
Let d be 5 - ((-352)/(-12) - -8). Are -33 and d equal?
False
Suppose 34*y = 7*y + 1242. Is 0 smaller than y?
True
Let d = -11317 + 30510631/2696. Which is greater: 1 or d?
1
Let b = 152/11 + -56989/4125. Let s = -2609/6000 - b. Which is bigger: 0 or s?
0
Let m = 6.869 + -6.9. Does m = 2?
False
Suppose -16 = -l + 2*s - 5*s, -l - 2*s = -13. Let o(f) = 3*f. Let r be o(2). Is r >= l?
False
Suppose -4*f + 9 + 3 = -3*q, 3*q = -f + 3. Suppose -3*p = -f*w + 66, 2*p + 2*p + 86 = 3*w. Does p = -18?
False
Let c = 42.78 + -59.1. Let z = 16 + c. Let q = z + -2.68. Which is bigger: 1 or q?
1
Let s(a) = -3*a**3 - 15*a**2 - 15*a - 1. Let f be s(-7). Which is bigger: f or 397?
f
Suppose 2 = f + f - 4*y, 4*y = -2*f + 2. Let h(i) = -i**2 + 2*i - 1. Let p be h(f). Let n be (-2 + 78/33)*(1 - 2). Is n > p?
False
Let r = 61 + -68.4. Let a = r + 4.4. Which is smaller: 6 or a?
a
Let y(l) = -l**2 - 3*l + 2. Suppose 10*v = 3*v - 28. Let q be y(v). Let a = -12/13 + 110/91. Is a at most as big as q?
False
Let t = -0.45 - -58.45. Let g = 56 - t. Which is smaller: g or 0.16?
g
Let a = -1.9 - -0.4. Let z = -2.9 - a. Let m = z + 2.1. Is m smaller than 2?
True
Let h = -1/1776 - 43955/1776. Let z(y) = -y**3 + 10*y - 1. Let u be z(4). Is u > h?
False
Let h(z) = z**2 - 13 + 5*z + 8 - 6 + 8*z. Let g be h(-14). Let p(v) = -v**3 + 4*v**2 - 4*v + 2. Let s be p(g). Which is bigger: s or -1/12?
-1/12
Let o = -1028 - -1027.99. Which is smaller: o or -0.59?
-0.59
Suppose -46*q = -16*q - 10470. Is 349 < q?
False
Let v(k) be the second derivative of 1/3*k**3 - 10*k - 3/2*k**2 + 0. Let z be v(2). Which is bigger: z or -1/13?
z
Let n be (-3)/14 - (-12)/(-42). Suppose 2*f - 6*f + 20 = 0. Suppose f*t = -0 - 5. Are t and n equal?
False
Suppose -2*j - 103 = -43. Let c = -22 - j. Is c not equal to 4?
True
Let q be (-1 - (-6)/7) + (-9 - -8). Let u = q - 1. Are u and -3 unequal?
True
Let n = -81.47 - -0.47. Let w = 79 + n. Is w < 2/11?
True
Let x = 1.2 + -0.2. Let j = 941369/16554 + 3/27590. Let r = j + -57. Is r less than or equal to x?
True
Let o(b) = b**3 + b**2 + 9*b - 8. Let r be o(0). Which is bigger: -12 or r?
r
Let t = 280 - 280. Is t bigger than 1/4?
False
Let d = 49 + -71. Let a = -23 - d. Is 8 at most a?
False
Let h be 55/15 + 4/4. Let q = h + -76/15. Which is smaller: q or 0?
q
Suppose -3*t - 2*t = -50. Let s = 25 + -8. Let w be (-12)/t - s/(-85). Which is bigger: -3 or w?
w
Let z = -1144 + 1136. Is z at most -46/5?
False
Let l(r) = 6*r**3 + 6*r**2 - 8*r - 7. Let b be l(4). Is 441 at least b?
True
Let u = 14 + -15.84. Let w = 1.81 + u. Let n be 1*(-2 + 2 + 0). Which is smaller: w or n?
w
Let a be 4 + (3/3 - 1). Suppose -5 = -5*i + a*v - 3, -3*i - 3*v = 15. Let h be ((5 + -2)/3)/1. Which is smaller: h or i?
i
Let f = -33594596/33 - -1017189. Let u = -829 - f. Is -3/7 less than u?
True
Let c(g) = -g**2 + 4*g - 7. Let u(i) = -i**2 - 3*i + 3. Let p be u(-3). Let d be c(p). Let b be d*1*2/(-4). Which is smaller: b or 8/3?
b
Let x be (-21)/(3 + (-30)/8). Let f be (-3)/7 + 12/x. Let m be (-2 + f)/(48/(-4)). Is 1 smaller than m?
False
Let r = 32 + -11. Let b be -1 + (r/27)/1. Let l = 3 - 2. Which is smaller: b or l?
b
Let s be 0 + (-135*2)/3. Let a = s - -23. Which is greater: a or -66?
-66
Let p = -0.11 - 0.1. Let f = p + 0.2. Which is smaller: f or -0.2?
-0.2
Let u(l) = -2*l + 35. Let p be u(16). Suppose 4*h + 0*h - 5*i - 14 = 0, 13 = p*h - 5*i. Which is bigger: -2/77 or h?
h
Let n = -1060683/5804 + 1/2902. Is n smaller than -184?
False
Let g be 3/((-3 - 253/(-42)) + -3). Let r be (g/(-28))/(1/(-2)). Is 1 > r?
False
Let o(b) = -2*b - 8. Let z be o(4). Let n be (-4)/2 - 82/6. Let w = n - z. Which is bigger: w or 0.2?
w
Suppose 0 = -6*n + 34 - 4. Suppose -2*h - 36 = n*a - 10, -2*h + 5*a = 66. Is h > -24?
True
Let w be (-2)/5*(-15)/21. Suppose 11 - 55 = 11*c. Let g be (7 + -4)*(c/(-30) + 0). Which is greater: g or w?
g
Let j(v) = v**3 + 8*v**2 + 6*v - 8. Let l be j(-7). Let a = 6094 - 1761168/289. Is l less than or equal to a?
True
Suppose -n - t = -5, -3*t = 5*n + 7 - 22. Suppose -5*o = -n*j - j, -22 = 2*o + 4*j. Let h = -214 - -1928/9. Is h at most o?
False
Let n = 279 + -460. Let a be 23650/(-130) - (-2 - -1). Let i = n - a. Which is greater: i or -1?
i
Let k = -105.4 - -132. Let r = k - 26. Which is bigger: r or -0.2?
r
Let x(z) = -z + 10. Let s be x(7). Suppose q = s*n - 0*q + 5, -2 = -q. Which is bigger: -14/27 or n?
-14/27
Let t(p) = 2*p**2 - 6. Let w be t(-2). Suppose -2 + w = 8*q. Which is bigger: q or -2/429?
q
Let m = 200 - 201. Which is smaller: -1/270 or m?
m
Let z = -0.67 - -0.77. Is z at least 147?
False
Let o = -125 + 128.45. Let k = o - 3.6. Which is smaller: 0.4 or k?
k
Let b(w) = w**3 - 4*w**2 + 3*w + 2. Let h be b(2). Let v be 16/(4 - h) + -4. Suppose -7*z + 4*z - 45 = v. Which is greater: z or 0.2?
0.2
Let h be -2*(106/(-18) - -6)*-9. Is -0.2 > h?
False
Let j = 75 + -75. Suppose j = 