= w - -6. Let j be 5 + -6 - 14/(-6). Are y and j equal?
False
Suppose 61*f - 65*f + 16 = 0. Are -1 and f equal?
False
Let b = -71.4 - 8.6. Do 6 and b have the same value?
False
Let d = -142 + 25. Is -118 at least d?
False
Let q = 0.016 + 4.984. Let m = 0.13 - -3.87. Is q at least m?
True
Let v be (-2 + (-8)/(-3))*390/(-52). Let b be (v/4)/((-55)/66). Is b bigger than 4?
False
Suppose 3*w = 15, -2*g + w + 5405 - 2224 = 0. Which is smaller: g or 1594?
g
Let f be (8/10)/((-24)/(-180)). Let l be (4/f)/((-16)/(-6)). Let h = 7 + -6.2. Which is bigger: h or l?
h
Suppose -4 = -10*c + 8*c, -2*c + 69 = -5*k. Which is smaller: k or -17?
-17
Suppose -207*b + 208*b = 111. Do b and 111 have the same value?
True
Suppose m - 4*b + 7 = 0, -4*m + 11*b - 13*b = -44. Which is smaller: m or 4?
4
Let v = -70.87 + 6.07. Let i = -65 - v. Is i bigger than -1.2?
True
Let f = -29/7 + 419/91. Let t = 0.05 + -0.03. Let q = t + 0.08. Which is bigger: q or f?
f
Let v = -921.36 + 921. Let z = -0.08 + 0.18. Is v less than or equal to z?
True
Let p = -1.4 - -2. Let m be (4/(-670))/(-1)*-5. Let n = 63/134 - m. Which is greater: p or n?
p
Let c = 36 - 24. Let l(q) = -20 + 18*q - 7*q - 10*q. Let w be l(c). Which is smaller: w or -7?
w
Suppose 0*o = -5*o, 2*o = 2*y - 198. Let i = y + -113. Is i smaller than -13?
True
Let o be (-2877)/(-575) + (-10 - -2) + 3. Is o < 0?
False
Let j = 261 + -255. Which is greater: j or 10?
10
Suppose 28*p - 33*p = -15. Suppose -g - 33 = -3*a - 4*g, 36 = p*a + 4*g. Is 5 < a?
True
Suppose 6*m - m - 45 = 0. Suppose -m = -3*z - 3*l, -2*z + 9 = z - l. Which is greater: 6 or z?
6
Let h = -24 + 12. Suppose -5*x - 34 + 829 = 0. Let a = x + -1433/9. Is a smaller than h?
False
Let x = 2/37 + -92/333. Let g = 0.04 - -3.96. Which is smaller: x or g?
x
Let k(r) be the first derivative of r**4/4 - 2*r**3 + 5*r**2/2 - 1. Let g be k(5). Is g less than 0?
False
Let i be (-9)/2*(0 - 10/15). Suppose 0*t = i*t - 3. Does -2/65 = t?
False
Let p(w) = -w**3 + 14*w**2 - 14*w + 18. Let k(t) = -4*t - 7. Let b be k(-5). Let l be p(b). Is 5 at most as big as l?
True
Let w = -30 + 60. Let h be (w/(-8))/((-15)/(-10)). Are h and -3 equal?
False
Let y(l) = 25*l + 49. Let a be y(-2). Which is smaller: a or -2/467?
a
Let z be ((-3596)/(-3594) - 1)/((-10)/(-30)). Is z less than 1?
True
Let y = -2626225 + 89278629/34. Let b = y - -383. Is 1 smaller than b?
False
Let b be ((-6)/4)/((-1)/66). Suppose -b = -2*g - 27. Let v be -3*(16/g)/4. Is v < -6?
False
Suppose 405*j = 411*j - 396. Are 65 and j unequal?
True
Let d = 11/49 + 3/49. Which is greater: -171 or d?
d
Let t = 0.67 - 9.07. Let x = t + 4.4. Which is smaller: x or -2/3?
x
Suppose 0 = 5*n + h - 66 + 24, 4*n + h - 33 = 0. Do 4 and n have different values?
True
Suppose 0 = 5*u - 5*r + 17 + 8, -4*r = 5*u + 52. Let g = 1.2 + -1.49. Let n = 0.29 + g. Is u greater than or equal to n?
False
Let i = -422.19 - -427. Let a = i - 11.8. Let d = a - 0.01. Is d at most as big as 0.1?
True
Suppose -102 + 96 = 6*l. Which is smaller: -8/49 or l?
l
Suppose 254 = -2*s - 4*j, -j - 4*j - 121 = s. Is -132 less than s?
True
Suppose -9 = j - 3*g, 6 = 2*j + j + 2*g. Let y be ((-15)/(-155))/(4 + -1). Is j smaller than y?
True
Let y be (6/8)/(2/8). Let b be (0 - y) + 4 + 2. Suppose -4*c - 16 = 2*p, -6 = 2*p - c + b*c. Do 0 and p have the same value?
False
Let x(m) = -m + 1. Let z be x(3). Let f = 4 + z. Let l(i) = 5*i - 21. Let w be l(4). Is f equal to w?
False
Let j(z) be the second derivative of -5*z**3/6 - 3*z**2/2 + 2*z. Let g be j(-5). Is g greater than or equal to 1?
True
Suppose 3 = 3*a - 6. Suppose 6 = 3*q, a*m + 36 = -2*q + 5*q. Is m >= -10?
True
Let z = 16219/15 + -1081. Let o(x) = 3*x - x**2 - 4*x**2 + 2*x + x**3 - 3. Let r be o(4). Which is smaller: r or z?
z
Let u = 56 + -41. Suppose -u = b - 2*t, t + t = 2*b + 28. Which is smaller: b or -16?
-16
Let r(l) = -2*l**2 + 2*l - 25. Let p be r(6). Let g = p + 70. Which is smaller: g or -17?
-17
Let m = -1/416 + 625/416. Let y(z) = -1 - z + 0 - 3. Let h be y(-5). Which is greater: m or h?
m
Let r(x) = 7*x + 67. Let p be r(-26). Which is smaller: -114 or p?
p
Let k = 0.11 - -1.89. Let x = k + -3. Let i = 1 + x. Is i less than -4?
False
Let d = 5/4 + -1. Let l be 12/(-54) - 11/(-9). Let t = -1 + l. Is d greater than or equal to t?
True
Let h(u) = -u**3 + 14*u**2 + u - 15. Let d be h(14). Is d < -3/68?
True
Suppose -4*f - 2 - 2 = 0. Let a be 7154/21168 + 6/(-16). Which is bigger: a or f?
a
Let x = 341 - 285. Which is bigger: x or 58?
58
Suppose 4*x = 3*a + 18, 1 = 2*x + x + 4*a. Suppose 0*z = 3*y + 3*z + 3, -z = 3*y + x. Suppose 0 = n - 2*n - 3*q + 10, -12 = -3*n - 3*q. Which is bigger: n or y?
n
Let n(q) = -q**3 + 4*q**2 + 12*q + 5. Let t be n(6). Suppose s - 2*v = 6, -2*v + t = -3. Is -1 at least as big as s?
False
Let f be 2*(60/88 - 10/55). Let z be -1 - f*(-1 + 0). Is z >= -2/607?
True
Let x = 16 + -13. Let n be (-1)/3*x/(-43)*-2. Which is greater: -2/5 or n?
n
Let u be (-3)/(-6)*(-2 - -8). Suppose 4*y = -5*k - 17, -2*y = y - u*k - 21. Is y bigger than 3?
False
Let p = -1145.14 + 1135. Let n = -0.14 - p. Let l = 8 - n. Is l >= 5?
False
Let z = -1562 + 1559. Let k = -1 + 4. Suppose 0 = k*t + t + 8. Which is greater: z or t?
t
Suppose -61*u + 62*u - 15 = -4*y, -3*y = u - 11. Is u smaller than -1/277?
True
Suppose -3*q = -8*q. Suppose q*s = 3*s - 6. Which is bigger: s or 1?
s
Let p be (-4)/(-1)*(-101940)/8512. Let l = p + 938/19. Let h = 7/4 - l. Is 1 >= h?
True
Let g = 279 + -278. Which is smaller: g or 7/27?
7/27
Suppose 57*y - 442 = 128. Suppose -2*h - t - 1 = -22, 18 = 2*h - 2*t. Does y = h?
True
Let c = -149 + 148.773. Let g = c + 0.027. Which is bigger: g or 11?
11
Suppose 9*v = 5*v. Let r(i) = -8*i - 4. Let d be r(-3). Let n = d + -19. Is n greater than or equal to v?
True
Let s = 1.4 - -0.5. Let o = s - 1.9. Is -1/4 <= o?
True
Let b = -1.87 - 2.13. Let j = -7 - -3. Let g = j - b. Are -11 and g nonequal?
True
Let h be (3/96)/(6/48*-4). Let l = 3 - 3. Which is greater: l or h?
l
Let f = 19 - 25. Let w be (-14)/(-3) - f/(-9). Which is smaller: w or 6?
w
Let v be (-16887)/(-40040) + (2 - (-17)/(-7)). Which is bigger: 1 or v?
1
Let o = 374 + -363. Which is greater: o or 9?
o
Let r(z) = 11*z + 670. Let h be r(-61). Which is bigger: 16/79 or h?
16/79
Let t be (-26)/(-16) - (-6)/(-3). Suppose 27*c + 4*s = 24*c + 7, 3*s - 2 = c. Which is greater: c or t?
c
Let b be 69/(-46) + 420/278. Are 0 and b unequal?
True
Let f = -587 + 463. Is -124 < f?
False
Let d be (-6548)/14 - 20/70. Let y be d/225 - 1*-2. Which is smaller: y or -1?
-1
Let f(o) = -40*o - 15. Let l be f(-4). Let n = l + -152. Which is smaller: n or -8?
-8
Let b be (-1)/(-4) + (-38)/(-16)*18. Is 42 at most b?
True
Suppose 4*d + 35 = 227. Is 50 > d?
True
Suppose 3 = -3*y, -3*y + 5 = -4*q - 8*y. Let w be 33/(-45) + 3 + -2. Let g = w + -8/5. Is q greater than g?
True
Suppose -2*m + 21 = 3*u, -6*m + 2*m + 37 = 5*u. Let k be ((-5)/(u/(-2)))/((-2)/(-3)). Are 4 and k unequal?
True
Let f = -40 + 40.12. Let r = -0.6 + -2.4. Which is bigger: f or r?
f
Let j = -14.86 + 715.86. Is 1 != j?
True
Suppose 3*n - 4 = 2, -4*a - 28 = -4*n. Let t be (396/10)/(36/(-180)). Let m = 195 + t. Which is smaller: m or a?
a
Let z be (4/(-12))/(3/(-18)). Suppose -z*h = -4*h - 12. Let c be 14/h*8/28. Does c = 0.1?
False
Let q be 2 - (-2)/(2 - 0). Suppose 5*k = n - 2*n + 38, 0 = -5*k + n + 32. Let b = 11 - k. Which is greater: b or q?
b
Suppose 0*p = -4*p. Suppose 0*l - 2*l = p. Let q be ((-2)/1)/(7 - (4 - -1)). Which is bigger: q or l?
l
Let h = -237 + 170. Is -68 smaller than h?
True
Suppose -2*o - 46 = -6. Do -8 and o have the same value?
False
Suppose 178 = 5*o - z, 4*o + z = 3*z + 140. Suppose 5*p + 5*q - 170 = 0, -5*q - 90 + 15 = -2*p. Which is greater: p or o?
o
Let a = 297/79 - 679675/180831. Are -1 and a unequal?
True
Suppose n + 4*i - 13 = 0, -2*n - i = i - 8. Let d = 38/11439 - 30143969/663462. Let k = d + 91/2. Do k and n have different values?
True
Let l = -26 + 224. Suppose -15*y + 9*y = -l. Which is smaller: y or 34?
y
Suppose 0 = -74*h - 4*h - 43446. Are h and 1 unequal?
True
Let f = 51 + -52. Is 164 less than or equal to f?
False
Suppose 4*a + 0*u + 4*u - 20 = 0, 3*u = -5*a + 15. Suppose a = 3*q + 16 - 7. Which is smaller: q or -4?
-4
Let p = 202.8 - 203. Wh