> s?
True
Let r be ((-6)/18)/(4/(-6)). Suppose 2*i = -0*i - 5*l + 20, 3*l - 12 = 3*i. Is r at most i?
False
Let n = -10 - -9. Let u be (-6)/10 - (-12)/20. Which is smaller: u or n?
n
Let k = -8 - -13. Let t be -12 + k + 1 + 2. Is -4 at most t?
True
Let p = 13 - 17. Which is greater: p or -5?
p
Let c = -3.11 + 3. Let t = c - -0.01. Which is smaller: -2 or t?
-2
Let b(r) = -r + 2. Suppose 2*v = -i + 8, -6*i = -4*v - 3*i - 4. Let o be b(v). Which is smaller: o or 2/11?
o
Suppose -3*a = 2*i + 8, -5*i + 6 = -4. Let x be 80/13 + (a - -3). Let c = x + -5. Which is smaller: -2 or c?
-2
Suppose -c + 6*c = 300. Let f be 1/2 - 34/c. Is 1 less than f?
False
Let k = 1.9 + -2.06. Which is greater: 1 or k?
1
Let k(u) = u + 4. Let a be k(0). Suppose -25 = -5*c - 2*j, -5*c + 18 = -a*c + 3*j. Which is greater: c or 1?
c
Let o = 15 + -15. Is 1/4 >= o?
True
Suppose -12*x - 1 + 1 = 0. Let f be ((-6)/5)/((-6)/20). Let d = 3 - f. Which is greater: x or d?
x
Let u = -8.01 + 7.9. Is u at least 4?
False
Let r be -2*2/4 + 209/66. Are r and 2 nonequal?
True
Let g be 4/(-8)*-6*19. Suppose 4*k + 5*y = -g, 4*k - 2 = -3*y - 49. Let f be (-13)/(-12) - 2/k. Are 2 and f nonequal?
True
Let c be 4*(1 - 65/(-20)). Suppose -3*q - q = 2*k - 34, 0 = 3*k - 2*q - 51. Is c smaller than k?
False
Suppose -4*n + 5 + 3 = 0. Let p be (n/(-12))/((-2)/8). Let o(j) = j - 5. Let m be o(5). Which is bigger: m or p?
p
Let j(i) = -i**3 + 10*i**2 - 11. Let s be j(10). Is -10 != s?
True
Let q(v) = -v**3 - 1 + 1 - v**2 + 3 - 2. Let c be q(0). Let a be 0*(c - 6/3). Is a < 1/6?
True
Let g(f) = f**3 - 10*f**2 - 11*f - 1. Let o be g(11). Is o < -1?
False
Suppose 4*a - v = 37, 4*a + 2*v - 31 = -9. Let b be (-14)/a*(-8)/28. Is b greater than or equal to 0.21?
True
Let q = -9 + 18. Let f be 1 - ((-75)/q + 1). Let g = 181/21 - f. Is g at least 0.1?
True
Let u = 3.8 + -2. Let d = 0.2 + u. Is d > 0.1?
True
Let u be -1 + 2 + (-7 - -5). Which is bigger: u or 1/3?
1/3
Let p = 76 - 78.01. Let s = -0.01 - p. Let w = -0.97 - 0.03. Which is smaller: w or s?
w
Let u be (4 - (-10)/(-8)) + -4. Which is smaller: u or 0?
u
Let a = 30 + -26. Let l be ((-3)/4)/((-3)/10). Which is smaller: l or a?
l
Let j be 0/((-4)/(-2)) - -1. Suppose -3*y = -7*y. Suppose y = -s + 3*s. Is s greater than or equal to j?
False
Suppose 5*j - 13 - 17 = 0. Is 2 equal to j?
False
Let y = 49/12 + -15/4. Are y and -0.1 non-equal?
True
Let c = 11 + -3. Suppose 46 + 8 = 6*w. Is c < w?
True
Let s = -329/2504 - -2/313. Let f = -11 - -6. Let y(r) = -r - 6. Let g be y(f). Is s smaller than g?
False
Let o(k) = 2*k - 8. Let y be o(6). Let f = y - 2. Let d be f/(-3)*4/8. Is d <= 1/3?
True
Suppose 0 = -d + 2*c - 8 + 2, -4*d - 4*c = -24. Let b = 10 - 12. Is b less than d?
True
Suppose 2*c - 4*a + 8 + 6 = 0, -28 = 4*c - 4*a. Suppose -q - 2*q + 15 = 0. Let b = q + c. Is -3 > b?
False
Let j = 8691/8 - 1085. Let r = -15/8 + j. Which is bigger: -2 or r?
r
Suppose -l + 2 - 3 = 0. Let f = -77/351 + 8/27. Which is smaller: f or l?
l
Let h = 37/21 + -10/7. Is h not equal to -2/3?
True
Let o = -115 + 109.1. Let p = o - -6. Which is smaller: -14 or p?
-14
Let j = 10 - 16. Let t = j - -4. Let x = 141 - 142. Is t not equal to x?
True
Let l = -30 + -14. Let j = l - -41.9. Let f = 2 + j. Is f at least as big as 1?
False
Let u be ((-3)/(-6))/((-1)/(-2)). Let z be -2 - (46/(-14) - -1). Which is greater: z or u?
u
Let v(m) = m**3 + 4*m**2 - 3*m - 4. Let p be v(-4). Let a = -4 + p. Suppose 0 = -z - 0*z - a. Are -4 and z non-equal?
False
Let d = 5/166 - -5277/1162. Let z = 181/35 - d. Let i(r) = r**2 + 3*r - 4. Let h be i(-4). Which is greater: h or z?
z
Let g = 527 + -1029/2. Which is smaller: 14 or g?
g
Let m = -11.1 + 9.1. Is m smaller than 0.51?
True
Let d be (1 - 0)/(1/4). Suppose -22 = d*h - 2. Let j be 1/h*(-2)/(-1). Which is greater: j or 0?
0
Suppose 5*t = 2*t + 18. Let y be 1/(8/t - 1). Suppose -4*l + 7*l + y = -5*o, 4*l + 4 = 2*o. Is -2 at least as big as l?
False
Let n be 1*-1 - 371/(-357). Let c = 29/1139 + 18/67. Let w = n + c. Which is bigger: w or -1/7?
w
Suppose -4 = c + 4*q, -5*c + 0*q = q + 1. Is 1/3 >= c?
True
Let x be (5 - 0)*2/(-5). Let t be ((-9)/6)/((-2)/(-24)). Let v be t/(-8) - (-4)/(-2). Is x less than or equal to v?
True
Let v = 1.29 - -3.45. Let l = -0.16 - v. Let n = l - -5. Is -1/4 smaller than n?
True
Let c = -9 - -15. Let v be (6/(-16))/(c/4). Suppose 0 = w + 5*a + 19, 2 = -3*w + w - a. Are v and w non-equal?
True
Suppose -3*r = 2*r. Let i be (3/3)/(5/2). Which is smaller: i or r?
r
Suppose -6*l + 4*g = -2*l - 20, 2*l + 5*g + 25 = 0. Is l equal to -2/27?
False
Suppose 5*w - 5 - 11 = -4*c, 4*w + 5*c - 20 = 0. Is 18 less than w?
False
Let h = 4.3 - 4. Let y = h + -0.2. Let b = -9.5 + 11.5. Is b bigger than y?
True
Let d(l) = -3*l + 9. Let u(f) = -4*f + 10. Let v(y) = -5*d(y) + 4*u(y). Let i be v(-5). Which is bigger: 0.2 or i?
0.2
Let f be (18/(-54))/(2/6). Is -1 > f?
False
Let w = 18.15 + -0.15. Let q = 14 - w. Is 1 != q?
True
Suppose -3*m - 4 = -5*m + c, 11 = 5*m - 3*c. Do 1/52 and m have different values?
True
Let k be (-16)/(-40) + (-16)/(-10). Is 6/7 less than or equal to k?
True
Let i = 1501/7 - 214. Suppose -5*q = -o + 1, 0 = -2*q - o + 1. Are q and i non-equal?
True
Let t = -13 + 10. Let a(n) = -n**3 + n**2 + n - 4. Let r be a(0). Is t smaller than r?
False
Let p = -12 + 28. Is 0.1 at most as big as p?
True
Let t be (2*-2)/(1/2). Let o(l) = -l**3 - 8*l**2. Let k be o(t). Let m be ((-1)/(2/(-4)))/3. Is k at most m?
True
Let f be -18 - -2 - (-1 + 5). Let g be (5 - 0)*8/f. Is -3/5 > g?
True
Suppose 4*m = 3 + 9. Suppose 0 = -0*x + m*x - 9. Suppose c = x, d - 2*c + 9 = -2*d. Is d at least 2/7?
False
Let o be ((-10)/20)/((-11)/(-2)). Which is smaller: -2/5 or o?
-2/5
Suppose 2*m + 3 + 3 = 0. Let l be (-2)/12 + 29/(-6). Let c be 3 + l + 0/2. Is c bigger than m?
True
Let h = -229/3 + 77. Let s = 3 + -3. Is s greater than h?
False
Let b = -54 + 58. Which is smaller: 0.2 or b?
0.2
Let b = 0 + 8. Let z be (0 - 12/b)*2. Is -4 at least z?
False
Let c = 11 - 7. Suppose c*p = 3*l + 45, 5*l = -5*p + 3*l + 62. Is 11 greater than or equal to p?
False
Let z = 3 - 3.5. Let r = z + 0.6. Do 2/7 and r have the same value?
False
Let b be (-1 - (-17)/7) + -2. Let g = -0.5 + -0.5. Is b less than or equal to g?
False
Let o(t) = -t**2 - 2*t + 1. Let h be o(-3). Let z(p) be the second derivative of -p**5/20 - p**4/3 + 4*p**3/3 + 6*p**2 - 7*p. Let b be z(-5). Is b != h?
True
Suppose 6 + 6 = j - t, 2*t = 3*j - 31. Let u = 6 - j. Is -0.04 < u?
False
Let p = -158 - -213. Which is smaller: 1 or p?
1
Let m = 10 - 5. Suppose m*z = -0*z + 75. Let h be 18/z*(-30)/(-9). Does h = 4?
True
Let j be (-21)/(-2)*2 + 0. Let l be (-2)/(-5) + j/60. Let k = -1 + 1. Which is greater: l or k?
l
Let x = -0.078 + 0.148. Does -0.4 = x?
False
Suppose 0 = -0*t + 2*t. Let w = t - 1. Is w smaller than -2?
False
Let n(h) = -h**2 - 7*h - 3. Let o be n(-5). Suppose 2 = -3*g - o. Is g at least -3?
True
Let n = 3.885 + 0.015. Let v = -4 + n. Let h = v - -0.1. Which is greater: -2/7 or h?
h
Let g be (-56)/1*(-3)/6. Suppose -p - 5*b - 21 = 3*p, 3*p - 5*b = g. Which is smaller: 0 or p?
0
Let i = 6690/19 + -352. Is -2 greater than i?
False
Suppose -3*o = -8*o. Suppose a = -o*a - 5*z, -3*z = a - 2. Is a less than 5?
False
Let u = -5 + 5. Let l = u + 5. Do l and 4 have the same value?
False
Let v = 90 + -91. Is 2/47 greater than or equal to v?
True
Let b = -104 + 104. Let s = -343/4 + 85. Which is bigger: b or s?
b
Let i = 15838/41 + -386. Let s = i + 3/410. Is 1 at least s?
True
Let q(i) be the second derivative of -4*i + 0 + 1/6*i**3 + 1/2*i**2. Let r be q(1). Are r and 2 non-equal?
False
Let l = 0.27 + 2.83. Let k = l + -3. Which is greater: k or 0.2?
0.2
Let p be (-3 - -1)*-7 + -3. Let t = -12 + p. Is t less than or equal to 1?
True
Let m = 1 + -0.97. Let k = m - -1.97. Is 2 greater than or equal to k?
True
Let s be (-27)/(-40) - (4 - 4). Let u = s + -7/8. Let r = u + -7/15. Is -2 bigger than r?
False
Let l be (-4)/2*18/4. Let k be (l/78)/(3/4). Let h = 0.1 - 0.2. Do h and k have the same value?
False
Suppose 7*g + 10 = 122. Is g bigger than 17?
False
Let a be (16/12)/((-23)/(-69)). Let z be (-2 + 6)/(1 - 0). Suppose 4*b - 28 = z*d, -5*b = 9*d - 4*d - 15. Is a less than b?
True
Let u be ((-5)/24)/((-2