 37. Let w be k(17). Suppose -w*z - 29 - 22 = 0. Is z < -17?
False
Let i(h) = -h**3 + 6*h**2 - 8*h + 7. Let w be i(3). Let r(n) = -2*n**3 + 19*n**2 + 8*n + 22. Let a be r(w). Which is smaller: a or 1/2?
1/2
Let v be 1/(-2)*(-8)/(-14). Let o(i) = 2*i**2 + 9*i - 21. Let b be o(-7). Suppose -20*j + b*j = -9*j. Are v and j equal?
False
Let q = -128 + 129. Suppose 4*j = 4*w - 60, -6*w + 2*w + 64 = -3*j. Let f be (5/45)/(w/(-6)). Is q != f?
True
Let b = -0.052 - 16.948. Let j = b + 19. Which is greater: 8 or j?
8
Let y(f) = f**2 + 20*f + 24. Let w be y(-24). Which is greater: w or 121?
121
Let d = -53887 + 935537/17. Let s = -1145 + d. Is 1 equal to s?
False
Suppose o - z = 30 + 31, -4*o = 3*z - 258. Suppose 0 = 6*c - 99 - o. Let a be 24/(-16) + c/(-6). Is -6 at least as big as a?
True
Let d = 81.3 + -81. Let o = -66 - -39. Let y be o/84 - (-12)/16. Are d and y unequal?
True
Let o be ((-57)/(-76))/(33*2/(-16)). Is -2.7 equal to o?
False
Let c = 835 - 835.4. Let a = 3 + -2. Let s = a + -0.8. Is c >= s?
False
Let o(m) = -27*m - 2. Let u(n) = -n - 1. Let c(w) = -o(w) + 4*u(w). Let r be c(1). Let y be 2 - (-9)/r*-4. Which is bigger: y or -0.8?
y
Let b be 16/(-72) + (-94)/(-18). Suppose 4*q - b*m - 20 = -4, 0 = -4*q + 4*m + 12. Which is bigger: q or -1/7?
-1/7
Let x = 0.3 - -0.7. Let t(d) = d**2 + 4*d + 10. Let s be t(-4). Let b = s - 12. Is b at least x?
False
Let c(r) = r**2 + 12*r + 5. Let a be c(-21). Are 195 and a equal?
False
Suppose 4*f + 5*f = -3*f. Let m be 8*100/(-392) + 2. Which is bigger: m or f?
f
Let t(z) = 21*z**2 - 7*z - 6. Let o be t(-7). Let v be (-300)/o - 3/(-12). Is -1 equal to v?
False
Let k = 87 + -91. Let w be (-2)/(-1)*(-3)/6. Let t be 3 + -6 + (w - -4). Is k < t?
True
Let l = -828 - -828. Which is bigger: l or -75?
l
Let q = 711911/187 + -3807. Is -4 bigger than q?
False
Let m(d) = d**3 - 14*d**2 - 13*d - 28. Let u be m(15). Suppose 6*o + 4 = u*o. Which is smaller: -6/13 or o?
o
Let l = -177 - -361/2. Is -1.1 bigger than l?
False
Let r = -0.1 - 0. Let z = 0.3 + r. Let a = 25 + -29. Is z greater than or equal to a?
True
Suppose 27 = -4*p - 3*b, -b - 21 = 2*p + 2*b. Let g = -0.03 + 0.17. Let r = g + -0.04. Which is greater: p or r?
r
Let w = 801 - 799. Which is smaller: w or -0.496?
-0.496
Let m be 11025/165 - ((-31)/(-11) - 3). Which is greater: m or 65?
m
Let r(o) = -3*o**3 - 13*o**2 - 10*o + 21. Let g(n) = n**3 + n**2 + n. Let t(d) = 2*g(d) + r(d). Let x be t(-10). Is x >= 2/141?
True
Let i = 7.9 - 4.9. Let w = 20 - i. Is 1/2 >= w?
False
Let f = 12 - 8. Suppose -u - f*u - 50 = 0. Let x = -11 - u. Which is greater: 2/17 or x?
2/17
Suppose 197*k - 40635 = 232*k. Are k and -1162 unequal?
True
Let a = 11/70 - -7/10. Let d = 490 + -490. Which is greater: a or d?
a
Let o = -1.5 - 0.5. Let y = -0.6 - -16.6. Let v = -16 + y. Do v and o have the same value?
False
Let a(g) be the second derivative of -g**3/6 - g**2 - 4*g. Let c be a(-1). Which is bigger: c or 9/2?
9/2
Let z(w) = -w**3 - 12*w**2 + 14*w + 18. Let x be z(-13). Let u(m) = -m**3 + 5*m**2 + 5. Let v be u(x). Is 3 at least as big as v?
False
Let v be (-15144)/1890 + (5 - -3). Is -1 smaller than v?
True
Let u be (-1)/2 - (-6)/(-4). Let p = u - 0. Let n = -658 + 2629/4. Are p and n non-equal?
True
Let s(l) = -l**2 + 4*l + 5. Suppose 0 = -k + 2*k - 10. Suppose -3*b - k = -5*b. Let q be s(b). Which is bigger: q or -2/7?
q
Let w = 26 + -18. Let u = -16 + 19. Let f be -6 - -2 - (u - 7). Which is greater: w or f?
w
Suppose 0 = -5*o + 15, -19*o + 2 = -m - 18*o. Is 4/147 > m?
False
Let p = 323 + -311. Do 9 and p have the same value?
False
Let y(h) = -h**3 + 13*h**2 - 17*h - 81. Let u be y(9). Is -3 bigger than u?
False
Let f = 0.91 + 51.09. Let b = 55 - f. Which is bigger: 0.13 or b?
b
Let g = -5.9 + -9.1. Is -1 at least g?
True
Let l = -49 - -37. Let m be 12/(-15) - l/(-10). Let p = 0.3 + -0.4. Which is smaller: p or m?
m
Let s = 43 + -30. Let a = 0.119 - -0.881. Which is greater: s or a?
s
Let t(o) = 257*o - 4. Let a be 28/6 - (-9)/27. Let y be t(a). Let n = y + -14109/11. Is -1 greater than n?
True
Let q = -6777216 - -1423206751/210. Let u = -41 - q. Does 1 = u?
False
Suppose j + 3*g + 0 + 69 = 0, 2*j = 3*g - 138. Is j != -62?
True
Let s be ((-8)/5)/((-4)/10). Let t = s + 1. Suppose -q - 1 = -2*p, 5*p + 5*q = p - t. Which is bigger: -5/7 or p?
p
Let d = 10480/474281 - -2/5329. Let c be -4*(-1)/(3 - -1). Which is bigger: c or d?
c
Let b(i) = -i + 25. Let y be b(13). Suppose y = v + 2*v. Suppose a = v*a + c, -2*a + c = 0. Are a and 2/3 nonequal?
True
Suppose 0 = -4*b - 16, 7 = s - 2*b + 1. Let a(k) = k - 4. Let h = -6 + 10. Let l be a(h). Which is smaller: l or s?
s
Let g = -0.92 - -1. Let z = g - 2.08. Which is smaller: 4 or z?
z
Let k(n) = 0*n - 2*n + 8 + 3*n - 7. Let w be k(-6). Let q = w - -4. Does q = 3/11?
False
Let h be 6*(-4)/(-6) - 54/19. Let f = -5 + 5. Is f equal to h?
False
Let w = -12.64 - -13.2. Let g = w + -0.6. Let c = 0.9 - -0.1. Which is smaller: g or c?
g
Let c(v) = v**2 - 4*v. Let d be c(5). Suppose -19 = -5*y - 2*q, -d*q = 3*y + y - 22. Let p = y + -2. Is p less than 2?
True
Let j be (-104)/(-18) + 6/27. Which is smaller: j or -6?
-6
Let z be 10 + (-9 - (-889)/(-931)). Is 0 equal to z?
False
Let q be -3 + -3*35*1/(-29). Let h = 104/261 - q. Which is bigger: -4/9 or h?
h
Let d = 7937/62517 + 2/1603. Is d at least 0?
True
Let z = -43 - -46. Do 4 and z have the same value?
False
Let m(b) = -b**2 + 25*b - 48. Let s be m(23). Let n be (-32)/(-24) - 2*(-1)/s. Is n bigger than -2/19?
True
Suppose -d + 5 = -0*d. Suppose -d*o - 4 = 1. Let a(q) = 3*q**3 + 2*q**2 + 2*q + 1. Let c be a(o). Which is smaller: c or -3?
-3
Let f be ((-2)/5)/((-36)/(-30)). Let z = -22.11 - -22. Let n = -1.11 - z. Which is smaller: f or n?
n
Let l = 0.06 - -16.94. Let g = 12 - -5. Let q = l - g. Which is bigger: -6 or q?
q
Let s = 3 + 0. Let i be (185/5)/(s/36). Let x = -3547/8 + i. Is 2 less than x?
False
Let w = -980.43 + -4.57. Which is bigger: w or -1/3?
-1/3
Suppose 4*s + 804 = 248. Is s less than or equal to -2?
True
Let t(f) = f**3 + 9*f**2 + 9*f + 10. Let p be t(-8). Suppose 2*b - 5*x = -0*b - 59, -p*b - 4*x = 86. Is b > -37?
False
Let d = 0 - 2. Suppose 3*n - 2*x + 287 = 0, -5*x + 233 = -4*n - 138. Let p = n - -96. Which is bigger: d or p?
d
Let b(d) = -d**3 + 24*d**2 + 28*d - 80. Let s be b(25). Are s and -6 equal?
False
Let q = -1.5 + 2.5. Let a = 157/66 - 28/11. Which is bigger: a or q?
q
Let i = -30 + 20. Let w be (0 + 3)*(i - -11). Which is smaller: 11/6 or w?
11/6
Let x be -15*5/(-100)*-6 + 5. Is x >= 537?
False
Suppose -5*h - 27 = 2*v - 8*h, -44 = 3*v - h. Which is bigger: v or 1.6?
1.6
Let z(d) = -5*d**2 - 49*d + 14. Let m be z(-10). Which is greater: -3 or m?
m
Let k(q) = q**2 + 3*q + 4. Let n be k(-1). Let p = 55 - 55.1. Which is greater: n or p?
n
Let n(l) be the second derivative of l**3/6 - 5*l**2/2 + 5*l. Let h be n(7). Let d = h + 3. Is 6 <= d?
False
Let t = -2371 + 2379. Let w be 2/(-2) + (2 - 2). Do t and w have different values?
True
Let q be (-7)/(-7)*(-50 + 1). Does q = -52?
False
Let n = 2.95 + -3. Let l = -4667 + 4667.2. Is l less than n?
False
Let m(u) = -u**3 + 3*u**2 - 1. Suppose 3*z - 20 = 31. Suppose 0 = -4*p + z - 1. Let l be m(p). Does -18 = l?
False
Let c(b) = -12*b**3 - b**2 + 5*b + 4. Let x be c(3). Do -315 and x have different values?
True
Let b be ((-8)/(-58))/((-14)/49). Is b smaller than 1?
True
Let g = -45 - -57. Suppose -g = -2*h + 4. Let n = -4 - -11. Which is greater: n or h?
h
Let l = 0 - 0. Let n = -55 - -55. Is n != l?
False
Let a = -85.8 - -6.8. Which is smaller: a or 1?
a
Let s(c) = -c**3 + 24*c**2 + 53*c + 58. Let l be s(26). Which is smaller: 427/5 or l?
l
Let g be 3/2*(-10)/1060. Which is greater: 0 or g?
0
Suppose -2*z + z - 1 = 0. Let v = 1/44 - 17/22. Is z less than v?
True
Let f = 364 - 332. Is f > -14?
True
Let x = 114 + -106. Suppose 0 = 3*y + 5*a + x, -2*y - 5*a = 3*y + 10. Which is greater: -5/8 or y?
-5/8
Let y = 0.936 + 0.064. Which is smaller: y or 30?
y
Suppose 15*c = -11*c + 130. Let f = -5.8 + 6. Which is smaller: c or f?
f
Let o(f) = -24*f + 199. Let q be o(10). Is q >= -36?
False
Suppose -4*p = -5*n, -18*p + 13*p = -5*n. Is p not equal to -1.7?
True
Suppose v - 341 - 131 = 0. Let u be v/(-18) + 28/126. Let r be -1 + (u/4)/