 than or equal to z?
False
Suppose 5*j - 4*j + 20 = -2*w, 30 = -2*w + 4*j. Let p be ((-6)/4)/((-2)/(-16)). Is w smaller than p?
False
Let a be 40/18 - (-8)/(-36). Suppose 0 = 4*i - 5*i + 3. Is a >= i?
False
Let b = -368.01 - -370. Let a = b - -0.01. Which is greater: a or -2/7?
a
Let y(m) = 6*m**3 + 6*m**2 + 5*m + 5. Let p(o) = -7*o**3 - 6*o**2 - 6*o - 5. Let q(h) = 5*p(h) + 6*y(h). Let n be q(-6). Is n > 6?
False
Let z be (-3)/2 + 15/10. Which is smaller: z or -3/13?
-3/13
Let x = 36 + -35. Is x greater than or equal to -8?
True
Let d = 4/9 - 7/9. Suppose 5*i + 5*f = -80, -4*f - 85 + 9 = 5*i. Is i at most as big as d?
True
Let a be (-1)/((12/(-40))/(-3)). Is a >= -1?
False
Suppose -308 = 4*c - 4*k, -2*k + k = 0. Let l be (1149/(-6)*-1)/c. Let h = l + -1/77. Is h bigger than -4?
True
Let f be (-4)/28 - (-57)/301. Are -1 and f equal?
False
Let p(h) = -h + 3. Let i be p(3). Let n = i - 1. Suppose -w + 3*l + l - 6 = 0, -3*w - 11 = -5*l. Do w and n have different values?
True
Let a = 13.3 + -8.2. Let q = 5 - a. Which is smaller: q or -2/23?
q
Let a = -41/320 - 1/192. Is 1 >= a?
True
Let k = -4 - -4. Suppose -2*b - 8 - 2 = k. Is -4 <= b?
False
Suppose m = 5*z + 15, 3*m - 3*z - 33 = -0*m. Let h = 25 - m. Suppose 0 = -3*g + 3*s - h, g + 5*s = -3*g + 25. Which is smaller: g or 2/3?
g
Let a be (-8)/(-6) - (-1 + 3). Let q = -1 - -1. Is a <= q?
True
Let a = -2 + 1. Let u = 73 - 71. Which is greater: u or a?
u
Suppose -3*w - w - 28 = 0. Let n be (-5)/7 + 2/w. Which is smaller: 0 or n?
n
Let v(j) = -3*j - 2. Let l be v(-1). Which is smaller: l or -2/43?
-2/43
Let t = 17.33 + -17. Is 2/3 at least as big as t?
True
Suppose 30 = d - 0*d. Let r be -6*(-4)/d + -2. Do r and -2 have the same value?
False
Let m be 0 - 3/(-55)*194. Let z = m - 52/5. Which is smaller: 1 or z?
z
Let w = 337357381/21 + -16060943. Let u = 3696 - w. Let k = u + -15/7. Which is greater: k or 0?
0
Let q = -2 - -4. Let d = 10 - 5. Is d > q?
True
Suppose 5*s = -0*s + 50. Let w be ((-4)/(-15))/(s/(-15)). Do w and -1 have the same value?
False
Suppose 0*l - 2*u - 8 = -3*l, -5*u = -l - 6. Suppose 2 = -c + n, -1 + 7 = -l*c + 2*n. Which is smaller: c or -4?
-4
Let t = -3.4 + 3.2. Do t and 0.06 have the same value?
False
Let u = 3 + -2. Let y = 0.9 - u. Is y at least 1/2?
False
Let u = 260/22649 - 2/957. Which is smaller: u or 0?
0
Suppose 3*u + 5*k + 15 = 0, -12 - 3 = 4*u + 5*k. Let v = 5.01 - 0.01. Let c = v + -8. Which is greater: u or c?
u
Let k(i) = -7*i**2 - 2*i + 6. Let x be k(-2). Which is bigger: -23 or x?
x
Let z = -4 - -4.2. Let k = z - 0.2. Let p = 140 - 698/5. Which is greater: p or k?
p
Let y(j) = 2*j**3 + 2*j**2 - j. Let n be y(1). Suppose 0 = 4*l + n + 1. Which is greater: l or 1/10?
1/10
Let o = 0.08 - 0.03. Let i = o + -1.05. Which is smaller: i or -1/7?
i
Let k be 14/49 - 121/7. Let c = k + 24. Let o = 10 + -2. Which is smaller: o or c?
c
Suppose 0 = -2*l - 2*u, -3*l = -0*l - 2*u + 10. Let j be l/(-7) + (-466)/1092. Let a = 4/13 + j. Which is greater: 1 or a?
1
Let k(y) = y**3 + 2*y**2 - 3*y + 3. Let w be k(-3). Suppose -w = s - 1. Let q(c) = c**3 + 3*c**2 + 2*c + 1. Let b be q(s). Is b at least as big as -2/9?
True
Let s = -2 + -1. Let o be s/9 + (-8)/(-6). Let l be -2 - (-1 + -2 + 2). Is o > l?
True
Let c be (9/(-12))/((-1)/(-28)). Which is smaller: -19 or c?
c
Let g be (1 - 35/30)/6. Is g equal to 0?
False
Let z(i) = -i**3 - 14*i**2 - 14*i - 12. Let x be z(-13). Are -2/5 and x non-equal?
True
Let t(x) = x**3 + 11*x**2 - 13*x - 14. Let s be t(-12). Let f be (-2 - 2*s) + -8. Is -6 at most f?
True
Suppose 3*l = 3 - 6. Let x = l + -2. Let n be x/36 + (-2)/(-8). Are -1 and n nonequal?
True
Let h(x) = x. Let r be ((-2)/(-3))/(4/24). Let f be h(r). Which is bigger: f or 7?
7
Let r(s) = -12*s**2 + s**3 + 3 + 3*s**2 + 7*s + 5. Let i be r(8). Suppose i*j + 3*j = 0. Is j != 0.3?
True
Let n = -2 + 2.7. Let d = n - 0.7. Which is greater: -1 or d?
d
Let t(g) = 0*g**2 - 14 + 2*g - 9*g + g**2. Let q be t(8). Do q and 2 have the same value?
False
Suppose -3*a = -5*s + 9, -2*s - 5*a + 1 = 16. Do s and -1/3 have the same value?
False
Let y be -90*(44/(-8))/(-11). Is -45 smaller than y?
False
Let d be ((-10)/4)/(-5)*0. Let l = 1 + -4. Let q = l + 1. Which is smaller: q or d?
q
Let n be 10/(-50)*(-2)/4. Does n = 0.1?
True
Let d = -20093/57 + 705/2. Which is greater: -1 or d?
d
Let x = 2.5 - -8.5. Let w = x + -11. Which is smaller: w or 3?
w
Let t = 0.28 - 0.3. Let u = -0.28 + t. Is 1 at most u?
False
Let l(t) = -t**3 - 5*t**2 + 5*t - 7. Let y be l(-6). Which is bigger: -5/6 or y?
-5/6
Let p = -1.4 - -1.7. Is p equal to -1/2?
False
Let k = -310961/1342 - 2131/122. Let v = k - -249. Is 1 > v?
True
Let f = 17/45 + 1/45. Which is smaller: f or 0.1?
0.1
Let h be (-1)/(-2) + 7/(-42). Let p = 0 + 0. Is h smaller than p?
False
Suppose -5*r - 42 = 4*j + 22, 4*r + 4*j = -48. Is -16 not equal to r?
False
Let u be (-3)/(39/(-37)) + -1. Let y = u - 22/13. Which is greater: y or -1?
y
Let r = 0.1 - -0.4. Let i = 2.9 + -3. Which is smaller: r or i?
i
Suppose -18*t + 5 = -23*t. Which is bigger: 2/7 or t?
2/7
Let i be 1 - (9 - (-3)/(-3)). Let k be 2/i + 132/21. Suppose -3*w - 7 = b, k*b + 2 = 4*b. Which is smaller: w or -3?
-3
Let s be (-2 - -1)*(-3)/(-3). Let d be (-2*1)/2 - s. Let c(y) = y**2 + 8*y + 8. Let t be c(-7). Which is bigger: t or d?
t
Let j be (-8)/12 + 1/(-3). Let d be (0/j)/(-7 + 5). Are d and -2/3 equal?
False
Let h be (-4)/6 - 2/6. Is h != 1?
True
Suppose h + 2 = -2*f + 4*f, -f = h - 1. Let x = -1098 - -60388/55. Which is smaller: x or f?
x
Let i be (26 + 3 + -3)/(-1). Which is greater: i or 0?
0
Let u be ((1 + -5)/(-4))/(-5). Is u greater than or equal to -0.2?
True
Let d be 4/(-30) + 816/270. Is d less than 4?
True
Let u(s) = -16*s + 3. Let r be u(8). Let j be (4/10)/(20/r). Is j less than or equal to -3?
False
Let o(g) = -g**2. Let a be o(2). Let u be a*(0 + 1)/6. Let t(y) = -y**3 + 8*y**2 - 12*y - 2. Let l be t(6). Which is bigger: u or l?
u
Let w(p) = -6*p + 0*p**2 + p**2 - 8 + 3. Let f be w(7). Let d be 0/f*(0 + -1). Is d bigger than -1/2?
True
Let u be 2/5*(-4)/(-8). Suppose -5*q + 8 = -0*q - 3*k, q = -3*k - 2. Is u less than or equal to q?
True
Let g = -0.8 - 0.2. Let r be (-4)/((63/2)/(-9)). Is g smaller than r?
True
Let h = 209/5 - 42. Which is smaller: h or 0?
h
Suppose s + 117 = -5*i - 0*s, -2*i = -3*s + 57. Is i smaller than -23?
True
Let h = 1 + -4. Let x = h - -2.7. Which is greater: -1 or x?
x
Let f(j) = -3*j**2 - 4*j. Let c(k) = k**2. Let u(x) = 2*c(x) + f(x). Let y be u(-3). Suppose 3*v - 11 = -d - 0*d, -5*v = y*d - 17. Is v at least as big as 4?
True
Let n = -22 + 18.2. Let u = n - 1.2. Let w = u + 4.8. Which is bigger: 0.3 or w?
0.3
Let z be 0/((-3)/3 + 2). Is z < 1?
True
Suppose 0 = 3*q - 2 - 1. Which is smaller: -2 or q?
-2
Suppose 4*g - 18 = 3*k, 18 = -2*k - k + g. Which is smaller: -1 or k?
k
Let x(c) = c**3 - 6*c**2 + 6*c - 5. Let a be x(5). Let w be 2494/(-156) + 1/(-1). Let q = 101/6 + w. Which is smaller: q or a?
q
Let r = -24.8 + 19. Let a = -6 - r. Let b = -23/105 + -1/15. Is a greater than or equal to b?
True
Let i(u) = 2*u - 6. Let g be i(2). Which is smaller: g or 3?
g
Let h = 0.8 - 1. Let t = -0.2 - -0.6. Let b = h + t. Is b at least as big as 1?
False
Let u = 17 - 50/3. Which is bigger: 0.6 or u?
0.6
Let y(g) = 3*g - 1. Let u be y(2). Let s be 1*(-30)/(-4)*(-220)/(-275). Suppose -s*d + d = -u. Is 1/3 != d?
True
Suppose 0*y - 24 = 3*y. Let x = 7 + y. Do x and -3 have the same value?
False
Let a be -3*(-11)/15 - 2. Is a smaller than 1/2?
True
Suppose 4*k - 4*h + 7 = -13, -4*h + 19 = -3*k. Suppose -3*q + q + 2*v + 8 = 0, -v = -5*q + 4. Do k and q have the same value?
False
Suppose 5*x + 57 = -3*s, 5*x + s + 49 = -0*s. Let h be -3*(-10)/x - -3. Is h greater than or equal to 0?
False
Let k(a) = -a**3 - 15*a**2 + 16*a + 10. Let v be k(-16). Which is smaller: v or 9?
9
Let k be (-768)/54 + (-2)/(-9). Is -12 bigger than k?
True
Suppose 0 = -2*l - 8 - 0. Suppose -4*b - c = -8*b - 49, 0 = 3*b - 2*c + 38. Let k be (6/4)/(b/16). Which is bigger: l or k?
k
Let n = -17 - -14. Let j be (-2)/6 + (-7)/(-3). Is n <= j?
True
Suppose -f - 158 = 43. Let i be f/(-42) - (-2)/(-7). Which is greater: i or -1/2?
i
Suppose 5*g = 10, -4*g + 3*g = 3*c - 44. Let k be 4/(-6)*21/c. Are k