 0.13. Let f = -6.09 - n. Let x = -6.1 - f. Which is greater: x or -5?
x
Let y = 49 + -28. Is 21 > y?
False
Suppose -2*n - 5*s + 4*s = -7, 5*s = -2*n + 27. Which is bigger: -1/20 or n?
n
Let f(h) = h**2 + 7*h - 7. Let a be f(-8). Suppose -4*q + 1 = -3*q - 4*m, -3*m = 0. Let b be q + 1 - (2 + 0). Which is greater: a or b?
a
Let h(r) = r**2 + 3*r - 1. Let d be h(-4). Suppose -y + 43 = d*c + 2*c, -3*c + 39 = 5*y. Suppose f - 3*f + c = 0. Is f smaller than 4?
False
Let v(u) = u + 9. Let j be v(-8). Suppose j = -y - 1. Is y greater than -4/3?
False
Let p be (-1*6/12)/((-1)/2). Which is greater: 10 or p?
10
Let x = 0.095 - -0.005. Do 2/15 and x have different values?
True
Let n = 0.2 - 3.2. Let o = 2 + n. Is o less than or equal to 4?
True
Let r(z) = z**2 - 4*z + 1. Let k be r(3). Let q be k/4*(1 - -1). Let m be q*1*(4 - 2). Which is smaller: m or 0.1?
m
Let h = 3 + -3. Let v = 0 - h. Let j be (-18)/8 - (0 - 2). Is j < v?
True
Let k = 0.8 - 7.8. Is 1/2 bigger than k?
True
Let z be 6/((-4)/((-8)/21)). Let x = 111 - 97.8. Let u = -13 + x. Are z and u non-equal?
True
Let j = 3/34 + -13/51. Is 0 at least j?
True
Let y = 0.2 - -2.8. Let t = y + -2.9. Let w = 4 - 3.9. Are w and t nonequal?
False
Suppose 0 = -a - 2*a - 3*r - 24, -2*a + 2 = -4*r. Let g = -5 - a. Are g and -1/3 unequal?
True
Let r be (-6)/(-9)*((-325)/164 + 2). Is -1 at least r?
False
Let n = -2 - -1. Let s = n + 1. Suppose x + 2 = -s*x. Is x at least as big as 1?
False
Let k = 9 + -11. Let h = -6 + 3. Is h at most k?
True
Let o = -5.4 - -6. Let t = o - -0.4. Is 2/17 != t?
True
Suppose -g = -3*g. Which is smaller: -0.08 or g?
-0.08
Let v = -2079/13 - -160. Which is bigger: v or 1?
1
Suppose 38 = 5*w + 118. Let y be (7 + -11)*78/w. Let s = y + -355/18. Is 1 at most s?
False
Let o = 19 + -106. Which is bigger: 2/7 or o?
2/7
Suppose -3 - 20 = 4*a + m, 5*a + 3*m = -27. Let x be a/8 - 27/(-4). Which is smaller: x or 4?
4
Let r be 258/9 - 1 - 1. Let i = r - 27. Suppose -5*l + 4*q - 17 = 0, l = -4*l - 3*q + 4. Is l less than i?
True
Let z = -1 + 0.3. Let g = z + 0.1. Let p = -1 - g. Is p at most -2?
False
Suppose 0 = k + 2*k - 12. Suppose -32 = -2*i + w - 2*w, -w = k. Suppose -r - i = -4*r. Is r at least 6?
True
Let l = 55/32 + -1857/224. Which is bigger: l or -6?
-6
Suppose 16 = 5*g - u, -2*g - 3*u + 2 = -1. Suppose -j = -2*k - 2*k - 3, -3*k = g. Let b = 7 - 8. Is j smaller than b?
False
Let f be 54*(1/4 - 1). Let z = 39 + f. Which is greater: -1 or z?
-1
Let s = 0.07 - 0.01. Let b = s + -0.46. Let t = b + -1.6. Which is smaller: t or 1?
t
Let w(d) = -d**3 + 16*d**2 - d + 17. Let s be w(16). Which is greater: 1/2 or s?
s
Let v(a) = -a**3 - 5*a**2 - 4*a. Let j be v(-4). Let o(s) = -s**2. Let n be o(0). Is j bigger than n?
False
Let v = 35.944 - 36. Is -1 not equal to v?
True
Let a be (6/(-20))/(2/(-5)). Which is bigger: 2 or a?
2
Let v(k) be the first derivative of -k**2/2 + 2. Let z be v(2). Is -5/7 <= z?
False
Let u(k) = 2*k - 6. Let w be u(6). Suppose 2*m + 4*z + 2 = -w, 4*z = -m - 8. Are -2 and m unequal?
True
Let y = -41/3 - -43/3. Let q = 0.7 + 12.3. Are q and y equal?
False
Suppose -3*o + 10 = -5*n - 0, 2*n - 5*o + 23 = 0. Let c be ((-1)/(-3))/((-2)/(-6)). Let w be c*(2 - (-7)/(-3)). Which is smaller: n or w?
w
Suppose -z = -7*z - 66. Is z > -9?
False
Let p = 0.107 - 3.107. Are -7/3 and p nonequal?
True
Let m = -17 + 19. Is m at most 2?
True
Suppose -22 + 2 = -5*o. Suppose -o = -5*n + n. Which is bigger: n or 1/6?
n
Let a(l) = -l**3 + 16*l**2 + 1. Let d be a(16). Are 2/91 and d unequal?
True
Suppose 18 = 3*c - 0*c. Let s = -2 + c. Let b be 3/s - (-2)/(-8). Which is bigger: b or 1?
1
Let f(v) = v**2 + v - 4. Let h be f(2). Which is bigger: -1 or h?
h
Let b = 82.1 - 82. Let g = 22 - 20.7. Are g and b non-equal?
True
Let y = -9 + 11. Suppose -6 + 22 = -y*o. Is o at least as big as -9?
True
Let p(f) = f**3 + 2*f**2 + 3*f + 3. Let v be p(3). Let h(u) = -u**2 + 16*u - 54. Let z be h(10). Let y be (-4)/v*z/4. Is y at most -2/5?
False
Suppose -6*s = -3*s - y - 28, -5*s = 4*y - 24. Let u be (-2)/4 - (-34)/4. Is s less than or equal to u?
True
Let y(q) = q + 1. Let t be y(1). Let f be (1 - (t - 1))/(-3). Is f at most 1/6?
True
Let s = -6.3 - 1.7. Let i = s - -7. Is i at most 1/2?
True
Let v be (-13)/5 + 12 + -10. Let g = 8 - 6. Let q = g - 2. Which is smaller: v or q?
v
Let w = 0 - 1. Suppose -v + y = 3, -v - y - 2*y + 5 = 0. Is v smaller than w?
False
Let x(p) = p + 2. Let v be x(-2). Suppose -2*w = -6 - 0. Let j = w + -4. Which is smaller: j or v?
j
Let z = -1 - -5. Let d be -3 + (-69)/(-9) + 2*-1. Which is smaller: z or d?
d
Suppose -2 = -2*i + 3*f + 8, -2 = -5*i - 4*f. Let l(m) = -m - 4. Let h be l(-4). Suppose k + 3 = -h*q + q, k = -5*q + 27. Are i and k unequal?
False
Suppose 0 = -0*s + 2*s + 3*h - 8, 0 = -5*s + h + 37. Is 5 equal to s?
False
Suppose -1 - 79 = 5*v. Let j be (-5)/(-28) + (-4)/v. Which is bigger: -1 or j?
j
Let s = 157.9 - 165. Let k = s - -7. Let n = 0.1 + -0.1. Which is bigger: k or n?
n
Let m(k) = 11*k - 40. Let p be m(4). Is 8/3 less than p?
True
Let a = -2 - -1. Let l = -5 - -7. Is a at most as big as l?
True
Let p = 314/3 - 13496/129. Is p at least -1?
True
Suppose -2*r + 3*r + 14 = -5*f, 0 = -5*f + 4*r + 6. Let i = -1 + 2. Let d be (i/f)/((-30)/(-12)). Which is greater: 2 or d?
2
Suppose -2*k + 7 = -3. Suppose 0 + k = -5*i. Is -4/7 less than i?
False
Let s = -2 + 4. Let g(y) = -y**2 - 4*y - 1. Let a be 1*-1*(1 + 2). Let z be g(a). Is z smaller than s?
False
Suppose -5*b - 2*c + 109 = 0, -3*b - 4*c - 81 = -6*b. Let k = b + -24. Is k equal to 2/53?
False
Let n be (-3 - -11) + (1 - -1). Let s be (28/n)/(4/10). Which is greater: s or 9?
9
Let a be 8*3/(3/1). Let t be 1/(-5) - a/10. Which is smaller: t or -2?
-2
Let o = 11 - 7. Is o smaller than 5?
True
Let x be (-32)/(-200) + 0/1. Let l = x - -9/100. Which is smaller: -2 or l?
-2
Suppose -5*c - 5 = -5*o - 0*o, 2*c = -o - 5. Let g be 4/(-2) - (o + -1). Is g at most -3/7?
False
Let m = 84 + -80.1. Let n = 11 - 7. Let b = m - n. Which is bigger: -1 or b?
b
Let p be -2*((-135)/(-10))/(-9). Is p at least 3?
True
Let d(z) = -z - 1. Let v be d(-3). Suppose v*r = r + 6. Suppose -m + 8 = -r*m + n, 4*n - 16 = 4*m. Which is smaller: -2/5 or m?
m
Let j be 0 - (-1 - 2)/(-3). Let k be (8/50)/((-6)/5). Is j at least as big as k?
False
Let x(q) = q**2 - 3*q - 3. Let o be x(4). Let l be ((-7)/21)/(o/(-3)). Suppose -s = -6*s + 10. Is l < s?
True
Let x be (-5 + 0)*(-6)/(-2). Let k be (-3)/x*(1 + 2). Let h(r) = r - 3. Let i be h(5). Which is greater: k or i?
i
Let k = 11 + -16. Let b(n) = -n**2 - 5*n - 3. Let i be b(k). Is i bigger than -3?
False
Suppose n + 2*c - 9 - 1 = 0, 3*n - 21 = 3*c. Is n at most as big as 7?
False
Let h be 4/2 - (3 - 2). Let y be h - 0 - (-32)/8. Is y at least 1?
True
Suppose 0 = 15*r - 164 - 661. Is r < 56?
True
Suppose 2*f = -4*g + 6*f, 3*g = 4*f - 1. Let u = 23 + -277/12. Which is smaller: g or u?
u
Suppose -3*b = -3*r + 12, 4*b + 4*r = -0*r - 8. Suppose 0*o + 16 = -8*o. Is b <= o?
True
Suppose -4*p + 3*p + 4 = 0. Let o = -1 + 1. Suppose o = 5*x - 20, -4*y - 8*x + 16 = -p*x. Is -2/3 at most as big as y?
True
Suppose -4*x - 2*z + 6 = -5*x, -4*x - 3*z = -9. Is -1/6 at least as big as x?
False
Let f(k) = -k**3 - 15*k**2 - 17*k - 35. Let x be f(-14). Which is smaller: -2 or x?
-2
Let b = -10.2 - -10. Which is greater: 1 or b?
1
Let h = -25.8 - -31. Is h equal to -1?
False
Let o = 7 + -3. Let c be (-2)/(-2)*(-4 + o). Are -1 and c nonequal?
True
Let u = -62 + 23. Is -39 smaller than u?
False
Let h = 7 + -6. Suppose -c - h - 2 = 0. Let w be -6 + c/(-1) - -3. Is w at least 0?
True
Let y = -1/7 + 19/35. Let b = -1 + 1. Is b equal to y?
False
Let z be (-1183)/(-14) - (-2)/4. Let t be z/(-190) + (-1)/(-2). Which is smaller: 0 or t?
0
Let a be (-22)/(-60) + (-2)/3. Suppose 8*f + 0 = -0. Is a at least f?
False
Let w(t) = -t**3 - 3*t**2 - t. Let k be w(-2). Which is bigger: -5 or k?
k
Let s(t) = 3*t + 7. Let z be s(-4). Is -5 < z?
False
Suppose -2*b + 9 = -1. Suppose -3*x + 22 = -b*z - 0*x, -5*x + 20 = 0. Which is greater: 1 or z?
1
Let w(n) = -n**2 - 6*n - 1. Let c(t) = -2*t + 2. Let o be c(4). Let s be w(o). Suppose 0 = 8*r - 12*r. Is s greater than r?
False
Let y be ((-2)/((-8)/2))/(3/(-30)). Which is smaller: -6 or y?
-6
Let