bigger: g or c?
c
Let n = 142 - 148. Which is bigger: n or -11/2?
-11/2
Let x = 95178/5 + -19160. Let o = 125 + x. Let s be 2*(3/2 - 1). Which is smaller: s or o?
o
Let b = -507/5 + 101. Which is smaller: b or 0?
b
Suppose 5*s + 3 + 2 = 0. Let u be -2 + 2 + -1 + s. Let v = -70 + 208/3. Which is smaller: v or u?
u
Let n(s) = -s**3 + 7*s**2 - 7*s + 3. Let d be n(6). Let g = 8 + -3. Suppose -5*x - 5*a = 0, -g*a = 4*x - 0*a - 3. Is d bigger than x?
False
Let g = 247/30 - 53/6. Which is greater: -2 or g?
g
Let g = -2.5 + -1.5. Is g greater than or equal to 1/3?
False
Let o = -8 + -15. Let k = o + 20. Which is bigger: -6 or k?
k
Let j = -5 + 4. Let s be 1/(-9)*(-2)/2. Is s greater than j?
True
Suppose 17*p + 12 = 5*p. Let w be (-34)/6 + 5/(-15). Let t be (3 + -2)*8/w. Which is bigger: t or p?
p
Suppose 30*f + 6 = 28*f. Is f greater than or equal to -1?
False
Let j be (-1)/(-4) + (-87)/60. Which is smaller: -1 or j?
j
Let r(u) = -u**2 + 13*u - 17. Let k be r(12). Let c = -7 - k. Which is smaller: c or -1?
c
Let h(n) = -n**3 - 3*n**2 - 4. Let b be h(-4). Suppose -4*y + 4 = b. Is -2/3 less than y?
False
Let m = -57 + 102. Let u be ((-7)/((-84)/m))/(-2). Which is smaller: u or -1?
u
Suppose 3*w = 4*w + 9. Suppose 0 = -v - 6 - 0. Let l be 0 - v/w*-1. Is 1 at most as big as l?
False
Let t be 14/2*(-3)/(1 - -2). Let d be ((-12)/9)/((-2)/(-12)). Is d at most t?
True
Let m = 2.1 + -2. Suppose -4*k - 4*d = -2*d - 18, 27 = k + 5*d. Which is smaller: k or m?
m
Let m = 72 - 67. Does 2/9 = m?
False
Suppose -7 = 5*l + 3. Let j be ((-2)/l - 0) + 1. Suppose -2*m + 5*m = v - j, -5*m + 6 = 3*v. Which is smaller: -1 or m?
-1
Let v(u) = -u**2 + 3*u - 3. Let s be v(2). Let b be (2 + s)*(-1 - 0). Which is smaller: b or -1/17?
b
Suppose -5*z + 3*z = 4. Is -2.8 != z?
True
Suppose 1 + 13 = 2*j. Let a = 9 - j. Suppose 3*n + 3*t + 9 = 0, -9 = -5*n + a*t + 11. Is 2 at most as big as n?
True
Suppose 0 = 6*l - l - 155. Let p = l + -61/2. Let j be (-6)/12 - (2 - 2). Is j not equal to p?
True
Let s = -5 - -1. Let a be (-3)/((-3)/(-2 + 5)). Suppose 0 = c - 0*c + a. Is s > c?
False
Let s be (2 - 0)*(-42)/12. Which is greater: s or -8?
s
Let s = 52 + -151/3. Let f be 7*(-2 + (1 - -2)). Let t = f + -4. Is t <= s?
False
Let n be (0 + -2)*138/12. Is -23 > n?
False
Suppose 4*u = -20, -3*r = u + 261 + 260. Let v be 4/(-18) + r/(-288). Is -1 not equal to v?
True
Let k be ((-8)/(-21))/((-14)/3). Let w = 167/245 + k. Which is smaller: -0.1 or w?
-0.1
Let y = -27 - -46. Does -1 = y?
False
Let f(l) = l**2 - 8*l + 9. Let r be f(6). Let p(w) = w**3 - 9*w**2 + 15*w - 10. Let a be p(7). Are a and r unequal?
False
Let h = -0.37 - 2.63. Is h greater than or equal to -4?
True
Let t = -134 - -133. Which is smaller: -48 or t?
-48
Let v = 2 - 3. Let n be (2 + -1)/((-7)/62). Let m = -64/7 - n. Which is bigger: v or m?
m
Suppose -6*l = -8*l. Is l greater than 0?
False
Let j = -1884 + 186514/99. Is 0 at least j?
True
Let s = 2 + 0. Let g = -1/242 - -303/121. Which is bigger: g or s?
g
Let m = -42 - -51. Is -1/3 bigger than m?
False
Let h = 25 - 31. Which is greater: h or -34/7?
-34/7
Let p(q) be the third derivative of q**6/120 - q**5/10 - q**4/12 + 3*q**3/2 + q**2. Let l be p(6). Let k = l - -4. Is 2/3 bigger than k?
False
Let s = 8 + -8. Suppose 4*q + f - 8 + 1 = s, q - 3 = f. Is -0.2 at most q?
True
Let d(f) = -f**3 - 6*f**2 - 5*f + 2. Let b be d(-5). Suppose -2*a + b*u - 7 = 11, 3*u = -a + 11. Which is smaller: a or -2?
a
Let m be (-40)/30*(-3)/2. Is 1 greater than m?
False
Let u = -1 - 0. Let j = 3 + -2.9. Let d = 0.1 - j. Is d at most as big as u?
False
Let m = -0.124 + 0.124. Which is greater: 32 or m?
32
Let k be 12/10*2/(-6). Suppose 8 = 4*r, 0*r + 18 = 5*i - r. Suppose -i*t = -t. Which is bigger: k or t?
t
Let x = -11 - -15. Suppose 0 = -0*s - x*s. Suppose 2*t - 8 + 27 = -5*v, -2*t + 26 = -4*v. Which is bigger: t or s?
t
Let n be 1*-5 - (11 - 14). Let b be (8/3)/(n/3). Suppose 0 = -4*r + 5*h - 32, -r + 0*h - 19 = -4*h. Is b greater than r?
False
Let r = 0.2 + -2.2. Let t = 7 - 13. Which is smaller: r or t?
t
Let u = 1.7 + 13.3. Let r = 13 - u. Are 2/9 and r unequal?
True
Let k = 417 - 631. Let c = -3640/17 - k. Is 0 bigger than c?
True
Suppose 2*a + a = -3. Let t be ((-2)/(-1))/(2 + -1). Let o be (t + -1)/((-1)/1). Is o less than a?
False
Let g = 8 - 6. Is g at most 7/2?
True
Let q = 0.9 + 0.5. Is 0.1 at most q?
True
Suppose -v - 4*v = 45. Which is bigger: -8 or v?
-8
Let g = 218 + -218. Let n = 86/17 + -841/136. Which is bigger: g or n?
g
Let c = 317 + -2541/8. Which is smaller: -1 or c?
-1
Suppose -c + 3*l = -4*c + 9, 3*c = -2*l + 5. Which is smaller: -5 or c?
-5
Let n = 634 + -10141/16. Which is bigger: n or -1?
n
Suppose 2 + 1 = -3*k. Which is smaller: k or -13?
-13
Let f = 17 - 13. Let l(h) be the second derivative of -h**3/6 + h**2/2 - 2*h. Let r be l(f). Which is bigger: -3/2 or r?
-3/2
Suppose -5*q + 10 = -0*x + 5*x, 4*x = 3*q - 20. Suppose -7 + q = -3*s. Which is bigger: 0 or s?
s
Let d = 96 + -668/7. Which is bigger: 1 or d?
1
Suppose -f = -3*f + 26. Let h(z) = -z**2 + 12*z + 11. Let x be h(f). Let o(v) = -2*v + 6. Let l be o(4). Is l smaller than x?
False
Let r be 0 + 1/(-6 - -2). Are -58 and r non-equal?
True
Let n be (-76)/5 - (-2 + 3). Let g = -16 - n. Is 1 > g?
True
Let v(r) = -r**3 + 3*r**2 - r - 1. Let m be v(2). Which is smaller: m or -4?
-4
Let k be (-11)/3 + (-3)/9. Let q(g) = -2*g - 6. Let u be q(k). Let j(p) = p**2 - 4*p - 5. Let n be j(5). Which is bigger: n or u?
u
Let g = 0 - 0. Let u = 13/5 + -101/35. Is g greater than u?
True
Let b(a) = -a**3 + a**2 - a + 1. Let x be b(0). Suppose -2*g + 11 - 5 = 0. Is x > g?
False
Let v(z) = -z**3 + 7*z**2 + 9*z - 4. Let a be v(8). Suppose 4*n - 2*k - 58 = 0, k + 35 = a*n - 18. Let h be (-27)/n - (-1)/4. Is h greater than 3?
False
Let n(l) = -2*l + 4. Let r be n(2). Is -2/25 != r?
True
Let y = 19 - 20.6. Let q = -0.4 + y. Let g = 7 + -15/2. Which is greater: q or g?
g
Let m(c) = -32*c**3 + 2*c**2 + c - 2. Let y be m(1). Are y and -32 non-equal?
True
Let p(y) = 2*y**2 - 8*y + 17. Let v be p(7). Which is smaller: 58 or v?
58
Let t be -1 + 1 - 9/(-5). Which is smaller: t or 2?
t
Let k be (((-16)/(-450))/2)/((-8)/40). Which is smaller: k or 1?
k
Let m(a) = a**2 - 13*a - 49. Let p be m(16). Is 2/211 > p?
True
Let h be -6*(10/(-6) + 1). Suppose 0 = -h*c + c + 9. Let i = 7 - 6. Which is smaller: c or i?
i
Let c = 2.9 + 0.1. Let u = -3.3 + c. Is u at least as big as 0?
False
Let n = -15 + 11. Let y be ((-12)/(-40))/((-6)/n). Is y at most 0?
False
Let b be (4 - 1)/(3/(-2)). Let r be (-3)/6 - 1/b. Is r greater than 1/4?
False
Let q = 76 + -68. Is q not equal to -1/5?
True
Let b(f) be the third derivative of -f**6/120 - f**5/15 + f**4/24 + f**3/2 + 4*f**2. Let k be b(-4). Which is greater: k or 2?
2
Let t = -0.43 + 3.33. Let z = t - 3. Which is smaller: z or -0.02?
z
Let x = -7 - -6.65. Let o = 18.35 + x. Let w = 13 - o. Which is greater: 0.1 or w?
0.1
Let f = 1375 - 4057/3. Which is smaller: f or 22?
22
Let n = 49 + -49. Let a = -293/9 - -97/3. Which is bigger: n or a?
n
Let h = -0.1 - -0.1. Let p = 10 + -7. Let s be 4/16 + p/20. Which is smaller: h or s?
h
Let j be 1/2 - 105/6. Let v = -86/5 - j. Suppose 0 = 3*i - 5*h + 15, h + 0 = 2*i + 3. Is v >= i?
False
Let s = -51 + 3. Which is smaller: -49 or s?
-49
Suppose 6*l - 3*l = -2*q - 63, 2*q = 3*l - 69. Is q bigger than -34?
True
Let l = 0.3 + -0.2. Which is bigger: l or 2?
2
Let y(x) = x**3 - x**2. Let k be y(-1). Let g be k + ((-60)/(-1) - -2). Let l be (g/(-9))/(-5) - 2. Is l <= -2?
False
Let x = -209 - -204.22. Let d = -0.85 - x. Let w = 0.07 + d. Which is smaller: 2/5 or w?
2/5
Let q be 2/8 + (-638)/952. Let a = 2375 + -40363/17. Let m = a + q. Is 3/4 less than m?
False
Let t = -6/7 + 1. Let u = 1/4 - -1/4. Which is greater: u or t?
u
Let b be (-2)/(87/(-21) - -4). Is 12 < b?
True
Let y = -2 + 4. Let l be 9/(-12)*2 + y. Suppose 2 = 3*r + 5. Which is greater: l or r?
l
Let k(z) = -7*z - 3*z + 1 + 3*z. Let n be k(1). Let a be 47/(-7) + 10/(-35). Is n at least as big as a?
True
Suppose -k = 5*o + 4*k + 10, 5*k = -4*o - 10. Which is smaller: 2 or o?
o
Let l be ((-2)/20)/(2/16). Let q be 4 + (-2 - -2 - 1). Let k = 1 - q. Which is smaller: k or l?
k
Let g be (3/(-2) - 2)*-4. Let q be (0 - g)*(