7 - 220/21. Which is smaller: m or y?
y
Let p = -8/1617 + 7930/949179. Let r = 1156/5283 + p. Which is smaller: 0 or r?
0
Let k be 75/(-12)*(-7)/28. Is k > 2?
False
Let x = 2/5957 + -146374/5957. Is -24 equal to x?
False
Let s(z) = z**2 + 9*z - 12. Let c be s(-10). Let u be (-165)/(-242) - (-1)/c. Let v(l) = -l**3 - 6*l**2 + l + 7. Let k be v(-6). Which is smaller: u or k?
u
Suppose 5*y = 3*x - 45, 4*x + 6*y - 28 = 2*y. Suppose -4*s + x = -26. Is 10 smaller than s?
False
Let o = -10 - -13. Suppose -o = 6*y + 21. Is y greater than or equal to -3?
False
Let j be 1 - 11/((-143220)/(-13008)). Does j = -1?
False
Let k = -78 + 83. Let w = k + -6. Which is greater: -7/4 or w?
w
Let u = -1278.2 + 1278. Which is smaller: -61 or u?
-61
Let w be ((-2)/6)/(4*(-7)/29064). Is 1/2 > w?
False
Let n = 142 - 342. Are n and -201 equal?
False
Let x = 3.9 + -26.9. Let o = x - -25. Which is bigger: o or -5?
o
Suppose 7 = -2*k - 3*f, -4*k = 3*f - 2*f - 11. Suppose z + 5*c - 3 = -25, k*z + 16 = -2*c. Which is greater: z or 0?
0
Let x = 109.7 - 403.7. Which is bigger: 2/9 or x?
2/9
Let t = -34 + 67. Let i = t + -15. Let w = 18.1 - i. Is w bigger than 0.5?
False
Let i be (30/(-40))/((-4)/(-160)). Is -179/6 greater than or equal to i?
True
Let a = 1285 + -748. Are a and 537 non-equal?
False
Let h = -0.094 - -0.194. Let p = 13/3 + -4. Is p smaller than h?
False
Let x = -4.1 - -5.9. Let q = x + -0.8. Let s(n) = n**3 - 5*n**2 + 2*n + 5. Let g be s(4). Is q smaller than g?
False
Let w = -0.1 - -0.7. Let q = w + 0.4. Let n = q - 2. Is -2/5 less than or equal to n?
False
Let l = -2808 + 2851. Which is greater: 67 or l?
67
Let d be 7/4*160/(-40). Let c(v) = v**2 - 6*v - 1. Let o be c(5). Let l(q) = q**2 + 8*q + 6. Let i be l(o). Is d less than i?
True
Suppose 17*j - 14*j = -3. Is 2/57 bigger than j?
True
Let y = 10 - 8. Suppose -2*t + y = 0, z - 4*t + 21 = -t. Which is bigger: -20 or z?
z
Let i(y) = 27*y**2 - y - 1. Let z be i(-1). Let a = 16 - z. Suppose 5*q + 47 = -2*x, 4*q + 48 = -40*x + 41*x. Is q >= a?
True
Let y(t) = t**2 - 46*t + 349. Let d be y(26). Is d smaller than -173?
False
Let c = 24.1 + -19. Let x = -8.1 + c. Is x at least as big as -4/3?
False
Let t = 16 - 94. Let x be (t/72 - -1)/((-3)/8). Which is smaller: x or 7?
x
Let m = -141 - -84. Let l = m - -58. Is 2/11 at most as big as l?
True
Let b(n) = -n**3 + 8*n**2 - 2*n - 1. Let u be b(6). Let t = u - 60. Which is greater: -7 or t?
t
Suppose 111*v - 2 = 110*v. Suppose -8*k - 4 = -4*k, -4*n + 3*k + 19 = 0. Suppose -5*f + b - n = 0, -2*f + 4*b - 16 = -3*f. Is v at least as big as f?
True
Let p = 17 - 16.83. Let l be (9/(-6))/((-63)/(-12)). Which is greater: l or p?
p
Suppose -5*s - 39 = -2*i - 24, -3*s = -4*i + 9. Is i at least as big as -5/84?
True
Let i = -0.1 + 0.6. Which is bigger: 0.22 or i?
i
Let l = 1.7 - -3.5. Let v = l + -5. Which is greater: -22 or v?
v
Let p = 0.971 + 2.029. Which is bigger: p or 5/4?
p
Let c = 23.9 - 25.9. Is c < -20?
False
Suppose 52 = 324*f - 337*f. Which is greater: -95 or f?
f
Let b be (-1542)/9*3/(-2). Let c = b + -1281/5. Which is bigger: 0 or c?
c
Let t(v) = -2*v**3 - v**2 - v - 2. Let z be (32/40)/((-2)/5). Let s be t(z). Let u be ((-1)/4)/(6/s). Which is smaller: u or -1?
-1
Suppose 2 = 39*p - 40*p. Which is smaller: 0.33 or p?
p
Let v = -212 - -211. Let c(b) = b**2 + 5*b - 6. Let k be c(-5). Let u be (4/(-6))/(k/(-171)). Are v and u nonequal?
True
Suppose -4*w - 3*p = 215, 3*p + 268 = -5*w - p. Which is bigger: w or -58?
w
Let l = 28 - 28. Suppose 0*p = -3*s + p + 14, -5*p - 19 = 2*s. Suppose -d = -l*m + m - 1, 0 = 3*d + 2*m - s. Is d at least 3/10?
True
Let u = -88 + 87. Is u <= -2/1135?
True
Let b(o) = -18*o + 75. Let k be b(7). Which is smaller: k or -5?
k
Let i = -0.531 + 1.531. Is -394 < i?
True
Let j(m) = m**2 + 13*m - 16. Let v be j(-14). Let d(q) = -13*q - 5. Let r(t) = 3*t + 1. Let n(u) = 2*d(u) + 9*r(u). Let i be n(v). Which is smaller: i or -4?
-4
Let z = -366 - -364.6. Which is smaller: z or 0.1?
z
Let f be (-6)/36 + 74/12. Let y(s) = 3*s - 21. Let t be y(f). Is -5 greater than t?
False
Let b = -263 + 1049/4. Let w(l) = -l**2 + l + 1. Let p be w(-1). Which is bigger: b or p?
b
Let g be (-1)/2*-2 - (6 + -6). Which is smaller: g or -9/49?
-9/49
Let d be (2/(-8))/(19/76). Is d not equal to -5/207?
True
Let r = 160 - 161. Are r and 117/4 equal?
False
Let v(q) = q. Let h be v(-6). Let l = 40 + -44. Is h at most l?
True
Let y(w) = w - 8. Let z be -3 + (-3 - -6) - 2. Let t be y(z). Which is bigger: -66/7 or t?
-66/7
Let y(d) = 18*d + 3. Let t(g) = g. Let v(o) = -12*t(o) + y(o). Let n be v(-1). Is -1 != n?
True
Let q = -42 - -160. Suppose -q = -5*t - 3. Which is greater: -1/4 or t?
t
Let z be (-60)/(-15) + 112*1. Is 111 equal to z?
False
Let n(i) = -i**3 - 68*i**2 + 9*i + 634. Let m be n(-68). Suppose -2*q - 3*q + 105 = 0. Is m at least q?
True
Let j = 1.3 + 9.7. Let s = 11 + -7. Suppose -2*z - t - 14 = 2*t, -s*z - 20 = 4*t. Which is smaller: z or j?
z
Let c = -628.04 + 655. Let n = -33 + c. Let f = -0.04 - n. Is f >= -1/2?
True
Suppose 5*k - t = -1, 0 = -3*k - t + 1. Suppose k = 5*z - 0*z. Let v be (-125)/120 - (-2)/3. Which is smaller: v or z?
v
Let a = -712 + 712.6. Which is greater: a or 3?
3
Let l = -8.4 - 1.6. Let k = 2.1 + -11.5. Let z = l - k. Which is smaller: z or 1?
z
Let m be -3 - -4 - (-2 - 1). Suppose 0 = j - m. Suppose -3*b = -s, 0*b + 2*s = -j*b. Is b > 0.03?
False
Let h(s) = -2*s**3 - 116*s**2 + 3*s + 9. Let u be h(-58). Which is bigger: u or -171?
u
Let d be 27/(-6) + (0 - -1). Suppose -168*r = -154*r + 42. Is d less than r?
True
Suppose -16 = -2*d + 4*o, d = 4*d - 5*o - 21. Let b(l) = 4*l - 5. Let q be b(d). Which is smaller: q or 1?
1
Let o(t) = -t - 2*t + 0*t + 10 + 5*t. Let b be o(-5). Which is greater: -2/31 or b?
b
Let z be (-9 + 2)/(6/48). Let g = 57 + z. Do g and 3/16 have the same value?
False
Let i be -1 + (4 - 0) + 1. Suppose 3*r - 4*s + 2*s = -3, -5*s = i*r - 19. Let q = 0.3 - 0.5. Does q = r?
False
Let c = 250.46 + -248. Let w = c - 4.39. Let g = 0.07 - w. Is -1/4 greater than g?
False
Suppose 5*o - 23 = 27. Let n(w) = w**3 - 11*w**2 + 11*w + 6. Let z be n(o). Is z smaller than 16?
False
Suppose 9 = -3*i + 3*a - 0*a, 2*i - 4*a = 0. Let b be ((-14)/i)/((-1)/3). Suppose 0 = -83*n + 33*n + 39*n - 55. Which is smaller: b or n?
b
Let b be (-45)/(-98) + (-4)/8*1. Suppose -2 = n + 3. Let d = 5 + n. Does b = d?
False
Let a be (-1)/(-2) + (-4)/7. Suppose -2 = -2*l + 6. Suppose 0 = -12*n + l + 8. Is n != a?
True
Let q be 2 + (4 - 1)/(-3). Let l be (-5)/(-2) - q/2. Suppose r - 3 = -2*h + 1, -2*r = -l*h - 8. Are h and -6/5 non-equal?
True
Let z = -476883/301 - -2115/43. Let l = z - -1530. Which is greater: -5 or l?
-5
Let z = -12 - -11.95. Let g = 20.05 + z. Let c = g + -19.93. Which is smaller: c or -1?
-1
Suppose -o + 4*r + 1 = 0, -o - 20 = 3*o - 4*r. Let a(d) = -d**3 + 5*d**2 + d. Let j be a(5). Suppose 5*q + y = -4 - 17, j*q = -5*y - 5. Are o and q equal?
False
Let c = 783.019 - 784. Let l = c + -0.019. Which is smaller: l or 4.8?
l
Suppose 440*n - 396*n = 21824. Does n = 498?
False
Let r = -161 - -158. Are r and 12 non-equal?
True
Suppose 0 = -4*j + 4*d - 3*d - 9, -3*j = -d + 8. Which is smaller: j or -5?
-5
Let l = -0.2133 + 615.2133. Are -2/7 and l equal?
False
Suppose -8*k + 9*k = 98. Suppose -6*f = -13*f + k. Which is bigger: 17 or f?
17
Suppose 1413 = -5*t + 1663. Which is greater: t or 43?
t
Let i(d) = -d**3 + 14*d**2 + 73*d - 2. Let b be i(18). Which is bigger: b or 22?
22
Let y = 0.04 + -2.04. Let s be (-12)/22 - ((3 - 6) + 3). Is y <= s?
True
Let g = -100 - -73. Let b = g + 12. Is b < -22?
False
Let w be (-4760)/(-51) - 2/6. Let r be w/21 - (-1)/((-14)/(-8)). Which is bigger: 12 or r?
12
Let i = -91 - -74. Are -178/11 and i equal?
False
Suppose -5*g - 2*z + 1 - 3 = 0, 0 = 3*z + 3. Is g greater than -2/99?
True
Let t(w) be the second derivative of w**5/20 - w**4/6 + w**3/3 + w**2 + 5*w. Let u be t(2). Suppose -j + 0*j + u = 0. Do j and 6 have different values?
False
Suppose -u = -0*b + b + 90, -270 = 3*u + b. Let o = u - -83. Is o smaller than -6?
True
Let x = 77 + -13. Suppose 2*m + 4 = -3*l - 2*l, -x = 4*m - 4*l. Let n = m + 16. Is n smaller than 3?
False
Let h = 631478663273/1826825 + -31456023/91. Let p = h - -2/1825. Let x = 90 - 