/3*21/70. Let u = x + -131. Are u and 1/3 nonequal?
True
Let z = -4053/11218 - -27/71. Let h = z - -863/316. Which is smaller: h or 3?
h
Let x be (-4)/3*18/(-4). Let w be (-5)/15 - (-2)/x. Let t = 11/20 - 4/5. Is w greater than t?
True
Let g = 0.9 + -11.9. Let n = -11 - g. Is n >= 0?
True
Let k = 165 - 108. Let z = -173/3 + k. Let u = 1/3 + z. Which is bigger: 0.2 or u?
0.2
Suppose 5*l - 5*u + 28 = l, -4*u + 22 = -3*l. Let b be l/(-4)*(-8)/(-64). Suppose 5*x = -2 - 3. Which is bigger: x or b?
b
Let h(q) = -q**3 + 2*q - 3. Suppose 0 = 5*i + 7 - 17. Let r be h(i). Do -5 and r have the same value?
False
Let v = -0.02 - -0.11. Let d = 0.11 + v. Let k = d - 5.2. Which is greater: -0.1 or k?
-0.1
Let i = 3144/11 + -286. Suppose -2*n = -n. Do i and n have the same value?
False
Let u = -12/11 + -9/22. Let m(j) = j**2 - 9*j + 6. Let q be m(8). Which is bigger: q or u?
u
Let l = 3 - 3. Suppose -9 = -5*r - 39. Let q be (3 + r)/(30/(-8)). Which is smaller: l or q?
l
Let c(b) = -b**3 + 7*b**2 - b + 7. Let k be c(7). Which is smaller: k or 1?
k
Let i = -865/3 + 297. Do i and 10 have different values?
True
Suppose 2*o - 2*w = -18, 0 = 2*o - w + 6 + 10. Is -7 at most o?
True
Let c = -398/3 + 131. Let b = 2 + -5. Do b and c have the same value?
False
Suppose -3*x + 5 + 4 = 0. Are x and 5 non-equal?
True
Let p = -0.5 + 0. Let r = -0.11 + 0.81. Let u = p + r. Are 1/3 and u nonequal?
True
Let b = -109.98 - -110. Which is bigger: b or 0.1?
0.1
Let d(v) = 4*v + 3. Let g be d(8). Let b be 5/(g/(-6))*-7. Suppose b = x + 2. Is 4 < x?
False
Let a be (-30)/(-20)*1/4. Which is greater: a or -3?
a
Suppose 2*h = h. Is 5 < h?
False
Let n = 12 - 6. Suppose -z + n = 1. Is 5 bigger than z?
False
Let c = 89 + -89. Which is greater: c or 1/191?
1/191
Let i(o) = -o**3 + 3*o**2 + 3*o + 3. Let l be i(4). Let g be ((-6)/(-4))/((-6)/(2/1)). Is l >= g?
False
Let r be 12/9 + (-805)/588. Which is smaller: r or 1?
r
Let r be -11 + ((-6)/3 - -5). Is r >= -7?
False
Let j(t) = 3*t**2 - 2. Let q be j(2). Which is smaller: 12 or q?
q
Let d = -82 - -74. Is d < -5?
True
Let s be 1/(-4)*(2 - -2). Do -9/4 and s have the same value?
False
Let d = -3.6 + -0.4. Let r = 1 + 1. Let f = d + r. Which is greater: f or 1?
1
Let l be 0 + 4/(-210)*-5. Is l not equal to 1?
True
Let k = 926 - 4668/5. Let y = 157/20 + k. Suppose -4*u + z - 2*z - 4 = 0, 0 = 3*u + 4*z + 16. Is u bigger than y?
False
Suppose 0 = -2*i - v - 5, 0 = -0*v + 2*v - 6. Let k = i + 8. Suppose k*n - 4*z = 16, -4*n + 0*n + 21 = -5*z. Is n greater than 2/5?
False
Suppose 0 = 4*d - 29 - 15. Which is greater: d or 12?
12
Let z = 44.97 - 45. Is -3 less than or equal to z?
True
Let j = 819/4 - 206. Let r = -3/4 - j. Which is greater: 1 or r?
1
Let w be 0/(0 - (0 + 1)). Suppose 4*o - 1 = 3. Are o and w unequal?
True
Let k = -5/4 - -1. Let t = 3.07 - 0.07. Let w = 3.1 - t. Which is greater: w or k?
w
Let f(n) = -n**2 + 5*n - 6. Let w be f(5). Let z = 8 + w. Suppose 2*t - 3*o + 11 = 0, 5*o = 5*t + 19 - 4. Is z not equal to t?
False
Suppose -4*m + 27 - 3 = 0. Let w = -6 + m. Suppose w = -3*q + 5 + 4. Is 5 greater than or equal to q?
True
Let k = 2 - 1. Let b = 45 + -6. Let w be ((-24)/(-16))/(b/(-4)). Which is smaller: w or k?
w
Let c be ((-10)/6)/(1/(-3)). Let z = c - 6. Let b be 0 - -1 - (1 - -1). Does b = z?
True
Let n(k) = -k + 0*k**2 - k**3 - 14*k + 3*k - 22 - 11*k**2. Let c be n(-10). Suppose -5*f - 5*v - 25 = 0, -2*v - 15 = -5. Is c < f?
True
Let x = 60.1 + -60. Let f = -1.3 + 0.3. Which is smaller: x or f?
f
Suppose h = -2 - 2. Let d be (-23)/h - 21/28. Which is smaller: 4 or d?
4
Suppose s - 3 = -8. Let o = 6 + s. Is 3 less than o?
False
Let z = 15/11 + -56/33. Is z bigger than -1/4?
False
Suppose -4*d = -1 + 5, 3*s - 5*d = -16. Which is bigger: -1 or s?
-1
Let f be -2*(4/40*2 + 0). Let s = 0 + -1. Let t be 1/3*(s + -2). Which is smaller: t or f?
t
Suppose 0 = -5*j - 2 + 12. Let o = -7 + j. Let d(k) = -k**3 + 6*k**2 + 6*k + 2. Let n be d(7). Is n bigger than o?
False
Let l be (1/2)/(19/304). Which is bigger: 64/7 or l?
64/7
Let h(y) = -2*y + 13. Let a be h(6). Which is greater: a or 7/9?
a
Let d = -5 + -4. Suppose -j - 5*f - 33 = 0, 3*j - 3*f - 2*f - 1 = 0. Which is greater: j or d?
j
Suppose 0*p = 4*p - 16. Suppose 0 = -p*m + 6*m. Which is greater: -2 or m?
m
Suppose -l + 2 = -0. Let a be -1 + l + 38/(-34). Does 1 = a?
False
Let h = 306.99 - 305. Let c = 0.01 + h. Let m = -2 - c. Which is smaller: m or 0.1?
m
Let x = -8 + 5. Suppose 0 = s + 3*r - 21, s + 4*r - 26 = -0*r. Let c = 5 - s. Is c bigger than x?
True
Suppose c + 5*s + 25 = -c, -4*c - s - 5 = 0. Is -1/261 <= c?
True
Let i = 8/101 - -85/202. Let z = -3/10 - -41/170. Which is bigger: z or i?
i
Let b = -4 - -3.6. Let p = 0.8 + -0.1. Let z = p + -0.6. Which is greater: z or b?
z
Suppose -5*k = 2 + 3, 3*c = -4*k + 17. Suppose 0 = -w + o + 9, 4*o = -2*w - w + 6. Do c and w have the same value?
False
Let v = -40 - -4. Which is greater: -37 or v?
v
Let b = -14 - -7. Let f = -9 - b. Let c = f - -6. Is c at most as big as 0?
False
Let f = -5/37 - 71/296. Is 1 at most f?
False
Let d be 0/((0 - 1)*1). Suppose r - 15 = -r + 3*t, -25 = 2*r + 5*t. Do r and d have the same value?
True
Suppose 40 = -2*j + 7*j. Suppose 0 = 3*o + 12, -j = -r + 6*r + 2*o. Is r less than or equal to 0?
True
Suppose -7 = -3*k - 0*w - w, -2*w + 11 = 3*k. Is 1 bigger than k?
False
Suppose -107 - 10 = -3*b + 5*n, n + 3 = 0. Let c be -2 - (b/(-8) + 1). Suppose 0 = 3*w, 3*j + w = 5*j. Is c bigger than j?
True
Let l(p) = -p**2 + 2*p + 2. Let k be l(0). Which is smaller: 1 or k?
1
Let t = -8 - -4. Suppose 2*d + 9 = -l, -4*d + l = 5*l + 20. Is d bigger than t?
False
Let h(s) = 8*s**3 - 2*s + 1. Let j be h(1). Let g = 58/115 - 1/230. Is g > j?
False
Let i(y) = -y + 1. Let f be i(-3). Let x be (f - 2)/(1 + 1). Let j be -1*(-5 + 12/4). Is x greater than j?
False
Suppose 63 = -0*r - 3*r. Let i = 21 + r. Which is bigger: i or -1/30?
i
Let z = 10 + -10. Which is smaller: z or -0.1?
-0.1
Let r be 146/(-12) + (-2)/(-3). Do -11 and r have the same value?
False
Let z be 15/9 + -1 - (-13)/(-24). Let o = 2.9 - 3. Which is greater: z or o?
z
Let o = 11 - 6. Suppose -2*w + 7*w - 15 = 0. Which is smaller: w or o?
w
Let y = 12 - 5. Let i = -4 - y. Is 1 at least i?
True
Suppose 0*h - 3 = -3*h. Let c(q) = q**3 - 3*q**2 + 4*q - 2. Let j be c(2). Suppose j - 5 = t. Which is smaller: t or h?
t
Let m = 7 + -7.2. Which is smaller: 1 or m?
m
Suppose 0 = 2*r + 3*r. Let h be r - (3 - 58/18). Let i = 8 - 6. Is i bigger than h?
True
Let f = 0.07 + -0.17. Let p = 1 - 0. Is p greater than or equal to f?
True
Suppose -l - 3*l + 2*x + 30 = 0, 5*x = l + 6. Let r(s) = -s + 12. Let k be r(l). Let i be (-20)/(-6) + k/(-9). Which is bigger: 2 or i?
i
Let p = 440/117 + -59/13. Let l = 10/9 + p. Let d be (3/(-8))/(33/(-44)). Which is smaller: l or d?
l
Suppose -89*w + 85*w - 28 = 0. Do -1 and w have the same value?
False
Suppose a - 4*w - 10 = 13, 4*a + 13 = -5*w. Let k be -3 - ((-2)/6 - a). Is -0.4 smaller than k?
True
Let m = -0.04 + 0.18. Let n = -0.04 + m. Is n at most -5?
False
Let r = 1.47 + -0.17. Let p = -1.2 + r. Let s = 0 + -2. Is p less than s?
False
Let b = -0.82 + 0.9. Let r = -0.28 + b. Is r smaller than -0.4?
False
Let p = -94 + 94. Suppose -5*j - 15 = -2*z - 0, 3*z - 5*j = 15. Suppose 2*a - a = z. Is p < a?
False
Let l(v) = 2*v**2 - v - 5. Let i be l(4). Suppose -5*h + 2*a - 25 = 0, 4*h + 2*a + i = 3*a. Is h != -7?
False
Suppose 4 = 5*b + 5*i - 6, -4*i = 3*b - 2. Suppose -2 - 2 = -p. Suppose j = p*j - b. Which is smaller: 1 or j?
1
Suppose 3*y - 1 = -4*b - 0, b = 3*y + 19. Suppose -4*a + 0*t - b = 4*t, -4*a = 2*t + 10. Let w be ((-2)/a)/(0 + 2). Which is smaller: 2 or w?
w
Let c = 13 - 10. Let x = c - 4. Is x greater than or equal to -2?
True
Let o = -6 - -6. Let t = -1 + 1. Let y = t - o. Is y less than or equal to -1/5?
False
Let t = 0.29 - 0.2. Let s = -0.31 - t. Which is smaller: 0 or s?
s
Let f(q) = -q + 11. Let o be f(6). Suppose -14 = -o*h + 6*h - 4*j, 5*h = -2*j - 4. Let t be 1/h - 12/(-8). Does t = 0.1?
False
Suppose 2 = 3*w - 4. Let f be 2/5*(w - 7). Let c = f + 0. Is c less than -3?
False
Let y = 13 + -21. Let f = y - -16. Let d be 1/4 + (-42)/f. Which is greater: -6 or d?
d
Suppose -4 = 6*c + 32. Suppose -6*d + 4*d = 14. Is c >= d?