z = -2/3 + k. Is z at most -2/5?
False
Let t(p) = -p**3 - p**2 - p + 2. Let u be t(0). Let k be 2/12*(6 - 0). Which is greater: u or k?
u
Suppose -4*g = 0, -7*c + 2*c = -4*g + 5. Let w(i) = -i**2 - 5*i - 1. Let v be w(-4). Suppose l + v = -4*m, 3 = m + m + 5*l. Is c >= m?
True
Let s = -59/75 + 3/25. Suppose 4*t - 4*c = -0*c - 4, t + c = -3. Which is smaller: t or s?
t
Let b be (-2)/9 + (-52)/9. Let y = 0 + b. Let o be 6/27 + (-195)/27. Do y and o have the same value?
False
Let n(r) = r**3 - r**2 + 4 - 10*r**2 + 3 - 13*r. Let c be n(12). Let l be (1 - 1) + (-5 - 1). Are l and c equal?
False
Let w be -1*1 - (-56)/4. Which is smaller: 14 or w?
w
Let k = 1.25 + -0.4. Let v = k - -0.25. Let t = -0.1 + v. Is -1 bigger than t?
False
Suppose 5*o - 2*s = 5, s = 2*o - 2*s + 9. Let g be 24/9 + (-1)/(-3). Let b be (o/(-8))/(g - 0). Is 1 greater than b?
True
Let w(s) = s**2 - 8*s + 4. Let x be w(7). Let n be (-1)/(-4)*x/(-6). Is 0 < n?
True
Let i(t) be the third derivative of t**5/20 + t**4/24 - t**3/3 - 4*t**2. Let a be i(-2). Is 7 greater than a?
False
Let o = -0.02 + 0.02. Let j = o + -0.2. Are 1/8 and j equal?
False
Let j be (13 - -2)*-1*-1. Let f(q) = -q**3 + 15*q**2 - q + 13. Let g be f(j). Which is greater: -4 or g?
g
Let o be (16 + 0)*(-8)/(-16). Is 9 not equal to o?
True
Let l = -43.1 + 43. Is -45 at least l?
False
Let g(s) = 3*s**2 + 4*s + 2. Let r be g(-2). Suppose -2*i = -0*i - r. Suppose -i*d = -6*d. Which is greater: d or -1?
d
Let g be (20/2)/(-3 - -5). Suppose -g*h - 31 = -k, -2*h - 11 = -2*k + 3. Let b = 140 + -145. Which is smaller: h or b?
h
Suppose 0*m = -4*m - 12. Let f be (-12)/(-3)*(-1 - 0). Is m < f?
False
Let b = -5 - -3. Let q be ((-4)/5)/(b/(-10)). Is -4 at most as big as q?
True
Let h = 142061/4510 + 2/2255. Which is smaller: 32 or h?
h
Suppose a = 2*b - 5, 2 - 1 = -a. Let p be 1/(-3)*b - -43. Let u = 42 - p. Is u < 1?
True
Let k = -130 + 135. Which is bigger: k or 8?
8
Suppose 0 = -2*m - 12 + 2. Which is bigger: -2 or m?
-2
Suppose -3*l - 10 = -8*l. Suppose x = -2*y + 1, -2*y + 5 = l*y + 5*x. Suppose 0 = -2*v - 4 + 2. Which is greater: v or y?
y
Suppose 0 = d - 0*d + 4*g + 5, 0 = -4*d - g - 20. Let z be d/(-3)*4/(-30). Are z and 1/2 unequal?
True
Let p = -2271570/23 - -99323. Let b = p + -559. Which is smaller: -1 or b?
-1
Let z = 12 - 19. Let c = -9 + 3. Is z equal to c?
False
Suppose 2 = 3*k - 4. Suppose -2*n = 4*x - 4 - k, 3*n + 5*x = 7. Are n and -1/4 equal?
False
Suppose 0 = -5*f - o - 3*o + 3, o = -f. Which is bigger: f or -2?
f
Let z be (26/(-4))/((-1)/2). Suppose 2*s - 4*t = 6, s = -4*s - 4*t - z. Which is greater: s or 2/17?
2/17
Let f = -5 - -7. Let r be -4 + 0 + f + 1. Which is smaller: -3/2 or r?
-3/2
Let q(o) = 3*o**3 - o**2 - 6*o - 1. Let d(c) = -c**3 + 2*c. Let x(n) = 7*d(n) + 2*q(n). Let f(v) = -v + 1. Let l be f(4). Let u be x(l). Is u less than 1?
False
Let k be (3/16*4)/((-4)/(-16)). Is 1 bigger than k?
False
Suppose 5*r - 5*k = 52 - 7, -k + 15 = 3*r. Suppose 2*b + 7 = -4*d + 1, -3*d = 2*b + r. Is 0 bigger than b?
True
Let i be (1090/8)/5 - 3/(-4). Which is smaller: i or 27?
27
Let y = 0 + -4. Let p = 7 + y. Which is greater: 2 or p?
p
Let c = 8/45 - -2/9. Let p be 2 + 9/((-6)/(-2)). Suppose -p*z + 0*o = 3*o + 5, -4*z = -2*o + 4. Which is bigger: z or c?
c
Let s be (-10)/20 - (-1 + -5). Which is smaller: 6 or s?
s
Let d be (-1 - (-3)/3)/(-1). Let f be ((-1)/15*-3)/1. Which is smaller: f or d?
d
Let i = -51 - -119. Do i and 1 have the same value?
False
Suppose -4*c + b - 89 = 0, -3*b = -5 + 2. Which is smaller: c or -23?
-23
Let i = 2.2 - 12.2. Is 0.1 <= i?
False
Let v = 42388186135565 - 443377459804981262611/10459930. Let t = v - -1/47330. Let b = 4/17 + t. Are 2/5 and b non-equal?
True
Let n = -1.8 + 2. Let y = n + 0. Which is smaller: y or -2?
-2
Let t = 748186 - 12724332/17. Let z = t + 304. Do 0 and z have the same value?
False
Let b = 14 + -31. Is b != -17?
False
Let q = 0.07 + -0.07. Let n = 46 + -113. Let h = n - -467/7. Are h and q non-equal?
True
Let z = -0.115 - -0.215. Let y = 3.7 + -0.7. Is z bigger than y?
False
Let f be 1 + 24*(-6)/9. Let i be (0 - -2)/(-5 - f). Which is smaller: i or 1?
i
Let c(q) = 1 - 3 + 7 - 2*q. Let s be c(6). Is -6 greater than s?
True
Let r be (-3)/(-1) + -15 - 1. Let x be 2/(-11) + r/(-11). Is 1 at least as big as x?
True
Suppose 2*l - 7 = -5*n, 0 = 3*l + n + 3*n - 14. Let q = -93 - -99. Is l less than or equal to q?
True
Let k be (-4 + 1)*7/(-3). Suppose -5*z - 4*g + 3*g = k, -3*g = 5*z + 1. Do z and -2 have different values?
False
Let c = -2370/7 + 338. Suppose 0 = -2*g - 2*g + 2*i - 10, g = -2*i + 10. Suppose -2*n - m - 4 = g, 2 = -4*n - m - 6. Which is greater: c or n?
c
Let f = -20 + 35/2. Is f != -4?
True
Let o = -115 - -332/3. Let d = -5 - o. Is d <= 6?
True
Let l be -2 + 1/(2/4). Which is bigger: 1/57 or l?
1/57
Let p = 8/23353 + -48481892/3105949. Let a = -110/7 - p. Which is smaller: -1 or a?
-1
Suppose -f + 4*d = -32, 0 = 5*f - 0*f - 2*d - 70. Let v be f/42 + 46/(-14). Is -3 at most as big as v?
True
Suppose 0 = -0*j + 2*j. Let g = -10 - -14. Which is greater: j or g?
g
Let j(y) = -7*y - 11. Let z be j(-13). Let g be 4/(-14) - z/(-70). Which is smaller: g or 0?
0
Let w = -0.27 + 2.27. Let c = -0.9 + -0.1. Let j = w + c. Which is greater: 0.3 or j?
j
Suppose 0 = 3*h + 2*h + 165. Let a be 0 + (45 - (-3 + 3)). Let x be h/a + (-1)/(-3). Are x and 0.1 unequal?
True
Suppose 5*f - 12 - 13 = 0. Suppose 2*u = 3*y + 11, 2*y + f*u = -0*y - 20. Let b be y - -3 - (-1)/1. Which is smaller: -1/2 or b?
b
Suppose -p - 4*c + 24 = -0*p, 0 = -3*p + 5*c - 13. Let l be 2/(p - (2 + 0)). Is -2 > l?
False
Suppose -5*d - 40 = 5*u, 0 = -2*u - 4*d + 5*d - 1. Let a be 3 + (-17)/((-3)/u). Let i be (-38)/a + (2 - 4). Is 1 equal to i?
False
Let q = 9 + -10. Let j = 0.2 - 0.1. Do q and j have different values?
True
Let t = 5 + -3. Let i be ((-18)/8)/(t/16). Let f be (-22)/i + (-10)/45. Is 1 at most as big as f?
True
Let f = 11 + -11.1. Is 4/5 not equal to f?
True
Suppose 56 = -3*c - 13. Let d = c - -23. Which is smaller: 2/3 or d?
d
Let m = -128 + 128.89. Let g = m + 0.11. Which is smaller: 8 or g?
g
Let q = -91/850 - -5/34. Suppose 0*p - 1 = -2*p + k, 3*k + 3 = p. Is p smaller than q?
True
Let s(g) = -g**3 + g**2 - g - 6. Let b be s(0). Let n = b + 5. Let k be (4/(-88))/(1/(-4)). Which is smaller: k or n?
n
Let s = -5 + 9. Suppose 3*m - 2*b + 11 - 1 = 0, 8 = s*b. Let j = -2 - m. Which is greater: 3/8 or j?
3/8
Let h be -2*(70/(-4))/(-5). Let f be 28/(-6) + (-6)/(-9). Let v = h - f. Are v and -3 non-equal?
False
Let u(s) = 9*s + 1. Let z be u(-1). Let y = -6 - z. Is 9/4 bigger than y?
True
Let q be 1/(-31)*(-16)/(-8). Let x = q - 213/62. Is -5 <= x?
True
Let b(d) = -3*d + 8. Let p be b(7). Let a = 16 + p. Is -1 != a?
True
Let b = -56 - -55. Let w = -1 - 0. Does b = w?
True
Let p = -142 - -154. Which is bigger: p or 1/2?
p
Let h be 1 + 2 - (-50)/5. Does h = 12?
False
Let n be (-3 + 2)/(-30)*-106. Let f = n + 16/5. Suppose 2*q + 7 = -2*w - q, -w - 4*q = 11. Is f < w?
True
Let j(q) = q**3 + 7*q**2 - 11*q - 8. Let s be j(-8). Let t be (s/3)/(-2) + 2. Is -2 <= t?
True
Let a = -0.2 - 0.8. Let l = a - -0.5. Let w = 0.4 + l. Which is smaller: w or -2?
-2
Suppose 3*s + 2*s = 150. Let r be (2/(-27))/((-10)/s). Which is smaller: 0 or r?
0
Suppose 5*u + 80 = 5*x, 3*u = -3*x - 2*u + 88. Let b = 11 - x. Let o be (-6)/4 - (-5)/b. Is o at most as big as -2?
True
Let f = -27.1 + 34. Let m = 7 - f. Which is smaller: -3 or m?
-3
Suppose -i = 4*i. Suppose 2*z = -4*t, -2*z = -i*z + 2*t - 2. Suppose -2 - 6 = -4*r. Is z smaller than r?
False
Let k = 0.02 + 1.98. Let o = k + -2.2. Which is greater: 1/3 or o?
1/3
Let v = 2.9 + -3. Let k = -7 - -10. Which is smaller: k or v?
v
Let g be (8 + -9)*1*-1. Which is bigger: g or -4/13?
g
Let v be (7 + -3)/((-12)/9). Is 5 equal to v?
False
Let d be 2/(-2) + 6/5. Let w be (-2)/(-6)*(-2 + 5). Is w < d?
False
Let f be (-6 - 12/(-3)) + -11. Let h be -2*1 + 1 + -11. Are f and h nonequal?
True
Let c = 0.1 + -0.06. Let n = c - 0.34. Let a be (8/4*1)/8. Is n greater than a?
False
Let k(s) = -3 - 3*s - 13 + 3. Let q be k(-7). Are q and 9 unequal?
True
Let w(j) = -j**3 + 4*j**2 + j - 13. Let o be w(3). Which is smaller: o or -3/46?
o
Suppose 0 = -5*q - 0*q. Is 1 > q?
True
Let f = 