Let a be -3*(1 - 6/8). Is a < f?
False
Let g be (-16)/30 + (-3)/(-9). Which is greater: 0.2 or g?
0.2
Let i be -3 + 4/(-8)*58. Let t be 2 + (2 - i/(-4)). Which is smaller: -2 or t?
t
Let d = 0.18 + -0.2. Let u = 0.5 - 0.5. Is d at most u?
True
Let j(b) = b. Suppose -3*a + a = 0. Let r be j(a). Let x be (2 - r)/(-1*2). Is 0 at least x?
True
Let m = 101 + -101.13. Let z = -0.7 - -0.5. Which is bigger: m or z?
m
Let b = -25/14 + 16/7. Which is smaller: b or -1?
-1
Let a(n) = -n**3 + 11*n**2 + 3*n - 13. Let y be a(11). Let c be 4/(-5)*y/(-104). Which is bigger: c or -2/3?
c
Let m = 3 - -12. Let s be (2/(-3))/((-95)/m). Let z be 2/((-4)/1)*-2. Which is smaller: z or s?
s
Let c(w) = -w**2 - 6*w + 5. Let v be c(-7). Which is bigger: -5 or v?
v
Let z be (-3)/6 + 5/(-8). Which is greater: z or -1?
-1
Suppose 0 = -6*s + 2*s + 16, 0 = -4*b - 3*s + 84. Suppose b = -4*k - 10. Let z be ((-5)/15)/(k/(-6)). Which is bigger: z or -0.07?
-0.07
Suppose 6*s + 9 = 3*s. Which is bigger: s or -2?
-2
Let z be 2 + 0 + 2 - (-54)/(-18). Is z > -1?
True
Let n be (-4)/(-6) - 40/6. Let z be (-39)/(-15) - n/15. Let y be (1 + 0)/(3/z). Is 1/6 <= y?
True
Suppose 5 = -2*o + 7*o. Is o less than -6?
False
Let s(b) = b**2 - 9*b + 4. Let d be s(8). Let r = d + 5. Is r equal to 7/5?
False
Let k be (8/1)/2 + 1. Suppose 11 + 3 = 2*z. Which is greater: z or k?
z
Suppose -9 = -2*z - z, -3*p = -z - 3. Which is bigger: p or 3/4?
p
Let p be -3 - (-8)/6*735/70. Let a be (4/7)/2 - 0. Which is bigger: a or p?
p
Let s = -0.06 + 0. Let b = s - -1.06. Do -1 and b have different values?
True
Let n(k) = 0*k**2 - 2*k**3 - 5*k**2 + 3*k**3 - 3 + 3*k + 2*k. Let f be n(4). Which is greater: f or 0?
f
Let j = 273/10 - 29. Let s = j - -179/70. Are 1/2 and s non-equal?
True
Let q be (-3)/(-2)*8/4. Suppose v + 3*m = -10, -2*m = 3*v - q*m + 10. Do v and 0 have the same value?
False
Suppose -3*l - l - x + 5 = 0, 2*x = 3*l - 1. Let a be 1/(-5) - (1 - 2). Does a = l?
False
Let d be 1 + 0 + -14 + 12. Let a be ((-6)/9)/((-2)/3). Which is bigger: d or a?
a
Let u = -5 - -3. Let h be (-4)/(-6) - u/(-3). Which is greater: h or 1?
1
Suppose 2*i + i = 0. Let n be 2/(-4) + (-1 - 7/(-6)). Is n less than or equal to i?
True
Let t be (-1)/1 - (4 + 4). Is t less than or equal to -9?
True
Let c be (-8)/(-175)*2/(-8). Let r = -64/525 + c. Is r equal to 0?
False
Suppose 4*t + 8 = 4*y, -2*t - y + 2 + 0 = 0. Let n = -0.1 - -0.1. Is t < n?
False
Let x = 4 - 2. Let m = 73/51 - -4/17. Is x < m?
False
Let o be (0 - 4/2) + 2. Let t(w) = w - 5. Let l be t(5). Let k be (l + 2)/(2 + o). Do k and 0.2 have the same value?
False
Let f(y) = -6*y**2 + 3*y - 1. Let s be f(2). Let w = 13 + s. Let b(g) = g + 5. Let d be b(w). Which is smaller: -2 or d?
-2
Suppose 0 = 2*d - 4*g - 2, -2*d + 2*g = -6*d + 24. Which is greater: d or 6?
6
Let n be 0 + 6 + -3 + 0. Let h = -4 + n. Which is smaller: 1 or h?
h
Suppose 4*j + 0 = -12. Suppose 25 = -5*i, 2*d - 18 - 2 = 4*i. Suppose d = -3*u - 2*u + 15, -c = 4*u - 9. Is c bigger than j?
False
Let t = 0.02 - 0.02. Which is smaller: t or 0.02?
t
Let m = 0.85 + 0.15. Is m <= 3?
True
Let y = 0.42 - 0.4. Let x = y - -1.98. Which is smaller: x or -0.2?
-0.2
Let h = -6 + 2. Let z(s) be the first derivative of -s**3/3 + s**2 + 4*s - 7. Let g be z(4). Is g smaller than h?
False
Suppose -16 = 10*s + 64. Which is bigger: s or -11?
s
Let k(s) = s**3 - 7*s**2 + 8*s - 6. Let w be k(6). Let b be 1*-1*w*1. Which is greater: b or -7?
b
Suppose 114 = -21*m + 18*m. Which is smaller: -116/3 or m?
-116/3
Let d = -0.32 + 0.32. Do -0.08 and d have different values?
True
Let j be (-3)/(78/(-4)) + 0. Let x(k) = -k + 5. Let f be x(-6). Suppose 3*g + g - 16 = 3*b, -g - 3*b = f. Are g and j nonequal?
True
Let p be 10/66*4/(-40). Is -1 at most as big as p?
True
Let u(b) = -3*b**2 - 1. Let s be u(1). Let j be s/(-14) + 141/21. Suppose j = -2*i - 1, 0 = -4*l - 5*i - 20. Which is smaller: -2 or l?
-2
Suppose 0*f + 2*f = 0. Suppose f*a = -3*a - 6. Let r(j) = -3*j - 54. Let v be r(-18). Are a and v non-equal?
True
Let m = 3.74 - -0.16. Let c = m + 0.1. Which is greater: -1 or c?
c
Suppose -3*r = -7*r - 48. Is 0 at most as big as r?
False
Let b be -4 - ((-2)/(-1) - 4). Let y(k) = k + 1. Let d be y(b). Let a = d + 2. Is -1 at least a?
False
Suppose -k - 4*k + 20 = 0. Suppose 4*m + 0*m + 27 = 5*p, -15 = -p + k*m. Suppose 19 = -4*b + p*s, 0*b + 4*b + 20 = 4*s. Which is greater: -3 or b?
-3
Let o(s) be the first derivative of s**2/2 - 5*s + 1. Let a be o(6). Let c = 2 + -1. Is a <= c?
True
Let z be 1 - (6/(-37))/((-2)/12). Suppose 2*j = -4*v - 8, -j = 4*v + 4*j + 20. Which is smaller: v or z?
v
Let l = -8.8 + -0.2. Let c = -8 - l. Which is greater: c or 2?
2
Let j(o) = o**3 + o**2 + o + 4. Let r be j(0). Let n be 1 + (-2)/r + -1. Suppose -x + m = x - 1, -3*x + 12 = -5*m. Is n smaller than x?
False
Let g(x) = -x + 2. Let d be g(8). Let y(i) = -i**3 - 7*i**2 - 6*i + 2. Let w be y(d). Which is smaller: w or -0.2?
-0.2
Let r be (-18)/22 - 6/33. Let s be (3/6)/(r/(-10)). Which is smaller: 4 or s?
4
Suppose 0*k + 4*x = 4*k - 12, -2*k + 5*x = -15. Are k and 2/221 nonequal?
True
Let h = -50/171 - 5/19. Let w = h - 1/9. Which is smaller: w or 0?
w
Let f(z) be the first derivative of z**4/4 + 2*z**3/3 - 2*z**2 - 3*z + 2. Let d be f(-3). Let i be (-4)/(-17)*2/4. Is i at most as big as d?
False
Let d be (-1)/((-117)/188) + 4/(-18). Which is smaller: 0 or d?
0
Let h be 2/(-5) + (-24)/(-110). Let v = -9 + 10. Is h greater than v?
False
Let g = 585/4 - 147. Let m = 0 - 0. Suppose -3*p + 2*p = m. Which is greater: g or p?
p
Let y be (-2586)/(-24) + (-1)/(-4). Let h be (2/(-8))/(y/32). Are h and 1 non-equal?
True
Let t = -42.9 - -43. Let h = 0.4 - 0.8. Which is smaller: h or t?
h
Let w = 8/3 - 2. Is w bigger than 0.02?
True
Let f = -3 + 2. Let v = 1895/6 - 316. Which is smaller: f or v?
f
Let q = 1 - 0.98. Let p = 31.22 - 31. Let x = q - p. Which is smaller: x or -1?
-1
Suppose 2*l - 7 = -1. Suppose -6 = -l*j + 5*j. Which is smaller: j or -4?
-4
Suppose n - 1 = t, 0*n = 2*t - 3*n + 3. Suppose 4*z + 5*f + 29 = -t*z, -3*f = -z + 14. Is -3/4 less than or equal to z?
False
Let h be 58/(-6) - (-4)/6. Let b = 35/4 + h. Which is smaller: b or -1?
-1
Let s be 0 + 0 - 3 - -6. Let u be s - (-2)/(-3)*3. Is 1 not equal to u?
False
Let m be 4/(-4)*0 + 0. Let u be (-4)/(-11)*-1*1. Which is smaller: u or m?
u
Let p be 1 - (2 + -6) - (0 + 1). Are p and 4 equal?
True
Suppose 5*m = -2*c - 2*c - 55, 5*m = -5*c - 50. Let x be 2/(1/(m/(-6))). Suppose 2*i + 2*p - 14 = 6*i, x*p = -2*i - 1. Are i and -3/2 non-equal?
True
Suppose 16 = 3*l + 2*l + 3*d, 0 = -2*d - 6. Suppose 5*r + 4 = 4*u - 0*u, -l*u + 5 = 3*r. Is u less than 0?
False
Suppose -5*b - 1 = -4*b. Let f = -944/9 + 105. Which is smaller: b or f?
b
Let g = 2/81 + 52/81. Is -22 > g?
False
Let f = -0.024 - -0.124. Are f and 0 equal?
False
Let t be 18/(-24) - 1/4. Are -1 and t non-equal?
False
Let a be (0 - -110)/((-4)/(-2)). Let b = -219/4 + a. Which is greater: 2/7 or b?
2/7
Suppose 5*f - 12 = 68. Let y be f/6 - (-6)/(-9). Let u be 0*y/(-3 + 5). Is -2/3 smaller than u?
True
Let i = 0 + -0.1. Let o = -1.1 - i. Is o bigger than 1.3?
False
Let q be 3*(-5)/(15/2). Let m = q + 1. Let r be (m/(-7))/(12/14). Which is smaller: 1 or r?
r
Let w be (356/(-72) + 5)/((-3)/(-6)). Is w <= 0?
False
Suppose t = 5*s - 3*t - 14, 2*s = -3*t + 1. Let p = 1 - -1. Suppose -q = -p*k - 3, 2*q + 0*k + 5*k - 6 = 0. Which is smaller: q or s?
s
Let f = 31 + -30.9. Which is smaller: 2/9 or f?
f
Let l be 2/2 - (-1 - -8). Let n = -5 - l. Which is smaller: 3 or n?
n
Suppose 3*y + 27 = 6*y. Let m = y + -9. Suppose 2*t + 4 = -m*t. Which is bigger: t or -1?
-1
Let q(v) = -v + 5. Let x be q(5). Let r = 7 - 1. Let y(j) = -j**2 + 6*j - 1. Let p be y(r). Which is smaller: x or p?
p
Suppose d + 0*d - 9 = 0. Are 9 and d nonequal?
False
Suppose -2*v = -5*v. Let z = 0.07 - 3.07. Let o = z + 4. Which is bigger: o or v?
o
Let p(g) = -8*g - 11. Let j be p(-2). Which is smaller: j or 6?
j
Let o = -10 - -15. Suppose t = 0, 5*h + o*t - 10 = -0*t. Suppose -5*g + h*b = -1, -5*b = 5*g - 18 + 3. Are 1/4 and g non-equal?
True
Let f(t) = -t**2 + t + 1. Let v be f(-1). Suppose 0*j - 5*j = -4*w + 26, -j = -5*w + 1. Let s be (3/j)/(v/3). Which is bigger: 2 or s?
2
Let d be ((-4)/(-