 + -0.12. Let m = -152 - -154.96. Let f = h - m. Is 1/4 at most as big as f?
False
Let y be (-2)/(-4) + 141/(-6). Let d = y - -19. Is d at most as big as -4?
True
Let q = 127/2934 - -2/163. Is 1 at least q?
True
Let h be 766/(-191) + (-8)/4 + 6. Which is smaller: h or -2/5?
-2/5
Let i(r) = r - 4. Let p be i(5). Let k = -53/21 + 8/3. Which is smaller: p or k?
k
Suppose -30 = 4*s - 10*s. Is s > 6?
False
Let b(t) = -t - 5. Let c be b(-7). Suppose -5*g + 17 - c = 0. Suppose 0 = -g*a + 7 + 2. Is a bigger than 4?
False
Let p be (-1 - (-6 - -4))*5. Suppose 8 = -4*o, -3*o - 13 - p = -2*d. Which is greater: 7 or d?
7
Let i = -2.5 - -0.5. Is -3 > i?
False
Suppose -4*j - 2*l = -j + 1259, 834 = -2*j + 4*l. Let w = 5863/14 + j. Is 0 <= w?
False
Let o be 4/2 - (-48)/(-21). Is o greater than or equal to 0?
False
Let g be (4 - 1) + 44/(-14). Let h(w) = w**3 - 7*w**2 + 2. Let l be h(7). Suppose -k = -l*k. Which is smaller: k or g?
g
Let r = 3 - 1. Let o = r - 2.2. Which is greater: 0 or o?
0
Let r be (-10)/(-8) + 7 + 261/(-36). Is r at least 2/13?
True
Let c = 0.23 - -0.17. Are c and 1/2 nonequal?
True
Let m(d) = -d**3 - 4*d**2 + 6*d + 5. Let r be m(-5). Let z be r/2 - (-25)/5. Let k = z - 6. Which is bigger: k or -1/5?
-1/5
Let q = -17 + 8. Let l = 0.6 + 7.9. Let b = q + l. Which is smaller: 1 or b?
b
Let m = -3 + 17. Suppose -m = -2*t - 6. Let l = t - 4. Which is smaller: l or 3?
l
Let k be 0 + 1 + 7/(-5). Which is bigger: -1 or k?
k
Let v be (198190/64)/5 - -1. Let k = 620 - v. Let w = k - -3/32. Is -1 < w?
True
Let l be (2 - 248/126)*1. Which is smaller: -1 or l?
-1
Let w = -1669/910 - 6/91. Let f = -1023/5 + 206. Let o = f + w. Which is smaller: o or 0.1?
o
Let b = 4.5 - -1.5. Let d = -6.1 + b. Let p = -6 - -11/2. Which is smaller: d or p?
p
Let k be (-166)/828 - (-2 + 80/45). Is k at least as big as -1?
True
Let f = -3 + 3. Let d(v) = v**3 - v**2. Let x be d(f). Let k = 7/10 - 1/5. Is x > k?
False
Suppose 2*z = -2*z + 8. Suppose 0 = -0*l - 2*l - z. Let u = 17/117 + -10/39. Is u > l?
True
Let k be 2 + 0 - ((-12)/(-4) - 1). Is k at most as big as 6?
True
Let l(w) = -w**3 + w**2 + w + 2. Let i be l(0). Let o be (-3*1)/(3/i). Is -4 greater than o?
False
Let b = 6 + -9. Let i = -4.5 + 0.5. Let d = i - b. Which is smaller: d or -2?
-2
Let u = -37/80 - -1/16. Let y = -5.654 - 0.046. Let l = -0.3 + y. Which is bigger: u or l?
u
Suppose 3*j + 10 = -2. Is j equal to -4?
True
Let p = 277 - 3044/11. Which is bigger: p or 1?
1
Let x be (-6)/(-9)*1/2. Is x at least as big as 1?
False
Suppose -6 = -3*t - 3. Let c = 1/25 - 29/100. Which is smaller: t or c?
c
Suppose -5*s - 5*v + 10 = 0, 4*s = -v + 2*v + 28. Let m = 7 - s. Is 2/7 greater than m?
False
Let t = -3 - -5. Is 3 bigger than t?
True
Let t be (1/((-6)/48))/((-2)/11). Is t greater than 44?
False
Let u be ((-2)/(-4))/(1/(-2)). Let d be u + (-5 + 2 - -4). Are 2/11 and d non-equal?
True
Let o be -4 - (84/(-20) + 0). Let b = -0.4 + 0.3. Let p = b + 0.2. Is p at most as big as o?
True
Let p be 1/(-4) + (-270)/(-888). Is p at least as big as 0?
True
Suppose -3*f - 5*l + 44 = 0, 0*l - 2*l + 32 = 3*f. Let t = 9 - f. Which is smaller: t or -2/5?
-2/5
Let a be 1*-5*(-4)/10. Let x be 1*(1 + (-1 - -1)). Let d be (-4 + 2)*x + 3. Which is greater: a or d?
a
Let p = -100/13 - -1561/208. Suppose 0 = -2*z - 0*z - 2. Which is smaller: p or z?
z
Suppose -3*g + 5*g + 4 = 0. Which is smaller: g or -2/3?
g
Suppose -z + 3*z - v - 5 = 0, -4*z + 3 = 5*v. Let a(g) = g**3 + 4*g**2 + 3*g + 2. Let c be a(-3). Do z and c have different values?
False
Let j = -479 + -225. Let c = j - -4911/7. Let y = c - -75/28. Is 0.3 less than y?
False
Suppose 5*p = 2*p. Suppose -5*i + 3*k + 6 = p, -2*i - k + 6 = -4*k. Is i not equal to 1/5?
True
Let w be -11 + 7 + 18/(-2). Let y(a) = -a**3 + 2*a**2 + 6*a - 5. Let g be y(4). Is w greater than or equal to g?
True
Let p = -4 + 6. Suppose 0 = k + 4*k + 75. Let x be ((-2)/15)/(3/k). Is p greater than or equal to x?
True
Let r be (3 - 4) + 982/(-5). Let d = r - -198. Is d >= 2?
False
Let x(r) = -r**2 - 4*r - 2. Let h be x(-1). Do -1 and h have the same value?
False
Let r be (306/(-60) - -5)*(1 + -5). Is -92 < r?
True
Let l be (2/(-3))/(2/3). Let s = 13 - 16. Is s > l?
False
Let z = -2.6 + 0.6. Suppose 5*t + 4*l - 9 = 0, t - 2 = -l - 0. Is z != t?
True
Let z = 1 - 6. Let q = 87 - 82.1. Let g = q + z. Which is smaller: g or 0?
g
Let x = 73 + -73.5. Is -4/3 greater than or equal to x?
False
Let u = 1/5 - -1/10. Let g = -1/10 - u. Let f(v) = v + 7. Let b be f(-6). Which is bigger: g or b?
b
Suppose 5*z = 5*m - 5, 0 = 2*m - z - 3*z - 4. Let g(l) = l**2 - 6*l - 1. Let c be g(4). Let n be 2/18*c/(-6). Which is bigger: m or n?
n
Let g be (-375)/(-258) - (-5)/((-20)/6). Which is smaller: 0.2 or g?
g
Suppose o = 5*i - 33, -i + 6*o - 1 = 2*o. Let g = 6 - i. Are g and 1/4 non-equal?
True
Suppose -2*u = 3*o + 15, -6*o = -2*u - 5*o + 5. Which is greater: u or 2?
2
Let p = -281/5 - -56. Which is bigger: p or -1?
p
Let k(t) = -t**2 + 3*t + 1. Let q = 16 - 12. Let v be k(q). Let b = -126/365 + -4/73. Is b != v?
True
Let b = -129 - -131. Let k = -494/3 + 168. Which is greater: b or k?
k
Let k = 196/11 + -18. Which is smaller: 1 or k?
k
Let r = 1/298 - 601/1490. Is 0.26 < r?
False
Let l be 2/4*(4 - 6). Let i be (3 + -1)*(1 - l). Let a = 7 - i. Which is smaller: 1 or a?
1
Let r(o) be the first derivative of -o**2/2 + 2*o + 1. Let q be r(0). Which is smaller: -2/17 or q?
-2/17
Let f = -40 - -43. Suppose 5*a = -3 + 38. Suppose 0 = -3*g, -d - 3 = 3*g - a. Is f smaller than d?
True
Let i(q) = -q - 4. Let k be i(10). Which is bigger: -13 or k?
-13
Let j(r) = -r**2 - 2*r + 3. Let f be j(-3). Let y be (-4 - -5) + 53/4. Let h = y + -14. Are h and f unequal?
True
Let u = 24 + -10. Let b = -15 + u. Is b greater than 0.5?
False
Suppose -1 - 17 = -2*i - 5*h, -5*i + 2*h - 13 = 0. Which is smaller: 1/8 or i?
i
Let h be (-90)/(-50) - (-4)/(-5). Is 1/21 at least h?
False
Suppose r + 252 = -r. Let g be 10/r + (-8)/(-36). Is -1 less than or equal to g?
True
Let q = 4 + -6. Is -6/11 < q?
False
Let h = -24 + 21. Which is smaller: -15/7 or h?
h
Suppose -2*t + 5*t = 6. Suppose t*j = -3*j + 10. Which is bigger: j or -0.1?
j
Let j = -1965/427 - -536315/138348. Let h = 2/81 - j. Suppose -2*p + 4 = 2*p. Which is smaller: p or h?
h
Let n be 12/(-24)*1*28. Let f = n - -15. Let w = -1/452 - -919/6780. Is f >= w?
True
Let s be (-51)/(-68) + 21/4. Is s at least as big as 8?
False
Let d = 0.03 - 0.13. Which is greater: d or -4?
d
Suppose 2*j = 5*j - 3. Which is greater: j or 3/7?
j
Let v = -2/189 - -388/945. Let d = -0.4 + 0.4. Let z = d + 1. Is v smaller than z?
True
Suppose 30 = 2*p + 2*b, -3*b + 55 = -p + 5*p. Let w = -6 + p. Suppose w*o + 0*o = -8. Which is bigger: 3 or o?
3
Let s = -490 - -14207/29. Which is smaller: -1 or s?
-1
Let x = -23 + 23.17. Let a = x + -0.24. Let g = -172/133 - -30/19. Which is smaller: a or g?
a
Let z = 30 + -25. Does z = 11/2?
False
Let a = -0.08 + 0.22. Let w = a + -0.04. Let o = -0.5 + w. Is o at least as big as 1/4?
False
Let u be ((-4)/6)/(2/3). Let k be 14/21*(-6 + 0). Which is bigger: k or u?
u
Let k = -60 - -61. Let z = -0.3 + -2.5. Let c = z - -3. Are c and k non-equal?
True
Suppose -3*d + 7 = m, -2*d = -2*m + d - 4. Let h = 230/11 + -21. Which is greater: h or m?
m
Suppose -3*o = -2*c + 18, 0 = -4*c - 2*o - o. Suppose -7*d + c*d - 4 = 0. Which is greater: d or -3?
d
Let y = 4.5 - -15.5. Let v = -15 + y. Let w be 1*1*-1*1. Which is greater: v or w?
v
Suppose -3*o - 9*o = -300. Which is smaller: 22 or o?
22
Suppose 3*z + 20 = f, 4*f + f = -z + 68. Let m = -16 + f. Is m > -0.2?
False
Let f = 35 - 39. Is 2/5 at most as big as f?
False
Suppose 4*l = 3*o - 2*o, 0 = -l + 4*o. Suppose p + u + l + 2 = 0, 0 = -4*p + 4*u + 16. Which is smaller: p or 2?
p
Let z = -21/19 + 487/475. Is z at most as big as 0.1?
True
Let w = -2.12 - -2.1. Let a = -3/4 - -7/20. Which is smaller: w or a?
a
Suppose -10 = r + r - 5*p, -4*r + 40 = 5*p. Suppose r*m + 25 = -0*m. Is m >= -4?
False
Suppose 3*c = -4 - 17. Let n be ((-2)/c)/(30/14). Suppose 23 = -3*f + 4*w, -2*f - 17 = -w - 2*w. Do f and n have the same value?
False
Let x(n) = -n**3 + 7*n**2 + 8*n + 4. Let y be x(8). Let b be (8/10)/(y/10). Suppose -6*c = -b*c. Are 0 and c nonequal?
False
Suppos