: b or 1?
1
Let h = 13 + -11. Let a = h + -1. Which is smaller: a or -12?
-12
Let c(v) = v. Let t be c(6). Suppose 0*j + 3*j + 3*k - 12 = 0, 0 = 2*j + 5*k - 14. Suppose -6*m + 3*m = 2*n - t, -m = 5*n - j. Is 0 greater than m?
False
Let k = -4 + -3. Let l = k - -3. Suppose -2*d - 12 = d. Is d less than or equal to l?
True
Let c = -1.9 + 2.9. Let l = c - 0. Is 5 greater than l?
True
Let w be 4/(-6) - 8/(-30). Let v(r) = -r**3 + 11*r**2 + 12*r. Let k be v(12). Which is smaller: k or w?
w
Suppose -3*z = 3*i - 3, 10 = 3*i - 4*z - 0*z. Suppose 0*t = -i*t. Is -4/7 less than t?
True
Let a = -13 + 13.25. Let s = 0.05 - a. Is s >= 0?
False
Let x = 7 - 9. Is -1 greater than x?
True
Let r = -167 - -162. Which is greater: 0 or r?
0
Let o = 3 + 2. Let q be (-1)/o - 24/(-320). Which is greater: 0 or q?
0
Let p = 7 - 7.2. Let x be (-4)/(-3) + (-2)/6. Which is smaller: x or p?
p
Let j(y) = 1 + 2*y**2 + 14*y - 6*y - y**2 + 3. Let z be j(-8). Is z smaller than 2?
False
Let w be 18/30 + 8/20. Which is greater: 12/5 or w?
12/5
Let h = 4.3 - 2.3. Which is bigger: 1 or h?
h
Let f(o) = o**3 + o**2 - 2*o + 1. Let b be f(1). Let q = -105 - 81. Let s = q + 1676/9. Which is smaller: s or b?
s
Suppose 5*h = 2*k - 4*k + 3, -k - 3 = -2*h. Is 1/3 greater than h?
False
Let b(o) = -1 - 15*o**3 + 1 - o + 0. Let x be b(-1). Let p be 6/24*x/(-14). Which is bigger: 1 or p?
1
Let n = -6 - -4. Suppose y = -3*y + 36. Let k be -1*2 + 6/y. Which is bigger: n or k?
k
Let a = 15665022/1085 + -101054/7. Let b = 10/31 - a. Is -1 less than or equal to b?
False
Suppose 5*n - 45 = -5. Let d be 5*5/((-50)/n). Let t = -2 - d. Is 2 greater than or equal to t?
True
Let q be 1*(0 + 2/(-2)). Let c = 629/144 + -12581/2448. Let o = 15/17 + c. Which is bigger: q or o?
o
Let w be 4/120*18/4. Which is smaller: -1 or w?
-1
Let n(f) = -f**2 + 5*f + 2. Let m be n(5). Suppose 45 = -3*h - 5*v, v = -m*h + 2*v - 17. Let l(u) = u**3 + 11*u**2 + 10*u + 4. Let d be l(h). Is 4 less than d?
False
Suppose 0 = 2*h + 2*v + 84, -4*h - 5*v = -84 + 254. Let t be (0 + -1)/((-30)/h). Let m = 2 + -3. Which is bigger: t or m?
m
Let d = 41/5 + -8. Suppose 3*z + 18 = 3*l, l + 0*l = 2*z + 5. Suppose 1 = -g + 3, r = 4*g - l. Which is smaller: r or d?
d
Let n = 5 - 4. Is n less than or equal to 1/10?
False
Let x(r) = -r**2 + 6*r + 13. Let c be x(7). Which is greater: 5 or c?
c
Let s = -4 - -7. Suppose -3*o = -3*i - 9, -s*i + 2*i = -3*o + 5. Which is smaller: -2/19 or o?
-2/19
Let s(q) = q**2 + 7*q + 8. Let n be s(-6). Suppose -2*j + 8 = -2*w - 22, 0 = n*w + 10. Let v = -19/2 + j. Which is greater: v or -3?
v
Let z be (2 + 3/(-15)*1)*10. Is z not equal to 22?
True
Let v = -8 + 11. Let j = 2 + 0. Suppose v*n + j = n. Is 0 < n?
False
Let i = 0.15 + -0.04. Let c = -0.39 - i. Let h = c - -0.52. Do -2 and h have different values?
True
Let t = 1 - -2. Let k be 1/t + 14/21. Which is smaller: 7 or k?
k
Let q = 0.1 + 0.4. Let b = 11 - 10. Which is smaller: q or b?
q
Let i = -1 + -1. Suppose 5*v + 6 = -4. Is v > i?
False
Let d = -40 + 154. Let p = d - 6728/59. Is p smaller than 0?
True
Let v be (1/6)/(1/1). Suppose -2*y - 6 - 18 = 5*z, 5*y = 15. Let r(d) = d + 7. Let p be r(z). Do p and v have different values?
True
Let o = -9/10 + 1/10. Is o less than or equal to 2?
True
Let f be (-1 + -6)/(11/((-627)/(-6))). Is f less than -67?
False
Suppose -6 = -2*w + 6. Let c be (w/21*-1)/6. Is c >= -1?
True
Let c = -0.8 + 0.5. Is c equal to 0.09?
False
Let u be (6*2)/(-2) - -1. Let p be 8/14*-11 + (-2)/(-7). Which is smaller: u or p?
p
Let r = -0.12 + 0.12. Which is smaller: r or 1.2?
r
Suppose 0 = 3*o + 2*o - 3*c - 15, 2*o - 4*c - 20 = 0. Is o at least as big as 3/20?
False
Let w(i) be the third derivative of -i**5/60 + 5*i**4/24 - 5*i**3/6 - 2*i**2. Let l be w(4). Are l and 1/7 nonequal?
True
Let x = 22/3 - 8. Let b = 0 + 5. Suppose -n - 16 = -b*o + 11, 33 = -4*n + 5*o. Is n at least x?
False
Let o = 35 - 24. Let t = o + -10.8. Which is smaller: 2/5 or t?
t
Let h be (-2)/8 + 90/8. Let b be 838/h + (1 - 1). Let k = 76 - b. Which is greater: -1 or k?
k
Let v be (-2)/(-3) + (-1)/(-3). Let j = -36385 - -326458/9. Let c = -112 - j. Which is smaller: v or c?
c
Suppose -4*g + 5*m + 25 = 0, -3*g - g = 3*m + 15. Let h be (-1 - g)/((-8)/(-8)). Is -2 > h?
False
Let u = -3 + 2. Let d be 4 + -2 + (0 - 17). Let j be (-34)/70 - 3/d. Is j greater than u?
True
Let d be (1/6)/((-6)/(-9)). Let u = -6829/3 + 2257. Let f = u - -20. Which is greater: f or d?
f
Let s = -4 + 4.2. Let z = s - -0.8. Let v = 1.1 + -1. Is v greater than z?
False
Suppose -2*o + 0*c + c = 0, -c = 2*o. Is o smaller than 6?
True
Suppose -5 = -l - f, 2*l = -l - 4*f + 20. Which is smaller: 3/7 or l?
l
Suppose -2*s = 5*t - 18 - 1, t = -s + 5. Suppose -3*w - 6*m = -3*m + 6, 0 = -4*w - s*m - 6. Which is smaller: -3 or w?
-3
Let p be (6/(-7))/((-77)/49). Suppose -v + 4 = -0*v. Suppose -5*s = -v - 6. Is s bigger than p?
True
Let h(l) = -l - 2. Let y be 2/9 + (-4)/18. Let w be h(y). Let g be 8/5*5/(-10). Is g smaller than w?
False
Let k be 14/(-12) - -2*(-4)/(-48). Is -14/11 equal to k?
False
Let l(v) = v**3 + v**2 - 1. Let k be l(0). Let z be (-129)/(-12) - (0 + k). Let h = -12 + z. Is h greater than -0.1?
False
Suppose 0*i + i = -4. Let x be 45/20 + 1/i. Let m be 4 + (0 - (1 + 1)). Is x < m?
False
Let x be (1 + -9)/(1 - 0). Let c be x/(-28) - 0/(-4). Is 25 at most as big as c?
False
Suppose -q + 13 = 14. Which is greater: -10/13 or q?
-10/13
Let a(j) = -3*j**2 + 7*j - 4. Let l be a(4). Is l > -25?
True
Let z(k) = -k + 10. Let i be z(8). Suppose 4*q + i = -2*t, -5*t - 3*q + 0*q = -2. Which is greater: t or 2/11?
t
Let v = -0.1 + 0.5. Which is bigger: -1 or v?
v
Let d(q) = 3*q**3 - q**2 + 2*q - 1. Let b(l) = l**3 + l + 1. Let h be b(0). Let x be d(h). Suppose -x*v - u = -6*v - 5, v + 2*u = -4. Which is greater: v or 0?
0
Let w = 7 + -5. Let p(g) = g**3 - 4*g**2 + 4*g - 2. Let t be p(w). Let x be 2 - (3 + t/2). Is 1 at most x?
False
Let p = -91.43 - -93. Let s = -1.4 + p. Is 1 smaller than s?
False
Suppose -7 = 4*c - 5*a, 5 = -5*a - 0. Suppose -4*f - 11 - 5 = 0. Which is bigger: f or c?
c
Suppose t = -2*t + 6. Let n be t/(-1)*(2 - 1). Which is smaller: -0.1 or n?
n
Let x be (-4)/(-14) - (-10)/14. Let m = -46727/3 - -15330. Let d = m - -248. Which is smaller: d or x?
x
Let i(t) = -t**3 - 6*t**2 + 7*t + 3. Let j be i(-7). Suppose 0 = -s + j*s + 32. Which is greater: -15 or s?
-15
Let p(f) = -f**2 - 8*f - 8. Let j be p(-6). Suppose -2*l = -8 + j. Let y be 1/(-2)*l/3. Do 1 and y have different values?
True
Let h(g) = -g**3 - 4*g**2 - g - 1. Let a be h(-3). Let v = 5 + a. Which is greater: -1 or v?
-1
Let s = -11 + 12. Which is bigger: -4/17 or s?
s
Let l = 0.1 - 0.05. Let c = 8.3 + -10.35. Let f = l + c. Which is smaller: f or -2/3?
f
Let g = -34 - -20. Suppose -2*o - 4 = 2*t - 4*o, 5*t + 3 = -2*o. Which is smaller: g or t?
g
Let o(i) = i**3 + 7*i**2 + 5*i + 3. Let g be o(-6). Let n = g + -20/3. Which is smaller: n or 1?
1
Let l = -65 - -327/5. Let q be (2/4)/((-25)/50). Is q at least l?
False
Let n be (4 - -8*1) + 1. Which is smaller: n or 12?
12
Let j be 1*(-3)/((-3)/4). Let a be 24/11 + j/(-22). Which is smaller: a or 2/3?
2/3
Suppose 0 = 3*p + 4 + 5. Suppose -23 - 25 = -4*a. Suppose 4*n - 4 = -a. Which is smaller: n or p?
p
Let t = -205 + 211.11. Let d = t - 0.11. Is d at most as big as 1?
False
Let n(j) = j + 14. Let p be n(-10). Let g be 4/(-10) - p/(-10). Let h be g + (-3)/(-6) - 2. Is -1 greater than or equal to h?
True
Let p = -0.5 + 0.3. Let u = p - 0.8. Let b = -1.1 - u. Are 1/4 and b nonequal?
True
Suppose 7*r = 33*r - 390. Which is greater: r or -0.3?
r
Let x = -163 + 170. Which is greater: x or -0.02?
x
Let f(c) = -c**3 + 4*c**2 - c + 3. Let t be f(4). Let n be (t/(-3))/(7/42). Suppose -4*z + 15 = -5. Which is bigger: z or n?
z
Let r = -5 - -4.95. Let c = -0.05 + r. Let d(q) = q**2 + 5*q + 6. Let v be d(-4). Which is smaller: v or c?
c
Suppose 0 = 4*c - 62 + 18. Let o = c - 4. Let g = 11 - o. Which is smaller: g or 3?
3
Let f(n) = n**2 - 6*n + 10. Let i be f(3). Which is bigger: i or -3/8?
i
Let j = -11 + 12. Let b be (-8)/6*(j - -2). Which is greater: b or -2?
-2
Suppose -3*y - a + 22 = 0, -2*a + 5 = y - 9. Let g be y/21 - 5/(-7). Which is greater: -1/6 or g?
g
Let h(s) = 7*s - 7. Let c be 