 y be 24/k + (-6)/10. Is 0 < y?
False
Suppose -r + 7 - 1 = 0. Suppose 4*h - r - 1 = 5*i, h = -5*i + 8. Do 1 and i have different values?
False
Let l = 3 + -1. Is 6 <= l?
False
Suppose -k + 0 - 1 = 0. Let d be k + 2/2*2. Is d bigger than 0?
True
Let z(y) = -y**2 - 7*y - 6. Let h be z(-6). Let m(d) = d**3 - 7*d**2 + 9*d - 9. Let n be m(6). Let x be n/18 - 0/(-2). Which is smaller: h or x?
h
Let u = -1 + 3. Let y = 5 - u. Suppose -y = 4*h - h. Which is smaller: 1/3 or h?
h
Suppose 0 = -5*d + 16 - 1. Let q be (-2)/d + (-60)/18. Let n be q/(-6)*(-3 + -3). Which is bigger: n or -3?
-3
Let b = -108 + 108. Is -21 greater than or equal to b?
False
Suppose t = m, t - 4*t - 24 = 5*m. Are t and 0 equal?
False
Let p = -5 - -6. Let v = 2 + p. Let a be -4*4/(8/v). Which is smaller: -5 or a?
a
Suppose -5*c = 2*f + 11 + 3, 5*f - 3 = -3*c. Let d = -2 - -4. Let l = 4 - d. Which is smaller: l or f?
l
Let h = 3 - 3.12. Let x = h - -0.22. Which is smaller: 1/2 or x?
x
Let z be (-2)/(-3)*(-150)/(-20). Suppose -z*v = 0, 3*t - t + 2*v = 2. Which is smaller: t or -1/4?
-1/4
Let o = -100 - -62. Which is smaller: o or 0?
o
Let o be ((-164)/78 - -2)*(-60)/(-8). Are o and -2 nonequal?
True
Let v = 1 + -2. Which is greater: v or 0.1?
0.1
Let r be (2/4)/((-34)/8). Let w = -4 + 8. Suppose 16 = m + m - 4*h, -h - w = -3*m. Which is smaller: m or r?
r
Let k = 1.3 - 4.3. Let s = -0.4 - 1.6. Let m = s - k. Is 0.1 smaller than m?
True
Let h = 4 + -1. Let t = h - 9. Let f = -6 - t. Which is bigger: f or -2/9?
f
Suppose -5*n = -2*u - 4, 5*u - 7 = 5*n - n. Do 2 and u have different values?
True
Let b = 31542688924/1155 + -27309691. Let c = b - -58/77. Let s = c + 8/3. Which is smaller: -1 or s?
-1
Let y = 118 + -1064/9. Which is smaller: -1 or y?
-1
Let c = 99 + -165. Are -67 and c unequal?
True
Let l(b) = 226*b - 5. Let d be l(5). Let i = d - 4463/4. Let x = i - 9. Which is smaller: 0.5 or x?
x
Let b = -11 + 5. Let m be 1*(19/b - -3). Is -1 != m?
True
Let n = -6 + -33. Let h = 118/3 + n. Let d = -1 + 2. Does d = h?
False
Suppose k = 3*i + 7 - 1, -4*i - 5*k + 11 = 0. Let v = -0.03 - 0.07. Is v greater than or equal to i?
True
Suppose -5*j + s = 5*s + 1, -3*j = 4*s - 1. Let c = -16762/37 - -453. Is j smaller than c?
True
Let f = -4/13 + -265/26. Let y = -11 + -1. Is f < y?
False
Suppose 0 = -4*o - 5*k + 33, 3*k + 29 = 2*o + 8*k. Is 1 < o?
True
Let r be -1*(0 - -2)*1. Are 2/23 and r equal?
False
Let x(r) = r**2 + 5*r + 6. Let k be x(-7). Suppose -k = -f - 3*f. Let p(a) = a**3 - 5*a**2 - a + 4. Let s be p(f). Is 1 equal to s?
False
Let v = -2 - -2. Suppose 0*c - 5*c = 5. Let a = v - c. Does 1/7 = a?
False
Let c be 18/(-8) + 3/12. Suppose o + 0*k = -2*k + 4, 0 = -5*k. Suppose 0*l = 2*l + o. Is l equal to c?
True
Let y = -175 - -179.04. Let k = 0.04 - y. Let i = k - -6. Is i greater than or equal to 4?
False
Suppose 11*p - 13*p = 0. Which is smaller: -9 or p?
-9
Let t = -2 + 2.01. Let y = 0.41 - t. Let j = y + 0.6. Which is smaller: -2 or j?
-2
Let l be (-9)/6*(-1)/3. Let a(q) = -q**2 - q - 1. Let r be a(-2). Let v = -3 - r. Are l and v equal?
False
Let b = 21 + 5. Is -1 at most b?
True
Suppose 0 = -a + n - 5 - 5, -3*a - 5*n - 38 = 0. Is a not equal to -9?
True
Let n = 3 - 19. Let w = -12 - n. Does 4 = w?
True
Suppose 3*m + 7 = 2*g - 8, g - 4*m - 15 = 0. Suppose 3*n = -12 + g. Let t = 4 + -5. Which is greater: n or t?
t
Suppose 3*t + 69 = 3*w, -4*t - 67 = -7*w + 4*w. Is w smaller than 25?
False
Suppose 0 = -j - 2*w - 2*w + 5, 3*j = 3*w - 45. Which is smaller: j or -9?
j
Suppose -48 = -5*c - 13. Is 1 not equal to c?
True
Let a = -0.32 - -0.62. Which is bigger: -1 or a?
a
Let h = 28 - 15. Suppose 5*i - 12 = h. Suppose o - i*o + 4 = 0. Which is bigger: 2/3 or o?
o
Let i = -50.4 + 51. Is 1 smaller than i?
False
Let z(d) = 2*d + 9. Let m be z(-6). Let t = 4 + m. Let a = 64 + -257/4. Do a and t have different values?
True
Let l be (-3)/10*(-10)/12. Let k = 10 + -8. Let c = 2.2 - k. Is l at most c?
False
Suppose -2*t + 5*h = -3*t - 20, 2*t + 5*h = -20. Suppose -25*m + 29*m = t. Let b = 20 - 14. Is b != m?
True
Let b = -0.2 - 0.1. Let w = 12 - 15. Let j = 5 + w. Which is greater: b or j?
j
Let z = -0.01 - -0.11. Let l = 0.1 - z. Suppose -3*j - 3 = -0. Is j < l?
True
Let z = 22 + -23. Which is smaller: z or -5/14?
z
Let u be 4/(-6)*(-6)/(-4). Let f = 2014/5157 + -18/191. Let l = 2/189 - f. Which is smaller: l or u?
u
Let f = -0.01 - -0.31. Let d(y) = -y**3 + 9*y**2 - 9*y + 12. Let g be d(8). Let l = g - 11/3. Is f less than or equal to l?
True
Let r = 0.18 + -0.08. Which is smaller: 3/4 or r?
r
Let s(o) = -o**3 - 6*o**2 + 6*o - 9. Let k be s(-7). Let j(v) = v**3 - 3*v**2 - 4*v - 3. Let a = 9 + -5. Let w be j(a). Is k >= w?
True
Let g be ((4 - 3)*-1)/((-2)/6). Which is greater: 15 or g?
15
Suppose -g - 22 = -2*w, w - 2*g - 11 = 3. Suppose w = q - 6*q. Let l = 283 + -284. Is l less than or equal to q?
False
Suppose -4*n + 9 = -7. Let p be (-6)/n*(-2)/(-3). Is p <= -2?
False
Let r be 48/(-26) + (-8)/52. Let q = -9 - -6. Let c = 3 + q. Which is bigger: r or c?
c
Let c = 12.7 + 4.3. Let k = c + -17. Which is greater: k or 1.2?
1.2
Let f be (-6)/(-110)*(-2 - (-9 - -2)). Which is greater: f or 0?
f
Suppose 10*b - 6 = 4*b. Let u = -23 - -206/9. Which is bigger: u or b?
b
Let l = 243 + -241.61. Which is bigger: l or 1?
l
Suppose -f - 1 = -5*d, 2*f + 1 = -4*d - 1. Let z be -1*f/(-5)*2. Is z >= 1?
False
Let g(a) = 8*a**2 - 2*a - 1. Let t be g(-2). Is t < 35?
False
Let w(n) = 3*n**3 - n**2 + 1. Let g be w(-1). Let z be 2/5*g/(-3). Let b be 2/(-8) - (-30)/56. Which is bigger: b or z?
z
Let b be -2 - ((10 - 8) + (-52)/14). Let r = -0.9 - -1. Which is smaller: r or b?
b
Let u = -11.65 - -11. Let s = u - 0.05. Which is smaller: s or -2/3?
s
Let r be ((-66)/(-9) - 4)*288/15. Which is bigger: 63 or r?
r
Let o = -1 - -26. Let t be 10/o*10/18. Are t and 1 nonequal?
True
Let c = 5.39 - 5.1. Do 1/5 and c have different values?
True
Let k(z) = z**2 - 4*z - 5. Let l be k(6). Let p(t) = t**2 - 6*t - 6. Let v be p(l). Is v greater than or equal to 1?
True
Let h(y) = y - 1. Let d = -4 + 4. Let a be (d - (0 - -1))*2. Let x be h(a). Is -2/7 > x?
True
Let z = -13 + 13. Does 6 = z?
False
Suppose -5*u = 2*c - 40, 0*u - u - 154 = -5*c. Let v = -2/9539 - 1135133/38156. Let a = v + c. Which is bigger: 0 or a?
a
Let u(q) = -q + 4. Let b be u(-5). Let y be b/(-12) - 1/(-4). Which is bigger: y or 2/9?
2/9
Let r = -0.4 - -3.4. Let k = -6 - -4. Let a = k + r. Are a and -3 nonequal?
True
Let b = -28.09 - -28. Does -3/7 = b?
False
Let t be -2 - (0 - 3 - -4). Let p = -92 - -23. Let s = p - -205/3. Is t greater than or equal to s?
False
Let s be (1 - (-12)/(-9))*0. Which is bigger: s or 4?
4
Let f be (-1 + 2/4)/(-2). Let j be (-1)/(-1) + -9 + 9. Suppose 3*x - 3 = 2*u, -3*u + 5 - j = 4*x. Which is smaller: f or x?
f
Let m = -53 - -52.7. Let d be 4/6 + (-1)/(-3). Let h = d - 2/3. Is h < m?
False
Let q(r) = r**2 - 12*r + 11. Let x be q(11). Are x and -6/11 nonequal?
True
Let r(m) = -7*m - 11. Let y(g) = -4*g - 5. Let j(u) = 3*r(u) - 5*y(u). Let x be -4 + -3 + 0 + 0. Let k be j(x). Which is greater: 1/4 or k?
1/4
Let q(b) = -2*b. Let g be q(1). Let o be ((-10)/3)/(g/3). Suppose o*z = -2*n, -7*z = -n - 2*z. Which is greater: n or -1?
n
Let g = 2 - -2. Suppose g = 2*h - 8. Let w be (-3)/h + (-2)/4. Which is greater: w or 2/11?
2/11
Let n = -8 + 9. Let f = 4 + n. Is f less than or equal to 1/4?
False
Suppose n + 3*n + 179 = x, 0 = 2*n + 2*x + 102. Let j = n - -185/4. Let h(l) = -l**3 - l**2 - 2*l - 1. Let b be h(-1). Is j greater than b?
False
Suppose -3*a - 1 = -4. Which is greater: -4/17 or a?
a
Let t be (-3212)/80 - (-2)/(-8). Let j = 40 + t. Suppose -2*p - 8 = -3*n + 3*p, 5*p = -4*n - 1. Which is smaller: j or n?
j
Suppose -77*x = -79*x - 2. Suppose -v + 7*y - 3*y + 14 = 0, 2*v - 16 = 4*y. Is x bigger than v?
False
Let n(a) = a**3 - a**2 + a + 2. Let x be n(-2). Let t = -11 - x. Is t >= -1/4?
True
Let p(s) = 20*s**3 + 2*s**2 - 2*s + 1. Let u be p(1). Let r = u - 64/3. Which is smaller: 0.1 or r?
r
Let g = -2 + 1. Let m be 0*1/(-3) + g. Let v = -1 - m. Which is smaller: 1 or v?
v
Let q be ((-3)/6)/(-1)*0. Suppose 0*o - 3 = o. Which is smaller: o or q?
o
Let a be -5 + (585/(-25))/(-3). Which is greater: 1 or a?
a
Suppose 2*x = x. Let h be -1