ch is smaller: q or y?
q
Let w(y) = -y**3 + 3*y**2 + 53*y + 9. Let t be w(9). Is -38/71 >= t?
False
Suppose 0 = -c + 2*f - 32 + 6, -3*c = -5*f + 81. Which is bigger: -31 or c?
-31
Let m be (75/(-21))/(7/((-84)/18)). Which is smaller: m or 2?
2
Let x = 1133713/28138729 + 8/42187. Let d = 1/87 - x. Which is greater: 1 or d?
1
Suppose 0 = -4*k - 35 - 41. Let t = k + 39/2. Are 5 and t unequal?
True
Suppose 3*d + 692 = s, 2*d + 3*s - 916 = 6*d. Is -231 greater than or equal to d?
True
Let f = -3632 - -984270/271. Which is smaller: f or 2/3?
f
Let h(s) = -3*s + s**2 + 3*s**2 + 4*s + 2 - 5*s**2. Let f be h(2). Let y be (-12)/20 + (1 - f). Which is bigger: y or -4?
y
Let g = 58.31 + -58. Suppose 0 = -19*l + 23*l + 4*k + 4, k + 1 = 4*l. Which is greater: l or g?
g
Suppose 966*d - 967*d = -24. Is 40 bigger than d?
True
Suppose -6 - 6 = 4*r. Suppose 251*h - 244*h + 14 = 0. Which is smaller: h or r?
r
Suppose -14*d = -10*d + 496. Let p = 452899/3619 + -1/517. Let b = p + d. Which is bigger: 1 or b?
b
Let j be (-2)/5 + 19/(2793/105). Is j >= 0.1?
True
Suppose 0*k - 2*k + 128 = 0. Let w = 665 - 602. Is k smaller than w?
False
Suppose -y + p = 2*p - 2, 5*y + 4*p = 12. Suppose 0 = n - k + 4*k - 6, -3*n = 2*k - y. Let i be 264/(-396)*18/(-4). Is i at most n?
False
Suppose 5*l + 43 = -7. Let s = 8 - l. Let b be (8/(-6))/((-4)/s). Is 8 greater than or equal to b?
True
Let w(j) = j**2 + j - 5*j + j + 2*j. Let b(d) = -5*d**2 + 4*d. Let v(n) = b(n) + 4*w(n). Let r be v(1). Which is smaller: 0.06 or r?
r
Suppose -2478 = 7*n - 28*n. Is 353/3 > n?
False
Let z = 2.625 - 0.025. Let f = 1.4 + z. Let k = -115/33 + 42/11. Which is smaller: f or k?
k
Let j = -41 + 40. Let d = 0.07 - 0.22. Let o = d + 0.1. Is o greater than or equal to j?
True
Let d be -4 + 3 + (-17)/(-18). Let r(u) = 36*u - 1008. Let q be r(28). Which is smaller: d or q?
d
Let m = 33 - 28. Let b be ((-3)/(-30))/((-2)/m). Are b and -0.1 equal?
False
Let a be 81/(-3)*(-9)/27. Let z be (4/(-258))/(((-6)/a)/(-1)). Is z >= 0?
False
Let d(w) = w**2 - 3*w - 18. Let t be d(6). Let x = -1 + t. Let p be (-3 - x)/134*-2. Which is bigger: p or -1?
p
Let h = 13672/15 + -912. Which is bigger: -1 or h?
h
Suppose s = 4*w - 7 + 4, 2*w + 65 = -3*s. Let x be (-219)/12 + (-2)/(-8). Which is greater: x or s?
x
Let y = 607/594 + -28/27. Which is bigger: 0 or y?
0
Let g = -186.8 + 204. Let p = g - 0.2. Let k = -0.14 + -0.86. Which is smaller: k or p?
k
Let l = -74 + 82. Suppose 12*z - l*z + 68 = 0. Let b = 15 + -33. Is z < b?
False
Let m = 109 - 108.9. Is -99 bigger than m?
False
Suppose -4*s - z = 612 + 317, 4*s - 5*z + 947 = 0. Is s at least as big as -232?
False
Suppose 3*k - 4 = 5*k, -5*t + 10 = -5*k. Let q(w) = w**2 - 13*w + 14. Let c be q(12). Let y be ((-9)/(-6) - 2)*c. Which is smaller: t or y?
y
Suppose 9*s + 48 = 57. Which is smaller: s or 0.1?
0.1
Let j = -26 + 21. Let n be 13/j - (-10 + 8). Is -1 at most as big as n?
True
Let v(r) = 3*r + 11. Let s(n) = -n - 5. Let t(j) = -9*s(j) - 4*v(j). Let k be t(-1). Suppose 0 = -5*w + 15, 4*c - k*w + 3*w = 1. Is c at least 4?
False
Let x(u) = 2*u**3 - 3*u**2 + 8*u + 24. Let b be x(-2). Is -18 > b?
True
Let t = -2.1 + 5.6. Let x = -2.2 + t. Let u = x - 3.3. Is u equal to -2?
True
Let i be (3 + 564/(-8))*48/20. Let q be i/(-63) - 3/(-7). Let p = -4 - -4.3. Is p less than q?
True
Let o be (4/(-1) - -5)*(-1 + 1). Is o greater than or equal to -5/351?
True
Suppose -106 = 4*q + 98. Suppose 42*r - 572 = -2756. Do r and q have different values?
True
Let g(v) = v**2 + 12*v + 4. Let z(j) = -j + j + 3 + 7*j + j**2 + 4*j. Let n(h) = -4*g(h) + 5*z(h). Let u be n(-6). Which is greater: u or -6?
-6
Let y = 3.228 + -8.18. Let n = y + -0.048. Which is bigger: -2 or n?
-2
Let t = -0.908 + -0.092. Which is smaller: t or 24/47?
t
Let s be ((-1800)/(-894) - 2)*2/(-4). Which is smaller: 0 or s?
s
Let w = 119 - 135. Which is bigger: w or 0.2?
0.2
Let g be (-2)/(-9) + 160/(-72). Let m = g + 6. Let k be -1 + m + 62/(-22). Which is smaller: 1 or k?
k
Let u = 98 + -99. Let n = -0.2 + -2.8. Let r = n - -2.88. Does r = u?
False
Let x be (-8)/((-16)/(-10)) - -24. Which is greater: x or 0?
x
Suppose -2*m + 2*n = 4*n + 6, -5*n = -5*m + 15. Suppose m = -3*j + 2*j + 5*b - 12, -4*b = -4*j - 96. Is j >= -28?
True
Let k = 9865/24 + -3249/8. Which is greater: 5 or k?
5
Let z be -1 + -1 - (-9 - 0). Suppose 0*q + q = -3*v + 169, -5*v = -4*q - 276. Suppose v = 6*y + 14. Is y less than z?
False
Let m = 0.86 - 0.66. Let p = -1.3 - -1. Let j = p + m. Are -1 and j nonequal?
True
Let z be (54 - 53) + (22/18)/(-1). Do -0.04 and z have different values?
True
Let v(g) = -g**3 + 4*g**2 + 6*g - 1. Let a be v(5). Suppose -5*t + 5*f + 2 = 3*f, a*t + 3*f = 20. Are t and -2/45 nonequal?
True
Let t = -0.5 - -0.5. Suppose 0 = 6*j - 8*j. Let c be 3*6/(-45) + j. Is c at most as big as t?
True
Let y be 81/(-84) + 1*(-60)/(-48). Is y bigger than 90?
False
Let v(u) = -21*u - 20. Let r be v(-1). Is -1/801 at most r?
True
Let o = 494 - 37543/76. Which is smaller: -1 or o?
-1
Let o be (-30)/(-4)*1886/(-69). Is -4 bigger than o?
True
Let s = 0.102 + -0.015. Let y = 0.287 - s. Which is smaller: -1/4 or y?
-1/4
Let t = -0.03 - -0.18. Let v = -7.15 + t. Let u = -7 - v. Is 0 at most u?
True
Let b = -273.016 + 273. Which is greater: b or -1/4?
b
Let t = 740 - 700. Is 38 at least as big as t?
False
Suppose -276*s - 198 = -277*s. Is s greater than 196?
True
Let n = -89 - -89. Let s be ((-14)/(-184))/(3/24). Which is smaller: s or n?
n
Let i = -39 + 40. Let z be ((-28)/20 + 3)*(-1)/(-2). Which is greater: z or i?
i
Let z = 1031/7 - 147. Suppose 0 = 5*i - p + 1, 4*p + 8 = -3*i - 11. Is z <= i?
False
Let z = -8 + 12. Suppose z*u = -0*j - 3*j + 78, 0 = 4*u - 12. Is j != 22?
False
Let a = -38 + 36. Let o = 3/44 - -125/748. Which is smaller: a or o?
a
Let s(l) = -8*l**2 - l - 1. Let n be s(1). Let v = 10 + n. Suppose v*k - 32 = -4*k. Are k and 5 nonequal?
True
Let t = 89 - 56. Let c be (t + -3)*1/3. Let v be c/4 - 6/12. Which is bigger: 3 or v?
3
Suppose -3*j + 2*d = 50 - 3, -4*d = -5*j - 77. Let y = 63 + -59. Let g be 4 + -2 - (23 - y). Are g and j non-equal?
False
Let k = 14 + -7. Suppose -3*m = -k*m. Suppose -l + m + 1 = 0. Does 2/5 = l?
False
Let s = 1.5 - -0.5. Let n be (6/5)/((-89)/5). Let j = n + 232/801. Is s >= j?
True
Let o(j) = 893*j**2 + 2*j - 1. Let n be o(1). Let d be (1/(33/n))/(-5). Let m = d + 28/5. Which is bigger: -2/5 or m?
m
Suppose -6 = -4*b - 5*v - 27, -v = -b + 6. Is -1/2103 <= b?
True
Suppose 0 = -4*q - 5*y + 14, 4*q - 3*y - 13 + 15 = 0. Which is greater: 2/101 or q?
q
Let j be (-7)/25 + (-1)/(-5). Let q = -4.57 + 5.57. Is q not equal to j?
True
Let c = -71 - -99. Suppose 4*t = -104 + c. Does t = -19?
True
Let t be 1 - (0 + (-9)/(-6)). Let w = -7 - -11. Suppose 4*n + w = 3*s - 16, -4*n = 3*s + 20. Is t <= s?
True
Let n = 1/12 - -1/4. Suppose -2*c - 36 = 5*h, -34*c + 29*c = 3*h + 33. Which is smaller: h or n?
h
Let z = -1 + -4. Let p be (-1 + z/(-12))*3. Let n be 2/(1 + 0 + -2). Which is smaller: n or p?
n
Suppose -u = 1, -2*n = 2*u - 2 + 4. Which is greater: n or -2/189?
n
Let d = -11/4 + 41/12. Let v be 9/((-5)/(58 + 2))*10/(-15). Which is smaller: d or v?
d
Suppose 8 = i + 36. Let b = 30 + i. Do 10/11 and b have the same value?
False
Let k = 8845321/45 - 196571. Let t = k - -595/9. Let w = -58 + t. Which is smaller: 0 or w?
w
Suppose 5*h = -y - y - 10, 4*y + 2*h = -4. Let v be 49/390 + 6/(-45). Which is smaller: v or y?
v
Let y(m) = -3*m + 1. Suppose 0 = 2*b + 2*x + 12, -5*x - 13 = -3*b + 9. Let n be y(b). Which is smaller: n or 2?
2
Suppose 5*l = 2*l + 3, 0 = w + 4*l - 4. Let b(u) = 2*u + 3. Let q be b(w). Suppose -q*o = -5*s - 3 - 7, -3*o + 4*s + 8 = 0. Is -1/3 not equal to o?
True
Let r be (-44)/66 - (-34)/24. Is r bigger than -0.3?
True
Suppose -6*n = 2*n + 944. Are -117 and n equal?
False
Suppose -y + 11 = 5. Suppose 0 = -5*i + 5*c + 115, 2*i + c - 61 = -0*c. Suppose 4*d = 2*l + d - 7, 5*l = -3*d + i. Which is bigger: l or y?
y
Let s be 7495/(-95) - 4/38. Let k = 66 + s. Let t(j) = -13*j**2 + j. Let y be t(1). Is k at least as big as y?
False
Suppose -1692*p + 1695*p - 81 = 0. Is 25 at least p?
False
Let f = 43.3575 + -0.4675. Let u = f + -43. Are u and -2 nonequal?
True
Let n be (2/4)/(26/(-3485)). Let m = n + 67. Is 1