t n = x + 11. Let o = 1.9 - 2. Which is smaller: o or n?
o
Let w be 0 + 7*(-68)/6. Let q be (-180)/27*(-1 + -11). Let y = w + q. Which is smaller: -2/3 or y?
-2/3
Let v = -14 + 9. Suppose 2*p + 24 = -2*p. Which is smaller: p or v?
p
Let u = 170 - 169.94. Is u >= -4?
True
Let h = -5.05 + 0.05. Is 1 >= h?
True
Let f(c) be the third derivative of -c**5/60 - 5*c**4/24 + 2*c**3/3 + c**2. Let p be f(-5). Suppose v - 3*v = -6. Is p less than v?
False
Suppose 4*l + 3 = -1. Which is greater: 1/15 or l?
1/15
Suppose q - 8 = 3*c, c = -q - 2 - 2. Let s be q/6*-3*2. Which is smaller: s or -1?
-1
Let b be 3 - -2 - (-1 - 1). Suppose -2*p = -b*p. Let u = -1/4 + p. Which is greater: -0.1 or u?
-0.1
Let c = 8 + -4. Suppose -q + 3 = -l - 0*l, 0 = -c*l - 8. Suppose 10 = 4*a + 2. Is a less than q?
False
Suppose 0 = -5*h - 3*s - 2*s + 20, 5*s = -5. Suppose h*o = 2*o. Which is smaller: 3/8 or o?
o
Let s = -9.9 + 10. Let n(o) = -o**2 + 4*o + 6. Let x be n(5). Let u be (1/x + 2)*-1. Which is smaller: s or u?
u
Let s be 3/12 + (-42)/104. Let j = 0 - s. Is -1 > j?
False
Let u be (-3)/(-45)*3*-6. Let a(g) = g**2 - 8*g - 10. Let p be a(9). Is p equal to u?
False
Let g(s) = s**3 - 7*s**2. Let a be g(7). Suppose 7*c + 15 = 5*f + 3*c, a = -f + 5*c + 24. Is f at least -1?
True
Suppose 0 = -5*f + h - 2, 4*f = 3*h - 6*h + 6. Suppose 7*i - 2*i - 15 = f. Which is smaller: 4 or i?
i
Suppose 4*o - f = 24, 4*o + f - 7 = 17. Is o != 6?
False
Let s(n) = n + 4. Let i be s(-3). Suppose 0 = -3*j + 2*o + 16, 0 = -j - 5*o - 7 - 16. Suppose -4*z - j + 6 = 0. Are z and i non-equal?
False
Let l be (-906)/(-36) + 2/(-4). Let d = l + -25. Which is smaller: 1 or d?
d
Suppose 0*v + 3*i - 3 = v, -v = 3*i - 21. Let j be (-15)/(-10)*(-6)/v. Let y = 7/8 - 13/24. Which is bigger: y or j?
y
Suppose -x = -5*t - 31, -4*x - x - 5*t + 35 = 0. Is x at most as big as 8?
False
Let f = -385/6 + 64. Let y(z) = z**3 + 9*z**2 + 16*z + 14. Let x be y(-7). Which is bigger: f or x?
x
Suppose 5*u - 41 + 26 = 0. Let b(g) = -g - 1. Let j be b(-2). Which is bigger: u or j?
u
Let a = 0.2 + -0.3. Let d = 6 + 0. Let b = d - 4. Is a >= b?
False
Suppose 3*f = 4*j - 4, 5*f - 26 = -5*j + 14. Let q(b) = j + 2*b - 4 + 4 - b. Let o be q(-3). Does o = 2?
False
Let t be 2/6*(7 - 4). Let c = -32 + 61. Let g be c/(-35) - (-2)/5. Which is smaller: t or g?
g
Let r = 131 + -249/2. Is r at most as big as -1/3?
False
Let k(h) = -h - 3. Let w be k(-6). Let j be 3/(-9) - 2/w. Let p be 10/7 + (j - 0). Which is smaller: 0 or p?
0
Let t be (-2)/9 + (-350)/(-360). Is t equal to 2?
False
Let q = 2 + -2. Suppose 0 = -0*g - g + 273. Let l be -2 + (-7)/(g/(-72)). Is q < l?
False
Let c be (-3)/(-136)*(-5430)/(-45). Let x = c - -10/17. Which is bigger: x or 3?
x
Let k be (2/4*20)/2. Let w = 10 - 4. Suppose -w*x + x = k. Is x greater than -1?
False
Let n be (-1)/(-4) + 5/(480/(-44)). Which is greater: -1 or n?
n
Suppose -5*f + 0*f = -20. Suppose -f*z + 21 = -3. Let a be (-2)/(-6) + z/(-36). Is a >= 0.1?
True
Let n = 298 - 3276/11. Let y be (1 + -1)/((-30)/(-15)). Is n greater than y?
True
Let k = -0.3 + 0.16. Let c = k - 8.86. Let z = c + 9.1. Which is smaller: z or 0.05?
0.05
Suppose 2*j = -j - 3. Let a(r) = -r + 4. Let l be a(5). Is l >= j?
True
Let t = 5 - 5.04. Let u = -5 + 5.16. Let a = u - t. Which is bigger: 2/3 or a?
2/3
Let a = 1.5 - 11.5. Let g = -2 + -4. Let l = a - g. Is l greater than 0?
False
Let d(j) = j**3 + j**2 + 2*j + 1. Let k be d(-2). Let g be ((-16)/(-20))/(4/(-30)). Let s = k - g. Are -2/3 and s non-equal?
True
Let o = 73 - 52. Do 21 and o have the same value?
True
Let j be (-318)/(-24) + (-9)/(-12). Let u = j + -13. Is u > 2?
False
Let y = 2 - 2. Suppose 3*v + 2*u + 3*u = y, -4*v = -u. Let k = 4 + -5. Which is smaller: k or v?
k
Let n = 1 - 1. Let h = -3 + n. Let t = h + 2. Which is greater: -2/3 or t?
-2/3
Let a be (0/5)/(3 - 2). Suppose -2*p - 9 = f + 2*f, 5*f = -p - 8. Is a smaller than p?
False
Let s = -1.3 + -0.7. Suppose 12 = 2*o - 5*d + 2, -5*d - 10 = 3*o. Is s at least as big as o?
False
Suppose 0 = -10*b + 1 + 9. Which is greater: b or -4/13?
b
Let c be (2 - 3)/(-5 + 4). Let h be (-4)/(-10) - 90/(-25). Let z be h/18 - (-65)/(-495). Which is bigger: z or c?
c
Let y = 0 + 0.1. Let u = y + -0.5. Let p = u + 0.2. Which is greater: -1 or p?
p
Let r be 5 + 72/(-15) - 4/(-5). Is -1/156 at least as big as r?
False
Let l = 3 + -3. Let y be 10/(-42) - (-4)/6. Is y >= l?
True
Let o = 51 + -46. Let g be -18*((-6)/8)/3. Does o = g?
False
Let k be (-26)/(-10) + (-2)/(-5). Suppose -9*w - k = -6*w. Which is greater: -2/35 or w?
-2/35
Let h = 2.1 - 2.19. Let o = h + -3.91. Let w = 4 + o. Do w and 0 have different values?
False
Suppose 2*u - 11 = -3. Suppose 0 = -2*k + 5*n + 2, -10 = 4*k + u*n - 7*n. Which is bigger: k or -5?
k
Let f be 31/4 + 2/8. Suppose 0 = 4*q - f, 0*q = 3*m + q - 8. Let d be m/(-8)*20/(-5). Which is greater: 0 or d?
d
Let t be (15/(-20))/((-3)/(-1)). Is t at most 6?
True
Let d = 15 + -10. Let f = -6 + d. Which is bigger: f or -1/8?
-1/8
Let y = 4 + 1. Suppose 0*u - y*u = -t, 3*t = 15. Which is bigger: 3/7 or u?
u
Suppose -d + 1 = 8. Which is greater: -8 or d?
d
Let x be -2 + 1389/609 - 1/7. Which is smaller: 0 or x?
0
Let w = 12 + -5. Let m(h) = h + 12. Let l be m(-8). Suppose -w + l = -3*u. Is u != 1/4?
True
Let x(s) = s**2 - s + 2. Let u be x(0). Let q(i) = -i + 3. Let a be q(u). Is a != 0?
True
Let c = -2.7 + 12.7. Are c and 0.1 non-equal?
True
Let j = 27 - 26. Let g be (((-18)/28)/9)/j. Does -1 = g?
False
Let o = -10 + 12. Let k be (40/(-150))/(o/5). Is k at most 0?
True
Let r be ((-1129)/(-14))/(3/6). Let p = 162 - r. Which is greater: 1 or p?
1
Let z(a) = a**2 + 8*a - 8. Let s be z(-9). Which is smaller: -3/11 or s?
-3/11
Let d(o) be the first derivative of -o**4/4 + 10*o**3/3 + 13*o**2/2 - 15*o + 6. Let p be d(11). Which is smaller: 6 or p?
6
Suppose 0 = -0*f + 5*f. Let v be 5/((-134)/14 - (-8)/14). Which is greater: f or v?
f
Let t = -3 - -2. Let b be (2/(-4))/(t/(-4)). Let d(f) = f**2 + 8*f + 5. Let i be d(-7). Is b greater than i?
False
Let y(c) = -4*c - 7. Let s be y(-2). Let k(f) = f**2 + 3*f + 2. Let n be k(-2). Does s = n?
False
Let t be (-1)/2*-1*-2. Suppose 0 = -l - 4*y + 1, 2*l = -3*l - 4*y + 5. Which is greater: t or l?
l
Suppose -w - 4 + 3 = 5*z, -4*z = 0. Let k be 5/((2 - 1) + 1). Which is bigger: k or w?
k
Let d = -477 - -10973/23. Is d >= 0?
True
Let b be 6/8*4/63*-12. Suppose -5*u + j - 20 = 0, 0*j = -3*j - 15. Let p = u + 3. Which is smaller: b or p?
p
Let p(v) = -v**3 - 12*v**2 - 10*v. Let d be p(-11). Let t = d - -5. Which is greater: t or -4?
-4
Let f = 7 - 10. Let i be (-3 - 0)*f/21. Are 1 and i equal?
False
Let a be 1 + (-1 + 5 - 3). Suppose -q - a*q + 15 = 0. Suppose q*d + 23 = -3*t, -2*d - 20 = t + 2*t. Which is smaller: -7 or t?
-7
Let t(v) = 0 + 6*v - 3*v + 8*v - 1. Let b be t(-2). Which is bigger: b or -22?
-22
Let k = 0 - 5. Let j = 93.9 + -88. Let p = j + -6. Is p at least k?
True
Let s(k) be the third derivative of -k**5/60 - 3*k**4/8 + k**2. Let a be s(-9). Is 1/25 smaller than a?
False
Let o = -697/49 - -99/7. Let v = o + 73/294. Which is greater: v or 0?
v
Let z = 165 - 165. Are z and 28 nonequal?
True
Let a = -10.91 + -0.09. Let m = -12 - a. Is 1/4 > m?
True
Let u = 12 - 19. Suppose 12*a - 6 = 14*a - 3*q, -5*a = -q + 28. Is u less than or equal to a?
True
Let j = -227/3 - -76. Is j greater than 7/5?
False
Let l = 17 - 17.1. Let v = 0.02 + l. Is -1 <= v?
True
Let v(j) = 7*j - 4. Let r(x) = -13*x + 7. Let c(d) = -6*r(d) - 11*v(d). Let f be c(-4). Is f bigger than -4/7?
False
Let a = 5 - 9. Let g = 2 + a. Is 0 > g?
True
Let h = 0 - -3. Let b = h + -2. Let s be -1*b*(-3)/3. Is s >= 1?
True
Let n be 8/(4/(-2)) - -3. Let s be -2 - ((-598)/190 + n). Let q = s + -18/19. Is q <= 1?
False
Let l = 14 - 14. Let k = -0.75 - 0.25. Is k greater than or equal to l?
False
Let x(i) = -2*i**3 + 11*i**2 + 17*i + 12. Let y(g) = -g**3 - g**2 + g. Let c(n) = x(n) - 3*y(n). Let d be c(-13). Is 2 greater than or equal to d?
True
Let c(z) = z**3 + 3*z**2 - 5*z + 1. Let p be c(-4). Let x be (-2)/(5/(p/2)). Let l = 19/3 + -79/12. Which is greater: x or l?
l
Let h be 1/2 - 3/2. Let j be (1/(-5))/((228/(-15))/4). Which is smaller: h or j?
h
Let o be 2 + (-46)/10 + 2. Which is smaller: o or -1?
-1
Le