 r be -1 - 2*(-1)/1. Let j be 6/2 + r*-2. Is j at most m?
True
Let j = -2 - -16. Let o = j + -15. Which is smaller: o or 2/5?
o
Let k = 0.09 - -1.31. Let l = k + -1.5. Is 5 not equal to l?
True
Let d be ((-2)/(-2)*-1)/(2/4). Suppose f = 9 + 3. Let r = -25/2 + f. Is r less than d?
False
Let t = 1.1 - 1.1. Are t and 3 non-equal?
True
Let h = -23 + 12. Let s be h*(-4)/(-34) - -1. Let a = s - -7/17. Is 1 bigger than a?
True
Let k = -25/68 - -2/17. Which is bigger: k or 0.2?
0.2
Suppose -3*n - 3*g + 2 + 1 = 0, 4*g = 8. Which is bigger: n or -12/7?
n
Let u be (-2)/3 + 120/18. Which is greater: 3 or u?
u
Suppose 3*q + f - 6 = 0, 13 = 2*q - f + 4. Suppose -5*h + q*w = -w + 10, -3*w = -5*h - 15. Is -5 bigger than h?
True
Let r = 12 + -11.9. Is r smaller than 4/17?
True
Let c(u) = 3*u**2 + 1. Let j be c(1). Suppose 0 = -4*r - 4 - 12, 3*o = -j*r - 13. Suppose n + o = -0. Which is bigger: -1/3 or n?
-1/3
Let h = -59.33 - -66. Let u = 0.57 - h. Let k = u + 6. Is 1/2 < k?
False
Suppose -117 = -3*i + 5*o, -i + 2*o + 39 = 7*o. Are 39 and i equal?
True
Let n(c) = -c**3 - 3*c**2 - 3. Suppose o + o - 8 = 0. Suppose -o*j - 9 - 3 = 0. Let g be n(j). Which is greater: -4 or g?
g
Let z be 0*(-2 + 4 - 1). Let a = -20/3 + 7. Which is smaller: a or z?
z
Let q(z) = 6*z**2 + z - 4. Let u(h) = h**2 - h - 1. Let r(c) = q(c) - 5*u(c). Let n be r(-6). Suppose t = -n - 1. Which is smaller: t or 0?
t
Let l(v) = -v**3 + 7*v**2 + 10*v - 12. Let w be l(8). Suppose -25 = 6*u - 3*u + 5*h, -w*u - h = 5. Let r = -108 - -536/5. Is r smaller than u?
True
Suppose -5*c = -c + 24. Suppose -27 = g + 5. Let a be (c/(-8))/((-60)/g). Are -0.1 and a unequal?
True
Let l(k) = -2 - k + 0*k + 4. Let n be l(2). Suppose 0 = -z + 5*t + 21, n*z - 2*t - 6 = 2*z. Is 1 greater than or equal to z?
True
Suppose -2*h = -4*y + 2*h + 20, 0 = -5*y + 4*h + 30. Which is bigger: 9 or y?
y
Let o = -3 - 2. Let a = o - -5. Which is bigger: -1 or a?
a
Let v = 99/190 + -2/95. Let d = 0.14 - 0.01. Which is bigger: d or v?
v
Let v(h) = -3*h. Let n be v(-1). Suppose n*q = 3*o - 15, 0 = 4*q - 0*o + o + 5. Which is smaller: q or 0.05?
q
Let c = 459 - 3667/8. Which is smaller: 2 or c?
c
Let r be -6*((-3)/3 + 0). Do 8 and r have the same value?
False
Suppose 0 = -4*p - 15 - 5. Let r be (p + 6)/((-10)/(-4)). Which is smaller: 1/4 or r?
1/4
Let v = -0.3 - -0.2. Let n be ((-2)/(-4))/(5/(-10)). Which is bigger: n or v?
v
Let r = 7 - 7.3. Let n = 25.3 - 25. Which is smaller: r or n?
r
Suppose 3*r - 4*o + 12 = 0, -2*r + 0*r + 2*o - 8 = 0. Let t(g) = -g - 5. Let m be t(r). Is m at most -2?
False
Let v = 16 - 31/2. Let k(b) = b**2 + 5*b + 3. Let z be k(-3). Let r = -3 - z. Which is smaller: r or v?
r
Let x = 7 - 7.3. Is x at least as big as 2?
False
Suppose 4*j + 2*j - 138 = 0. Are j and 23 unequal?
False
Let t = 139 - 370/3. Let i = t + -15. Suppose 3*d = -d + 8. Is i at least d?
False
Let s be 6/4*(-16)/(-6). Let d = -2 + s. Suppose -b = -2*g + 4*b + 12, -4*b - 11 = -3*g. Is d != g?
True
Let g = 14471/8568 + -596/119. Let x = g + 7/36. Let d = -3 - x. Which is bigger: d or 1?
1
Let r = 211/3 - 71. Is r not equal to -0.3?
True
Let q(w) = -w**3 - 8*w**2 + 2*w + 9. Let r be q(-8). Let l(t) = -7*t - 8*t**2 - 2*t - 10 + 2*t**3 - 3*t**3. Let n be l(r). Is 5 less than or equal to n?
False
Suppose 2 - 3 = 5*j - 3*u, -5*j - 2*u = -9. Let w = 10832217/155 + -69885. Let q = 4/31 + w. Which is bigger: q or j?
j
Let o(p) be the second derivative of -p**3/6 - 5*p**2/2 + p. Let a be o(-6). Are a and 2/7 equal?
False
Let s = 5.44 - 5.5. Is -0.05 bigger than s?
True
Let s(l) be the third derivative of l**6/120 - 7*l**5/60 + 5*l**4/24 + 4*l**3/3 - 2*l**2. Let h be s(6). Which is smaller: 1 or h?
1
Let w = 1.4 + 2.6. Is -2/7 <= w?
True
Let b = -12185 + 84283/7. Let a = b + 144. Does 0 = a?
False
Let y = -13 + 12.35. Let h = 0.5 + y. Let q = -0.05 - h. Which is greater: -2/21 or q?
q
Let w be (-1)/36*(-16)/14. Let a = w - -431/315. Let n = 5 - 4. Which is bigger: n or a?
a
Suppose -57*s - 17 = -58*s. Is s equal to 17?
True
Let p = 0.2 + -0.3. Let g = -5.4 + 3.3. Let x = g + 2. Is x greater than p?
False
Suppose -4*y = -3*y. Which is smaller: y or -4/9?
-4/9
Let j = -98 + 153. Suppose -i = 4*i - j. Let k = -8 + i. Which is greater: 4 or k?
4
Suppose 4 = -4*n + 3*r - 4*r, -2*r - 8 = -n. Let j be (-26)/60 - (-2)/(-5). Which is smaller: j or n?
j
Let o = -2.2 + 2.4. Which is greater: 0.4 or o?
0.4
Suppose -3*p - 4 = -p. Let g be p/(-5) - (-4)/(-10). Is -4/11 less than g?
True
Suppose -2*g - 2*j - 56 = -3*j, g + 5*j = -6. Which is greater: -27 or g?
g
Let x be 2/6*3*2. Let m be (1/2)/(1/x). Let g = 3 - m. Is g greater than or equal to -1?
True
Let r = -3 + 8. Suppose 2*a + 2 = 2*z + 4*a, -r*z - 2*a = -5. Let c = 3 - 1. Is z less than c?
True
Let l = 29 - 45. Let x = l - -20. Let m = 0.2 + 0.8. Do m and x have different values?
True
Let u = -16 + 18. Which is smaller: u or -2?
-2
Let t(d) = -3*d - d + d**2 + 0*d. Let m be t(4). Suppose 4*v = -m - 4. Is -2 less than v?
True
Suppose -5*g - 2*i - 7 = 0, -4*g - 5*i = -g + 8. Let u be 8*(1/g + 2). Suppose 0*l - 5*t = -2*l + 4, -4*l + 20 = -4*t. Which is smaller: l or u?
l
Suppose -j + 1 = -2. Suppose -j*d - 8 = -4*o, o - 2*d - 3 + 1 = 0. Is -0.3 at most as big as o?
True
Suppose -2*i + 2*f - 6*f = -24, -2*i = -3*f + 4. Suppose -d + 15 = i*d. Suppose -6*x + d*x = 0. Which is greater: x or -1?
x
Suppose 0 = -5*h - 153 + 153. Is -6/31 smaller than h?
True
Let d = 231/20 + -43/4. Let g = 32 + -17. Suppose 0 = -5*o - 3*j - g, -4*o = 2*j + 3*j + 25. Are o and d non-equal?
True
Let s(j) = -j**3 + j**2 - j + 4. Let d be s(0). Suppose 5 = d*c - 0*q + 3*q, -q - 1 = 0. Suppose 4*o + 13 = 5*p, -o + 13 = c*p - 0*p. Which is smaller: o or 1?
1
Let k be 2/(3330/2053) + -1. Let v = k - 2/185. Which is bigger: -0.1 or v?
v
Let u = -271160 - -1903407/7. Let l = u + -754. Let y = -109/63 + l. Which is greater: y or -1?
y
Let t be (-3)/(-4) - 5/28. Let g be -4*(2 + 9/(-4)). Which is smaller: t or g?
t
Let y be ((-8)/28)/(6/14). Let u = -10 - -8. Which is smaller: y or u?
u
Let b = -16 - -82/5. Let z = -11 + 10. Which is smaller: z or b?
z
Let r = -6.357 + -0.043. Is r greater than or equal to 1?
False
Let n(t) = 7*t**2 + t. Let o be n(2). Let m be -10*(-3)/(-6)*1*-1. Let p be (m/(-12))/(10/o). Which is smaller: p or 1?
p
Let s be (-21)/14*8/(-3). Suppose -1 - 3 = s*g. Is -2/11 != g?
True
Let p = 0.12 - 5.12. Let d = p + 6. Let v = d + -3. Which is smaller: v or -2/7?
v
Suppose -8*p - 26 = -6*p. Is -13 < p?
False
Let p(i) = -2*i**2 - i - 1 + i**2 + 6*i + 0*i. Let c be p(3). Is 5 bigger than c?
False
Suppose -o = 3*o - 60. Which is smaller: 14 or o?
14
Let c = -0.98 + -77.02. Which is bigger: 1 or c?
1
Suppose 4*z = 17 - 17. Which is bigger: 1/13 or z?
1/13
Let n(m) = 5*m**2 - m + 1. Let u be n(1). Suppose 2*r + 6*y - 12 = 2*y, -u*y + 4 = -3*r. Are 3 and r nonequal?
True
Let z(a) = a**2 - 9*a + 6. Let s be z(9). Suppose s*q = q - 25. Let o = -7 + 1. Are o and q nonequal?
True
Let f = -0.04 - -1.14. Let r = 1 - f. Let p = -3 + 3.1. Which is smaller: p or r?
r
Let s = 11 + -11.8. Let g = 4 + -4.2. Let f = g + s. Is f < -1?
False
Suppose 4*d + 20 - 8 = 0. Let s be (-2 - -3)*-2 + -2. Which is greater: s or d?
d
Suppose -v = v + 5*s - 26, -5*s + 20 = 0. Let c be v/(-9)*6/8. Which is smaller: c or 3?
c
Let b(m) = m**2 - 5*m - 8. Let x be b(6). Let s = -4 - -2. Is x <= s?
True
Suppose 0 = -4*r + 2*b - 36, -3*r = 5*b - b + 38. Is r greater than -11?
True
Let b = -19/15 - -16/15. Is b <= 4?
True
Let d be (-6)/33 + 12/66. Are 0 and d non-equal?
False
Let i = 78 - 82. Which is bigger: i or -6?
i
Let a be ((-12)/(-10) + 0)*5. Let k = a + -33. Let m be k/(-9) + -1*2. Is m >= -2?
True
Suppose 0 = -3*l + 2*w - 7*w + 17, 13 = -5*l + 2*w. Does l = -3/10?
False
Let y = 15 + -38. Which is smaller: y or -24?
-24
Let a(f) = f**3 - f**2 + f + 1. Let k be a(-1). Let b be (-9)/42 - 1/k. Which is bigger: b or 1?
1
Suppose -3*t + 2*x + 1 = 0, 2*t + 3*x - 7*x = -10. Suppose 0 = p + v, 0 = 3*p - v - 4*v - 24. Let y be (-1)/(-5 + 1 + p). Which is greater: t or y?
t
Let j = -65/19 + -25/76. Which is smaller: j or -4?
-4
Let p be (-6)/(-3 + 0 + 2). Suppose v + p = -v. Is -2 greater than v?
True
Let p be -1*(0/4 - 1)*1. Is p greater than or equal to -0.02?
Tr