e 2*p = n*y - 22, 5*p - 2*y + 10 + 3 = 0. Which is greater: p or 1/18?
1/18
Let j(c) = -c**2 + 8*c - 13. Let x be j(6). Let f = 56109 + -730043/13. Let o = 48 + f. Is x less than or equal to o?
True
Suppose -13*b = -31*b - 18. Is 0.11 at least b?
True
Let d be ((-2)/(-9))/(10/(-15)). Let l be ((-54)/(-24))/((-10)/8) + 2. Which is bigger: d or l?
l
Let o = 75 + -187. Which is smaller: o or -114?
-114
Let f(x) = -7*x + 18. Let v(k) = -15*k + 37. Let t(a) = -5*f(a) + 2*v(a). Let q be t(5). Let r be 39/(-18) - q/(-6). Is -2 > r?
False
Let z(m) = -m**2 - 11*m - 11. Let b = -5 + 5. Suppose b = -5*p - 43 - 7. Let r be z(p). Which is bigger: r or -2/21?
-2/21
Let y = 5/4 + -3/4. Let p = 32 + -32.27. Let v = 2.73 - p. Is v <= y?
False
Let j = -183 + 11897/65. Suppose 3*v + 0*v = -3. Does j = v?
False
Let i(l) = -5*l**3 + l**2 - l - 2. Suppose -r - 9 = -2*o, 0*r - 4*o + 13 = 3*r. Let v be i(r). Which is smaller: -0.1 or v?
-0.1
Let g = -3 - 0. Let t be 1 + (g - -4) - -2. Suppose t = -w + 3*w. Which is greater: 1 or w?
w
Let c = -1.5 + 2.7. Let s = 1.4 - c. Is -7 bigger than s?
False
Let k be 46/69*21/2 - 6. Is k smaller than 0.3?
False
Suppose u + 23 - 1 = -4*f, -5*u - 3*f = 76. Let h(k) = -2*k**2 - 16*k + 54. Let d be h(-11). Is d bigger than u?
True
Suppose -9 + 5 = -4*n. Let d be 0 - (-3 - 66/(-21)). Let f = d + -4/21. Is n bigger than f?
True
Let w = 42 - 50. Let k be -2*(-1 + 4/w + 3). Which is greater: k or -20/7?
-20/7
Suppose -x + 16 = 13. Which is smaller: x or 30?
x
Let g(l) = 9*l**2 + l - 2. Let v be g(-2). Let x be 10/8 - 24/v. Let c = -23.01 + 23. Is c greater than x?
False
Let w = 708 - 707.2. Is w greater than 38?
False
Suppose -4*r = -3*v + 8, -3*r - 8 = 5*v - 2. Suppose -b + 6 = 5*i, v = -3*b - 0*i - i - 38. Which is smaller: 0.1 or b?
b
Suppose 2*k + 2646 = -5*n + k, 2104 = -4*n - 4*k. Are n and -529 equal?
False
Let i be -8*(0 + -29 + -7). Which is smaller: i or 290?
i
Suppose 0 = -0*q + 2*q - 2. Let t(r) = 4*r**3 - 2*r + 1. Let v be t(q). Suppose -5*p - 5*c + 20 = 0, 5*p - 28*c + 23*c = 0. Which is greater: v or p?
v
Let y(w) = -w. Let l be y(0). Suppose l*s = 5*s - 25. Suppose -s*m + 20 = -m. Is 6 smaller than m?
False
Let j = -2 + 4.8. Let r = -2.8 + j. Let o = -1/83 - 157/747. Is r less than o?
False
Let k(s) = -5*s - 87. Let b be k(-16). Is 0 less than b?
False
Let a be (3 + 7 - 0) + (-2)/1. Suppose a*g = 3*g - 4*g. Does -2/79 = g?
False
Let m = 1.2 + -1.1. Let k be 2*(-3)/(-36)*-2. Which is smaller: k or m?
k
Let o = 99.62 - 73.9. Let m = o - 26. Let t = -0.31 - m. Which is bigger: -0.1 or t?
t
Let a = -555.229 + 555. Which is smaller: 1/4 or a?
a
Suppose -2*a + 5*a = 15. Suppose -5*o - 3270 + 3270 = 0. Suppose o = -q + a. Which is smaller: q or 0?
0
Let z be 32/(-80) - (-607)/1555. Let x = z + -469/15861. Which is smaller: 1 or x?
x
Let i = 536/7 - 76. Is i equal to -3/53?
False
Let a be 4 - (-3 - -11) - (565 + -2). Is -566 at most a?
False
Let m be (-10 - 1)/(-147 + 44)*-1. Is 0 != m?
True
Let y = 43 - 29. Is 2 at least as big as y?
False
Let h = -7.42 - -7.5. Let p = 2 - 0. Is p not equal to h?
True
Let s = -10.1 - -9.96. Let u = 0.04 + s. Is u greater than or equal to -8.7?
True
Suppose 0 = -5*i - 2*f + 66, i - 18 = 3*f - f. Let n = -10 - -16. Let s be (-18)/i*n/(-18). Which is smaller: -2/3 or s?
-2/3
Let y be ((-1738)/(-55))/(8/(-10)). Suppose -n + 60 = n + 4*l, 3*n = 4*l + 130. Let m = y + n. Is m at least as big as -3?
True
Suppose 2*k + 9 - 1 = 4*q, -11 = -5*q + 3*k. Let x(l) = -l**2 + 1. Let v be x(q). Is 2 smaller than v?
False
Let u be 16/(-10)*30/(-12). Suppose 2*p + 0*p - u = 0. Let y be (2*-2)/(-11 - -10). Which is smaller: y or p?
p
Let m be 1320/(-525) + 10/(-35). Suppose -10 = 3*x - 1. Which is smaller: m or x?
x
Suppose 5*c + 118 = 78. Let r be (-76)/361*-1*(-2)/c. Which is smaller: -1 or r?
-1
Let i = -32 + 30.7. Let p = -6 - -4. Let z = p - i. Do z and 1 have the same value?
False
Suppose 4*s - 17 = 103. Suppose -2*y + 2*t - 70 = 0, 2*t + 0*t = y + s. Which is bigger: -41 or y?
y
Suppose -2*h - 3*r = 25, -5*r + 3 = -2*h + 2. Let o(f) = -f - 6. Let n be o(h). Let l be (5/(-10))/(1/n). Is 2/41 at least as big as l?
True
Let i = 12 + 2. Let l be (1/18)/(i/(-6) + 1). Which is smaller: l or 1?
l
Let u(h) = h**3 - 7*h**2 + h - 2. Let n be u(7). Suppose -3*z + 4*g = 4, -g - 4 = -n*z - 5*g. Are -0.06 and z unequal?
True
Let z = 0.1 + -12.1. Let d = z + 0. Let m = 15.4 - 15.5. Is d less than or equal to m?
True
Suppose 2 = 3*o + 23. Let x = -12 + 24. Let p be -1 - 0 - (-6)/(x/(-14)). Which is bigger: o or p?
o
Let f be 48/(-3348)*(45/(-2))/5. Do f and -3/17 have the same value?
False
Suppose 5*w = 3 + 17. Suppose 0*m + 30 = -3*m. Let q = w + m. Is q greater than -6?
False
Let z = 0.303 - 77.303. Which is greater: z or -1/5?
-1/5
Let b be 3/4 - 31/4. Let w be 276/10 - 2/(-5). Let z be (-148)/w + (-4)/(-14). Is z <= b?
False
Let d = -7 - 2. Let j = 2 - d. Which is smaller: 1 or j?
1
Let f(k) = 4*k - 12. Let a(n) = n - 1. Let r(v) = 15*a(v) - 3*f(v). Let p be r(-9). Let h be (-3)/(-6)*p + 8. Does h = 3?
False
Let k(t) = -2*t**2 - t - 2. Let d be k(4). Let c = d + 35. Which is smaller: -7/4 or c?
c
Let q = -8786/825 + 117/11. Suppose 2*h = 4*h + 2. Is q bigger than h?
True
Let p = 4692/7 - 40473/70. Let h = p - 92. Let q be (-6)/(-10) + (-6)/(-15). Do q and h have the same value?
False
Let q(j) = -j**3 + 11*j**2 - 24*j + 21. Let f be q(9). Let u be 1/f + -3 + 16/6. Is 2/5 <= u?
False
Suppose 2*w - 54 = u - 3*u, -3*w - 9 = 0. Let l(y) = 5*y - 9. Let i be l(6). Let o = u - i. Is 9 less than or equal to o?
True
Let l = 297/5 + -19889/335. Let c = 274 + -275. Which is greater: c or l?
l
Let w be (8 - 5)*((-12)/(-3))/4. Let r(q) = q + 5. Let s be r(0). Suppose -f = -d, s*f - 5 - 31 = -4*d. Which is smaller: w or d?
w
Let b(q) = q**3 + q**2 + 2*q - 18. Let c be b(0). Let j = 69 - 86. Is j at least c?
True
Suppose 661 - 937 = 6*s. Are 6 and s nonequal?
True
Let p be (3/(-14))/(8/(32/(-9))). Let m be ((-2)/4)/((-2)/4). Which is greater: p or m?
m
Let j = 97 + -101. Let s = -541/164 + 2/41. Is j greater than s?
False
Let t be ((-33)/6 + 3)*3/10. Suppose 16*a + 32 = -0*a. Is t greater than or equal to a?
True
Let y be -8*10 - (3 - -1). Let n = y - -73. Which is greater: -8 or n?
-8
Let k = 697 - 853. Which is greater: k or 1/4?
1/4
Let s be 0 - 6*(-88)/1995. Let b = s + 2/95. Which is greater: 37 or b?
37
Let x be 28/8*(-2)/1. Let t = 114 - 83. Suppose -o - i - 1 = 0, 0*i + t = -o + 5*i. Which is smaller: o or x?
x
Let h = 1/41 - 55/574. Let n = -153.7 - -151.7. Is h != n?
True
Let g = -3 + -3. Let p be (g + 1)*(-4)/130. Let o = 0.3 - 1.3. Does o = p?
False
Let n = -0.7 - -2.9. Let q = n - 1.2. Is 28 smaller than q?
False
Let h = 5 - 8. Let u(y) = y**3 + 7*y**2 - 7*y - 81. Let b be u(-6). Is b greater than or equal to h?
True
Let v = -47 + 30. Suppose 0 = -5*n + 27 + 53. Let s = n + v. Which is smaller: s or -2?
-2
Let l = 0.0708 + 0.1292. Which is greater: l or -304?
l
Let g = -581 + 582. Which is greater: g or -2/3?
g
Let c = 134 + 183. Which is smaller: c or 318?
c
Suppose -7*a = 409 - 297. Is -45 bigger than a?
False
Let i = 99 + -106. Let t be (4/10)/((-1)/(-15)). Let l be (3/(-2))/(t/32). Is l greater than i?
False
Let x(z) = 3*z**3 + 45*z**2 + z + 18. Let g be x(-15). Let c be (g*2/(-10))/(24/60). Let a = -4 + 3. Do c and a have the same value?
False
Let f = 0 + -1. Let v be (-12)/(-4) + (-2 - f). Are v and 3/7 non-equal?
True
Let x(r) = -r**3 - 10*r**2 - 22*r - 10. Let l be x(-8). Is l bigger than 41?
False
Suppose -2*j - 4 + 21 = -3*z, -2*j - 2*z = -2. Let a(k) = -13*k + 6 + 26*k - 11*k. Let w be a(j). Is 14 != w?
False
Let k = 8 - 5. Which is smaller: 5 or k?
k
Let i be 6/((-5 + (-161)/(-35))*5). Suppose l - 10 = 3*p + 6*l, 0 = p + 3*l + 2. Which is smaller: p or i?
p
Let t(z) = 3*z - 6. Let i be t(-6). Let m = -25 - i. Let p be ((-3)/28)/(45/(-40)). Which is greater: p or m?
p
Let p be 4/((-22428)/5535) + 1. Which is smaller: 0 or p?
0
Let w be 0 + (-372)/52 - -5. Which is smaller: w or -3?
-3
Let b = 137/4 - 139/4. Which is smaller: -7 or b?
-7
Let h = 5.24 + -1.24. Let p(l) = -l**3 - 3*l**2 + 6*l + 7. Let r be p(-4). Which is smaller: h or r?
r
Let k = 41.68 + -43. Let m = -0.32 - k. Which is bigger: 2/13 or m?
m