ppose 4*k + 5*k - 810 = 0. Let y be -1 + 193/180 + (-20)/k. Which is smaller: y or 1?
y
Let b = 123.859 + 0.141. Let z = b - 110. Is z < -4?
False
Let f = 190 + -134. Suppose -s + 5*s = f. Let t(q) = q**2 + 19*q + 33. Let d be t(-18). Is s >= d?
False
Let f = 0.1 + -1.1. Let c = -14.95555 + -0.04445. Which is smaller: f or c?
c
Let r(c) = c**3 - 3*c**2 - 2*c + 4. Let i be r(3). Let m(f) = f**2 + 26*f + 158. Let x be m(-16). Do i and x have the same value?
True
Suppose -39 = -3*m - 189. Let j be 2/18 + (-2215)/(-45). Let z = j + m. Which is bigger: 1.1 or z?
1.1
Let c = -64 + 106. Let g = c + -31. Are 12 and g non-equal?
True
Let w = -1568 - -1561. Is w greater than or equal to 34?
False
Let i be (-3*(-4)/(-20))/((-9)/(-6)). Are -0.51 and i nonequal?
True
Suppose 4*c + c - 189 = -2*f, 15 = -5*f. Which is bigger: 3 or c?
c
Let a = 2.4 + -2.29. Let d = -0.04 + 0.05. Let b = d - a. Is b smaller than -1?
False
Let b = 0 - -14. Let s = b + -14.32. Let i = s + -0.68. Which is smaller: i or -3/4?
i
Let s = -733 + 733. Is s smaller than -9/68?
False
Suppose 5*z + l - 23 = 0, 4*l = -3*z + 25 - 18. Which is smaller: 97 or z?
z
Let c = -6.4 + 8.9. Let b = -2.6 + c. Does b = -2/89?
False
Suppose -4*c + 6*c + 2*g = -46, 4*c = -2*g - 86. Let y(d) = -19*d. Let v be y(1). Which is smaller: c or v?
c
Let s(q) be the third derivative of 17*q**4/24 - q**3/6 - 8*q**2. Let j be s(2). Let b be (j/(-1265))/(2/(-10)). Is 1 equal to b?
False
Suppose -22*r = -126 + 324. Let v = -3.4 + 3. Is v <= r?
False
Suppose -5*v + 6 = 26. Suppose -74*z + 77*z + 15 = 0. Let f be 172/(-65) + z + (-378)/(-78). Which is greater: v or f?
f
Let g = -2483/200 + 306/25. Which is greater: 0 or g?
0
Let b be (15/(-17))/((-9)/27*-3). Is b equal to -1?
False
Suppose 0 = 8*y - 3*y + 10. Let q(m) = m**3 + 10*m**2 + 16*m + 1. Let t be q(-8). Let p be (1 + t/(-2))*-1. Are y and p unequal?
True
Let r(h) = 24*h - 21. Let i be r(2). Is i greater than or equal to 37?
False
Let q = -26 + 27. Suppose -109*j - q = -108*j. Which is greater: -1/2 or j?
-1/2
Let i(v) = -v**2 + 42*v + 4. Let r be i(42). Which is smaller: r or 19/6?
19/6
Let t(h) = 6 + 72*h - 63*h + 1 + 4 + h**2. Let v be t(-8). Suppose 0 = v*w + w - 32. Which is greater: 6 or w?
w
Suppose 0 = -0*g + 2*g - 58. Let l = g - 26. Suppose l*i - 4 = -i. Which is smaller: i or -1/20?
-1/20
Let p(t) = -t**3 + 5*t**2 - 4*t + 3. Let x be p(3). Let j be 7 + ((-3)/(-1) - 6) - 1. Suppose -j*i = -3 - 0, v = 2*i + 8. Which is smaller: v or x?
x
Let h = -40896 + 283530/7. Let o = 391 + h. Let i be -2 - -6 - (0 + 5). Which is smaller: i or o?
i
Suppose 428 = 4*d + 4*i, -5*i - 4 - 16 = 0. Let u = -112 + d. Is -5/23 less than u?
False
Let l(s) = -9*s + 17. Let r be l(6). Are r and 1 nonequal?
True
Suppose 0 = -5*s - 13 + 8. Which is bigger: 4/151 or s?
4/151
Let y be (1/(-2))/(8/(-944)). Suppose 3*s + 31 = -4*r, -5*s - 2*r = r + y. Which is bigger: s or 0?
0
Let m = 2/10575 + -70522/116325. Let c = m - -32/33. Which is smaller: -1 or c?
-1
Let h = 1 - -1. Let a(f) = -f**2 + 29*f - 164. Let i be a(8). Is h at least i?
False
Let a = -880/3 + 276. Which is bigger: -16 or a?
-16
Let i(p) = p**3 + 12*p**2 + 12*p - 2. Let h be i(-11). Which is bigger: h or -2/3?
-2/3
Let o = -454.6 - -441. Which is bigger: 1 or o?
1
Suppose 15 = 2*n - 47. Suppose -9*z + 62 = -7*z. Is n less than z?
False
Suppose 3*p = 4*p. Let s be 4 - (6 + -2) - -3. Suppose -10 = 5*j + s*h - 8*h, -2*h = 4*j + 8. Which is smaller: p or j?
j
Let j be 4/10 + 21/(-15). Let y = 1016 + -28451/28. Let m = 5/14 + y. Are j and m equal?
False
Let h = 12 + -7. Suppose 5*t - h*o + 30 = 0, -o - 2 + 4 = t. Suppose -c = -10*c - 9. Which is greater: c or t?
c
Let l(o) = 8 + 7 - 2*o**2 + 17*o - 4*o - 40*o. Let k be l(-14). Which is smaller: k or 2/19?
2/19
Let k = -83 - -85. Let a(j) = -2*j**3 + 3*j**2 + 3*j - 3. Let t be a(k). Is t at least as big as -51?
True
Suppose -h + 50 = 4*h. Suppose 0*k = -k - 5*r - 19, -h = 2*k + 3*r. Let p(y) = -y**3 + 7*y**2 - 5*y - 5. Let i be p(6). Are i and k unequal?
False
Let g(l) = 4*l - 5. Let o be g(-6). Let k be (28/(-35))/(396/(-195) - -2). Let u = o + k. Is -7/2 at most as big as u?
True
Suppose -5*m + 8*m + 12 = 0. Let p(q) = 2*q**2 + 2*q - 2. Let g be p(-2). Let v be (m + 2 - -2) + g. Which is smaller: 0 or v?
0
Let a = -151 + 150. Let f be (-3)/9 + (-26)/(-6). Suppose -3 - 5 = f*k. Are a and k equal?
False
Let c be -6*(52/8 - -2). Let i = c - -51. Which is smaller: i or -2/5?
-2/5
Let x = -14.9 + 15.1. Which is greater: -4/109 or x?
x
Let h(r) = -r**3 + 7*r**2 - 5*r. Let p(t) = t**3 - 7*t**2 + 6*t + 1. Let q(j) = -5*h(j) - 4*p(j). Let m be q(6). Is -36 less than m?
True
Suppose 2*d + y = -215, 2*d + 310 = -d - 4*y. Which is smaller: -111 or d?
-111
Let h(x) = x**2 - 7*x + 9. Let w be h(5). Let r be (-275)/70 - 4/w. Which is greater: r or 0?
r
Let d be (-72)/(-33) - 2 - (-1269)/99. Which is smaller: 63/5 or d?
63/5
Let d = 648322/9235 + -5/1847. Let a = d + -2833/40. Which is bigger: a or -2?
a
Let c be ((-22860)/42)/(-5) + (-3)/(-21). Let p = -99 + c. Suppose -3*r = 15, f = -f - 2*r + 10. Is f equal to p?
True
Let x be 1*6/(-9)*4*3. Let i(a) = 4*a - 9. Let q(y) = -y. Let k(b) = -i(b) - 6*q(b). Let d be k(x). Which is smaller: d or -8?
-8
Let y be 1/((-9)/(-10))*(-22)/44. Let a = y + 37/99. Is a > 1?
False
Suppose -3*a = 5*j - 751, -3*j = -5*a + 734 + 461. Are 241 and a nonequal?
True
Let l(x) = x**2 + 18*x - 23. Let f be l(-21). Suppose -f = -3*n + 32. Is 24 <= n?
True
Let t = -37 - -37.5. Let k = 2.5 - t. Is k < 0.4?
False
Let r = -6 + 46. Suppose 7*o - g + r = 2*o, 20 = -4*g. Which is greater: o or -10?
o
Suppose 0 = -2*d + 1 + 5. Suppose -d*h - 3 = -g + 2, g + 3 = -5*h. Which is smaller: g or -4?
-4
Let v = -430 - -460. Which is smaller: -2/13 or v?
-2/13
Let g = 2 - 3. Suppose -34 = 4*m - 0*m + 5*a, 10 = -2*m + a. Let o be (-1 - -4 - 2)*m. Which is bigger: o or g?
g
Let h be ((-6)/(-4))/((-6)/(-12)). Suppose -2*k + 0 + 2 = -h*f, 3*f + k - 1 = 0. Let w be f + (-2 - 11/(-6)). Which is smaller: 1 or w?
w
Let v(z) = -2*z**2 - 37*z - 96. Let t be v(-15). Is t < 118/15?
False
Let d = 4671 + -621240/133. Is d greater than 0?
True
Let k be 7 + (-27)/4 + 807/4. Is k at least as big as 203?
False
Let u = 128 + -127. Which is smaller: 0.074 or u?
0.074
Let n = 1203 + -1204. Let o = -1/5 + 2/35. Which is greater: o or n?
o
Let u = 38 + -39.26. Let g = u + 1.26. Which is smaller: g or 0.07?
g
Let y = 27.19 + -27. Let m = y - 0.05. Let l = m - 0.24. Which is bigger: 2/11 or l?
2/11
Let z be 3 - (4 + -3 - -2). Suppose -4*i + i - 2*u = -17, z = 5*i - 2*u - 39. Let g be (-54)/(-7) + 4/14. Which is greater: i or g?
g
Let v(g) = g**3 + 21*g**2 + 18*g - 69. Let w be v(-20). Which is smaller: -28 or w?
w
Suppose 0 = 4*h - 5*f - 0*f + 44, 3*h + 3*f = -6. Which is greater: h or -13/2?
h
Let a = -57 - -52. Let b = 4 + a. Is 2 not equal to b?
True
Let y(x) = -x**3 - 3*x - 134. Let w be y(0). Is -133 less than w?
False
Let c = 0.12 + -0.92. Let i = c - -0.5. Which is smaller: i or -1/5?
i
Let i = -2.78 - -21.88. Let z = i - 19. Which is smaller: z or 0.39?
z
Let r = -34 - -36. Suppose -6 = -r*h + 10. Let x be (-4)/(-2) + 5/(-2). Which is smaller: h or x?
x
Let l be (0 - 0)*(0 + -1). Let x be 2/11 + (-3)/33. Let p = -27/55 + x. Which is smaller: p or l?
p
Let s = 20.3 - 20.3. Does 2/573 = s?
False
Let i be ((-572)/715)/((-2)/(-185)). Which is greater: i or -73?
-73
Suppose -77 = 4*t - 29. Let j be (105/(-12))/((-3)/t). Let l be (-75)/j + -1 + -1. Is l less than or equal to 1?
True
Let l be (9/(-5))/(66/(-13750)). Is 375 < l?
False
Suppose -2*v = -5*o + o - 12, -4*v - 4*o + 24 = 0. Let y be (v - -3) + -1*3. Suppose 0 = y*q - 2*q. Is -2/31 smaller than q?
True
Let o(y) = -2*y**2 + 4*y + 6. Let h be o(4). Let v be (-2)/h + ((-1251)/305 - -4). Is 0 at most as big as v?
True
Let r be -7 - (48482/495)/(-14). Are 1 and r nonequal?
True
Let i = 16.7 - -16.3. Let m = 34 - i. Is 8/9 > m?
False
Let m(s) = -5*s - 15. Let p be m(-4). Let c be (-2136)/360 - 2/p. Which is greater: c or -5?
-5
Let g = 362 + -361. Is g != -2/11?
True
Suppose 5*r = 2*b - 2, 0*b = -2*r + 3*b + 8. Let l be r + (-1)/(-1) - (-635)/625. Is 0 not equal to l?
True
Suppose -30*r - 57 = -11*r. Which is smaller: r or -2/5?
r
Let b be -