be n(a). Which is smaller: 3/4 or p?
3/4
Let l be (-3 + 69/18)*6. Let q = 8 + 1. Let u = l - q. Which is smaller: -3 or u?
u
Suppose 0 = -5*p + 5*u + 5071 + 1194, 0 = 4*p + 5*u - 5048. Let s be (p/(-9))/((-38)/102). Let d = 375 - s. Which is bigger: 1 or d?
1
Suppose 4*a - 5 = -a. Is a >= 3?
False
Suppose i - 7 = -2*m + 6, -5*i = 5*m - 45. Suppose -2*f = -0*y + 2*y + 12, 0 = -3*f + m*y - 18. Is f at most -6?
True
Let u(g) = -2*g - 25. Let l be u(6). Which is bigger: -0.1 or l?
-0.1
Let f = 34514/11 - 3140. Is -2 greater than or equal to f?
True
Let h = -1.2 + 0.2. Let n = h + 2. Which is bigger: 0 or n?
n
Let s = -4 - -4. Let r = s - -0.1. Let j = r - -0.9. Which is smaller: j or -0.1?
-0.1
Suppose 0 = -2*q + 4*s + 6, q + 2 = -4*s + 5. Suppose 0*l - 15 = -q*l. Suppose -3*p = -l*p. Which is smaller: p or -2/5?
-2/5
Let g be ((-12)/8)/((-555)/20). Is g greater than -1?
True
Let p = -26.992 - 0.008. Let j = 28 + p. Is j at most -2/15?
False
Suppose -b + 0*b = -2*i - 1, 3*b + 3*i = 30. Let w(c) = -3*c + 5. Let m be w(b). Is m < -16?
False
Let o be -2 + (-4 - (-35)/6). Which is greater: o or 0?
0
Let b = 60 - 54. Is 0.1 bigger than b?
False
Let h = -317.9 + 304. Let y = -14 - h. Is -0.5 < y?
True
Let v = -0.33 - -0.3. Let p = 2.88 - -2.15. Let x = v + p. Which is greater: x or -0.1?
x
Let r(q) = q**3 + q**2 - 1. Let i be r(0). Is i <= 0?
True
Suppose 3*k + 34 = 2*r, 5*r + 3*k = 21 + 22. Let h be 64/r + (-2)/(-11). Let g be (h/(-4))/((-56)/(-16)). Does 1 = g?
False
Suppose -3 + 26 = 2*o + n, -n + 43 = 4*o. Suppose -13 = -4*f + 3*q, 0*q = 4*f - 2*q - o. Suppose -f = -t - 2. Which is smaller: t or -2/17?
t
Let v = -4.3 - 2.9. Let u = 7 + v. Which is greater: -0.1 or u?
-0.1
Let b = -9.973 + -0.027. Which is greater: b or -1/2?
-1/2
Suppose -4*m + 14 + 14 = h, h = 2*m - 14. Suppose 0 = -4*l + 3 - m. Let n be 4/35*(-10)/4. Is l > n?
False
Let k = -3.283 - 0.017. Let y = 0.17 + -3.17. Let z = y - k. Which is smaller: z or 1/3?
z
Let k(t) = t + 7. Let o be k(-10). Suppose z + 3*s = -3*z - 5, -3*s = -3*z - 9. Let h be z/((o - -5) + -6). Which is smaller: 0 or h?
0
Let v be (-8)/28 + (-17)/(-35). Let q = 21 + -20. Which is greater: v or q?
q
Let n = 41 + -21. Let p(x) = 12*x - 2. Let a be p(1). Suppose -5*h = -5*m + a, 0 = -4*m + 6*m + 4*h + n. Is -2 greater than or equal to m?
True
Suppose -3*p + 0*o - 2*o - 2 = 0, 3*p = o + 10. Let m be (-28)/(-11) + 3*(-4)/6. Which is greater: p or m?
p
Let j(i) = 5*i - 49. Let h be j(16). Which is smaller: h or 32?
h
Let r be 119/(-35) - (-9)/(-15). Is -4 less than or equal to r?
True
Suppose 6 = -v + 3*v. Suppose 4*y = -y + d + 24, 0 = v*y - d - 16. Is y at most as big as 3?
False
Let y = 14 + -3. Let k = 13 - y. Let c be -2 - (7 - -1)/(-2). Is c at most k?
True
Let p = -1 + 0.9. Which is greater: p or -1/3?
p
Let b = -152/7 - -22. Is b bigger than -2/9?
True
Let i(b) = -2*b**2 + 1. Let o be i(-1). Let h = -1 - -1. Is h bigger than o?
True
Let y = -1 - -5. Let z be ((-2)/15)/(y/9). Which is greater: z or -1?
z
Let o = -5.8 - -0.8. Which is smaller: o or -0.2?
o
Suppose 4*i - 5 + 9 = 0. Which is smaller: -2/35 or i?
i
Let w = -8 - -5. Let k = -11 + 6. Let u = k - w. Is -0.1 greater than or equal to u?
True
Let r = 23 - 9. Is r >= -1?
True
Let s(n) = 2 - 5 + n + 3*n + 0*n - n**2. Let i be s(3). Let t(g) = -g - 2. Let q be t(-3). Is i at least as big as q?
False
Suppose b - 13 = -3*b - 3*v, -3*v = 3. Suppose 4*k - 3*h - 4 = 0, 0 = -b*k + 5*k + 5*h - 1. Let n be (-8)/4 - (-5)/2. Is k < n?
False
Let y = -24 + 450/19. Which is bigger: 0 or y?
0
Let o = 168 - -76. Let v be 5 + -2 + o/(-84). Let q = -4/105 + v. Which is greater: q or -1?
q
Suppose -4*l - 2*q + 7 = -5, -2*l = -5*q - 6. Is 3 at least l?
True
Let h = 0.3 - 0.2. Let i = h - 0.2. Is -1/6 less than or equal to i?
True
Let f be 3/12 - 33/(-12). Which is smaller: f or 10?
f
Let h = -1.7 - -0.5. Let o = h + 0.2. Let i = o - 0. Is i less than -0.1?
True
Let b be (3/327)/((-1)/2). Is b not equal to -1?
True
Let t(o) = -7*o**2 + 3. Let k(v) = 6*v**2 - v - 2. Let b(c) = -6*k(c) - 5*t(c). Let p be b(5). Let h be (-10)/(-4) - (1 + 1). Is h greater than or equal to p?
False
Let b be (-45)/(-18)*(-2)/(-5). Let v = 2 - -1. Do b and v have the same value?
False
Let c be ((-3)/(-6))/((-1)/(-10)). Let u(a) = -a**3 + 5*a**2 - 2*a + 6. Let v be u(c). Which is bigger: -3 or v?
-3
Let v = 25 + -30. Which is greater: v or 1?
1
Let u be (-4)/(-6) - 46/60. Let m(p) = p + 4. Let w be m(-3). Which is bigger: u or w?
w
Suppose 0 = -0*q - 4*q + 8. Suppose 3 = 2*w + w. Is w != q?
True
Let o(r) = 3*r + 5. Let g be o(-5). Let b = g + 49/5. Is b > -1?
True
Let w = -4513/15 - -301. Which is greater: w or -1?
w
Let x(c) = -c + 11. Let n be x(10). Let j be 3/(-12) - (-78)/56. Does n = j?
False
Suppose -4*v - v - 3 = 2*r, 4 = -2*r - 4*v. Let x be -2 + 3 - (r - -2). Which is smaller: 0 or x?
0
Suppose 0 = -2*z + 9 + 9. Let w be (-2)/z + 35/(-45). Which is smaller: w or 3/11?
w
Let s be (21/(-140))/(1/8). Which is greater: 0 or s?
0
Suppose -4*k - 8 = 28. Let q be 4/4*(-3)/k. Is q greater than -5?
True
Let v be -1 + (-2 - (-106)/34). Which is smaller: v or 0?
0
Let k = -7 - -10. Suppose 3*h = -0 - k. Which is smaller: 1/5 or h?
h
Let t be (2 - (-91)/(-35))/((-4)/(-15)). Which is greater: -1 or t?
-1
Let f = 0.013 + -0.013. Which is greater: f or -2/13?
f
Let i(a) = -a - 5. Let j be i(5). Let g = j + 7. Is g greater than -3?
False
Let t(q) = -2*q**3 - 8*q**2 - 3*q - 8. Let g be t(-4). Which is smaller: g or 0?
0
Let u be (-3)/(-6) - (-2)/4. Let m = -3 + u. Let h be -2*((-3)/(-2) + m). Is 1/2 at most as big as h?
True
Let x be 3 - ((-4)/(-18) + 205/90). Which is bigger: -4/29 or x?
x
Let d(a) be the second derivative of a**5/20 - a**4/12 + a**3/6 + 2*a**2 - 3*a. Let u be d(0). Does u = 3?
False
Let p = 4 - 4.35. Let k = -0.3 - p. Let g = -2.1 - -2.2. Is k greater than g?
False
Let z = 30 - 30.1. Let v = -23/9 - -97/45. Which is smaller: v or z?
v
Let d(u) = u + 7. Let r be d(-8). Let x(n) = -4*n**2 + 1. Let j be x(1). Does r = j?
False
Let l = 195 + -1363/7. Let f = -2 + 2. Suppose 3*d - 6*d = f. Which is smaller: l or d?
d
Let o be 1 + -5 + -2 + 3. Let i = 5 - 10. Which is bigger: i or o?
o
Let n = -3.5 + 3.6. Is 8/3 less than or equal to n?
False
Let t(a) = -a**3 - 9*a**2. Suppose 26 = -5*m - 19. Let i be t(m). Which is smaller: 2 or i?
i
Suppose -3*t - 2 = 1. Let q be 25/2 + (-1)/2. Suppose 5*s - 2 = -q. Is s smaller than t?
True
Let h = -47 - -122. Suppose -31 = o + 4*z, z + 3*z = -5*o - h. Is o less than -10?
True
Let l = 2 - -1. Which is greater: l or 2?
l
Let m = -5/22 - 293/66. Are m and -5 unequal?
True
Suppose 5*x = o - 134, 0 = -0*x - 5*x - o - 136. Let v be (-6)/x*6/(-10). Does 1 = v?
False
Let a = -2/99 + 37/198. Let t = 14 - 15. Is t less than a?
True
Suppose 2*q = -h + 10, 2*q = 4*q - 8. Let j be ((-1)/(-5))/(3 + -2). Which is smaller: h or j?
j
Let j = 2.74 + -3. Which is bigger: j or 0.1?
0.1
Let l = 472 - 8022/17. Let v(f) = f**2 + 9*f. Let i be v(-9). Is l less than or equal to i?
False
Let c(w) = w**2 - 9*w + 14. Let o be c(7). Let p(u) be the first derivative of -u**2/2 - 5*u - 1. Let a be p(-3). Are o and a equal?
False
Let s = -9.9 + 4.7. Let o = s - -5. Are o and 0.2 nonequal?
True
Suppose -d = i - 4, 2*i - 4*d - 28 = -2. Let j = -7 + i. Let v be (-8)/15 + 6/(-9). Is j at most as big as v?
False
Suppose -5*b + 5 = -5. Suppose 2*a = -b*a. Suppose a = 2*c - c. Is c < -2?
False
Suppose 0 = -3*t + 5*t - 8. Suppose t*g = -1181 + 89. Let r = -1643/6 - g. Which is greater: 0 or r?
0
Let t = -2 - -3. Let u = t + -3. Let b = u - -2.2. Which is bigger: b or -2/7?
b
Let u = 2 - 1. Let j be (-1 - 0) + 2/2. Suppose -2*i + 5*i = j. Is i greater than u?
False
Let l = 0.4 + -2.4. Let h = -2.1 - l. Let m = 40 - 40.2. Do m and h have different values?
True
Let k(m) = -m. Let d be k(-2). Suppose 5*p - z - 2*z - 317 = 0, d*p + 3*z - 110 = 0. Let a = p + -429/7. Are 1 and a nonequal?
True
Let m = -3.1477 + 0.0177. Let a = 0.13 + m. Is 6 at most as big as a?
False
Suppose 2*h - 10 = 4*j - 0*h, 4*j + 16 = 4*h. Let t be (-1)/(-2) + (-165)/150. Which is greater: t or j?
t
Let z(o) = o**2 + 8*o - 2. Let r be z(-6). Is r smaller than -13?
True
Suppose o + 4*o = -4*v - 33, -5*o - 25 = 0. Is -4 >= v?
Fa