12 - 11*y**3/6 - 2*y**2 - 5*y. Let n be g(-11). Let t be (-1 - -1)*n/(-4). Is -7 at most as big as t?
True
Let j = -2/17855 - 267761/571360. Is 1 smaller than j?
False
Let j be 46 - (13 + -8) - (1 - -1). Are 41 and j unequal?
True
Let w be -2 + (-2)/(-20)*-2. Suppose 3 = y - 3*s, y + 3*s + s + 4 = 0. Let x = -2 + y. Is w at least as big as x?
False
Let x be 3/(3 - 0) + 1. Let w(j) = j**2 - 6*j - 4. Let b be w(7). Which is bigger: b or x?
b
Let h be ((-16)/100)/((-2)/5). Let n = 31.05 + -0.05. Let g = n + -31. Is g >= h?
False
Suppose -2*t + 5*t - 573 = 5*s, 4*t = 4. Let q = s + 112. Are q and -5/4 equal?
False
Let z = 1 - 1. Suppose -3*o - 3*a - 105 = o, -2*a + 10 = 0. Let j be (-5)/8*o/525. Which is smaller: z or j?
z
Let s = -2 + -3. Let u = -249 + 977/4. Do s and u have the same value?
False
Let l be (-6)/(-21) + 248/14. Let u be (1/l)/((-2)/16). Suppose -2*i + 14*s = 10*s - 8, s + 2 = -4*i. Is u equal to i?
False
Let h be 4/16 - (-396)/16. Let c = h - 25. Let r be 0 + (-5)/(45/6). Is c smaller than r?
False
Let n = -9 - 2. Let w = 5.712 + -4.712. Are n and w equal?
False
Let u be -1*(0 + 21/3). Let j be 2/u + 8/28. Suppose 4*d = 3*g - j*g + 25, -3*d + 15 = -g. Is g less than -2?
True
Suppose 0 = -5*c - 5*h + 2 + 8, 2*h = c - 2. Suppose 21 = -c*t - 1. Which is smaller: t or -10?
t
Let k = 7 + -4. Suppose -2*a - k*t + 20 = 0, 0 = -a - 3*t - 2*t + 24. Let z = 1.085 - 0.085. Which is bigger: a or z?
a
Let j = 6 - 5.94. Let f = -0.32 + j. Let v = f + -0.04. Which is smaller: v or -0.1?
v
Let p = 0.015852 - -22.030948. Let x = p + 0.0532. Let t = x - 22. Which is greater: t or 2?
2
Let g be 2 - 56 - (0 + -3). Let b = g - -73. Let r = b - 23. Is r less than -2?
False
Let n(l) = -19*l + 40. Let y be n(5). Is -54 less than y?
False
Let c = 34588/7 - 9951/2. Let z = 75/2 + c. Is z <= 4?
True
Let i be (-6)/4 + 57/6 + 3. Which is smaller: 15 or i?
i
Let n = -562.7866 + -0.2134. Are n and 0.1 nonequal?
True
Let b = 16 + -97. Let y = 50 + b. Is 1 not equal to y?
True
Let y = -129 - -155. Suppose -y = -v + 31. Is 57 at least v?
True
Suppose -96*u = -91*u + 55. Is u >= -8?
False
Let d = -431/2 - -4669/22. Which is smaller: -3 or d?
d
Let s = 15.6 - 15. Let m = s - 1. Let n = m - -0.6. Is -3/4 >= n?
False
Suppose -2*t = -d - 7*t - 2, 2*d - 2*t = 8. Let s = d + -1. Suppose -2*a - 2*z - s = 0, -a - 2*z - 5 = z. Which is smaller: a or -1/4?
-1/4
Let j be -5 - (-16)/(-40)*(-14 - 1). Let x = -21058/29 - -226413/493. Let l = -267 - x. Is l >= j?
False
Let x be 45/(-78) - 5/(-10). Suppose -o - 5 = -6*o. Which is greater: x or o?
o
Suppose 4*z - 4 = -4*v, 4*v + 4*z - 13 = 3*z. Let u = 4459 + -49013/11. Is u smaller than v?
True
Let y be (-6418)/48 - 10/15. Let z = y - -134. Suppose 0 = n - 4*n - 6, 5 = -5*w - 5*n. Is z less than w?
True
Let u(r) = -12*r**3 - r**2. Let o be u(-1). Let f be o/(-22) + 10/4. Suppose 24 = -2*g + 4*k - f, 3*g = 3*k - 48. Is 0.1 smaller than g?
False
Let x(k) = -4*k**2 - 6*k + 8. Let c(y) = y**2 + y + 1. Let u(s) = -3*c(s) - x(s). Let v be u(-5). Is v bigger than -1/11?
False
Let y be (-43)/102 + 2/6. Let l = 1218.1 - 1219.1. Which is smaller: l or y?
l
Let q = -1/5 - -13/15. Let d = -91.7 + 92. Which is smaller: q or d?
d
Let v = 13 - 18. Suppose 0 = -5*i - n + 5, 5 = 10*n - 9*n. Which is greater: v or i?
i
Let t(z) = 6*z - 8. Let y be t(1). Which is greater: y or -10/17?
-10/17
Let n be (0 + -18)/((-9)/(-6)). Let l = n + 22. Let y = l + -10. Is y > 1?
False
Suppose 4264 - 910 = 6*r. Is -1/4 > r?
False
Let f be 16/(-2)*(-6)/8. Let c(u) = u**3 - 4*u**2 - 2*u + 6. Let b be c(f). Suppose w - 3*q = -3 + 6, b = 5*w + 2*q. Is w less than 12?
False
Let y = 28 + -17. Let g = 2.1 - 1.9. Let j = g + -0.1. Is j less than or equal to y?
True
Let b be (-5)/((-700)/972) - 7. Which is greater: b or 3?
3
Let h = -19 - -23. Suppose -k = -h*k + 9. Is k at least as big as 3?
True
Let s(c) = -c**3 + 5*c**2 - 2*c - 4. Let b be s(4). Suppose 3*z - 4*q = 29, b*z - q = 4*q + 37. Suppose -2*t + 5 = -4*f + 15, t - 15 = -3*f. Is z > t?
False
Let z = 9 + -9. Let q = -0.284 + -5.716. Which is smaller: q or z?
q
Let w = -552/221 - -34/13. Let i be 2/3*9/6. Which is greater: i or w?
i
Let r(x) = 5*x + 1. Let u be r(3). Let b = -10 + u. Suppose 4*l + b*s = s - 34, 4*l + 4*s = -36. Is l greater than or equal to -10?
False
Suppose -3*p - 121 = -2*v, 5*v + 7*p - 340 = 2*p. Which is smaller: -3 or v?
-3
Let o(u) = u**2 + 14*u + 30. Let n be o(-12). Suppose -2*b = -5*b - n. Which is bigger: b or -2/3?
-2/3
Suppose 30 = 3*l - 5*x, -x = -2*l - 6 + 19. Suppose 16 = 2*r - l*n + 2, -n - 4 = 0. Is r less than 0.02?
True
Let k be 0*(-1 - (-1)/2). Suppose 2*c = 6 - k. Suppose 0*l - c*l = 0. Is 1/19 greater than or equal to l?
True
Let p = 0.06 - -1.94. Let v = 223.024 + -222. Let c = 0.024 - v. Which is bigger: c or p?
p
Suppose -106 = -w + 3*j, 17*w = 18*w + 3*j - 130. Which is smaller: 117 or w?
117
Suppose 5*o = 15 + 50. Let k = 8 + o. Which is greater: k or 22?
22
Let v = 6/853 + 117684/4265. Which is smaller: 28 or v?
v
Let w = -1130 + 1126. Is w greater than or equal to -4?
True
Suppose -5 = -5*n, 3*n - 404 - 39 = -4*d. Which is smaller: d or 109?
109
Let k = -154 - -140. Which is smaller: -6 or k?
k
Let s = 15214 - 562758/37. Do s and 4 have the same value?
False
Let x = 22.7 - 23.7. Which is smaller: x or 66?
x
Let f = 2082 - 2080. Which is smaller: 10/13 or f?
10/13
Let q = -6 - -5. Let r = q + 2. Suppose -o = -10*o + 2*o. Which is greater: o or r?
r
Let h = 63 - 457/7. Let j = -63 + 63.3. Which is smaller: h or j?
h
Let d = 2.5 + -4.5. Let h = -136 - -142. Which is bigger: d or h?
h
Let r be 18/4*((-2436)/(-8))/7. Let u = 199 - r. Which is smaller: 3 or u?
3
Let r = 1555 + -1545. Which is smaller: r or 1/4?
1/4
Let i(o) = o**3 - 4*o**2 - 7*o + 9. Let u be i(6). Let c = 38 - u. Is -12 greater than c?
False
Let k be 27629/(-6)*1/5509. Let q = -2/787 - k. Which is bigger: 0 or q?
q
Suppose 0*f = 5*f. Suppose f = 2*m + 2*k, -k = -5*m + k - 7. Is m < -13?
False
Let k = 471 - 472. Let v = -8.91 - 0.09. Which is smaller: k or v?
v
Let z(y) = 3*y + 6. Let s(t) = t. Let a be 16/(-14) - 23/(-161). Let x(b) = a*z(b) + 4*s(b). Let w be x(6). Is w > 1/9?
False
Suppose -j - 2*l = -8, 0 = 2*j + 2*j - 4*l + 4. Let g(c) = -2*c + 3*c**2 + 3*c**2 - 3*c**2 - 2 - 2*c**2. Let k be g(j). Is k at least -1?
False
Let f(a) = -a**2 + 7*a - 4. Let d be f(5). Suppose -5*k - 6*z + 55 = -z, -11 = -k + 2*z. Let u = -4 + k. Is u less than d?
False
Suppose 122*y + 3168 = 116*y. Is y greater than -528?
False
Suppose 0 = 2*g + 2*a + 340, -g - 3*a = -0*a + 180. Let x = 147 + g. Is -19 smaller than x?
True
Let a(c) = 4*c - 13. Let g be a(3). Does -0.011 = g?
False
Let i be 4/(-8)*(-3 + 5). Which is greater: 1/436 or i?
1/436
Let y = -2630.977 - -2631. Which is smaller: y or 6/7?
y
Let u be (-3108)/185*1*(-5)/11. Is 9 at least u?
True
Suppose 2*q - 29*q + 27 = 0. Which is bigger: q or 5/43?
q
Let t(i) = 5*i - 2*i**2 - 6 + 23*i - 57 + i**2. Let y be t(26). Is -11 greater than or equal to y?
True
Suppose x - 2*x + 3 = -n, -12 = -4*n - 4*x. Let c = 589/374 - 26/17. Is n less than c?
True
Let c = -1623/32725 + 4/77. Let f = -454/12325 + c. Which is bigger: f or 1?
1
Suppose 10*a - 2*a + 8 = 0. Let t be (-1191)/399 + (1 - -2). Is t bigger than a?
True
Suppose -11*q - 3354 = 15*q. Which is smaller: -259/2 or q?
-259/2
Suppose m = 2*m - 3*l + 11, 4*m - l + 22 = 0. Let d be m/(-10)*(1 - 5). Which is smaller: d or -5/3?
d
Let u be (-66)/(-99)*(-6)/22. Is 17 greater than u?
True
Let h = -94 - -95. Do h and -95 have different values?
True
Suppose 10 = 194*b - 189*b - 5*l, -4*b = -3*l - 4. Is b > -23/17?
False
Suppose 2*h = -2*y, -y + 16 = -0*y + 5*h. Let i be 4146/18 - y/6. Let c be -1 - (i/(-18))/11. Is -0.2 equal to c?
False
Let z = -2217 + 2375. Is z greater than or equal to 635/4?
False
Let q(m) = -2*m**2 - 7*m + 1. Let j be q(-5). Let u(x) = x**2 - 11*x - 5. Let p be u(11). Let y(h) = 4*h + 6. Let s be y(p). Is j < s?
False
Let u be 3/(-4) + (-620)/(-784). Suppose 3*f = -f + 16. Suppose 0 = f*m - m. Which is smaller: m or u?
m
Let p = 36 - 16. Let m = p + -3. Suppose 145 = 93*d - 1529. Is m < d?
True
Let y be -6 + 238/35 + 38/(-60). Which is greater: -0.03 or y?
y
Let v(r) = -r**3 - 18*r**2 + 66*r + 13. Let m 