574. Which is greater: 27 or p?
27
Let d(o) = -o**2 - 3*o + 5. Let x be d(-4). Let y be (11/(-33))/(26/522). Let z = y - -7. Are x and z non-equal?
True
Suppose 0 = 4*x + 233 + 99. Let c(w) = 9*w**3 - 2*w**2 + w. Let m be c(-2). Is m at most x?
False
Let s = 17 + -9. Let h(x) = 1 + 1 + 3 - x. Let g be h(-4). Which is smaller: g or s?
s
Let d = -2699 + 2697. Let u = 8 + -11. Is d greater than u?
True
Suppose 3*d - 1 = 4*d. Let i(s) = 21*s**2 - 101*s - 24. Let g be i(5). Which is smaller: d or g?
g
Let y be ((0/(-3))/(-3))/(0 - 4). Which is greater: y or -2/287?
y
Suppose -3181 - 33 = 2*n. Let j be (1 - -1)*n/(-36). Let f = -179/2 + j. Is f at least as big as 1?
False
Let w be 20 - ((-16)/(-4) - 6). Is w bigger than 24?
False
Let z = 1.031 + -3.031. Which is greater: z or -2/93?
-2/93
Suppose 2*y = -11 + 117. Let d = 47 - y. Is -6 less than d?
False
Let t = -0.28 + -0.12. Let g = 67 - 66.53. Let j = t + g. Which is smaller: -1/2 or j?
-1/2
Let h = -1957 + 2067. Are 109 and h nonequal?
True
Suppose 0 = -6*p - 6 + 6. Suppose 0 = 2*h + 3*a - p*a + 5, 5*a + 25 = 5*h. Let t = -9 + 13. Is t at most as big as h?
False
Let t(z) = -z**2 + 37*z - 69. Let b be t(35). Is b != -1/107?
True
Let v be (-146)/(-15) - (4 + 0) - 2. Which is smaller: 3 or v?
3
Let d = 69/10 - 701/90. Let z(a) = -a**2 - 16*a + 10. Let x be z(-17). Let l(r) = 6*r + 42. Let g be l(x). Which is smaller: g or d?
d
Let f = 9975 + -428903/43. Which is bigger: 1 or f?
1
Let b = 24 - 6. Suppose b = -3*o - 3*f, -4*f + 1 = -3*o - 17. Let n be ((-3)/(o + 3))/(-1). Is n greater than -3?
True
Suppose 2*q + j + 1 = 21, 0 = 5*q - 2*j - 68. Let p(n) = -4*n**2 + 99*n - 59. Let k be p(24). Is k greater than q?
True
Suppose 3*f - f - 28 = 0. Let s = f + 1. Let a = s - 10. Are a and 4 equal?
False
Let l be (-11526)/22100 + 6/13. Which is bigger: -1 or l?
l
Let f be (-3 + 0 - -23) + -4. Suppose -6*r - 52 = -f. Let h be -3*2/(-18)*r. Is h at least -7/4?
False
Let b = 112 - 119. Which is bigger: -1/15 or b?
-1/15
Let c(u) = 3*u**2 + 2*u + 1. Let t be c(-2). Let l = 7913/1438 - 2/719. Let b = t - l. Is b smaller than 3?
False
Let t = -0.8 + 1. Let l be (-2)/(-3) - 8/13. Which is smaller: t or l?
l
Suppose -2*s + 16 = 4*h, 0 = h + 8*s - 4*s + 3. Suppose 3*x + h*j = -25, -4*j = -4*x - j + 15. Let i = 1 + x. Is -1/15 at most i?
True
Let u = 457.5 + -458. Is -23 at most u?
True
Let y be 6/5*(-120)/(-18). Suppose -y*i = -10*i. Suppose i = 2*c - 4 - 8. Is c less than 5?
False
Let v(o) = o**3 - 3*o**2 - 6*o - 19. Let g be v(5). Which is smaller: g or 116?
g
Let y = 22 + -8. Suppose 0 = -y*f + 11*f. Which is smaller: -1/5 or f?
-1/5
Let j be 1/(-1) + (-150)/25. Suppose -2*z - 24 + 0 = 0. Let x = z - j. Is -4 greater than x?
True
Suppose 29 = 9*l + 236. Is -23 at least as big as l?
True
Suppose 5 = 4*p - 3*h, 4*p = h + 1 + 6. Let d be -1 - 1 - (-7 - -5). Which is greater: p or d?
p
Suppose -4*x - 62 = -142. Are 31 and x nonequal?
True
Let j(v) = -2*v - 1. Let f be j(-2). Let d = -769 + 769. Which is bigger: d or f?
f
Suppose 29*m = 24*m + z - 35, z = 4*m + 27. Which is greater: m or -75/11?
-75/11
Let j be 483/60 + (-5)/1. Let m = 14/5 - j. Is m <= 1?
True
Let q = 11 - 0. Let y = -15 + q. Is y greater than 0.1?
False
Let t = 0.06 - -0.94. Suppose -z = -4*v - 2, 4*z = -2*v + 4*v + 50. Let d = 13 - z. Do t and d have different values?
True
Let y = 4.7 + 48.3. Which is smaller: 2/7 or y?
2/7
Let w(q) = -q**3 + 3*q**2 - 4. Let i be w(2). Which is bigger: i or -5?
i
Suppose 0 = 5*g + f + 8, -2*g + 3 + 10 = -5*f. Let d = g + 6. Suppose -d*x = -5*z + 85, 6 + 39 = -5*x - 3*z. Is -13 > x?
False
Let n = 2.24 + -1.24. Is n less than 73?
True
Let o = -172503437462/5209477 + 14470546/437. Let m = 2/1703 - o. Let c = -8/115 + m. Which is bigger: 0 or c?
0
Let t(m) = m**2 - 15*m + 27. Let s be t(13). Which is bigger: s or 12/5?
12/5
Suppose o = z - 5*z + 96, -96 = -4*z - 3*o. Suppose -6 + 36 = 2*p - 4*x, p - z = 5*x. Suppose 1 = 5*s - p. Which is bigger: 5 or s?
5
Let a = 401 + -401.0014. Is -0.1 <= a?
True
Let j = -4.98 + 7.98. Is j bigger than -123?
True
Let z be 8/(-2)*-12 - 0. Is z >= 246/5?
False
Let o = -62 + 42. Let x = o + 23. Let b be (-189)/(-9)*(-2)/x. Is -13 less than b?
False
Suppose 10 - 26 = 8*j. Which is bigger: j or 1?
1
Let q = -0.06 - 0.04. Let b = -389.04 + 389. Which is greater: q or b?
b
Let v = 12.53 + -11.53. Is 701 < v?
False
Suppose 0 = -5*i + 13 - 3. Suppose -p + 3*p = -c - 9, i*p = -4*c. Let a be 3/1*4/p. Which is bigger: a or -3/4?
-3/4
Let k(p) = -14*p + 14. Let g be k(-4). Suppose f + 4*f = 5*v - g, 0 = -f + 4*v - 14. Is f greater than or equal to -14?
True
Let c be ((-1)/22)/(7/(-139510)). Let q = c - 907. Is -2 at least as big as q?
False
Let s be (-1)/2*2 + 0. Let p be 1/(-2) + (-1)/s. Let q = -7/52 + -3/26. Which is bigger: p or q?
p
Suppose 4*l + 5*r = 15, -r + 6 = 3*l + 3. Is 2/51 at most as big as l?
False
Suppose -5*s + 11*s - 6 = 0. Which is smaller: s or 1/85?
1/85
Let o(w) = -2*w - 42. Let l be o(13). Let t = l + 37. Which is smaller: 2 or t?
t
Let x = 382.406 - 361.4. Let p = x - 0.006. Let y = 22 - p. Which is smaller: y or -11?
-11
Suppose -4*b = 14*h - 11*h + 1, b - 5*h = 17. Let j = 10/161 + 2255/2576. Is b less than or equal to j?
False
Let j = -97 + 36. Which is smaller: -6 or j?
j
Let t = 1677.029 + -1676. Let q = t - -0.071. Are q and -4/5 nonequal?
True
Let l(d) = 4*d + 3. Let a(z) = -4 + 2 - 1 - 3*z. Let o(c) = -3*a(c) - 2*l(c). Let k be o(-5). Which is greater: k or -1?
-1
Let a be (0 - (-38)/(-133))/((-2)/84). Which is smaller: 0.39 or a?
0.39
Suppose -v = -5*s + 3 - 12, v + 4*s + 9 = 0. Let i = -17 - -23. Let j be (i/(-4))/(369/(-6)). Does j = v?
False
Suppose 2*f - f - 58 = 2*s, 2*s = 2*f - 60. Let b = 131/10 + -1243/30. Let u = s - b. Is 2/7 > u?
False
Let f = 48182/5163 - -2/1721. Which is bigger: 9 or f?
f
Let y = -168 + 294. Suppose -4*k = y + 22. Is -1/3 less than k?
False
Let v = -2001353/286 - -87044/13. Let p = -302 - v. Which is smaller: -1 or p?
-1
Let k = 110.71 + -112. Let h = -34.6 + 34.31. Let s = k - h. Is 3/4 greater than or equal to s?
True
Let b = -797 + 766. Which is greater: b or 0.03?
0.03
Suppose -3*u - 2*t = -u - 16, u = t - 2. Let n be 0 - u/(-2 + -1). Let i be 4/8*12/n. Which is smaller: i or 0?
0
Let s be 2/(-4) + (-73)/(-2). Suppose -c = 4*v + 12, s = -4*c + 3*c + 2*v. Let b = -21883 - -21884. Which is bigger: c or b?
b
Suppose -n - 8 = -2*d, 2*d - 2*n = -6*n + 28. Let h be (d/(-4))/((-21)/(-28)). Let p be 37/(-30) - 4/(-10). Which is greater: h or p?
p
Let q = -59 - -58. Suppose -16 = -4*i, -21 = -h - 10*i + 5*i. Let y be h/5 - 24/(-5). Does y = q?
False
Let o(i) = 8*i - 260. Let w be o(31). Let b = -26 + 14. Is b less than or equal to w?
True
Let g(d) = d**3 - 3*d**2 + 5*d - 4. Let j be g(3). Suppose k + 44 = -k. Let q be 1/(((-2)/k)/1). Is q >= j?
True
Let z = -244 - -245. Is 17 less than or equal to z?
False
Let s(t) = t. Let c = 0 + -1. Let o be -1*(0 + (0 - c)). Let z be s(o). Is z greater than or equal to -11?
True
Let h(r) = 5*r**2 - r - 2. Let y be h(-1). Let k(i) = 2*i - 5. Let m be k(6). Let f = m - 3. Is f at least y?
True
Let u be ((-28)/104)/7 + (-33)/22. Let x = -15 + 14. Which is bigger: x or u?
x
Suppose s - 6 = 21. Let w = s - 15. Which is greater: 11 or w?
w
Let a = -1.091 + 0.091. Let n = -0.8 + 3.8. Is n != a?
True
Suppose 3*s = -0*s - 3. Suppose -19*o = -21*o + 24. Is s greater than or equal to o?
False
Let x = -2159.1 + 2159. Let t be (-1 - 2/(-3))*11. Is t bigger than x?
False
Suppose 3*q - 5*o = 11, -o = -2*q + 3*o + 6. Let w(k) be the first derivative of k**3/3 - 7*k**2/2 + 7*k + 1. Let p be w(q). Is p >= 8?
False
Let l = -1 + 0.91. Let f = 6.49 + l. Which is smaller: 0 or f?
0
Let o = 4 + -3.7. Let x = o + 2.2. Let y = 1.5 - x. Which is smaller: 5 or y?
y
Suppose 5*v - 6 = 2*v, v = -2*k + 14. Let l be (-24)/(-104)*k/(-9). Is -2 at least l?
False
Let t = 181 + -281. Are t and -197/2 equal?
False
Suppose -4*b + 5*r - 4 = -3, -5*r = -5*b. Let l = b - 0. Suppose -l = a + 1. Which is greater: -1/2 or a?
-1/2
Let n be (1071/99 + -11)/(6/9). Let p = -2 - -8. Let y be ((-4)/6)/((-4)/p). Is n less than or equal to y?
True
Suppose -9 = -5*b + 2*b. Suppose -2 = b*y - 38. Let f be (-15)/20 + 5/y. Are f and 4 equal?
False
Let f 