Is z less than or equal to -2?
True
Suppose 0 = 5*y - 0*y + 5. Is -2/3 at most y?
False
Suppose -p - 3*t + 6 = t, 0 = p + 2*t + 2. Which is smaller: -6 or p?
p
Let z(g) = g**2 + 3*g + 3. Let s be z(-3). Suppose -b - 2*b = 0. Let x = b - s. Which is bigger: x or 1?
1
Let o = -3.8 - -4. Let k = o + 0. Let g(b) = b - 1. Let d be g(-1). Which is bigger: d or k?
k
Let j = 10 + -6. Suppose 3*l - 9 = 2*d, -j*l + 5*d + 6 = -13. Suppose -f = -0*f + l. Is -2/11 at least f?
True
Let h = 84.87 - -0.13. Is h <= 1?
False
Let l(t) = t + 1. Let f be l(3). Suppose 3*i + 4*v = -19, 2*i - f*v = 17 - 3. Which is greater: i or -2?
i
Let q be 0/(1/(2 + -3)). Which is smaller: -1/5 or q?
-1/5
Let g = -28 + 197/7. Let t = 2 - -8. Let z be (t/(-15))/((-4)/(-6)). Is g <= z?
False
Let l = 6.13 + -0.13. Let t = l + -7. Is t less than 5/6?
True
Let z(u) = -u**2 + 9*u + 10. Let t be z(10). Let c = -25/24 + 3/8. Do c and t have the same value?
False
Suppose c = -2 + 3. Which is greater: c or 5/3?
5/3
Suppose 2*i + 5 = -l, -3*i + i - 2 = 0. Let h be 2 + (-6 + 3)/l. Is 3 less than or equal to h?
True
Let k = -3 - -8. Is k smaller than 2/5?
False
Let i = 0.131 - 0.731. Which is greater: i or 5?
5
Let o(k) = k**3 - 4*k**2 + 3*k + 4. Let j be o(3). Suppose -b = -4*f - 5*b + j, 2*b + 1 = f. Which is greater: f or 6/11?
f
Let d(j) = -j**3 + 5*j**2 + j - 4. Let k be d(5). Let f be -3 - (0 - 7) - -290. Let m = 3236/11 - f. Which is smaller: m or k?
m
Let n(t) = -2*t**2 - 3*t + 7. Let q be n(-3). Which is smaller: -7/6 or q?
q
Let i = -3.2 + 3. Let z = -1.2 - i. Let d = 40 + -39. Is d less than z?
False
Let p be (68/(-12))/(((-35)/6)/5). Do p and 6 have the same value?
False
Let u be (-22 - -1)/(-3) - 1. Let b be u/9 + (-17)/12. Let j(t) = t**3 - 2*t**2 - 2*t - 3. Let a be j(3). Is a less than b?
False
Let k = 18 + -24. Which is greater: k or -7?
k
Let s(k) = -4*k + 4. Let r be s(4). Do r and -13 have the same value?
False
Let n be (27/(-36))/((-2)/(-48)). Which is smaller: -17 or n?
n
Suppose -2*h = -0*h - 4. Let u be (44/24 - h)*4. Is -1 less than or equal to u?
True
Let b(n) = n**3 - 8*n**2 - 21*n + 8. Let j be b(10). Let d be -1 - ((-8)/5 - -2). Which is smaller: d or j?
j
Let w be (-5)/(-1)*(-3)/(-5). Let k be (3/(-9))/(1/w). Which is smaller: -2/3 or k?
k
Let b = 191 + -190.9. Are 13 and b equal?
False
Let s be 3 - (53/(-17))/(-1). Are -1/18 and s equal?
False
Let i = 77742/5 + -15599. Let r = -145 - -94. Let k = r - i. Which is bigger: 0 or k?
0
Let a be -1 + 2 + 1 - 6. Is a at most -17/4?
False
Let r = -0.083 + 0.033. Which is greater: r or 0.3?
0.3
Let j be (0 - -2)/(4/(-10)). Let n = -5 - j. Is n bigger than -3/7?
True
Suppose 6*b = 2*b - 8. Which is bigger: -17/5 or b?
b
Let t = -8 - -6. Is -12/11 at least t?
True
Suppose 34*f + 52 = 30*f. Is f greater than -13?
False
Suppose 54 = 10*x - 66. Which is bigger: x or 14?
14
Let b be 8/140 + (-2)/10. Let h = b - 2/35. Which is greater: 1 or h?
1
Suppose -b = -5*b - 16. Which is bigger: -3 or b?
-3
Let u = -2/2977 - 5820/199459. Which is bigger: u or 0?
0
Let g = -50288/51 + 986. Do g and -1 have different values?
True
Suppose -4 = -4*y - k - 0, -5*k - 20 = 0. Is y != 3?
True
Let w = 17 - -5. Is 0.2 >= w?
False
Let p = 20.1 + -19. Let x = 1 - p. Let a = 7/4 - 9/4. Which is smaller: x or a?
a
Let t = 70 + -69.9. Are -12 and t nonequal?
True
Let t = -8 + 17. Let j = t + -4. Let x(q) = q - 6. Let u be x(j). Which is greater: 1/3 or u?
1/3
Suppose 4 + 8 = 3*i. Suppose 0 = -j + 4*o + 2, 1 = 3*j + i*o + 11. Which is smaller: j or -11/4?
-11/4
Let q be ((-3)/9)/(220/(-24)). Suppose -3*y + 0 = 3. Which is smaller: q or y?
y
Let q be 3434/(-24) - (2 - -1). Let k = q + 146. Which is smaller: 1 or k?
k
Suppose -3*g + 2*w + 20 = 0, -3*w - 35 = g - 6*g. Let b be 8/(-10) + 6/g. Suppose -5 = 5*d + 5. Is d smaller than b?
True
Let d(y) = -2*y - 1. Let l be 5/3 - (-3)/9. Suppose 0 = 2*g - 4*g + l. Let v be d(g). Is v at least -3?
True
Let o = 157/2 - 78. Is -1 bigger than o?
False
Let h be (-2)/(-1)*4/(-8). Let q(v) = 1 + 0 - 4*v**2 + 3 + v**3. Let a be q(4). Is h at most a?
True
Let y = -2 + 1. Suppose -4*w + 4*f - 4 = 0, -5*w - 3*f = -25 - 2. Suppose -2*c = -5*v + c - 9, w*c - 9 = 0. Is y at least as big as v?
False
Let v = -0.03 - -0.03. Let a = -7/4 - -5/4. Is a less than v?
True
Let v = 19/12 - 9/4. Do 6 and v have the same value?
False
Let w be (-51)/(-57) + (-6)/(-57). Which is bigger: 2/29 or w?
w
Let q be ((-8)/(-444))/((-9)/(54/8)). Which is smaller: q or 1?
q
Let t be ((-2 - -3)/1)/(-3 + 4). Does -2/181 = t?
False
Let m = -341/5 - -68. Let h(l) = l**2 + 5*l + 1. Let j be h(-5). Which is smaller: m or j?
m
Let i = -27 - -31. Is -4 >= i?
False
Let s = 242 - 2180/9. Which is smaller: -1 or s?
-1
Let m = -82 - -143. Is m greater than 61?
False
Let t = 3 - 2.1. Let d = 4.9 - t. Let i = -587/5 + 117. Does i = d?
False
Let l = 1.2 + -1.16. Are 1/3 and l equal?
False
Let n(x) = -2*x**2 + 5*x + 4. Let l be n(2). Is 35/6 <= l?
True
Suppose -5*g + 3 = 2*t, -g + 13 = 2*g + 4*t. Which is greater: -12/5 or g?
g
Let q(c) = -2*c**3 + 2*c**2 - 3*c + 3. Let o be q(2). Let b be (4 - 1)/(o + 1). Let y = -2 + 2. Which is bigger: b or y?
y
Suppose -2*k - 3*k = 15. Are k and -2 non-equal?
True
Let f be (9 + -7)/(1/4). Is 8 < f?
False
Let x = 4.9 - -0.1. Let q = 4.8 - x. Let m = -16 - -14. Do q and m have the same value?
False
Let m be -8 + 3 + 2 + 8/(-4). Which is smaller: m or -12?
-12
Let t = 147 - 140.1. Let i = -7 + t. Is -0.1 at least i?
True
Let x be (-1 - 2)/(3/2). Let b(c) = c - 1. Let g(r) = -5*r + 5. Let p(u) = x*g(u) - 11*b(u). Let l be p(-1). Which is smaller: 1 or l?
1
Let g be ((-2)/(-8))/((-13)/(-52)). Which is smaller: 2/79 or g?
2/79
Let g(m) be the first derivative of -m**4/4 - 7*m**3/3 + 2*m + 7. Let a be g(-7). Are a and 7/6 equal?
False
Suppose -4*m = -4*u - 54 + 22, 3*m + 4 = -4*u. Suppose -11 = 6*x - 2*x - 3*g, m*g - 15 = 5*x. Which is smaller: x or -1/6?
-1/6
Let g = 0.001 + 0.199. Let a(r) = r**2 - 5*r + 3. Let k be a(5). Suppose 4*o - 20 = 4*m, -k*o = 5*m - 4*o + 9. Which is greater: m or g?
g
Let f = 3 - 4.1. Let t = 0.1 + f. Which is smaller: t or 2?
t
Let u(n) = n**2 + 2. Let h be u(-3). Let z = -8 + h. Let t(q) = q - 1. Let d be t(3). Are d and z equal?
False
Suppose -w - 1 = 4*b - 0, 0 = -5*b - 2*w + 1. Let g be -3*(b + -3)/(-4). Which is smaller: g or -1/3?
g
Let t(q) = -q**3 - q**2 + 4*q - 1. Let n be t(-3). Suppose 0 = z + 4*z + n. Which is smaller: -2/9 or z?
z
Suppose 2*a = 3*l - 1, 3 - 5 = l - 3*a. Which is smaller: l or 3/5?
3/5
Let s(r) = 2*r**2 - 3*r + 3. Let d be s(2). Suppose -2*b - d - 1 = 0. Which is greater: b or -5?
b
Let w = -1 + 1. Let u = w - -4. Suppose 11 = c + 4*d, 3*c - u*d + 15 = -0*c. Which is greater: c or 0?
0
Suppose 0 = -4*p + 6 - 2. Let z be 4/2 + (p - 2). Is 1/8 greater than z?
False
Let z(j) = -j**3 + 7*j**2 - 6*j + 4. Let o be z(6). Let y be ((-6)/(-15))/(o/(-20)). Is -2 smaller than y?
False
Suppose 0 = -4*r + y + 5 - 0, 0 = r - y + 1. Suppose -5*a + 4*c = -9, -6*a + 3 = -r*a + c. Is a equal to 4/7?
False
Let v(u) = 6*u + 1. Let o be v(0). Is o equal to -2/33?
False
Let f = 3 + -1. Let v(n) = -n**3 - 14*n**2 - 14*n - 11. Let k be v(-13). Is k greater than f?
False
Let o = 5 - 0. Suppose -c - 4 = -o. Which is bigger: -1/4 or c?
c
Let m(i) = i**3 + 4*i**2 - 2*i - 3. Let h be m(-4). Let c = h + -7. Which is greater: -5/6 or c?
-5/6
Let n be -3 + 0/(-2) - -25. Is 21 smaller than n?
True
Let s = 2 - 2.1. Let f = -1 - -4. Suppose f*m = -n + m - 10, -m = -4*n - 13. Which is smaller: n or s?
n
Suppose 0 = 4*f - 3*f + 17. Is f <= -17?
True
Let c = -2 + 5. Let b be (c - 5) + 2 + 1. Let t = 0 - b. Which is bigger: -1/5 or t?
-1/5
Let j = -59 + 95/3. Let a = j + 26. Is a equal to 1?
False
Suppose -5*h + 240 = 3*d, -4*d = 2*h + d - 115. Is h <= 46?
True
Let b be -2 + -1 + 2 - 50/(-40). Is b not equal to -1/4?
True
Let f = -229 - -15803/69. Are f and -1 unequal?
True
Suppose -5*d - 4*y = -137, -5*d - 3*y + 16 + 123 = 0. Which is bigger: d or 28?
d
Let z(u) = 4*u - 3. Let o be z(4). Suppose 0 = -r - 12 + o. Is -1 smaller than r?
True
Suppose 0 = c + 2*c - 5*t - 16, 3*c + 2*t - 23 = 0. Is 7 < c?
False
Let i = -3.7 - -0.7. Let s = 1.2 - 0.2. Which is bigger: i or s?
s
Let g be (-1)/2*(-18)/69. Let p = g + 