 k. Is u greater than or equal to -4?
True
Let b = -0.01 + 4.01. Let i = 2 + -1. Is b bigger than i?
True
Let i = -23.1 + -0.9. Which is smaller: i or -2/7?
i
Let w be 1/6 - 11/(-6). Suppose -4*t + 3*c + 12 = 0, -4*t - 4*c = -c + 12. Let b = t - -2. Is b != w?
False
Suppose -15 = 4*n - 9*n. Do n and 14/9 have different values?
True
Let i be 0 - (-24)/(-15) - -2. Is i greater than or equal to -5?
True
Let u = -40.9 - -41. Which is greater: -51/2 or u?
u
Let v = -0.23 + 0.36. Let o = -0.03 + v. Which is greater: -5 or o?
o
Let y be 38/6 + 4/(-12). Let z be 0 - (-1)/(2 - y). Let w = 18/5 + -208/55. Which is smaller: z or w?
z
Let w = 23/4 + -5. Which is bigger: w or -3?
w
Let g(d) = -d + 1. Let l be g(-6). Suppose 5*o = 25, l*v + 9 = 4*v + 3*o. Let y(x) = x + 10. Let m be y(-7). Which is smaller: m or v?
v
Let p = 19 + -18.89. Let b = p - -4.89. Let n = -4 + b. Which is smaller: 0 or n?
0
Let r be ((-1)/(-10))/(2/(-5)). Let c = 3 - -1. Let i = -3.7 + c. Do i and r have the same value?
False
Suppose -5 + 2 = 3*a. Let v = a + 2. Suppose 3*s = 4*s - v. Is s bigger than 3/4?
True
Let i = -1 - -1. Let k = -0.02 + -0.28. Let q = k - i. Is q bigger than 0.1?
False
Let r = 0.1 - 0.1. Let t be (-4)/10*35/91. Is t less than r?
True
Suppose 2 = 5*m - 3. Let s be m/(-2) - 1/2. Let u = -10/71 + 232/639. Are s and u unequal?
True
Let s(m) = m**2 + 3*m - 2. Let t be s(-4). Suppose -q + 3 + t = 0. Suppose 5*c = -z - 2, -2*c - 5 = -q*z + 12. Is -1/6 at least c?
True
Suppose -g + 11 = 4*f - 5, 0 = 2*g - 8. Is 1 smaller than f?
True
Let v = 26 - 14. Let k be v/(-3) + 2 - 0. Which is greater: k or -3?
k
Let r = 2.96 + -3. Let v = -0.06 + r. Is v < -2?
False
Suppose c - 21 + 27 = 0. Is c at most as big as -6?
True
Let p = 0.21 - 0.71. Is -1 at most p?
True
Let c = -1.04 - -0.04. Which is smaller: -39 or c?
-39
Let x = 0 + -2. Let i(u) = 2 + 0 - u + 0*u. Let y be i(2). Which is greater: x or y?
y
Let b = 0 + -2. Let f be b/8 + 26/40. Does -2/9 = f?
False
Let a = -2531/22 - -115. Is 1 <= a?
False
Let u = -15 + 20. Which is greater: -2 or u?
u
Suppose 8*d + 14 = -6*d. Does d = -16?
False
Let y be (-4)/40*210/4. Which is smaller: -4 or y?
y
Let t = 29/2 - 317/22. Suppose 4*y - 4 = 4. Suppose 2*p + 4*d + 1 = 3, 4*p - 4 = -y*d. Is t greater than p?
False
Let k = -82 + 161/2. Which is greater: k or 0.1?
0.1
Suppose 0 = -k + 3*i + 10, -3*k + 0*i + 30 = 2*i. Suppose -l - 3*s - 15 = -2*l, 0 = 3*l - 2*s - k. Is l bigger than 0?
False
Let g be (-1)/1*(-24)/8. Suppose -g + 0 = -m. Let a be 6/(m/1) + -1. Which is smaller: 0 or a?
0
Let a = 0.03 + -0.05. Let y = -0.18 + a. Which is smaller: -1 or y?
-1
Suppose k - 2*s - 3*s = 11, 0 = 2*s + 4. Let v be ((-6)/15)/((-4)/20). Let a be k*v - (-72)/(-33). Is a smaller than -1?
False
Suppose -5*p = -9*p - 84. Let m = -81/4 - p. Which is smaller: 1 or m?
m
Let a be -3*((-20)/(-12) + 0). Let r be (-3 - -3)/(5/a). Let n(l) = l + 1. Let c be n(-2). Is r bigger than c?
True
Let g be (-2)/6*(-243)/9. Let u = 8 - g. Let c be (-4)/2*(-1)/5. Is c smaller than u?
False
Suppose 2*f + 14 = -0*h - h, -4*f - 4 = -2*h. Is -5 greater than or equal to h?
True
Suppose -2*k + 3*d = -15, 3*k + d - 18 = 4*d. Let n be k/((-9)/(-4))*-3. Let u be n/(-6) + 3/9. Which is smaller: u or 2/7?
2/7
Suppose 0 = -2*d - b + 3, 4 + 14 = 4*d - 2*b. Which is smaller: d or 3/2?
3/2
Suppose 5*n - 5 - 5 = 0. Is n >= 5?
False
Let b = 217.08 + -217. Is b at most as big as -3/5?
False
Let l be (9/36)/(2/8). Which is bigger: l or 1/4?
l
Let q be 1/(-3)*(-3)/(-14). Let m be 7/(14/30) - -3. Let w = m - 18. Is q bigger than w?
False
Suppose -2*q - 3 = 5*z + 1, z + 3*q = 7. Let k(y) = y**3 + 9*y**2 + 7*y - 8. Let v be k(-8). Let l be (-1)/(-4)*(v + -5). Are z and l equal?
False
Let r be (-2)/(-16) + (-15)/(-8). Suppose 2*l - 2 = l. Let a = r - l. Is a at most as big as 1/5?
True
Let q = 111 - 328/3. Is q less than or equal to 1/4?
False
Let z = 28 - 38. Which is smaller: z or -8?
z
Let v be 3 + 1660/(-235) + 4. Do 1 and v have the same value?
False
Let b be ((-4)/(-10))/((-1)/(-5)). Let a be ((-1)/2)/(9/(-54)). Which is bigger: a or b?
a
Let k(d) = -d**3 + 9*d**2 - 8*d. Let c(f) = 3*f + 2. Let t be c(2). Let w be k(t). Do 0 and w have the same value?
True
Let q = 38 - 53. Let h be (q/3)/(3 - 2). Which is smaller: h or -6?
-6
Suppose 0 = 4*b - 2*j - 4, -b + j = -3 + 2. Suppose b = 2*o + 3. Let w = -6/11 - -1/22. Which is smaller: w or o?
o
Let n = 108 + -90. Is 19 greater than or equal to n?
True
Let i = -40 - -38. Let p = 0.3 - 0.5. Are i and p unequal?
True
Let i = 0.26 - 0.3. Let p be (-1 + 2)*(-2)/(-6) - 0. Which is greater: p or i?
p
Let z be (-20)/(-3)*9/6. Let a be ((-4)/z)/((-28)/20). Are 1 and a unequal?
True
Let v be 2/3 + (-14)/(-6). Let l = -268 - -268.1. Is l bigger than v?
False
Let t = -4 - -4.8. Let o = t - 0.8. Which is smaller: o or -5?
-5
Let p be (4 - 4) + (-3)/1. Which is smaller: p or -5/2?
p
Suppose -4*t = 33 + 79. Which is smaller: -29 or t?
-29
Suppose -2*m = -6*m - 5*v - 20, 5*m - 3*v = -25. Let z be 1 + (2 - 2) - 5. Which is smaller: z or m?
m
Let y(f) = f. Suppose 2 - 8 = -3*u. Suppose 4*z - 7 = -4*n + 3*n, 4*z = u*n - 2. Let a be y(z). Which is greater: a or 1/2?
a
Let g be 3 + (0 - 1) - 3. Let o be (-1 + (-6)/15)*g. Is 0 != o?
True
Suppose -4*x = 5*a - 31, -8*x + 2*a = -3*x - 14. Let l be ((-3 + 3)/x)/(-2). Is l at least as big as -2?
True
Let g be (-53)/11 + -2 + 5. Which is greater: -2 or g?
g
Suppose 0*s = -2*s + 14. Suppose 20 = -s*a + 2*a. Suppose 4*h + 2*q = -14, h + 0*h = 5*q + 2. Is a less than h?
True
Let x(f) = -f**2 + 6*f + 6. Let m be x(6). Let o = m + -6. Suppose -4*s - 2*w - 3*w = 7, s + 4*w + 10 = o. Which is greater: s or 3?
3
Let p(f) = f + 9. Let o be p(-13). Let n = -1 - 1. Which is greater: n or o?
n
Let a = -3 + 2. Let c be a/2 - (-33)/30. Let d = 1/15 + c. Is d less than 2?
True
Let w = 27149/44 - 617. Is 1 at least as big as w?
True
Suppose 4*c = -y, -c + 15 = -4*y - 2*c. Which is greater: -3 or y?
-3
Let u = 20/13 + -206/117. Suppose -2*n = 2*l + 2, -3*n + 4*n - 2*l = 8. Let r be 0/n + (0 - -1). Which is smaller: r or u?
u
Let l(b) = 41*b + 5. Let m be l(-3). Let d be -3 + 4 - (-114)/m. Which is smaller: d or 0.1?
d
Let c = 5 + 0. Suppose 0*s - c*s = -5. Which is greater: s or 3/4?
s
Let l = 1/36 - 41/180. Is -0.1 bigger than l?
True
Let o = -3 - -3.1. Let k = o + 0.9. Which is smaller: k or -0.2?
-0.2
Let o(i) = -i + 7. Let n be o(6). Which is greater: n or 1/15?
n
Let a = -4 + 3. Let k = 11.2 - 10. Let v = a + k. Is -2 greater than or equal to v?
False
Let l be 0 + (-4)/14 - (-16992)/(-1386). Let u be (-11680)/14*1/66. Let m = u - l. Which is smaller: -1 or m?
-1
Let u = 0.13 - -3.07. Let w = u + 0.8. Let d = -4 + w. Is d at least 1?
False
Let w be -1 - (-7 - (-6 - -2)). Let l(i) = -i**3 + 8*i**2 - 8*i + 9. Let n be l(7). Let x be 2 + -4 + n + 0. Which is greater: x or w?
w
Let o be ((-1)/(-134))/(2/8). Let g = o - 75/268. Are 0 and g non-equal?
True
Let f = -23 - -23. Which is smaller: 5 or f?
f
Let s be (-1246)/(-63) - 4/(-18). Suppose -s = -w - w. Let t be 2/w*(-10)/4. Is t >= -2?
True
Suppose 22*q = 15*q + 56. Is q bigger than 8?
False
Let g(u) = -3*u - 2. Let o be g(-2). Suppose 0 = -4*j - o. Let i be (0 + -1 + 0)/j. Is 1 not equal to i?
False
Let t = -24 - -26. Is t greater than -2?
True
Let x be 20/(-40)*(-25 - 1). Is x at least as big as 14?
False
Let u be 110/183 + (-6)/9. Let q = -598/183 + u. Is q greater than or equal to -3?
False
Let v(n) = -n**2 + 8*n - 11. Suppose i + 30 = 5*m, -m + 3*i = 3*m - 13. Let l be v(m). Is l at most -8/3?
True
Suppose -a - 1 = -2*z, 0 = 5*z - 4*a + 2*a. Which is smaller: -12/13 or z?
z
Suppose -2*p - p = -4*k - 25, -13 = k - 3*p. Are k and -4 equal?
True
Let r = -97/5 + 1063/55. Which is smaller: r or 0?
r
Let z = 0.7 - 0.6. Which is smaller: z or 2/37?
2/37
Let v = -14 + 4. Is v greater than or equal to 1?
False
Let q = -1 + 1. Let z be (-2)/(-10)*3/(-1). Are z and q unequal?
True
Let q = -170 - -515/3. Let p(u) = u**3 + 5*u**2 - 7*u - 5. Let v be p(-6). Is q greater than v?
True
Let x be 1/4 + (-3)/12. Suppose x*m = w + m, 0 = 5*m. Is -1/7 < w?
True
Let z = 48022/21035 - -36/601. Let y = z + -22/7. Let p(h) = -h**2 + h + 4. Let r be p(3). Is y > r?
True
Let t = -93 + 94. Let o be (-2