 5*u - 10 - 15 = 0. Suppose -1 - u = -3*o. Suppose 0 = o*g + 10 - 4. Is -3 < g?
False
Let i = -1.02 - -1. Let s = -0.08 - i. Let u = -0.16 - s. Is 0 less than or equal to u?
False
Let n = 27 - 26.9. Which is greater: n or -1/8?
n
Let o(w) be the first derivative of -w**5/120 + w**3/3 - 1. Let i(q) be the third derivative of o(q). Let a be i(-1). Is -1 less than a?
True
Let b = 4052670/13 - 311481. Let r = -263 + b. Let k = -0.9 + 1. Which is smaller: k or r?
r
Suppose 5*m + 12 = -18. Let i(w) = w**3 + 7*w**2 + 4*w - 5. Let p be i(m). Suppose p*q + 10 = 2*q. Is -2 less than q?
False
Suppose -4*u = u - 0*u. Are 4/5 and u equal?
False
Suppose 0 = v + 4*b - 2 - 14, 4*v + 5*b - 20 = 0. Let f = 1 + v. Let t(w) = 6*w**3 - w**2 + w - 1. Let a be t(f). Do 5 and a have the same value?
True
Suppose -10 = -7*t + 2*t. Suppose 2*u = -3*r + t, 0 = 2*u - 5*r - 1 - 1. Let p = 3/70 + -79/210. Which is smaller: p or u?
p
Let y = 2 + 0. Suppose b = -3 + y. Let h be -1 + -2 + 2/b. Which is bigger: -1 or h?
-1
Let y be (-2640)/1050 - 2/7. Is 1/2 greater than or equal to y?
True
Let h(i) = -2*i**3 - 5*i**2 - 2*i + 1. Let o be h(-1). Which is smaller: o or 5.1?
o
Suppose 3*s - 257 - 46 = 0. Suppose -3*h = u - 27, -4*u - 2*h = 3*h - s. Let m be u/(-330)*(-10)/(-4). Do -1 and m have different values?
True
Let v = -5 + 9. Suppose 5*p + t - 81 = -15, -v*p = 4*t - 56. Which is smaller: p or 12?
12
Let y be (-10)/(-8)*-2*-2. Suppose 3*n - a = 3, 2*a + 5 = y*n - a. Which is greater: -1/7 or n?
n
Let f be 5/((-60)/548) - -2. Let r = f - -44. Let s = 0 + 0. Which is smaller: s or r?
s
Let n = -0.9 - -1. Which is bigger: -22 or n?
n
Let v(k) = 2*k**2 - 3*k + 1. Let c be v(2). Suppose 5*i = c*l - 55, 1 = 3*i + 5*l - 0*l. Which is bigger: -9 or i?
i
Suppose 6 = -28*p + 25*p. Which is greater: p or 0.04?
0.04
Let q be ((-224)/(-12))/4 - 4. Let h = -0.9 - -1. Is h greater than or equal to q?
False
Let p = 47/57 + -3/19. Which is smaller: 2/7 or p?
2/7
Let j = -7 - -6.7. Let w(r) = -6*r**2 + 1. Let i be w(-4). Let z = 477/5 + i. Which is smaller: z or j?
j
Let d = 6 + -5. Let o = d - -1. Is 2 at least as big as o?
True
Let v = 7 + -7.1. Let b = -0.2 - v. Which is smaller: -0.2 or b?
-0.2
Let u = -18 - -19. Which is smaller: -6/19 or u?
-6/19
Let o be (5/45)/(1/(-2)). Are o and 2/61 unequal?
True
Let n be (-507)/468 + (1*-1)/4. Is n > 0?
False
Suppose -8*m - 1 = -17. Suppose -2 + 14 = -4*g. Let z = m - g. Is 4 not equal to z?
True
Let c(o) = -o**2 + 2*o + 1. Let g be c(2). Do 2 and g have different values?
True
Suppose y - 5*w = -23, 7*w - 4*w = -5*y + 25. Which is greater: 8/9 or y?
y
Suppose 3*d = -d + 16. Let m = d - 0. Are m and 4 non-equal?
False
Let z = -215 - -305. Which is smaller: 92 or z?
z
Let w(l) = l + 7. Let n be w(-4). Suppose 0 = -5*p + u + 6, 2*u - 6 = n*p - 2*p. Are 2 and p non-equal?
False
Let j be (-128)/(-154) + 4/(-14). Let l(d) = -7*d - 3*d**3 + 1 + 8*d + 2*d**3 - d**2. Let q be l(0). Is j bigger than q?
False
Suppose 3*j - 2 + 3 = 2*v, -3*v = -3*j. Are v and -1/49 unequal?
True
Let k(a) = -a**2 - 16*a + 12. Let j be k(-13). Suppose 5*d + j = 11. Let z = 8 + d. Is z at most as big as -3/13?
False
Let p = -107 - -106. Let v = 0.1 - 0.2. Is v >= p?
True
Let u be 10/(-35)*15/(-2). Which is greater: u or 1?
u
Suppose 0 = 3*n + 2*n. Which is bigger: n or 6/5?
6/5
Let y = -4 - -5. Let f(w) = w - 2. Let d be f(y). Is -4 >= d?
False
Let f = 4.07 - 0.07. Let z be 4/(-18) - (-50)/(-18). Let s = z + 2. Is f bigger than s?
True
Let q = 2.3 - 2.2. Is q >= 2?
False
Let w = 3.2 + -0.4. Let k = w - -0.2. Is k < 2?
False
Let t(w) = w**3 + 5*w**2 - 6*w + 2. Let p be t(-6). Let g(y) = -y**2 + 2*y**p - y**3 - 8*y**2. Let b be g(-7). Is -1 > b?
False
Suppose 2*y = 2, 22 = 5*o - 5*y + 2. Let q(r) = -4*r - 1. Let i be q(-1). Which is smaller: i or o?
i
Suppose 4*v - 3*v = 0. Suppose 0 = -h + 2*w - 6*w + 8, 2*h + 2*w + 2 = v. Let i be (-2)/8 + 22/(-8). Is i at least h?
True
Let p = -6 + 15. Let a be (p/6)/(-14 - 1). Is -0.1 less than a?
False
Let x be 2*((-83)/16 - 5/(-1)). Let j(d) = -d**2 - 3*d - 3. Let g be j(-2). Which is bigger: x or g?
x
Let q = -1.01 + 3.16. Let j = q + -0.15. Is j equal to -4/9?
False
Let g(j) = -j + 37. Let q be g(26). Which is smaller: q or 10?
10
Suppose 5*t + 0*c - 5*c = 0, t = 3*c - 10. Suppose 0 = -5*o - 4*v + 2, 0 = o - t*v - 8 - 4. Which is bigger: 10/9 or o?
o
Let z(l) = -l**3 + 6*l**2 - 4*l - 2. Let y be z(5). Suppose y*j - 8 - 1 = 0. Let a = -2 + j. Is a less than or equal to 2?
True
Let l = 2648/184815 + 2/4107. Which is smaller: -1 or l?
-1
Let h = 7 + -8. Is h >= -15?
True
Let a be (-885)/24*2 - 2. Let s = a + 74. Which is bigger: -3 or s?
s
Let p = -250 + 2248/9. Let q be 2/(-7) - 4/(-14). Do p and q have the same value?
False
Let f be (-1)/(1 - (0 - 3)). Let u = -2.1 - -0.1. Let q = u - -1. Which is smaller: f or q?
q
Let t(u) = u**3 + 17*u**2 + 32*u + 20. Let o be t(-15). Is -7 less than o?
False
Let i(l) = l**3 + 6*l**2 + 2*l + 6. Let b be i(-6). Let g be 1 + (-10 - -2) + 2. Is b bigger than g?
False
Let c = -3 - -2. Let j be 25/75 - (-32)/(-6). Which is bigger: c or j?
c
Let z(v) = v**3 - 15*v**2 + 26*v + 12. Let k be z(13). Is k at most as big as 10?
False
Let s = 2 + -2. Let n = -8.4 - -1.4. Let i = n - -7. Is i at most as big as s?
True
Let b(o) = -o**3 - 8*o**2 - 5*o + 15. Let g be b(-7). Do 10/7 and g have the same value?
False
Let m = -3.05 + 0.05. Let x = 2 + 0. Is m < x?
True
Suppose 3*y - 5*y = -6. Suppose y*a = 60 - 12. Let x be (9/(-12))/((-66)/a). Is x smaller than 1?
True
Let z be (0/2)/(1 + 0). Suppose 0 = 5*a - 25, -3*v - 2*v + a + 5 = 0. Suppose -v*k + k = -1. Are z and k unequal?
True
Suppose -r + 4*g = -12, -5*g + 3*g - 12 = r. Is r <= 5?
True
Let o be (-1)/(-1) + 1 + -3. Is o equal to 3/16?
False
Let b(h) = -3*h - 15. Let r be b(-5). Are -2/11 and r non-equal?
True
Let x be (-13 - -13)/(-2*1/(-2)). Which is bigger: x or -1/32?
x
Suppose -b + 17 = -o - 5*b, -3*o - 5*b - 16 = 0. Which is bigger: 0 or o?
o
Let d(a) = -a**3 - 9*a**2 + 9*a - 14. Suppose -3*b - 4*n - 14 = 0, -3*n - n - 34 = 5*b. Let k be d(b). Which is greater: -5 or k?
k
Suppose 3*f = -3 - 3. Let b be -1*2 - 1/f. Suppose 2*n + 2*r - 4 = 0, -n - 4*n + r = 14. Which is greater: b or n?
b
Let s = -7 + 14. Let r = s + -7.2. Are -0.2 and r non-equal?
False
Suppose 7*f + 14 = -5*r + 4*f, -2*r - 17 = 5*f. Which is smaller: 1/43 or r?
r
Let n be (1 - -9) + -2 + 4. Are n and 11 unequal?
True
Let u be (6/18)/(1/9). Is u smaller than 3?
False
Let r(y) = 6*y. Let z be r(-1). Which is smaller: 1 or z?
z
Let x(t) = -4*t**2 - t. Let f be x(-1). Let y be (f - -1)*(-2)/(-4). Let p be (1/(5/10))/((-6)/(-1)). Is y greater than p?
False
Let c = -81 + 79.94. Let f = -0.06 - c. Which is greater: 3 or f?
3
Let c = 3 - 2. Let o = c - 1. Let r = -0.49 + 0.29. Which is smaller: r or o?
r
Let m = -70 + 60.2. Let v = m + 10. Is 0.02 greater than v?
False
Let u = -0.18 + -0.82. Let i = -4 - -3.9. Which is greater: u or i?
i
Suppose 2*i = -i + 72. Let a = 218/9 - i. Which is bigger: 1 or a?
1
Let s be (4/636)/(4/(-12)). Is s bigger than -1?
True
Let d = 4737445/78 - 60738. Let f be 348/(-117) - (-5 + 2). Let j = d + f. Which is smaller: -2 or j?
-2
Suppose 4*z + h - 5 - 4 = 0, 5*z - 2*h = 21. Let l = 6 - z. Suppose 0 = l*p + 2*p. Which is greater: -1 or p?
p
Let a = -35 + 34.9. Which is greater: a or -23?
a
Suppose 0 = -3*x + 5*w + 3 + 15, 5*w = 5*x - 20. Which is smaller: 0 or x?
0
Let d be (3/(-3))/((-1)/(-4)). Let k(q) = q + 2. Let y be k(d). Which is smaller: y or -4/7?
y
Let d = -3628/7 - -520. Are d and 3 unequal?
True
Let h = -12/29 + 538/319. Is h less than or equal to 0?
False
Let d(j) = j**3 + 6*j**2 + 6*j + 5. Let k be d(-5). Let t = -169/21 - -25/3. Is t less than k?
False
Let j be (-81 - 11) + 2/((-4)/(-6)). Is j > -90?
True
Let q = -0.4 + 0.6. Is q bigger than 3?
False
Suppose -v + 15 = -2*t, 5*t - 2*v + 38 = -0*t. Let n(z) = z**3 + 9*z**2 + 6*z - 11. Let y be n(t). Is y smaller than 6?
True
Suppose -3*z + 3 - 17 = 5*j, 3*z = -2*j - 11. Let r = 3/37 + -49/148. Is j less than r?
True
Suppose -118 = -2*f - 2*r + 6*r, 0 = -2*f + r + 112. Is f smaller than 55?
False
Let r(i) = -i**2 + 15*i + 15. Let h be r(17). Which is bigger: h or -20?
h
Let u = -0.04 + -15.96. Let k = u +