 - 36. Let m = -200/3 - x. Which is bigger: v or m?
m
Suppose 26 = -3*d + 5. Do d and -6 have the same value?
False
Let n be -2 + (-2 - (-5 - 2)). Suppose -2*v - 2 = -n*v. Let g be (-1 - (3 + -2)) + v. Which is smaller: 1 or g?
g
Let g = -10 + 7. Which is smaller: -2 or g?
g
Let b = 82 - 46. Is 34 less than or equal to b?
True
Let o be (120/(-27) - -4)/((-44)/(-6)). Suppose 0 = -k + s - 1, s - 6 = -3*k - 1. Is o less than or equal to k?
True
Let f = -55 + 55.23. Let c = f - 0.13. Do 0.2 and c have different values?
True
Let h = 0 + -5. Do -0.1 and h have the same value?
False
Let l = -69 - -141/2. Let z = -3 + 6. Suppose -3*j = o - 11, z = 2*o - 1. Is l >= j?
False
Suppose 10 - 12 = z. Are z and -2 unequal?
False
Suppose -n = -0*n + 2. Let k(d) = -d**3 + 7*d**2 - 2*d + 9. Let j be k(7). Is n <= j?
False
Let c(s) = -s**2 - 19*s - 32. Let z be c(-17). Which is smaller: 5 or z?
z
Let i = -20.9 - -20. Let p = -0.1 + i. Let q = -2 + 4. Which is smaller: q or p?
p
Suppose -2*s + 4*s = -4, 2*w - 4 = 3*s. Let h = -57/4 - -27/2. Which is smaller: h or w?
w
Let d = -0.3 + 0.8. Let t = d - 0.5. Let o = 3 - 2. Which is greater: t or o?
o
Suppose 5*g = 3*k + 29, 0*g = 3*k + g + 5. Let b be ((-2)/4)/((-6)/(-12)). Do k and b have the same value?
False
Suppose -3*i - 155 - 69 = -5*g, -i = -g + 46. Are 42 and g unequal?
True
Let q = -2 + 3. Let m = 6 - 17. Let j = -11.1 - m. Which is smaller: j or q?
j
Suppose -3*k - 18 = 2*x - 7*k, x + 3*k - 11 = 0. Let z(f) = -12*f - 6. Let i be z(-5). Let w be 1/(-3)*i/12. Which is smaller: w or x?
w
Let y be 5/(-7) + 64/(-28) + 2. Which is smaller: y or -5/11?
y
Let d(l) = -2*l - 2*l + 3*l - 4. Let n be d(-7). Let k(p) = p**2 - p + 1. Let h be k(0). Which is smaller: n or h?
h
Let d be ((-2)/188)/(1/2). Which is smaller: d or -1?
-1
Suppose 0 = 7*b - 5*b. Which is smaller: -4 or b?
-4
Let d be (20/(-15))/(4/(-6)). Let y be d/5 - 6/(-35). Let t be (2/6)/(1/3). Which is bigger: y or t?
t
Let d = -52/23 - -746/391. Which is greater: d or -1?
d
Let p be 1*(-2 - (-7 + 4)) - 0. Is p not equal to -5/14?
True
Suppose -4*r + 1 - 2 = q, -5*r - 5 = 5*q. Is r greater than or equal to 0?
True
Let p = -427 - -827/2. Is p greater than -15?
True
Let k = -1 - -2. Let r(h) be the first derivative of -h**4/2 + h**2/2 + 2. Let d be r(k). Which is greater: -2/5 or d?
-2/5
Let c(b) = b - 11. Let k be c(10). Let f = k + 2. Is f >= 0?
True
Suppose -2*l - 5*c - 3 = 0, -2*c = -3*l - 1 + 6. Let z = 8 - 5. Which is smaller: z or l?
l
Let b(z) = z**2 + 2*z + 2. Let a be b(-3). Suppose 0 = -5*d + a*q, -2*d + 2*q = -2*q. Are 4/5 and d non-equal?
True
Suppose 2*c = 0, 4*c - 21 = -0*g - g. Let q be 2 + (-3 - (-6)/g). Let a be 5/((-10)/4) - 0. Is a greater than q?
False
Suppose 0 = 4*f - 14 + 2. Let z be (-1)/(-3) + 4/(-12). Suppose -3*g + s = -z - 1, -2*s - 11 = f*g. Is g < 3/7?
True
Let v = -104 + 94. Which is smaller: -2 or v?
v
Let d be (-2)/(-5) + (-8241)/90. Let j = 146 + -55. Let x = d + j. Are 0 and x equal?
False
Let c = -6.8 + -1.3. Let w = -13 - -21. Let d = c + w. Is d greater than 5?
False
Let f = -1281439 + 16672512/13. Let l = 1063 - f. Let j = l - 128/143. Which is bigger: 0 or j?
j
Suppose -3*h + 16 = 3*r + 2*r, 4 = r + h. Let i be (1/2)/(2/4). Is i equal to r?
False
Let i = 0.09 - 0.39. Is 0.04 not equal to i?
True
Let t(x) = -x**2 - x + 2. Let o be t(0). Let d = o + -3. Let n be ((-3)/(-1))/(24/(-16)). Which is smaller: n or d?
n
Let s(y) = -y**2 + 2*y + 4. Let t be s(3). Is -1/4 bigger than t?
False
Let y = 6 + -5. Suppose -3*p + 2*h = -6, h - 3 = -2*p + y. Let k be (-1 - -4) + p + -8. Which is smaller: -2 or k?
k
Suppose -3*b + 0*b - 9 = 0, -b = 3*r - 3. Suppose -4*n = -r*n. Is n at least 4?
False
Let x = 4/247 + -1016/1729. Is x greater than or equal to -2?
True
Let r = -8 - -9. Which is smaller: 7/6 or r?
r
Let v be -1*(98/24 - (-36)/(-9)). Is v not equal to 1?
True
Let m = 1999 + -10101/5. Let n = 21 + m. Does -2/5 = n?
False
Let d(q) = -14*q. Let f(h) = -7*h. Let p(o) = -4*d(o) + 7*f(o). Let s be p(-1). Let m = -4 + -2. Which is smaller: m or s?
s
Let r = -4 - -12. Let f = 15 - r. Let s be 21/f + (-22)/8. Which is bigger: 2/5 or s?
2/5
Suppose 4 = 4*i - 4*g, 0 = -5*i + 2*g - 7*g - 15. Which is smaller: i or 1.7?
i
Suppose -3*q - 2*k = -k - 6, -9 = 2*q + 5*k. Let g = 444/65 + -68/13. Which is bigger: q or g?
q
Let o(b) = 3*b - 2. Let w be o(1). Do w and 2/59 have the same value?
False
Let b be -2 - 90/(-14) - (-51)/(-119). Which is smaller: b or 3?
3
Let n be (-6)/4*(-4)/15. Let u be (1 + 16/(-12))/((-1)/6). Which is bigger: u or n?
u
Let j = -11 - -6. Let c be 1/j*(-1)/12. Let t = c - 47/120. Which is bigger: -1 or t?
t
Let p = -11.4 - -7.3. Let t = 0.3 + 3.7. Let l = p + t. Are 0.1 and l unequal?
True
Let t = -2.04 - -0.04. Let h = 5.3 - 5.1. Is t != h?
True
Let d = -7.2 - -7.154. Which is smaller: d or -2/7?
-2/7
Let l be -2 - -7 - 1192/231. Let z = 4946 - 380847/77. Let q = l - z. Which is smaller: q or 0?
q
Let m = 5 + 3. Suppose l - 21 = -5*x - 5, -x + m = 5*l. Suppose 4 = -3*c - 2. Which is smaller: c or l?
c
Suppose 0 = -5*m + 2*m. Which is smaller: m or -1/41?
-1/41
Suppose 2*t + 14 = 6*t - 5*i, 5*i = 5*t - 20. Which is smaller: 4 or t?
4
Suppose 2*v = 5*b + 16, 5*v - 3*b = -2*b + 40. Suppose 15*p - 13*p = v. Is 4 at most p?
True
Let h be 3*-1*520/(-12). Let i be -2 + (h/(-12))/(-5). Let u be 13/6 - 2/12. Which is smaller: i or u?
i
Let g = 9.9 + -3.8. Let r = -6 + g. Is r at least -2?
True
Suppose 2*s = 5*d - 8, 1 - 6 = -2*d - s. Let h be 5/10 + 3/6. Which is smaller: h or d?
h
Suppose h + 6 = 4. Let j be (-4)/(-10) - (-10)/(-25). Let k = j + -1. Which is bigger: h or k?
k
Let m = -0.987 - -0.177. Is 0 at most m?
False
Suppose 3*q - 7 = 2. Let h(y) = -4 + 4 - y**2 + 2 - q + 8*y. Let n be h(8). Which is smaller: -3 or n?
-3
Suppose -5*i - 63 + 18 = 0. Is i > -10?
True
Suppose -f = 4*w - 6*f - 5, 3*w + 2*f = -25. Let d(r) = r + 7. Let n be d(-3). Suppose -o = n*o + 20. Is w smaller than o?
True
Suppose -5*b + p - 33 = 0, -10 = 3*b + 3*p - 1. Which is smaller: b or -2?
b
Let y = -0.119 - -0.019. Let r = 4 - -20. Let b = 14 - r. Is b >= y?
False
Let d = 2/71 + -217/142. Suppose 5*p + 0*p - 5 = 0. Suppose 32 = -4*n + 5*f, -p = 5*n + f + 10. Is n smaller than d?
True
Suppose -20*s + 18*s + 186 = 0. Which is greater: 94 or s?
94
Let z = 3.1 + -2.1. Is 12 less than z?
False
Let i = -0.151 + 0.151. Which is smaller: -3/10 or i?
-3/10
Let g(w) = -w + 2. Let t be g(-7). Suppose 2*f - 22 = -2*k, 0*f + 5*f + 3*k = 63. Let v = f - 15. Are v and t nonequal?
True
Suppose -4*w - 5*c = 25, -3*c + 5 = 4*w - 4*c. Which is smaller: w or -4/9?
-4/9
Suppose 0 = -3*f - 5 - 19. Let d(q) = q**2 - 10*q - 2. Let i(j) = 2*j**2 - 11*j - 3. Let z(k) = -3*d(k) + 2*i(k). Let r be z(f). Which is bigger: 3/7 or r?
3/7
Let h = -368 + 355. Let c = -4 + 3. Which is greater: h or c?
c
Let d = -5 - -5. Which is smaller: 0.073 or d?
d
Let a be -3 - 3*(-16)/12. Is -1/3 at most as big as a?
True
Let v = -6 + 8. Suppose 0 = -0*b + v*b - 2. Is -1/4 at most as big as b?
True
Let g = -16.2 + 12.2. Let i = -2 + 2.2. Let j = i + -0.2. Which is bigger: j or g?
j
Let m = -4 + 8. Let o(w) be the first derivative of -w**4/4 + 4*w**3/3 + w**2/2 - 3. Let v be o(4). Are m and v unequal?
False
Let a = 0.04 - 8.04. Which is smaller: a or -0.1?
a
Let l(u) = -u**3 - 11*u**2 - 17*u + 11. Let d be l(-9). Is d not equal to 2?
False
Let f = 17 + -14. Let i = 1 - f. Which is bigger: 0 or i?
0
Let b = 4 + -2. Let a(m) = -6 + m**3 - 10*m + 2*m**2 - m**2 + 7*m**2. Let v be a(-9). Is v less than or equal to b?
False
Suppose 0 = -3*v - 0*v + 3. Let i be (4/(-2) + -1)/(-2). Is i bigger than v?
True
Let q(t) = -t + 4. Let i be q(3). Let c(v) = -v**3 - 5*v**2 - 5*v - 4. Let h be c(-4). Let f = h - i. Is f >= -2?
True
Let k be (-92)/9 - 6/(-27). Let b = -13 - k. Are b and -3 equal?
True
Let f(r) = r - 4. Let y be f(5). Which is smaller: -2/105 or y?
-2/105
Let b = 28 - 16. Let p be 0/b - (11 + 0). Which is smaller: p or -10?
p
Let z = -37.08 - -37. Which is greater: z or 0.5?
0.5
Let z = 19.9 + -19.8. Are -1.14 and z equal?
False
Let l(a) be the second derivative of -1/2*a**3 + 0 + 1/12*a**4 + 0*a**2 - 2*a. Let r be l(3). Are r and 2/5 equal?
False
Suppose 40 = -m + 44. Let s be 12/(-54) + 