k = -2/12741 - s. Let h = k + -1136/4025. Is -1 less than or equal to h?
True
Suppose -6 = 11*l + 5. Do -88/3 and l have the same value?
False
Let r be 2/8 - 9362/(-4592). Let a = r - 1/328. Is 3 bigger than a?
True
Let v = -943/4 + 8567/36. Is v not equal to 1?
True
Let l = -134/3 - -44. Which is smaller: 7 or l?
l
Let x = -38 + 115/3. Let y be 1/(-2) - 4/8. Is y greater than x?
False
Suppose -3*b = -0*b. Which is greater: -1.3 or b?
b
Let y = -36 + -24. Let z be ((-2)/5)/(y/25). Which is greater: 0 or z?
z
Let w = 3 + 2. Suppose 4*t - w = 7. Is 1 greater than or equal to t?
False
Let x be (-55)/3 + 3 - 2/(-6). Which is smaller: -1 or x?
x
Suppose 0 = -d + 2*d - 6. Let y be 8 - (1 - (-1 + -1)). Is d != y?
True
Let q be 4/14 - 7/(-196)*-596. Which is smaller: -18 or q?
q
Let f be ((-15)/(-20))/(5/60). Which is greater: -3 or f?
f
Suppose 4*t - 10 = 2*t. Suppose 0 = -0*c + t*c + 5. Let z = -239/7 + 34. Is c <= z?
True
Let w = -12045/13 - -927. Let u be ((-3)/(-12))/((-1)/(-4)). Which is bigger: u or w?
u
Let f = 1957/2730 + -1/390. Are 1 and f nonequal?
True
Let c be 35/(-10)*(-5 - -3). Is c > 6?
True
Let x(s) = -s**2 - s. Let u(q) = -4*q**2 - 5*q + 1. Let a(g) = u(g) - 5*x(g). Let j be a(-2). Is 5 smaller than j?
False
Let v = 54 + -52. Which is smaller: -0.26 or v?
-0.26
Let x(a) = 41*a**3 - a**2. Let n be x(-1). Let f = -169/4 - n. Is -2/11 less than f?
False
Suppose 0 = -10*p + 4*p. Suppose -2*h + 0*h - 2 = p. Which is smaller: -1/21 or h?
h
Let x be (-2)/3 - 130/30. Is x bigger than -1?
False
Let p(i) = -i - 1. Let d be (-66)/15 - (-9)/(-15). Let r be p(d). Suppose -4*k - 27 = -3*s, 0*s = 4*s + 4*k - 8. Is r > s?
False
Let g be ((-4)/6)/(10/(-15)). Let b be 6*g*7/42. Which is smaller: b or -1/6?
-1/6
Suppose 0*f + 2*f - 6 = 2*j, 4*f = 5*j + 13. Suppose 8 = 2*n + 4. Suppose -g - n = -f*g. Which is bigger: 1 or g?
g
Suppose 0 = -5*r + 60 - 10. Suppose -r = 6*i - 28. Is i > 5?
False
Let y be 18/(-14) + 0 + 1. Let k = -1.56 - -0.16. Let n = k + 0.9. Which is greater: n or y?
y
Let s = -16 + 16.3. Let l = -0.1 - -0.3. Let u = l - s. Is -1 smaller than u?
True
Let b = -16 - -16.1. Are b and 3 equal?
False
Let i = -2.57 - -2.5. Are i and 0.2 equal?
False
Let v = -152 + 153. Which is smaller: v or -11?
-11
Let k be ((-284)/(-6))/((-18)/21). Let u = -55 - k. Suppose 8*y = 12*y - 4. Which is greater: y or u?
y
Let i be (-10)/(-22)*2/(-5). Let m = 35 + -35. Which is smaller: m or i?
i
Let y be -2 + 4 + -2*4/5. Which is greater: y or -143?
y
Let u be 12/(-5)*(-20)/(-6). Let x(f) = -f**2 - f - 8. Let w be x(0). Is w greater than or equal to u?
True
Let d = -16687/45 - -953/5. Let k = d + 180. Which is greater: -0.4 or k?
k
Let u = 10 - 8. Suppose u = 7*b - 9*b. Let g = -3 + 4. Which is bigger: g or b?
g
Let d be 8/(-6)*(2 - 5). Is 31/6 smaller than d?
False
Let r = -50 - -53. Which is smaller: r or -1/16?
-1/16
Let z(y) = -16*y**3 + y**2 - y. Let q be z(2). Let t be 1/((q/(-4))/9). Is t less than 1?
True
Let n = -11 + 12. Is n > -3/19?
True
Suppose 0 = -5*x - 5*a - 30, a = 2*x - 3 - 0. Are 1 and x unequal?
True
Let r be (-1475)/(-602) + (-6)/4. Let i = 4/43 - r. Are i and -1 nonequal?
True
Let g = -673/90 + 70/9. Suppose 0 = 3*s + 2*s. Is g smaller than s?
False
Let m = -21 + 145/7. Let t = -0.05 - 1.95. Let h = t - -2. Is m equal to h?
False
Suppose 4*f + 8 - 20 = 0. Let u be ((-1 - 2) + 3)/f. Do u and -1/5 have different values?
True
Let j = 0.04 - 5.04. Let x = 11 + j. Which is smaller: x or 0?
0
Suppose -3*m = -3*s - 9, 0 = 3*m - 5*m + 3*s + 8. Which is greater: m or -6/29?
m
Let h = -0.17 - 0.83. Which is bigger: 1 or h?
1
Suppose -36 = -3*m + 5*a - a, 3*a + 17 = m. Are 6 and m unequal?
True
Let q = 5 + -10. Is 1 equal to q?
False
Suppose -5*o - 2125 = 5*j, 2*o + 850 = -0*o + j. Let m be 1/7 - o/(-35). Is m greater than or equal to -11?
False
Suppose 12 - 18 = 3*c. Which is smaller: c or -13/11?
c
Let p(m) = 2*m + 18. Let f be p(-12). Let t(o) = -o**3 - 6*o**2 + 1. Let v be t(f). Which is greater: 0 or v?
v
Let t = -2958/13 + 228. Which is smaller: t or -1?
-1
Let m be 1 + (-2)/(8/(-12)). Which is greater: m or 5?
5
Let x(k) = -k**2 - 3*k + 1. Let p be x(-3). Let w = -0.47 - 1.48. Let y = 0.05 - w. Which is smaller: y or p?
p
Let i(f) = -16*f - 1. Let x be i(-1). Let l be -3 - ((-42)/x + 1). Which is smaller: -1 or l?
l
Let c be (1/2)/((-2)/4). Let f = c - 3. Which is smaller: f or -5?
-5
Suppose -v = -4*z - 2, 3*v = -2*z - 0*v - 8. Let i be 0/5 - z/1. Let l = -1 + i. Which is smaller: l or -1?
-1
Let n = -65.4 - -60. Let h = 0.45 - 0.05. Let b = n + h. Is b greater than 0?
False
Let h = 13 + -14. Suppose 4*k = -0*k - 4. Are h and k equal?
True
Let m be (0 - -2)/(-1) - 2. Suppose a + 30 = -5*a. Is a >= m?
False
Let p = 2104 - 2132.02. Let g = 30 + p. Let a = -0.02 - g. Is -2 equal to a?
True
Suppose 5 = -5*f, -4*f = -w + 5*w + 12. Are w and 5 equal?
False
Let i(l) = l**2 - 7*l + 4. Let x be i(7). Let v be (6/x)/((-1)/2). Let c be 0 + (-1)/(v/2). Is 1 at least c?
True
Suppose 25 = -2*f - f - 5*h, 3*f + 20 = -4*h. Let k = 16 + f. Let v = -78/5 + k. Is v > 0.3?
True
Let w = 2.1 - 2.3. Which is smaller: 3 or w?
w
Let f be ((-2)/4)/(-1)*0. Suppose p + r + 0*r - 12 = 0, 3*r = 15. Suppose -p*i = -5*i. Is i greater than or equal to f?
True
Suppose -18 = 4*r + 2*r. Which is bigger: r or -2?
-2
Let b(d) = d**3 - 14*d**2 - d + 15. Let j be b(14). Is j at least as big as 3/4?
True
Let g = 97 - 109. Which is smaller: -21/2 or g?
g
Let u = -6 + 6.36. Let j = u + 0.04. Let c = 0.2 - j. Are c and -1 unequal?
True
Let x(a) = -a**2 + 6*a - 5. Let g(t) = 2*t**2 - 18*t + 15. Let w(d) = -3*g(d) - 8*x(d). Let s be w(-4). Is s smaller than 0?
False
Suppose -11 = 3*o - 4*v, -o + 4*v = 4*o + 21. Let b(u) = -u**3 - 9*u**2 + u + 3. Let w be b(-9). Which is smaller: o or w?
w
Let p = 2 + 2. Let b(t) = t - 1. Let z be b(p). Let x = z + -3. Is -1/3 at least as big as x?
False
Let n be (-8)/36 + 40/18. Suppose -4*l + u - n = 0, 2*l - 6*u - 6 = -2*u. Is 3/16 at most l?
False
Let h = 21.6 + -17. Let r = 0.6 - h. Is r > 0?
False
Let r = 214.3 - 201. Let k = r - 20.2. Let b = -7 - k. Is b smaller than 1/5?
True
Let t = 40 - 41. Is t < -0.3?
True
Let w(y) = y**3 + y**2 + y + 1. Let x = 2 - 3. Let m be w(x). Suppose m = -3*v + 5*v - 2. Is v <= 0.1?
False
Suppose 0 = i - 3*i - 6. Suppose 4*d - h = -10, -3*d + 0*d = 3*h. Is i bigger than d?
False
Let z = 7 - 7. Let j = 39 + -38.7. Is j not equal to z?
True
Let m = 2/61 - 553/122. Let n(g) = g - 12. Let u be n(8). Which is bigger: m or u?
u
Let b = -2 - 7. Let c = -7 - b. Which is smaller: c or 5/6?
5/6
Let d = -215 - -871/4. Let o = 29/12 - d. Is -1/4 greater than o?
True
Let s be ((-3)/2 + 0)*4/(-3). Is 1/2 at least as big as s?
False
Let v be 6/(-39) + (-145)/(-13). Let r be v/9 + 2/(-9). Which is greater: 5/4 or r?
5/4
Suppose 2*w + 259 - 59 = 0. Let a = w - -486/5. Which is greater: a or -2?
-2
Suppose 0 = -w + 3*w - 5*z, -2*w = 3*z. Suppose l = -w*l - 1. Which is bigger: -4 or l?
l
Let g(a) = -a**2 + 5*a - 2. Let i be g(8). Which is smaller: -28 or i?
-28
Let v be (0 - (-9)/(-6))/(171/72). Is v at most -2?
False
Suppose p + 2*u = 10, 4*p = 3*u - 3 - 1. Suppose -4*l = 0, -3*z + 3*l - 9 = l. Let x be z + (-1)/(p/(-4)). Does x = 2/5?
False
Let s = 12.83 + 0.17. Let f = -12.6 + s. Is f < 2/5?
False
Let j = 10 - 13. Let u(w) = w - 5. Let k be u(6). Let d be 1 + 1 + (0 - k). Is d at most as big as j?
False
Let f be (-4)/(-6) - 8/21. Let k = -21 + 20. Is k < f?
True
Let y = -20 - -22. Let s = y - 2. Let q be 4/(-10) - (-22)/(-20). Is s greater than q?
True
Let z be (2/618)/((-676)/96). Let x = z + -22576823/121849. Let u = x + 185. Which is smaller: u or -4?
-4
Let b = 121 + -128. Do -13 and b have different values?
True
Let y be (-5)/(-15) - 1/3. Is y >= -1/30?
True
Let b = -14.1 - -16.1. Which is greater: 4 or b?
4
Let b = 25 - 8. Let o = 12 - b. Let m = -5 - o. Which is greater: m or -2?
m
Let n = -15 - -23. Let w = 5 - n. Let v be (-24)/(-15)*(-2)/(-8). Is v smaller than w?
False
Let m = 20 + -61/3. Which is greater: -5/2 or m?
m
Let o = 2 + 1. Suppose -o*q = -q - 2. Suppose -t = q, -t + 2*t = 2*z + 1. Are z and 0 unequal?
True
Let u = 0.07 + 0.03. Let f = 0.9 + u. Which is smaller: f or 0.2?
0.2
Let t(o) = -o**2 + 3*o + 4. Let 