65*h**2 + 8*h + 2. Let m be s(2). Is 278 at most as big as m?
True
Let x be (-1)/5 - 39633/(-165). Which is smaller: x or 241?
x
Let p be ((-4)/6 - 2/6)*-11. Suppose -12*j - 31 = -p*j. Is -32 <= j?
True
Let i = 78 + -74. Suppose d + 4*d = -i*l - 48, -3*d + 3*l = 18. Does -11 = d?
False
Let a = -2 + -15. Let h be (-8 - (13 + -21))/(-2). Which is smaller: a or h?
a
Let x = 17/56 - 6861/22232. Suppose 5*h = 9*h. Which is bigger: h or x?
h
Let x = 140 - 70. Suppose -n = 5*b + x - 216, -2*b = -3*n - 72. Let u be 1/(-6) - 865/b. Which is bigger: -30 or u?
u
Let h(u) = u**3 - 8*u**2 + 7*u - 2. Let i be (-14)/((-1)/((-4)/(-8))). Let s be h(i). Let y be 9/(-3) + (-15)/(-8). Is s greater than y?
False
Let p(y) = -3*y - 1 + y**2 + 5 - y - 1. Let s be p(3). Is 4/13 at least as big as s?
True
Let j = -54 - -93. Suppose -42*h - 72 = -j*h. Which is bigger: h or -26?
h
Let z = 22.968 - -0.032. Let w = z + -36. Let g = w - -13. Does -5 = g?
False
Let u(d) = -9*d - 1. Let s be u(-5). Which is greater: s or 43?
s
Let l(j) = 25*j**3 - 5*j**2 - 7*j. Let d be l(-1). Suppose 0 = 4*z + 113 - 21. Is d greater than z?
False
Let u = -6 - -5.1. Let l = -1.18 - u. Is l not equal to -1?
True
Let l be (-1*2)/(10 + -8 + -6). Are l and -3/80 unequal?
True
Let x = -158 + 146. Let w = 71 - 29. Let f be (w/12)/((-1)/4). Do x and f have different values?
True
Let c = 760 + -724.05. Let k = c + -36. Are -0.05 and k equal?
True
Suppose 5*k - 4 = 11. Let b = 8 - k. Suppose -2*u + 3*u - b = 0. Is u greater than 6?
False
Suppose -1807 = 6*b - 19*b. Is b != 137?
True
Suppose -l + 84 = -5*l + 4*c, -5*l = 2*c + 77. Suppose -5*v - j - 78 = 0, -26 = 4*v + 3*j + 32. Is v greater than l?
True
Let h be -3 + (8590/(-955) - -12). Is h smaller than 1?
True
Suppose 0 = -16*o + 17*o - 2. Suppose o*a - 35 + 15 = 0. Suppose -10 = h + 2*h - 2*i, -2*i + a = 0. Is h not equal to 2/9?
True
Suppose -26*p = -611 + 169. Let h(l) = -l**3 + l**2 - l - 22. Let i be h(0). Let x = p + i. Is -2 < x?
False
Suppose 0 = -14*j + 1224 - 1084. Do 28 and j have the same value?
False
Let k = -10892 - -120046/11. Which is bigger: k or 22?
22
Let w be (-10)/(-30) - 10/(-6). Let t be (900/105)/(78/21). Which is greater: w or t?
t
Let v be 0 + -3 + (9 - (-8)/(-7)). Which is greater: 4 or v?
v
Let y = 103 + -204. Let u = 201/2 + y. Suppose -5*c = -0*c + 5. Which is smaller: u or c?
c
Let v = 66999/31 - 2161. Which is smaller: v or 0?
0
Let p = -11 + 8. Let o = -153 + 155. Let u = p + o. Is 1 at most u?
False
Let p = -119.95 - -117. Let n = -0.05 + p. Is 0 greater than or equal to n?
True
Suppose -p - 4 + 6 = 3*j, 0 = 4*p - 4*j - 8. Let b = 8 + -8. Is b greater than p?
False
Let r = -33 + 0. Which is smaller: r or -31?
r
Let q(c) = c**2 + 6*c - 6. Let j = -14 + 17. Let p = -10 + j. Let w be q(p). Are w and -2/7 non-equal?
True
Let u be 28/8 - (-2)/4 - 63. Do u and -57 have different values?
True
Let i = 9.6 - 0.6. Let w = -9.2 + i. Let u = 6.91 + 0.09. Is u not equal to w?
True
Suppose -5*v = -0*m + 4*m - 72, -2*v - 54 = -3*m. Let x be m/3 + -3 - 0. Suppose 5 - x = 2*c. Which is smaller: 0 or c?
0
Let d be (1 + (-2 - -3))*(-4)/36. Is d greater than or equal to -0.0137?
False
Let l = -12 - -23. Suppose 0 = 38*y - 10*y - 308. Do l and y have the same value?
True
Suppose -101 = -6*q + 73. Which is greater: q or -3?
q
Let q(h) = -h**3 - 2. Let f = 24 - 24. Let i be q(f). Suppose -8 = 6*x - 4*x. Which is bigger: i or x?
i
Let n = -4 + -0.2. Let l = -4.2 - n. Which is greater: l or 1?
1
Let i = -1673.06 + 1673. Which is bigger: 49 or i?
49
Let n be 213/(-45) + 4 + (1 - 0). Let f = -577/165 - -37/11. Let b = n - f. Which is smaller: b or -2?
-2
Suppose 0 = 29*v - 33*v + 12, -3*v - 59 = 2*t. Is -33 less than t?
False
Let v be (-2)/(-14)*-2 - 240/(-714). Which is smaller: -0.1 or v?
-0.1
Let o(k) = k + 26. Let s be o(-15). Suppose 0*n + 2*n - 6 = 0, 0 = z + 2*n - s. Let h(u) = 2*u**2 + 5*u + 3. Let b be h(-3). Which is greater: z or b?
b
Let a = -32.5 - -19.5. Let w(k) = k**2 - 7*k + 1. Let n be w(7). Let s be n*-3 + (-114)/(-42). Is a < s?
True
Let d = 64/33 + -14/11. Which is bigger: -77 or d?
d
Let c = 38 + -37.75. Let d = 0.15 - c. Which is greater: d or 3?
3
Let v = -148/23 + 15290/2369. Let b = 4106/721 + v. Which is smaller: b or 5?
5
Let v be 43/(-10)*(-6)/(-45). Let j be (-10)/(-15)*9/(-25). Let t = v - j. Which is greater: -2 or t?
t
Let p(c) = -c**3 - 7*c**2 - 8*c - 5. Let n be p(-7). Let v be (2/(-3))/(n/9). Is 1 >= v?
True
Let t = -5 - -18. Let h be 221/(-136)*(-7 - 1). Is t > h?
False
Let i = 961/14355 + 1/495. Let m(y) = y**3 - 33*y**2 + 36*y - 128. Let c be m(32). Does i = c?
False
Let j = 15 + -15. Let r be (2 - (-357)/(-180))/(15/24). Which is greater: j or r?
r
Let l = 13157/52 + -253. Which is smaller: l or 0.2?
l
Let k be ((-60)/9*3)/(-34). Are 0 and k unequal?
True
Suppose 3*j - 2 = 2*j. Suppose 2*z = 3*o + 328, j*o - 802 = -5*z + 5*o. Let v = 2371/15 - z. Which is bigger: -1 or v?
v
Suppose 0 = -4*w - 2*w - 102. Suppose 6*l = 2*l - 64. Which is smaller: w or l?
w
Let z be ((-22)/(-11))/2 + 612. Is 1227/2 at most z?
False
Let o = -554 + 567. Let l be 5/4 - (-3 + 4). Which is greater: l or o?
o
Let y = -1980 + 1980. Are y and 0.675 equal?
False
Let m(q) = 154*q + 3. Let o be m(4). Is o greater than or equal to 620?
False
Let z = -399 - -409. Which is bigger: z or 2?
z
Let k = 0.2 + 10.8. Let z = k + -17. Let i = 55 - 56. Is i less than or equal to z?
False
Suppose 75 = 8*o - 3*o. Suppose -o*p + 379 - 64 = 0. Is 22 at most as big as p?
False
Let h = -28.35 + 28. Let u = h + -0.65. Let n = -9 - -55/6. Is n >= u?
True
Let g = -2.4 - -4.1. Suppose 0 = 3*j - 5*t + 12, -3 - 4 = -j - 2*t. Is g at least j?
True
Let d be ((-12)/(-48))/(2/(-8)). Is -3/8 at most d?
False
Let f = -13.07 - -0.07. Let l = f - -7. Let u(v) = -4*v + 76. Let i be u(19). Which is bigger: l or i?
i
Let i = 433871/9 - 48305. Let h = i - -69064/711. Which is greater: -1 or h?
h
Suppose -90*o = -53*o + 1702. Which is bigger: o or -53?
o
Suppose 36*h - 2920 = 56*h. Is h at least -146?
True
Suppose -3*r + 3*g + 44 = -g, 2*r + 5*g = 14. Let p = r + -9. Suppose -q + 6 = -2*k, q + 0 - p = -k. Which is greater: -1/7 or k?
-1/7
Suppose 15*t - 22*t + 112 = 0. Let g = -5 + 19. Is t < g?
False
Let w = -163 + 114. Is -50 <= w?
True
Let y = -40036/7 - -5696. Which is smaller: -23 or y?
y
Let i = 51 + -48. Suppose 0 = -22*f + 25*f - i. Which is smaller: -3/25 or f?
-3/25
Let v = -1/252 - 71/252. Let n(p) = p**3 - 10*p**2 + 8*p + 8. Let q(l) = l**2 + 11*l - 3. Let w be q(-12). Let r be n(w). Which is bigger: v or r?
v
Let u(d) = -d**3 - 9*d**2 - 7*d + 6. Let x(z) = z - 22. Let v be x(14). Let a be u(v). Are -17/6 and a equal?
False
Let s(h) = h**2 + 4*h + 9. Let l be s(-6). Suppose 4*a - 31 = 3*g, -4*g - 25 - l = -3*a. Let i(n) = 4*n**2 - 17*n + 1. Let f be i(1). Which is greater: g or f?
f
Let z = -1.48 - -107.48. Is z greater than or equal to 1?
True
Let k be 6/10 + (-6136)/(-65). Let y be 4 + k + -1 + -2. Let f be 12/y - 0/2. Which is smaller: 0 or f?
0
Suppose 0*q - 15 = 3*q, -n + 19 = -5*q. Let m(x) = -4*x - 30. Let d be m(n). Which is greater: -5 or d?
-5
Let t = 4 - 1. Let u be (-9)/8 - (-17)/136. Are t and u non-equal?
True
Let c be 5/15*-7*(-76)/7. Which is smaller: c or 2/9?
2/9
Let k be (-40)/(-8) - (-1 - (-43)/2). Which is smaller: -15 or k?
k
Let h be (-10 + 4)*((-21)/(-2))/3. Is h smaller than -18?
True
Let q = -836 + 841.1. Is q < 3/19?
False
Let k be 312/36*3/2. Let s = k + -11. Suppose 0 = c + 3*a - s + 4, 12 = 5*c + 4*a. Is c at least as big as 6?
False
Suppose -n - 4 = 3*o, 3*n - 1 - 15 = 5*o. Suppose 0 = 5*q - 4*l - 359, n*q - l = q + 71. Let t = q - 1499/20. Is t at least as big as -1?
True
Suppose a - 7*o - 8 = -5*o, -4*a - 2*o = -2. Is a > 10/9?
True
Let t = 9 - 16. Let i = -53 - -29. Let q be (8/i)/(1/21). Is q <= t?
True
Let c be 2/11 - 4/(1584/402). Is c at most 0?
True
Let u = 33 + -75. Let d = -42.1 - u. Let m = -6765/14 + 483. Are d and m equal?
False
Let g be (0 + 2)/((-8)/60). Let i be (10/g)/((-3)/(-9)). Is -2 smaller than i?
False
Let j(t) = -3*t**2 - 15*t + 6. Let y(g) = -g - 7. Let k be y(-3). Let h(b) = b**2 + b. Let a(n) = k*h(n) - j(n). Let f be a(10). Is 3 smaller than f?
True
Let h(s) = -7*s + 44. Let m be h(6). Let n be 