u. Which is greater: n or -0.3?
n
Suppose 4*r + r = -2*g + 422, 0 = 4*g + 2*r - 812. Suppose 154 + g = 5*m. Let f = -637/9 + m. Which is smaller: -1 or f?
-1
Let h = 82 - 544/7. Which is bigger: h or 5?
5
Let t(p) = p. Let j be t(-4). Let z(a) = 4*a**2 + 4*a + 2. Let d be z(-2). Let l be ((-15)/d)/(1/2). Is l bigger than j?
True
Let b = 853/1974 + -1/282. Is b greater than or equal to -0.07?
True
Let j be 0 + (2 + -21 - -3). Which is greater: j or -17?
j
Let c = -19/12 - -4/3. Let x = 3 + -2.5. Which is smaller: c or x?
c
Let p(c) be the third derivative of -5/6*c**3 + 5/24*c**4 - 1/12*c**5 + 1/120*c**6 - 2*c**2 + 0 + 0*c. Let b be p(4). Which is bigger: b or -2/5?
-2/5
Let p = -0.044 + 3.074. Let b = p - 0.03. Are b and -1 non-equal?
True
Let f be (-4)/(-6) - (-80)/(-12). Let q = f + 5. Is q bigger than 1/6?
False
Let j = 3/103 - -179/927. Let k be 40/(-30)*(-1)/(-2). Which is bigger: k or j?
j
Let l = 79 + -79. Which is smaller: l or 1?
l
Let z be (1 - 0/(-2))*1. Let v = -1564 + 51620/33. Let d = 2/33 - v. Which is greater: z or d?
z
Let s = 185/2 - 93. Let v = 1 + -1.2. Which is smaller: v or s?
s
Let j be ((-8)/(-12))/(16/(-6)). Which is smaller: 28 or j?
j
Let r(h) be the second derivative of -2*h**3/3 - 3*h**2 + h. Let z be r(-4). Let y be ((-1)/(-3))/(z/(-6)). Is 1 bigger than y?
True
Let r(t) = -24*t**3 - t**2 - t - 1. Let m be r(-1). Let j = 35 - m. Let y = j - 34/3. Which is bigger: 0 or y?
y
Let b(c) = 4 + 4*c - 4*c - c**3 - c**2. Let y be b(0). Suppose 0 = -5*z - p - p + 30, p = z + 1. Is z >= y?
True
Let l be 1 - (-2 + 0 + -1). Suppose -l = 2*h - 0*h. Let t be 0/(-2) - 20/30. Which is smaller: h or t?
h
Let n be 17/3 + (6/(-9) - -1). Is n <= 7?
True
Suppose -3*a + 50 + 25 = -5*q, -5*q - 2*a = 75. Let o be -6*((-15)/(-6) - 0). Do o and q have the same value?
True
Let u = 3.13 - 0.13. Let a = u - 7. Which is greater: a or 3/5?
3/5
Let b = 72.9 - 73. Let c(t) be the second derivative of -t**3/3 + 2*t**2 + t. Let m be c(3). Which is greater: m or b?
b
Suppose 5*v = 3*u - 15, 4*u + 8 = -2*v + 28. Suppose -14 = -u*d + 1. Which is smaller: 2 or d?
2
Let h be (-114)/(0/(-1) + 1). Let q = -572/5 - h. Is q > -2/5?
False
Suppose 5 = 5*l - 10, -5*y + l = -997. Let t = 1397/7 - y. Which is smaller: t or 0?
t
Let u(s) = s + 6. Let i be u(7). Let l = 8 - i. Which is smaller: l or -4?
l
Let p(i) be the first derivative of -i**3/3 - 3*i**2 - 6*i - 2. Let m be p(-5). Which is greater: -2/5 or m?
-2/5
Let t = -49 - -41.6. Let i = t - -2.4. Which is smaller: 4/7 or i?
i
Suppose -11 = -a + 2*v, 4*v + 6 = -2*a - 4. Suppose 5*k - 2*f = -19, -a*f + 4 = -2. Is k > -1?
False
Let l = -1298 - -608. Let f = l - -685.89. Let x = 0.11 + f. Which is greater: 1/3 or x?
1/3
Let v = -1.3 + 0.3. Let u = 0 - v. Let w = 1/4 - -1/12. Which is smaller: w or u?
w
Let v be (-75)/7 + 6/(-21). Which is smaller: v or -12?
-12
Let s = -2.15 - -3.15. Is s at least as big as -14?
True
Suppose -b - 115 = 3*k + 3*b, -2 = 2*b. Which is greater: k or -36?
-36
Let i be 99/44*8/(-3). Is i > -6?
False
Suppose 0 = 2*z - 6*z. Let f = 4 - 7. Which is smaller: f or z?
f
Let i = -31 + 6. Let z be ((-12)/(-10))/(4/i). Let v = 8 + z. Are v and 1/5 non-equal?
True
Let p be ((-56)/(-490))/((-4)/10). Let m be -1 - (-12)/(-3)*-1. Suppose q + b = 0, -m*b = 4*q - 7*b. Which is greater: p or q?
q
Let v be 246/5*16/12. Let p = -66 + v. Is p at least as big as 0?
False
Let b be -2 + (-1)/2 + 1. Let v = -4 + 3. Which is bigger: b or v?
v
Let c = 6.19 + -0.19. Which is smaller: c or 2/7?
2/7
Suppose 3*b = b + 6. Let l(k) = 5*k**2 + 5*k + 12. Let n(x) = 14*x**2 + 16*x + 37. Let j(a) = -11*l(a) + 4*n(a). Let y be j(-7). Does b = y?
False
Let k = -4 + 4. Which is smaller: k or -3?
-3
Let v = -279 + 19249/69. Let b = 61/276 - v. Which is smaller: b or -1?
-1
Suppose 6*s - 5*s = -1. Let m = 0.1 - 0.3. Which is bigger: m or s?
m
Let p(j) = -j**3 - 5*j**2 - 3*j + 2. Let f be p(-4). Let m be f/(9 + 0 + 2). Let c = 1 - 0.8. Is m greater than c?
False
Let a = 1.96 + 0.04. Let f be 6/8*-1*(5 - 1). Which is smaller: a or f?
f
Let w be 1 - (-8)/(-2) - -5. Suppose -w*t - t = -12. Which is bigger: t or 3?
t
Let n be (2 - -1) + (-1 - -4). Suppose 0 = y + 2*y - n. Suppose 0 = -3*u - 4*h + 2, -3*h = 2*u - y*h + 2. Is -3 less than or equal to u?
True
Let n be ((-2)/(-5))/(7/5 - 1). Which is smaller: n or 6/41?
6/41
Let y = -0.23 + 2.23. Is 0.05 bigger than y?
False
Let d = -6 + 6.6. Let y = 0.22 + -0.12. Which is smaller: y or d?
y
Let j = -9 + -25. Does -34 = j?
True
Let o be (2/(-4))/(3/(-6)). Let k be o*(-27)/6*-2. Is k at most as big as 8?
False
Let z(t) = -t + 0 + 6 + 1. Let o be z(0). Suppose -o = -3*r + 5. Is r > 3?
True
Let y be 39/65 + (226/(-110) - -1). Which is smaller: y or -1?
-1
Suppose -r = -3 - 5. Let m = 22/3 - r. Which is greater: m or -1?
m
Let w(z) be the second derivative of z**3/3 + 3*z**2/2 + 3*z. Let g be w(-3). Let s be ((-4)/6)/((-2)/g). Which is greater: s or -2/5?
-2/5
Let g(p) = -2*p**3 + 3*p**2 - 4*p + 2. Let w be g(2). Let z(n) = n**2 + 7*n. Let h be z(-5). Is h >= w?
True
Suppose -3*u - 4 = -n, 3*n - 3 = -2*u + 9. Is 6 < n?
False
Let b(r) = r**2 + 2 + 6*r + 4*r + 2. Let u be b(-9). Which is smaller: u or -4?
u
Let w(n) = -5*n + 1. Suppose 0*p + 25 = 2*l - p, 0 = 5*l + 5*p - 25. Let i = l - 9. Let b be w(i). Which is smaller: b or 0?
b
Let y = 1/24 - -1/12. Let r be ((-3)/9)/(8/(-9)). Let n = y - r. Are n and -2 nonequal?
True
Let s(v) = -v**3 + 5*v**2 + 3. Let f be s(5). Suppose -4*w + f*w - 6 = 0. Let o = w + 5. Which is greater: 1 or o?
1
Let w = 12 - -1. Do w and 13 have the same value?
True
Let v be 12/6*1/2. Suppose 0 = -5*y - 3*k - 37, 4*k - 2*k = -5*y - 33. Is v < y?
False
Suppose 0*u = -2*u - 8, 3*t = 2*u - 49. Let y = -20 - t. Is 1 smaller than y?
False
Let m be 1 + (-5)/(0 - -1). Let p be -1 - (-8)/(3 - 5). Which is greater: m or p?
m
Let a = -8/21 + -2/7. Is -1 >= a?
False
Suppose 5 = -2*l - w - 4*w, -5*w - 35 = 5*l. Let k(z) = -z**3 - 10*z**2 - 2*z - 15. Let p be k(l). Which is bigger: p or 6?
6
Let z be (-1)/6*(-4 + 2). Let l be 3 + (-17)/12*2. Let s = l + z. Is 0.1 > s?
False
Let h = -136 + 427/3. Let g = h + -6. Which is greater: -10 or g?
g
Let a = -7.9 - -8. Which is bigger: -71 or a?
a
Suppose 3 = 2*l - 3. Which is greater: l or 4?
4
Let f = 19.5 - 19.4. Is f at most 16/11?
True
Let u be (-2)/5 - (-7)/5. Suppose 3*c = 4*c + 4. Let k be u/2 - (-2)/c. Which is smaller: 1 or k?
k
Let o be (-80)/14 + 3 + 3. Which is bigger: o or 3?
3
Let j = 31 + -115/3. Are j and -8 unequal?
True
Let f be 831/2037 + (-9)/21. Is f at most 0?
True
Let l be 4/(-6) - 3548/(-120). Let n = -29 + l. Which is bigger: 1 or n?
1
Suppose 3*g = 8*g - 60. Suppose 5*c - g = 3. Suppose 2 = -j, r + c*j = 5*j + 3. Does r = -1?
True
Suppose -2*j = -0*j + 6. Let a be 3/6 - j/(-2). Let y be 0/((-2)/(-1)) + -1. Is y > a?
False
Let l = 2 - -1. Suppose -4*a + u = -33, -a - l*a - 4*u = -28. Is 8 < a?
False
Let d = 3 - 0. Suppose 0 = -3*t + d. Suppose 0 = -3*i + 9*i - 6. Is t smaller than i?
False
Suppose 6*b - 4*b - 6 = 0. Is b at most as big as 13/6?
False
Let z = -0.075 - 0.225. Is -9 at most z?
True
Let z = -28 + 30. Is -3 >= z?
False
Suppose -4*m + 6*n = 2*n - 16, -5*n - 29 = 4*m. Suppose 0 = -4*z - 5*i + 79, 3*z - 4*i - 91 = 7. Let l be z/(-36) - (-2)/9. Which is smaller: m or l?
m
Let a be 3*2 + 4 + -8. Which is greater: -1 or a?
a
Suppose 12 = 2*g + 2*g - 2*w, 20 = -5*w. Let z(d) = 2*d. Let b be z(g). Which is bigger: b or 5?
5
Let j be (10/50)/((-3)/(-15)). Is 3/4 < j?
True
Let l = -13.68 + -0.32. Let q = l + 16. Do q and -2/5 have different values?
True
Let j be 703/(-38) - ((-2 - -3) + -3). Which is smaller: -18 or j?
-18
Suppose -33*d + 6 = -31*d. Which is smaller: 7 or d?
d
Let o(q) = -q**2 - 6*q - 5. Let f be o(-6). Let a be ((-6)/f)/((-2)/(-10)). Let g be 7/a - (-1)/(-2). Is 1/4 less than or equal to g?
True
Let p = 0.03 - -0.21. Let l = p + -0.4. Are l and 0.1 equal?
False
Suppose 2 = 4*m + 2*g, -3*g = m - 6*m + 19. Is m at least as big as 0?
True
Let y(r) = -r**3 - 4*r - 4. Let q be y(-3). Let x(k) = -2*k + 2. Let l be x(2). Let u be (-10)/q*(l + 1). Is 1 bigger than u?
True
Let z be (-3)/2*(-8)/3. Suppose -d = -2*b + 3*b - 1, -2*b = -d + 7. Let x = d - z. Which is bigger: 0.3 or x?
0.3
Suppose