pose 0 = 3*i - 3*y + 2*y + 2, -4*i = -3*y - t. Is -5 less than or equal to i?
True
Suppose -2*s - 28 = -6*s. Suppose -3*w - j = s, -2 + 16 = -2*w - 3*j. Let l be (-6)/8 - 6/(-24). Is w greater than or equal to l?
False
Let g = -2 - -3. Let c be ((-2 + 5)*1)/1. Suppose -c = 2*q - 5. Is g >= q?
True
Let h = -1.034 - -0.034. Let g = 10.1 + -8. Let x = 2 - g. Is h >= x?
False
Suppose 0 = -2*z - 2*x + 54, -4*x - 17 + 79 = 2*z. Which is bigger: z or 22?
z
Suppose 3*t - 13 = -5*f, 3*f - 4*t = -t + 3. Let n = 3 - f. Which is greater: 4/7 or n?
n
Let s be 1/4 + 5/(-4). Let i be (s + -5)*(-1)/1. Suppose -i + 3 = 3*q. Is q at least as big as 2/9?
False
Let q = 33 + -13. Suppose 0 = 5*s - q + 5. Do 4 and s have the same value?
False
Let c = -12/305 + 106/5795. Which is smaller: c or -0.2?
-0.2
Let v = -5.6 - 0.4. Let c = -5.6 - v. Let u = c - 1.4. Which is bigger: u or -3/5?
-3/5
Suppose 0*n = -5*n. Suppose n*r = -5*r - 15. Which is bigger: r or -1?
-1
Let q = -22 + 44. Suppose -23 + 8 = 5*i - 2*g, -5*g + q = 3*i. Let b = -0.3 + 0.1. Is b at least i?
True
Let t(d) = d**3 - 6*d**2 + 2. Let j be t(6). Suppose 242 - 86 = j*x. Let i be (-5)/(-15) + (-38)/x. Is i < 0?
True
Let w be (-4*10/2)/1. Let l = -81/4 - w. Let c = 3 + -2. Which is greater: c or l?
c
Let f = 1 + 10. Let o = f - 9. Let v = -2.2 + 2. Which is greater: o or v?
o
Let v(o) = o**3 - o + 2. Let j be v(0). Is j equal to 2/3?
False
Let k(b) = -b**2 + b + 3. Let r be k(0). Let a = 5 - r. Let y be -1 - ((-6)/(-8) - a). Which is greater: y or 4?
4
Let h = -7 - -12. Let c be 2/6 + h + -6. Which is smaller: c or -2?
-2
Let q(y) = -y**3 - 8*y**2 - 6*y - 10. Let z be q(-7). Are -1 and z equal?
False
Suppose 3*d - 85 = 2*o, -3*o = -2*d + 25 + 30. Which is greater: 28 or d?
d
Let c be 1*2 - (-2 + 1). Let p(l) = -l**3 - 8*l**2 + 9*l. Let s be p(-9). Which is bigger: s or c?
c
Let v(u) = -u**2 - 5*u - 3. Let d be v(-2). Suppose d*s + 3*s = 30. Does s = 5?
True
Let c = 0.1 - 5.1. Let g = -4 - c. Let j = 0 + 1. Is g > j?
False
Let y be (1/(-4))/(2/(-8)). Do 2/57 and y have the same value?
False
Let i be (-4)/3 - (-8)/24. Suppose 2*d = -3*d. Let u be 4*(d + 2/(-4)). Which is smaller: i or u?
u
Suppose -5 = 2*y - 3*y. Suppose 26 - 6 = y*i. Are 5 and i non-equal?
True
Let y be 88/(-20) + 0 + 4. Is y >= -0.01?
False
Let q = 13963/23 - 607. Let d = q + 17/69. Which is bigger: d or -1?
d
Let b(z) = z - 10. Let t be b(10). Let f = 1 - t. Is -2/21 less than or equal to f?
True
Let l = 92 - 1105/12. Is l greater than 3/7?
False
Let r be 22*(6/(-8) + 86/104). Are 3 and r equal?
False
Suppose 7*r - 2*r = 0. Let g be 11/12 + 8/(-12). Is r less than g?
True
Suppose s - h - 3 = 0, s = -s - 3*h - 9. Suppose -2*u + s + 2 = 0. Let k be (-7)/(-56) + ((-270)/336)/(-5). Which is smaller: u or k?
k
Suppose 2*h = -2*h - 16. Let v(p) = -p**2 + 4*p + 6. Let b be v(6). Let z be 34/(-12) + 1/b. Is h != z?
True
Suppose -2*s + 10 = -4*s. Let u(q) = 5*q - 4. Let g be u(0). Are s and g non-equal?
True
Suppose -c - 195 = 4*c - 5*u, 5*c = -5*u - 225. Let r = 380/9 + c. Let d be 1 + 1 - (-1 - -3). Which is smaller: r or d?
d
Let f be -2 - 1 - (-5210)/(-3). Let v = -1782 - f. Let u = v - -42. Which is greater: u or 1?
1
Let p = 34/3 - 12. Do -20 and p have the same value?
False
Let c be 14/(-4) + (5 - (-11)/(-2)). Is -3 less than or equal to c?
False
Let u = 5 - 4. Suppose -y + 2*y + u = 0. Is y greater than -5/4?
True
Let k be 4/(-16) + 49/36. Which is bigger: 2 or k?
2
Let x = 1.1 + -0.77. Let v = -0.07 - x. Which is bigger: v or 0?
0
Let a be (8/(-12))/(26/(-6)). Let z(s) = s - 1. Let f be z(2). Let j be (3 - 3)/(f + 0). Which is greater: a or j?
a
Let w be (1/(-9))/((-3)/9). Suppose 4*n = 2*s - 7*s - 13, -2*n = -3*s + 1. Which is smaller: w or s?
s
Suppose -c + 2*c + 6 = -4*s, -c + 4*s = -10. Is c at least as big as 24?
False
Let f(w) be the third derivative of -w**4/6 - 3*w**3/2 - 2*w**2. Let s be f(-6). Is s less than or equal to 0?
False
Let l = -4 + 5. Let i be 20/(-18) - (-12)/9. Is i at most as big as l?
True
Let g be (4/(-6))/((-8)/(-12)). Let p be (g/3)/((-2)/78). Let c = p + -9. Is c > 4?
False
Let p be 22/(-16) + 2 + -1. Suppose -3 = -i, 4*i + 4 = -5*a + a. Let s = 3 + a. Does s = p?
False
Let d = 2 + -2. Suppose 3*h - k = -5*k + 5, d = h - k - 4. Let p = 4 + 0. Are h and p nonequal?
True
Let j = 13 - 9. Let h = 6 - j. Which is bigger: h or 1?
h
Suppose -2*s - 6 = 4*s. Is s equal to -1/15?
False
Let a be (9/24)/((-3)/(-311)). Let k = -39 + a. Let w = k + 21/40. Is -3/4 less than or equal to w?
True
Let m be (-1)/(-1) + -3*1. Let y be (-3)/m*(-2)/1. Suppose 2*k - 10 = 5*b, 4*k + 10 = -5*b + 5*k. Is y smaller than b?
True
Let a(q) = q - 5. Let s = -6 + 8. Let h be a(s). Are -2 and h equal?
False
Suppose -2*t + 9*t - 7 = 0. Which is smaller: 5/34 or t?
5/34
Let m = 10 - 9. Let r be (m/(-1))/(9/2). Let l = 7 + -6. Does r = l?
False
Let q be (-2)/9 - 28/(-288). Let j = -4.93 - 0.07. Let s = -6 - j. Is s at most as big as q?
True
Let a = 6 - 0. Let v = 43 - 31. Let j = a - v. Are 1 and j non-equal?
True
Let j = -11 - 9. Let s be 2/j - (-4)/8. Are 0 and s non-equal?
True
Suppose u = 5*j - 5, 1 = 3*u - 6*u + j. Let y = 13/10 - 19/30. Which is greater: y or u?
y
Suppose -169 = 5*k + 8*k. Is k at most as big as -16?
False
Let r(q) = -5*q + 21. Let m be r(4). Is -2/49 >= m?
False
Let a be -1 - ((-3)/(-306) - 1). Let l = -3/17 - a. Is l at least as big as 2/3?
False
Suppose 2*x + 2*z = -6, -x + 3*z + 15 = -2*z. Let y be (-8)/14*2/(-4). Is y <= x?
False
Let i be (1 + 5)*5/(-2). Let y be 45/44 + i/20. Let u(w) = -w**2 - 7*w. Let a be u(-7). Is a at most y?
True
Let f be -2*((-10)/(-4))/5. Which is bigger: -4 or f?
f
Suppose -4*a + s = -3*a, a + 3*s - 20 = 0. Suppose 0*n - 3*n + b + 11 = 0, -3*n + a*b + 31 = 0. Suppose -i + 2 = -w, n*i + w = -w - 8. Is -1/3 at least i?
True
Let o = -4 + 17. Is 12 bigger than o?
False
Suppose p = 2 - 0. Let x be (7*12/210)/(3/10). Is x at least as big as p?
False
Let f = -3.4 - -4. Let j = f - 0.54. Let h = 0.04 + j. Does 2 = h?
False
Suppose -v + 0*v - 11 = 0. Let t = v + 27. Does 17 = t?
False
Suppose -4*i = b - 5, 0*i + 3 = -3*i. Is b greater than or equal to 8?
True
Let o = -1.8 + 1.7. Does o = 3?
False
Suppose 6*p = 2*p. Suppose p*d = d - 4. Let s = d + -2. Which is smaller: -1/4 or s?
-1/4
Let z = 11 + -10. Suppose -z = 5*f - 16. Which is bigger: -1 or f?
f
Let i = -2 - -4. Let g(w) = 2*w + 0*w**2 - w - 6 - w**i - 8*w. Let n be g(-6). Is n < -2?
False
Let z = -1 + 0.4. Let q = 2.6 + z. Let h = q - 0. Which is smaller: h or 0.2?
0.2
Let u = 11.07 + -19.1. Let p = -8 - u. Let b = p - 0.33. Which is bigger: 2 or b?
2
Let h = -255/4 + 64. Let s = -0.99 - 0.01. Is h smaller than s?
False
Suppose 5*q = -10, -2*q + 1 - 11 = 2*y. Which is smaller: -2 or y?
y
Let s be 14 + -1 + (-8)/(-2). Let k = s - 26. Which is smaller: -10 or k?
-10
Let t be (5/13)/((-17)/(-34)). Let j = 4/39 - t. Suppose 0*p - 4*n = p, 0 = -3*p - n. Do j and p have different values?
True
Suppose -4 = 6*n - 5*n. Let t be (-11 - -16) + n*1. Is -2/19 <= t?
True
Let l be 5/3 + (-5 - -3). Let r = 0.1 + -0.2. Which is bigger: r or l?
r
Suppose 3*h + 13 = 4. Which is smaller: 0 or h?
h
Suppose -4 = -j + 1. Suppose 0 = j*z - 2*f + 7, -3*f - 6 = -5*z + 3*z. Let n be ((25/2)/(-5))/z. Which is smaller: n or 2?
n
Let v be (-4)/36*-6*-6. Let w be (6/(-4))/((-1)/2). Let m = w - 8. Is m greater than or equal to v?
False
Let j = -9 - -16. Let y = j + -6.96. Let b = -1.04 + y. Which is bigger: -0.1 or b?
-0.1
Suppose 3*a + 7 - 37 = 0. Suppose -6 = -2*p + 3*p. Let b be ((-8)/(-20))/(p/a). Which is smaller: 2/9 or b?
b
Let w be (116/(-20))/(2/(-10)). Let v = w - 59/2. Which is smaller: v or -1/3?
v
Let p be 1 + -3 + (0 - 0). Let y be (-3)/p + (-2)/4. Which is bigger: y or 1/6?
y
Let v(g) be the first derivative of g**3/3 + g**2/2 + g + 1. Let j be v(0). Is j > 1?
False
Suppose o - 4*n = -2, 0 = -4*o - 5*n + 4*n + 9. Let p be (-2)/(-28)*-4*o. Which is bigger: p or 0?
0
Let r be (-3)/3*(3 - 2). Which is smaller: r or -2?
-2
Let g be 4/(-6) - (-212)/300. Is g at least 1?
False
Let y = 2527/3224 + -24/31. Which is greater: y or -1?
y
Suppose 5 + 3 = 4*x. Suppose 0 = x*h + 2*h + 20. Which is greater: -6 or h?
h
Let g = 90.3 - 90. Is 3 less than g?
False
Let d = 