gger: f or -1?
-1
Suppose 0 = -a - 9 + 6. Let q be -4 + (0 - 3) + a. Which is smaller: q or -8?
q
Let k = 0.78 + -0.08. Let i = k - 0.15. Let y = i - 0.05. Is y not equal to -1?
True
Suppose -p = -6*p + 15. Suppose 5*j = 2*x + 6, 5*j - 2*x + 3 = -p*x. Which is greater: j or 1?
1
Suppose -5*k + 14 = -2*q + 31, -q = 2*k + 5. Suppose -z + 2*z = -4*g, 3*z = 4*g - 16. Is k != g?
True
Let g = -6 - -5.7. Let r = g + 0.1. Which is smaller: 4 or r?
r
Suppose -2*y + 147 = -9*y. Which is smaller: y or -1?
y
Suppose -x = -0*x + 1. Let j be (4/45)/((-6)/5). Are x and j nonequal?
True
Let j(o) = o**2 - 12*o + 7. Let f be j(10). Let t = f - -22. Let v be (-22)/42 + 6/t. Which is bigger: 0 or v?
v
Suppose -2*p = -v + 5, 4*v + 2*p = 3*v - 15. Which is bigger: v or -1?
-1
Suppose 2*n = -3*o - 10, -20 = -2*o + 3*n - 5. Which is smaller: o or -1?
-1
Let x(u) = -u**3 + 5*u**2 - 3*u - 1. Let t be x(5). Let w be (-4)/t - (-10)/(-8). Let s = -2/7 + 4/7. Is s less than or equal to w?
False
Let d = -5 + 6. Are 1/3 and d unequal?
True
Suppose -5*s = -y - s + 7, 3*s + 11 = -5*y. Suppose -5*g - 3*u = -14, -8 = -4*g - 3*u + 5. Let k = y - g. Which is smaller: k or -1?
k
Let q = -5.9 + -1.1. Which is smaller: 1/4 or q?
q
Let i(f) = -f**2 + f. Let p be i(0). Suppose p = -r - 2*r + 81. Let y be r/46 + (-4)/8. Which is bigger: y or 1?
1
Suppose -6*z = 74 + 532. Which is bigger: -102 or z?
z
Let s = 7322/47 - 156. Let f = -16/517 - s. Which is smaller: 1 or f?
f
Let b be 6/24 - (-14258)/(-72). Let p = 198 + b. Which is smaller: -1 or p?
-1
Let c = 2 + -2. Let p = c + 5. Let l = 4 - p. Is -1 > l?
False
Let i be 0/(-2) - (-120)/6. Let b be (4/30)/(i/175). Let l = -2/3 + b. Which is smaller: l or 1?
l
Let o be (-7)/(-2) - 3/6. Suppose -o*l - 3*x = x + 4, 2 = 5*l - 2*x. Which is bigger: l or -2?
l
Let z(q) = -q**2 + q + 6. Let l be z(-2). Is l greater than or equal to 0?
True
Let k = 1.1 - 0.9. Let t = 0.9 - -0.1. Is t at least k?
True
Let c = 0.3 + 0.54. Let m = c + 0.26. Let b = -0.1 + m. Which is greater: b or 1/3?
b
Let w = 28 + -19. Which is greater: 2 or w?
w
Let z = -30 + 38. Which is greater: z or 2?
z
Let x(q) = 2*q - 7. Let l be x(6). Suppose -l*s + 5*z = 0, 2*s + 2*z = z. Is -3 not equal to s?
True
Suppose -3*l = 6, 3*x + 4*l + 13 = 2. Suppose -3*y + 6 = -15. Is x at least y?
False
Let r = -0.29 + 0.09. Is r at least -0.04?
False
Suppose -3*z + 26 = -u, 4*z - 3*u = -0*z + 38. Which is bigger: z or 6?
z
Let q = 94 + -33. Suppose -4*h + q = 25. Suppose -3*y + h = -3. Are 4 and y unequal?
False
Let m = 3.2 + -4. Let h = m + -0.2. Is h at least as big as 4?
False
Let h(c) = c**2 - 8*c + 4*c + 1 + 5*c. Let p be h(-1). Which is smaller: p or 5/3?
p
Let o(s) = s**3 + s**2 - 3*s - 3. Let t be (-8)/36 + (-16)/9. Let d be o(t). Is -1/5 at least as big as d?
True
Let o = 58 + -57. Let j = 797/9 + -89. Is j greater than or equal to o?
False
Suppose -656 = -3*o + 5*y, -4*o + y = -70 - 816. Let c = -2000/9 + o. Is -1 at least c?
False
Let d = -6 + 5.6. Is -1/3 smaller than d?
False
Suppose -f + 31 = 5*c - 103, f = 4*c - 100. Is c less than -1?
False
Let k = 128/5 + -26. Let z(m) = -m**2 - 8*m + 5. Let i be z(-8). Let v be (4/(-10))/(3/i). Which is bigger: v or k?
k
Let l be 3/(9/(-92)) + 1. Let o = l - -30. Let f = -1 + 2. Which is smaller: o or f?
o
Let s(n) = -n**2 + 4*n + 5. Let t be s(5). Let o = t + -6. Suppose -5*z = 3*j + 40, 4*j + 5 = 4*z - j. Do z and o have the same value?
False
Let g = 87 + -132. Is 2 >= g?
True
Let b = -27.8 - -45.5. Let g = b - 17. Let p = -0.8 + g. Is p at most 0.01?
True
Suppose -10*o + 5*o - 20 = 0. Suppose 7 = 3*d - 2*d + 2*j, 0 = 3*d + 2*j - 9. Let v be (2*-2 + 0)*d. Is o greater than v?
False
Suppose -2*k = -p + 3*k + 10, -5*p - 4*k + 50 = 0. Are p and 11 unequal?
True
Suppose 0 = -d + z - 21, 2*z - 140 = 5*d - 44. Is -20 at most as big as d?
True
Let y = 12 + -13.1. Let h = 1 + y. Is h >= -3?
True
Suppose 0 = -2*a + 8 - 2. Is a at most as big as 3?
True
Let f(w) = -w**2 - 10*w + 5. Let j be f(-10). Is j at least as big as 5/4?
True
Let m be (2 + 238/(-77))*2/4. Which is greater: 0.2 or m?
0.2
Let l = -6.8 + -1.2. Let n = l - -8. Let o(a) = a**2 - 4*a - 5. Let s be o(5). Is s != n?
False
Let v be (6/(-4) + 1)*2. Let m = -3386/11 + 308. Is m at most v?
False
Suppose -r - 40 = -6*r. Which is smaller: r or 7?
7
Let k = -9 - -12. Suppose 18 = -k*g - 5*q, 4*q = -g - 0*q - 13. Let i = 197/11 + -18. Is i <= g?
False
Let w be 20/(-40) - -1*2/4. Is w > 0?
False
Suppose 13 = 3*j + 1. Let p = -1.99 - 0.01. Let n = p - -3. Are n and j equal?
False
Let f = -158/45 - -28/9. Let a = -11 + 18. Let t = a - 6.8. Which is smaller: f or t?
f
Suppose 2*o - 25 = 3. Suppose 0 = -y - 4*a + o, -7*y - 4 = -3*y + 4*a. Which is smaller: y or -5?
y
Let y(c) = -c**2 - 2*c + 2. Let x be y(-3). Let s = -12 + 12. Is x at least as big as s?
False
Let z be 60/25 + 2/(-5). Suppose -z + 1 = g. Does g = 1/3?
False
Suppose -8 = -3*b - b + 2*n, 0 = 3*b + n - 6. Are b and 1 unequal?
True
Let l be (-86)/(-28) - (-10 - -13). Let k(q) = q**2 + 5*q + 1. Let h be k(-5). Are h and l unequal?
True
Let k = 15 - 11. Is k > 4?
False
Let q = 0.189 + 0.011. Let t = -0.07 - -0.37. Which is smaller: q or t?
q
Suppose 16 = 4*k - 0*k. Let w = 1 - k. Is -4 > w?
False
Let y be 2 - -1*0/(-3). Suppose -i + 2 = -y*i. Which is smaller: -4/3 or i?
i
Let h = 1 - -2. Is 3 equal to h?
True
Let c(s) = -27*s. Let a be c(-1). Let t be a/(-18) + (-7)/(-2). Which is smaller: t or 1?
1
Let i = 360/1211 - 2/173. Suppose 17 = 3*k + 11. Let s be k/5 - 11/15. Which is greater: s or i?
i
Let s = 83 + -85. Let o = -7/2 + 3. Which is bigger: s or o?
o
Let x = 7 + -4. Suppose -w = 2*w - x. Is w greater than or equal to 2?
False
Let c be 4/(-26) - (-259)/(-91). Is c >= 4?
False
Let u = -2 - -1.9. Let a = 129/2 - 66. Do a and u have different values?
True
Let m be (6/15)/(8/80). Is m at most as big as 3?
False
Let b = 0.05 + 0.85. Let a = -1 + b. Which is smaller: a or 2/7?
a
Suppose -4*l - 202 = -y + 4*y, 0 = 2*y - 3*l + 163. Is y != -74?
False
Suppose 3*s - 6 = -2*g, 5*g + 1 = -2*s + 2*g. Suppose -7 + 27 = s*r. Are 5 and r equal?
True
Let m = -16 + 8. Let f = 8 + m. Let a = -3 - -2. Is f greater than or equal to a?
True
Let b(h) = -2*h**3 + 3*h**2 + 4*h. Let u be b(3). Let v be (-2)/5 - (-24)/u. Suppose 6*z = z - 5. Is v less than or equal to z?
True
Let c = -0.42 - -0.4. Let z = 1.02 + c. Let y = 0 - 1. Is z less than or equal to y?
False
Suppose 3*z = -3*t + 81, z - 147 = 2*t - 7*t. Let i = 52 - t. Let a = i - 13. Are 8 and a nonequal?
True
Let o be ((-2)/4)/(1/(-18)). Let w be (-60)/(-7) + ((-148)/14 - -10). Is w > o?
False
Let n = -4 - 0. Let d(v) = -v**3 + 6*v**2 - v + 6. Let i be d(6). Which is bigger: n or i?
i
Let z be 2/(-4)*(-10 + 8). Which is greater: z or -2/59?
z
Let p(t) = t - 2. Let s = 7 - 3. Let m be p(s). Let k = -752 + 748. Is m smaller than k?
False
Let b = 1 + 2. Let v be ((-1)/(-2))/((-1)/b). Let k be -1 + (6/(-1))/3. Is k >= v?
False
Let z = 17 + -57. Let w be (0 + -1)*z/70. Suppose 1 - 3 = -i. Which is smaller: i or w?
w
Suppose v - 636 = 4*v. Let l be 1*(v/70 + 3). Is -1 at least l?
False
Let s be (-91)/39 + 0 + 0. Is -3 <= s?
True
Suppose 0 = -y - 3*y. Is y > 2/27?
False
Let g(k) = -313*k - 1. Let f be g(-1). Let i be ((-2)/5)/(f/(-350)). Let s = i - -2/39. Are s and 2/5 nonequal?
True
Suppose y = -3*y + 4*a - 4, -5 = -5*y - 5*a. Suppose y = -5*c + 10 - 0. Let s = 14 - 10. Which is smaller: s or c?
c
Suppose -46 = -78*b + 80*b. Which is smaller: b or -22?
b
Let z = 36 + -36.1. Let n = -2 - -4. Is z at least as big as n?
False
Let q be -1 - ((-25)/4)/5 - 0. Is -2/93 bigger than q?
False
Let b be ((-6)/8 + 1)*-1. Let q be ((-2)/2 + -1)/((-4)/(-2)). Which is smaller: b or q?
q
Let g = -351/44 + 96/11. Let p = g - 1/4. Which is smaller: p or 0?
0
Let b(x) = -285*x. Let j(s) = 13*s. Let n(u) = -2*b(u) - 45*j(u). Let f be n(-1). Suppose -f = -4*c + 5. Which is greater: c or 6?
6
Suppose 4*s - 43 = j, 4*s = 3*s - j + 12. Let p be 4/s + (-6)/33. Which is greater: 1 or p?
1
Let w be (-36)/(-8) + 2/4. Suppose 2*j + 51 = -5*i, 0 = w*j - i + 62 - 2. Which is smaller: j or -12?
j
Let u be (-2)/((-3 - -1) + 1). Let z(a) = -2*a**2 + 10 + a**2 + u*a**2 - 11*a + 0. Let j be z(10). Which is greater: 2/13 or j?
2/13
