ller: o or -1?
-1
Let i be (88/1122)/(4/(-6)). Is 0 at least i?
True
Let c = 18 + -18. Let d = -1 + c. Which is smaller: d or -4/7?
d
Let y(k) = k**3 + 5*k**2 - 3*k - 5. Suppose -2*b + 4*i = b + 27, -i = -2*b - 13. Let z be y(b). Let v be (-4)/z + 36/15. Is v at least 1?
True
Let k = 2 + -5. Let a = 2 + k. Let o = 3 + a. Is -0.2 at most o?
True
Let i = 24128 + -723733/30. Let l be ((-17)/2)/((-5)/2). Let g = l - i. Is g smaller than -2/3?
False
Let d = -20.82 - -21. Let b = -0.08 + d. Which is smaller: b or 0.09?
0.09
Let y = -4951/22 - -225. Is 1 smaller than y?
False
Let x(f) = -f**3 + 5*f**2 + 9*f - 3. Let p be x(6). Is 15 greater than p?
False
Let r be (-4)/(-7) - 6/(-14). Let n be 5 + (-2 - r) - -2. Do 3 and n have different values?
True
Let r = 24 + -26. Which is greater: -5/6 or r?
-5/6
Suppose w + 3*w = 2*o + 58, 2*o = 2*w - 28. Let a = 33 - w. Let p be (-3 - a/(-8)) + 2. Do p and 1 have the same value?
False
Suppose 0 = 2*r - 2*d - 2 + 14, -23 = 3*r - 4*d. Let v be 3/(-2)*(-4)/(-14). Are v and r nonequal?
True
Let q = 4.1 - 4. Let m = 0 + q. Is -0.2 greater than or equal to m?
False
Let l = -102 + 91. Are -13 and l non-equal?
True
Let n = 739/5430 + -1/362. Do 2/5 and n have the same value?
False
Suppose 5*a = -40 - 440. Let v be a/(-189) - 2/9. Which is smaller: -0.1 or v?
-0.1
Let j = 0 - -0.1. Are -2/23 and j equal?
False
Let j = -26 - -71. Let p be 2/(-8) + j/84. Is -1 <= p?
True
Let p = -18 + 25. Let k = p - 8. Is k <= -3/5?
True
Let d(a) = a**3 + 20*a**2 - 21*a + 1. Let q be d(-21). Is -1/8 less than or equal to q?
True
Let a(t) = -2*t - 1. Let k be a(2). Let z(q) = q**3 + 6*q**2 + 6*q + 4. Let v be z(k). Is v >= 2/17?
False
Suppose c + 9 - 3 = 0. Let y be 2 + c + 75/18. Which is smaller: y or -2?
-2
Suppose 4*i = 2*i - 4. Let n = i + 8. Is n greater than or equal to 5?
True
Let b = 29 + -88/3. Let r be (-5)/6*(-8 - -2). Let d = -6 + r. Which is smaller: b or d?
d
Let u = 2 + -1. Let j = 2 + -4. Let s be -3*j*(-3)/(-9). Is u bigger than s?
False
Let z = -66 - -68. Which is smaller: -1 or z?
-1
Suppose -2*n + 1 = -9. Let m(o) = o - 5. Let v be m(n). Is -1 at most v?
True
Suppose 0 = o + 5, 3*m + 2*m + 5*o + 15 = 0. Suppose -4*w + 3*v + 3 = 0, 4*v - 18 = -3*w + v. Suppose 3 + w = -m*l. Is l >= -3?
True
Suppose -a - 4*c - 8 = 0, 2*a = -3*a + 4*c - 16. Let h be 2/(-8) + 30/(-8). Is a bigger than h?
False
Let z be (0 - 1*-8)/1. Let v(g) = 9*g**2 - 26*g**2 + 8*g + 1 + 16*g**2. Let f be v(z). Is 3 less than f?
False
Let v = -9 - -7.7. Is v greater than or equal to 1?
False
Let g = -0.1 - -0.1. Let f = 9.7 + -10. Let o = -1.7 + f. Is o < g?
True
Suppose -4 = -p - 2. Suppose w - 5 = p*r, w + 0 = r + 3. Suppose z - w = -2. Which is bigger: z or 0.1?
0.1
Let h(r) = -2*r**3 + r**2 + 5*r + 3. Let w be h(4). Let s = w + 1155/13. Is s bigger than 1?
False
Let v be (-58)/10 + 1/(-5). Let p(k) = -2*k**2 + 3*k - 5. Let i be p(2). Is i at most v?
True
Suppose h = -3*h + 8. Let c(t) = 2*t**2 - t - 2. Let w be c(h). Suppose -w*n + 0*n = 0. Which is smaller: n or -3?
-3
Let a = -17908/17 - -1054. Which is smaller: a or 0?
0
Let g(f) = -5*f**3 + 7*f**2 + 6*f + 1. Let d(y) = -4*y**3 + 6*y**2 + 5*y + 1. Let b(s) = -6*d(s) + 5*g(s). Let r be b(0). Is -1/2 less than r?
False
Let f(s) = -s**2 + 6*s + 8. Let b be f(7). Suppose 2*d + b = 3. Which is greater: d or -1?
d
Suppose -3*p + 7*p = 36. Let t(m) = m**2 - 9*m - 3. Let a be t(p). Suppose b = 2*b + 4. Is a <= b?
False
Let l = 4 - 0. Suppose 2*t = 6*t - 64. Suppose l*d + t = 2*q, -22 = -0*d + 4*d - 5*q. Is -2 at least as big as d?
True
Let w = 289/910 + -9/26. Is w at most -1?
False
Suppose -3*f + 40 = 5*u, 2*u + 2*f - 20 = -0*u. Suppose -m + 7 + 26 = -3*n, m + u*n + 7 = 0. Is m >= 18?
True
Let f(l) = -l**3 + 3*l**2 + 6*l - 4. Let c be f(4). Suppose 0 = c*h - 6*h + 6. Let d be (-4)/7*h/4. Which is bigger: 1 or d?
1
Suppose z - t + 31 = -5*t, 4*z = 2*t - 52. Which is greater: z or -14?
-14
Let g = 0.12 + -0.82. Let s = 1.1 + g. Is -0.3 != s?
True
Suppose -f - 20 = -6*f. Let c(y) = -5 - y**2 + f*y - y**2 + 2*y + y**2. Let d be c(5). Is 2 greater than or equal to d?
True
Let o(c) = c**2 + 8*c + 8. Let v be o(-7). Do 1/4 and v have the same value?
False
Let o(w) = 4*w + 4. Let r be o(2). Is r at most as big as 11?
False
Let i = -15.166 + -0.034. Let o = 15 + i. Is 1 equal to o?
False
Let f be ((-21)/(-2))/(2/4). Let c be 216/f - (-2)/(-7). Let o be ((-8)/(-20))/(8/c). Is o at least as big as 0?
True
Let l(f) = f**3 + 15*f**2 - 2*f - 21. Let h be l(-15). Do h and 10 have different values?
True
Let p = 61 - 59.05. Let w = p + -2. Does w = 1?
False
Let g be (-3)/(9/2) + 0. Which is smaller: -0.15 or g?
g
Let m = 18 + -11. Is m at least as big as 7?
True
Suppose 11 = 9*c - 160. Which is smaller: 20 or c?
c
Let y = 27 - 18. Let l = y + -3. Suppose 2*v + 16 = l. Which is bigger: -4 or v?
-4
Let m be (-3 - (-2 + 1)) + 20/12. Which is smaller: 1 or m?
m
Let z be (-22)/(-8) + -3 - 66/(-8). Which is smaller: 26/3 or z?
z
Let s be 4/(-3)*4/(-6). Are 1 and s equal?
False
Let j = 14 + -12. Is j bigger than 3?
False
Suppose 0 = 2*h + 5*d + 8 - 1, -5*d = 3*h + 8. Is -2/27 greater than or equal to h?
True
Let u = -147 - -93. Is -1/4 at most as big as u?
False
Let o = 70 + -64. Are o and -2/9 equal?
False
Let g = -4/177 - -611/3540. Which is greater: g or 0?
g
Let a = 0.055 - -0.045. Is -24 at least as big as a?
False
Let r = 2.9 - 3. Let x be 681/12 + 2/8. Let s = -287/5 + x. Which is smaller: r or s?
s
Let h(y) = 4*y - 10. Let r be h(7). Suppose -o - 12 = -2*j, -6*j + 2*j = o - r. Suppose 2*f + 16 = 2*g, -f - 5*g + 4*g = -2. Are f and o nonequal?
True
Suppose 0 = -2*w + 3*f - 13, f - 38 = 5*w - f. Which is smaller: -9 or w?
-9
Let y be 2/(-13) - (-1440)/8346. Let n = y + -115/428. Which is greater: -6 or n?
n
Suppose -l + 3*d = -4*l, -2*l - 6 = 4*d. Let i be 11/(3 - (-1 - -3)). Suppose 5*q + 5*g + 4 + i = 0, l*g + 9 = 0. Which is smaller: -1 or q?
-1
Suppose 4 = 6*v - 10*v. Is v greater than or equal to -2?
True
Suppose -2*s + 0 = 2*c + 6, -c = 5. Suppose 0*v - 6 = s*v. Is v greater than -3?
False
Let x = 0.1 - 0.1. Let o = -0.17 - -0.27. Which is smaller: o or x?
x
Let r = 2187/11 - 199. Is -1 not equal to r?
True
Let u be ((-3)/2)/(4 - -1 - 2). Let z be (-2)/3 + 10/6. Is z less than u?
False
Let y(u) = -4*u**2 + 10*u + 1. Let s be y(6). Which is bigger: s or -82?
-82
Let v = 156980/93 + -1688. Which is smaller: 0 or v?
v
Let l be ((-4)/6)/(6/27). Is l less than -3?
False
Suppose -2*d - 2*d = 4*k - 20, -5*k + 17 = -3*d. Which is smaller: d or -1?
-1
Let q be (1/7)/(1/2). Let u = -6 + 13. Let v = 11 - u. Which is smaller: v or q?
q
Suppose -15*t = -12*t. Which is bigger: 10/11 or t?
10/11
Let w be (-9)/(-27)*6/1. Let h(y) = y**2 - 6 + 0*y**2 + 3*y**2 - 5*y**w + 6*y. Let r be h(6). Are -5 and r equal?
False
Let d be 0 - (1/(-3) - -1). Let w = -18 + 18.2. Which is greater: d or w?
w
Let j be 2 + 9/6 + -3. Let w = -0.2 + 0.1. Let k = 0.3 + w. Is k not equal to j?
True
Let c = 40667/46 + -884. Which is smaller: 0 or c?
0
Let o(f) = 2*f**2 + f - 1. Let n be o(1). Suppose -m + 6 = n. Which is greater: m or -1/2?
m
Let y = 24914/1359 - -1/1359. Let m = -18 + y. Is m not equal to -1/2?
True
Let p(f) = -7*f + 10. Let s be p(-5). Which is smaller: 46 or s?
s
Let v(h) = 5*h**2 + 1 + 5*h + h**3 - 4*h + 6. Let g be v(-5). Let i be g/(11*(-3)/(-3)). Is i greater than -1?
True
Let o = -5 + 7. Let f be -1*(o*-6)/3. Is f at most 4?
True
Let m = 2.9 - 2.9. Does m = -0.13?
False
Let l(w) = -2*w**3 - w**2 - 3*w + 4. Let r(h) = -5*h**3 - 2*h**2 - 8*h + 11. Let i(x) = -8*l(x) + 3*r(x). Let b be i(-2). Is b smaller than -2/19?
False
Let x = 23453/595 + -276/7. Which is smaller: -1 or x?
-1
Let x = -9.6 + 1.6. Let v = x - -12. Is 0.1 at least v?
False
Let t = -0.1 - -0.2. Let k be 12434*(-3)/(-11610) - 3. Let r = k - -2/215. Which is bigger: t or r?
r
Suppose 3*a - 1 = -2*r - 0, -5*a - 2*r = 1. Is a bigger than 2/27?
False
Suppose 3*n + 0*n = 9. Suppose -7*t = -n*t. Let p = -9 - -9. Is t greater than p?
False
Suppose -3*x - 12 = 0, -1 = 4*z + 3*x + 3. Suppose 55 = z*w - 5*a, -5*w + 50 = -3*a - 40. Which is greater: w or 14?
w
Suppose 3*p = -4*q - 4, -2 = 2*q - 0. Suppose 0 = 2*l - l - 4*c + 11, 2*l + 5*c - 17 = 0. Is p at most l?
True
Let y =