ller: 11/6 or f?
11/6
Let p be -4 + (-88)/1 + 2. Let l be 2 + (p/39 - 0). Which is smaller: l or -1?
-1
Let b = -3.3 - -18.3. Which is bigger: -1 or b?
b
Let g(f) be the second derivative of f**4/3 + f. Let p be g(-1). Let h be p*2*9/(-24). Which is bigger: -4 or h?
h
Let p = -159 + 153. Which is bigger: -5 or p?
-5
Suppose -4*b + 5 = -3*w + 23, -5*w + 41 = -3*b. Let z = 12 - w. Is z at most 4?
True
Suppose 572 - 166 = 14*x. Which is smaller: 28 or x?
28
Suppose -5 = 5*q + 5*m, 2*m + m = -4*q - 4. Let s be 69/84*1 - 1. Let j = s + -4/7. Which is smaller: q or j?
q
Let h = -6 - -2. Let p(u) = -2*u**2 + 4*u + 5. Let f be p(h). Let m = f - -345/8. Is -1 bigger than m?
False
Suppose 4 + 6 = 2*o. Let a = o + -11. Let i = 5 + a. Which is smaller: -2 or i?
-2
Let z = 4 - 2. Suppose -1 = z*i - 5. Which is bigger: 3 or i?
3
Let p = 0.6 - 0.3. Let i be 12/4 - (3 - 2). Which is greater: i or p?
i
Let p = 3 - -4. Let b be (-95)/35 + (-2)/p. Let f(d) = -d**3 - 4*d**2 - 4*d - 3. Let q be f(b). Is q bigger than 1/3?
False
Suppose -21 + 6 = 3*p. Suppose -3*u + 32 = -5*c, -3*c - c = 4*u. Is c greater than p?
True
Suppose -13 = -k - s, -20 - 19 = -3*k + s. Which is bigger: -0.1 or k?
k
Let d be 2*2*(-1 - (-1)/2). Which is smaller: d or -4/7?
d
Let i be (-45)/(3 - 6)*1. Which is bigger: i or 14?
i
Let h be 4/3*9/282. Which is smaller: h or -1?
-1
Let p be (-54)/336 - 3/24. Let l = 0.2 + 0.8. Which is bigger: p or l?
l
Let l be -3 - -5 - (2 - 27). Suppose -l = -3*g + 2*k, 0 = 2*g - k - k - 20. Suppose f + g*r - 3*r + 4 = 0, 2 = -2*f - 2*r. Is -3 equal to f?
False
Let j(w) = 0 + w**2 + 0*w + 4*w + 2 - w. Let l be j(-2). Is 1/5 > l?
True
Let g(n) = -8*n**2 - 5*n + n**2 + n**3 + 6 + 4*n. Let h be g(7). Let t = 0 - 0. Which is smaller: t or h?
h
Let u(f) = f**3 + f**2 + 3. Let q be u(0). Let w = 4 - q. Let m be (8/(-24))/(2/(-12)). Does m = w?
False
Suppose 10*y - 12*y + 4 = 0. Suppose -o + 5 - y = q, 4*o + 3*q = 11. Which is greater: o or 1?
o
Let d be 30/25*100/6. Suppose 4*k - d = -0*k. Is k bigger than 6?
False
Let c = 9 + -4. Suppose -3*o + 0*o = 3*r, -12 = -2*r - c*o. Which is bigger: r or -2?
-2
Let q be (1 - 2)*(-6 - -4). Is q >= -3?
True
Let l = -10 - -15. Let g be -1 + 2 + (1 - 0). Suppose l*t - 3*i + 4 = 3, 8 = 4*t + g*i. Is 2 less than t?
False
Let x = -0.1 + 0. Let k be 2/(-10) + (-22)/(-10). Which is smaller: x or k?
x
Let y = 176 + -177. Let v be (-2)/9*(-1)/1. Which is bigger: v or y?
v
Let b be 3 + 4*(-6)/8. Is 11/18 bigger than b?
True
Let g(k) = 3*k - 20. Let z be g(7). Which is smaller: z or 7/6?
z
Let w be (-2)/4 - (-1)/2. Suppose 0*d - 2*d = w. Let i be 1/3 - d/(-2). Is i less than or equal to -1?
False
Suppose 3*a + 2*a = 15. Suppose 5*t = 5*z + 15, -2*z = -3*t - 0*t + 10. Does a = t?
False
Let u be (-5)/(3*4/3). Suppose -2*p = 5 - 1. Is u >= p?
True
Suppose -4*g - 2*v = 30, 0*v = 5*v + 5. Which is smaller: g or -11/2?
g
Let p = -0.36 + 0.65. Let a = 0.29 - p. Which is smaller: -1 or a?
-1
Let d be 2/(-5) + 17/5. Suppose 31 = -4*k - 25. Let s = k - -16. Is d at most as big as s?
False
Let b(a) = -a**2 + 5*a + 9. Let d be b(8). Let i = d - -14. Let l = -3 - -2. Is l <= i?
True
Let q(k) be the second derivative of -k**4/12 + k**2/2 - 2*k. Suppose -5*c + 4*n + 2 + 3 = 0, -3*n = -2*c + 2. Let l be q(c). Which is bigger: -1/3 or l?
l
Let c be 1 + -3 + 10/1. Let p = 11 - c. Is 8/5 at most p?
True
Let n be ((-1)/2)/((-110)/(-8)). Let f be 2/3 + (-40)/132. Let i = n - f. Which is greater: 2/7 or i?
2/7
Let a = 0.2 + -0.1. Let n(x) = -x**2 - 4*x - 2. Let g be n(-5). Let y = -7 - g. Is y less than a?
True
Suppose 5*c + 0*c - 10 = 0. Let o be -5 - (0 + -2)/2. Let t be 3 + 3/(6/o). Is c less than or equal to t?
False
Suppose 1 + 5 = -3*w. Suppose -q = 4*s + 4*q - 17, -25 = -5*q. Do s and w have different values?
False
Let o be (-2)/(-4) + 1/(-3). Let h be ((-6)/(-4))/(-3)*0. Is h less than o?
True
Let m = 3 - 5. Let k be (-8)/28 + (-9)/(-7). Is k not equal to m?
True
Let c be -3*1*(-61)/(-21). Let p be 10/15 - (-50)/6. Let y = p + c. Are y and -1 non-equal?
True
Let l be 5826/(-945) + 6 + (-2)/(-14). Which is smaller: l or 0?
l
Suppose 0*i + i - 8 = 0. Let m(v) = -3*v**2 + 35*v + 32. Let g(c) = -c**2 + 12*c + 11. Let n(l) = 11*g(l) - 4*m(l). Let h be n(i). Which is bigger: -8 or h?
h
Let z be (-58)/(-18) + (-2)/9. Let d = z + -2. Which is smaller: d or -4/9?
-4/9
Let q be -3 + (-1)/5 + (-64)/(-20). Which is bigger: q or -1/123?
q
Let j be ((-1)/4)/(4 - 85/20). Is j less than 13?
True
Let i = -4 - -2. Let v = -175 + 517/3. Which is smaller: v or i?
v
Let w = -4 + 4. Let x = w - 0.1. Let u = 0.1 + x. Which is smaller: u or -1/2?
-1/2
Let l = -4.36 - -3.7. Let y = 0.7 + l. Which is greater: -0.2 or y?
y
Let g = -67/3 - -22. Let d be -2*(10/(-4) - -2). Let k be (d/(-3))/(1/(-3)). Is g less than or equal to k?
True
Let n be (-3512)/90 + (-2)/(-9). Let q = 39 + n. Which is smaller: q or 3/2?
q
Let u = -3 + 7. Let s = 3 - u. Let j be (0 - 0)/(0 - 2). Which is smaller: j or s?
s
Let a = -4 - -3. Suppose 30*q = 4*g + 26*q - 16, -2*q - 8 = 0. Is a <= g?
True
Let m = -0.08 - 2.92. Which is smaller: -4/7 or m?
m
Let p be ((-6)/(-9))/(4*2/(-12)). Which is smaller: -2/47 or p?
p
Let b = 0.13 + -4.13. Let j = 2 + b. Is 0 bigger than j?
True
Let a(p) = p. Let y be a(-1). Suppose 7*j - 3*j = 248. Let c be 14/63 + j/(-36). Does c = y?
False
Let t be (2/(-6))/(6/(-54)). Suppose 0 = -2*g + 16 - 6. Suppose -5*q + 10 = -g. Are q and t nonequal?
False
Suppose 2*w = -t - 14, 5*w + 2*t + 37 = -0*t. Is w bigger than 0?
False
Suppose c + c = 8. Suppose c*y + 8 = 24. Which is smaller: y or 1?
1
Let z = -32 - -19. Which is smaller: z or -11?
z
Suppose -12 = m - 2*m - 4*k, -4*m - 5*k = -48. Suppose -b + 0*b - 4*f = -11, 4*f - m = 0. Let y be 1 + b + -1 + 1. Which is greater: y or 1/3?
1/3
Let p = -128 + 105. Is p at most 0?
True
Let v = 2 + -3. Let q = v + 1. Suppose 2*j - 6 = q, 0 = -5*k + 3*k - 5*j + 13. Is -2 bigger than k?
False
Let c = -2 - -2. Let g be ((-4)/10)/(4/(-5)). Let v = -1 + g. Is v bigger than c?
False
Suppose -3*v - 5*x + 5 - 29 = 0, -28 = v - 5*x. Let g = -15 - v. Do g and -2 have different values?
False
Let f = -2.9 - -3. Let n = 3.06 - 0.06. Let k = -3 + n. Which is smaller: f or k?
k
Let k = 7 - 5. Suppose -4*b + 4 = -4. Are k and b equal?
True
Let g(b) = b**2 + 14*b - 5. Let y be g(-15). Let m(c) = -3*c + 1. Let l be m(-3). Are y and l non-equal?
False
Let w(s) = -s**2 - 8*s - 7. Let u be w(-7). Let x be 1*11/4 - 2. Which is greater: x or u?
x
Let f = -0.034 + 0.234. Which is bigger: f or -2/3?
f
Suppose -4*q + 2*y - 14 = 0, -5*y = 2*q - q - 13. Let d be (8/q - 0)*-1. Which is smaller: 0 or d?
0
Let m = -1.2 + 1.1. Let p = 1 + -1.11. Let c = p - -0.18. Are m and c nonequal?
True
Let f = -4.8 + 2.6. Let n = f - -2.03. Let i = n + -0.03. Which is smaller: i or 0.1?
i
Let t be 4/8 - 693/1410. Is -1 <= t?
True
Let y(f) = f**2 - 5*f - 4. Let j be y(6). Let v be (-5 - 1) + (1 - -2). Let i be 1/(v + j) + 3. Is i greater than or equal to 2?
True
Let n = -2/17 + 29/102. Is n < -8?
False
Let a = 48 - 23. Let j = 173/7 - a. Is j not equal to -1?
True
Let g = -8 + 13. Let b be 1/1 - 18/(-4). Which is bigger: g or b?
b
Let n = -3 - -5. Suppose 0 = -n*t - 6, 7*t - 4*t + 7 = -z. Suppose z*v + 0 = 2. Is 2 bigger than v?
True
Let k be 15/(-100)*(-15)/(-6). Let p = -2/1137 + -4421/379. Let u = p + 12. Which is bigger: u or k?
u
Let x = -0.1 + -0.4. Is -2/23 > x?
True
Let d be (8/6)/((-28)/(-105)). Suppose 3*p - 9 = -2*i, 0 = 4*p - 3*p - 5*i - 3. Which is bigger: d or p?
d
Suppose k = -0 - 3. Let f be 2*3*(-20)/24. Which is bigger: f or k?
k
Let a = 6 - 5. Let v = a + -0.8. Let t = 5.3 - 5. Which is smaller: v or t?
v
Let n = 436 + -3058/7. Let v(r) = -r**2 + 7*r - 1. Let x be v(7). Is x not equal to n?
True
Let z be (0 + -2)/((-2)/3). Let m be (186/45 - 4) + 1/5. Which is smaller: m or z?
m
Let x = -17 + -34. Is -50 != x?
True
Let l = 3 + -3. Let a be (0 + 2)*(-22)/(-11). Suppose 4 = -2*g + h, l*h - 8 = a*g - 3*h. Is g smaller than -1/2?
True
Suppose 0 = 85*y - 84*y + 1. Let l be (0 - (1 + -2)) + 0. Is l at least as big as y?
True
Let v = -6 - -9. Suppose -3*l + 3 + v = 0. Is 5/6 < l?
True
Let x = -4 + 4. Suppose x*s = 3*s. Let z be (-1 - -1) + 2 + s. Is 1 at most as big as z