 a or 22/5?
22/5
Let y be (4/24*-2)/((-650)/120 + 5). Let f be (2 - 3)*(-1)/(-5). Is f less than y?
True
Let l(y) = 80*y - 56. Let a be l(9). Let q = a + -662. Let h = 7 + -7.6. Is q less than h?
False
Let s be 17/(510/(-95868)) - (-6)/(-15). Let f be 11/(-44) - (s/(-1232) + -3). Does f = -1?
False
Let o(l) = -59*l**3 + 1888*l**2 + 15*l + 67. Let s be o(32). Which is smaller: s or 2?
2
Let p = 27.1 - 27.65. Let g = -2.85 - -5.3. Let j = p - g. Which is greater: j or -0.3?
-0.3
Let i = 0.126 - -1.874. Let n(t) be the third derivative of t**6/120 - t**5/12 - 5*t**4/24 - t**3 + 18*t**2. Let w be n(5). Which is greater: i or w?
i
Let w = -2227 - -2477. Is 2754/11 not equal to w?
True
Let g = 2614 - 1558. Which is smaller: g or 0.1?
0.1
Let g(s) = -7*s + 708. Let u be g(101). Which is greater: u or 109/69?
109/69
Let r = -19.62 + 18.62. Let n(z) = 2*z + 7*z**3 - 20*z**3 + 4 + 12*z**3 + z**2. Let x be n(-3). Which is greater: r or x?
x
Let z(h) = 17*h + 973. Let y be z(0). Let b be (-2)/((-7)/((-49)/y)). Is 0 < b?
False
Let g = 5.529 - 5.274. Is -3 at most g?
True
Suppose 3 = -k - 2, 2*k + 26 = -4*z. Let b be (880/4)/4 + z. Suppose 0 = -n - 2*n + b. Is 18 at least n?
True
Let k be 8/(-28)*70/(-8) - (-169)/(-78). Is 304/5 >= k?
True
Suppose 169*z = 261384 - 54697. Which is smaller: 1221 or z?
1221
Let g = 153 - 761/5. Suppose -2*t = -6*t + 5*p - 13, -p + 2 = -t. Suppose -7 = -t*a - 4. Are a and g nonequal?
True
Suppose 0 = -2*s - 2*s + 8. Let y be s + (-36)/15 - (-514)/10. Let k be (-85)/y - (-1)/(-3). Do k and -1 have the same value?
False
Let k = 1.8 + -1.76. Let a = -0.66 - k. Let t = -12.7 - a. Which is smaller: t or 1/4?
t
Suppose -r + 3*b + 45 = 0, -298*r - 2*b - 199 = -303*r. Which is smaller: r or 37?
37
Let r = -4868 + 4793. Is 58 greater than r?
True
Let y be 6/(-4)*1*-4. Suppose 223 = 92*c - 789. Which is bigger: c or y?
c
Suppose 5*u = u. Suppose u = -d + 15 - 30. Let z be d/6*222/30. Is -2 greater than z?
True
Let a be (-2)/1 - (-5 + -2). Let u be 0/(-4) + a/(-2). Let s = 908.6 + -908.4. Are u and s non-equal?
True
Let c be (-172)/(-96) + -4 + (-60)/(-36). Let z = -6 - -6. Is c less than z?
True
Suppose 11*h + 0*h = 66. Let l be (2/6)/(h*6/(-324)). Suppose -5*u + 10 + 15 = 0. Which is smaller: l or u?
l
Let c = -0.285 + 0.285. Let v = 1.4 - 6.4. Let p = v - -3.5. Do p and c have the same value?
False
Let c be (-14)/62*(8 + 1/((-28)/(-3256))). Which is smaller: c or 0?
c
Let d(y) = 2*y - 18. Let l be d(12). Let h be (-84)/18 + l/9. Let p be -17 + 22 + h + 0 + 0. Is -2/127 less than or equal to p?
True
Suppose 0 = -2*d - 223 + 219. Let m be (-15)/(-9) - 1/(-3). Suppose -m*n - 1 = 5. Is n bigger than d?
False
Let r = 233.65 - 209.63. Which is greater: r or 1?
r
Let j be (-3 - -2) + (-78)/(-80). Let s = 15.93 + -9.34. Let k = 6.49 - s. Which is smaller: j or k?
k
Let g be (9/12)/((-8)/32). Let r = g + 3. Which is smaller: r or 1/241?
r
Let d be 8/32 - (-252)/16. Let c be (1 + -1)/(d - 18). Which is smaller: 2 or c?
c
Suppose -113*o - 4 = 2*q - 112*o, -27 = 3*q + 5*o. Let u = 166/2925 - 4/325. Is q > u?
True
Let a = -1 + 3. Let g(v) = 3*v**2 + 4*v**2 - 3*v**2 - 2*v**2 - 2*v + 3. Let d be g(a). Which is bigger: 6 or d?
d
Let y be (-6)/21 + ((-5)/7 - -3). Suppose -y*w - 3*c = -19, -4*w = -3*w - 5*c + 23. Let q = 1749 - 40215/23. Which is bigger: w or q?
w
Let c(z) = z**2 - 809*z - 2834. Let r be c(0). Do -2834 and r have different values?
False
Let k be (1762/8 - -2) + -1 + 4. Let u = -224 + k. Which is bigger: 2 or u?
2
Let v = -2049 + 3013. Let i = 930 - v. Is -1/4 < i?
False
Let u = -213.56 + 133.56. Is u > -18?
False
Let j = -1/15318 + 2604121/934398. Is 2 greater than j?
False
Let k = 0.961 - -0.039. Suppose 0*n + 1 = h + 4*n, 5*h - n - 5 = 0. Let f be 22/2*(-1 + 2)*h. Are f and k non-equal?
True
Let z(k) = 2*k**2 - 64*k + 66. Let r be z(31). Suppose 5*x - 2*x = -r*x. Is x greater than 7/71?
False
Let o = 45.141 - 33.541. Is -7/10 <= o?
True
Let r be 11 - 1826/165 - (-2)/(-6). Let b = 350 + -353.93. Let q = -0.07 + b. Which is greater: r or q?
r
Let c(l) = -2*l**2 - l + 7. Let u be c(-6). Suppose 4*m - 5*m = 0. Suppose -9*j + 14*j + 300 = m. Is j at most u?
True
Suppose 4*r = -5*z - 19, 2*z + 1 = -0*z + 5*r. Let x be (2/4)/(z/(-6)). Let f be (84/224)/(9/(-2)). Are x and f unequal?
True
Let i(d) = -d**3 + 2*d**2 + 45*d + 77. Let j be i(-2). Is j > 115/61?
True
Suppose 5*o - 3*m = 1355 - 3935, -5*m - 1032 = 2*o. Which is smaller: 0.5 or o?
o
Let z be -5*32/(-48)*(-12)/(-5). Suppose 234 = -2*t + 2*x, -4*x = -z*x + 4. Let k = t - -72. Which is smaller: k or -43?
k
Let y = 34 - 50. Let k = 20 + y. Let g = -5 + k. Is -4 > g?
False
Let t be (-20)/6 + 754/234. Which is greater: t or 1/119?
1/119
Let f(j) = -22*j + 156. Let u be f(7). Let b = -17/60 + 13/12. Which is bigger: u or b?
u
Let n = -19268 - -19268. Which is smaller: n or 180/391?
n
Let r(n) = -2*n**3 - n**2 - 2*n - 5. Let p be r(-4). Let b(g) = -125*g - 1011. Let v be b(-9). Do v and p have different values?
True
Let u = 37 - 29. Suppose 0 = u*j + 64 + 200. Let k = 51 + j. Is 18 smaller than k?
False
Let w be (26/15067)/(3/6*38). Which is bigger: 1 or w?
1
Let m = -42.05 - -43. Let t = 8.424 - 7.574. Let c = t - m. Is c less than -2/103?
True
Let p = 0.099 + -3.859. Let w = -1.76 - p. Let y be (-15)/17 - (-1 + 0). Is w >= y?
True
Let b(h) = -25*h + 369. Let g be b(-32). Are g and 2339/2 non-equal?
True
Let d(s) = 8*s**3 - s**2. Let y be d(1). Let i = y - 14. Let j = 34580 + -34592. Is j at most i?
True
Let v(p) = 1733*p + 6930. Let b be v(-4). Let d(r) = 2*r**2 - 5*r + 3. Let c be d(3). Which is smaller: b or c?
b
Suppose 3*n + 28 + 17 = 4*g, 0 = -4*g + 5*n + 51. Suppose 8*t - g*t = -9. Which is bigger: t or 10?
10
Let k be (-17102)/1683*-11 - ((-44)/36 + 1). Which is bigger: 1461/13 or k?
1461/13
Let c(p) = 31*p. Let s be c(-1). Let u = 880 - 910. Is u smaller than s?
False
Suppose -4*z - 544 = 2*t + 14, -152 = z + 3*t. Let d be -6 + z*20/(-456). Is 1 equal to d?
False
Let g = 13712648/66979 - 20/6089. Is g smaller than 205?
True
Let y be (4/(-18) - (-880)/(-3168))*(-4)/(-68741). Which is greater: -1 or y?
y
Let a be -1*((-6)/(-3) - 3). Suppose -8*x - 4635 = -3*x. Let n be (-582)/x + (-14)/21. Which is smaller: n or a?
n
Suppose 0 = -4*a - 3*t - 2*t - 17, -t - 15 = -5*a. Suppose 5*c = -3*j - 14, a*j - 15 = 5*c + 9. Let f be (-1)/j + ((-1540)/24)/(-7). Are f and 8 nonequal?
True
Let p be (-2)/(-7) + (-46)/14. Let g be 14/20*1008/1764. Which is greater: g or p?
g
Let c(l) = -l**3 - 18*l**2 + 17*l - 26. Let d = -57 + 38. Let w be c(d). Let g be 2/(-6)*(3 - 8 - w). Which is bigger: g or 5?
g
Let w = -6.9 - -1.9. Let b = w + 7. Let o = -80 + 88. Which is smaller: o or b?
b
Let c = 62 - 64. Let r be (-526)/33*(-2)/28. Let k = -19/33 - r. Is k less than or equal to c?
False
Suppose 0*h = h + 4. Let m be -4 + (h - ((-192)/(-26))/(-1)). Which is bigger: 0.4 or m?
0.4
Let s = -558709/2259 - -26/251. Suppose r + 740 = 3*j, -4*r + 0*r = -4. Let u = s + j. Is u < 0.1?
True
Suppose -7 = -u + 13 + 3. Is u not equal to 6?
True
Let z = -4295/280797 - 1/2211. Suppose -2 = -o + 4. Let s be (-5)/(-10) + (-7)/o. Is s not equal to z?
True
Let s(t) = 7*t - 12. Let f be s(4). Suppose 0*b = -f*b + 224. Which is greater: b or 15?
15
Suppose 361*m - 385*m = 0. Which is smaller: 1/2625 or m?
m
Suppose 4*t - 284 = -4*c, -225*t = 4*c - 228*t - 284. Which is smaller: 100 or c?
c
Suppose -b = 3*d - 322, -4*d = -7*b + 3*b - 408. Let y = d - 196. Is -90 != y?
False
Let a(q) = q**3 + 4*q**2 + 5*q. Let l be a(0). Which is smaller: l or -2/1533?
-2/1533
Let s(y) = 73*y + 6408. Let q be s(-116). Is q not equal to -2052?
True
Suppose 0 = 5*a + 3*u + 29 - 634, 2*a - 258 = 2*u. Let g = a + -136. Is -129/10 greater than g?
False
Let u be ((-6)/(-27) + -5*(-7)/45)*3. Is u >= -39?
True
Let f = 674.987 + -675. Let b = f - 0.032. Is -0.4 >= b?
False
Let j(n) = -n**3 + 7*n**2 - 5*n - 7. Let l be j(6). Suppose 0 = -4*z + 736 - 3076. Let p be 0 - ((-6)/39 - 168/z). Which is bigger: p or l?
p
Let x = -35 - -21. Let r be (17/3 - 0) + -5. Which is bigger: x or r?
r
Suppose 59288 = -6*v + 59318. Let k(u) be the first derivative of -2*u**2 + 21*u - 1. Let m be k(v). Is -31 bigger than m?
False
Let x = 27.3 - -6.7. Let b = -2 - -2.7. W