True
Let k be (0 + -1)/(46/(-4)). Is k < 1?
True
Let o be (-85)/(-15) - 4/(-3). Which is greater: 5 or o?
o
Let q = -18 - -23. Is q bigger than 5?
False
Let g = 5 + -5.03. Let h = 0 + -0.1. Is g at most as big as h?
False
Let b = -0.38 - -0.18. Let i = 5 - 2. Let o = -3 + i. Which is smaller: o or b?
b
Let z = 24 - 11. Is 13 <= z?
True
Let r = -1 - -4. Suppose 0 = -4*l - r*j + 6, -3*l = 7*j - 2*j + 1. Is -1 >= l?
False
Let m be (-2)/(-5) + (-8)/20. Is 0 greater than m?
False
Let k = -1 + 0.9. Which is smaller: 0.1 or k?
k
Let h = -82 - -83. Let n be ((-2)/(-15))/((-8)/(-10)). Which is greater: n or h?
h
Let f(a) = -a. Let i be f(-2). Suppose -2*v + 14 - i = 0. Is 6 bigger than v?
False
Suppose 0 = 2*q + 2*q. Let s = -77 - -384/5. Does s = q?
False
Suppose -37 = -4*t - 5. Is t < 8?
False
Let r be ((-16)/(-128))/((-2)/4). Let b(z) = z**3 + z**2 - 9. Let m be b(0). Let u be (-2)/m - (-6)/(-27). Is u != r?
True
Let p(c) = c + 10. Let r = -32 - -22. Let z be p(r). Which is smaller: -3/10 or z?
-3/10
Suppose 7 = -3*u + 16. Do 3 and u have the same value?
True
Suppose -2*t - 3*t + 15 = 0. Suppose 0 = -5*l - t*p - 10, 5 = -l + 2*l + 2*p. Suppose -2*i + 24 = -5*s, 5*s + 0*i = -3*i - 14. Is s smaller than l?
False
Let k be (8204/390)/(1116/15). Let n = -2/403 + k. Let b = 79/90 - n. Is 1 greater than b?
True
Let h = 2909/17 + -171. Suppose z = -0*a + 5*a + 64, 0 = 2*a - 5*z + 44. Let v = -13 - a. Which is greater: h or v?
h
Let c = -2 - 3. Suppose -4*k - 5*s = -5, 3*k - 2*s + 37 - 12 = 0. Is k equal to c?
True
Let g be ((-8)/(-6))/((-18)/(-135)). Suppose -11*h + g*h = -3. Do 3 and h have the same value?
True
Let z = 0.1 + -0.2. Are z and 1/3 non-equal?
True
Let b = -0.3 + -0.5. Let c = 0.625 + 26.475. Let j = 27 - c. Is j greater than b?
True
Let u = -32 - 3. Is u at least as big as -35?
True
Let n = 0.7 + -0.4. Let r = n - 0.4. Which is smaller: r or 2?
r
Let k be 27 - ((-3)/(-1) - 1). Suppose 0*l + k = 5*l. Suppose l*w = 3*t + 5, -4*t + 3 = 5*w - 2. Is -1 bigger than t?
False
Let b be -2 + 4/(108/57). Is b less than -1?
False
Let d = -34/7 + 16/7. Is -4 bigger than d?
False
Suppose 5*u = 15 + 5. Suppose -s = s - u. Suppose 15 = s*p + 5, -3*j - 13 = -2*p. Is j greater than or equal to -1?
True
Let t = 5.86 + 0.14. Let z = 22 - 23. Is z >= t?
False
Suppose -17 = -o - 2*s - 2, -o + 4*s = 15. Let i = 3 - o. Is i <= -2?
True
Suppose 2*d = -2*v + 4*v + 12, 0 = -5*d - v + 42. Let o(m) = m**3 - 7*m**2 - 10*m + 12. Let n be o(d). Let f = -6 - n. Is -2 < f?
False
Let z be (-4)/(-8)*(0 - -2). Suppose n - 4*y = -9, 3*n - 6*n = y + z. Is -2 at least n?
False
Suppose -2*w = -w. Is w <= 1/6?
True
Let f = 3 + 2. Suppose 0 = 3*y + f*g + 15, 5*y - 1 = -g - 4. Suppose -3*v + 3 = -4*w, -3*w + 5*v - 11 = -6. Do w and y have different values?
False
Let t(o) = o - 5. Let s be t(5). Let f be s/(6/3 + -3). Let j = 4 + -4.2. Which is smaller: f or j?
j
Let a be 4/(((-9)/(-15))/3). Suppose -x + a = -5*x. Which is greater: -4 or x?
-4
Let d = 132 + -130. Is -1/11 smaller than d?
True
Let r = 1 - 3. Suppose 11 = -2*h - 3*u, -5*h - 5*u + 16 = 51. Let i = h - -7. Which is smaller: r or i?
i
Suppose -4*k + 0*k = -28. Suppose -k*z - 12 = -4*z. Which is greater: z or -3?
-3
Let b = 1.9 + -2. Let z = -4 + 1. Which is greater: z or b?
b
Let v = -0.2 + 0.1. Let z = -6.1 + 6. Are z and v non-equal?
False
Let i be (8/4)/2 + 2. Which is greater: 2 or i?
i
Let c = 61/153 - 3/17. Let n = -18 - -25. Suppose 5 - n = 2*t. Is c greater than or equal to t?
True
Let d = 66 - 67. Which is smaller: 2/125 or d?
d
Let n = 1/414 - -5933/414. Which is bigger: n or 13?
n
Let p = -13 + 2. Let w be (-108)/p - (-12)/66. Let o be w/(-36) + (-2)/(-4). Which is greater: o or -1/3?
o
Let x = -0.9 + 0.9. Let i = 0 - 1. Does i = x?
False
Let p = -4 - -5. Let y = -9665310/77 + 125521. Let v = -26/11 - y. Which is smaller: v or p?
v
Suppose -3*d - f = 8, -12 = 2*d + 5*f - 3*f. Which is smaller: d or 2/23?
d
Suppose 0 = 2*y + 5*u + 11, 5*y + 35 = 4*u - 9*u. Are -17/2 and y equal?
False
Suppose -4*u + 14 = -10. Suppose 5*m + 4*d = 11, u - 2 = -4*d. Which is smaller: m or 2?
2
Let q be (11/77)/((-2)/6). Is q at most as big as 3/7?
True
Suppose -8 = -3*x - 5. Let z(w) = -w**2 - 7*w - 4. Suppose 2*r + 5 = -7. Let b be z(r). Is x at least b?
False
Suppose -101 = 4*o - 5*i, 5*o + 148 = 4*i + 15. Which is smaller: -28 or o?
o
Suppose 2 = -3*j + 2*j. Let g(v) = -v - 11. Let m(d) = 1. Let c(q) = g(q) + 4*m(q). Let w be c(-6). Is w equal to j?
False
Let n = 14 - 5. Let c be 2 - ((-16)/n)/(-1). Suppose 2 = 3*d - 1. Which is smaller: c or d?
c
Suppose 5*m + 5*l = -20, -4*l + 26 = 6. Suppose 4*q = 7*q + d + 30, -5*q - d - 50 = 0. Is m at least as big as q?
True
Let n = -212 - -201.1. Let o = -11 - n. Let x be 4*((-3)/2 + 1). Which is smaller: o or x?
x
Let h be (-2 - 3)*(-1)/1. Suppose 26 = -t - 5*d + 6, h*d = -4*t - 5. Which is bigger: 6 or t?
6
Suppose 6*k + 20 = 2*k. Suppose -14 = -j - 8. Let m = j + k. Does 2/3 = m?
False
Let z = 4/5 + -1/20. Let p = 14 + -8. Let d = 6.1 - p. Is z at most d?
False
Let y = -1 + 8. Suppose 0 = 2*p, -2*t + y*p - 3*p + 4 = 0. Is t greater than 2?
False
Let d = -18 - -25. Let f(p) = p - 7. Let o be f(d). Which is bigger: o or 1/12?
1/12
Let a(k) = k - 1. Let w be (-1876)/(-63) - (-2)/9. Suppose w - 5 = -5*n + 5*t, n - 5*t + 21 = 0. Let m be a(n). Is -1 <= m?
False
Let q be (-2)/6*(-6)/4. Let o = 19 + -23. Let v = 5 + o. Is q less than v?
True
Let u(i) = i**2 - 6*i + 5. Let d be u(5). Is 1/46 > d?
True
Suppose 3*r + 15 = -5*l, -l + 6*l - 15 = 3*r. Which is smaller: l or 1/9?
l
Let j = 30 + -30.2. Are j and -1/6 unequal?
True
Suppose 5*p = -4*j + 5*j - 12, p + 12 = 5*j. Is j at least 4?
False
Let m(s) = s**3 + 12*s**2 + 10*s - 19. Let c be m(-11). Suppose -n + 2*k - 26 = 2*n, 3*n = -k - 14. Which is bigger: n or c?
n
Let k = 18 - 17.3. Let x = -0.3 - k. Let r = x - -1. Is r less than -1?
False
Let i = 0.06 + 0.15. Which is greater: i or 1?
1
Suppose 4*c = 5*r + 33, 0*r + r - 1 = -3*c. Suppose c*f = 4 - 2. Let p be (1/10)/(2/12). Which is bigger: p or f?
f
Let b = -23/15 + 17/60. Is b != 0?
True
Let a = -2509/90 + 35417/1260. Let v = -2/105 - a. Suppose -12*o = -17*o - 10. Which is smaller: v or o?
o
Let o = -2.3 + 2.2. Is 1/2 != o?
True
Suppose -3*h + 10 = -8. Suppose 3*u + h = 4*u. Let b = -4 + u. Is 2 not equal to b?
False
Let a = -4 + 3.5. Let u = -0.1 + a. Let o = u + -1.4. Is o smaller than 1?
True
Let c = -0.26 - -0.37. Is -2/3 less than c?
True
Suppose 0 = -0*n + 5*n + 15. Is 1 less than or equal to n?
False
Let c be ((-6)/(-16))/(18/(-15)). Are 0 and c unequal?
True
Let a = -24 - -22. Is -2 smaller than a?
False
Let t = 6 + -1. Suppose 0 = t*f + 2 + 8. Which is smaller: f or 1?
f
Let w(l) = -3*l + l**2 - 1 + l + 0*l + 3*l. Let h be w(-2). Is h bigger than 3?
False
Let u = -1/39 - 4/13. Are u and -1/3 nonequal?
False
Let z = -2 - -10. Let w be (-12)/(-9) - z/6. Do -2/3 and w have the same value?
False
Let g = 0.006 + 0.194. Which is bigger: g or 4?
4
Suppose -r - 2*r + 6 = 0. Suppose 0 = r*n + b + 16, -4*n - 5*b - 44 = -0*n. Are n and -6 unequal?
False
Let w = -1.9 - 6.1. Let q = -7 - w. Is -4 <= q?
True
Let g be 2/(-9)*(-9)/21*3. Which is smaller: g or -3?
-3
Let z = 9 - 5. Let h(d) = d**2 - 4*d + 3. Let g be h(z). Let s = g + -2. Which is bigger: s or 1/4?
s
Let h = -23 - -21.5. Which is greater: -1/2 or h?
-1/2
Let p be 1/(-3) + (-3)/(-9). Let b = p + 1. Let z be (3 - 3 - b)*-2. Is z != 1/2?
True
Let k = -21 - -29. Which is bigger: 7 or k?
k
Let s(h) = h**3 + 3*h**2 - 4*h - 1. Let t be s(-4). Let u be 1/1 - (t - 1). Let k be 6/8 + u/12. Is 1/5 >= k?
False
Let j(q) = q + 10. Let w be j(-7). Suppose -5*z = -w*v - 12, -2*v = z + v - 6. Suppose -4*a + 17 = z*r, -2*a - 1 = 3*r - 7*a. Is r >= 2?
True
Suppose -g - 14 = -3*g. Is g != 7?
False
Suppose m + 10 = i - 4*m, 6 = 4*i - 3*m. Suppose 0*d - d = i. Does 0.3 = d?
False
Suppose 4*l + 4*d + 8 = 5*d, -3*l = -5*d - 11. Let f be 9/(-6)*(-2)/l. Is -1 >= f?
True
Let o = 16 + -11. Let f be 3 + (-3)/9*-6. Is f greater than o?
False
Let i be 0/2 - (-4)/16. Suppose -2*p + n + 1 = 0, 3*p + 2*n + 8 = p. Let k be -1*p*(-2)/2. Is k at most as big as i?
True
Let y = 0 + 0.2. Let w = 0.9 + -0.78. Let k = w - -1.88. Which is smaller: k or y?
y
Let d = 2 + 