(-8). Let b be 8/(-36) - 4/(-99). Which is bigger: x or b?
b
Let n = -36.2 + 33. Let d = 0.2 + n. Which is greater: d or 1/3?
1/3
Let g(k) = -k**2 - 4*k - 1. Let x be (-4 - -4)/(4 - 2). Suppose x = 3*l + 2*n + 12, 5*l + 0*n = 2*n - 20. Let t be g(l). Which is smaller: t or 2?
t
Let y = -41 + 41.01. Which is smaller: 1 or y?
y
Let s = 13.01 - 13. Are s and -0.1 equal?
False
Suppose 0 = 4*b - 5*u - 19 - 7, 3*u = -3*b + 33. Which is smaller: b or 10?
b
Suppose 6*d + 72 - 24 = 0. Let x be (6/8)/(3/48). Let i = d + x. Is 5 != i?
True
Suppose -5*s = v + 11, 0 = 5*s - 4*v + v + 27. Let l = s + 5. Is 1 < l?
True
Suppose 3*s + 31 - 7 = 0. Let i be s/(-40) - 26/5. Which is smaller: i or -6?
-6
Let h(x) = 2*x + 5. Let a(p) = -p - 6. Let d(o) = 6*a(o) + 7*h(o). Let g be d(1). Is g >= 8?
False
Let s = 0.08 + -0.98. Let b = -1 - s. Let x = -2 - -1.9. Is b less than x?
False
Let q = -8.606 + -0.394. Let g be ((-4)/70)/((-3)/(-15)). Which is greater: q or g?
g
Let q = 39 - 14. Let x = -36 + q. Is -11 at least as big as x?
True
Let x = -17 + 22. Let p = x + -5. Which is smaller: 9 or p?
p
Let z be 4 + -2 - 2/2. Is z greater than or equal to 2/3?
True
Let d = -19 - -19. Let o = d - 0. Which is smaller: o or -2?
-2
Let n be 1 + (-5 - (-1 + -1)). Let h = n - -5. Suppose h*q + 2*q + 10 = 0. Which is bigger: -6/7 or q?
-6/7
Suppose 0*v + 2*v - 16 = 0. Do 7 and v have the same value?
False
Let k be (0 - (-8 + 5)) + -5. Let t(g) = -g**3 + 2*g**2 + 2*g + 2. Let p be t(-2). Let a = p + -44/3. Which is bigger: a or k?
a
Suppose 0 = -3*o - 2*o - 170. Let y be (-2)/4*(-4)/o. Is 0 not equal to y?
True
Let f be (-10)/(-15)*3/(-2). Let w be (1/2)/(f/4). Suppose -3*d + 9 = -5*o, 3*d = 4*o + 8 - 2. Is w at least d?
True
Let o = 1.3 + -1.6. Let x = o - 0. Which is bigger: -1/3 or x?
x
Suppose 0 = n - 10 + 6. Let c(g) = -g - 2. Let b be c(-5). Is b not equal to n?
True
Let j be (-3)/9 + 1 + -1. Suppose 2*g + 4*l = 2*l, -16 = -4*l. Which is greater: j or g?
j
Let l(h) = 2*h - 2. Let q be l(2). Suppose q + 16 = 3*b. Let j be ((-9)/b)/(3/4). Which is bigger: j or -1?
-1
Let q(s) be the second derivative of s**4/4 + s**3/3 - s**2/2 - s. Let p be q(1). Let m be (12/56)/(p/14). Do 2 and m have the same value?
False
Let z = 71/224 - 1/32. Let h(c) = -2*c + 3. Let m be h(2). Which is smaller: z or m?
m
Let z be (-16)/21 + (-4)/(-6). Is -1 at most as big as z?
True
Let j(n) = n**3 - 5*n**2 + 6*n - 2. Suppose r - 3 = 1. Let i be j(r). Is 6 greater than or equal to i?
True
Suppose 0 = -j - 0*j + 3. Suppose -3 = 2*h - 11, -4*h = -j*o - 31. Is -5 > o?
False
Let b = -2 + 1. Do -1 and b have the same value?
True
Let w(h) = h**3 - 4*h**2 + 3*h. Let u be w(2). Let t be (-2 - -1) + (-4)/u. Let c = -178/5 - -36. Which is smaller: c or t?
c
Suppose -5*i - o = o - 2, 6 = i - o. Suppose 4*m = 2*m + i. Let c = -666/55 + 61/5. Which is smaller: c or m?
c
Suppose z + o - 24 = -2*z, 4*o - 5 = z. Suppose -4*b - d = -z*b - 20, -2*b = -2*d + 12. Let j be 1 + b/6 + 1. Which is smaller: j or 1?
j
Suppose 0*q = -4*l + 5*q - 13, q - 20 = -5*l. Suppose 2*n + 3*o = -n + 3, 5*o = -l*n + 3. Which is greater: n or 7/4?
7/4
Let t be 4 + 0 + (-18)/5. Is 1 greater than t?
True
Let y be ((-153)/45)/(1/(-3)). Is y bigger than 10?
True
Let u be (-2 - 115/(-85)) + 1. Is u < 1?
True
Let t = -1.6 - -5.6. Let s = t - 3.99. Is -1 at least as big as s?
False
Let o be (-3 + 2)/(1/87). Let t = o + 432/5. Is t at least as big as 1/3?
False
Let p be (-5)/15 - 2*(-124)/6. Which is greater: 40 or p?
p
Let v = -30 - -25. Let d = -13 + 8. Do d and v have different values?
False
Let w = -1.4 - -1.5. Let k be 2*1/4*2. Let o = 1 - k. Which is smaller: w or o?
o
Let q be (-305)/460 - (-2 - -1). Let c = q + -2/23. Are 1 and c nonequal?
True
Let u be (30/(-5))/(-1) + -6. Suppose -f - 4 = -x, 4*x - 3 = 5. Which is smaller: u or f?
f
Let u be ((-12)/(-15))/((-36)/(-10) + -4). Which is greater: -0.14 or u?
-0.14
Let r = -3 - 3. Which is smaller: r or -7?
-7
Let d(p) = p**3 + 6*p**2 - 5*p + 2. Let n be d(-7). Let t be 0 - (2 - n/(-7)). Is t <= 2?
True
Let r = -37 - -61. Let p be 7/(-2)*r/(-42). Which is smaller: 6/5 or p?
6/5
Let i be ((-4)/(-3)*-3)/(-2). Let v be i/10 + 1/(-5). Which is bigger: -4/3 or v?
v
Let m(f) = -f**3 - 3*f**2 + f + 2. Let l be m(-3). Which is greater: -3 or l?
l
Let c = 3 + -12. Which is greater: -5 or c?
-5
Suppose -6*y - 18 = -3*y. Let k = -8 - -4. Which is greater: k or y?
k
Let n = -7.69 + -0.31. Do -0.1 and n have the same value?
False
Let b(q) = -q**2 - q + 0*q + 4 - 2. Let o be b(2). Let g be 3/(1/o*-6). Which is smaller: 1 or g?
1
Let p be 51/15 - 2/5. Let b(h) = h - 2. Let x be b(p). Which is greater: -1/4 or x?
x
Let h = -41 + 49. Is h greater than -2/5?
True
Let q be (-5 + (-11)/(-2))/((-1)/26). Which is smaller: -12 or q?
q
Let k = -1 + 11. Suppose 5*p + k = 3*n + 2*n, 4*p + 3*n - 13 = 0. Which is smaller: p or -0.1?
-0.1
Let h(t) = -t**2 - 4*t - 1. Let k be h(-4). Suppose 3*f - 5*f = -4. Let x be -1 + (4 - 3 - f). Which is greater: k or x?
k
Let j be -13 + (2 - (4 + -1)). Is -14 smaller than j?
False
Let j(h) = h - 4. Let a(n) = -2*n + 5. Let l(s) = 3*a(s) + 4*j(s). Let u be l(-1). Which is smaller: -2/23 or u?
-2/23
Suppose -5*m = 2*y - 20, 0 = -3*y + m + 3*m + 30. Let i be 1/y*(-1 + -3). Is -1/10 != i?
True
Let b be 4/(3/((-9)/(-21))). Is b < 0?
False
Let a be ((-44182)/8)/(14/(-130)). Let j = a + -51276. Let w = -45/7 + j. Is w smaller than 0.4?
True
Suppose 0 = 2*t + a, -2*a - 3*a = -5*t - 15. Which is bigger: 7/20 or t?
7/20
Suppose -6 = 2*i + f, 2*f + 1 = 3*i + f. Which is greater: 1/19 or i?
1/19
Let z = 6 - 8. Is z equal to -3?
False
Let d be (36/(-16))/((-2)/(-8)). Let g be -1 + 2 - d/(-7). Let p = -2 - -2. Is g != p?
True
Suppose 2*l - 2*k + 2 = -0, 5*l = 4*k - 2. Suppose l*a = -0*a - 2. Let t = 109/30 - 19/5. Which is smaller: t or a?
a
Let k = 1 + -2. Let s be ((-3)/(-5))/(k/(-5)). Suppose 0 = -0*u - s*u - 6. Is -2 greater than or equal to u?
True
Let z be (-4)/5*(-25)/10. Let c(o) = -o**3 + o**2 + 4. Let d be c(z). Which is bigger: d or 3/7?
3/7
Let f = -32 - -31. Which is smaller: f or -8?
-8
Let y = -6 + -2. Which is bigger: y or -6?
-6
Let i(s) = -s**3 + 3*s**2 + 2*s - 4. Let x be i(3). Are x and 4/3 unequal?
True
Let u = 1.27 - 1.3. Let j = 0.07 - u. Which is smaller: j or -3?
-3
Suppose 2*g = 8, -2*x + 0*x + 5*g - 10 = 0. Let f = 56 - 282/5. Which is greater: x or f?
x
Let r be ((-132)/(-28))/(-3) + 1. Which is greater: r or -2?
r
Suppose -2*r = -w + r - 14, -3 = -3*r. Is -10 equal to w?
False
Let c = 14 - 16. Is 2/21 > c?
True
Let h = 241/140 + -7/4. Suppose -3*k = -6*k - 3. Which is bigger: h or k?
h
Let z = 73/2 - 217/6. Which is greater: z or -1?
z
Let w = 0 - 0.1. Let p = -0.09 - -1.09. Let d = p + -2. Which is smaller: d or w?
d
Let i be (246/(-164))/(5/((-10)/(-12))). Is -2/87 bigger than i?
True
Let i = 2839/40 - 71. Which is greater: 0 or i?
0
Let p = 5 - 8. Let x = -1 - p. Which is greater: -1 or x?
x
Suppose -2*a + 16 = 6. Is 6 < a?
False
Suppose -4 = b - 7. Suppose -3*p + b - 6 = 0. Suppose -1 = 2*q - 3*q. Which is smaller: p or q?
p
Let x = 29 - 11. Suppose -4*s = -2 - x. Suppose 5 = 4*w + j, 5 - 10 = s*w - j. Is w <= 1?
True
Let m = 2 + -2. Let t = 1201/1010 - 9/101. Let r = -3/2 + t. Is r less than or equal to m?
True
Suppose 0 = 5*j - 5*d + 10, -6*j - 5*d = -j. Let o(z) = -z**3 + 3*z**2 + z - 3. Suppose -c = 4*h - 14, 0 = -3*h - 2*c - 2*c + 17. Let u be o(h). Is j != u?
True
Let d = -38 - -27. Do d and -10 have the same value?
False
Suppose -2*n + 5*n = -6. Let i(w) be the first derivative of 3*w**4/2 + w**3/3 - w**2/2 - w + 2. Let h be i(-1). Which is smaller: n or h?
h
Suppose -4*a = -0*a + 36. Are a and -9 unequal?
False
Let h(d) = d - 13. Let a be h(7). Is -6 less than a?
False
Let s = 18.07 - 18. Let k = 0.93 + s. Are k and 0 unequal?
True
Let z be 2/3*(-45)/(-10). Let g be 10/6 + 1/z. Let v(x) = -2*x + 1. Let n be v(1). Which is smaller: g or n?
n
Suppose 0 = -3*o - 3*n - 6, -1 + 13 = -5*o - 3*n. Let m = 0 + -2. Which is bigger: m or o?
m
Let b be (-4)/(-16)*4/5. Which is greater: -25 or b?
b
Let r be (-3)/(-6)*7/((-581)/(-4)). Which is greater: r or 0?
r
Suppose 0*v - v + 10 = -5*d, -4*d - 8 = -2*v. Is -4/5 at least as big as v?
False
Let r = -1 + 0. Let t(f) = -