(-1)/(2/(-8) - b). Let d(t) = t. Let o be d(p). Which is smaller: o or 1?
1
Let r = -19 - -22. Let g = -1 + 2. Which is smaller: g or r?
g
Let k be -7 + 0 + 5/15*6. Which is smaller: k or -6?
-6
Let q = -9 - -23/3. Is q at most as big as -1?
True
Let c be 44/77 - (2 + (-24)/14). Is 0 smaller than c?
True
Suppose 16 = -3*n + n. Which is greater: -1 or n?
-1
Let v = -1.48 + -0.02. Let b = 2.4 + v. Let d = -1 + b. Which is smaller: -0.2 or d?
-0.2
Let h = -61 - -62. Is h bigger than 1/34?
True
Let g = 1.9 + -1.2. Let v = g - 1.1. Which is smaller: v or 1?
v
Let q be (-15)/2*144/90. Which is bigger: q or -10?
-10
Let q = -21 + 3. Which is smaller: -0.1 or q?
q
Suppose -2*j + 23 = 3*l + 5, 0 = -l - 3*j + 13. Suppose 0 - l = -u. Let h be (-2 - (-14)/u)*-2. Which is bigger: h or -2?
-2
Suppose 2*x + 4 = 3*x - u, x = -4*u - 16. Let k be 2/(-11) - (-6)/33. Suppose -4*f - f = k. Is f at most x?
True
Suppose -4*x = -5*g + x + 55, -3*g + 4*x + 38 = 0. Suppose 45 = -3*u + g*u. Which is greater: u or 14?
u
Let o = 2.5 - 3.5. Is 14 < o?
False
Let w = -21 - -22. Let h be (-1)/1 - 0 - 1. Let t be (h/18)/(2/(-8)). Is t < w?
True
Suppose 0 = k + 2*k - 9. Suppose 5*v - k*v + 16 = 2*g, 3*v = -4*g + 4. Let q = 4 - 8. Is v >= q?
True
Let s be ((-2)/1)/1 + 6. Suppose 0 = 5*z + 20, s*w = z + 4*z + 12. Is -7 not equal to w?
True
Let c = -128 + 127. Which is smaller: -3/38 or c?
c
Let d(v) = -2*v**3 + 2*v**2 + 2*v - 1. Let z be d(2). Let q = z - -2. Let n be 42/35*(-1)/3. Which is smaller: n or q?
q
Let g = -1/20 - -71/20. Is 3 smaller than g?
True
Let w(r) = r**3 + 4*r**2 - 6*r - 4. Let p be w(-5). Suppose 5*x = -5*g, -5*g = 4*x + 2 - 0. Let l = 4 + g. Is l bigger than p?
True
Let o(x) = -x**2 - 6*x + 5. Let i be o(-7). Let a be -1*(-1)/i*2. Are 1/8 and a nonequal?
True
Suppose -5*v = -10*v + 10. Let n be 4/2 + -4 + v. Let d = -1 + 1. Is d bigger than n?
False
Let h = 11 + -10. Let m = h - 0.64. Let n = m - 0.06. Which is greater: -1/4 or n?
n
Let q = -0.2 + -0.4. Let t = -0.4 + q. Is t >= 1?
False
Let d(k) = k**3 - 2*k**2 + k. Let b be d(1). Suppose b = -3*l - 2*l. Is 0 greater than l?
False
Let i be (2 + 1 + -3)/(-1). Suppose y - 2 + 4 = i. Which is smaller: -0.1 or y?
y
Let h(u) = 4*u - 3*u + 2 - 2. Let f be h(0). Let v = -3 - -4. Is f at least as big as v?
False
Suppose -4*f + 68 = 4*z, 5*f = 8*f - z - 43. Suppose -22 = -4*u + x, -45 + f = -4*u - 3*x. Let k = u + -5. Which is smaller: k or 4/7?
4/7
Let g = 1 + 1. Suppose -3*i - g*z = -1, 6*z = -3*i + z - 11. Which is greater: 4 or i?
4
Let k = 7 + -4. Suppose 3*w + o = -2*w + 21, -w - k*o + 7 = 0. Let g = w - 5. Is g >= 0?
False
Let z = -12.42 + -0.58. Do 7 and z have different values?
True
Suppose 4*h - 2*h + 1 = g, -5*h + 5 = 0. Suppose k = -8 + g. Is k smaller than -6?
False
Let d be (-16)/36*-3*3. Suppose -5*k = -5*p - 25, -k - 3*p - 2*p - 7 = 0. Is d at most k?
False
Let m = 16 - 10. Suppose 2*t = -t + m. Suppose 0 = 3*z - u - 3*u, t*z - 2*u = -2. Is -2 less than z?
False
Let z be ((-6)/(-9))/(4/6). Let s be (3 - 4)*z*5. Suppose 8 = -3*r - 10. Is r != s?
True
Let y(n) = n**2 - 5*n. Let l be y(6). Let g be (1/(-6))/((-2)/l). Is 3 greater than or equal to g?
True
Let u = -783 - -10191/13. Does u = 2?
False
Let a be (5 + -3)/((-1)/(-2)). Let z be a - 4/2 - 3. Is -2 less than z?
True
Let u = 0.86 - 0.51. Which is bigger: 2/3 or u?
2/3
Let g = 4 - 7. Let x be ((-2)/g)/((-1)/6). Are x and -3 non-equal?
True
Suppose -8*c = -5*x - 3*c + 15, 0 = -2*x - c - 6. Let u = 5.17 + -0.07. Let l = u + -5. Is l < x?
False
Suppose i - 2*s = s - 3, -2*i + 2*s = 2. Let a(d) = -d + d**2 + i*d**2 - 1 + 0*d. Let u be a(0). Is u greater than -1?
False
Let a be (-2)/(-7) - 136/(-14). Suppose -15 = 3*q - 2*h, -3*q - 4 = 2*h + 23. Let y = q + a. Is y greater than 4?
False
Suppose 0 = -l - l. Let p be 12/(-30)*2/4. Is p equal to l?
False
Let b be (14/(-4))/(5/(-10)). Let d be (-2)/b - 63/(-49). Is -1/5 greater than or equal to d?
False
Let s be (-216)/(-990) + ((-2)/(-11) - 0). Is s not equal to -11?
True
Let y be (-15474)/(-32)*3/(-9). Let d = -161 - y. Let z = -65/176 + d. Is z at most as big as 1?
True
Let u be (12/(-9))/((-2)/24). Suppose 3*c - 4 = -2*l - 0, 4*l = -2*c + u. Are c and -2 unequal?
False
Let b = 1/88 - -127/440. Is -0.1 bigger than b?
False
Let h be (-1)/(5/((-40)/36)). Is h <= -1?
False
Let r be (-4)/10*5/(-2). Let c = 4 - 6. Let p be (16/(-20))/(c/5). Which is bigger: r or p?
p
Let a(z) = -2*z**3 + z**2 - z - 2. Let r be a(-2). Suppose 7*x = -3*t + 2*x - r, -5*x - 50 = 5*t. Is t less than -15?
False
Let c = 9 - 5. Let x = 4 - c. Which is smaller: 1/18 or x?
x
Let h(b) = -10*b**3 + 4*b + 5. Let z(u) = 9*u**3 + u**2 - 3*u - 4. Let x(d) = 2*h(d) + 3*z(d). Let f be x(-2). Let j be (8/f)/(1/1). Which is smaller: -1 or j?
-1
Let x = 713/5 - 143. Which is smaller: x or 0?
x
Let b(s) = -5*s + 2. Let g be b(-1). Is g at least 8?
False
Let a be (-58)/(-18) + (-4)/18. Suppose -f = a*f. Let m be -5 + 3 + 14/9. Which is smaller: f or m?
m
Let r = 2 - -4. Let o(k) = -k**2 + k. Let a(j) = 8*j**2 - 3*j - 4. Let z(u) = r*o(u) + a(u). Let y be z(-3). Which is greater: y or 4?
y
Let q(w) = -2*w. Let k be q(-1). Suppose -4*r + 6 = -k. Suppose 31*c - 26*c = 10. Is c bigger than r?
False
Let v = -0.3 + -0.2. Let y = 0.07 - 0.37. Let g = v - y. Does g = 1?
False
Suppose 49 + 716 = 4*q + 3*p, 5*q - 958 = -2*p. Is 192 at most q?
True
Suppose d = -3*d. Suppose -2*r + 5 + 7 = d. Let h be (-4)/r - (-1)/(-3). Which is bigger: h or 0?
0
Let z be (-60)/50 - 1/(-5). Is z bigger than -2/7?
False
Let f = -11 - -12.85. Let u = f - -0.15. Which is greater: u or -0.1?
u
Let h(c) = c**2 + 3. Let s be h(0). Suppose -2*m - s*m + 10 = 0. Suppose l = v - 5, m*l = 5*l - 2*v + 10. Which is smaller: -4/7 or l?
-4/7
Let u be 102/182 - (-6)/39. Which is smaller: u or 1?
u
Let c = 1 - 0. Let n be 4/10*12/(-16). Let b = n - -41/70. Which is smaller: c or b?
b
Let a = 1 + -0.9. Which is smaller: a or -0.7?
-0.7
Let q be (-4)/14 + 45/35. Let t = 3 - q. Suppose t*o = -5*z - 25, -3*z = -2*o - 2*o - 11. Is -3 at least as big as o?
True
Let l(m) = -m**2 + 10*m - 6. Let v be l(14). Which is smaller: v or -61?
v
Let x be ((-9)/15)/(1/(-5)). Suppose -20 = x*j - 8*j. Let g be j + -1*2 - -1. Which is greater: 1 or g?
g
Let r = 188/3 + -63. Suppose 3*x = x. Which is bigger: x or r?
x
Let x(f) = -2*f**2 + 1 - f - f**2 + 7*f**2. Let n = 27 + -26. Let c be x(n). Is c <= 4?
True
Let s be (-6)/(-3) + 1/1. Suppose z + 5*m - 20 = -4*z, -12 = -s*z + 2*m. Let k be 2*(-2)/24*z. Which is smaller: k or -3/7?
k
Let a = -106 + 528/5. Is 0 <= a?
False
Let x = 0 - 0. Let k be x*(-2 - 6/(-4)). Which is greater: 2/9 or k?
2/9
Let r = -25 + 0. Let p = r + 77/3. Which is smaller: p or 1?
p
Let j = -145/2 + 5071/70. Is -1 smaller than j?
True
Suppose -y + 3*m - 1 - 4 = 0, -4*y + 2*m + 30 = 0. Which is smaller: 12 or y?
y
Let s = 1.3 + -0.3. Let x = -20.9 + 21. Is x > s?
False
Suppose u + p = 4*p - 15, 10 = 5*u + 2*p. Which is smaller: u or 9/5?
u
Suppose -5*l = -4*v - 15, -6 = v + 3*v - 2*l. Let b = 8.7 - 9. Is b not equal to v?
True
Suppose 6 - 2 = -l. Let x be -4 + -1*1 + 1. Is l equal to x?
True
Let t(c) = 37*c + 1. Let j be t(-1). Let a be 5/(-1)*j/(-15). Let u be (2/20)/(3/a). Are u and 2 equal?
False
Suppose 2*l - 5*p - 24 = 0, -5*p - 3 = 3*l - 14. Let v = l - 2. Which is greater: v or 4?
v
Let a(d) = 12*d - 1. Let t be a(1). Let j = t + -12. Which is greater: -2 or j?
j
Let o = 73 - 509/7. Which is smaller: o or 0?
0
Suppose 4*o + v - 2 = 0, -2*v = 4*o + 1 - 5. Which is smaller: 1 or o?
o
Suppose 5*u = 2*z + 2*u + 7, -5*u = z - 29. Suppose -3*x + z*x - 2 = 0. Suppose x*y = -y. Which is smaller: -1 or y?
-1
Suppose w - 87 = -26. Let i = w - -64. Let b be 1/(-4) - i/(-20). Which is smaller: 7 or b?
b
Let m = 0.5 - 5.5. Let f = -37 - -31.6. Let u = m - f. Which is greater: 1/2 or u?
1/2
Suppose -2*a = -a. Let y(o) = o**3 + 5*o**2 - 7*o - 5. Let j be y(-6). Which is smaller: a or j?
a
Let o(v) = -48*v**2 + 10*v + 11. Let s be o(-1). Which is bigger: -46 or s?
-46
Let c(b) = -4*b - 2. Let r be c(-2). Is r less than or equal to 16/3?
False
Let u = -6.8 + 8. Let m = 0.3 - u. Let n = 1 + m. Is 4 < n?
False
Suppose -2*t + 3*i - 11 = 0, 4*t - t + 7 = -5*i. Let d be ((-3)/t)/((-2)/24). Let w be (-16