reater than or equal to v?
False
Suppose 0 = 2*r - 2, -r - r = 5*g - 102. Let p be 2*4 + g/(-10). Which is bigger: p or 5?
p
Suppose 6*a - 17 = 2*a + 5*u, -5*u - 8 = -a. Which is smaller: a or 11/3?
a
Let s be (4 + -3 - -1)*36. Which is greater: 74 or s?
74
Suppose 0*l + l = s + 1, 3*s = 9. Suppose l*h + 0*h = 0. Is h greater than 2/9?
False
Let k(m) = -5*m + 9. Let q(t) = -t + 1. Let s(v) = -k(v) + 6*q(v). Let c be s(0). Is -5 != c?
True
Suppose -5*t + 3 + 2 = 0. Suppose -6 = 3*z - 4*u + t, 3*z - 5*u + 5 = 0. Let i be (24/8)/((-6)/10). Are i and z nonequal?
False
Let g = 42 + -214/5. Let q(z) = z**2 - 3*z - 1. Let v be q(3). Is v at least g?
False
Let u = -2/39 + -8/13. Is -1 > u?
False
Let a = 30 + -214/7. Let g = 2 - -1. Is a at most g?
True
Suppose -2*j = 2 + 10. Let k = 10 + j. Suppose -k*z - 5 = z. Which is smaller: -2/3 or z?
z
Let p(z) = -3*z**2 - 3*z - 1. Let x be p(-2). Let y = 4 + x. Which is bigger: y or 0?
0
Let s = 1.99 + 0.01. Let p = s - 2. Is p >= -0.2?
True
Let s be -2 - (-5)/((-105)/(-49)). Let m = 0.07 + -0.01. Which is greater: s or m?
s
Suppose -3*c + 68 = 5*w, -4*w + 73 = 4*c - c. Let h = 278/9 - c. Do -1 and h have different values?
True
Let s be 10/6 - (-2)/6. Suppose -42 = -3*o - 6. Let l be (o/10)/(32/20). Do l and s have different values?
True
Let v be (-10)/(-30) - (-4)/(-3). Which is bigger: v or -1/12?
-1/12
Let v(z) = -z**2 - 5*z + 2. Let c(y) = y**2 + 4*y - 2. Let f(a) = 7*c(a) + 6*v(a). Let q be f(3). Which is bigger: q or 1/4?
q
Let t be (3 - 45/12)/3. Let p = 0 + 0.1. Which is bigger: p or t?
p
Let i = -0.8 + -3.2. Let y = i - -4.3. Let b = -0.5 + y. Which is smaller: b or 0?
b
Let w = 2 - 2. Suppose 2*t - t = w. Which is smaller: t or -2/3?
-2/3
Let l = 7 - 10. Let n be 61 + -64 - (-1 + (-1 - -1)). Is n at most l?
False
Let w = 3/124 + -335/3596. Do w and 1 have the same value?
False
Let n = -0.03 + 12.03. Let t = n + -8. Let l = t + -1. Which is greater: l or -2/9?
l
Let w = -4 - -5. Suppose 0 = 3*a - 2*a - 1. Is a at most w?
True
Suppose 0 = p + 2. Let k be 5*(1 - p - 0). Is 15 at least as big as k?
True
Let g = -4 - -9. Let k(r) = r - 3. Let a be k(5). Let v be (a/(-4))/(1/(-8)). Is g != v?
True
Let c(t) = -t + 6. Let n be c(11). Let x(z) = 4*z + 2. Let p be x(-2). Which is greater: n or p?
n
Let w(u) = -2*u**2 - 23*u + 19. Let d be w(-12). Is 37/5 greater than or equal to d?
True
Let c(u) = u**3 - 4*u**2 - 5*u + 1. Let k be c(5). Is k greater than 2/15?
True
Suppose -4*l + 26 = -3*l. Suppose 4*x - 6 = -3*k + l, -k + 2*x = -4. Let u = k - 3. Which is bigger: 1 or u?
u
Suppose -2*l + r - 49 = 0, -4*l - 5*r + 45 = -6*l. Which is smaller: l or -24?
l
Suppose -2*p = p + 180. Let x be p/(-27) - 4/18. Do x and 1 have different values?
True
Suppose 4*i + 15 + 5 = 0. Which is greater: i or -9?
i
Suppose 5*b - 16 - 19 = 0. Are b and -1/4 non-equal?
True
Let m = -6.02 + 6. Which is smaller: m or 1?
m
Let j = 0.03 - -0.27. Let a = -0.05 + -0.25. Let i = -0.4 - a. Which is smaller: j or i?
i
Suppose 3*l + 0*l = 6. Let q be (1 - 42/15) + l. Is 0 greater than q?
False
Suppose 5*q + 22 = -5*c + 52, -5*c + 10 = q. Let w be 8/16*(c + 7). Which is bigger: 5/2 or w?
w
Let d = -0.02 - -6.02. Let o = d - 6.1. Let y = o - -11.1. Which is greater: -1/2 or y?
y
Let l = -22.8 + 23. Is -2 at most as big as l?
True
Let s be (-4)/(-12) + 362/3. Let z = 602/5 - s. Is z smaller than -1?
False
Let d = 1 + 1. Which is smaller: 2/7 or d?
2/7
Let l = -0.31 - -0.21. Which is bigger: l or 10?
10
Let k(p) = -p - 5. Let n be k(-3). Let l be 6/(-1)*n/4. Suppose -3*z = 4*b + 1, l*b = 3*z - 0 - 6. Which is bigger: -1/3 or b?
-1/3
Let t = -11/5 - -122/35. Are t and 0 equal?
False
Suppose -u + 1 = 2. Let f = -1 - u. Suppose 4*b + 0*b + 28 = f. Which is greater: -6 or b?
-6
Suppose 8*p - p + 28 = 0. Is p at least as big as -5?
True
Let n = -33 + 34. Suppose 2 = f + f. Is n not equal to f?
False
Let i(h) = -h**2 - 5*h - 4. Let x be i(-3). Suppose -x*b = -3*b + 73. Let p = b + -367/5. Which is bigger: p or -0.1?
-0.1
Suppose 1 - 5 = 2*b, 0 = -5*p + 2*b + 14. Which is bigger: p or 0?
p
Suppose 0 = -2*n + 2*t - 8, -3*n + 5*n - 4 = -4*t. Is -2 > n?
False
Suppose 0 = 4*z - 3*u + 8, 3*z - u = 8*z - 9. Is z >= 2/53?
True
Let h = -41 - -42. Which is greater: 54 or h?
54
Let k = 0 + 0. Let j be 4/(0 - -16) - 3/44. Is j less than or equal to k?
False
Let k be (9 - -3)/((40/(-12))/(-5)). Is 18 at least k?
True
Let d = 15/52 - 1/26. Let w = 2 + -2. Is d greater than w?
True
Let j = -4 - -3. Let t = -4 + -1. Let u = 4.9 + t. Which is smaller: u or j?
j
Let h = 342 + -3768/11. Is h >= -1?
True
Let o = 25 - 32. Which is greater: o or -9?
o
Suppose 2*v = 5*z - 24, -4*v - 2*z = z - 4. Which is bigger: v or -7?
v
Suppose 14*m - 20 = 4*m. Which is bigger: m or 0?
m
Let j = -0.9 + 1. Let h be 4/(-9)*(0 + (-5)/(-30)). Is j at most as big as h?
False
Let k = 91 - 91.1. Which is smaller: k or -0.198?
-0.198
Let d(n) = n**2 + 7*n - 30. Let b be d(3). Is b <= -5/21?
False
Let r = 0.07 - 0.13. Let d = 122.94 - 126. Let v = r - d. Is -2/3 equal to v?
False
Let w be ((-1)/(-1))/(-1 - 0). Is w at most -2/3?
True
Let k = 2061/7 - 295. Let s(b) = -b**3 + 3*b**2 - 4. Let w be s(2). Which is greater: w or k?
w
Let f = 1/46 + 448/23. Let o = -113/6 + f. Is o greater than or equal to -2/5?
True
Let w = -1.23 + 0.13. Are 1 and w equal?
False
Let m = 3 + -5. Let z = -17.8 + 20. Let x = z + m. Is 0 at most as big as x?
True
Suppose g + 2 - 4 = 0. Let n(c) = -c**2 - 3*c**g + 3*c**2. Let s be n(1). Is -1 less than or equal to s?
True
Let u be 20/30*3/5. Is -38/3 smaller than u?
True
Let s(x) be the second derivative of -x**5/120 + x**4/4 + x**3/6 - x. Let w(u) be the second derivative of s(u). Let b be w(6). Which is smaller: b or -1?
-1
Let v(o) = 9*o**2 - o + 1. Let s be v(1). Is -3 greater than s?
False
Suppose 5*p - p - 17 = -5*q, -2*q - 4 = -2*p. Which is bigger: 4 or q?
4
Let g be ((-2)/8)/((-1)/4). Which is smaller: 10/11 or g?
10/11
Suppose 0 = -5*y + 5, x + 3*y - 14 - 24 = 0. Let r be (-10)/34*(-14)/x. Which is smaller: r or 1?
r
Let x be 4*1 + (-14 - -4). Is x less than -5?
True
Suppose 5*f = -0*q - 2*q + 18, f - 5*q - 9 = 0. Suppose f*d - 14 = 2*x, -4*x - 2*d + 1 = -7*x. Let i = -4 + x. Which is smaller: i or -1/2?
i
Let o = -307/104 + 23/8. Is 1 bigger than o?
True
Let k = -17 - -15. Which is smaller: -8/9 or k?
k
Suppose 4*c - 59 + 23 = 0. Is 12 equal to c?
False
Suppose 3*y = -5*v + 62, -2*y = -4*v - 3*y + 44. Suppose 2*w + 2*z + 0*z + 12 = 0, 3*w - z = -v. Let k = w + 7. Is 2 equal to k?
False
Let l = 4 + 367. Let r = -13726/37 + l. Let y = r + 53/777. Is y <= 0?
False
Suppose 0 = -32*q + 30*q - 6. Do 0 and q have different values?
True
Let r(s) = s**3 + 3*s**2 + 2*s. Let z = -1 + -1. Let w be r(z). Suppose w = 4*b - 5*b - 2*f, -4*f = 0. Which is smaller: -1/4 or b?
-1/4
Let h be ((-1)/(-2))/(262/4). Let s = h + -271/1179. Let j = -1.2 + 0.2. Is j not equal to s?
True
Let q be 1/4 - (8 - 4)/(-112). Which is bigger: 0 or q?
q
Suppose 0 + 9 = -3*y. Let f = y + 4. Let o be ((-2)/8)/((-14)/(-8)). Is f smaller than o?
False
Suppose 5*v + v = -v. Let p be 6/26*4/(-6). Which is greater: p or v?
v
Let b = -0.63 - -0.23. Suppose -3*p + 7*p = -4. Which is smaller: b or p?
p
Let w = 4 + -8. Let r = -4.2 - w. Let g = 0.1 + r. Which is greater: g or 2?
2
Suppose -7*f + 11*f = 0. Let g be -1 - f - (3 - 2). Is -1 > g?
True
Suppose -a - 2*c = 3*a + 8, -3*c = 12. Let q = 36 + -143/4. Which is smaller: a or q?
a
Let z = -15 - -22. Let o(i) = i - 4 - 2*i**3 + i**3 + 6*i + 6*i**2. Let h be o(z). Are h and -4 equal?
True
Let d = 59/110 - 3/22. Suppose 0*r = r. Let o be (-12)/8 + (r - 0). Which is greater: o or d?
d
Let q be 2/6 - (-418)/(-1290). Let r = q - 436/645. Let f(n) = n**2 - 3*n - 1. Let g be f(3). Are r and g non-equal?
True
Suppose 5*h - 56 = -16. Let d = h + -33/4. Which is greater: -0.5 or d?
d
Suppose -24 + 9 = 5*c. Which is bigger: -1 or c?
-1
Let q be 2*-2 + (2 - 0). Suppose 0 = 5*a + 8 + 2. Let t be (a/(-4))/(-4 + 3). Which is bigger: t or q?
t
Let k be (1/2)/((-20940)/4184 - -5). Let l be (-10)/((-2)/21*-1). Let v = l - k. Is v greater than or equal to 2?
False
Let j = 28 + -29. Are 9 and j nonequal?
True
Suppose -4*s + 0 - 5 = i, 4*s = i + 5. Which is smaller: s or -1/6