2/11 smaller than p?
True
Suppose -2*h + 12 = -0. Suppose -h*a + 1 = 7. Which is bigger: a or 0?
0
Let c(f) = 2*f**3 - 2*f - 1. Let u be c(-1). Let i be (-1108)/10 - (-12)/(-4). Let g = i - -113. Is u smaller than g?
True
Let b be ((-1)/(-1))/2*2. Let g = 4 - b. Let v be g/(-4) - (-6)/8. Which is bigger: -1/5 or v?
v
Let k = -631966278569/359273353 - -260/2204131. Let z = -1759 - k. Which is greater: z or 0?
z
Let r(u) = -2*u**3 - 2*u**2 + u. Let b be r(-2). Let w be (-96)/(-126) + 4/b. Which is smaller: 1 or w?
1
Let x be ((-2)/5)/(36/615). Let w = x - -19/3. Let n = -24 - -13. Is n smaller than w?
True
Suppose -2*t = -6*t + 4. Let n = 241 + -6511/27. Which is bigger: n or t?
t
Let u be (7 + -6)/(2/4). Suppose -2*s = u - 4. Let v be 2/(-4) + s + -2. Which is greater: -1 or v?
-1
Let b = -174/11 - -172/11. Which is greater: b or -19?
b
Suppose z - 181 = 2*z. Let d = z - -139. Which is greater: d or -41?
-41
Let y(n) = 5*n. Let l = -1 - 24. Let w be (-12)/15 + 5/l. Let x be y(w). Is x != -2/3?
True
Let b = -933 - -903. Is b >= -28?
False
Suppose 0 = -s + 2*s + 28. Which is smaller: -27 or s?
s
Suppose 5*d - 2*m + 18 = 0, -1 = 2*d - 4*m + 3. Let c(u) be the second derivative of -u**3/3 - 2*u**2 + 191*u. Let g be c(d). Is g greater than 4?
False
Suppose -21*y - 1388 = -25*y. Let j = -13879/40 + y. Is 0 equal to j?
False
Let v = -156.7 + 150.7. Is v != -0.17?
True
Let t = -10 - -8.1. Which is smaller: t or -6?
-6
Let n(z) = 8*z - 6. Let q = 22 + -18. Let b be n(q). Let c = -15 + b. Which is bigger: c or 2/7?
c
Let o(v) = 2*v + 2. Suppose 0 = 6*k - 9*k - 3. Let a be o(k). Which is bigger: -2/279 or a?
a
Suppose 15 = -5*j, 4*i + 3*j - 2091 = -i. Let h be (-3)/(-5) + (-162)/i. Which is greater: h or -0.1?
h
Let q = -762 - -761. Which is greater: q or 2/609?
2/609
Suppose 44*o = 35*o + 63. Which is bigger: o or 10?
10
Let l = 1/454 - -661/9080. Let s = 57/40 + l. Which is smaller: s or 2/7?
2/7
Let t be (-25)/(-20) + (-3)/12. Let r be (t - 6/2) + -15. Let c = r - -10. Which is greater: -6 or c?
-6
Let z be (-3003)/(-84) + -2*(-1)/8. Is 38 less than z?
False
Let u be 14/4*(2 + 0). Let c(x) = -x**2 - 5*x + 8. Let h be c(-6). Suppose -y = -h*b - 5, -b = -2*y - 2*y + 27. Does u = y?
True
Suppose -2*y + 8 = 4. Let t be 1*(y + 2/4*2). Which is smaller: t or 4?
t
Let u be (2/(-2))/((-2)/62). Suppose 0 = -7*g + 100 + 103. Which is greater: u or g?
u
Suppose -2*g = -2*n - 5 - 29, -4*g = -12. Let i be -3 + (-48)/(-28) - 4/n. Which is smaller: i or -2?
-2
Let g be 3 - -1*32/4. Let m = 10 - g. Let v be -2 + 0 + 0 - m. Which is bigger: -4/9 or v?
-4/9
Suppose d = r + 5, 0*d + 3*r + 7 = -d. Let v = 9/4 - d. Let b = 0 + -0.07. Is b <= v?
True
Let u = -8 - -11. Let b = 5 - u. Let c be (24/16)/((-1)/b). Which is smaller: c or -2?
c
Let j(b) = b**3 + 5*b**2 + 2*b + 4. Let r be j(-5). Let c be (2/r)/(4/(-12)*4). Which is smaller: -4 or c?
-4
Let m(s) = -43*s - 1. Let n be m(0). Which is greater: 2/1191 or n?
2/1191
Let b be 9/(-2 - (-14)/4). Suppose -2*c + a - b = -3*c, a - 1 = 0. Suppose 6 = 5*z + d, 4*z + 0*d + d - c = 0. Is 4/5 at least as big as z?
False
Let x = 421 - 241. Suppose -90*j + 86*j = -x. Is j greater than or equal to 46?
False
Suppose 0 = 5*z + 3*z - 3*z. Which is smaller: z or 2/399?
z
Suppose 2*r = x, -2*r = -5*r + 4*x. Suppose 0 = -r*z + 5*z - 10. Let j = 4 + 0. Which is smaller: z or j?
z
Let j be (56/(-70))/(2/(-15)). Is j != -18?
True
Suppose -3*d - 5*g - 2 = -4*d, 5*d = 5*g + 10. Let n be 70/15 - (3*2 - d). Is -10 < n?
True
Let c be 6/(-5)*30/9. Let j be 1 - 13 - (c - -4). Let b be (-2)/(40/j)*5. Is 3 less than or equal to b?
True
Let u = -619055 - -316126. Let j = u + 4545541/15. Let z = -107 + j. Which is smaller: -1 or z?
-1
Let o be 10/4*(-8 + 10). Let k be ((-2)/8)/((-6)/(-24)). Let y be 6 + 0 + 1 + k. Which is smaller: y or o?
o
Let x = -2247 + 22401/10. Is -8 greater than x?
False
Let d(u) = -7*u + 33. Let i(a) = 3*a - 16. Let k(b) = 4*d(b) + 9*i(b). Let c(r) = -2*r**2 - 3*r + 3. Let l be c(2). Let n be k(l). Which is greater: n or -2?
n
Let c be (-5)/(-15) - (-178)/6. Let t = c + -33. Which is smaller: -2 or t?
t
Let m be -2 + (-21689)/(-6486) + (-8)/6. Which is smaller: 1 or m?
m
Let s(a) = -a**3 + 7*a**2 + a - 8. Let c be s(7). Let b be (-9)/(-6)*(-12)/2151. Which is smaller: b or c?
c
Let f = 15.7 - 15. Let w = -0.8 + f. Let u = 0.3 - 0.7. Is w greater than u?
True
Let p be (4/10)/(-11 - (-728)/65). Let f be 35/6*3/10. Which is smaller: f or p?
f
Suppose a + 10 = 3*o - 0*o, -5*a = 3*o - 22. Let s(x) be the second derivative of x**3/6 - 9*x**2/2 - 6*x. Let m be s(11). Which is greater: o or m?
o
Let h = 0.856 - 0.91. Are h and 1 nonequal?
True
Let p(u) = -62*u**3 + 6*u + 7. Let r be p(-1). Which is smaller: 66 or r?
r
Suppose 4*m = 4*t + 64, -5*t = 5*m - 25 + 85. Let c be (5 - 1)*(-2 - (-46)/8). Let v = t + c. Which is smaller: -1/22 or v?
-1/22
Suppose -3*d + 7*a - 10*a = 45, 3*d - 4*a = -80. Which is smaller: d or -178/9?
d
Let z = 5/41 - 437/1230. Is 0.1 >= z?
True
Let d = 0 - 0.1. Let s = -30.8 - 1.2. Let f = 31.3 + s. Is f < d?
True
Suppose 17*w + 6*w + 230 = 0. Let z(s) = -s**2 + 6*s - 9. Let y be z(6). Is y >= w?
True
Let c = 16191954003755/10362 - 1562628256. Let y = 1/942 - c. Which is smaller: -2 or y?
-2
Suppose 3*h = -234 + 1911. Is h > 1678/3?
False
Suppose -255*v + 344 = -254*v. Which is greater: v or 343?
v
Let l(m) = m**2 + 7*m - 9. Let o be l(-7). Suppose 5 = j - 1. Suppose 3*c + 23 = -i, 2*c = i + i + j. Is i greater than or equal to o?
True
Let o(y) = -y**2 + 14*y - 1. Let f be o(14). Let z be f/4 - ((-73)/36 - -4). Which is bigger: 1 or z?
1
Suppose 49 + 3 = 4*r. Suppose r = -6*j - 35. Is -8 > j?
False
Let i(s) = -3*s - 3. Let a be i(11). Let v = 45 + a. Which is smaller: v or 10?
v
Suppose 0 = -a - 4*x - 856, 5*a = 4*x - 3982 - 370. Is a smaller than -1/2?
True
Let w = -4 + 4.15. Let k = w + 6.85. Let q = 2.29 + -2.19. Is q equal to k?
False
Suppose -2*k = -f + 37, -141 = -3*f - 2*f - k. Is 30 less than or equal to f?
False
Let z be (2 - 0)*1 + (-664)/40. Let t = z + 15. Which is smaller: -0.13 or t?
-0.13
Let t(a) = a**3 + 5*a**2 + a + 1. Let o be t(-5). Let v be (-9)/(-48) + o + 4. Is -1 equal to v?
False
Let c = -25.328 + -0.672. Is c != -2/11?
True
Suppose 12*v - 30 = 15*v. Let j be (6/v)/(2/(-20))*1. Which is smaller: 7 or j?
j
Let m = 173 + -105. Suppose -7*v + 3*v + m = 0. Is v at most 19?
True
Suppose -3*a - 4*w = w + 59, -2*w = -4*a - 70. Let u = 18 + a. Is u at least -2?
True
Let m(n) = -n**3 + 2*n**2 + 4*n + 15. Let q be m(4). Is q > -2/719?
False
Suppose 165*b - 160*b - 2161 = -4*h, -2*b - 3*h = -863. Which is smaller: 434 or b?
b
Let d be (5/(-2))/(2/(-4)). Suppose 2*l + 23 - 7 = 2*n, 23 = 3*n - 4*l. Is d equal to n?
False
Let p = 15 + -12. Let i(t) = -2*t + 0*t**3 - t**p - 6*t**2 + 9*t**2 + 3. Let k be i(3). Which is smaller: -4 or k?
-4
Let c be 6564/(-3279) + (-5 - -7). Let q = 8726/9837 - c. Which is smaller: q or 1?
q
Let f = 34 - 23. Suppose f = -3*r + 14. Is 4 less than r?
False
Let x be (-220)/(-8) - (-2)/4. Let q = x + -71/2. Let v = q + 9. Which is greater: 1 or v?
v
Let d(h) = -2025*h - 10. Let q be d(-6). Let c be (-1)/((-11)/2) - q/220. Which is bigger: c or -54?
-54
Suppose -28*v = -61*v - 33. Which is greater: -7/40 or v?
-7/40
Let k = -110 - -119. Let a = 1.3 - 8.3. Let p = a + k. Which is smaller: 0.3 or p?
0.3
Let j = 761 + -760. Which is bigger: j or -19?
j
Let c be ((-2)/6)/((-2)/218). Let j be 10/(-36)*801/6. Let s = j + c. Are s and -2 equal?
False
Let h(l) = -l**2 - 15*l - 49. Let m be h(-10). Which is smaller: m or 12/11?
m
Let a = 370 + -391. Is a smaller than -21?
False
Let f be (2 - -42)/((-1)/3). Let j = f + 11486/87. Which is bigger: -1 or j?
j
Let c = -3428 + 654728/191. Is c at least as big as -1?
True
Let k be (3/(-6))/((-3)/(-180)). Let o = -27 - k. Is o greater than 2?
True
Let n = -8 + 11. Suppose -n*v + 25 = -2*u - 12, 0 = -2*v - 5*u - 7. Is v <= 8?
False
Let l = -1831 + 1851. Let r be (-5)/((-10)/36) - -1. Which is smaller: l or r?
r
Let y = -542 - -545. Which is bigger: -3/10 or y?
y
Let p(w) = -w**3 - 15*w**2 - 43*w - 3. Let t be p(-13). Is 217 bigger than t?
False
Suppose -5*d = -5*s - 52 - 28, s = 5*d - 64. Suppose -d*j = 6*j - 702. Are 40 and j nonequal?
Tru