Let x be y(9). Suppose 3*a = 4*d - 56, 0 = 3*a + x*d + 101 - 17. Let o be ((-4)/3)/(16/a). Are 1 and o equal?
False
Let y = -7 + 10. Let s = y - 0. Suppose -5*m - 19 = 4*f, 2*m = 3*f + s*m + 6. Is -1/2 >= f?
True
Suppose -d + 12 = 2*d. Suppose d*t - 5*t = 0. Is t at least -2/7?
True
Let n = 80 + -81. Which is smaller: n or -8/15?
n
Suppose -3*f + 5*f = -2*v - 26, 0 = -f + 2. Is v greater than or equal to -14?
False
Let a be (-3 + -1)/((-6)/(2 + 1)). Which is bigger: 13/5 or a?
13/5
Let w = -1 - -2. Which is smaller: 12 or w?
w
Let i = -20.2 + 8. Let x = 12 + i. Let t = -0.1 - -0.2. Which is bigger: t or x?
t
Let w be 4/(-10) - (-22)/5. Let t = -32 + 36. Does w = t?
True
Let u be (46/(-4))/((-1)/2). Let d = 70/3 - u. Let y = -8 + 9. Is y at most d?
False
Suppose 4*z = 5*y, 0 = -0*z - 3*z + 4*y. Is 1/21 greater than z?
True
Suppose 0 = 5*x - 5 - 30. Suppose -g = -10 + 4. Which is smaller: x or g?
g
Let f(k) = k**2 - 4*k + 3. Let g be f(4). Suppose 5*x + g = 2*x. Let m be (-4 - -4)/(5 + -3). Which is smaller: m or x?
x
Suppose -4*v = -2 - 2. Let y(n) be the first derivative of -n**2/2 + 3. Let f be y(v). Is 1 less than or equal to f?
False
Let t = 1751/18765 - 14/139. Which is smaller: t or -1?
-1
Let y be 2/((-2)/7 - (-27)/21). Is y at least as big as 2?
True
Let g be (-1)/(-3) + (-136)/(-24). Which is smaller: 0.03 or g?
0.03
Let j = 0.18 + 7.82. Let a = 8.3 - j. Which is smaller: a or -1/3?
-1/3
Suppose 0 = 2*l - 6 - 2. Suppose p - 2*p - 9 = -2*k, -l*p + k = 8. Is p != -2/3?
True
Let m = -3 - -5. Let b = -2 + m. Let t = -47 + 234/5. Which is greater: t or b?
b
Let q be (8/(-12))/(14/9). Which is smaller: 1 or q?
q
Let r = -4 - -8. Suppose -r*o = -o + 3. Does 0 = o?
False
Suppose 4*f + 15 = l + 1, -2*f - 4*l = 16. Suppose 2*p - 2*y = 3*p - 6, -2*p - 13 = -y. Is p at least f?
True
Suppose 0 = -b, -v - 5*b = v + 28. Is -13 at least v?
True
Let t = 3.8137 - -0.0763. Let p = -26 + 26.11. Let l = t + p. Are l and 1 unequal?
True
Let h = -20.9 - -21. Which is smaller: h or -3?
-3
Let y be (0 - 5/2)*-2. Let a be 80/12*(-6)/4. Let j = a + y. Are -6 and j equal?
False
Let l = -0.13 - -0.43. Let t be (-6)/21 - 3/14. Which is smaller: t or l?
t
Suppose 12*o - 26 = -14. Let a be (-2)/(-1) + (0 - 0). Which is greater: o or a?
a
Let z(v) = -v**2 - 8*v + 3. Let x be z(-8). Let l be (-2)/(-6)*(-9)/x. Let t be 3/4 + (-27)/(-12). Which is bigger: l or t?
t
Let f = 63865/74 - 863. Which is bigger: f or 0?
f
Let n = -3403425/91 - -37401. Let u = n + 19872/455. Let i = u + -44. Which is smaller: i or -2?
-2
Suppose -4*q + 148 = -0*q + 4*t, 0 = 3*q + 2*t - 116. Is q less than 42?
False
Let f be (8/12)/((-4)/6). Is 3/44 greater than f?
True
Let n = 2/7 + -20/21. Suppose 3*k - 7*k = 4*t, -3*t = -4*k. Suppose t*v = -2*v. Is n at most v?
True
Let p be (-12)/8*4/(-3). Suppose -2*d = -3*a + d - 6, 0 = p*a - 3*d + 8. Suppose 5*z + 4 + 1 = -v, -4*v = -2*z - a. Do z and -1/2 have the same value?
False
Suppose -8*u + 0 = -8. Is 1/69 at least u?
False
Let q(l) = l**2 - l + 1. Let u be q(3). Let n = 12 - u. Suppose -n - 1 = -3*r. Which is smaller: r or 0?
0
Suppose -4*a - 2*k - 2 = 0, 5*a + 8 = -5*k + 3. Which is smaller: a or -1?
-1
Let w = -2/4193 - -25336/373177. Let y = w + 314/623. Suppose 5*r - 5 = 5, -i = -5*r + 9. Is y greater than i?
False
Let l = -43 + 41. Which is smaller: l or 13?
l
Let o be (-28)/(-15) + 5 + -7. Suppose -2*v - a + 7 = v, -2*a = 5*v - 13. Is v <= o?
False
Let l = 7.3 - 13.2. Let q = 8 + l. Let b = q + -2. Which is smaller: b or 2/9?
b
Let y = -397/1653 - 2/87. Is y at most as big as -1?
False
Suppose 6 = 3*m + 3*m. Let j(z) = -z**2 - 4*z + 3. Let k be j(-4). Which is smaller: k or m?
m
Let x(m) = m**2 - 6*m + 2. Let p(s) = 2*s**2 - 13*s + 5. Let k(t) = -2*p(t) + 5*x(t). Let h be k(3). Which is smaller: h or -5?
-5
Let d = 86.8 - 87. Is d > -2?
True
Let l = -43 + 167/4. Is 0 >= l?
True
Suppose -3*g - 3*p = -2*g - 12, 3*p = 3*g - 12. Let o = -12 - -18. Let c be 9/g + (-3)/o. Are c and 0.6 equal?
False
Suppose -38*w - 258 = -40*w. Is 129 greater than or equal to w?
True
Let l be ((-30)/8)/(18/(-48)). Suppose -2*m - 4*t = -l, -5*m + 11 = 2*t + t. Let c = 3 - m. Are c and 2 nonequal?
False
Let i = -0.1 - 0.1. Let s = i - 0.8. Let q(b) = b**2 - 8*b - 11. Let p be q(9). Is p at least as big as s?
False
Let h = 1.01 - 0.81. Is h at least -5?
True
Let d be (2/(-4))/(1/(-2)). Let l = d + -2. Suppose -y + 0 = 2. Does l = y?
False
Let j = 731/110 - 72/11. Let w(r) = -r**2 - 7*r - 6. Let o be w(-6). Which is greater: o or j?
j
Let h(p) = p**3 - p**2 - p - 1. Let m(j) = -3*j**3 + 3*j**2 + 2*j + 3. Let o(k) = 2*h(k) + m(k). Let r be o(0). Let y = 119/4 - 30. Is r greater than y?
True
Let x(c) = c**2 - 16*c + 6. Let k be x(11). Is -49 greater than k?
False
Suppose o - 2 - 3 = 0. Is 3 smaller than o?
True
Let c = -86/51 + 6/17. Let m be (-15)/(-25) - (-58)/(-5). Let a = -11 - m. Which is greater: a or c?
a
Let c = 33 - 34. Which is greater: 24 or c?
24
Let f(p) = -3*p - 12. Let q be f(-5). Suppose q*o + 11 - 2 = 0. Which is smaller: -4 or o?
-4
Let u = -0.8 + -0.2. Let m = 12 - 15. Is m less than u?
True
Let v be (-2)/(-3) + 408/90. Does v = 6?
False
Let z = -2.2 - -3.2. Let g = -0.02 + 2.02. Let m = 1 - g. Is z >= m?
True
Suppose -3 = 3*l + o, 2*l - 7 = 5*o + 8. Let q be (-4)/30*(-18)/(-12). Is l != q?
True
Let p = -2717991 + 133170581/49. Let v = 224 + p. Which is smaller: v or 0.1?
v
Let w = -21 + 25. Is 4 bigger than w?
False
Let x(c) = -2*c + 2. Let o be x(5). Let h be o/20 - 4/10. Let d be (-5)/4 - 1/(-4). Is d less than or equal to h?
True
Suppose -5*u - u = 6. Is u at least -6/5?
True
Let y = 4 - 6. Let i be (-32)/14 - y/7. Are -1 and i equal?
False
Suppose -3*m + 0*m + 5 = r, -3*m + 4*r - 5 = 0. Let l = -906/589 - -28/19. Is l < m?
True
Let i(x) = -x**2 + 7*x - 2. Let q be i(6). Let m = q + -3. Let g = -2627/10 + 263. Is g <= m?
True
Suppose 3*n - 16 = -n. Let b = -3 + 2.9. Which is greater: b or n?
n
Let o = -9 + -1. Let d = o + 9. Is -1/3 at least d?
True
Let u = 1.93 - -0.07. Let x = u + -2.3. Does 0.2 = x?
False
Let m(r) = -r + 1. Let t be m(2). Let f = 15 + -8. Suppose -2*o = f - 1. Which is bigger: o or t?
t
Let b(k) = -k**2 + 4*k + 2. Let z be b(4). Suppose -4 = -2*d - 2*x, -3*d - 5*x = -4*d + z. Are d and 1 non-equal?
True
Let w(f) = f**3 - 4*f**2 + 2*f - 4. Let l be w(4). Let d be (2 - 5/l)/3. Suppose 10 - 13 = -3*g. Do d and g have the same value?
False
Let t(x) = 2*x**3 + 3*x**2. Let h be t(-2). Let d be 6 + h - 48/26. Do 0 and d have the same value?
False
Suppose -2*d = 3*i + 2*d - 8, 5*d - 10 = 2*i. Does i = -4?
False
Let u be (-4)/3*(-9)/6. Suppose -3*a + 8*a = 5*j - 25, u*a = 3*j - 14. Let x be 0 - (4/(-1) - 0). Are x and j non-equal?
False
Let f be 1 + 4 + -6 + 4. Let b be -2*(16/4 + f). Are b and -14 non-equal?
False
Let m = -55/36 - -17/12. Suppose -5*u = 3*d - u, -3*u = -2*d. Let q be (d/(-3))/((-2)/(-1)). Is m smaller than q?
True
Let r = -45 + 42.7. Let g = 8.3 + r. Are -0.1 and g nonequal?
True
Let s = -3 - -2.8. Let b(j) = 2*j**2 + 4*j - 14. Let p be b(-4). Are s and p nonequal?
True
Suppose -4*p = -3*p + 3*k, k = p - 4. Let m be (2 - (2 + -2))*1. Is p smaller than m?
False
Let q = -2.1 + 2. Let l = 0.5 - 1. Let s = 0.4 + l. Is s smaller than q?
False
Let c(y) = -2*y - 3. Let a be c(-3). Suppose 2 = a*t - 5*t. Is t smaller than 1?
True
Let s(r) = -r**3 - 2*r**2 + 3*r. Let i be s(-3). Let c be (-5)/3 + 1 + i. Which is smaller: -1 or c?
-1
Suppose -2*z + 3*z + 19 = 3*h, 2*h = -z + 6. Suppose -9 = a + 2*a. Is z at least a?
False
Suppose 0 = p + 3 - 2. Let g be (p + 5)*1/(-26). Is g > 1?
False
Let p = 17 + -4. Let x = p + -14. Which is greater: -6/13 or x?
-6/13
Let o = -0.02 + 3.02. Let w = o + -2.9. Suppose 0 = -5*g + g - 6*g. Which is bigger: w or g?
w
Let r = -0.5 - -0.6. Let m = 0.2 - r. Let f = -2 - -3. Which is smaller: f or m?
m
Suppose 0 = -2*o + 6, -9 + 1 = -2*v - 4*o. Is v greater than or equal to -13/4?
True
Let z be 1*(-16 + (3 - 2)). Is -19 smaller than z?
True
Let c = -345 + 326.3. Let q = c - -18. Is q < 2/5?
True
Let b be 15/2*(-18)/(-27). Let i be -3 - -1 - (-2 + -3). Is b equal to i?
False
Let i(b) = -b**2 + 5*b + 5. Suppose -u + 4 + 6 = 0. Let k = u + -4. Let m be i(k). Is m >= -1/5?
False
Let z = -21 - -16. Is -3