) = q**3 - 2*q**2 - q - 14. Let h be b(a). Is -12 greater than or equal to h?
True
Let f = 36 - -191. Let c = -0.38633 + 0.48633. Is c less than or equal to f?
True
Suppose f - 27*m + 176 = -22*m, 0 = 3*f - 3*m + 456. Is f <= -147?
False
Let d = 14266 + -213986/15. Suppose 4*q = 3*r + 7, -2*q + 3*q - 5*r - 6 = 0. Is d at most q?
True
Let i be 256/(-18) - (-40)/180. Let y(x) = x**3 - 38*x**2 + 2*x - 93. Let t be y(38). Is t < i?
True
Let z be (-10038)/(-35) - ((-25)/5)/(-25)*-1. Which is greater: 2015/7 or z?
2015/7
Let a = 1/25257 + -17897/26747163. Is a less than or equal to -1?
False
Let y = -11099/117 - -901/13. Is y not equal to -26?
True
Let m = -98 - -77. Let z be 1/(2 + m/9) - -12. Which is smaller: 11 or z?
z
Let y = 25 - 16. Suppose 4*r - y = -l - 45, 5*r - 102 = 4*l. Suppose 8*m - 112 = -328. Is l smaller than m?
True
Let r = -19.968 - -20. Let y = -0.032 + r. Let v be (-4)/(-14) + 1128/(-420). Which is greater: y or v?
y
Let s be ((-14)/(-6))/(2/12). Let r = -61 + s. Let d = r - -45. Which is bigger: -4 or d?
d
Let i be 9 - (19 - (15 + -5)). Which is bigger: i or -3/6824?
i
Let p = -250/11 - -5272/231. Let c(z) = z**3 - 20*z**2 - 19*z - 43. Let g be c(21). Are g and p unequal?
True
Suppose 2*k = -2*k + 8. Suppose k*y = 6*y - 32. Let z(v) = -2*v**2 - 107*v + 922. Let t be z(-61). Which is bigger: y or t?
y
Let j = -1596 + 1640. Let t = -5.4 - 38.6. Let x = t + j. Which is greater: 0.047 or x?
0.047
Suppose 0 = -2*b + 305 - 303, 4*w + 5*b = -787. Is -203 greater than or equal to w?
False
Let t(b) = -2*b**2 - 16*b - 9. Let a(i) = i**2 + i + 1. Let y(d) = 4*a(d) + t(d). Let c be y(5). Let j be (-6)/15 + (609/c - 0). Is j at most as big as -40?
True
Let w(m) = 4*m**3 - 68*m**2 + 2*m - 34. Let f be w(17). Is f equal to 1/401?
False
Let n(k) = -2*k**2 - 63*k + 8. Let r be n(-16). Let d(w) = w**2 + 47*w + 64. Let y be d(-55). Is y equal to r?
True
Suppose -11 - 4 = -3*d. Suppose 5*w = 5*p - 105, 10*p - d*p = -2*w + 70. Are p and -11 nonequal?
True
Suppose 0 = 5*o - 4*o - 32. Suppose 5*f - o = -4*i + 14, 0 = i - 2*f - 18. Is 16 >= i?
True
Let v(i) = -i**3 + 21*i**2 + 27*i - 255. Let q be v(24). Does q = -1332?
False
Let w = -5 - -7. Suppose -5*l + w*o - 11 = 0, -36*l + 33*l + o - 7 = 0. Suppose -3*k = -10 + 4. Is k at least as big as l?
True
Let m be ((-8)/6)/(4/2406). Let n = 824 + m. Which is greater: 14 or n?
n
Let f = -3264 - -2960. Does f = -299?
False
Let t be 15/(-12) + 4 - 2/(-8). Suppose -t = 7*r - 24. Suppose -3 = -6*x + r. Which is smaller: 1/39 or x?
1/39
Let u(i) = -167*i - 752. Let j be u(0). Do j and -752 have different values?
False
Let y = -12933 - -2534855/196. Which is smaller: y or 1?
y
Suppose 2*b = -4*b + 2466. Suppose 3*d - 28 - b = -2*q, -4*d = -3*q + 633. Is q at least 215?
True
Let z = 280 - 186. Let u = -586.8 - -587. Is z at least as big as u?
True
Let q = -25214 + 25453. Which is bigger: -40 or q?
q
Let j = -5789 + 5785. Do j and -201/47 have the same value?
False
Let w = 7662 + -7659. Is w at most -502?
False
Let j(d) = -4*d**2 - 15*d - 10. Let i be j(-3). Suppose 4*o - 2*s - 10 = 2*o, -3*o + 2*s + 12 = 0. Suppose -2*z - 7 = -3*a - 18, o*a - z + 7 = 0. Is a < i?
True
Suppose -58*d + 28*d = -34*d - 50548. Which is smaller: -2/3 or d?
d
Let k be (0*1/5)/(5 - 4) + 605. Let p be 7/((-21)/6) - -608. Which is smaller: p or k?
k
Suppose 3*d + 46 = 4*z, -2*z - 1 = -3*d - 27. Let x(l) = l**3 - 11*l**2 + 10*l - 4. Let r be x(z). Is -77 < r?
True
Suppose -55 = r - 19. Let x be 15*3*(-48)/r. Is x equal to 59?
False
Let x = 2.2972 - 2.2372. Is 1/6 less than x?
False
Let i = 7964 - 8119. Which is smaller: -154 or i?
i
Suppose 0 = 8*f - 3*f + 580. Let q(b) = -b**2 - 57*b + 335. Let m be q(-64). Is m < f?
False
Suppose 48 = -5*m + 8*m. Let p be 67/(4*4/m). Is p at least as big as 66?
True
Let x be (6/20)/((-6)/10). Let l = -236.39 - 3.61. Which is smaller: l or x?
l
Let q be (-888)/(-272) - (-1 + 4). Let x = -1 + 2. Which is smaller: x or q?
q
Let s be 18/(-36) - (-1)/2. Suppose s + 4 = 3*q + 2*c, 4*q + c - 2 = 0. Let y = -3/23 - -59/276. Do q and y have the same value?
False
Let x(c) = -7*c - 123. Let l be x(-22). Suppose -36*s + l*s = 370. Is s at most as big as -74?
True
Let h be (15 + -14)/((-1)/(-108) - 0). Suppose 5*w + 3*p = h, -3*w + p - 17 + 79 = 0. Which is greater: w or 0.1?
w
Let l = -4.016 - -36.016. Is 1 less than or equal to l?
True
Let h(m) = m**3 - 8*m**2 + 3*m + 5. Suppose -6*b - 22 + 70 = 0. Let q be h(b). Let g be (24/(-20))/(q/5). Do 1 and g have the same value?
False
Suppose 4*j - 5*v + 29 = 8*j, -2*j + 11 = -v. Let w be 0/(-67) - (0 + j/(-16)). Which is greater: 5 or w?
5
Suppose 5*j = 7*j + 4*c - 6, -4*j = -c - 3. Is 4/2869 at least as big as j?
False
Let i = -398 - -2389/6. Which is greater: -119 or i?
i
Let l be (-223)/((1 - -7) + (-306)/36). Which is greater: 1339/3 or l?
1339/3
Suppose -9 = -4*z - 5*n, -n = z + n - 3. Let f be 259/148 + (-1683)/1012. Is z >= f?
True
Let t = -279 + 196. Let y = 165.92 - 249. Let d = y - t. Is d bigger than -0.4?
True
Suppose h - 1 = 43. Let u be (75/10)/(2/(-12)). Let m = h + u. Is -7 less than or equal to m?
True
Suppose -3*n + 5*x - 14 - 17 = 0, -5*x = -2*n - 29. Let q be (-2 - (2 - 6))*(-1 - n). Suppose -q*m + 82 = -3*t - 5, 158 = 3*m + t. Which is bigger: m or 52?
52
Let w be 28/10 - 2/(-10). Suppose w*z + 12 = z - 4*o, 4*o + 20 = 2*z. Suppose y - 1 = 2*b, z*y + 0 = -2. Which is bigger: b or -4/13?
-4/13
Let v(u) = 16*u - 91. Let l be v(0). Let o(i) = -i - 6. Let p be o(-10). Suppose 5*r + 412 = -4*c - 32, -4*c - 352 = p*r. Is l bigger than r?
True
Let h = 912077/94 + -9703. Suppose 0 = 6*a - 3*a + 3. Is a less than h?
True
Let x be (-6)/9*(-101 - 8/2). Suppose -564 + x = -13*m. Let c(a) = 9*a**2 + 2*a - 3. Let q be c(2). Is m less than q?
False
Let i = -34 + 36. Suppose 10 = -4*s + s - 5*k, -i*s + 20 = -2*k. Suppose -s*v = -5*a - 15, -4*a - 9 = 11. Which is smaller: -4/7 or v?
v
Suppose 0 = 4*u + 3*w, 5*u - 617*w = -618*w. Which is greater: u or 1/9580?
1/9580
Suppose 0 = b + 4*b. Suppose -4*v - 5*i - 889 = 451, -5*v - 3*i = 1662. Let t be 148/v - 56/(-308). Is b < t?
False
Suppose -4*j - 3*s = -s + 6, 4*j + 3 = -5*s. Let x(g) = -g**2 + 15*g - 47. Let d be x(7). Let u be (-1)/(30/d - 3). Which is smaller: u or j?
u
Let q = -184 - -379. Let b = q - 84. Let a = 110 - b. Is a bigger than 18?
False
Let u be (2*(9 + (-25)/30))/((-2)/(-18)). Which is greater: u or 1626/11?
1626/11
Let k = -216.8 + 217. Let q = -2.03 - -1.02. Is k less than or equal to q?
False
Suppose -3*c + 6 = 0, 2*c = 5*v - 13 + 12. Let k be v*6/(-6)*7. Which is greater: 1.5 or k?
1.5
Let f = 24.78 - 25. Let w be (1 + 2)*(-18)/(-18). Suppose -5*c = -w*s + 9, 1 + 2 = -5*c + s. Which is bigger: c or f?
c
Let o = 6.441 - 8.441. Which is bigger: o or 454?
454
Let k = -1.6825 + 1.7. Let i = k + 40.1825. Let t = i + -40. Are t and 14 equal?
False
Let x(b) = -21*b - 9. Let n be x(-5). Let v = n - 451. Let d = -1766/5 - v. Does 3 = d?
False
Suppose 0*x - 2*x = -43*x + 3813. Is x at least as big as 1020/11?
True
Suppose 29*i = 18*i + 3520. Let z = -320 + i. Let u = 560/9 - 4001/63. Is u != z?
True
Let s = 5089.9895 - 5090. Is -13 >= s?
False
Suppose 0*c = 4*c + 176. Let s = 3317 + -3272. Let z = s + c. Are z and -1/43 nonequal?
True
Let t = -7815 + 7811. Which is greater: 2.14 or t?
2.14
Let p be ((-10)/4)/((-8)/16). Suppose -3*z + 26 = -2*q, p*z - 33 - 7 = 5*q. Suppose 10 + z = h. Which is smaller: -1 or h?
-1
Let i be 156/(-497) + (-12)/(-42). Let z = 20 - 17. Let v be (3/7 - z/7)/(-3). Which is smaller: i or v?
i
Let n(c) = -494*c - 52. Let q(w) = 17*w + 2. Let g(u) = -4*n(u) - 117*q(u). Let z be g(9). Which is bigger: -144 or z?
z
Let a be ((-924)/18)/((-25)/(-15)). Let n be 1/(((-2)/(-80))/(39/(-52))). Which is smaller: n or a?
a
Let m = 51 - 76. Let u be (1 + -51)/(-3*8/(-12)). Let w = u - m. Is 5/7 greater than w?
True
Let x be 0/((-24)/(-36) - (-22)/(-6)). Suppose x = -17*l + 6*l. Does 1/883 = l?
False
Let k = 7620 - 7618. Which is greater: k or -1.5?
k
Suppose 5*g = 2*u - 7, -4*u - g + 0 = -3. Let w be ((-10)/30)/((-3)/135). Suppose 3*r + t + w = -7, -4*t - 8 = 2*r. Which is smaller: r or u?
r
Suppose 6 = -m + 3. Suppose -45 = 2*j - 125. Suppose 0*h + 3*h + s = -13, 0 = 5*h - 2*s + j. Which is 