= -39 - -37. Is 0 at most i?
False
Let j(s) = s**3 - 6*s**2 - 17*s + 8. Let c be j(8). Is c at least as big as 2?
False
Let i be 2/13 + (-88)/(-104). Let g = -5 - 3. Is i > g?
True
Let h(v) = -4*v - 41. Let p be h(-8). Which is smaller: -29/3 or p?
-29/3
Let u = -188/91 + -14/13. Is u at least -3?
False
Let c be -1*(-1 - (-12)/(-9)). Let b = c + -17/6. Is -0.1 smaller than b?
False
Let q = 0 - 5. Are -1/3 and q nonequal?
True
Let k(o) = -1 + 2*o - o**2 + 3*o + 8. Let b be k(6). Suppose 0 = -6*m + m. Which is bigger: m or b?
b
Let j = -25638/515 - -60/103. Let n = j + 49. Which is smaller: n or 0?
n
Suppose k - 2*p - 8 = 50, -5*k + 338 = 2*p. Is k equal to 66?
True
Let b(t) = t**3 + 0*t**3 + 0*t**3 - 2 + 3 - 9*t**2. Let d be b(9). Is 1 less than d?
False
Suppose -5*l = 2*u + 18, 3*u + 0*l + 17 = -5*l. Which is bigger: u or 2?
2
Let n(o) be the first derivative of -3*o**2/2 - 4*o + 4. Let z be n(-7). Suppose -k = 4*l - 11 - 5, -3*l + z = 2*k. Is 2/3 at least as big as l?
False
Let c = 0.21 + -0.15. Is c not equal to -2?
True
Let c = -38 - -116/3. Let b = -12 - -16. Suppose b - 3 = h. Which is smaller: c or h?
c
Let u = -1 - -7. Is u at least as big as 6?
True
Let d = -0.3 - -0.1. Let k be ((2 + -2)/(-2))/1. Let a be (-2)/6 + k/3. Is a > d?
False
Let h be 1 - (3 - 19/9). Suppose 10 = d + 3*d + 5*i, -5*d + 8 = 4*i. Which is smaller: h or d?
d
Let x be -2 + -3 + 4 + -1. Which is bigger: x or -1?
-1
Let h = -4 + 3. Let r = -2 + 3. Let d be r + 33/27 + -2. Is d bigger than h?
True
Let i(h) = -h**3 - 4*h**2 - h - 1. Let r be ((5 - 2) + -7)*1. Let m be i(r). Suppose m*n = -2*n + 20. Which is bigger: n or 1?
n
Let m = -7.6 - -4. Let q = m + 0.6. Let o = -2.9 - q. Is -1 < o?
True
Let c = -2.5 - -0.5. Let m = 4.2 + -0.2. Let f = c + m. Which is bigger: f or 1?
f
Suppose 5*y - 2*q + 12 = 0, -4*y - 6*q - 32 = -2*q. Let n be (-1 - -2) + y/1. Let g = 3 + n. Which is bigger: g or 1?
1
Let b(j) be the second derivative of j**5/20 - 3*j**4/4 - j**3/3 + 6*j**2 + 3*j. Let z be b(9). Let w be z/(-5)*(-10)/3. Is -3 less than or equal to w?
False
Let l be -3 + 7/(7/15) + -3. Are l and -5 nonequal?
True
Suppose 9*d - 5*d = 2*m + 10, -3*m = 3*d + 6. Are -6/29 and d nonequal?
True
Suppose -4*z - 11 = -v, 0 = 3*v - 0*z - 2*z - 13. Suppose -a - 6*w - 10 = -v*w, 0 = -3*a + 3*w - 6. Let j be (1 + 3/a)/(-1). Are j and 0 non-equal?
True
Suppose 3*n - 20 = -n. Let f be (2 - 3)/(n/(-2)). Do f and 14 have the same value?
False
Let o = 44 - 30. Suppose b = 3*b - o. Which is bigger: 6 or b?
b
Let w = -17 + -3. Let v = 21 + w. Is 2/85 greater than v?
False
Let k = -8 - -17. Let m = 9.1 - k. Which is smaller: m or 2?
m
Let y = -0.4 - -0.34. Let o = 0.44 - y. Let t = o - 1.5. Is -2/5 equal to t?
False
Let q(c) = -c**2 - 4*c - 4. Let a be q(-5). Let f = -9 - a. Which is greater: 1 or f?
1
Let c be 10/25 - (-116)/10. Let q be (c/(-10))/(2/(-5)). Is 3 at most q?
True
Suppose z = 6*z + 425. Let y = z - -337/4. Let m be (2 + -1)/(2/(-4)). Which is bigger: m or y?
y
Let g = -5 - -6. Let n be (g + 2)/3 - -1. Which is greater: -2 or n?
n
Let p = -306 - -307. Let t be 13/(-3) + 2 - -2. Which is greater: p or t?
p
Let r = 4/41669 - -10541961/3083506. Let n = 3/37 + r. Let v = n - 3. Which is smaller: 0.1 or v?
0.1
Suppose h = a + 15, -3*h - 7*a + 2*a = -5. Let f = h + -7. Is f bigger than 4?
False
Let k(t) = -t + 9. Let f be k(9). Let s = f - 0. Is s equal to 1/8?
False
Let t = -323 - -4197/13. Let j = 0 - t. Which is smaller: 0 or j?
0
Suppose -s - 38 = 5*u, 2*s - 5*u - 7 + 23 = 0. Which is smaller: -17 or s?
s
Let n = -151927/1680 - -11/336. Let r = n + 90. Suppose -4*w + 0*w = -3*o - 9, 4*w = -o - 3. Which is bigger: w or r?
w
Suppose -n = -4*v - 11 - 14, 3*v + 18 = n. Let z = -6 - v. Is 1/2 at least as big as z?
False
Let j = -1/2 + 5/4. Is j bigger than 1?
False
Let b = -151 - -146. Are -14/3 and b non-equal?
True
Let u be 37/(-13) - 42/273. Suppose -5*o = -f + 13 + 7, f = 2*o + 8. Suppose b = 3*p - p + 9, f = -b + 3. Is u equal to p?
True
Let g = -4 - -6. Let v be 0 + ((-2)/(-4) - g). Is v less than -2?
False
Suppose -4*w - 7 = 1. Let v = -4 - w. Is -3 != v?
True
Suppose 0 = -5*d - 9 + 29. Are d and 5 unequal?
True
Suppose 0 = -3*p - 2*f + 3, -4*f + 1 + 12 = -p. Is p at least as big as -9/13?
False
Suppose -2*s - s + 30 = 4*d, -s + d = -3. Does 6 = s?
True
Suppose 2*c = 2*a + 72 + 50, 0 = -4*a - 3*c - 258. Which is greater: a or -62?
-62
Let j = -2/9 - 0. Which is greater: j or 1/5?
1/5
Suppose 7*r = 179 - 60. Is r < 16?
False
Let h(q) = -q**3 - 5*q**2. Let s be h(-5). Let d be 12/(-10)*30/9. Is s bigger than d?
True
Suppose 24 = -9*v + v. Suppose -19 = 2*a - 3*u, 2*a = -a + 5*u - 30. Is v smaller than a?
False
Let x = 21 + -32. Is x at most as big as -5?
True
Let x(y) = y + 10. Let t be x(-10). Let w = 2 - t. Suppose -h + w = -1. Is h at most 4?
True
Let k = -7 + 1. Let f = -5 - k. Suppose -s = 3*s - 8. Is s less than or equal to f?
False
Suppose 5*h = r + 100, 0*h - 5*r + 109 = 4*h. Is h less than 21?
False
Let h be 1/(-2) + 9/2. Suppose v = h*v + 21. Is v less than or equal to -6?
True
Let h be (-4)/(-6) + 4/12. Let k be 4/(-20) - (-12)/10. Is h less than or equal to k?
True
Let v = -5 + -1. Let h be v/12 - 1/(-10). Is 1 at least h?
True
Let p = -77 + 78. Let c = -1184 + 50914/43. Which is smaller: p or c?
c
Let j = 748/3 + -662/3. Which is smaller: 30 or j?
j
Let j(u) = u**2 - 8*u + 7. Let p be j(7). Is p greater than 2/45?
False
Let w be ((-8)/(-36))/((-2)/12). Let j = -6 - -4. Do j and w have different values?
True
Let r be (-4)/(-18) + 148/(-18). Let m be 1/12 + (-2)/r. Let i = 3.054 - 0.054. Is m greater than or equal to i?
False
Let t = 7.863 + -0.063. Let m = t - 8. Is m not equal to 2/3?
True
Let i = 5.3 - 5.4. Is -0.4 at most as big as i?
True
Let s be 4/(-10) + 24/35. Let k be (1/4*4)/(-1). Is k smaller than s?
True
Let b = -7 - 6. Is b smaller than -13?
False
Suppose p - 2*p - 1 = 0. Let f = -5/6 + 23/24. Is f bigger than p?
True
Let b be -2 - 4/(924/2787). Let i = b + 150/11. Does 0 = i?
False
Let p = 6 - 2. Suppose 0 = 5*u - i + 2, -4*i + 2*i + p = 0. Are 1 and u unequal?
True
Let y be (-613)/205 + (0 - (-9)/3). Which is bigger: y or 0?
y
Let c be ((-2 - -3)*-10)/(-2). Suppose -c*i + 6 = 11. Which is smaller: i or -6/13?
i
Let j(n) = n**2. Let s(i) = i**2 + i - 2. Let z be s(-2). Suppose t = 1 - z. Let p be j(t). Is 1 greater than p?
False
Let y = -87 - -75. Is y greater than or equal to -16?
True
Let l = -58 + 758/13. Which is smaller: 1 or l?
l
Let z(h) = -h + 5. Let f be z(0). Suppose 4*q = -3*a + q, f = 3*a - 2*q. Let n = 11590/20307 - -2/2901. Which is smaller: n or a?
n
Let b = 300 - 3003/10. Which is greater: b or 1?
1
Suppose 4*i - 2*i = -4. Let m be i/4 + 1/2. Let u be (3/(-9))/(1/(-3)). Which is smaller: m or u?
m
Suppose 16*m - 21*m + 45 = 0. Are 10 and m equal?
False
Suppose -1 = -3*z - h, -3*z - z - 2*h + 4 = 0. Let u = 154/3 + -51. Which is greater: z or u?
u
Let l = 8.68 + -9. Let o = 0.08 - l. Which is greater: o or -2/3?
o
Let q be ((-2)/(-1) + -1)/(-1). Let j be 0 - (2 - 0) - 24/(-14). Is q at most as big as j?
True
Let t be (-42)/12 - 3/6. Which is smaller: t or -2?
t
Let v be 4*(2 - 6/4). Let d = -1 - -0.8. Is v less than d?
False
Let p = -0.26 + 4.26. Let o = p + 8. Which is smaller: 1/3 or o?
1/3
Let t be 6/4 + (-7)/(-14). Suppose -4*y - 10 + t = 0. Are -11/5 and y non-equal?
True
Let u(d) = -3*d**3 + 2*d + 0*d + 2*d**3 - 5*d**2 + 3*d**2. Let p be u(-3). Suppose 2*l - p*a - 1 = -18, -4*l - 29 = -5*a. Which is smaller: 0 or l?
l
Let j(b) = 2*b**2 + 5*b + 2. Let o be j(-3). Suppose o*m - 6 = 4*m. Suppose 20 = m*q - 2*q. Is q < 4?
False
Let c = -4.175 - 0.025. Let f = c - -4. Is f less than 1?
True
Let r(p) = 8 - 5 - p - p + 10. Let u be r(10). Let a = -5 - u. Which is smaller: 1 or a?
1
Let i be (-262)/(-14) - (-2)/7. Let y = 1 - i. Let a be (-6)/y + (-2)/18. Is 0 at most as big as a?
True
Let q = -2.5 + -8.5. Let h = 11.1 + q. Which is smaller: -0.03 or h?
-0.03
Suppose 0 = -3*d - d + 20. Suppose 4*x - 13 = -3*o + 16, -3*x = 4*o - 20. Suppose d*r + x = 3. Is r bigger than 1?
False
Suppose -3*w + 3 = -6. Suppose 2*h = 4*x - 106, 0 = -w*h + 5*x - 87 - 67. Let i = 212/5 + h. Which is bigger: i or -1?
i
Let i be 5/((-5)/(-3))*-7. Let p = i + 106/5. W