or o?
-2
Let r(t) = t**2 + 7*t + 1. Let m be r(-7). Are m and 1/31 equal?
False
Let g be (-115)/(-25) + -1 + -3. Is 0 less than g?
True
Let g be (2/(-3))/((-4)/(-6)). Is g bigger than -3/10?
False
Suppose 12*n = 9*n - 24. Let s be 10/n + -4 + 5. Which is smaller: s or -1?
-1
Let b(s) = s**2 + 9*s + 3. Let l be b(-9). Let g(x) = -5*x + 4. Let v be g(l). Which is smaller: -12 or v?
-12
Let o = -1419/4 - -359. Which is greater: 4 or o?
o
Suppose -6*d = -d - 80. Suppose -13*x = -d*x - 3. Let t = 0 + -1. Are x and t nonequal?
False
Suppose 0*x - x = 5*c - 3, -3*c + 11 = -4*x. Let d = 2 + c. Suppose d*a + 1 + 5 = 0. Is a less than -2?
False
Let q(w) = w**3 - 4*w**2 + 2*w - 3. Let p be q(4). Suppose 2 = -t, 8 = 2*u - p*t - 0. Let x be -6*(-3)/22 + u. Which is bigger: x or -1/3?
x
Let p = -1/3107042 - 8002186589/254777444. Let t = p - 14/41. Let a = t + 32. Which is greater: a or 0.2?
a
Let a be -2 - -3 - 2 - 1. Let x be (4/10)/(a/10). Let z = x + 3. Are -2/5 and z non-equal?
True
Let p = -108908/3 - -2287414/63. Let j = -52/9 + p. Which is smaller: j or 1/4?
j
Let q = -0.1 - -0.6. Let t = -1.5 - q. Let h = -23.1 + 23. Are t and h non-equal?
True
Suppose -3*f + 169 - 106 = 0. Which is smaller: 65/3 or f?
f
Let g(x) = 6*x - 19. Let f be g(6). Is 17 <= f?
True
Let r(x) be the third derivative of x**6/120 - x**5/30 - x**4/6 + x**3/2 + 2*x**2. Let s be r(3). Which is bigger: -2/25 or s?
s
Let c(m) = m + 16. Let v be c(-10). Suppose -3 = -v*g + 3. Let k = -96 - -1249/13. Which is smaller: k or g?
k
Let x = 8 - 16. Let y be -3 + 3*(-1)/1. Let q = y - x. Is 3 < q?
False
Let v = 17 + -13. Let i be 1/(-3)*(-1 + v). Which is smaller: -2/3 or i?
i
Let h be (-4)/(-10) + (-417)/675. Let u = h + 11/25. Let f(q) = q**2. Let n be f(0). Which is smaller: u or n?
n
Let p be -1*(-1 - -30)*-3. Let g be (-3)/(-9) - 2083/(-24). Let v = g - p. Which is greater: 1 or v?
1
Suppose -16 = -4*v - 4*f, 6*v - 2*v + f = 7. Is 0 < v?
True
Let g = -98 - -492/5. Do g and -1 have different values?
True
Let r = 0.5 + -1.5. Let k = 1.1 - 0.1. Let g = k - r. Which is bigger: 1 or g?
g
Let k be (-26)/169 - (-29)/104. Which is smaller: -2 or k?
-2
Let x = -2.7 + 4.4. Is x < 1/3?
False
Let r = -43 + 24. Which is smaller: r or 0?
r
Suppose -2*p + 7*p = -200. Let d be (p/32)/((-1)/4). Suppose 24 = -g - d*w, g + 28 = -2*g - 4*w. Is -4 smaller than g?
False
Let g be (-2 + 16)*55/(-33). Which is bigger: g or -23?
-23
Let o = -5/23 - -53/138. Which is smaller: o or 0?
0
Suppose -5*n - 3*y = -39, 4*y + 13 = -5*n + 55. Suppose -3*m = -4*q + 35, 6*m = -5*q + 2*m + 36. Let s be (n/q)/(1/4). Is 4 > s?
True
Let j(q) = q + 9. Let z be j(-8). Let d = -3 + z. Do -5/2 and d have different values?
True
Suppose 3*u = y + 119, -4*u + 0*y - 4*y = -148. Which is bigger: u or 41?
41
Let u be 4 - (-2 + 4)/2. Suppose -u*i = 2*i + 5. Let r = -0.1 + 0. Are r and i non-equal?
True
Let r = -2 + 4. Suppose -3 = -r*j - 4*z + 1, 0 = -2*j - 2*z + 4. Which is smaller: j or 0?
0
Let y = -29618792317/2568 + 11533798. Let a = 2/321 + y. Suppose -3*d + 1 = -2. Is a greater than or equal to d?
False
Suppose -1 = -a + 1. Suppose 2*j = 0, 2*i - 2*j = 2*j + 6. Suppose -a*f - i = -5. Which is smaller: f or 2?
f
Let s = -116.18 - -114. Let x = 0.22 - s. Let g = x - 0.4. Is 2/7 less than or equal to g?
True
Let l = -34 + 34. Is l at least as big as 1?
False
Let q = 17 + -16. Are q and 5/11 non-equal?
True
Suppose 3*y = 33 + 150. Let i = -37 + y. Let n = -68/3 + i. Which is smaller: n or 0.1?
0.1
Let q be ((-4)/6)/((-8)/168). Let f = 22/3 - -7. Let r = f - q. Which is bigger: -2 or r?
r
Let l be (-4)/(-6) - 3/(-9). Let d = 1 - 4. Let f be l/((d*1)/(-3)). Are f and 1 nonequal?
False
Let a be -4 + ((-169)/(-21) - (-12)/42). Is 3 <= a?
True
Suppose -4*c + 0*c + 744 = 0. Let a be 6/33 + c/2002. Let x = a - -1/91. Is x less than 0?
False
Let p be 9/3 - -1 - 3. Suppose s = 3 + p. Suppose s*b + 0 = 12. Is 3 greater than b?
False
Suppose -2*n = -3*o - 20, -4*o + 2 = -6. Which is greater: 15 or n?
15
Let f be 2/(-9) - 8/(-36). Suppose f = -11*j + 10*j + 6. Suppose 0 = -3*a + 18 + 3. Is a < j?
False
Let w be 51/172 + 10/(-40). Is w > -1?
True
Let w = -2.1 + 2.15. Is -1 greater than w?
False
Let r = -0.16 - -0.02. Let o = 7.14 + r. Is 1 at most as big as o?
True
Let x = -33 + 34. Which is bigger: x or 2/189?
x
Let z(b) = 4*b - b + 0*b - 4*b + 5. Let d be z(3). Let w(l) = l**3 - 3*l**2 - l + 3. Let o be w(3). Which is smaller: o or d?
o
Suppose k - 4*i = 21, -8 = k - 4*k + i. Is 11 < k?
False
Let p = 5 - 9. Suppose 15 = 3*g, -2*y + g + 10 = -7*y. Are y and p non-equal?
True
Let o = 9.5 - 1.5. Let y = -2.9 + 3. Is y smaller than o?
True
Let x = -42 + 290/7. Is 0 smaller than x?
False
Let a(g) = -g**3 - g**2 - g + 1. Let c be a(0). Which is smaller: c or 4?
c
Let p(o) = o**3 + 9*o**2 + 3. Let k be p(-9). Let w be ((-2)/112)/(k/6). Let x = w + -13/28. Which is smaller: -3 or x?
-3
Suppose -3*n - 2*s = 8 - 33, 10 = n - s. Let c = -10 + n. Let b = -574/9 + 64. Which is smaller: c or b?
c
Let m = 0.3 + -3.5. Let t = 0.8 - m. Which is smaller: t or 0.2?
0.2
Let c = -8801/11618 + 57/74. Is -1 smaller than c?
True
Let h be (-20)/15 + (2 - 1). Suppose k - 11 = 2*k. Let b = -12 - k. Is b bigger than h?
False
Let v(k) = -3*k - 45. Let i be v(-15). Suppose 4*u + 3*c = -2*c - 5, 5 = -5*c. Suppose u*w - 3 = -3*s + 2*w, -2 = -2*s + 4*w. Which is smaller: i or s?
i
Let r be 1 - ((-2)/1 + 2). Which is smaller: 6 or r?
r
Let b = 8 - 14. Let r(p) = -3*p**3 - p - 1. Let s be r(-1). Let w be b*(0 - (-2)/s). Is w less than or equal to -1?
True
Let n = -23/15 + 6/5. Is 11 at least n?
True
Let u = 2/15 - 8/15. Is 3/5 <= u?
False
Let b = 19 + -6. Let x = -63/5 + b. Let c be 1*(-3 - (-8 + 4)). Which is smaller: c or x?
x
Let z(u) = 2*u**3 + 3*u**2. Let a be z(-2). Let g = a + 3. Is g != -1?
False
Let x be ((-3)/1 - -8) + -3 - -1. Which is greater: -8 or x?
x
Let u(b) = b**3 - 3*b**2 - 5*b + 2. Let l be u(4). Is l less than -3/4?
True
Suppose y + 9 = 4*a, -2*y - 36 = 2*y + 5*a. Is -9 smaller than y?
False
Let g be (2/(-3) - 0)/1. Let u(q) = -q**3 - 4*q**2 - 4*q - 3. Let j be u(-3). Let v be (j + -2)*1/(-6). Is g != v?
True
Let g be -4 + 6*2/4. Are -5/3 and g equal?
False
Suppose 5*i = -3*k - 6, -3*k + 5*i - i + 21 = 0. Suppose -2*m + 1 + k = 0. Let j be (m - 0)*-1 - 1. Which is smaller: j or -4?
-4
Let o = 4 - 0. Let h = 7 - o. Is 5 bigger than h?
True
Let v be (14/4)/((-2)/4). Suppose 4*o + 14 = 5*u - 33, 3*o - 2*u + 30 = 0. Is v bigger than o?
True
Let j = -2 - -2.02. Let k = j + 0.08. Let y = -0.9 - 0.1. Which is smaller: k or y?
y
Let h(b) = b + 2. Let c be h(3). Let g be 4*(c - (3 + 0)). Let p be ((-4)/g)/(8/6). Is -1 > p?
False
Let v be (1/2)/(2/(-4)). Let z be 9/10*(-130)/(-8). Let o = -15 + z. Is v less than or equal to o?
True
Suppose -2*k + 15 = -z, -2*k = -4*z - 0*k - 30. Which is greater: z or -6?
z
Let m = 48 + -33. Suppose 5*b + 3*j + 25 = 2*j, 0 = 3*b - 4*j + m. Let r be b/(-2)*2/40. Is r less than 1?
True
Suppose v + 5*d = -7, -2*v - 5 = 5*d - 1. Let m be (2/(-3))/(4/(-6)). Suppose -2*a + m = 5*r, v*r - a - 7 = -2*r. Are -1/5 and r equal?
False
Let c be (-1)/(((-27)/(-2))/(-3)). Which is smaller: -5 or c?
-5
Suppose 2 + 8 = -5*i. Which is bigger: i or -1?
-1
Let k(z) = z**3 - 4*z**2 - 6*z - 1. Let x be k(5). Suppose 2*i = -11 - 3. Which is smaller: x or i?
i
Let m = 2 - -5. Let g = -2.5 - -2.3. Is m less than g?
False
Let q = 6 + -5. Let u = q - 4. Is u smaller than -3?
False
Let b = -128 + 127.9. Let g = -0.01 - -0.41. Which is smaller: b or g?
b
Suppose i - 5*f = -88, 4*i + 228 = 2*f - 52. Is i smaller than -68?
False
Suppose 9 = 2*d - 13. Let y(r) = r**3 - 12*r**2 + 11. Let p be y(12). Are d and p nonequal?
False
Let y = 14 + -10. Suppose 0 = -a + y*p + 7 + 3, 5*a = -2*p - 16. Which is smaller: a or -3?
-3
Let v = 19.7 + -1.7. Let r = -15 + v. Is r < 0?
False
Let q be 2/(-4)*30/(-9). Suppose 2*w - 12 = -2*w. Which is greater: w or q?
w
Let f = 62 + -298/5. Are 1 and f unequal?
True
Let x = 1.1 + -1. Do 1 and x have the same value?
False
Let t = 5/79 + 854/237. Which is smaller: 3 or t?
3
Suppose 0 = -5*d + d - 2*f - 126, 49 = -d - 4*f. Is -29 at least d?
True
Let o = 1 + -0.8. Let v = 0.1 - -0.1. Let p = v - 0.1. Is p >= o?
False
Let l be (-20)/(-90) 