 + d/55. Which is greater: x or -14?
x
Let l(y) = 49*y + 16. Let i be l(-2). Let c = -408/5 - i. Let h = -3 - -2. Which is smaller: c or h?
h
Let d = -32 + 22. Let z(t) = -53*t**3 - 2*t**2 - 2*t - 1. Let q be z(-1). Suppose 4*x + 4*p = -q, 0*x - p = 2*x + 22. Is d less than or equal to x?
True
Suppose 0 = 3*d - 4*h + 52, h = d + 4*h. Are -22 and d equal?
False
Let v = -398 - -132. Let s be 4/30 + v/(-30). Let z be (2/8)/(s/(-36)). Are -16/7 and z nonequal?
True
Let r(x) = -7*x**2 - 4*x - 1. Let u be r(-5). Which is greater: u or -154?
-154
Let v(z) = 2*z**3 + z**2 + 6*z + 7. Let j be v(-4). Which is bigger: j or -128?
-128
Let p(b) = -b**2 - 63*b - 441. Let d be p(-8). Which is bigger: d or -23/87?
-23/87
Let r = -35 - 317. Which is greater: r or 0.1?
0.1
Let r = 29.36 - -1.14. Let z = r + 6.5. Is z != 0.1?
True
Suppose 357 + 105 = 21*o. Let g be 92/(-6)*(-6)/4. Which is greater: o or g?
g
Let r = 2782 + -8162/3. Which is smaller: r or 60?
60
Suppose -48 = -5*z + 137. Let y = -23 + z. Which is smaller: 13 or y?
13
Suppose 4*j - 1264 = -2*y - 164, y - 550 = -3*j. Is y at least as big as 551?
False
Let s be 0/((-1)/1 - -3). Suppose b + k = -259, b + 261 = k - s*k. Let r be 273/b + 8/10. Does 1 = r?
False
Let f = -2.63 - -2.33. Is 2/483 > f?
True
Let t = 394/11 - 1976/55. Let c = -1 - -2. Is c equal to t?
False
Let c = 0.2269 - 0.2007. Which is smaller: 1 or c?
c
Let h = 2235/31703 - 6/647. Let j = 5241 - 5240. Is h less than or equal to j?
True
Let g(a) be the first derivative of a**3/3 - 2*a**2 - 10*a + 2. Let o be g(-3). Let l = 25 - 13. Are l and o non-equal?
True
Suppose -2*o = -3*o + 10. Let y = 61 + -53. Let q = o - y. Which is smaller: q or 5/4?
5/4
Let h = -17217/41 - -420. Let g be -1*(-2)/(-2)*0. Which is smaller: g or h?
g
Suppose 5*c - 17 = -2. Suppose -c*m + 34 = -32. Do m and 23 have the same value?
False
Let z = -177 + 101. Are -1 and z nonequal?
True
Let n(f) = f**2 - f - 2. Let a be n(0). Let t = a - 0. Let c = -4.79 - -5.49. Which is bigger: t or c?
c
Let y = 3.25 + 5. Let a = -0.25 + y. Which is greater: 1 or a?
a
Let l = -152157196/29 + 5245379. Let f = l + 1421. Which is greater: f or 1?
1
Let x be 0 + (-4 - (2 + -4)). Let q be ((-3)/x)/(21/280). Suppose -q = 30*c - 34*c. Which is bigger: c or 3?
c
Let w be -3*4/(-12) + 1. Let j(y) = y**2 - y - 2. Let m be j(w). Suppose p + 2 + 2 = m. Is -4 bigger than p?
False
Suppose -3702 = 2*h - 2*k, -k - 5545 = -123*h + 126*h. Is -1848 less than or equal to h?
False
Let g = -0.02 - 19.98. Let d = 0.988 - 20.788. Let y = g - d. Is y greater than -0.1?
False
Suppose 5*s - 389 + 359 = 0. Are s and 15 equal?
False
Suppose -12 = -5*w - 72. Let x be (w/(-4))/(-3)*5. Which is smaller: x or 0?
x
Let b(c) = -c**3 - 8*c**2 - 10*c - 23. Let m be b(-7). Let f be (9/24)/(1/8). Which is smaller: m or f?
m
Suppose 3*l + 40 = -2*y, y = -5*l + 2*l - 41. Let d(i) = -i**2 + i - 2. Let m be d(4). Is m <= l?
True
Let m = -45 + 94. Suppose w + m = 4*b - 0*w, -2*b - 4*w = -20. Is -3/2 bigger than b?
False
Let w = -0.19 + -1.56. Let r = w - 0.25. Let x = -0.09 + -0.03. Which is smaller: r or x?
r
Let r = -20 + 24. Suppose 0 = r*u + 5*g - 27, -3*g + 4*g - 3 = 0. Suppose 0 = -2*f - 4*k - 6, -f - 2*k - u*k = 12. Which is smaller: 2 or f?
2
Let m = -11.8 - 0.2. Let h = m - -11.9. Does 4/5 = h?
False
Let b = -75 + 109. Let h = -31 + b. Which is greater: 4 or h?
4
Let w(f) = -3*f - 6. Suppose -11 = 4*i - h, -2*h = 3*h + 5. Let q be w(i). Suppose -o = 0, q*o - 4 = 2*a + 8*o. Is -1/2 at least a?
True
Let u(w) = -3*w**3 + w + 1. Let p be u(-1). Let n be (280/(-24) + 12)*6. Is n smaller than p?
True
Suppose 2*t + 18 = 4*d, 5*t - 3*d + 26 - 9 = 0. Which is bigger: t or -1/6?
-1/6
Let f(t) = t**3 + 4*t**2 - 7*t + 5. Let g be f(2). Let q = -1 - -15. Is q greater than or equal to g?
False
Let t(m) = -23*m + 128. Let x be t(7). Which is greater: x or -30?
-30
Suppose 5*s - 635 = -6*m + 7*m, 4*s = -2*m + 494. Is 126 less than or equal to s?
True
Let m be 2 + (-1)/(-157)*-313. Which is greater: m or 1?
1
Let s = 2/61 + -506/549. Do -1 and s have the same value?
False
Let i be (-1*(4 - 3))/(1/18). Which is smaller: -5 or i?
i
Suppose h + z + 4*z = 0, -3*z = -h - 32. Let i = 0 + -20. Do i and h have different values?
False
Let m = 3278519/840 - 3903. Which is smaller: 1 or m?
m
Suppose -5*k - 36 = -3*o + o, -o - 2*k = 0. Let z = 65 - 41. Suppose -2*a + 6*a - z = 0. Is a > o?
False
Suppose -4*l - 177 + 17 = -3*x, -2*l + 10 = 0. Let y be (-23)/((-575)/x) - (0 - -2). Suppose 0 = -t - 2*t - 15. Which is smaller: y or t?
t
Let l(b) = b**2 + 13*b - 1. Let o be l(-12). Let x = o + 8. Is x < -2?
True
Suppose -2*v + 19 = 3*n, 142*v - 146*v - 3*n + 23 = 0. Let g(o) = -o + 7. Let c be g(5). Is c at least v?
True
Suppose -y - 5*f + 1 = 65, -5*y + 5*f - 230 = 0. Suppose 2*k - 5*r = -2 - 1, 4*r - 4 = 0. Do y and k have different values?
True
Suppose 0 = 2*w + 3*p + 10, 5*w = -2*p + 4*p + 13. Is 3/4 at most w?
True
Let l = 5 + -4.98. Let w = l + -10.02. Which is smaller: w or 2/9?
w
Let g(z) = 2*z - 17. Let o(h) = -10*h + 84. Let f(a) = 11*g(a) + 2*o(a). Let l be f(13). Which is bigger: l or 13/2?
l
Let w = -424.2 + 419. Which is bigger: 8 or w?
8
Suppose -3*p - 49 = 4*u, -2*p - 18 = -u - 0*u. Let b = 28 - 39. Is b < p?
False
Suppose -q = 3*m + 6, -2*q - 5*m = 3*q + 20. Let s be (-1 + 5)*(-3)/q. Suppose 3240*h = 3227*h + 26. Which is smaller: s or h?
h
Let s(c) = 2*c - 12. Let n be s(9). Let q be (3/n + -1)*2. Let i be 0*((q - 3) + 3). Are -2 and i non-equal?
True
Let x = 13497/23 + -587. Which is bigger: 1 or x?
1
Let n = -818 - -817. Which is greater: -6 or n?
n
Let h be 6/27 + 912/27. Let v be -4*15/(-4)*(-77)/(-35). Is h greater than or equal to v?
True
Let s = -69.05 - 16.05. Let c = -84 - s. Which is smaller: c or 4?
c
Let i = -190 - -213. Do i and 0.1 have the same value?
False
Let o = -20 - -22. Let t be 32/14 + o/(-1). Which is smaller: t or 1.7?
t
Let b(f) = 2*f**2 - 2*f + 3. Let s(x) = -2*x. Let i be s(-1). Let a be b(i). Suppose 21 = 4*d - a*d. Which is smaller: d or -5?
d
Suppose -13*t - 63 = -12*t. Do t and -61 have different values?
True
Suppose -680 = c + 3*c. Let m be c/(-45) - (-2)/9. Let n be (-2)/m*(-5 - -3). Is n at least as big as 4?
False
Suppose 3 = 4*f - 1. Let q(c) = -5*c**3 + c**2 - 3*c + 2. Let j be q(1). Let k = j - f. Which is smaller: -7 or k?
-7
Suppose -159 - 61 = -11*c. Suppose -42 = g - 3*g. Are c and g equal?
False
Let u be (-1)/(1/(-1*1)). Let d = 12872/700101 + 2/6543. Which is smaller: d or u?
d
Suppose -2*d = 3*z + 8, -2*d - 5 + 1 = z. Let y = 29 + d. Which is smaller: 29 or y?
y
Suppose -8 = -3*z - z. Suppose -q - 6 = 5*y, -5*q - y - 2*y - 30 = 0. Let v be (2*z/q)/(-6). Is 1 greater than v?
True
Let f = -3.7 - 13.3. Let t = 33.19 + -16.28. Let w = t + f. Which is smaller: w or 0?
w
Let q = 0.6 - 6.6. Let l(g) = 5*g**3 - 3*g**2 - 2*g - 7. Let r(f) = f**3 - f - 1. Let c(o) = -l(o) + 6*r(o). Let m be c(-4). Which is bigger: q or m?
m
Let r be 87/15 + (-2)/(-10). Suppose r*y = 2*y - 44. Let s = -1139 - -1128. Are y and s non-equal?
False
Let z be -2*(1396/1720 + (-4)/5). Is z at least as big as 5?
False
Let m(g) = -g - 9. Let j be m(-9). Suppose j = 3*q + q - 5*b + 48, 2*b = 0. Which is greater: -1 or q?
-1
Let u(y) = y - 2. Let o be u(3). Let z(t) = -t - 1. Let l be z(o). Suppose -m - 14 = 5*a - 38, 0 = 3*m + 3*a - 12. Is m at least l?
True
Suppose 4*m = -2 + 54. Suppose -48 = -1572*o + 1548*o. Do m and o have the same value?
False
Suppose 3*c = 2*c + 5. Let a be 91/c - -4*(-5)/100. Is 17 < a?
True
Let q(n) = -n**2 - 3*n + 3. Let o be q(-3). Suppose -18 = o*h - h. Let g = -10 - h. Is g at least -6/17?
False
Let b(v) = -10*v + 119. Let c be b(23). Is c bigger than -110?
False
Suppose -2*s = s + 2*f - 1, s + 3*f = 12. Let a be 2/s + 152104/240900. Let p = a + -2/1825. Is -1 at most p?
True
Let m be 8/(-76) - (-12)/114. Let w be (-2 - m)/(0 - 8). Which is smaller: w or 0.5?
w
Let t be (-60)/(-140) - 438/(-56). Let y = -31/4 + t. Are y and 1 non-equal?
True
Let c be (15/20)/(70/(-16) + -2). Let x = 2.2 + -2. Do c and x have the same value?
False
Let j be (-2 - (-20)/(-2))*(2 - 1). Is -12 bigger than j?
False
Let p = 862 - 861. Which is greater: 7/6 or p?
7/6
Let r be 7/(-4) - (-16)/(-64). Let d = 477 + -1