Let m be (-1 + z + -2)*-1. Is m less than -2/31?
True
Let x be 205/420 - (-2)/(-7). Which is smaller: -1 or x?
-1
Let j = -177.93 - -178. Let n = 2 - 2. Is j != n?
True
Let p = -125 + 149. Let u(f) = -6*f - 7. Let r be u(-5). Is r smaller than p?
True
Let i be (-2 - 15)/((-1)/2). Let n = i - 38. Is -3 >= n?
True
Let l = -19.1 + 7.2. Let h = l - 0.1. Let z = h - -11.5. Which is smaller: 1 or z?
z
Let n(c) = -c**2 + 6*c - 5. Let b(f) = f - 3. Let p be b(8). Let h be n(p). Let v = 165 - 831/5. Which is smaller: h or v?
v
Let z be ((1 - 1)/(-4))/(-2). Suppose 3*h - 9 = -z. Suppose h*r - 2*u = 16, -3*u + 7 = 4*r - 3. Is r <= 5?
True
Let g be (0 - (-2)/6)*3. Let t = 371/165 + 376657/2145. Let z = 178 - t. Are g and z nonequal?
True
Let c = 3 + -19. Let p = -2.43 - -3.43. Do p and c have the same value?
False
Suppose o = 4*o - 2*z + 52, 2*o + 2*z + 48 = 0. Let s(v) = -676*v + 6737. Let x be s(10). Which is smaller: o or x?
x
Let s = -0.37 + 0.71. Let c = 13.34 - s. Let v = -12.9 + c. Which is smaller: v or 0.15?
v
Let c = -0.52 + 0.523. Let k = -33.003 + c. Are k and 1 non-equal?
True
Let s(k) = -k**2 + k + 6. Let l(g) = -2*g + 29. Let z be l(16). Let j be s(z). Which is smaller: j or -4?
j
Suppose 0 = -14*p - 11*p + 1225. Is p != 52?
True
Suppose 5*n + 7 = 4*x - 98, -4*n - 73 = -x. Let o = 12 + n. Let s = 169 + -171. Does o = s?
False
Let r = 884/15 + -10531/210. Is r bigger than 9?
False
Let b = -28 - 8. Suppose -37*z - 1479 + 184 = 0. Is b less than z?
True
Suppose 2*k - 125 = -5*g, 5*g - k - 1 - 139 = 0. Let b be (-4)/(-183)*g/6. Do -1 and b have the same value?
False
Let b(f) = f**2 - 3*f + 4. Let h be b(4). Suppose -z - 3*z = -h. Let l be 2/5 - 40/(-25). Is z bigger than l?
False
Suppose 0 = -5*l - m + 5*m - 1434, 0 = 5*l - m + 1446. Let u = -3188/11 - l. Is -1 not equal to u?
True
Let b = -62 - -61.73. Let s = b - -0.06. Let v = s + 0.01. Is -3/8 > v?
False
Let w(z) = z**2 - 37*z + 62. Let g be w(35). Is g less than or equal to -15?
False
Suppose 2*w + 0*w = s - 7, 20 = -5*s - w. Let p be -1 + 2 - (1 + s). Let o be (-1)/5 - 147/(-35). Which is smaller: p or o?
p
Suppose -36*s = -12*s + 6192. Is -259 != s?
True
Suppose 7*t + 27 = 13. Let j = 39091/5 - 6841. Let h = 974 - j. Which is greater: t or h?
t
Let c = -294 + 3219/11. Let x = -277/187 - c. Suppose 2*w = 3*i + 6*w + 9, 2*i = 4*w + 14. Is i equal to x?
False
Let i be (4/6)/((-6)/4 - -6). Let q be (-2 - (-1 - 1))/((-2)/1). Which is smaller: i or q?
q
Let d = -269/18645 - 2/165. Is 1 >= d?
True
Let y = 10 + 42. Suppose 6*f = 2*f + y. Which is smaller: 12 or f?
12
Suppose 9*c + 28 = 91. Is c bigger than -12?
True
Let u = -194903/7 + 27925. Which is smaller: u or 83?
u
Suppose 0 = -2*p - 2*s - 22, 9*s + 7 = -2*p + 4*s. Let n be 18/(-4) - 8/p. Which is greater: -1 or n?
-1
Suppose -4 = -4*s + 8. Let p = -9 + 13. Suppose -1 = -4*v + s*w - 0*w, 4*v = p*w. Which is greater: 3 or v?
3
Let t be ((-2)/152)/(13/(-2)). Which is bigger: 1 or t?
1
Let y(u) = -u**2 + 6*u - 4. Let p be y(4). Suppose 3*s + 11 - p = -2*c, 8 = 2*c. Let b(z) = z**3 + 6*z**2 - 7*z - 4. Let r be b(-7). Which is greater: s or r?
r
Let i = 472 + -471. Is i bigger than 1/86?
True
Let s = 6 + -6.44. Let b = -0.4 + 0.5. Which is bigger: b or s?
b
Let w = 599 + -145. Is w at least as big as 454?
True
Suppose 2*d = -d - 2574. Let z be (d/90)/11 + (-4)/30. Let b = -115/6 + 19. Which is smaller: b or z?
z
Let r be (-693)/14*1140/(-135). Are r and 0.1 equal?
False
Let p = 148.06 - 146. Let u = 0.06 - p. Let x = 1362 - 1361.6. Which is smaller: x or u?
u
Let v be 6 + (18 - 3 - -6) + 2. Is v < 4/19?
False
Let w be (-16)/2140*20/8. Which is smaller: w or -4?
-4
Let d = 34 - 34.022. Let p = 0.048 - d. Which is smaller: 0.1 or p?
p
Let t(w) = 1. Let j(n) = 8*n + 2. Let d(f) = j(f) - 2*t(f). Let o be d(-1). Let z(u) = u**3 + 29*u**2 + 210*u + 25. Let l be z(-16). Which is smaller: o or l?
o
Let k = -0.97 + -0.03. Let g = k + 0. Let q be ((-68)/8 - -1)*(-4)/(-3). Do q and g have the same value?
False
Suppose 4*v + v = 30. Let w = -4 + v. Let s = -698/3 + 235. Which is greater: w or s?
s
Let a = 28 - 31. Let k be a + -1 + -2 + -10 + 15. Which is bigger: k or -8/17?
-8/17
Let k = -336 - -296. Does -38 = k?
False
Let q = 41 + -36. Let h be (25 - 3)*(q/2)/5. Is h < 9?
False
Suppose 4*a = -59*j + 64*j + 134, 4*j = -3*a + 116. Let i be ((-1)/(-2))/((-3)/(-218)). Let y = i - a. Which is greater: y or 5?
5
Let g be ((-114)/(-247))/((-16)/(-52)). Which is bigger: 29 or g?
29
Let m = -34.7 - -35. Which is smaller: 0.03 or m?
0.03
Let n(v) = v + 7. Let d(b) = -3 + b + 0*b - 3. Let u be d(0). Let o be n(u). Are -1/19 and o equal?
False
Let n(s) = s**3 + 7*s**2 + 8*s + 1. Let l be n(-6). Let u = -36 - -53. Suppose 0 = -4*o - u - 27. Is o >= l?
True
Let t be (-3 - -1)/(-1) - -3. Suppose -3*h + 11 - 29 = q, -t*h - 20 = 0. Let y be (q/(-9))/((-12)/(-9)). Which is smaller: y or 2?
y
Suppose -3*i + 2 + 13 = 0. Suppose -i*u + 0 = -10. Suppose -12*b - 38 = -74. Are u and b non-equal?
True
Let z = -0.07 + 0.016. Let o = -0.046 + z. Is o < 12?
True
Let n = -891107/1872 + 7623/16. Let d = n + -17/13. Which is greater: 0 or d?
0
Let s = 18/5 + -317/95. Let t = 87 + -88. Which is bigger: t or s?
s
Let u = 37 - 34. Suppose 3*p = 2*f + 7, p = 5*f + 1 - u. Is p < 3?
False
Suppose 2*i = -8, -m + 3 + 58 = -3*i. Let d be -3 + m/3 + 4/(-12). Is 12 > d?
False
Let g be 21/((-756)/(-8)) + 578/(-2520). Which is smaller: g or 1?
g
Let x = 239 + -235. Which is smaller: x or -1?
-1
Let l(i) = i**3 - 9*i**2 - 11*i + 11. Let u be l(10). Let s = -111605/616 - -2012/11. Let x = s - 7/8. Is u >= x?
True
Suppose f - 5*a = -3, 0*a = -4*f + 2*a - 66. Suppose -5*x - 3*k + 14 = 0, 4*x + 11 = -0*k + 5*k. Let o(y) = -19*y. Let u be o(x). Is f bigger than u?
True
Let n be (6 + -5)*(2 - (-19 - 2)). Is 97/4 bigger than n?
True
Suppose -6*x - 455 = 29*x. Suppose -32 = 4*m + 24. Is m at least x?
False
Let l be (1 - 3*1) + (-2703)/(-1325). Is l < -3/5?
False
Let i(s) = -s**2 - 10*s + 35. Let r be i(-12). Let b be -1 - 3/(-2 - r/9). Which is greater: b or 0?
0
Let b(k) = -k**3 + 5*k**2 - k + 5. Let c be b(5). Let n(j) = 276*j**2 - 552*j. Let i be n(2). Is i not equal to c?
False
Let m be (2/1 + 2)*(-13)/4. Let r = m - -46. Which is smaller: 32 or r?
32
Suppose 0 = 42*s - 10*s - 32. Which is greater: s or -5/38?
s
Let m(x) = 9*x - 9*x**2 + 8*x**2 - 7 - 8. Suppose -3*v - 4*y + 2*y + 14 = 0, 2*v = -3*y + 1. Let r be m(v). Which is bigger: r or -5?
-5
Let b = 0.346 - 0.346. Which is smaller: b or -50/9?
-50/9
Suppose 5*k + 27 = 3*r + 1553, -906 = -3*k - 3*r. Let f be (k/3)/4*-3. Is f >= -76?
True
Let y(w) = -2*w**3 - 5*w**2 + 9. Let n be y(-2). Is n > 34/7?
True
Suppose 0 = l + 3*l - 5*d - 19, -3*l + 3*d = -12. Let b be (-12)/(-2) + 2742/(-456). Is b at most l?
True
Let c = -0.016 + 0.036. Let y = -0.05 - -0.15. Does c = y?
False
Suppose 4*y + 23 = 5*c - 20, 0 = c + 4*y - 23. Let t = -6 + 17. Is t not equal to c?
False
Let l be 3*(1 + 35/(-3)). Is 3 less than l?
False
Suppose 5*p + 4 = 4*p. Let r be 3 - (-1 + 2) - 4. Let n = -1 + r. Which is smaller: p or n?
p
Suppose 18 = -8*m - 10*m. Is -181 bigger than m?
False
Let i be -1 + -3 + 15680/4080. Which is smaller: -0.1 or i?
i
Let t(k) = k**2 - 3*k + 2. Let l be t(2). Let n = -704 + 7750/11. Is l >= n?
False
Let r = -329 + 323. Let m(q) = -q + 2. Let v be m(0). Let u be 1/v + 66/(-12). Is r smaller than u?
True
Let l = 43 - 41. Suppose n - l*n = -34. Which is greater: n or 33?
n
Let k = 10 - 16. Let o = k + 22. Let x = -15 + o. Is x less than -4/9?
False
Suppose 0 = 7*i + 222 - 26. Let s be 226/40 + 7/i. Is 6 bigger than s?
True
Let g(y) = -7*y - 11. Let p(a) = -10*a - 16. Let o(i) = 7*g(i) - 5*p(i). Let s be o(0). Let z be (-14)/(-8)*s/7. Which is bigger: z or 1?
1
Suppose 468 + 4258 = -17*c. Is -280 <= c?
True
Let d = -643 + 9649/15. Let c(t) = 3*t**3 - 60*t**2 + 60*t - 58. Let x be c(19). Is d not equal to x?
True
Let s(r) = r**3 - 7*r**2 + 3*r - 13. Let w be s(7). Are 91/11 and w unequal?
True
Let t = -97 - -173. Let d = t + -78. Which is smaller: 0.7 or d?
d
Let f = -243/118309 - 69952678309/1183090. Let i = f + 59230. Let t = i + -103. Is -1 smaller than t?
True
Suppose 3*b = -3*a + 2*a - 147, b = a - 45. Let g be (b/(-60))/(36/10). Are g and 2/9 