alse
Let k be 2/(-14)*(-1 - -2). Let b(m) = -m**2 - 2*m. Let h be b(-1). Is k at least h?
False
Let x(n) = -n + 6. Let v = -9 - -13. Let b be x(v). Let w be 3 - 7 - b/(-2). Is w bigger than -4?
True
Let w be (-212)/68 + 2 - (0 - 1). Is -1 greater than w?
False
Let r be (-2)/(-5) + 152/20. Suppose 0 = 3*u - 7 - r. Suppose -9 = -d + u*s - s, 19 = -d - 3*s. Is d greater than or equal to -7?
True
Let j = 13 - 13. Which is smaller: j or 1?
j
Let x = -3 + 8. Which is smaller: 3 or x?
3
Let r = -81 + 0. Let x be (-3 + (-240)/r)*-2. Is 1 greater than x?
True
Suppose 3*p + 0*p + 3 = 0. Let j = -59 + 237/4. Are p and j nonequal?
True
Let r = -0.16 + -1.84. Is r less than -0.2?
True
Let a = 3 + -2. Let j be -2 - (-8)/4 - 2 - -3. Is j >= a?
True
Let r = 6 + -7. Let u = r + 2. Is 0.07 at least as big as u?
False
Let n = -1 - -21. Is 18 < n?
True
Suppose 0 - 4 = -u. Suppose u = 2*h + 4*w, 5 = -5*w - 0*w. Is h < 5?
True
Let u(x) = x**2 + 4*x + 41. Let q be u(-6). Which is greater: q or 51?
q
Let h = -13 - -235/18. Which is greater: h or -1?
h
Let a(g) = g**3 - 10*g**2 + 9*g - 2. Let x be 0 + (-1)/((-2)/18). Let b be a(x). Let f(r) = -r - 5. Let c be f(-6). Which is greater: c or b?
c
Let a = -37 - -36. Which is greater: -5 or a?
a
Let p be (1 - 0)*-1*1. Let m(b) = 7*b - 1. Let o be m(1). Let s be (-16)/(-154) - o/(-33). Which is smaller: p or s?
p
Let w be (-6)/18 - (-7960)/(-123). Let n = -65 - w. Which is smaller: n or -1?
-1
Let v be (5 - 0)/(-1 + 2). Let x be 24/(-2) - (v - 3). Let g be 4/(-84) + 4/x. Is 0.3 <= g?
False
Let j = -0.7 + 6.7. Let f = j - 4. Let w = 0 + -3. Is f smaller than w?
False
Let c be 3 - 4*1/2. Let f be 51/24 - (c - -1). Which is smaller: f or 1?
f
Let h be 2/10 + 8/(-30). Which is smaller: 0 or h?
h
Let h be (-4)/10 - 1/(-15). Let n = 97/15 - 29/5. Is h less than n?
True
Let q be (1/54)/(6/(-9)). Is 1 less than q?
False
Let x = -5.95 + 6. Let j = -0.95 - x. Which is smaller: j or 1?
j
Let s(u) = u - 5. Let r be (-1)/(2*(-3)/24). Let i be s(r). Which is greater: i or 1?
1
Let g(l) = l**2 - 8*l + 5. Let f be g(6). Are -7 and f equal?
True
Suppose 0 = -2*a - 2*r - 4, -14 - 2 = -a + 5*r. Let z(i) = -2*i**2 - i. Let h be z(a). Suppose -5*l + 18 = -4*d, -4*d = 2*l + 5 - 1. Is h < d?
True
Let p be 10/(-3)*16/40. Which is bigger: p or -15?
p
Let i = 21.39 - 0.39. Is 1 greater than i?
False
Suppose -4*a + 5 + 11 = 0. Suppose 3*o = -5*j - 16 - 4, 2*o + a = -j. Which is smaller: -2/29 or o?
-2/29
Let i be 1*(0 - (1 + -2)). Is 0 less than i?
True
Let s = 3 + -1. Let q(u) be the third derivative of -u**5/60 - 5*u**4/12 - 7*u**3/6 - u**2. Let k be q(-9). Is s > k?
False
Let b = -52 - -207/4. Is 1/5 not equal to b?
True
Suppose 4*q = 3*j + 16, -5*j + 0*j - 8 = -2*q. Suppose 5*n - 5*a + 25 = 0, -q*n + 2*a = -a + 15. Is n < 1/4?
True
Let k = -0.4 - -0.3. Let j be 2 - 2 - (-3 + -1). Suppose -3*h + l + j*l = 15, 5*l = 15. Which is smaller: h or k?
k
Let o = 67/99 - 1/99. Suppose 4*p - 3*y = 19, 0 + 25 = -5*y. Is o smaller than p?
True
Let g be (-10)/(-4) + -2 + -1. Let r(z) = z - 8. Let x be r(6). Let c = -3 - x. Is g != c?
True
Let d be (-1615)/75 + 4/12. Which is bigger: -22 or d?
d
Suppose -2*r + 7*r - 5 = 0. Let w = 2 + 0. Let k be 1 + (-1)/w + 1. Is r less than or equal to k?
True
Let t(y) = -2*y**3 - 2*y**2 - y. Let v be t(-1). Let j be -4 + (-200)/(-35) - (-4)/14. Is j bigger than v?
True
Let r = -0.1 + 0.2. Let m = 73/3 - 22. Do m and r have different values?
True
Let s = 4 + -11. Let w = 12 + s. Is 2 at least as big as w?
False
Let p = 469 + -5621/12. Let v = 1/12 - p. Which is bigger: v or -1?
v
Let r be (-2)/(-6) - (-26)/(-42). Let d be -1*(1 - 4) - 1. Suppose -3*m + 4*m - 6 = -5*b, 5*b - 3 = d*m. Which is bigger: b or r?
b
Let u = -0.134 + 3.134. Is u equal to 26?
False
Let o = 0.2 - 0.2. Let s = -71 - -68. Is s at least o?
False
Let p(u) = u**2 + 3*u - 3. Suppose -4 - 2 = 2*t. Let j be p(t). Let z(c) = c + 3. Let x be z(j). Which is bigger: x or 4/3?
4/3
Let u = -14.8 - -15. Which is greater: u or 1/2?
1/2
Let a = 434 - 432. Let i be -3*(8/6)/(-1). Which is greater: a or i?
i
Let w = -24 - -24. Let x be 3*(0 - 2/9). Which is smaller: w or x?
x
Suppose b - 1 - 20 = 0. Let h be ((-28)/b)/((-2)/(-3)). Do h and 0.1 have the same value?
False
Suppose -4*d = 14 + 10. Which is greater: d or -5?
-5
Let m be 6/(-33) + 68/11. Which is bigger: m or 9?
9
Let k(d) = -d + 9. Let y be k(4). Suppose -4*l - 18 + 90 = 0. Let j = l + -14. Is j less than y?
True
Let n = 781/5161 - -1/397. Is 0 greater than n?
False
Let d = -38 - -77. Let z be (0 - 2)*3/d. Let t = 783 - 783. Is t at most z?
False
Suppose 5*g = 9*g - 16. Which is smaller: -0.1 or g?
-0.1
Let t be ((-3)/(9/(-12)))/1. Suppose -h = -5*v + 5, 22 = -v + 2*v + t*h. Suppose 0 = s - 0 - 2, 4*r + 2*s - 12 = 0. Do r and v have different values?
False
Let f = -4.9 + 4. Is -1 at least as big as f?
False
Let p be 2*((-75)/(-19) - 4). Let v = 3 - 3. Which is bigger: p or v?
v
Let t = 64 + -63. Which is bigger: t or 2/63?
t
Let k be 4/2 - (-16)/(-10). Let l be (1/10)/((-2)/8). Is l >= k?
False
Let u = 168 - 8. Let f = u - 1122/7. Let w be (-1)/(-6) - 7/6. Is w greater than or equal to f?
False
Let t = -3 - -14. Which is greater: 10 or t?
t
Let c = 0.7 - -2.3. Is 4 > c?
True
Let t = -4.557 - 0.043. Let c = -4 - t. Does -1 = c?
False
Suppose -6 = -4*b + 5*h, 0 - 1 = -5*b + 3*h. Let r = 8/7 + -5/7. Which is bigger: b or r?
r
Let d be ((-3)/9)/(488/(-1026)). Let j = -3/61 - d. Is 1 at most j?
False
Let d = -24 + 12. Let t be ((-2)/(-3))/((-56)/d). Which is greater: t or -1?
t
Let a(w) = -w**3 + 2*w**2 - 2*w + 1. Let n be a(1). Suppose n*u = -u - 2*i + 1, 2*u + i + 4 = 0. Is u <= -3?
True
Let y(r) be the first derivative of -4*r**3/3 - 3*r**2/2 - 2*r - 4. Let i be y(-1). Let n be ((-4)/6)/((-2)/(-12)). Is i equal to n?
False
Let u = 72.6 - 73. Let f = -0.3 - -0.2. Which is bigger: f or u?
f
Let k be 2/3 + (-22)/6. Suppose 2*a = 3*n - 3*a + 27, 0 = 5*n + 5*a + 5. Which is greater: n or k?
k
Let d(f) = 12*f**2 + 5*f - 6. Let p be d(1). Which is smaller: 1 or p?
1
Let t = -309/7 - -13919/315. Which is bigger: t or -1?
t
Let r = 7 + 5. Is 11 at least r?
False
Let s(p) = p**2 + p - 8. Let n be s(-6). Let l be -3 - (2 + 2 + -6). Let z be l - (-1 - (-4)/n). Is 0 at least as big as z?
True
Let s = -4 - -4. Let r = 0 + s. Let g = r - -0.01. Is g at most as big as -0.1?
False
Let q(d) = -d**2 + 2*d - 3. Let m be q(0). Which is smaller: -4 or m?
-4
Let c be (-3)/((-42)/5)*-2. Does -2 = c?
False
Let p = 11 + -6. Let c be 25/8 - 15/p. Which is smaller: c or -1?
-1
Let a(q) = q**2 + 3*q - 12. Let f be a(-6). Suppose 4 + 0 = i - 3*l, -3*l = f. Which is greater: i or -6?
i
Let u(g) = -g**2 + 5*g + 7. Let x be u(6). Which is bigger: 14 or x?
14
Suppose 3*z - 7*z - 36 = 0. Is z != -15/2?
True
Let q = 6 + -3. Suppose -z = 5*h - 8 - 4, -2*z = -4*h + 4. Which is smaller: q or z?
z
Let s = 220 - 215.96. Let m = 0.04 + 0. Let h = s - m. Is h greater than or equal to 1/4?
True
Let g be 10/30 - (-70)/(-174). Which is greater: g or 1?
1
Let z be ((-6)/4)/(-1)*-2. Let p = 0 - z. Is 2 greater than p?
False
Suppose 10 = 4*k - 2*k. Let x = 4 - k. Are x and 0 non-equal?
True
Let g = -1 + 0. Let b(s) = -3*s**2. Let v be b(g). Suppose 0 = -3*q - 5*h + 9 + 2, -5*q - 31 = -4*h. Are q and v equal?
True
Let u = -0.2 + 1.2. Let g = 0 - -0.3. Let l = g + -0.2. Do u and l have different values?
True
Let v = 16082/32205 - 48/95. Let r = v - -3055/678. Which is smaller: 5 or r?
r
Let a = 10/99 + 56/99. Suppose -2 = 4*y + 5*g + 1, 6 = 5*y + 3*g. Does a = y?
False
Let d = -24069 + 2021849/84. Let k = 1/28 + d. Suppose -3*n - r + 1 = 0, -4*n + 0*n + 5*r - 5 = 0. Is k at least n?
True
Suppose f = -5*n - 35, -5*n = 2*f - 3*f + 25. Let w be 1/(-2) + 3/n. Which is greater: -2/5 or w?
-2/5
Suppose -3*h - 2*h + 5 = 0. Suppose -5*l - 2 = -4*u, 0 = -5*l - u + 8 - 20. Let n be 1/l + 15/18. Which is greater: n or h?
h
Suppose -2*o = 2*u - 9 - 3, o - 2 = 3*u. Is -2/123 greater than or equal to u?
False
Suppose 0 = -12*g + 9*g + 3. Is g smaller than 2/39?
False
Let g be (-1 - -1) + 252/243. Let l be ((-10)/3)/((-9)/(-1)). Let v = l + g. Is v at most 4?
True
Let o be (-2)/35*(-14 - -9). Is 2 < o?
False
Let z = -49.9 + 50. Let n = -7.95 + -0.05. Which is smaller: n