t b = d - 24. Let f = -2 + 1.9. Is f greater than b?
False
Let p = 193.07 - 192. Let d = p + -0.07. Is d greater than or equal to -1/5?
True
Let l = 4 - 4.03. Let k = 0.07 + l. Is k at least as big as -0.1?
True
Let m = 10 + -4. Suppose -446 = -3*o - 2294. Let r be o/(-105) - (-4)/30. Is m less than or equal to r?
True
Let y be 7/((-14)/(-8)) - 0. Suppose -y*v = 5 - 1. Let k = -0.07 + 3.07. Is k >= v?
True
Suppose 8 = -z + 9*z. Suppose -2*q = 3*q. Which is greater: q or z?
z
Let h = -37.2 + 8.2. Is 0 equal to h?
False
Let p be (-2)/(((-1)/3)/(3/6)). Which is bigger: 12/7 or p?
p
Let c be -1 - -1 - (-180)/198. Is c smaller than 0?
False
Let i be (-4 - 860/(-205))/(-2). Is 1 at least as big as i?
True
Let m be 10 + 2 + (1 - 1). Let j be (m - (-2)/(-2)) + -2. Let r be (-16)/(-30)*j/12. Is r at least -1?
True
Let i(h) = -2*h + 9. Let s be i(9). Let g be 28/3 + s/27. Is 8 <= g?
True
Let n(u) = -u + u**2 + 7 - 5*u - 2*u. Let v be n(7). Let w = 1 + v. Is w not equal to 1?
False
Suppose -3*q + 4 = 4*n, 2*q + n - 2*n + 1 = 0. Is q at most as big as 1/29?
True
Let y be 2/(-7) - 128/(-7). Let s be (-1 - -3) + y/(-8). Let i = 2.7 + -3.7. Which is greater: i or s?
s
Let i be (-102)/(-14) + (-4)/14. Let l be -5 - -2 - (-27)/i. Which is smaller: l or 0?
0
Suppose -2 - 4 = 6*t. Which is bigger: t or -14/9?
t
Suppose 4 = -5*l + 3*l. Suppose 2*o + 1 = o. Do o and l have the same value?
False
Let c = -4 - -6. Let p(h) = -h**3 + 16*h**2 - h + 18. Let b be p(16). Are c and b unequal?
False
Let v = 22.9 + -24. Let f = v + 1. Let k be ((-8)/(-3))/(-4) + (-7)/21. Which is greater: k or f?
f
Suppose 0*c = -c. Let h = c + 1. Which is bigger: h or 9/4?
9/4
Let t = 2333/22 - 106. Is t less than -1?
False
Let d be (-8)/(-6)*18/12. Suppose 5*r - 3*j = d*j + 25, 0 = 4*r + 2*j + 4. Which is smaller: 2/17 or r?
2/17
Let u be 10*1/(-1*2). Let r = 25 - 29. Is r <= u?
False
Let t(m) = -8*m. Let z be t(1). Let l be 2/z + (-129)/(-36). Which is greater: 2 or l?
l
Suppose -2*j - 4*t = -10, -4*j = -7*j - 4*t + 7. Let w be 0/(j/((-1)/1)). Is -2/15 at least w?
False
Let z = -3 + -2. Let w = 1 - z. Suppose -3*t - s = -w*t + 1, -9 = t - 5*s. Are -1/7 and t non-equal?
True
Suppose -y - 7*o + 2*o - 25 = 0, 2*o + 10 = 0. Let a = 11 - 12. Does a = y?
False
Let o be (-1)/(27/(-6) + -1). Which is greater: o or 0?
o
Suppose -k + 5*k - 16 = 0, -4*y - 2*k = 12. Let q = -11 - -6. Does q = y?
True
Let f(j) = j**2 - 4. Let o be f(-4). Suppose -o = k - 2*k. Suppose -3*s = s + k. Which is greater: s or -3/2?
-3/2
Let x be (1 + 1)*75/45. Which is smaller: x or 3?
3
Let z be 1/1 + (-25)/(-5). Let k = 36 + -35. Suppose -q = k - z. Which is smaller: 4 or q?
4
Suppose 4*k = 5*g + 5, 2*g + 5 = -3*g + 2*k. Let l be (-38)/8 - g/(-4). Let x = 5 + -10. Is x less than l?
False
Let k be (((-2)/12)/(-1))/(-1). Let o(d) = d**2 - 2*d. Let c be o(2). Let x = c - -1. Are x and k unequal?
True
Let q = 17 - 11. Which is smaller: -2 or q?
-2
Let h = -0.5 + 0.5. Is 3.6 <= h?
False
Suppose 0*k = -k - 5*k. Let x be (2/34)/(2/(-4)). Is x equal to k?
False
Let c be 3/(48/17) + -1. Which is bigger: -1 or c?
c
Let g be 16/(3 + 1) - 2. Suppose 5*l + w = -19, l + g = -w - 5. Is l at least as big as 1?
False
Let b = -1.3 - -2.3. Is -102 at most b?
True
Let g = -50.9 - -46. Let y = g + 5. Let l = 0.01 + 0.29. Which is bigger: y or l?
l
Let j be (-471)/1624 + (-115)/(-35) + -3. Which is bigger: j or 1?
1
Suppose 4*p - 40 = 6*f - 11*f, -4*f + 11 = -p. Is p at most -0.6?
False
Let q = -5.1 + 48.1. Is 0 != q?
True
Let z be (-60)/(-5085)*(-3)/(-2). Is z at most as big as 0?
False
Let a(g) = g**3 - 11*g**2 - g + 14. Suppose 0*t + 61 = 5*b - 3*t, -3*t = -4*b + 50. Let d be a(b). Is d > -2/3?
True
Suppose 0 = -5*o + 7*o - 10. Let p be (-46)/161*21/6. Is p <= o?
True
Let l = 149 + -1489/10. Which is greater: 1 or l?
1
Let o(t) = t**2 + 4*t + 4. Let k be -3 - 0/(1 + 1). Let z be o(k). Let d = -5/3 - -4/3. Do z and d have the same value?
False
Let m(o) = 2*o**2 - 5 + 13 - 9 - 2*o. Let y be m(2). Is 1 at most as big as y?
True
Let q(g) = -g - 2*g - 2*g**2 + 3 + 0*g**2. Let r be q(-3). Let l be (-38)/36 - 9/r. Is l at least 1?
False
Let d(n) = 2*n**2 + 5*n + 6. Let u be d(-2). Is u less than or equal to 4?
True
Let g(d) = d - 4. Let v be g(-7). Let n = -5 - v. Let i be 4/(-6)*n/2. Which is bigger: i or -1?
-1
Let i = 3 - 1. Let w(g) = g**2 + 2*g + 1. Let l be w(-1). Suppose -2*t + 2 = -l. Which is smaller: t or i?
t
Let i be -1 - (2 + -1 - 6). Let y = -310 - -311. Is y >= i?
False
Let f(p) = -p**3 - 9*p**2 - p + 1. Let u be f(-9). Suppose u + 2 = -2*h. Let y be (-30)/18 + 2/h. Which is smaller: -3 or y?
-3
Let c = -5 + 19. Suppose 0 = -3*x - r + c, 3*x + 2 = 4*r - 9. Is x less than 1?
False
Let c = 6 + -6. Suppose 4*f - 2 - 6 = c. Suppose 16 = 3*p + 3*q + q, -4 = -f*p - q. Which is smaller: p or 2?
p
Let y(q) = q**2 + 5*q + 3. Let t be y(-3). Let l be t + (-2 - -10) + -3. Let m(p) = -p**2 + 2. Let n be m(0). Is l > n?
False
Let k = 1 + 1. Let q(p) = 2*p - 14. Let w be q(8). Is k at most as big as w?
True
Let m = 152 + -92. Suppose m + 71 = -f. Let c = f + 527/4. Which is bigger: 1 or c?
1
Let i(u) = u + 18. Let t be i(-15). Let w(k) = -k**3 + 3*k**2 + 5*k + 2. Let p be w(4). Let a = 8 - p. Is t less than or equal to a?
False
Suppose 5*v - 10 = 0, -2*r + 7*v + 52 = 5*v. Let i = -82/3 + r. Are i and 1 non-equal?
True
Let z be 815/(-115) - 2/(-23). Which is greater: z or -6?
-6
Let i = -3 + 5. Let d = i + -1. Let f = -197/4 - -49. Which is smaller: d or f?
f
Let f be (12/3)/(2/9). Let t be 6*3/f*2. Suppose 2 + 1 = 3*a. Which is smaller: t or a?
a
Let y = 253 - 211. Which is bigger: y or 43?
43
Let z(k) = k**2 + 3*k - 2. Let s be z(2). Suppose -3*n = -n + s. Let h be 0 + -2 + (-1 - n). Which is bigger: h or 1/4?
h
Let o(g) = -g + 1. Let c(w) be the first derivative of w**2/2 - 5*w - 1. Let d(u) = c(u) + 2*o(u). Let x be d(0). Are -4 and x unequal?
True
Let k = 0.27 + -0.3. Let z = k + -0.07. Which is greater: z or 1?
1
Let i = -0.2 - -0.1. Let l be (2/(-15))/(4/20). Which is smaller: l or i?
l
Let c be 3 + -1 - (2 - -1). Is 3/14 at most c?
False
Let w = -3 + 0. Let q = 2 + w. Let o = -0.18 + 3.18. Is q >= o?
False
Let u = 10.5 - 10.6. Is -5 greater than u?
False
Let p = -5.1 - -5. Suppose 0*u = -4*u + 3*k - 7, -4*u - 5*k + 33 = 0. Is p bigger than u?
False
Let z = 276911526329/47550 - 34941517/6. Let t = 2/317 - z. Is 0 < t?
False
Suppose -5*s + 2*s - 12 = 0. Is s <= -5?
False
Suppose -157 - 278 = -5*t. Let m be (0 - t/90) + 2. Let g = 7/15 + m. Which is greater: g or 2?
2
Suppose 25 = 3*j - 3*y - 62, 5*j = -4*y + 145. Is 29 less than or equal to j?
True
Suppose -7*f - 2 = -9. Let l = -4251/11 - -387. Which is bigger: l or f?
f
Let y = -8/5 + 6/5. Which is smaller: -1.1 or y?
-1.1
Let i = -54 - -51. Are i and 2 equal?
False
Let g(z) = z**2 + 11*z + 23. Let j be g(-8). Do 1/77 and j have the same value?
False
Let m = -59/900 + 1/100. Which is smaller: 1 or m?
m
Let a be 1 + -3 + (-98)/8. Let l = 111/8 + a. Suppose 2*x = -x. Is l greater than x?
False
Suppose 2*f = 6*f + 4. Let l be (1 + 0 + f)/1. Let r be (-26)/(-20) + (-3)/6. Which is smaller: r or l?
l
Suppose -2*w - 2*z - 17 = -z, 2*w + 23 = 5*z. Are w and -9 non-equal?
False
Let p(d) = -7*d**2 - 8*d + 1. Suppose 10 = -3*k - 8. Let n(y) = 8*y**2 + 9*y - 1. Let o(j) = k*n(j) - 7*p(j). Let t be o(-2). Is 0 < t?
False
Suppose 3*j + 2 = 8. Suppose 0 = j*i - 0 + 6. Which is smaller: -2 or i?
i
Let z be 0 + 266/(-2) + 1. Let n be 2/(-8) + z/(-16). Suppose 2*a = -4*y + n, 0*y = 5*a - 3*y + 19. Are a and -3 unequal?
True
Suppose 17 = -3*r - 5*s, -s = 3*r - 0*r + 1. Is -49 bigger than r?
False
Let k = -104 + 100. Which is greater: -6 or k?
k
Suppose 3*l = 4*l + 1. Which is smaller: l or -7/4?
-7/4
Suppose 0*j + 4*j = 0. Suppose j = -0*y - y. Suppose p = -p. Is y at most as big as p?
True
Let s = -8 + 20. Let v be 0*4/s - 6. Is -4 less than v?
False
Let t = -93 - -62. Which is smaller: t or -32?
-32
Let l = 118 - 71. Are l and 47 nonequal?
False
Let y be 6/(-9) - 28/(-6). Suppose -q = y*i - 2, i + 3*q = 7*q - 8. Is -1/5 greater than i?
False
Let p = -12 + 14. Which is smaller: 11/4 or p?
p
Let m = -0.9 - -0.91. Which is bigger: -1/3 or m?
m
Let b(m) = m**2 - 9*m + 4. Let h be b(9). Suppose -2*p = -p 