 least as big as 103?
True
Let t be 0/2 + (1 - -2). Suppose h + t = -0. Let p(g) = 2*g + 8. Let n be p(-6). Which is smaller: h or n?
n
Suppose n + 1 = -5*j, 5*n - 9 = 5*j + 4*n. Is j at least -0.04?
False
Suppose l - 24 + 4 = 0. Suppose 5*g + t - 6*t = 30, l = 5*g - 3*t. Which is bigger: g or -2/61?
g
Let z = 0 - 0.1. Let w = z - -0.13. Let i = w - -0.27. Which is greater: -2/5 or i?
i
Let g = 0.75 - -0.25. Which is smaller: g or 0.3?
0.3
Let r(u) = u**3 - 6*u**2 + 2*u - 9. Suppose 9*a - 4*a = 30. Let f be r(a). Suppose 0 = -4*o - 3*b + 19, -3*b + 11 = -5*o + o. Which is smaller: o or f?
o
Let w = 1.2 + -0.8. Which is bigger: 1 or w?
1
Let c be 4*((-4)/(-8) + -1). Are c and 0 unequal?
True
Suppose g + 1 = 5*m - 0*m, -4*g + 5*m + 26 = 0. Let j = 10 - g. Let u = 3 - 2. Is j less than u?
False
Suppose 2*q = q + 4. Suppose -q*u = -0*u + 2*x + 10, -5 = -5*x. Let a = 1 + u. Is -1 less than or equal to a?
False
Let t be (5/2)/(3/4). Which is greater: 3 or t?
t
Let q = 29 - 35. Which is bigger: -11/2 or q?
-11/2
Let k be 3/1 + (50 - -4). Let y be (-2)/k*(2 + 1). Which is smaller: y or -1?
-1
Let f = 0.987 + 0.013. Which is smaller: -0.9 or f?
-0.9
Suppose 0 = -6*q + q + 110. Let b be 3 + (q/(-9) - 1). Which is bigger: -1 or b?
b
Let c be (-3)/9*(-3)/2*0. Let g = 156 - 3431/22. Are c and g equal?
False
Suppose 3*p - 5*v - 6 - 19 = 0, -3*p = -v - 29. Suppose 3*x = -1 + p. Suppose -x = -0*k - 3*k. Does k = 2?
False
Suppose 2*m = 7*m. Let v be 32/(-5) - 4/(-10). Let d be v/(-14)*(-2)/3. Are d and m non-equal?
True
Let r be (-8)/((-128)/(-2)) + (-34)/(-16). Is r equal to 0.14?
False
Let b = -34 - -41. Is 6 != b?
True
Let w(c) = 6 - c + 2 - 3*c + 3*c. Let r be w(7). Are -2/15 and r equal?
False
Let w(h) = -h**2 - 8*h - 16. Let n be w(-3). Which is smaller: n or 2/21?
n
Let h be (-63)/(-98) - 2/4. Which is smaller: 1 or h?
h
Let t = 5.181 + 0.019. Let u = -8 + 13. Let x = u - t. Which is bigger: x or 1/2?
1/2
Suppose -6*d = -s - 4*d + 6, 6 = -2*d. Are s and 8/9 non-equal?
True
Let l = -5.6 + 0.6. Let m = -3 - l. Let c = 35 - 73/2. Which is greater: c or m?
m
Let w(d) = d**2 - 6*d + 6. Let y be w(5). Let t(k) = k + 7. Let m be (4/3)/((-8)/36). Let a be t(m). Is y != a?
False
Suppose 4*b = -5*y + 33, -5*y = -4*y + 5*b - 15. Let i(o) = 5*o**2 + 8 - 2 + 4*o - o**3 - 3*o**2 + 2*o**2. Let q be i(y). Are 1/4 and q non-equal?
True
Let x be 9/3*17/3. Let m be 3/9 + x/3. Is -1/3 >= m?
False
Let q be -1*1/(-9)*-2. Suppose -5*p + 3 = 5*w - 17, 3*w + 28 = 5*p. Let c = 4 - p. Which is bigger: q or c?
q
Suppose 2*b + 0*b = 0. Suppose 0*h = -2*h. Do h and b have the same value?
True
Let h be (51/(-9))/(-1) + -4. Is h greater than or equal to -3?
True
Let u be (45/(-30))/((-3)/(-16)). Let r be (-2)/16 + 7/u. Let o be 1/(-2) + (-13)/(-34). Is r less than o?
True
Let h be ((-3)/1)/(-6)*9. Is h at most 6?
True
Let c = 8.8 + -9. Is c not equal to -9?
True
Suppose -26 - 9 = -5*a. Suppose -a + 3 = 4*b. Which is smaller: b or -3?
-3
Let u be 3/(-18) - (-19)/6. Let o be (-2)/u*(-27)/(-90). Let c be ((-1)/(-2))/(2/(-4)). Which is smaller: c or o?
c
Let z be 3/(3/(-15) - (-128)/490). Which is bigger: z or 50?
50
Suppose -4*u - d + 0 = -6, 3*d = 6. Which is bigger: u or -2/5?
u
Let b = 4 + -6. Let f(i) = i**3 + 6*i**2 + i + 2. Let t be f(-6). Which is greater: t or b?
b
Suppose 0 = -5*l + i + 47, 3*l = -0*l - 5*i + 45. Let o be l/(-4)*70/(-150). Let d(s) = -s + 7. Let n be d(6). Are o and n nonequal?
True
Let u(f) = -2*f. Let v be u(-2). Let t = 4 - v. Which is bigger: -5/4 or t?
t
Let n = -9 - -11. Which is greater: 4 or n?
4
Let a be ((-4)/(-530))/((-2)/(-209)). Let u = 10/53 - a. Let w(v) = v + 1. Let o be w(-2). Which is greater: o or u?
u
Let h = 13 + -8. Let f = h + -3. Suppose 2*p + p - 10 = f*y, -1 = -5*y + p. Which is smaller: 4/7 or y?
4/7
Suppose -2*z - 4*a = 48, 59 = 4*z - a + 164. Which is smaller: -22 or z?
z
Let g be ((4 + -3)/1)/(-1). Let w be (-2)/(-1) - (1 + -1). Let t = w + g. Which is greater: 2 or t?
2
Let g = 3 - 3. Let x = 0.2 - 0. Let h = -0.3 + x. Which is greater: g or h?
g
Let r = -0.029 + -2.971. Is -1 <= r?
False
Let k = 31/38 + -6/19. Which is bigger: -0.07 or k?
k
Let v = -4.6 - -5. Is v not equal to 0?
True
Let y(h) = -h**2 - 8*h + 11. Let i be y(-10). Is i at most -8?
True
Let y(n) = -5*n**3 + 5*n**2 + n + 8. Let f(s) = s**3 - s**2 - 1. Let p(t) = -6*f(t) - y(t). Let w be p(-1). Is 6 bigger than w?
True
Let t = 1.8 - 2. Let h = t - -1.2. Let f be ((-9)/(-24))/((-3)/(-2)). Is f less than or equal to h?
True
Let x(y) = y**2 - 3*y - 1. Let a be x(4). Let s be 1/a - 138/(-18). Which is smaller: s or 7?
7
Let j(h) = -h**3 + 2*h**2 + h - 1. Let s be j(2). Let w = 2 - s. Which is smaller: w or -2/7?
-2/7
Let n = -18 + 10. Let l = -4 + n. Let o be ((-81)/l)/3 - 2. Which is greater: o or 1?
1
Let b(v) = -v**2 + 13*v - 15. Let l be b(10). Let c be (12/l)/(88/60). Which is greater: 2 or c?
2
Let o = 279/40 + -33/5. Let s be (-4)/(-10) - (-10)/(-25). Suppose 0 = -r - s*r. Which is greater: o or r?
o
Suppose y - 2*j - 8 = 0, 12 = -0*y + 4*y - 3*j. Suppose 0 = r - 3*i - 4, 0 = 3*r + i - 4*i. Is r >= y?
False
Let f = -106 + 106.2. Is -37 bigger than f?
False
Let f be (-268)/52 - 3/39*-2. Which is smaller: -32/5 or f?
-32/5
Suppose 4*w - z - 24 = 0, -3*w + 2*z + 2*z = -31. Suppose w*v - v = -4. Are 1 and v equal?
False
Let q = 2 - 3. Let l = q + -1. Which is smaller: l or -1?
l
Let h(i) = 2*i + 5. Let j(k) = -6*k**2 - k + 1. Let o be j(1). Let t be h(o). Which is greater: t or -6?
-6
Let k(z) be the first derivative of z**4/4 + 5*z**3/3 + z**2/2 + 6*z - 1. Let n be k(-5). Let f be (-4 - -2)*(n + -2). Which is bigger: -3 or f?
f
Let y be 879*(2 - (-21)/(-9)). Let w = y + 6737/23. Do -1 and w have the same value?
False
Let o = -79 + 123. Suppose 0 = 5*k - 5*n + 95, -4*k - 2*n - 2*n = o. Which is bigger: -14 or k?
-14
Let l = 7.2 - -24.8. Is l bigger than 0?
True
Let o = 19 + -14. Let w be (o/(-3))/((-2)/(-3)). Do w and -0.1 have the same value?
False
Let w = -11 + 16. Let f = -5.3 + w. Let p = 0.2 - 0.2. Is f equal to p?
False
Let s = -61 - -73. Is 4 not equal to s?
True
Let z = 121119/143 - 847. Let b = -272/1001 + z. Let s be (-20)/21 - 2/(-3). Is s < b?
False
Suppose 7*z = 6*z - 91. Which is bigger: z or -89?
-89
Let h be (-18)/5 - 4/10. Let x = 182 + -187. Which is smaller: x or h?
x
Let v(h) = -h. Let d be v(-3). Let u be (26/(-8))/(d/(-12)). Is u <= 12?
False
Let w = -10666/27 - -395. Which is smaller: w or -1?
-1
Let i = 2 + -5. Suppose -k + 4 = -0*k. Suppose 3*q = 3*l - 18, k = 4*l - 8. Is q less than or equal to i?
True
Let n(g) = -g**2. Let z be n(2). Suppose 4 + 2 = 3*d. Suppose 4*r + i = d*i - 14, 5*r - 4*i + 12 = 0. Is z at most as big as r?
True
Let p = 0.229 + -0.009. Which is smaller: p or -1/3?
-1/3
Suppose 0 = -5*p - 2*l - 19 - 7, p = l - 1. Let o be (13/(-52))/(1/p). Do 6/7 and o have the same value?
False
Let a = -0.15 + 0.2. Let p = 0.33 + -0.48. Let y = a + p. Do -4/9 and y have different values?
True
Let v = 22 + -22.4. Let j = -0.8 - 0.2. Which is smaller: j or v?
j
Let n be 1/2*(44 - 14). Is 15 bigger than n?
False
Let m(t) = -t**3 - 8*t**2 - t - 9. Suppose -5*q - 14 - 26 = 0. Let j be m(q). Let i be 1*(1 - 8/7). Which is smaller: j or i?
j
Let q be (-3)/(-33)*1*-2. Let x = -8 + 9. Suppose 0 = 3*a - x - 2. Which is bigger: q or a?
a
Let m = 11 - 8. Suppose -2*k - m*k = -10. Let s(c) = -c - 4. Let d be s(-6). Is k not equal to d?
False
Let z(w) = w**3 + 14*w**2 - 17*w - 28. Let v be z(-15). Is v equal to 2?
True
Let r(w) = -6*w**3 + 5*w**2 - 4*w + 4. Let y(k) = -k**3 + 1. Let o(f) = -r(f) + 5*y(f). Let j be o(4). Is j greater than 7/3?
False
Suppose -3*o + 18 = 3*i - 0*o, o = i - 2. Let t be ((24/15)/i)/(-2). Which is smaller: t or 0.1?
t
Suppose 4*p - 2*t + 4 = 0, -2*p - t = 3*p - 9. Let x be (p/(-4))/((-2)/16). Which is bigger: 4 or x?
4
Let u be (-3*8/36)/(-7)*3. Let r = 2 - -2. Which is greater: u or r?
r
Let w = 16/5 + -18/5. Which is smaller: 3.7 or w?
w
Let s be ((-14)/18)/(-1) + -1. Which is greater: -0.11 or s?
-0.11
Let a = 133 - 129. Suppose -4*b = -9 - 3. Suppose b*r = 2*n, 0 = a*n - 0*r + r. Is n greater than -2/15?
True
Suppose -4 = 2*l - 4*l. Suppose -l*q + 25 = 3*q, 4*h - 5*q = -25. Let w = -2187/11 - -199. Which is smaller: 