(-27). Which is greater: -1 or b?
b
Let c = -32/17 + -225/34. Let d = 79/10 + c. Let f = -60 + 241/4. Which is smaller: d or f?
d
Let h be 8/(-66)*9*7/(-210). Let i = 2 + -3. Which is greater: h or i?
h
Let v(d) = d - 11. Suppose 5*s = t + 23, -2*s - 4*t = -9*t. Suppose -43 = -s*y - 8. Let b be v(y). Are -5 and b nonequal?
True
Let m be 6/(-10) + 315/1650*-2514. Suppose 4*p = -2*l + 940, -2*p + 5 = -3*p. Let c = m + l. Which is smaller: c or -1/2?
c
Let m(x) = -2*x - 22. Let q be m(-12). Let k(j) = j**2 + j + 1. Let n be k(-3). Let v be n/3 - q/(-3). Which is greater: v or -4?
v
Let m = 315 - 290. Which is smaller: m or -3/5?
-3/5
Let x = 1628 - 1589. Which is bigger: x or 40?
40
Let k = 2.45 - 1.05. Is k at least -19/2?
True
Let p be (-44)/33*18/(-8). Let u(d) = 2 + d + 2 - 5. Let c be u(p). Which is bigger: c or 4?
4
Suppose -j = -30*j - 464. Does j = -20?
False
Suppose -5*h + 5*a + 140 = 0, -127 = -5*h + h + a. Let n = h - 33. Do n and 0 have the same value?
True
Suppose -122 + 1571 = -d. Let a = d + 250679/173. Which is bigger: a or 0?
a
Let q(p) = -p**2 + 19*p + 64. Let g be q(-3). Do g and -24/13 have the same value?
False
Let v = 99158/28917 - 2/4131. Suppose -464*j + 6 = -461*j. Do v and j have different values?
True
Let y = -712342619/10 - -333373831607/4680. Let m = 14201/72 + y. Let u = -340 - m. Which is smaller: 1 or u?
u
Let c(x) = -x**3 + 6*x**2 + 7*x + 3. Suppose -4*p + 13 = -3*a, -5*p + 16 = -5*a + 6. Let z be c(p). Is 1 not equal to z?
True
Let l be 5856/126 - (-1)/(-7). Let y = l + -46. Is -3.9 bigger than y?
False
Let k = 129.7 - 129.76. Let s = -1.8 - -1.73. Let q = s - k. Is -1 greater than or equal to q?
False
Suppose 41*r = -20*r - 5612. Let x(o) = -12*o**3 + o + 2. Let l be x(2). Is l at most r?
True
Let o be (8/3)/((-2)/((-6)/(-19))). Which is bigger: o or -1?
o
Let n(x) = x**2 + 10*x - 14. Suppose -3*i = 18 + 15. Let l be n(i). Let d be (-4 - l)/((-1)/1). Which is smaller: 0 or d?
0
Let f = 77.70307 + 0.00693. Let b = f - 78. Is b bigger than -1?
True
Let c = 0.0997 - -0.2803. Is c bigger than -1/8?
True
Suppose -4*b + 124 = -76. Suppose -n - 69 = -4*o, -5*o = -5*n - b - 40. Is o greater than 17?
False
Let z(y) = y**2 - 6*y - 7. Let h be z(7). Suppose 0*a - a = h. Let q be 10/(-26)*50/125. Which is greater: a or q?
a
Let t = 1234 - 8640/7. Let c = -63.1 - -66. Let q = c + -3. Which is greater: t or q?
q
Let h = -88 + 188. Which is greater: 102 or h?
102
Let x = -1.02 + 0.02. Let f = x + 1.2. Are f and -0.2 nonequal?
True
Suppose 4*z - 179 = -111. Which is smaller: z or 6?
6
Let y = -45 - -59. Is 3/5 greater than or equal to y?
False
Suppose 4*c + 15 = -3*y, 5*c - 2*y = -0*y - 13. Let n be (-1 + 1)*(22 - 21) + -6. Let r = c - n. Which is greater: 1 or r?
r
Suppose 0 = -5*l - 3*h + 596, -2*h - 10 = 4*l - 486. Which is smaller: l or 115?
115
Suppose 0 = a - 5, -3*k + 2*a - 4 = 3. Let r be 51/265*k + 3/(-15). Which is smaller: r or -1?
-1
Let m = 6.51 - 0.41. Let w = 6 - m. Let a be ((-1)/6)/(13/52). Is w at most a?
False
Suppose -49*l + 25*l + 24 = 0. Which is greater: -6.9 or l?
l
Suppose -2*q = q - 171. Suppose -q + 225 = -4*m. Let l be m/(-20) + 4/10. Which is bigger: l or 2?
l
Let c = 120 - 120.074. Is c < -3?
False
Suppose 9*i + 54 = -45. Which is greater: i or -120/11?
-120/11
Let p = 24 + -21. Suppose -3 - 17 = -5*s, 0 = -p*u - s + 1. Is u greater than 1/10?
False
Let t be ((-50)/7)/(96/(-336)). Suppose 5*y = 4*y + 26. Which is greater: y or t?
y
Let f = 227 - 240. Which is smaller: 0.04 or f?
f
Let q = 21 - 127/6. Let r = -240 - -245. Which is smaller: r or q?
q
Let j = 9/98 + -2085/19502. Is -1 at least j?
False
Let p be -5 - ((-22)/11 + 409). Is p less than or equal to -414?
False
Let g(s) = -s**3 + 7*s**2 - 3*s - 11. Let a be g(5). Let n = 34 - a. Is 9 less than or equal to n?
True
Suppose 4*s - 4*a + 1 = s, 0 = -4*s - a - 14. Let n(x) = -x + 2. Let o be n(s). Is 19/4 smaller than o?
True
Let t = -20 + 22. Let f be 4/6 + -26*(-11)/66. Which is bigger: f or t?
f
Suppose 5*k - 35 = 2*y + 3*y, 2*y = 5*k - 20. Let t be (5 - (3 + -4)) + -1. Suppose 45 = -t*u - 2*s, s - 2 = k*u - u. Is u less than or equal to -7?
True
Let v(n) = -n**2 + 6*n + 3. Let z be v(6). Let x be z - (4 + (-22)/14). Suppose -4*r - 2 = -2*m, 3*r + 2*m - 11 = m. Is x at least as big as r?
False
Let l(h) be the second derivative of -57*h**5/20 + h**4/12 - h**3/2 - 3*h**2/2 + 17*h. Let k be l(-1). Does k = 58?
True
Let m = 40.9 + -338.9. Is 1 at most m?
False
Let t = -26 - -30. Let q = 5 - t. Are 1/23 and q equal?
False
Let v be (-2)/(-3)*(-45)/(-3). Suppose 0*z + 2*z - 20 = 0. Let f = z - v. Is f less than 1/2?
True
Suppose 3*o + 3 = 2*i, 2*o - 7*o - 21 = 2*i. Let b(j) = j**3 - 9*j**2 - 24*j + 20. Let h be b(11). Let l be 1 + i - (h - -2). Is 1 greater than or equal to l?
True
Let q = 205 - 440. Which is greater: -234 or q?
-234
Suppose -33*k + 25*k - 8 = 0. Which is bigger: k or -2/713?
-2/713
Let v(r) = 13*r**3 - 11 - 31*r**3 + 5*r**2 + 10*r**3 + 3*r + 7*r**3. Let z be v(5). Suppose 2*o = 5 + 7. Is o >= z?
True
Let v = 642 - 641.5. Let i = -1457/15 + 97. Is v != i?
True
Let k(x) = -x**3 + 2*x**2 + 7*x + 24. Let w be k(-3). Let p = 112 - 64. Is p at most as big as w?
True
Let r = -4720478 + 42961071217/9101. Let y = 3578/1025539 - 3/2141. Let u = r + y. Is 1 != u?
True
Let b = 211/868 - 5/28. Is 0.1 < b?
False
Suppose 426 = 6*w + 210. Is 31 bigger than w?
False
Let n = 0.26 + 0.04. Let h = -1.3 + n. Let w = -0.7 - -4.7. Which is smaller: h or w?
h
Suppose 4*v - 2*j + 8 = -0*j, 8 = -4*v + 4*j. Let t = v - -8. Let n = -20 + t. Is n bigger than -13?
False
Let c be 46322/855 + 2/9. Let v = c - 7886/145. Which is greater: -1 or v?
v
Let q = 1.6 - 1. Let j = 10.6 - q. Let k be -5 - (0 + 255/(-45)). Which is smaller: j or k?
k
Let c = -30 - -30. Suppose -4*j + 24 + 16 = c. Suppose -7*a = -j + 3. Which is smaller: 1/13 or a?
1/13
Let u(m) be the third derivative of m**4/4 - m**3/3 + 6*m**2. Let z be u(3). Suppose 0 = -6*x + 8*x - z. Is 8 less than or equal to x?
True
Let b = -2340 - -2341.638. Does b = -0.1?
False
Suppose 2*a + 0*n = -3*n, -4*a - 2*n = -8. Suppose a = 2*x - 2*h + h, -3*h = -x + 9. Is 2/11 at least x?
True
Let n = 437 + -434. Which is smaller: 54/31 or n?
54/31
Let x = -3 + 2. Let h(z) = -2*z**3 + z. Let v be h(x). Let l be (-3)/1 - ((-168)/16 + 6). Which is smaller: v or l?
v
Let u be ((-19)/16)/((-27)/(-36)). Let q = -5/4 - u. Let n = -0.4 + 4.4. Is q > n?
False
Suppose 0*m - 5*q + 210 = 5*m, 5*m + q - 194 = 0. Let n = m - 33. Is 4 bigger than n?
False
Let f(r) = -2*r**3 - 5*r**2 - 3*r - 2. Let u be f(-4). Suppose -5*p = -k + 3*k + 139, -2*p = 2*k + u. Let m be 6 - 2/1 - p. Which is bigger: m or 32?
32
Suppose 5*m = -17 - 58. Let w = m + 15. Let n = 2 + w. Is n at least 3?
False
Let c(q) = 5*q**3 - 3*q**2 - 62*q - 60. Let t be c(-1). Which is greater: t or -59/8?
t
Let a = 2611/19695 - -1/1313. Does 90 = a?
False
Let w be (-8)/(-52) - (-2310)/26. Let s = -89 + w. Which is smaller: 4/75 or s?
s
Suppose -3 = 5*h + w, -5*h - 3*w + 4*w = -3. Which is bigger: h or 1/33?
1/33
Let z be (12 - (-92)/(-8))/(2/(-2348)). Which is smaller: z or -1?
z
Let p = 8339/1035 - 96/115. Which is greater: 6 or p?
p
Let g(f) = -2*f + 61. Let p be g(31). Let c = 6 + -9. Are p and c unequal?
True
Let u = -57890/27 + 2144. Which is smaller: -1.8 or u?
-1.8
Let z = -1178 + 1178. Is -1/1244 at least z?
False
Let u be 1*2/(-6)*(-180)/4. Suppose -u*i = -6*i + 9. Which is smaller: i or -9/19?
i
Let b = 5899/388024 + 3/1352. Which is smaller: 1 or b?
b
Let k(n) = 2*n**2 - 25*n - 12. Let a be k(13). Which is greater: a or 40/27?
40/27
Let u(z) = -28*z - 4. Let g be u(-4). Let v = -108 + g. Is v less than 1/173?
True
Let a = 42 - 22. Let k be (-4)/2 + 6 - (a + -16). Are k and -6/7 nonequal?
True
Suppose 23*w + 4356 = 883. Which is smaller: -455/3 or w?
-455/3
Let w = -119 + 118. Is w at least 1/229?
False
Let o = 262/3 - 88. Let v(u) = -19*u**2 - u. Let s be v(-1). Let h be (-4)/s - 576/405. Which is smaller: o or h?
h
Let j be (-2)/423*((-252)/24 - -11). Is j > 0?
False
Let p(r) = r**3 + 22*r**2 - 3*r - 67. Let o be p(-22). Let y be (-2)/(-9) - (-994)/63. Is o at most as big as y?
True
Let o(i) = i**2 - i - 1. Let l be o(3). Suppose 8*v - l*v = 3. Let x be v/(3/4