ose 0 = -2*k - 4*s - 2, -4*s = -3*s + 2. Suppose -22 - 40 = -3*q - 2*t, -4*t = -q + 44. Let f be (q/14)/(108/168). Which is greater: f or k?
k
Let n = 15 + -15.013. Let i = n - 0.087. Do -1/7 and i have the same value?
False
Let i be ((72/(-30))/(-6))/((-356)/(-5)). Is -1 greater than i?
False
Let w = -13 + 113/9. Which is smaller: w or 17?
w
Suppose -845 = -10*q + 1655. Which is smaller: 249 or q?
249
Let n(t) = -t**3 - 18*t**2 - t - 18. Let x be n(-18). Suppose x = -3*a - 5*q + 7, 5*a + 5 = 2*q - 4. Let f be 7/(-21)*(-6)/(-4). Are a and f nonequal?
True
Let y(c) = -c**3 - c**2 + 3*c + 3. Let r be y(-2). Let p(z) = -z**3 - 37*z**2 - 35*z + 33. Let j be p(-36). Which is smaller: r or j?
j
Let p be ((-1)/5)/(12/(-15)*-1). Let q = -0.044 + 0.194. Which is greater: q or p?
q
Let s = -18035.03 + 18124. Let d = s + -90. Let r = d - -0.03. Is r <= -8?
False
Let q = 0.3 - 0.4. Let r = 4049/5 + -810. Is q greater than or equal to r?
True
Let u(a) = -a**3 + 13*a**2 - 14*a - 21. Let t be u(11). Let q = t - 60. Which is bigger: -0.2 or q?
q
Let j = -2 - -1. Let x = -3349 + 3341. Which is smaller: x or j?
x
Let z(i) = -i**3 - 15*i**2 + 31*i + 53. Let j be z(-17). Does 106 = j?
False
Let l be 43 + -10*(3 + -2). Is 31 less than l?
True
Suppose 18*q = -2692 - 458. Which is smaller: q or -176?
-176
Let g(b) = b**3 + 2*b**2 - 3*b + 1. Suppose 2*n + 4*d = -14, -4*d = -2*n - 2*n - 4. Let r be g(n). Let u be ((-415)/145 + 3)/(-2). Which is smaller: r or u?
u
Let i = -80 - -76. Let s be (-3)/(102/i) - 8/68. Which is greater: s or -2/229?
s
Let g = 7/21356 - 1613197/2498652. Let b = 13/18 + g. Which is greater: 1 or b?
1
Suppose -29 = -4*b - 5. Suppose -c - 5 = -b. Let v be c - (-1)/(-30)*26. Which is bigger: 0 or v?
v
Let p = 173 - 203. Is p at least as big as -23?
False
Suppose -48 = -16*k - 32*k. Which is bigger: 86/59 or k?
86/59
Let d be 1/(4*(-2)/(-40)). Suppose d*n = -6 + 26. Let p be 4/10 - 72/(-20). Are n and p unequal?
False
Let o = 35 - 4. Suppose 7 = -4*g + o. Suppose 0 = -5*a + g - 1. Which is smaller: -2 or a?
-2
Let l(v) = -v**2 + 11*v + 23. Let y be l(13). Let a be (6/99)/(3/(6 - y)). Which is greater: a or 0?
a
Let w be 4/10 - (-7)/(-5). Let o be 21/(-18)*(-2)/203*2. Is w bigger than o?
False
Let n be (-15351)/255 - 18/10. Is n greater than -62?
False
Let t = -40.346 + 40.8. Is 0 greater than t?
False
Let v be (-10)/85 + 2/969*74. Which is bigger: 1 or v?
1
Let p = -40 + 91. Let v = p - 43. Let h = -0.2 - -0.3. Which is bigger: v or h?
v
Let i be -24 + -11 - (-6)/2. Let o = i - -5. Is o greater than -28?
True
Suppose 590 = 14*v - 4*v. Let m = 80 - v. Which is bigger: 19 or m?
m
Let i(f) = -3*f - 18. Let d be i(-6). Suppose d = -21*t + 22*t - 7. Which is greater: t or 22/3?
22/3
Let a = 291 - 2033/7. Let w = 18 + -15. Suppose 4*k + 1 = g, 4*g - w - 1 = 5*k. Is a less than g?
True
Let h = -126 + 131.3. Let n = h + -5.2. Let d = 1.4 - 2. Which is smaller: d or n?
d
Let j = 1129/9 - 126. Let p be (4/20)/(18/(-95)). Let f = j - p. Which is bigger: f or -2?
f
Let l be ((-4)/10)/(-3 + 17/5). Is -20/79 bigger than l?
True
Suppose -118*h + 21672 = -32*h. Is 255 != h?
True
Suppose a - 152 = 4*w, 4*a - 3*w - 523 = -4*w. Let u = 124 - a. Is u less than or equal to -6?
True
Suppose 0 = 2*r - 6*r. Let m be 1 - r/(2/(-2)). Suppose 5*i = 2*w + 76 - 22, 7*i - 69 = 5*w. Which is smaller: m or i?
m
Let j = 1 - 7. Let c(s) = s**3 + 6*s**2 - s - 3. Let r be c(j). Suppose 4*k - 2*u - u = 7, 3*u + r = 0. Is k less than -2.2?
False
Let d = 6 - 2. Is d != -50?
True
Let c = 131 + -124. Suppose 4*x = 26 + 18. Is x at most c?
False
Let j = -0.273 + 0.373. Is 2/813 greater than j?
False
Let h = -127449663889/1187937 + -562/131993. Let q = h + 107493. Let y = q + -207. Which is smaller: 0 or y?
y
Suppose 0 = -27*s - 1897 + 385. Is s less than or equal to -59?
False
Let o(p) = p - 2. Let x be o(5). Suppose a + 3 = -r + 35, -2*r + 68 = 3*a. Suppose x*w = -w + r. Which is greater: 6 or w?
w
Let i(j) = 15*j - 1. Let m be i(-1). Let a = 47/3 + m. Let g be 3/9 + 2/(-6). Which is bigger: a or g?
g
Suppose 2*s = 3*s + 2, -5*s + 20 = 5*c. Suppose -312 = 5*t - f, 0 = -c*f + 4*f - 6. Which is smaller: -64 or t?
-64
Let t = 17150012 + -7734667969/451. Let b = -306/11 - t. Which is smaller: 0 or b?
0
Let d(o) = o. Let l(f) = f**3 + 20*f**2 + 23*f + 21. Let g(p) = 3*d(p) - l(p). Let w = 53 + -72. Let z be g(w). Is -13/4 less than or equal to z?
True
Suppose -3*x - 4*s = 103, 3*x + 5*s + 123 = 25. Suppose 640 = -27*v + 11*v. Is x < v?
True
Let o(p) = 2 + 2 + 4*p**2 - 6*p**2 - 5 + p - 2*p**3. Let w be o(-2). Suppose -z - 3*l + 4 = -2*z, 5*z = -l + 12. Which is smaller: z or w?
z
Let b be 2/(-16) - 0/(-1). Suppose -4*j + 5*f = -16 - 5, 0 = -j + 5*f + 24. Is b at least as big as j?
True
Suppose -11*f + 21 = -4*f. Suppose 2*r + 2 = -f*p, 4*p - 8*p - 5 = 5*r. Which is smaller: r or 3?
r
Let n(i) = i**2 + 26*i - 254. Let m be n(-25). Is -282 not equal to m?
True
Let u = 9.878 + -0.078. Let s = u + -10. Let f = s - -1.1. Which is smaller: -0.1 or f?
-0.1
Let j = -663/1324 + 1/1324. Is -175 smaller than j?
True
Let w = -27.4 + -0.6. Let g = 18 + w. Let q = g + 8. Which is greater: 3/5 or q?
3/5
Let c be (-39)/(-12) + 2/(-8) + -1. Suppose 4*y + 16 = 3*w, -16 = -c*w + 4*w + 4*y. Is w not equal to 5/16?
True
Let y be -3*(-3 - (-1 - -1)). Let u = y - 5. Suppose -5*b = -u - 1. Which is bigger: b or 0?
b
Suppose -28 = 3*r - 5*p, -76 = -13*r + 18*r - p. Which is bigger: r or -11?
-11
Let t be (-15 - 13)*(-1)/2. Suppose -2*g - 12 = -4*m, m + 0 = -5*g + t. Is 5/6 smaller than g?
True
Suppose -691 = 19*x - 3370. Which is smaller: x or 143?
x
Let w = -0.076 + -9.324. Let y = -9.36 - w. Are y and -0.1 equal?
False
Let m = -1.2 + 2.6. Let b = m + 0.6. Let w = 308 - 308. Which is bigger: b or w?
b
Let s = 115 - 109. Suppose s = -16*g + 19*g. Which is bigger: g or 4?
4
Suppose -p - 2 = 5*r - 9*r, 2*r + 24 = 3*p. Suppose -z + 3*h + p = 0, 4*z + 0*z = h + 7. Let w(m) = -m**2 + 6*m + 1. Let o be w(6). Is z < o?
False
Let q = -339 - -338. Which is bigger: 1/133 or q?
1/133
Let i be ((-26)/10)/((-2)/5). Let g = 34 + 79. Let z = -105 + g. Which is greater: z or i?
z
Suppose -2 = 8*r + 14. Is r >= -36/13?
True
Suppose 0 = -4*f - 3*x - 184, 67 = -2*f + 2*x - 25. Let m = -13/111 - 35762/777. Let i = f - m. Which is smaller: i or 0?
0
Let i = 16 + -8. Let d = -8.1 + i. Is d < 0?
True
Suppose 3*f = 6*f + 147. Let t be 304/(-6) - 60/(-36). Is t at most f?
True
Let g(v) = v**3 + v**2 - 4*v - 4. Let p be g(-2). Suppose -4*c + c = -4*z + 44, p = -c - 3*z + 7. Is c equal to -9?
False
Let p = -1060 + 210936/199. Is 0 at least p?
True
Suppose -133*d = -123*d - 380. Is d equal to 233/6?
False
Suppose -6*y - 4*c + 8 = -2*y, -5*y + 4*c - 17 = 0. Which is smaller: y or 1?
y
Let a be 9*1/6*(-4)/(-2). Let g = -10 + 13. Is g at most as big as a?
True
Let s = -26751 + 294795/11. Let x = 3005/44 - s. Is x greater than 20?
False
Let p be 3/(-4) + 1 - 1. Suppose -340*k + 10 = -345*k. Which is bigger: p or k?
p
Let f(p) = -2*p + 27. Let c be f(13). Let a = c - -4. Suppose 0 = -3*q - 3*y + 3, 0 = -3*q + 2*y - 7*y - 3. Is q > a?
False
Let f = 0.24 - 0.38. Let y = 0.28 - 0.14. Let b = f + y. Is b != 6?
True
Suppose -2*r - 3*w - 24 = 2*r, 3*r = -2*w - 19. Let u(z) = -z**2 - 7*z + 11. Let i be u(r). Which is bigger: -8 or i?
i
Let m = 385/6 - 65. Let a(g) = -g**2 + 10*g - 5. Let q be a(9). Suppose q*r - 6*r = -r. Is m < r?
True
Let i = 94 + -58. Let f = -88 + i. Which is smaller: -53 or f?
-53
Suppose -3*h - 11 + 71 = 0. Suppose 4*k - h = -0*w - w, 4*w + 4*k - 20 = 0. Let v be (-1)/((-5)/(-2))*(-3)/(-15). Does w = v?
False
Let i = -6.3 - -6. Let t = 93.1 - 98. Let u = 0.9 + t. Is u at most as big as i?
True
Suppose -4*o - 35 = -11. Suppose -4*d = -3*u + 13, 2*u + 4*d - 2*d = -10. Let z be 18/o*u/4. Is z < -1?
False
Suppose 0 = 4*k - 2 + 14. Which is smaller: k or -15/8?
k
Let s be (-20102)/(-209) + -1 + (-9)/(-11). Which is bigger: s or 98?
98
Let u be (-2)/8 + (-143)/(-44). Let f be 1 - 1 - 4848/(-1313). Are u and f non-equal?
True
Suppose 5*r + 4 = 7*r. Suppose o - 3*t = -2*t + 2, r*o = 5*t - 2. Let m be 6 + ((-4)/o - 2). Is 0 greater than or equal to m?
False
Let h = 73 - 52. Suppose -h*c + 10 = -23*c. Is -6 not equal to c?
True
Suppose -2*j