u + 9. Let h be o(5). Does h = 19?
True
Let v = 6017/801 + -67/9. Do v and 0 have the same value?
False
Let s be (-15)/(-25) + 1*57/(-45). Are s and 1 unequal?
True
Let y be -74*(-6)/(-180) + 5. Is y greater than or equal to 0.1?
True
Let b = -13 - -14. Suppose b + 3 = 4*p. Do p and -1/3 have different values?
True
Suppose 0 = -4*z - 173 - 191. Let o be 9/(-15) + z/(-35). Are 3 and o equal?
False
Let u = -2 + 5. Let s = u + -2. Which is greater: 0 or s?
s
Let t = 0 + 5. Suppose -8 = t*l + 2. Let o = -7 + 3. Which is bigger: o or l?
l
Let p = 10 + -10. Which is greater: p or 6/5?
6/5
Let h = 5 - -2. Suppose 4*n - o - h = 14, -3*n = -3*o - 18. Which is smaller: n or 4?
4
Let c be 16/(-12) + 2 + 0 + -1. Is 7 at most as big as c?
False
Let m = -5/21 + -1/84. Let u = 4 - 3. Is m greater than u?
False
Let d = 2 + -1. Let o = d + -1. Let a = 60 - 298/5. Which is smaller: o or a?
o
Let h = -0.8 - -0.6. Let u = 2 + -3. Let p = -1 - u. Which is bigger: p or h?
p
Let d = 7793 + -46585/6. Let y = 29 - d. Which is greater: y or -1?
y
Let n(k) = -2*k**2 - 14*k - 12. Let i be n(-5). Let y be (-8)/6*6/(-1). Are y and i nonequal?
False
Suppose -8*c - 16 = -4*c. Is -2/3 less than or equal to c?
False
Let l(j) = -j**3 + 4*j**2 - 4*j. Let u be l(3). Let w be (-1)/(-2)*4/(-2). Let h be w/4 + 3 + u. Which is smaller: -1 or h?
-1
Let h = -1 + -1. Let k = 12 + -2. Suppose 5*u = -3*w + 16, 0 = 2*w + 4*u - 4 - k. Is h equal to w?
False
Let h = 0.9 - 0.7. Let c = -715/7 - -102. Is c at least h?
False
Let x(f) = f**2 + 4*f + 4. Let g be x(-3). Let a be (3 + -2 + g)*-4. Let v be 6/a*(2 + -3). Which is smaller: v or 0?
0
Suppose 0 = -3*c - i - 3*i + 28, 0 = -c - 5*i + 13. Do c and 9 have the same value?
False
Let i be (-5)/(15/6) + -1. Let d be 0 + i*(-6)/63. Let t be ((-1)/2)/(2/4). Which is bigger: t or d?
d
Suppose -7*c = 3 + 4. Is c at most as big as -9/5?
False
Let r = 6 - 5.5. Let w be (-2 + 62/54)*282. Let k = w - -240. Which is smaller: k or r?
k
Let i = 6 + -4. Let u be 0 + (2 - 18 - 0). Let h be (6/8)/((-30)/u). Which is bigger: h or i?
i
Let j = -0.07 + -0.93. Which is smaller: j or -0.1?
j
Let r(m) be the first derivative of -m**4/4 - 4*m**3/3 - 2*m**2 - 3*m - 2. Let n be r(-3). Let o = -257/3 - -85. Is o > n?
False
Let b = -2/261 - -287/3393. Are 0 and b non-equal?
True
Suppose -b = -h + 26 + 4, 2*b + 58 = 4*h. Is b > -29?
False
Let t = -0.2 + 0.4. Let b = 0.3 + -0.3. Let f = -0.2 + b. Is t at least f?
True
Suppose -y - 4*n = -21, 2*n = y - 2*y + 13. Let g be 2/((-6)/15)*-1 - -1. Which is greater: g or y?
g
Let d(l) = 2*l**2 - 10*l + 1. Let a be d(-3). Is a at least as big as 49?
True
Let u(c) = -c**3 + c**2 - 2*c + 1. Let v be u(1). Let g = 2/729 - -2135/18954. Let o = -21/13 + g. Which is smaller: o or v?
o
Let b(d) = d**3 - 2*d**2 - d + 2. Let v be b(2). Suppose -2*r - 5*h = -5*r, v = h. Which is smaller: r or 1?
r
Let v = 20 + -17. Suppose o = 5*o - 4*i, 3*o + 5*i - 32 = 0. Is o less than v?
False
Let k = 79/990 + 2/99. Let w(f) = f**2 + 7*f. Let q be w(-7). Which is bigger: k or q?
k
Let z be (88/36 - 2)*(-3)/8. Is z equal to 0.2?
False
Let d(n) = -n**3 - 7*n**2 + n + 5. Let v be d(-7). Let o = v - -2. Let a be (-1)/(o - -1)*1. Are 2 and a equal?
False
Let l = -14.77 - 0.23. Which is smaller: 1 or l?
l
Let l(v) = v**2 + 9*v + 1. Let i be l(-9). Do i and 1/6 have the same value?
False
Let c(l) = 3*l**2. Let f(r) = 7*r**2 - 3*r + 4*r + 1 + 0. Let j(x) = -9*c(x) + 4*f(x). Let d be j(-3). Is -2/7 less than d?
True
Let d(w) = w + 7. Let s be d(-7). Suppose s*u + 2 = -u. Which is bigger: -1 or u?
-1
Let c = -25.9 + 26. Which is bigger: c or 9?
9
Let y = 1 - -7. Let p = y + -6. Let g(q) = -q**3 - 8*q**2 + 10*q + 11. Let u be g(-9). Are p and u nonequal?
False
Let p be 4/(-6)*(-9)/(-6). Let n be (-3 + 1)*1 - -1. Let f be n/2 - (-3)/6. Which is smaller: p or f?
p
Suppose -d = -4*h + 16, -4*d = -4*h + 6 + 10. Which is greater: 1/26 or d?
1/26
Let h = 1 - 17. Which is greater: h or -18?
h
Let g(a) = -a**2 + 2*a - 2. Let u be 10*1*6/15. Let m be g(u). Let y be (-2 + 0)*m/4. Which is smaller: y or 6?
y
Let g = 31 + -30. Is 12/5 greater than g?
True
Suppose 6*s - 3*s - 4*r + 16 = 0, 3*r = -5*s + 12. Suppose -3 = -s*p + 3*p. Which is bigger: 1/7 or p?
1/7
Let j(h) = h + 1. Let k be j(-2). Suppose 5*i - m = -5*m - 155, 0 = m. Let q = i + 28. Which is bigger: k or q?
k
Let b(j) = -j**2 + 8*j - 2. Let d be b(7). Suppose -s = -d*s - 4*z, 0 = 3*z. Suppose s*q - 24 = -4*q. Is 7 greater than or equal to q?
True
Let r = -28 + 27. Let y = r + 5. Let l = 0.2 - 0.1. Is y at least as big as l?
True
Let s = 4.157 + -0.157. Which is smaller: s or -0.08?
-0.08
Suppose -3 = -2*r - 3*n, 4*n = -r + n. Suppose 4 = -2*p + 2*k, -8 = 3*p - 7*k + r*k. Suppose p = -j + t - 4, -4*t + 24 = -j + 5*j. Which is bigger: -2/13 or j?
j
Let c = 0.16 - -6.84. Let t = 14 - c. Which is bigger: t or -1?
t
Let n = 2 - 2.06. Let p = n - 2.94. Let f = p - -1. Which is greater: f or 0.1?
0.1
Let l(y) be the third derivative of y**6/120 + y**5/15 - y**4/24 + y**3/6 - y**2. Let n be l(-4). Suppose 11 = -0*u + n*u - 2*c, 5*u = 3*c + 14. Is 7/3 >= u?
True
Let a = -1 - -1. Let s = 2 + a. Is s greater than or equal to 1?
True
Let l = 6/103 - 260/927. Are 0 and l equal?
False
Let h = -96 + 96.1. Which is smaller: h or -10?
-10
Suppose -3 = -2*v - 1. Suppose 5*q - 249 = -3*j, -j - 261 = -4*j - q. Let z = -703/8 + j. Is z less than v?
True
Let i be ((-12)/18)/(1/(-51)). Suppose -c = b - 6*c - i, c - 38 = -3*b. Which is greater: 12 or b?
b
Let p be (94/3)/((-2)/(-9)). Let w = 1832/13 - p. Suppose 4*r - l + 3 = 4, 0 = 3*r - 5*l - 22. Are w and r non-equal?
True
Suppose q = n + 4*q + 6, 3*q + 12 = -3*n. Let k be -1*(0 - n) - -5. Which is bigger: k or 1?
k
Let n = -0.01 - -1.91. Is n at most as big as 1/2?
False
Let m = 3 + -2.9. Let p = 5 + -8. Let b = p - -4. Which is greater: b or m?
b
Let n = 559/3 - 184. Which is smaller: 3 or n?
n
Suppose 5*n = m - 16 - 11, -4*m = -3*n - 57. Is 10 > m?
False
Let t(s) = -4 + 3 + 0 - s. Let h be t(-5). Are 5 and h non-equal?
True
Suppose 3*x - 5 = -9*m + 4*m, -m - 2*x + 1 = 0. Suppose 5*y + m = -9. Is y less than 0?
True
Let y be (0 - 9)*(0 - -1). Let r = 11 + y. Let f = 1 - 1. Which is smaller: r or f?
f
Let s be 11 + -13 + 3*1. Suppose 3 - s = -d. Let x = 0 + -1. Which is bigger: d or x?
x
Let r = -3 + 3. Let y = -2 + r. Which is greater: y or 0?
0
Let n be ((-4)/8)/(2/(-12)). Let g = -13 - -14. Which is bigger: g or n?
n
Let q = -0.18 - 7.82. Let m = q + 6. Is m != 0?
True
Suppose 6 = t - 3*u + 13, 5*u = -4*t - 28. Which is greater: t or 2?
2
Let c be (-44)/(-57) - 8/12. Is c greater than 0?
True
Let w = 153 + -268. Let c be -1*2 + w/(-50). Which is bigger: -1 or c?
c
Let r = 23 + -2. Suppose r = -4*o + o. Which is bigger: o or 1?
1
Let x(o) = o**2 - 6*o + 1. Let z be x(6). Let j be (-5)/2*8/(-10). Suppose 0 = -5*a - 2*q + j + 2, 0 = -3*a - 5*q + 10. Which is greater: a or z?
z
Let v = -2/5 + 1/15. Which is smaller: v or -1?
-1
Let j be (-8)/(4 + 2 - 4). Is -30/7 at most as big as j?
True
Suppose 0 = -4*t + 3*t + 3. Let b = t - 1. Which is smaller: b or 1?
1
Let o(n) = n**2 + n. Let p be o(-1). Let h be -4 - 2/3*-3. Let y be 2/6*(h - -1). Is p greater than or equal to y?
True
Let n be 2*1 + (0 - 2). Let m = n + 2. Which is smaller: m or 1?
1
Let a = 0.2 + -1.3. Let t = 0.1 + a. Let f be -1 - (-4)/(2*-1). Is t at most f?
False
Suppose -2*g = -9 - 65. Which is greater: 38 or g?
38
Suppose 4*j - 1 = -5. Let l = -601/2 + 30051/100. Let k = l - 19/25. Which is bigger: j or k?
k
Let q be 2 - 2 - (-6)/14. Suppose 2*a + 3*m - 12 = 7*a, a - 4*m = -16. Are q and a equal?
False
Let p be (-5)/(-7)*2/5. Let i = 0.05 + -2.05. Is i > p?
False
Let b = -0.4 - 0.6. Let l = 0.1 + -0.1. Let p = l - 0.2. Is b > p?
False
Let r = -580/11 + 53. Let u be (-5)/(-1)*6/10. Let z be u*-1*(-23)/(-69). Does r = z?
False
Let h(d) = -d**2 + 6*d + 6. Let v be h(6). Let z be (v/6)/((-2)/12). Is -6 at least z?
True
Let a be (5/(-15))/(1/(-3) + 0). Let w be 0 - 1 - 20/(-22). Is a bigger than w?
True
Suppose 2*r + 0*p - p = 1, -5*r + 4*p - 2 = 0. Let h = -5 + 10. Let q = h + -2. Is q < r?
False
Suppose r - 1 = -3. Suppose -4*z - 3 = -3*z. Is z < r?
True
Let f(g) = 2*g**2 + g + 1. Let y be f(-3). Suppose x - 2*j = -