 + 25*u**2 - 28*u - 52. Suppose 0 = -19*q + 7*q - 312. Let z be t(q). Is s at least z?
True
Suppose 0 = -2*o + 4*h - 24, -2*o + 5*o - 5*h + 41 = 0. Let p = -40 + o. Let m be ((-42)/(-15))/(56/(-140)) + -56. Does m = p?
False
Let z be (18/36)/((-2)/48). Let b(q) = q**2 + 17*q - 4. Let r be b(z). Which is bigger: -2 or r?
-2
Let k = -22 - 173. Let d = 220 + k. Which is greater: -1 or d?
d
Let m(a) = -a**3 + 6*a**2 + 4*a - 5. Let l be m(6). Let d(u) = 6*u - 39. Let f be d(l). Suppose -12*o = -7*o + f. Is o at most -15?
True
Suppose -23*j + 12*j + 297 = 0. Let c be -7 + 14 - 187/j. Which is greater: -7 or c?
c
Suppose 0 = p + 4*l - 590, -3*p - 3*l + 2048 = 260. Is p != 597?
True
Suppose 4*j - 76 = 3*j. Suppose 0 = 5*s + 6 - j. Suppose 5*c + s = -11. Is c bigger than -9?
True
Let n = 10.6 + -4.7. Let p = -2.1 - n. Which is smaller: p or 5?
p
Let a = -5.826 - -5.916. Let m = -9.8 - -9. Let l = 0.8 + m. Which is bigger: l or a?
a
Let z be ((-4)/4835)/(6/(-36) - 60/(-200)). Which is smaller: z or -1?
-1
Let d(q) = -q**3 + 21*q**2 + 8*q - 79. Let u be d(21). Let r = -85 + u. Is r at least as big as 2?
True
Let o(d) = -d**2 + 101*d + 704. Let x be o(108). Is -46 <= x?
False
Let v = -27 + 29. Suppose 34 = -v*u - 4*b, 6*b = 2*u + 4*b + 58. Let t = 36 - u. Is t at most 62?
True
Let w(v) = -2*v**2 + 10*v + 205. Let o be w(13). Which is greater: 9 or o?
9
Suppose -j = 2*p - 409, -2*p + 352 = 3*j - 47. Suppose -57 = -4*f + p. Is 66 < f?
False
Suppose -4*u + 191 = -2*a - 3*a, a + 3*u + 23 = 0. Let x(c) = -1017*c - 42756. Let m be x(-42). Is a equal to m?
False
Let u = 15.96665 + -0.06665. Is -0.27 bigger than u?
False
Let h be 54/(-50) - (-1)/((-8)/(-24)). Let i = -2756/75 - h. Which is bigger: -39 or i?
i
Suppose 8*j + 885 = 69. Let y = 98 + j. Let q be (0/2)/(y + 2) + 2. Are q and -9 nonequal?
True
Suppose -6*b + 670 + 2036 = 0. Let o = b - 447. Let f(t) = -4*t - 1. Let x be f(-1). Which is smaller: x or o?
x
Let o be 38049/(-257040) + -2 + 20/9. Let f = o + -15/272. Which is smaller: 1 or f?
f
Let s = -317 + 317.2375. Let d = 0.0375 - s. Let y = -2 + 6. Which is greater: d or y?
y
Suppose -q - 15 = -6*m + 5*m, 51 = -3*q + 5*m. Let s be 4/q - (-13)/3 - -179. Are 185 and s non-equal?
True
Let z = 33 + -21. Suppose 4*s + 280 = z*s. Let u = s - 33. Is 9/13 bigger than u?
False
Let l be 2/3*4*(-945)/330. Which is smaller: l or -9?
-9
Let v be 28/21*(-120)/(-16). Suppose o - 6*z = -3*z - 5, 5*z = v. Which is smaller: 2/951 or o?
2/951
Let h = -0.03 + -0.77. Let v be (-6)/4 + 2 + 360/(-144). Let a be v - (-4 - (-65)/35). Which is greater: h or a?
a
Let y = -176 - -183.3. Let x = 12.49 + -19.69. Let c = y + x. Which is smaller: -28 or c?
-28
Let o(a) = -68*a**3 + 26*a**2 - 27*a + 1. Let n be o(1). Let r = 82 + -150. Is r at least n?
True
Suppose 0 = -h + 4*h - 5*w - 1055, 3*w - 1815 = -5*h. Let o be (4/(-210))/(h/(-45)). Is 1 less than o?
False
Let u be 21/(-9) - (-4)/(-6). Let z be 1*(-1 + 3) - u. Suppose -4*k = -z*k + 48. Which is smaller: 47 or k?
47
Let p = 5994585397/736 + -316192515/32. Let g = 1736794 + p. Let b = g - 595. Does b = 1?
False
Suppose 0 = -16*f + 12*f + 304. Which is bigger: 70 or f?
f
Let h(p) = 40*p**2 - 390*p - 3. Let s be h(16). Is 3996 less than s?
True
Let c = 17543/9 + -1949. Which is smaller: 0.229 or c?
c
Let a(g) = g**3 + 18*g**2 + 10*g + 180. Let i be a(-18). Which is smaller: 239 or i?
i
Let g be (-2 - (-10)/4) + 3619/(-14). Let w = -255 - g. Is w at most as big as 74/17?
True
Let m = 2.76738 - -0.23262. Is -62/7 at most as big as m?
True
Let b be 2/1 - (0 - -2)/2. Suppose -z + 5*u + b - 12 = 0, z - 13 = -u. Suppose p - x - 24 = 0, -27 = -p + 5*x + z. Is p bigger than 22?
False
Let q be 144/(-14)*(19 + -26). Suppose 0*v + 2*v = 4*k + q, -132 = -4*v + 4*k. Is v at least as big as 30?
True
Let i(z) = 14*z - 92. Let h be i(7). Let s be -3 + h/(-8) + 9/(-12). Is 3/4 at most s?
False
Suppose 2*b - 335 = 7*b - 5*i, 3*i = -3*b - 231. Which is bigger: -75 or b?
b
Suppose 0 = 21*o - 0 - 42. Suppose 0 = -2*s - o*r + 38, -52 = -2*s - 5*r - 14. Is s equal to 20?
False
Suppose -21*s + 45 = 105 - 39. Let o = 165.58 + -167. Is s at least as big as o?
True
Suppose 22 = 5*p - 88. Let c be 6/4 - (-135)/6. Let y = c - 3. Is p at least as big as y?
True
Let p(t) be the third derivative of -37*t**4/24 - 34*t**3 - 2*t**2 - 68*t. Let n be p(-16). Is n smaller than -1?
False
Let y = 1.935 + -0.605. Let u = y - 1.43. Which is greater: 0.9 or u?
0.9
Let r be -1*3 - (6 - 9). Let j = -3.08 + 3.1. Let h = -0.12 + j. Which is greater: r or h?
r
Let v be (-3)/6 - ((-495)/6 - 4). Let h = v - 80. Let q be 1*-2 + (-4)/(-2). Which is greater: q or h?
h
Let v be (-90)/15 - (-46 + 1). Suppose -4*x - v = 1. Which is smaller: -69/7 or x?
x
Let q = -4.337 + 3.337. Suppose 6*n - 252 - 120 = 0. Is q smaller than n?
True
Suppose -3*s = -2*h + 156, -s + 2*h - 39 = 13. Let d be (-3)/(234/4)*(s - -61). Is -1 bigger than d?
False
Let t = 0.92 - 0.12. Let m = t + -0.1. Are m and 9 nonequal?
True
Let o = -63 - 6. Let j be (6/18)/(6/90). Suppose 3*y - n - j = 0, -y - n + 3*n = -10. Which is bigger: o or y?
y
Let u be (-4)/(-10) - (-8992)/20. Suppose 5*b = 11*b + u. Let k be (-40)/b*9/(-6). Is k < 0?
True
Let q be (-288)/(-480) + (-13481)/35. Is q less than or equal to -384?
True
Let o = 804 - 333. Let l = -396 + o. Is l greater than 78?
False
Let f be 551 + -567 - (-68)/11. Are -2/5 and f unequal?
True
Let j = 52312/7 + -7521. Is 3/2 at least as big as j?
True
Let x = 0.0027 - 1.0027. Let p = 26 - 37. Let y = -16 - p. Which is greater: x or y?
x
Suppose -3*y - 5 = -4*c - 2*y, y + 3 = 3*c. Suppose c*o - 19 = 21*o. Which is smaller: 3/73 or o?
o
Let i be 1/(-2) + (-99)/(-6). Suppose -g = -2*y + 4, y - 4*g = -2*y + i. Let h be (-940)/(-4200) - 6/30. Which is bigger: h or y?
h
Let r = 11/357 + -22867/695793. Which is bigger: r or -1?
r
Suppose 98*s + 22659 = 59*s. Which is greater: s or -579?
-579
Let n = 24 - 24. Let k be 675/(-216) - -3*(n + 1). Does 0 = k?
False
Let c be (-20)/5 - (-9 - (7 - 11)). Is -1/112 at most c?
True
Let o = 43.9 + 138.1. Let t = o + -182. Is t at most as big as 24?
True
Let d = 12912 - 167854/13. Is d less than -8?
False
Suppose 0*q - 8 = 4*q, -2*f + 50 = -5*q. Suppose 3*w + 4*d = -0*d + 28, 5*d = f. Let y be w/18 + (-24)/(-135). Which is smaller: -1.6 or y?
-1.6
Let c = -2558.5 - -2564.5. Is c less than or equal to -2.233?
False
Let q = 7287 + -7291. Which is smaller: q or -50/17?
q
Let j be ((-2)/(-20))/((-5)/(-350)*16). Let w = j - -11/48. Which is smaller: w or 2.57?
w
Let y be 1751537/630 + 4/(-18). Let j = y - 2780. Do 0 and j have the same value?
False
Let k(s) = s**3 - 5*s**2 - 2*s - 17. Let t be k(6). Let o be t - (6 + -6 + 4). Is o at least as big as 17/6?
True
Let x(b) = -2*b**2 - 44*b - 138. Let p be x(-46). Is p > -2345?
False
Let r = -1/864 - -1163/9504. Let s(g) = 2*g + 4. Let j be s(4). Let p(z) = -z**2 + 12*z. Let m be p(j). Is r less than m?
False
Let s be (0 - (-1 - 1)) + -4. Suppose -5*d - 21*a + 24*a = -111, -2*d = -3*a - 39. Let n be 13/(26/d) + s. Is 8 < n?
True
Let j = 20738 + -13698. Let a = 7086.91 - j. Let g = 47 - a. Which is bigger: g or 2?
2
Let q = 0.024 - 12.024. Suppose 59 - 324 = -53*h. Is q not equal to h?
True
Let t be (-10)/(-2)*(-141)/(-5). Let v(z) = 8*z - 201. Let x be v(43). Which is bigger: x or t?
x
Let i(o) = o**3 - 11*o**2 + 12*o - 15. Let z be i(10). Suppose 0 = f + 4*f - 3*k + 27, -2*k - 32 = z*f. Which is bigger: -48/7 or f?
f
Let x = 69.8845 + 0.1155. Let b = -208 - -146. Let l = b + x. Which is smaller: l or -0.4?
-0.4
Let t(x) = -x**3 + 3*x**2 + 3*x - 2. Let s be t(4). Suppose -32 = 8*h + 5*h - 32. Which is greater: s or h?
h
Suppose -4748*i + 4751*i = 6. Is i less than 128/53?
True
Let m(w) be the third derivative of 5*w**4/24 + w**3/2 - 28*w**2. Let h(o) = 6*o + 3. Let x(i) = 4*h(i) - 5*m(i). Let l be x(19). Is l >= -22?
True
Let x = -71 + 61. Let f(i) = i**2 + 10*i + 9. Let v be f(x). Suppose -v*k - 13 = -40. Which is smaller: -1 or k?
-1
Let q = -0.36 - -7.36. Let r = q - 2. Which is greater: 2/21 or r?
r
Suppose -351 + 348 = -3*d. Suppose 55 - 60 = -5*x. Is d < x?
False
Suppose -170*w - 42 = -212*w. Which is smaller: w or -1/5256?
-1/5256
Let i = 767 - 768. Does 12/79 = i?
False
Suppose 5*p = 40, -3