hich is smaller: 47 or l?
47
Let p be 1/(-3*1/(-48)). Is 16 less than or equal to p?
True
Let a = 42 + -8. Suppose a = -4*u - 10. Is u < -11?
False
Let a be (-26)/(-6) + 2/3. Suppose -n = a - 4. Is -2/7 bigger than n?
True
Let k be -1*(2/(-4) - -1)*0. Which is bigger: 1/15 or k?
1/15
Let p = 16 + -24. Let r = -9 + 3. Is r less than or equal to p?
False
Let i be -60*((-10)/(-8) - 2). Suppose i = 4*x - x. Is -1/3 > x?
False
Let a(z) = z**3 + 8*z**2 + 6*z - 8. Suppose -r + 5*r + 28 = 0. Let y be a(r). Which is smaller: y or 1/3?
y
Let i = -33 - -30. Which is smaller: i or -3/2?
i
Suppose -2*b + b + 1 = 0. Let t be 4 - 3 - (1 - b). Let r be 3 + (-2)/t - 0. Is r at least 2?
False
Let h be (-5)/(-25) - 38/(-10). Suppose -9 = -3*q + h*o, -q - 4*o - 10 = -o. Let x = -2055/11 + 187. Which is bigger: x or q?
x
Let x be 1/(6/4) - (-10)/(-20). Is 3 at least as big as x?
True
Let i be ((-3)/6)/(2/8). Let n = 2 - i. Suppose 1 = y - 3*c, -1 = -5*y + 2*c + n. Is y > 4/5?
True
Let s = 28 - 138/5. Let t be ((-9)/6)/(2/8). Let c = t - -6. Is s less than or equal to c?
False
Let l = -0.2 + 0.2. Let z = -0.1 + l. Are z and -0.07 equal?
False
Suppose -3*r + 4 = -2*o, -2*r - 40 = -7*r - 5*o. Let j = r - 3. Is -2/45 smaller than j?
True
Suppose -3*y = -12, -2*y = 3*h - 5*y + 12. Is 1/53 at least as big as h?
True
Let f = -5 - -8. Suppose 4 = 5*x + 14. Is f smaller than x?
False
Suppose -15 = 4*f + f - k, -3*k + 21 = -3*f. Is f bigger than -2?
False
Let v be 9/6*4/(-2). Let s(m) = m**2 - 3*m + 4. Let i be s(v). Suppose -11 = 4*r + 5, -y = 5*r + i. Is y at most -4?
False
Let n = 0.2 + 0. Let a be ((-27)/6)/(3/(-4)). Suppose -3*w + 2*s = 2, w + s - a = 5*s. Is n at least w?
True
Suppose -18 = -4*h - 2*r, -r - 25 = -3*h - 9. Suppose 3*k = -5*o + 28, 0 = -0*k - 2*k + h*o + 52. Which is smaller: k or 15?
15
Let c be (1*4/(-78))/(-1). Suppose w = -2*z + 1, 0*z - w + 1 = -2*z. Which is greater: c or z?
c
Let h(g) = 3*g - 20. Let y be h(8). Is 3 greater than y?
False
Let x(p) = 2*p**2 + 4. Let t be x(3). Let z be t/(-20) + 2/4. Which is smaller: z or 0?
z
Let p be 0 + 5/((-1725)/224). Let h = p - 2/115. Which is greater: 0 or h?
0
Let q be 3*(-2)/18*21. Suppose 2*r + 0 = -12. Is r at least q?
True
Let v be (-2)/3 + (-18428)/(-1092). Let t = v + -114/7. Which is smaller: t or 0?
t
Let q = -17 - -14. Is q < -0.2?
True
Suppose 2*u = -4*x + 18, 5*u + 14 = 3*x + 7. Suppose -2*g = 5*y - 7 - 22, 3*y - 19 = -2*g. Let k be g/(-3) - (-1)/3. Which is smaller: k or u?
k
Let c = 978/7 + -140. Suppose 0 = 3*s - 4 - 2. Suppose 7*y = s*y. Is y < c?
False
Suppose -4*f + 7 = k, 5*f - 9 = k - 2*k. Suppose -2*z - 2*z = -5*j + 31, f = -2*j - 2*z. Is 3 at least j?
True
Suppose -7 = -5*c - 2. Which is greater: -2/5 or c?
c
Let k = 2 + -5. Let a be ((-27)/(-180))/(0 + k). Is 0 smaller than a?
False
Suppose 0 = -m + 2*o + 9, 0*m = -4*m + 4*o + 40. Let r be -7 + 18 - (0 - 1). Which is smaller: m or r?
m
Let b = -6 - 4. Let v = 12 - b. Suppose 5*j + v = g, -3*j - j + g = 18. Which is smaller: -3 or j?
j
Let r = -2 - -2.1. Let p = 0.1 + -1.1. Which is smaller: r or p?
p
Let q = 0.2 + -13.2. Let a = 13 + q. Which is bigger: a or 1?
1
Suppose 0 = -13*j + 16 + 23. Is j smaller than -1?
False
Suppose -10 + 2 = i. Let f(v) = -v - 10. Let u be f(i). Let r = u + 3. Is 2/9 at least as big as r?
False
Let t = -0.3 + 0.4. Let w = -0.1 + t. Let p = w + -0.1. Is -1 less than p?
True
Suppose 0 = -2*t + 6*t + 24. Let r = 49/8 + t. Suppose -4*k - 1 - 3 = 0. Is r > k?
True
Suppose 2*o = 5*p - 7*p + 20, 0 = -5*o + 20. Suppose -3 + 19 = 2*m. Which is bigger: p or m?
m
Suppose 3*a + 0*a = -15. Let z(l) = -2*l - 2. Let p be z(-5). Let u = -11 + p. Which is smaller: u or a?
a
Suppose 10 = 5*q - 10. Suppose -4*o = o - 20. Does q = o?
True
Suppose 2*q - 2 = 2. Let c be (2 + -6)*q/4. Which is smaller: -3 or c?
-3
Suppose -5*z - 20 = -5. Let c(k) = -k**3 - 3*k**2 - 3*k. Let g be c(z). Which is smaller: -2/7 or g?
-2/7
Let i be ((-90)/(-25))/((-3)/(-10)). Is i at most 11?
False
Let g = 2 - 14. Let c be (g/(-18))/((-8)/(-3)). Which is smaller: 3 or c?
c
Let h = 4 - 6. Let q = h - -1. Let z be (4/6 - 1) + 0. Do z and q have different values?
True
Let h be -14*(-1)/6 - 2. Let c = -0.3 - -0.1. Let b = -0.4 - c. Which is bigger: h or b?
h
Let l be (-306)/81 - (1 + -4). Which is smaller: l or -1?
-1
Let v be 4/(-13) - 0/(-2). Let t(n) = -2*n**3 - 23*n**2 - 11*n + 1. Let m be t(-11). Which is smaller: v or m?
v
Let p be 0 - (0 - 2/2). Suppose 9 = -5*v - 6. Let d be ((-3)/(-34))/(v/4). Is p bigger than d?
True
Let o = 7.2 + -7. Let x = 0.3 - 1.3. Is o at least as big as x?
True
Let d = 5 + -8. Let b = 7 - d. Suppose 5*m = -0*m + b. Is 1 <= m?
True
Let s be (-21)/(-7) + 1799/(-15). Let v = s + 117. Is v at least as big as 1/4?
False
Let t(z) = z**3 + 6*z**2 + 3*z + 2. Let k be t(-5). Let q be ((-2)/4)/((-1)/k). Let d = -7 + q. Is d at least -0.3?
False
Let m = -93/245 + -1/49. Is -1 bigger than m?
False
Let v = -52863/11 - -4789. Let w = 7198/429 + v. Let g = 11/39 + w. Is g smaller than -1?
False
Let c be 22/(-7)*(14 - 21). Is c < 23?
True
Suppose r = 23 - 15. Is r equal to 10?
False
Let p be 1/2 + (-169)/2. Let k = p - -200. Let w = -582/5 + k. Which is smaller: -1 or w?
-1
Let r = -8.01 - -8. Let b = -3.0026 - 0.0074. Let q = r - b. Which is smaller: -1 or q?
-1
Let k be -1 + 0 - (-16 - -13). Let f(w) = w**3 - 7*w**2 + 7*w - 5. Let m be f(6). Which is smaller: k or m?
m
Let a(s) = -s**3 + 8*s**2 + 8*s + 12. Suppose 0 = -4*k - 15 + 51. Let q be a(k). Let z be q/9*0 - 0. Which is smaller: 1 or z?
z
Let k = 33 - 57. Let w = -17 - k. Which is smaller: 6 or w?
6
Let c be ((-4)/210)/(6/(-180)*3). Which is bigger: c or 0?
c
Let g = 17 - 10. Suppose 0 = -g*x + 3*x. Is x not equal to 17?
True
Let h = -9.091 - -0.191. Let x = 9 + h. Is -1/2 not equal to x?
True
Suppose 2*u - 5*u = -9. Suppose -u*m + 5*a = m + 7, 4*a - 12 = 0. Which is greater: 0 or m?
m
Suppose -12 + 57 = 5*y. Let k be (-24)/y*6/4. Let l(f) = -f**3 - 3*f**2 + 5*f + 4. Let o be l(k). Is o at most -1?
False
Let f = -1.3 - -1.6. Is f <= -2?
False
Let t be 1/5 - 533/65. Let x be 1*36/(4 + -8). Which is greater: t or x?
t
Let x = -51/2044 + -6/73. Let h = x - -65/84. Which is smaller: -1 or h?
-1
Let b be 0 + 5 - (4 + -3). Let f be (-6)/30 + (-22)/(-10). Let w be -2 + (b - f) + 3. Which is smaller: w or 4?
w
Let i be (-4)/(-10) + (-26)/(-10). Let n = -169 - -341/2. Which is greater: i or n?
i
Let b be 4/14 - 6/21. Let j(z) = z**2 + 8*z + 5. Let o be j(-7). Which is bigger: b or o?
b
Let v(j) = j + 10. Let d be v(-7). Suppose 0 = k - 2*o - 8 - d, 3*o = -k - 4. Let p be 0 - ((-3)/k - -1). Is -1 != p?
True
Let x(q) = 5*q + 1. Let n be x(-1). Let b be n + -1 + 6 + -4. Is -5/3 greater than b?
True
Let d(j) = 0 + 0 + 6 + j. Let l be d(-6). Suppose 0 = 2*r + 3*q - 7, l = -2*r - 5*q + 4 + 5. Do r and 1 have different values?
True
Let t = -13.2 + 12. Let f = -5.8 + t. Let x = f - -4. Is x at most 1/4?
True
Suppose -k - 8 = -4*y - 5*k, 3*y = -5*k. Suppose -9 = -y*s + 6. Is 4 > s?
True
Let a = 1022/3 + -337. Which is smaller: a or 4?
a
Let d = -12.2 + -0.4. Let j = -13 - d. Is j at most -1/3?
True
Suppose -3*v + 0*v = -4*p + 41, -3*v = 5*p - 4. Let n = -6 - 2. Is v greater than or equal to n?
True
Let u be 2/(-7)*(2 - 1). Let h = -6 + 5. Let o be 7/(-14)*(-7 + h). Is u greater than o?
False
Let i(w) = 2*w**2 - 13*w + 6. Let y be i(6). Which is smaller: y or -4/3?
-4/3
Let j = 12 + -8. Is -2 less than j?
True
Let s = 6 - 6. Suppose 2*a - a - 2 = b, 2*a + b - 7 = s. Do 3 and a have different values?
False
Let l = -207/4 - -52. Is l less than -0.5?
False
Suppose 0*x - 1 = 3*x + 5*f, 0 = -2*x - 5*f - 4. Let l = 1 - x. Which is smaller: l or -1?
l
Let l be 166/(-30) - (-3)/15. Let f = l - -83/15. Which is smaller: f or 1?
f
Let p(o) = o - 15. Let z be p(14). Let b be 4*(-3)/(-12) + z. Which is bigger: b or -10/7?
b
Let n = 0.02 + -2.02. Let f = -0.3 + 3.3. Which is bigger: n or f?
f
Suppose -4*z + z = -4*o - 32, -5*o = -5*z + 45. Is z < 3?
False
Let t be (2/(-4))/((-1)/(-2)). Is -2/15 != t?
True
Suppose 0 = -4*b + 7 - 3. Let a be 610/224 - (3 - b). Let o = a - -3/112. Is o at least 1?
False
Let t = 9.1 - 0.1. Let v = 12 - t. Are 2 and v nonequal?
True
Let j = 0.1 - 0.3. Let t = 63 - 61. Is j <