ch is greater: 6/11 or r?
r
Let g be (10/15)/((-1)/(-3)). Let a be (16*(-3)/(-66))/g. Let j = -4 + 4. Is j >= a?
False
Let o = 41.7 + -46. Let a = o - -4.5. Is -3 greater than a?
False
Suppose -3*u - 4*i + 14 + 5 = 0, -5*u + 29 = 4*i. Suppose 2*s + 3 = -q - 3*s, 0 = 2*q - s - u. Suppose -k = -3 + q. Is 0 at most k?
True
Suppose q - 329 = 5. Do q and 333 have the same value?
False
Suppose 0 = -g - g - 30. Let v = -78 - -81. Suppose 78 = -3*n - v*n. Is g greater than n?
False
Let q be -3 + 4/144 + 3. Let z(n) = 3*n - 28. Let u be z(9). Is q at most as big as u?
False
Let c = -257614/129 - -1997. Do c and 0 have the same value?
False
Let l = 18 - 17. Which is greater: l or -8?
l
Let x = -836 - -15888/19. Is -5 > x?
False
Suppose 3*m = 5*g + 166, -3*g + 2*m - 243 = -143. Are g and -41 unequal?
True
Let g(z) = -z**3 - 8*z**2 - 8*z - 10. Let k = -7 - 0. Let t be g(k). Let a(n) = 2*n + 7. Let v be a(t). Which is bigger: 3/8 or v?
v
Let i(y) = 16*y + 867. Let l be i(-34). Is -1/2 > l?
False
Let t = -1.1 + -18.9. Let m = t + 22. Is 1 at most m?
True
Suppose -j + 9 = -2*d, -8 = 25*j - 21*j + 3*d. Is j greater than or equal to 20/19?
False
Let x = 93 + -93. Suppose -5*a + 43 = -x*a - 4*f, -4*a = 2*f - 50. Which is greater: a or 4?
a
Let n be (-92169)/168 - 1/(8/3). Let y = n + 4371/8. Are -2 and y nonequal?
True
Let w be 9/(-27) - (-71)/(-3). Let k be (-4)/w - 7/6. Let l(f) = 2*f**2. Let p be l(k). Are p and 7/3 equal?
False
Suppose 3*u + u - 5*c = 86571, 3*u - 64962 = -3*c. Let l = -64367/3 + u. Let y = 191 - l. Which is smaller: y or -2?
y
Let g(u) = -2*u**2 - 4*u**2 + 70*u - 67*u + 7 + u**3. Suppose 2 = d - k, -5*k - 6 = -4*d - 1. Let t be g(d). Is t at most as big as -6?
False
Let k = 77.1 + -77. Which is smaller: k or 19?
k
Suppose -s = -5*z + 46, -44 = 2*z - 7*z - s. Suppose 3*c = 3*t - 12, 2*c = t - 0*c - z. Let o = -8 + 4. Is o > t?
False
Let u = -6.929 - -0.659. Let b = u + 0.27. Which is smaller: 0.3 or b?
b
Let f(v) = 4*v + 21. Let s be f(-4). Let w = 55 - 54. Is w less than or equal to s?
True
Let g(p) = 2*p + 9. Suppose -4*z + 3 = -3*c - z, 3*c = -2*z - 18. Let w be g(c). Which is smaller: w or 14/9?
w
Let o be ((-35)/5)/(2 + -1). Let g = 10 + o. Suppose -3*r - 28 = -g*u + 2*r, 0 = -u - r - 4. Is u less than or equal to 1/17?
False
Let t = -2505 - -2896. Is 0 >= t?
False
Let y = 341 - 343. Are -7/26 and y equal?
False
Let i = 4 - 2. Suppose 4*d + 4*p = 24, i*p - 21 = -4*d - p. Is 3/4 != d?
True
Let i(k) = k**3 + 9*k**2 + 6*k - 4. Let t be i(-8). Suppose -v = 3*v + t. Let a be (-1 - -2) + 1 + v. Is a >= -2/5?
False
Suppose 5*h - 30 = 5*z, 0*h = -5*h + z + 30. Let o = -1 - -4. Which is smaller: h or o?
o
Suppose -3*i + 8 = -i + 3*d, -3*d = 0. Suppose 2 = i*y - 38. Are y and 8 unequal?
True
Let l(p) = -p**3 + 5*p**2 + 4*p + 7. Let q be l(7). Is -125/2 < q?
False
Suppose 20*a + 155 = 25*a. Let l = a + -30. Is -2/17 less than or equal to l?
True
Let d(a) = a**2 + 9*a - 4. Let g be d(-9). Let i(b) = 2*b - 8. Let f(m) = -3*m + 12. Let w(h) = -5*f(h) - 8*i(h). Let u be w(g). Which is bigger: u or -2/3?
u
Let m = -18 + 4. Let p = 11 + m. Let l = 3 + p. Is l < 1/11?
True
Let m(g) = -2*g - 4. Let t be m(-4). Let s = 6 - t. Let u be (-12 + (-400)/(-32))/(((-1)/(-2))/1). Which is greater: u or s?
s
Suppose g + 25 = -5*v - 24, -3*g - 117 = 5*v. Let m(z) = 33*z. Let j be m(-1). Is g less than j?
True
Suppose -13*g + 160 = 3*g. Suppose -3*c - 10 = 6*s - 10*s, 4*c = 2*s - g. Let u = 6/5 + -41/30. Which is smaller: u or s?
u
Let f(n) = -n**2 + 3*n + 7. Let s be f(5). Let q be (s/(-2))/(6/(-24)). Let t be -3 - (q - (2 - 3)). Is t not equal to 2?
False
Let o(d) = 21*d**2 + 5*d + 3. Let i be o(-1). Is -2 smaller than i?
True
Let y(k) = 42*k + 14. Let z(c) = -14*c - 5. Let v(d) = -6*y(d) - 17*z(d). Suppose a + 3*a + 8 = 0. Let f be v(a). Does f = 28?
False
Suppose -2*y + 1588 = 5*i, -y - 612 = -2*i + 4*y. Are i and 317 equal?
False
Suppose w - 5*u - 25 = 0, 20 = -160*w + 158*w - 4*u. Which is smaller: w or 1188?
w
Suppose -3*w - 107 = -6*x + 5*x, -w = -x + 115. Is x at most 119?
True
Suppose 6*i - 16 = 3*o + 5*i, -3*o - 3*i = 12. Is -4 greater than o?
True
Let t = 2 - -8. Let b = -10 + t. Let n = 0.0576 - -2.5424. Which is smaller: n or b?
b
Suppose -4 = -3*t - 16. Let u = 2 + 1. Suppose u*z = z - 8. Is t smaller than z?
False
Suppose 1 = 3*h - 2*h. Let o be (-9 - 5340/(-594))/(-2*4/48). Is h > o?
True
Suppose -106 = -8*o + 7*o - 3*x, 0 = -5*o - x + 516. Is -3 <= o?
True
Let s(h) = -2*h + 4. Suppose -4*r - 21 = -3*i, -2*i - 3*i + 19 = -4*r. Let x be s(r). Let c = -36 + 51. Which is bigger: x or c?
x
Let a = 3.6 + 12.2. Let p = -17 + a. Let x = -1.1 - p. Are x and 3 equal?
False
Let o(c) = 18*c**3 - c**2 + c + 1. Let f be o(-1). Let i = 31 + f. Let d be i/(-42) - (-94)/(-14). Is d greater than or equal to -7?
True
Let d be 4/(-6) - 0 - (-160)/(-48). Let x be 3*(d/14 + (-60)/(-63)). Is 2 bigger than x?
False
Suppose 4*h + 0*h - f = -405, -4*f - 114 = h. Which is greater: -98 or h?
-98
Let y = 1.67 - -0.03. Let p = y + 18.3. Let r = p + -19. Is -9 <= r?
True
Let a = -98.74 - -99. Which is bigger: a or -2?
a
Let l = 252 - 237. Are 4 and l nonequal?
True
Let a(h) = -h + 1. Let w be a(4). Let d be w/(-4 + (3 - 0)). Let s be (4 - 4)*(-1)/(-2). Is s bigger than d?
False
Let h = 274 - 274. Which is smaller: 4/95 or h?
h
Let b = 13.93 - -0.07. Let r = b - 16. Let x = 2.1 + r. Is x <= 15?
True
Let u = -2482 - -2320. Is u smaller than 2?
True
Let g be 1 - ((-16287)/672 - -3). Let t = g - 155/7. Do 0 and t have different values?
True
Let c = 12 + -6. Let h(l) = 4 + l**3 - 6*l - 5*l + 4*l - c*l**2. Let i be h(7). Which is smaller: 0 or i?
0
Let w(y) = y - 2. Let x(b) = 1. Let v(d) = w(d) - 3*x(d). Let m = 36 - 31. Let c be v(m). Is c at most as big as 10/11?
True
Suppose 0 = -2*o + 2 + 2. Let u(g) = g**2 + 66*g + 734. Let f be u(-14). Which is greater: f or o?
f
Suppose 874 = -11*c - 4362. Are -475 and c non-equal?
True
Suppose 0 = -9*c + 4*c + 10. Suppose 30 = -5*z - 4*b - b, 9 = -c*z - 5*b. Suppose 30 = -3*k - 2*k. Which is smaller: z or k?
z
Let r(k) = -k**3 + k**2 + 2*k + 1. Let j be r(0). Suppose -5*i + 27 = -w, j + 2 = w. Let q = 8 + -2. Is i >= q?
True
Let g(r) be the second derivative of -1/6*r**3 + 8*r + 1/2*r**2 + 0. Let l be g(5). Are l and -7 non-equal?
True
Let s = -2 + 8. Let w be s/(-26)*(-2)/3. Let q = -6.6 + 5.6. Is q equal to w?
False
Suppose -4*m + 18 = 3*f - m, 0 = -5*f + 4*m - 15. Which is smaller: f or -5?
-5
Let x be (-13)/(169/52) + (3 - -1). Which is bigger: 6/5 or x?
6/5
Let n be (-222 + -21)*(-6)/9. Is n != 161?
True
Let z be (-2)/(-12) + 1/(-2). Let y = -6605 + 6621. Which is smaller: z or y?
z
Let g(w) = 8*w - 15. Let o be g(6). Let j = o + -34. Is j equal to 1/53?
False
Let j be ((-2)/(-8))/(9/(-18)). Let r = 376/17 - 22. Which is greater: r or j?
r
Let w be (-15)/(-153)*(-4)/10. Suppose l + 10 = 18. Suppose l = -21*k - 13. Which is greater: k or w?
w
Let p(u) = -150*u - 153*u + 305*u. Let q be p(-1). Is -20/13 >= q?
True
Let g = -12 - -31. Suppose -251*b = -241*b - 170. Which is smaller: g or b?
b
Let w(g) = 3*g + 29. Let q(a) = -a**3 - 6*a**2 - 4*a - 7. Let s be q(-5). Let r be w(s). Are r and -5 nonequal?
True
Suppose 27 = -v + 28. Let z be (1 - -5)/1*-1. Which is bigger: z or v?
v
Let f(s) = 2*s**2 - 50*s + 170. Let j be f(4). Is -0.048 greater than j?
False
Suppose -14*v = -9*v. Suppose 5*r - 825 = -8*a + 3*a, -3*a + 4*r + 523 = v. Let c be (-2)/(-3) - a/(-39). Is c > 9/2?
True
Suppose -y + 0*y = 0. Let o = -92.75 - 0.25. Let r = o - -91. Is r at most as big as y?
True
Let x = 31290 + -187177/6. Is 94 at least x?
True
Let m(c) = -4*c**2 - 101*c + 57. Let n be m(-26). Which is greater: n or -26?
n
Let b be (1/3)/((-6)/(-18)). Suppose -6*h + 7*h - b = 0. Which is smaller: -2/57 or h?
-2/57
Suppose 5*k - 495 = 5*o, 2*o - 4*k = k - 210. Let y = 65 + o. Let p = y + 23. Is -7 at most p?
True
Let d = 0.626 + -41.526. Let b = d - -41. Is 28 less than b?
False
Let f(q) = q**3 - 17*q**2 + 16*q + 15. Let l be f(16). Which is smaller: l or 44/3?
44/3
Let o(c) = -c**2 - 7*c - 5. Let l be o(-6). Let z be ((-2236)/840)/13 + 8/60. Which is smaller: z or l?
z
Let f = -15 + 24. Let i be 2/(-3) + (-480)/9. Let k be 3/i*f/12. Which is smaller: k or -1?
-1
L