 + 15. Let n be k(-11). Let o be (n/(-27))/((-5)/3). Let v = 1.9 - 2. Which is smaller: v or o?
o
Let w(a) = a**2 + 2*a - 1. Let u be w(-2). Let f(v) = v**2 - 5*v - 2. Let n be f(5). Let d be (-4)/(-6)*1/n. Which is smaller: d or u?
u
Let v = 110.1 - 110. Which is smaller: -44 or v?
-44
Let j = -6 + 17. Let l be (j + -11)/(1 + 0). Let v be (4/6)/(4/6). Which is greater: l or v?
v
Suppose w - 1 = -0. Which is greater: -4/17 or w?
w
Let f = -4/7 + 5/21. Let p be 24/(-60) - (1 - (-1 - -2)). Which is smaller: p or f?
p
Let w = -3 + 11/4. Which is smaller: w or 1?
w
Suppose -9 = -2*d + 9. Let a = 6 + -5. Which is bigger: d or a?
d
Suppose -c = -k - 6, -4*c + 13 = -2*k - 1. Which is bigger: 2/35 or c?
c
Let r be 0/((-2)/(-2 + 3)). Let d be 3*1/14*2. Is d < r?
False
Let x = 7 - 12. Let s = 8 + -13. Is x at most as big as s?
True
Let i = 1006/15 - 67. Is i at least -0.1?
True
Let q(y) = y - 7. Let u = -3 + 3. Suppose -a - 3*g - 2 = u, 5*a - 2*g - 22 = 19. Let p be q(a). Is -2/11 < p?
True
Let d(i) = i**3 + 6. Let n be d(0). Let j be -2 + 0 - (4 - n). Is -3/4 at least as big as j?
False
Let n = 3 + -3.2. Which is greater: -15 or n?
n
Let b = -29 + 32. Suppose u = b*u - 2. Suppose -2*a = -a. Is u smaller than a?
False
Let v be (-108)/9 + 0 + 8. Let n = 56/11 + -370/77. Is n >= v?
True
Let m = -108 - -132. Do m and 49/2 have different values?
True
Let p(g) = -g**2 - 4*g + 6. Let x be p(-5). Let u = -0.206 - 0.784. Let h = 0.01 - u. Is x greater than or equal to h?
True
Let v = 4/143 + -2451/715. Is v < -2?
True
Suppose -13*c = -6*c + 14. Is c > -1?
False
Suppose -8*i + 3*i = 5. Which is smaller: i or -3?
-3
Let w be 1*1/((-3)/78). Are -26 and w equal?
True
Suppose 3*f - 5 = -2*f. Is 2/41 greater than f?
False
Let i = -2/209 + 448/3135. Suppose 0 = -3*x + 3. Is i != x?
True
Let o be (6/30)/((-6)/5). Let p = -0.1 + 0.2. Is p less than o?
False
Let r = -0.5 + 0.3. Let u = -1459/7 + 209. Let w = u - 15/14. Is w less than r?
True
Let y(f) = -f**2 + 6*f - 9. Let l be y(4). Is -1/33 > l?
True
Suppose 7*a = 2*a - 10. Which is bigger: -1 or a?
-1
Let u = 17 - 16.9. Which is bigger: u or -8?
u
Let z(t) = -t + 3. Let b be z(0). Suppose -2*q + 1 + 1 = -b*y, 4*q = 16. Suppose 0 = -2*i - y - 0. Is -4/3 less than i?
True
Suppose 3*t - 3 = 2*f - 13, 5*f + 1 = t. Let p(y) = 2*y + 4. Let w be p(t). Is -6 equal to w?
False
Let k be (-125)/45 + 6/(-27). Which is bigger: k or 0?
0
Let k be (30/(-1155))/((-2)/14). Is k equal to -1?
False
Let j be ((-7)/(-35))/(3/(-5)). Is j at most as big as 4/7?
True
Let u(n) = 2*n**2 + 3*n + 1. Let j(h) = 3*h**2 + 6*h + 2. Let g(a) = -3*j(a) + 5*u(a). Suppose 3*o = -2*o + 25, 5*o - 31 = -2*s. Let z be g(s). Does -1 = z?
True
Let r be 1/3 + 2/(-6). Let m(u) = r*u**2 + 6*u - 3 + u**3 - 7*u**2 + 0*u. Let l be m(6). Is -3 greater than l?
False
Let p(c) = c**2 - 10*c + 13. Let f be p(9). Which is smaller: f or 2?
2
Let j be 30/(-20) + 46/36. Let q(t) = 4*t**2. Let s be q(1). Suppose 0*v = -5*v - 5, -4 = -5*a + s*v. Which is bigger: j or a?
a
Let k(q) = q**2 + 10*q + 4. Let c be k(-10). Let o = -5 + -1. Let y = o + c. Which is smaller: y or 0.1?
y
Let o = -2 + 2. Let u be (-4 + 60/14)/2. Let d = -33/133 + u. Which is smaller: o or d?
d
Let h = 3.9 + 0.1. Let t = -18 - -14. Let o = h + t. Are -1 and o non-equal?
True
Let w be (48/(-105))/((-1)/30). Do w and 15 have the same value?
False
Let g(u) = -u**3 - 4*u**2 + 5*u - 10. Let v be g(-5). Which is smaller: -11 or v?
-11
Let m = -14.06 - -14. Let w = m + -0.24. Is -0.1 bigger than w?
True
Let o(a) = -a + 4. Let k be o(3). Suppose 5*t + 3 = -7. Let r be 21/(-66) + t/(-4). Which is smaller: r or k?
r
Let g(m) = m**3 + 3*m**2 - m - 2. Let p be g(-3). Let f = 56/5 + -58/5. Which is bigger: p or f?
p
Let g be (-18)/15 - 2/(-10). Suppose -v = -3*v - 6. Which is smaller: g or v?
v
Let r be 3 - ((-5)/(-1) + -4). Suppose 3*y - y - r = 0. Are 2/25 and y non-equal?
True
Let v(q) = -q**3 - q**2. Let u = 0 - 0. Let b be v(u). Suppose f + 1 = 2*f. Which is greater: f or b?
f
Suppose 0 = 4*c + 2*t - 3*t + 14, 0 = -2*c - 3*t. Which is greater: c or -5?
c
Let h be 13*((-159)/5 + -1). Let j = -425 - h. Is 0 less than or equal to j?
True
Let q = 18 + -16. Is 0 equal to q?
False
Let z be (2/108)/(1/(-31)). Let f = z - -2/27. Is f greater than -1?
True
Let n = -32 - -29.1. Let a = 3 + n. Let p = -1 + 2. Which is greater: p or a?
p
Let h = 0.4 - -2.1. Let m = 1.94 - -0.06. Let q = h - m. Is -1/4 at most as big as q?
True
Suppose 0 = -3*s + 2*s + n - 1, 0 = -2*s - 4*n + 16. Suppose -2*p - s = 2. Which is bigger: p or -7/9?
-7/9
Suppose 2*r = 3*c + 17, -5*r + c = 3*c - 14. Let w = 7 - 7. Let n = w + r. Is 2 < n?
True
Let v = 0.4 - 0.5. Is -6/7 smaller than v?
True
Suppose -x + 25 - 24 = 0. Which is smaller: x or 4/11?
4/11
Let q = 22 + -23. Is 3/17 not equal to q?
True
Suppose h + h - 10 = 2*k, 5*h - 2*k - 19 = 0. Let c be (144/(-21))/h - -2. Is c greater than or equal to 1?
False
Let w be ((-3)/(15/4))/2. Which is greater: 0 or w?
0
Let o = 15 + 11. Which is greater: 27 or o?
27
Suppose 2*i = 3 + 3. Is -0.1 equal to i?
False
Suppose 0*c - 3*f = 4*c - 11, -8 = -4*c - 4*f. Suppose 3*w + 28 = c*s, -4*w - s = -0*w - 1. Let i = 7.5 - -0.5. Which is smaller: w or i?
w
Let h be (-2)/3 - 2/(-3). Let v = h + 4. Suppose -3*w = -11 - v. Is w not equal to 4?
True
Let j(i) = 7*i**2 - i - 1. Let c = -5 - -4. Let t be j(c). Is t greater than 7?
False
Let c = 0.3 + 2.7. Suppose 69 = q + 3*d, -3*d = -4*q + 2*d + 361. Let w be 4/14 + (-80)/q. Is w not equal to c?
True
Suppose -4*a - 3*s = 11 - 2, -7 = 4*a + 5*s. Let t = a + 7. Suppose x = -x + t. Which is smaller: 1 or x?
1
Let y = -0.1 + 0.1. Let c = 1 + y. Let f = -0.41 + 3.41. Which is smaller: f or c?
c
Suppose 5*w + 2*n = -0*w + 49, -n = -5*w + 43. Let b = -5 + w. Suppose 0 = b*p + p - 5. Which is smaller: p or 3/7?
3/7
Let n(s) = -s**3 - 2*s**2 - 2*s + 2. Let m be n(-2). Let q be 9/m + 57/(-36). Which is smaller: 0 or q?
q
Let q = -1.7 - -0.9. Which is bigger: 0.2 or q?
0.2
Suppose -3*t + 4*a + 7 = 0, 5*t - a + 1 = 7. Suppose 2*u = d + t, 2*u = 7*u - 5*d + 5. Suppose 3*i = u*i. Which is smaller: 2/9 or i?
i
Let y be 15/(-18)*5/25. Is -1 < y?
True
Let x = 21 - 5. Let k be (1 + (-10)/6)*-3. Suppose l + 3*p = -l + 11, x = -3*l + k*p. Which is smaller: l or -1?
l
Let w = 2.33 + -0.33. Let x = 0 - 0. Is x smaller than w?
True
Let f(y) = -y**3 - 7*y**2 - 6*y - 3. Let t be f(-6). Let i(u) = -u**2 - 3*u + 4. Let q be i(t). Suppose -2*c = -q*c + 2. Which is bigger: 1/3 or c?
c
Suppose -9 + 45 = 2*k. Is 18 > k?
False
Suppose 15 = -f + 2*f. Suppose 2*n - 11 = -n + 2*w, 5*n + 5*w + f = 0. Is n at least -2/9?
True
Let c(d) = 3*d**3 + d**2 + d**3 + 1 + d**2 - d - d. Let q be c(1). Let n = -4 + q. Which is smaller: 1/5 or n?
1/5
Let q = 2.01 + -0.01. Let l = -2 - q. Is l smaller than -1/2?
True
Let z(a) = 5*a**3 + a**2 - 2*a + 1. Suppose -4*d - u = -2*d + 5, -4*d - 3*u - 5 = 0. Let i be d/2*(-8)/20. Let w be z(i). Is 5 > w?
False
Suppose 0 = -3*k - 8 - 1. Let v be k*(0 + (-24)/(-9)). Is v less than -8?
False
Let r be (2/4)/(34/(-8)). Let k = 0.12 + 0.88. Is k bigger than r?
True
Let p be (-8)/(-6) + (-90)/108. Let a = 4 + -2. Let l = a - -2. Which is bigger: p or l?
l
Let f(s) = -6*s - 35. Let v be f(-6). Is 3/34 less than or equal to v?
True
Let j = 1.2 - 1.13. Let u = 0.03 + j. Which is bigger: u or -10?
u
Suppose 162 = 5*i - p, i - 4*p - 17 = 23. Is 34 greater than i?
True
Let t = -5.9 + 1.9. Let q = -2.9 + 3. Which is bigger: t or q?
q
Let s = 0.1 + 0.9. Let x = 3 + -3. Let a = x + s. Which is smaller: 2/5 or a?
2/5
Let k = 136.94 + -135. Let t = 0.06 + k. Let j = 2 + -1.9. Is t greater than or equal to j?
True
Let b be -1*(0 - 1) + 0. Let p be (-1*1)/((-9)/(-54)). Let l = 6 + p. Is b != l?
True
Let c be ((-4 - -2) + 3)*1. Which is bigger: 7/5 or c?
7/5
Let y = 6 + -6.1. Let r(l) = l**3 + 5*l**2 - l - 3. Let d be r(-5). Let o be ((-6)/8)/(3/d). Is y less than or equal to o?
False
Let a be 2 + 86/(-35) + (-18)/45. Is 0 >= a?
True
Let b(i) = -i**2 + 12*i - 6. Let x be b(11). Is 0 greater than or equal to x?
False
Let c = -276781/10 + 27541. Let f = c + 137. Which is smaller: -1 or f?
-1
Suppose 0 = -0*s + s - h - 12, 20 = -5*h. Suppose 3*x = s - 2. Let i be (x - (5 + -3)) + 0. Which is big