(d) = 2*d + 1. Let h(i) = i - 1. Let b(l) = -h(l) + k(l). Let t be b(-6). Is -4 less than or equal to t?
True
Suppose 0*o - 4*o = 0. Suppose -2 = -p - o*p. Let j be (-11)/(-10) - 3/p. Which is smaller: j or -0.1?
j
Suppose 3*q - 2*q + j - 1 = 0, -3*q + 15 = -3*j. Let a = 6 - q. Is a not equal to 3?
False
Let q = -31 - -32. Which is smaller: -1 or q?
-1
Let r be (546/104)/(15/8). Suppose 0 = -3*i + 9. Which is smaller: r or i?
r
Let g(y) = y**2 + 6*y. Let s be g(-6). Let x(n) = -8 - 2*n**3 - 7*n + 2*n**3 + 8*n**2 - n**3 + n**2. Let p be x(8). Do s and p have different values?
False
Let c = -280 + 409. Let i = 1159/9 - c. Which is bigger: -1/4 or i?
i
Let l = 0.14 - -0.04. Let g = l + 0.02. Is -1 less than or equal to g?
True
Suppose 6*p - 14 = 10. Which is smaller: p or 0?
0
Suppose 0 = 20*g - 24*g + 8. Let x(u) = u**3 + 7*u**2 + 5*u - 5. Let y be x(-6). Which is bigger: y or g?
g
Let q be (-12)/8*(-4)/(-102). Which is greater: q or -1?
q
Let h = -0.03 - -0.1. Let m = 0.03 + h. Which is greater: 0.07 or m?
m
Let c(q) = q**2 - 2*q - 4. Let i be c(4). Suppose 0 = -i*y + 10 - 2. Does y = 2?
True
Suppose 0 = -6*b - 2*b + 344. Is -2 >= b?
False
Let a be 2*(55/10 + -4). Is a at most 2/15?
False
Let o = 12 - 13. Let r be (-30)/(-9) - (-12)/(-3). Which is smaller: o or r?
o
Let t = 928/7 + -10278/77. Let h be 33/(-21) + (-3)/7. Which is greater: h or t?
t
Let f = 17 - 2. Let j = -1 + 3. Let a be ((-5)/f)/(j/8). Is a at most -2?
False
Let v = 3 + 0. Let q be (0/3 + -1)*-16. Suppose 4*b - 6*b = -4*k + 8, 3*k = -b + q. Does v = b?
False
Suppose -2*w - 28 = 4*b + w, -3*w = -4*b - 28. Let k be (1/4)/(b/(-28)). Suppose k = 5*m + 6. Is -2/3 at least m?
True
Let l be 0/8 - 4/(-26). Which is smaller: 1 or l?
l
Let m = -25 + 25. Is m >= -1/2?
True
Let f(w) = -w**3 - 10*w**2 - 9*w + 2. Let d be f(-9). Suppose 0 = d*k - k - 3. Is k greater than 3?
False
Let p(t) = t**2 + 6*t - 18. Let v be p(-9). Which is smaller: v or 26/3?
26/3
Suppose -2*k - 22 = -0*u + 4*u, -4*u + 14 = -2*k. Let v(g) = g**2 + 6*g - 15. Let j be v(-8). Let a be (-3)/9*k/j. Do a and 2 have the same value?
False
Let l(v) = -v + 4. Suppose 5*i = 3*p + 2*p + 75, -2*i + 5*p + 39 = 0. Suppose i = 3*o + 3*k, 2*o - k - 6 = -1. Let n be l(o). Is 0 >= n?
False
Let l(f) = -f**2 + 2*f + 3. Let x be l(3). Let m = x - 5. Is -2 >= m?
True
Let k be (1125/(-70))/(-9)*8/10. Is 1 < k?
True
Let k(l) = 4*l - 16. Let d be k(4). Which is bigger: -8/13 or d?
d
Let z = 32 + -31. Suppose 15 = 3*o - 3*b, -2*o = -3*b + 4*b - 7. Suppose 0 = 2*y - y + 2*l + 2, -4*y + 4*l = -o. Which is greater: y or z?
z
Let k = -2 + -3. Let u be (1 - k) + 28/(-7). Let h(l) = -l**2 + 7*l - 3. Let y be h(6). Is y <= u?
False
Let q be (-2)/(-8) - 359/12. Let w = q - -30. Suppose 10 = 6*f - f. Which is bigger: w or f?
f
Let v(q) = 3*q**2 - 2*q + 2. Let h be v(2). Which is smaller: h or 11?
h
Suppose -5*u - 5 = -0*u. Suppose -4*a - 3 = -a. Let k = -1 - a. Which is smaller: k or u?
u
Let m(f) = -1. Let z(n) = -n + 7. Let u(l) = 3*m(l) + z(l). Let g be u(-2). Is g at least 4?
True
Let p = 14/3 - 31/6. Let n = 0.07 + -7.07. Let d = 4 + n. Is p at least as big as d?
True
Let d be 1*(-1 - 1) - (-4 - -7). Suppose -10 = 2*x + 3*x, -2*o - 4*x = 6. Let g = d - o. Is -6 at most as big as g?
True
Let x = 23 + -16. Do 1 and x have the same value?
False
Let b = 2191/6 + -364. Is b < 1?
False
Let b(d) = -d**2 + 3*d + 6. Let i be b(5). Is i < -5?
False
Suppose -o = 3*o - 16. Let y be ((-10)/6)/(2/6). Let i = y + 7. Is i at most as big as o?
True
Suppose 3*t - 5 = -2*t. Let w be (-2)/(-6) - (-9)/54. Which is bigger: w or t?
t
Let o = -6 + 6.2. Let p = o + 1.8. Let n = 0 - p. Which is greater: n or -0.1?
-0.1
Let k = 38.6 - 39. Which is greater: k or -3?
k
Suppose -7 = -4*u - 0*u + c, 3 = 2*u - c. Let p = u + 0. Suppose -4*d = -14 - p. Is d less than 3?
False
Let u = -1.03 + 0.03. Let a be (-26)/15 + (-2)/(-5). Which is smaller: a or u?
a
Let s = -8 - -9. Let t be 1/4 - 2/(-56). Which is bigger: s or t?
s
Let f = -13 + 8. Let t be ((-2)/f + 0)*10. Let n = -5 + t. Which is smaller: n or 0.2?
n
Let v = -0.6 + 0.56. Let u = -0.16 + 0.16. Is v bigger than u?
False
Let n(l) = -5*l - 10. Let o(s) = 4*s + 9. Let z(c) = -5*n(c) - 6*o(c). Let y be z(6). Let b = 4/39 + 22/39. Which is greater: b or y?
y
Suppose -16*t = -15*t. Is 1 < t?
False
Let k(o) = -o**2 + 3*o + 1. Let n be k(4). Suppose 0*b = b - 2. Suppose -6 = i + b*i. Which is greater: n or i?
i
Suppose -3*m + p + 698 = 0, -4*m = -0*p + 4*p - 952. Let b = m + -17315/74. Let v = 137/814 + b. Which is bigger: v or -1?
v
Let x be 2*21*(-1)/10. Which is smaller: -3 or x?
x
Suppose -q = 5*h - 3, q - 2*h + 3*h = 3. Does q = 2?
False
Let y = 2864/7 + -410. Which is smaller: y or -2?
-2
Let g = 0 + 0.09. Let m = -0.09 + g. Is m equal to 0?
True
Let b = 11 + -13. Which is greater: 0.2 or b?
0.2
Suppose -4 = -4*o, 4*o - 3*o = 2*a - 7. Suppose -5*g = 4*k - 2 + 12, 4*k + a = -2*g. Which is smaller: k or -1/4?
-1/4
Let r = -10 + 9.7. Is r equal to -27?
False
Let m = -1/2 - -109/18. Which is smaller: 7 or m?
m
Let z(t) = -2*t - 21. Let m be z(-11). Let b be ((-1)/(-5) + m)*-5. Which is bigger: b or -7?
b
Let a be (-7)/(-7) - 2/1. Let l be (a - -1) + (-70)/(-7). Let d = -7 + l. Is d >= 3?
True
Let f = -0.7 + -0.3. Let l = -15.7 - -1.7. Let v = -14 - l. Is v less than f?
False
Let q = 0 + 0.02. Let x = -79 + 81. Are q and x non-equal?
True
Let w be 3/(-18)*-29668 + -3. Let i = -4805 + w. Let z = -135 + i. Which is smaller: 1 or z?
1
Let b = 6.1 + -1.1. Let z = b + -5.4. Let f = 2.4 + z. Is f > -1?
True
Let c be (5/10)/((-2)/28). Is -7 <= c?
True
Let g(p) = -p**2 + 7*p - 5. Let f be g(6). Suppose 5*w = 4*l - 95, 2*l - 18 = 3*w + 27. Let x be (8/l)/((-2)/(-5)). Which is bigger: x or f?
f
Suppose 0*n + 3*n + 117 = -4*v, 73 = -2*n - v. Which is smaller: n or -37?
-37
Let i(j) = -j**2 + 5. Let h be i(0). Let q be ((-8)/h)/(8/(-20)). Let l(f) = f**3 - 2*f**2 - 2*f + 3. Let o be l(2). Which is greater: o or q?
q
Let w be (-1)/(22/36 - 2/(-9)). Which is bigger: w or -2?
w
Let b = -3 + 4. Let p be ((-4)/(b - 2))/2. Suppose -p*k + 8 = o, 0*o + 3*k - 12 = -2*o. Are o and 2/3 nonequal?
True
Suppose 0 = -2*s - 6*s + 8. Which is greater: 0 or s?
s
Let p = 4 + -6. Let l be -4*(0 - 3/(-18)). Which is smaller: p or l?
p
Let d = -4 - -4. Let t be 0 + (-1)/2*d. Which is bigger: -1/4 or t?
t
Let h = 7/132 + -303/44. Let i = 71/10 + h. Which is bigger: 1 or i?
1
Suppose 20 = 5*m, -3*l + 8*l = -3*m - 28. Let z = -11 - l. Let f(v) = -v**2 - 3*v - 3. Let p be f(-3). Is p at least z?
True
Let v be 3/(2/(-4) - 1). Let p = -6 - -11. Suppose 0 = p*u + 4 + 1. Which is bigger: u or v?
u
Let r be 4/3 + 124/(-90). Are r and 1 nonequal?
True
Let y = 11 - 6. Suppose -3*b + 2*a = -4, -2*b + 2 = -3*b + 4*a. Is b <= y?
True
Let c be 23/4 - ((-7)/(-28))/(-1). Is 4 at most c?
True
Let a = 348/65 - 26/5. Let h = 3/1043 + 9309/27118. Let t = h + a. Which is smaller: t or 1?
t
Let u = 25 - 25. Is u at least 12?
False
Suppose -3*t = -4*u + 8, 3*t - 8 = -3*u - u. Let r = -1 - t. Which is greater: 0 or r?
0
Let z = 150 - 155. Let d = 1/5 - 9/20. Which is greater: z or d?
d
Let u = 2 - 0. Let k(q) = 5*q**2 + q - 2. Let i be k(1). Suppose g = -4, -3*a + 9 = -i*a - u*g. Are -2 and a nonequal?
True
Let y be (-20)/250*5/3. Is y less than or equal to 1?
True
Let z be -7 + 5 - (2 + (1 - 2)). Which is bigger: z or -6?
z
Let t = 1.1 + -0.1. Let f = 0.9 - t. Let b = 0.08 - -1.92. Which is bigger: f or b?
b
Suppose 5*q - 29 = 3*o, -2*q = -7*q + 5*o + 25. Let g = -196.11 - -195. Let x = g - -0.11. Which is smaller: q or x?
x
Let h be (-6)/17*(-2)/6. Are h and 0 unequal?
True
Suppose -5*s = h - 4 - 18, 4*s = -4*h + 24. Suppose 3*z - 13 = 5*n, -h*z - 4*n = -0*n + 6. Let c = 9 + -6. Is c bigger than z?
True
Let k be 2/(-5) - (-8)/(-5). Suppose 2*p + 8 - 2 = 0. Is k greater than or equal to p?
True
Let t be (30/8)/(8/32). Suppose -3*f + 6*f = t. Suppose 5*b = 0, f*c + 6*b = 5*b + 10. Which is smaller: 1 or c?
1
Let c = 87/301 - -6/43. Is 0 at least c?
False
Let y = 193/597 - -2/199. Is y bigger than -5?
True
Suppose -5*p - 2*q - 110 = 2*q, -66 = 3*p - 5*q. Which is smaller: -24 or p?
-24
Let k = -16.9 + 17. Let l = k - 1.1. Is l > 2/17?
False
Let q = 0.3 - 0.14. Let r = q - 0.06. Is 