 h be (0 - 3 - -3)/(-1). Let k be r(h). Let f be 12 + k + -2 + -1. Is -5 smaller than f?
False
Let k = 11.963 + -11.9. Let m = k + 9.937. Which is bigger: 5 or m?
m
Let a = -137/6 - -22. Let w = -1/12 - a. Is w greater than or equal to 1?
False
Let x = 145307/15 - 9682. Let i = 5 - x. Let v be 6/9*3/2. Which is bigger: v or i?
v
Let t = 0.14 + -0.34. Let c = -45.811 - -45.2. Let r = c + 0.011. Is t smaller than r?
False
Let l be 3 - 1 - 2 - -3. Suppose 0 = 2*q + q + 3, l*b = q - 2. Let n be (-4)/10 - 88/(-170). Is b smaller than n?
True
Suppose -4*y + 3 = -2*m + m, -y = 2*m - 3. Let t = m - 1. Let o = -3.92 - -6.92. Which is bigger: o or t?
o
Let k = -2434 + 2453. Which is smaller: k or 5?
5
Let q = -16 - -16. Let d(l) = 2*l - 9. Let i be d(q). Are -10 and i unequal?
True
Let p(w) be the third derivative of w**6/120 + 7*w**5/60 + w**4/6 - w**3/2 - 5*w**2. Let y be -1 - 1/(1/5). Let z be p(y). Do 11 and z have different values?
True
Let q = 300 - 299.456. Is -1 equal to q?
False
Let a = -957 + 987. Which is bigger: 25 or a?
a
Suppose -4*q = -2*p - 36, 9*p - 4*p - 3*q = -76. Let m be 48/(-42) + (-2)/p. Let k be (2 - 1 - -4)/m. Which is bigger: -7 or k?
k
Suppose -19*m + 24*m = 0. Suppose -t - 3*l - 6 = t, m = -l. Suppose 3*k - 7 = 3*h - 2*h, k - 5 = 3*h. Is t at most as big as h?
True
Let u(a) = a + 38. Let m be u(-33). Which is smaller: m or -102?
-102
Let r(g) = -3*g**2 - 20*g - 12. Let c be r(-6). Which is greater: c or 54/59?
54/59
Let o be 458/(-10) + (-5)/25. Let n = -27 - o. Is n > 17?
True
Let p = 207 - 195. Is p > 2?
True
Let t be (-8)/10 - 2070/(-2775). Which is smaller: t or -2/7?
-2/7
Let c = -100 + 54. Let o = -46.05 - c. Are 1/13 and o unequal?
True
Suppose 5*j + 16 = 91. Suppose -j = -2*x - 9. Is 36/11 at most as big as x?
False
Suppose 176 = 5*q - 44. Let t be q/76 - (-1 - 0). Which is bigger: 1 or t?
t
Let t = -0.17 - 38.83. Let k = -38.8 - t. Which is greater: k or 0?
k
Let r = -685 + 669. Is 2/53 < r?
False
Let k be (2 + -1)/(9/90). Suppose 7*x - 12*x + k = 0. Are -10 and x unequal?
True
Let v(f) = -2*f**3 + 31*f**2 - 14*f - 16. Let d be v(15). Which is smaller: 2/9 or d?
d
Suppose -5*n + 4*q = 22 + 107, 5*n = 5*q - 125. Which is greater: -28 or n?
-28
Let q = -37 + 39. Suppose -5*k = -3*a + 12, -4 = -k + q*k - a. Let f = -54/13 - -823/195. Is f at least k?
True
Suppose 0 = -4*r - 291 + 903. Let b = 913/6 - r. Is -3 less than or equal to b?
True
Let y(s) = -11*s - 12. Let k be y(3). Let h = k - -26. Do -19 and h have different values?
False
Let a(n) = 9*n + 3. Let x be a(-3). Suppose -5*b = 5*u - 530, 5*b - 3*u + 0*u - 506 = 0. Suppose -d - 2*o = 29, d = -4*d + 4*o - b. Which is greater: x or d?
d
Let r = -10.14 + 0.14. Let l = 9.9 + r. Let g = -0.07 + 13.07. Which is greater: g or l?
g
Let m be (9/(-27))/((-86)/(-12)). Is m at most as big as 1/5?
True
Let t(g) be the second derivative of -g**4/12 - 7*g**3/3 - 9*g**2 - 2*g. Let y be t(-14). Let x be 1/(-3)*y/(-12). Is -1 not equal to x?
True
Let q = 1/213 + 5321/852. Let w = q + -3/4. Is 5 at most w?
True
Let a = 169.97 + -170. Are a and 0.22 non-equal?
True
Let c = 0.31 - -0.11. Let n = -0.9 + 0.8. Which is smaller: n or c?
n
Let z be (0/(-2))/(-4 - -2). Let o(r) = 2*r**2 - 2*r + 1. Let h be o(z). Is h > 2?
False
Let t = -1960894/489 - -4010. Is t bigger than 1?
False
Let o be 63/35406*(5 - -1). Which is smaller: 0 or o?
0
Let k = -458 - -413. Which is greater: -49 or k?
k
Let i = 8.47 - -0.03. Let a = -1.5 + i. Let r = a + -7.4. Is r not equal to 2/3?
True
Let q = -79 - -88. Suppose -4*y - q = -7*y. Is y smaller than 4?
True
Suppose 3*g - 4*w = 6344, 6544 = 2*g + 5*w + 2330. Is 2113 greater than g?
True
Let f(o) = o**3 - 11*o**2 - 13*o + 12. Let z(y) = 17*y + 2. Let x be z(4). Suppose -5*p + 2*t + x = 0, 0*p - 3*p - t = -31. Let u be f(p). Is -2/41 at least u?
False
Let i = 7 + -6.9. Let l = -0.14 - i. Let d = 0.14 + l. Does 4 = d?
False
Let u(t) = -t**3 + 4*t - 1. Let c be u(-2). Let q = -5/81 - -469/2349. Which is greater: q or c?
q
Let d = -2754 - -2747. Suppose -7 + 2 = -5*n. Does n = d?
False
Let b = -51.74 - -56. Let t = 0.26 - b. Which is smaller: -0.6 or t?
t
Let i(a) = -3*a**3 - 12*a**2 - 4*a + 122. Let u be i(-7). Which is smaller: u or 590?
590
Let g be (-4)/(-36)*-3*1113. Is -370 equal to g?
False
Let f = 76.9 + -77. Which is smaller: f or -2/5?
-2/5
Let q be ((-6)/4)/(1/(-2)). Let i(p) = p**2 + 5. Let h(g) = -g**2 - 4. Let o(t) = 3*h(t) + 2*i(t). Let b be o(0). Is b bigger than q?
False
Suppose 4*k + k = 2*p + 11, -4*p - 19 = -7*k. Are 69/4 and k non-equal?
True
Let w(o) = 0 + 8 - o**2 + 11*o + 3. Let d be w(12). Let y = d + 3. Which is smaller: y or 4?
y
Suppose 8*r - 12 = 5*r. Let l = r - 4. Suppose -2 = -0*n + 4*n + 3*j, l = 2*n - j - 4. Is 0 smaller than n?
True
Let t be 3/36 + 16/(-192). Is t at most -1/23?
False
Let r = 1797 - 1795. Let y = 42/25 + -3553/2100. Let l = -5/28 - y. Which is greater: l or r?
r
Let b = 66/23 - 290/69. Let r = 0.06 + 0.24. Which is bigger: b or r?
r
Let s = 0.0715 + 0.0285. Which is bigger: -94 or s?
s
Let v = -23 - -41. Suppose 5*j = -v - 27. Let x = 5 + j. Is x at least as big as 2/7?
False
Let q = -0.098 - -0.198. Let n = -27.965 + -0.035. Let i = -26.3 - n. Are i and q non-equal?
True
Let s = -5.971 - -0.071. Let l = s + 68.9. Which is smaller: l or -1?
-1
Let o = -101/3 - -34. Which is greater: o or -6?
o
Let c = 2 - 4. Let t = 151/64 - 7/64. Let s = c + t. Which is smaller: 0 or s?
0
Suppose -23*z + 49*z = 130. Suppose -2*w - 1 = -17. Suppose -z*b - w - 17 = 0. Which is smaller: b or -1?
b
Let t(f) = f - 7. Let l be t(2). Let a be 4 + (2 + l - -1). Suppose -53 = 4*v - 5*o, 3*v - a*o - 2*o = -41. Which is smaller: -8 or v?
-8
Suppose -5*c + 2*v + 132 = 0, -c + 3*v = 2*v - 24. Suppose -3*z - 14 = 3*l - 2, 0 = 3*l - 5*z + c. Suppose 0 = -3*w - 22 + 4. Is w smaller than l?
False
Let k(u) = 191*u - 1473. Let r be k(5). Which is smaller: -516 or r?
r
Let m = -5 - -3. Let r(k) = 30*k + 3. Let x be r(2). Let s be 36/x*(-1 - 1 - -1). Which is bigger: s or m?
s
Let z = -99/161 + 24/23. Which is greater: 9 or z?
9
Let i = -17.56 - 0.44. Let c be (79/15 + -5)*10/4. Is c < i?
False
Let j(a) = 2*a**3 - 78*a**2 + 219*a - 38. Let f be j(36). Suppose -k - 4*v + 59 = 0, 0 = k + 5*v - 14 - 42. Is f smaller than k?
True
Let x be (-3080)/60*(0 + 52/24). Let g = 74 - 185. Let u = g - x. Which is greater: u or -0.5?
u
Suppose w = 18*q - 23*q - 149, -5*q - 313 = 2*w. Which is greater: w or -163?
-163
Suppose -10 + 0 = 2*h. Let s = 13 + h. Let q = 17 + -8. Which is smaller: q or s?
s
Suppose -9*t + 92 = -637. Which is smaller: 79 or t?
79
Let o = 0.41 - -1.29. Let h = o - 2.7. Does 0.2 = h?
False
Let q(n) = n. Let v be q(8). Suppose 3*m + 15 = v*m. Let o = 237/2 + -115. Which is bigger: m or o?
o
Let m be (-3)/(-2)*16/(-36)*3. Let r be 14/10 + -3 + m + 2. Is r > -1?
False
Let b be -6 + ((-111282)/1092)/(-17). Which is smaller: b or 0?
b
Suppose 4*g + 36 = 4*r - 0, 4*r + 13 = -3*g. Let h be (-2)/(-40) + g/28. Is h at most as big as 4?
True
Let l be 0 - 13/((-13)/(-8)). Which is greater: l or -9?
l
Let w = -3.553 + 0.243. Let n = w - -3.3. Are n and 3 equal?
False
Let o = 129277/132 - 3921/4. Let u = o + 6/11. Does 10 = u?
False
Let c = 290 + -309.9. Let d = c - -20. Which is bigger: d or 12?
12
Let c = 4.94853 - -0.05147. Let y = 0.46 + -0.4. Are y and c equal?
False
Let v be 0/((-4)/1*1). Is 2/2643 equal to v?
False
Let c = 172 - 306. Is -135 > c?
False
Let m = -177 - -107. Let d be 762/m + (-3)/(-5) + 3. Which is greater: d or -7?
-7
Let l be 136/407 - (-109)/(-1199). Is l at most as big as 1?
True
Let j = 0.7 + 0.3. Suppose -5*d - 3*v = -935, -4*d + d + 2*v = -580. Let h = d - 198. Is h smaller than j?
True
Let u = -5379 - -1941817/361. Is u less than or equal to 1?
True
Let f be -2 + 0 - (-6 - 1). Suppose x + 4 + 3 = -2*q, 0 = 3*x + f*q + 20. Let m be ((-1)/2)/(x/(-4)). Is m bigger than -4/7?
True
Suppose 0 = 8*k - 568 - 584. Are k and 144 unequal?
False
Let q = 1041.9 - 1042. Which is greater: -2.2 or q?
q
Let x = -14 + -2. Let g = -6 - x. Let i be 0 + 1 + 3/(-2). Which is smaller: g or i?
i
Let o = 2623/21 + -125. Suppose 0 = -0*q + 4*q. Suppose q*w = 5*w. Which is smaller: w or o?
o
Let f be (4/(-3))/((-2)/(-6)). Let u be (f + 1 + 1)/((