e
Let z = -12 + 12.07. Let w = -0.13 + z. Which is smaller: 0 or w?
w
Suppose 3*g = 5*t + 2*g - 9, -t - 2 = -4*g. Let p be (-8)/t - 1*-3. Let u = 3 + -3. Is p >= u?
False
Let i(p) = p**3 + 3*p**2 - 3*p - 1. Let k be i(-3). Suppose -t - t = -k. Suppose -x - 4 = -10. Is t bigger than x?
False
Let r = -49 + 48.8. Is -3 greater than r?
False
Let w(v) = v**3 - 3*v**2 - 5*v + 6. Let m be w(4). Suppose -s = m - 0. Which is bigger: 0 or s?
0
Let r be 2 + (-2)/((-10)/(-9)). Let s = 0.03 + -0.01. Let t = 0.12 - s. Which is bigger: t or r?
r
Let t be (772/6)/(26/36). Let u = 178 - t. Is 1 < u?
False
Let b = -30 - -20. Let j = -82 - -73. Is j < b?
False
Let k = 17.94 - 18. Is -3 greater than k?
False
Suppose -2*j + 3*d - 5*d = 24, d = -4. Is j bigger than -7?
False
Let v(p) = -p**3 - 6*p**2 - 2*p + 5. Let y be v(-5). Let i = y - -14. Is i not equal to 4?
False
Let p = 14 + -8. Suppose -3*z + p*z = 0. Suppose 4*t - 7 = -z*t - 3*a, 2*a = 2*t. Are 1 and t nonequal?
False
Suppose -q + 2 - 4 = 0. Let d be 1 + q*3/(-2). Which is smaller: d or 3?
3
Suppose 7*g = 2*g + 25. Which is greater: 16/3 or g?
16/3
Let w = 0.2 + -0.9. Let c = 0.9 + w. Is c > -0.2?
True
Suppose -3*v = -x - 15, -16 = 2*v - 3*v + 4*x. Suppose -v*r + 2*o + 88 = 0, 5 + 3 = -2*o. Let l be ((-4)/r)/(8/(-10)). Does l = -1?
False
Let r = 3.1 + -3. Let b = 0 + r. Let z = -19 - -18. Does b = z?
False
Let l = -4/11 + 38/99. Is l at most as big as 1?
True
Let k = -3 + 8. Let u = 10.3 - 6.2. Let n = -4 + u. Is n equal to k?
False
Suppose -5*y + 7 = -2*s, 0 = s + s + 2*y. Suppose 4*r - 29 = -3*a - 3, 5*a + 2*r - 34 = 0. Let q be (-4)/a - (0 + -1). Which is smaller: s or q?
s
Let v = -53 + 53.1. Let s = 8 + -4. Let i be (-30)/56 + s/14. Which is smaller: i or v?
i
Let g = 16 - 13. Suppose 3*r - 5*r = 5*a + 25, 4*a + 13 = -g*r. Is -6 <= a?
False
Suppose 0 = 2*i - 1 - 3. Which is smaller: i or 5/2?
i
Let t = 16.8 - 17. Let j = 0 - 0. Is t > j?
False
Let j(w) = -2*w**3 - 2*w + 3 + 2*w**3 + 2*w**3 - 3*w**3 + 2*w**2. Let t be j(2). Which is smaller: -1/8 or t?
t
Let q = -0.177 - 0.033. Let v = q - 10.79. Let t = v - -17. Is t greater than or equal to -0.1?
True
Let i = -1.35 + 0.35. Is i < 19?
True
Suppose 4*g + g - j = 14, 3*j = 3*g - 6. Let r be 8/(-9) + 2/g. Is 0 greater than r?
True
Suppose m + 3*m + 16 = 0. Let w be ((-4)/(-6))/(m/(-18)). Suppose -w = -2*d - d. Is 1/6 bigger than d?
False
Suppose 2*r = -5*m - 20, -m - 2*m + 4*r = -14. Suppose 3*w - 12 = -w. Suppose -4*s = w*f + 23, -2*s + s = 3*f + 8. Which is smaller: f or m?
m
Let x be (-2 + -1)/(-3) + 1. Suppose -x*t + 5 = -1. Does t = 4?
False
Suppose 5*g + 11 = 1. Let n be (2*-2 - g)*-2. Which is bigger: n or 5?
5
Let r = -2.33 + 1.33. Let s = 0.06 - -0.34. Let n = 0.2 - s. Are n and r equal?
False
Let o(z) = -9*z**3 + z**2 + 7*z - 6. Let q(k) = 4*k**3 - k**2 - 3*k + 3. Let d(x) = -3*o(x) - 7*q(x). Let s be d(3). Is 5 at least as big as s?
False
Suppose -2 = -2*x - 0*x. Let g be (x/12)/(3/(-16)). Is g at least as big as 0?
False
Suppose a + 5 = 5*v, 2 = v + 2*a - 10. Suppose 2*z - 5*z + 6 = 0. Do v and z have the same value?
True
Let o be 3 + 3/(-6)*-2. Suppose -2*c + o*c - 16 = 0. Suppose c*j - 5 = 3*j. Which is greater: 1/5 or j?
j
Let u be 9*3/(-35) - 20/(-35). Let b be 3/4 - (-2)/8. Is b <= u?
False
Let l = 16 + -13. Is 2 less than l?
True
Suppose -u + 15 = 4*r, -3*u - 3 = r - 4. Let a = 12 - 14. Are u and a equal?
False
Let f be (-37)/22 - 3/(-6) - -1. Which is greater: 2/7 or f?
2/7
Let w = 4 - 2. Let z(p) = -p**2 - 6*p + 7. Let n be z(-7). Suppose n = 5*i - 4*i. Are i and w unequal?
True
Suppose -f + 13 = f - c, 0 = 4*f - 5*c - 29. Suppose -3*b - f = -0*b. Are -4 and b non-equal?
True
Let r = 23/15 - 1/30. Let b(v) = v**2 + 8*v + 8. Let h be b(-7). Is r greater than h?
True
Let f be (-12)/168*(-8)/(-2). Is f less than -6?
False
Let j(g) be the first derivative of g**4/4 - 5*g**3/3 + 3*g**2/2 + 4*g - 1. Let d be j(3). Let f be (((-48)/20)/((-4)/10))/(-2). Which is greater: d or f?
f
Suppose -4 = -2*w + 4. Let m(r) = r**3 + 5*r**2 - 16*r - 10. Let q be m(-7). Is q > w?
False
Let l = 5.4 + -8.7. Let i = -2.9 - l. Which is smaller: 1/4 or i?
1/4
Let r = 19/28 - 3/7. Which is bigger: -0.2 or r?
r
Let t = -1 + 2. Suppose -5*v - 40 = -5*i, 4*v + 4*i - 23 = 5*v. Let s be (-2)/(-6) - 1/v. Which is smaller: s or t?
s
Let s = -2.1 - -3.1. Let i = -1.1 + s. Which is bigger: i or -2/3?
i
Let t = 44966/77 + -584. Which is smaller: t or -0.1?
-0.1
Let r(m) = -2*m + 7. Let g be r(6). Let k(f) = f**3 + 6*f**2 + 4*f - 2. Let n be k(g). Is n at most 1?
False
Let t = -2 - 0. Let b = -2.2 - t. Which is smaller: 1 or b?
b
Let k be (3 - 2) + (-3 - -1). Suppose 14*a - 12*a - 10 = 0, 0 = -v - 5*a + 21. Which is bigger: v or k?
k
Let f = 1 + -1.1. Let u = 121/7 + -17. Is f greater than or equal to u?
False
Let h(g) = g**2 + g. Suppose -v + 0 + 8 = 2*r, 3*r = 2*v + 19. Let s be h(v). Is s != 1?
True
Let c = 43 + -44. Let t = 4.8 + -0.8. Which is bigger: t or c?
t
Let k = 50 + -52. Which is bigger: 7 or k?
7
Let t(x) = -x - 6. Let g be t(-8). Let o = 0 + -0.2. Let f = 0.3 + o. Is g less than or equal to f?
False
Let s be (2 + -2)/1 + 1. Which is bigger: 0 or s?
s
Let u = 5 - 5. Let r = 8 - 5. Suppose 0*h - r*h = 6. Is h less than u?
True
Let m(w) = 5*w + 35. Let p be m(-8). Is -5 bigger than p?
False
Let x = -15 - -19. Suppose -5*k + 2*z + 12 = 0, 8 = x*k - 3*z + 4. Is k at most as big as 6?
True
Let r be (3/126)/((-7)/(-56)). Let q be 12/(-14) + (2 - 1). Let h = r + q. Which is greater: 0 or h?
h
Suppose 0 = 5*p - 4*i + 8, -p - i + 2 = -0*i. Suppose 4 = 4*y + 8. Let b be (y - -1)/(2 + p). Which is smaller: 3 or b?
b
Let n = 0.43 - 0.4. Is n less than 1?
True
Let k(m) = m**2. Let j be k(0). Suppose -6*l + 3*l = j. Is 0.1 less than l?
False
Let y be 2/(-4)*6/7. Let d = -55/3 + 223/12. Is y > d?
False
Let w = 9 - 6. Suppose -5 = -4*h + w. Suppose -5*p = -8 + 23, 0 = h*r + 3*p + 9. Is 2/9 less than r?
False
Let s = -394127/693 + 3989/7. Let l = s - 10/11. Is 1 smaller than l?
False
Let d = -237 - -246.7. Let x = d + -10. Let h = 19/3 - 6. Is h greater than x?
True
Let t be (3 + -1)*(-1)/(-263). Let l = 4214/789 - t. Which is bigger: 5 or l?
l
Suppose 5*o - 2*o = -6. Let s = 5 + o. Suppose 0 = 2*a + 4*z + 8, 3*a - z = -s*z. Is 2/3 < a?
True
Let y(n) = -n**2 - 8*n + 3. Suppose 32 = -0*c - 4*c. Let m be y(c). Let k = -4 + m. Are -2 and k unequal?
True
Let y be 12/(-120)*12/5. Which is smaller: 0 or y?
y
Let q = 43/111 - 2/37. Let a be (6/6)/(1 + 6). Is a greater than q?
False
Let r be -14*(324/(-8))/(-9). Is r > -63?
False
Let a(d) = -d**3 + 12*d**2 + 2*d - 24. Let z be a(12). Is -8/7 != z?
True
Suppose l = 6*l. Suppose k + 14 = 5*p, 5*p + l*p - 11 = 4*k. Is k <= -2/7?
False
Suppose f + 6 = 2. Let s be f*(2 - 27/12). Which is greater: 2 or s?
2
Suppose 0 = 2*x - 3 + 7. Let a = x + 3. Is -1/14 less than a?
True
Let m = 64 + -39. Suppose 0 = -5*i - m, 5*i - i + 5 = -5*y. Which is greater: y or 2?
y
Let v = 3 + -4. Let n(y) = 5*y**3 - 5*y - 6. Let w(t) = t**3 - t**2 - 1. Let q(c) = v*n(c) + 6*w(c). Let j be q(5). Which is greater: -1 or j?
j
Let h = -2 - -1.8. Let v = -3.6 - -3.8. Is v less than or equal to h?
False
Suppose 0 = -c - 4*v - 47, -5*c = 3*v + 142 + 110. Let o = c + 256/5. Suppose -2*j + 2*t + 8 = 0, 4*t + 15 = 5*j - 0*t. Which is bigger: o or j?
o
Let y = -69/5 - -14. Suppose -i = 3*n - 31, n + 4*i = 5*n - 36. Suppose -2*c = 4*j + n, c = 4*c + 4*j + 9. Are c and y equal?
False
Let c = 26128/17 - 1536. Which is smaller: 0 or c?
0
Let j = -0.38 + 0.48. Which is smaller: 33 or j?
j
Let a = -1826/5 + 273. Let t = a + 29033/315. Let i = t + -103/63. Are i and -3 non-equal?
True
Let g(z) = -z**2 + 5*z + 8. Let y(o) = -3*o. Let d be y(-2). Let q be g(d). Is q bigger than 8/7?
True
Let j be -4 - -3*(1 + 1). Let s be (-15)/10*j/(-3). Which is bigger: 3/8 or s?
s
Let b = -147 + 601/4. Suppose -5*p + p + 8 = 0. Which is bigger: b or p?
b
Let q = -8/487 + 2313/170450. Let w = -681/6650 + q. Let g = -4 + 4. Is w != g?
True
Let f be (-12)/(-32)*(-5)/(-3). Which is greater: f or 1?
1
Let h be (-41)/282 - (-6)/36. Which is greater: h or 1?
1
Let t = -30213/14 + 2156. Let d = t + 929/462. Is -1 >= d?
False
Let t = -572/2493 - -2/277. Let y(i) = -i - 5. Let a be y(-7). Is t at l