ich is greater: 5/6 or r?
5/6
Let d(h) = h**3 + 7*h**2 + 3*h - 6. Let b be d(-6). Which is smaller: b or 5?
5
Let o = 0.61 - 0.01. Let v = o + -0.4. Is v smaller than 6?
True
Suppose -5*f + 23 = -s, 35 = s + 5*f + 8. Let o be s - 1 - 1 - (-45)/21. Is 1 not equal to o?
True
Let h = 29 - 15. Let s = -13.6 + h. Let i = s + -0.3. Which is smaller: i or 2?
i
Let v be 206/(-10) + 6/(-15). Let u = v + 18. Are u and -5 nonequal?
True
Suppose 131 = 3*t + 4*w, -52 = -5*t + 5*w + 178. Is 45 at least as big as t?
True
Let f(d) = 2*d**2 - 18*d + 107. Let n be f(7). Is n not equal to 79?
False
Let u be 6/(-1)*1 - -2. Let i be 1*(14096/12)/(-4). Let v = 290 + i. Is u smaller than v?
True
Suppose 4*r - x + 3*x - 8 = 0, 0 = 2*r + 3*x. Let y be r/((585/(-6))/(-5)). Is y less than 2?
True
Let u be (1 + -3)*(-14)/(-4). Let g be (0/(-2) + 2)*u. Let w = 65 + -79. Is w bigger than g?
False
Suppose 2*m + 32 = 4*z, 3*m + 3*z - 7 = -2*z. Let v be 8/7 - m/(-42). Which is smaller: 12/7 or v?
v
Let d = -101 - -102. Which is bigger: d or -2/989?
d
Let q = 23 - 22.66. Let y = q - 0.44. Are -1.5 and y unequal?
True
Suppose 0 = -0*x - x. Is x bigger than -2/9?
True
Let r = 2393 - 545603/228. Let a = -569/228 - r. Is -2 smaller than a?
False
Let d be 24/(-16)*14/(-3)*-1. Let x be (-3)/d + -5 + (-356)/(-84). Which is smaller: 10 or x?
x
Let z = -37 + 66. Let u = -10 + z. Let t = 31 - u. Which is bigger: 0.1 or t?
t
Let h = 0.59 + 0.11. Let d = 852.3 - 851. Let n = h + d. Is 2 less than or equal to n?
True
Let i = -0.89 + 0.4. Let t = -2.49 - i. Which is greater: 24 or t?
24
Let z = -7 - -14. Suppose 0 = z*f - 8*f + 1. Let p be 8/3 + 2/6. Is p < f?
False
Let j = 0.918 + 0.082. Is j != 10?
True
Let s be 12/4 - (2 - 1). Let j(t) = 0*t**3 + 3 + t + 4*t**2 - t**3 - 2. Let g be j(s). Is g smaller than 12?
True
Let w(s) = s + 1. Let z(i) = -i**2 + 5*i + 1. Let m be z(4). Let l be w(m). Let d be (0 - l)*(-5)/15. Is -1 <= d?
True
Let a = -43/6 + 20/3. Which is smaller: -0.054 or a?
a
Let c = -17/36 + 1/4. Is c at least as big as -28?
True
Let b = 322.2 + -322. Which is bigger: -1/91 or b?
b
Let p be (-2)/12 - ((-186536)/(-18960) + -10). Are p and 0 unequal?
True
Let m be 2 + (-2)/(-267) - (-22 + 24). Is -1 greater than m?
False
Suppose 6*t = 41 + 7. Suppose -3*o = b - 18, 3*b + 50 = 3*o + 20. Suppose o*n - 32 = 3*n. Is t not equal to n?
False
Let m = -15 + 18. Let y be (2 - (-2332)/(-468)) + m. Suppose 5*g + 21 + 3 = -4*v, 3*g + 10 = 2*v. Which is bigger: y or v?
y
Let u = 3/4 + -1/4. Are u and 193 equal?
False
Let l(x) = -x**2 - x + 20. Suppose -5*d + 4*d - 9 = 0. Let c be l(d). Are c and -52 unequal?
False
Let h(u) = 7*u**2 - 3*u - 2. Let i be h(-2). Suppose -27*w = -23*w + i. Let z = w + 13. Is 5 at most as big as z?
True
Let w be -4*(-2 + 20/8)/10. Which is smaller: -23 or w?
-23
Let o be ((-4)/(-186))/(-1)*1. Let b(p) = 13*p + 287. Let f be b(-22). Do o and f have the same value?
False
Let t be (-4)/(-10)*(-25)/(-10). Let k be (0/t)/(3 + -4). Suppose -10*v + 2*v = 0. Is k > v?
False
Let r(j) = -j + 18. Let l be r(15). Suppose -2*x + 68 = -4*n, 0*x - 2*x = l*n - 103. Let h = x - 265/6. Is h equal to 0.3?
False
Suppose -2*y + 18 = 4*o, 0 = -3*o + 4*y + y - 19. Suppose 725 + 1655 = 14*a. Let n = 1191/7 - a. Which is greater: n or o?
o
Let d = 49 - 45. Suppose d = 3*t + 16. Is -3 less than t?
False
Let j = -11.165 + -0.895. Let p = 12 + j. Let m = 0.94 - p. Which is smaller: m or 0.1?
0.1
Let v = -9521/57 - -167. Suppose -56 = 89*d - 33*d. Is d != v?
True
Let c(n) = -2*n**2 + 2*n - 4. Let y be c(3). Let d(l) = -l**2 + 2*l + 5. Let t be d(5). Let p = -25 - t. Which is smaller: y or p?
y
Let g = -12 - -8. Let c be 1/(g - 0 - -7 - 2). Are c and 4/29 equal?
False
Let n be ((9/(-18))/(1/4))/(-2). Suppose -13 - 23 = 2*m. Let t be (2/(-6))/((-42)/m). Are n and t equal?
False
Let v be ((-44)/28 - -3)*7 - -3. Suppose -216 + 658 = v*n. Is n at least as big as 36?
False
Let w = 3541/5 - 710. Let m(k) = -k**2 - 3*k + 2. Suppose -4*c = -2*c + 8. Let u be m(c). Which is smaller: w or u?
u
Let w = 41 + -42.95. Let q = 2 + w. Let j = 24 + -25. Do j and q have the same value?
False
Let n = 516 + -516. Let d be (-12)/16*4/(-42). Is n <= d?
True
Let m = 7543/68 + -1278/17. Let r = m + -10717/300. Which is smaller: r or 1?
r
Let c(h) = -54*h**2 + 3*h + 1. Let m be c(-2). Let t be 26/m - (-3)/(-119). Which is smaller: t or 0?
t
Let k(v) = -5*v**2 + 385*v - 8. Let z be k(77). Let i(p) = 2*p**2 + 3*p + 1. Let b be i(-2). Are b and z unequal?
True
Suppose -4*c = 1 - 21. Suppose -2*m - m = 0, -5*t + c = 3*m. Let k = 21 - 14. Which is smaller: t or k?
t
Let v(y) = y**2 - 2*y - 3. Let s be v(3). Let r be -3 + (-1132)/(-300) + (-4)/5. Is s greater than r?
True
Let q = 2 + -4. Suppose 4*l = -4*l - 56. Let j be (7/l)/((-2)/(-6)) - 3. Do q and j have the same value?
False
Let c be (-1*134)/(47 - 40). Is c < -20?
False
Let p = -4.99 + 5. Let w be 30/(-54)*(-1)/(-5)*-1. Are w and p unequal?
True
Let p = -1.9 + 2. Let v = 0.04 + -0.2. Let n = v - 0.14. Is p at least n?
True
Let p(n) = 2*n**2 - 45*n - 28. Let k be p(23). Which is greater: 0.01 or k?
0.01
Let x be (-4 + 5)/((-1)/(3/36)). Let l = 31 + -30. Are l and x equal?
False
Let r = 0.007 + 2.993. Let n = -1.2 + -1.3. Let w = r + n. Is w bigger than -2/9?
True
Suppose 4*o + 10 = -2*k - 0*o, -5*k + 5*o = -5. Which is smaller: k or -2/1391?
k
Let a be (-8)/4 + 13/4. Let c be ((-5)/(-4 - 6) - 1)*-2. Which is bigger: a or c?
a
Let k = -56123/342160 + -1/455. Let u = -3/16 - k. Is 1 at most u?
False
Suppose -4*c + 45 = 5*n, c + 5 = 2*c. Suppose 0*j + 110 = -n*r - j, -j - 5 = 0. Let d = -38 - -17. Is r less than d?
False
Let x be 3/((7/14)/(1/(-6))). Let j(g) = -g**3 - g**2 + 1. Let t be j(0). Let u be t*((-2)/(-6))/1. Are x and u non-equal?
True
Let u be (-136)/(-2)*71/4. Let o = 6054/5 - u. Which is bigger: o or 5?
5
Let h = 4/217 + 181/1953. Which is smaller: h or 4?
h
Suppose 11*k + 104 = 15*k. Suppose 0 = 2*g + 4*l - l - 48, -g + k = 2*l. Suppose 0 = -0*j + 3*j + g. Which is greater: 0.1 or j?
0.1
Suppose h = -4*m - 0 + 6, -2*m - 18 = 2*h. Let b be 102/h - (-2)/7. Do -7 and b have the same value?
True
Let l be (-3)/18 - 93/(-18). Suppose -6 = -4*a - l*d + 19, 4*d - 20 = 0. Let r(t) = t**3 + 3*t**2 + 3*t + 1. Let q be r(-2). Is q at most a?
True
Let r = -57262/31031 + -2/2387. Suppose 10*k + 15 = 5*k. Is k equal to r?
False
Let g = 720.17 - 720. Is g at most -2/31?
False
Let d(k) = -k**2 - k**3 - 3*k**2 + 0 - 4 + 0*k**2 - 5*k. Let x be d(-4). Suppose x = 3*u + u - 4*m, 0 = -2*u - m - 7. Which is greater: 3/7 or u?
3/7
Suppose 54 = -15*o + 6*o. Is -48/7 < o?
True
Suppose 66*z - 62*z = -4656. Is z less than -1164?
False
Let s be (44/10)/((-76)/11590). Which is smaller: s or -670?
s
Let p = 3 + -3. Suppose p = 3*g + 2*g. Let j be 1/2*(-3)/24. Is j greater than or equal to g?
False
Let p = 26 + -26.07. Let u = -0.11 - 0. Let j = u - p. Which is smaller: 1 or j?
j
Let f(l) = 16*l**2 + 4 - 6*l + 6 - 12*l**2 - 3 + l**3. Let s be f(-5). Is s equal to 9?
False
Let b = -34265/27 - -1269. Which is smaller: b or 0?
b
Let r = -5425/48389 + -1/913. Do r and 1 have different values?
True
Suppose -6*h = -43 - 83. Let u = -16 + h. Let y be (10/(-75))/((-3)/u). Is y greater than or equal to 1?
False
Let c = -183 - -250. Is 72 <= c?
False
Let g be (-52 + 52)/(1/(-2)*-2). Let k = 1016/5 + -204. Is k > g?
False
Suppose 38*u - 21*u - 22*u = -200. Let p(w) = -2*w**3 - 7*w**2 - 5*w + 4. Let d be p(-4). Is d greater than or equal to u?
True
Let z be 8/(0 + (-12)/(-6)). Suppose 5*u + 2*b = -2*b + z, 3*u + 3 = 3*b. Which is smaller: 5/22 or u?
u
Let w = -508194 + 13719428/27. Let u = -67 - w. Let d(a) = a - 12. Let y be d(12). Do u and y have the same value?
False
Let r = 8 - 13. Let k be (-12)/r*10/(-2). Let g be 13/(-3 + (1 - -1)). Is k less than or equal to g?
False
Let z be 3/12 - 22/(-8). Suppose v = -z*v - 28. Is -6 equal to v?
False
Let p = -0.63 - -0.6. Let z = -0.2 - -0.33. Let w = p + z. Does w = 3/5?
False
Let d(i) = 4*i**3 + 18*i**2 + 18*i + 11. Let k(y) = -y**3 - y**2 - y. Let v(c) = d(c) + 3*k(c). Let o be v(-14). Is o >= -6?
True
Let w(z) = 44*z. Let q be w(-1). Let j = q + 44. Which is greater: 1/3 or j?
1/3
Let p(l) = -11*l + 285. Let q be p(19). Which is greater: 74 or q?