37. Is q less than s?
False
Let l = -3.9 + 0.7. Let i = l + 3.04. Let j = i - -0.1. Is j smaller than -2/3?
False
Let h(s) = -208*s + 3240. Let a be h(18). Which is smaller: a or -505?
-505
Let w(x) = 1 - 2 + 6*x**2 + 0. Let z = 2374 - 2373. Let u be w(z). Which is smaller: 4 or u?
4
Suppose -4*q = -0*q - 60. Let w(x) = 3*x**2 + 11*x + 2. Let a be w(-3). Is a <= q?
True
Let m(y) = 2*y + 2 + 120*y**2 - 200*y**2 + 123*y**2. Let p be m(1). Which is greater: p or 49?
49
Let s = 253 - 184. Let x = -60 + s. Are -6 and x equal?
False
Let q = -4207.1086 - -4207. Is q less than -0.1?
True
Let r(m) = m**2 - 14*m + 41. Let b be r(9). Let d(t) = 2*t**2 + 2*t + 10. Let g be d(b). Let y(o) = -35*o**3 + o**2 - 1. Let l be y(-1). Is g smaller than l?
True
Let h be (9228/218)/(0 - (-3)/(-18)). Let s = h + 254. Is s at least as big as 1?
False
Let x = 4646 + -4647. Is 3/2089 less than x?
False
Let h be (84/7)/(-3*1 + 2). Let j be ((-1992)/14)/(h/(-40) + 0). Let x = 471 + j. Is -2 less than x?
False
Let a = 59 - 131. Let s = a + 78.5. Let j = s - 11.5. Which is greater: -1/4 or j?
-1/4
Suppose -24*c + 22*c - 4*d - 592 = 0, -2*d + 316 = -c. Does -310 = c?
False
Suppose 0 = 3*g + 4*j + 6111, 3*g + 3*j + 3857 = -2248. Are g and -4057/2 non-equal?
True
Let w = 16.98 - 14.48. Is w > -0.3?
True
Let w be (-52)/(-130) - (-3684)/(-10). Let p = w + 368. Which is bigger: p or 2/445?
2/445
Suppose 0 = 3*x + 5*r - 216, x - r - 144 = -x. Suppose u + u = x. Let l = -33 + u. Is 1/7 <= l?
True
Let a = 15733527122/26393 - 596125. Let r = -23568922/237537 + a. Let y = 99 + r. Which is greater: -7 or y?
y
Let n(o) = -o**2 - 39*o - 107. Let c be n(-3). Is 8/507 != c?
True
Let n = 0.5946 + -0.6066. Which is smaller: 0.47 or n?
n
Let g = -874 - -78. Let n = 8509 + -15385/2. Let c = g + n. Which is bigger: 21 or c?
21
Let n be 748/102*((-1)/12)/(8/(-3)). Is n >= -1?
True
Let q be (-3 - -4)/((42/474)/7). Which is smaller: 84 or q?
q
Let s be 12/(-10)*(-100)/180*(-6)/(-16). Which is smaller: s or -685?
-685
Let k be 35207/68 + (-3 - (-26)/8). Let j = -373 + k. Is j >= 146?
False
Let v(n) be the second derivative of -n**5/20 + 5*n**4/12 + 23*n**3/6 + 7*n**2 - n + 39. Let r be v(8). Which is smaller: 14/3 or r?
14/3
Let d = 2044 + -2090. Which is bigger: d or -68?
d
Suppose 0 = -5*k - z - 13, 361 = k - z + 354. Let a = 13932/35 + -398. Which is smaller: a or k?
k
Let o = 28.94 + -31.94. Which is smaller: o or 733?
o
Let v be 2 - ((-6)/(-10))/((-7)/(-35)). Let h(c) = 29*c**2 - 4*c - 2. Let x be h(v). Which is smaller: x or -5?
-5
Let x(o) = -o**2 + 2*o + 96. Let t be x(-14). Let m be (t/96)/((-2)/(-321)). Do -214 and m have the same value?
True
Suppose 10*g = 7*g - 558. Let o = 134 + g. Is o >= -50?
False
Let t = 8405 - 8591. Is t less than or equal to -186?
True
Suppose -13*k - 4*r + 4 = 0, -r = 7*k - 9*k - 1. Which is greater: k or 9/121?
9/121
Let h = 154/477 - 20/63. Let d = h - 108/371. Which is smaller: 62 or d?
d
Let m be (-4)/6 + 8283*22/2475. Which is smaller: m or 74?
m
Let t = 180 + -27. Let u = -153 + t. Which is bigger: u or 7/9?
7/9
Let r(k) be the first derivative of -2*k**3/3 - 8*k**2 - k + 5. Let m be r(-8). Let l be (8/12)/m + 1/(-3). Is -36 equal to l?
False
Suppose -33*s = -42*s - 504. Let b be 6 - -12 - (1 - 3). Let o be ((-4)/(-15))/(s/b). Is 0 at least o?
True
Let z(i) = 2*i**2 - 5*i - 5. Let t be z(-4). Let a be (-4)/(-12) + (-7)/3 + 2. Suppose a = -22*m + 790 + 244. Is t greater than m?
False
Let z = -0.12 - -5.12. Let d = -206 + 118. Let x = 91 + d. Which is bigger: z or x?
z
Let z(q) = 25*q**2 - 115*q - 3. Let m be z(4). Let d be (-87)/34 - m/(-126). Are -4 and d unequal?
True
Let r = 423/1498 + 5/1498. Which is smaller: -1230 or r?
-1230
Let r(n) = n + 8. Let p be r(-9). Let g = -253.822 - -254. Let j = g - 0.268. Which is smaller: p or j?
p
Suppose -4*w = -30*w - 25*w + 772701. Is 15152 greater than or equal to w?
True
Suppose j = -5*u, 5 = 3*j + 3*u + 29. Let s be (61/3)/(j/12). Let g = 9511/390 + s. Is g > 1?
False
Let t be 4/(-14)*-1 + 368/(-161). Let x = 57 - t. Suppose -x - 41 = -5*l. Which is smaller: l or 22?
l
Let l = 43.0978 - -0.0022. Let s = 45.1 - l. Which is smaller: s or 11/8?
11/8
Let w be ((-7)/(-6) - 2)*-1. Let l(a) = -2*a**2 + 3*a + 1. Let v be l(-4). Let n = 44 + v. Is w greater than or equal to n?
False
Let r = -465163/387 - -10819/9. Let v(z) = z + 1. Let h be v(-3). Let q be (h - -4)*2/4. Which is greater: q or r?
q
Suppose -1927 = 8*q - 247. Let s = 210 + q. Which is bigger: s or 6?
6
Let t = 6156 - 5857. Which is bigger: 1502/5 or t?
1502/5
Suppose -189*k - 51*k - 35823 = 8097. Is k smaller than -193?
False
Let p(n) = n**3 - 39*n**2 + 3*n - 122. Let u = 13 + 26. Let j be p(u). Let d be 3/((24/(-45))/1). Which is greater: j or d?
j
Let x be (-392)/(-1 + (-17)/(-119)). Which is bigger: 457 or x?
x
Let v be ((-132)/(-10))/(63 + -47). Let t = 111/130 - v. Which is bigger: t or 1?
1
Let n = 18938 - 19250. Is 6 at most as big as n?
False
Let h(z) = -z**3 + 15*z**2 - 3*z + 43. Let f be h(15). Let x be ((-54)/135)/(f/15). Which is bigger: -5 or x?
x
Let f = -58.82 + 51.82. Let y = -2.54 - -10.5. Let d = y + -8. Do f and d have the same value?
False
Let k = 102 - 275. Let z = -215 - k. Suppose 29 + 14 = -i. Is z equal to i?
False
Let o = 874 - 874. Which is smaller: 40/809 or o?
o
Suppose -3739*u - 261 = -3710*u. Is u <= -413?
False
Let o = 26 - 10. Let f = -90 - -154. Let m = 62 - f. Is o at most as big as m?
False
Suppose 7 = 5*h + 3*q - 13, 9 = 4*h + q. Let p = -771/7 - -7079/63. Which is smaller: h or p?
h
Let r = -3071 + 3100. Which is smaller: r or 354?
r
Let c = -27051 + 27402.336. Let z = c + -352. Which is smaller: z or 1?
z
Let h(x) = x**3 + 15*x**2 + 43*x - 43. Let y be h(-12). Which is greater: y or -49?
-49
Let n be 25 + -22 - 1*(-1 + -3). Suppose -f - 3 = -w, w - f = 2*f + n. Let l = -103/6 - -17. Which is smaller: l or w?
l
Let h = 147429 - 2506254/17. Suppose 0 = 4*f - 4 - 0. Which is bigger: h or f?
h
Let f = 169575 + -1524467/9. Is f less than or equal to 191?
True
Let h = 23408 - 23409. Which is smaller: h or -4/515?
h
Let a = 7884.659 + -7885. Is -1 equal to a?
False
Let m = 7/11 + -60/77. Suppose 74*l = 75*l - 99. Let t = l - 98. Which is smaller: t or m?
m
Let f(k) = -84*k**3 + k**2 - 3*k + 2. Let d be f(1). Let l be ((-3)/(-12))/((-285)/d - 4). Let q = 17 + -16. Is l at least q?
False
Let g = -29 - -28. Let p be (183/(-9))/(2/(-12)). Is g < p?
True
Let m = -59 + 23. Let o be (-3)/(-8)*m/2619. Do o and -1 have the same value?
False
Let w be ((-2)/87)/(90/27 - 4). Suppose -4*k + 2 = -6. Suppose -5*m - k - 3 = 0. Which is greater: m or w?
w
Let i be 3/((-4)/6*(-138)/92). Let s be ((-9)/(-45))/(i*(-8)/(-60)). Which is smaller: 6 or s?
s
Suppose -146*u = -171*u - 1475. Which is smaller: u or -90?
-90
Let n(w) = -w**3 - 17*w**2 - 19*w - 44. Let q be n(-16). Suppose 2*s + 2*s + q*t = -12, s + 5*t = -19. Is 6/163 < s?
True
Suppose 3*i + i = -28. Let g = 0.59 - 0.52. Is i bigger than g?
False
Let q = -74 - -84. Let g = 3.17 + -0.17. Which is bigger: q or g?
q
Let j = -227 + 227.02. Let c = 0.22 - j. Is c at least as big as -3/4?
True
Let z = 428 + -524. Let i = z - -96. Let y = -0.26 - -0.3. Are y and i non-equal?
True
Let l = 74 + -135. Let s = l + 36.1. Does 0 = s?
False
Suppose -6*z + 3814 = -13367 - 13653. Which is smaller: 5140 or z?
z
Let s = -57 + 63. Suppose -3*t = -4*g + 3, -s*g + 2*g - 4*t - 4 = 0. Suppose -42 = 2*j - 2*d, -5*j - 2*d + 0*d - 126 = g. Are -49/2 and j non-equal?
True
Let t(m) = m**3 - 38*m**2 + 42*m - 154. Let h be t(37). Which is greater: -6 or h?
h
Let d = -30 - 70. Let l = 100.34 + d. Is l >= -0.4?
True
Let j = -154 + 409. Let k = j - 255. Which is smaller: 1/2 or k?
k
Let d be (83*1/(-3))/(140/(-12) - -12). Which is bigger: -503/6 or d?
d
Let i be (2 + (-9)/6)*(-13 + 11 - -4). Is 1/506 bigger than i?
False
Let p = 376/5 + -75. Let i(f) = f**3 - f**2 - 6. Let a be i(3). Suppose 3*h - a = 0, 2*u - 22 = -6*h + h. Which is smaller: u or p?
p
Suppose 121*x - 123*x - 4 = p, -3*p + 28 = -4*x. Do 219/64 and p have the same value?
False
Let y be 6*(-4 + 3*(-39)/(-27)). Suppose -y*s + 32 = 6*s. Suppose 0 = n + 4*z - 4, 2*n = -0*n + s*z + 44. Which is smaller: n or 0?
0
Let f(l) = l**3 + 15*l**2 + 14*l + 26. Le