-m = -5*i + 29 + 20, f = i - m - 9. Is i bigger than 11?
False
Let s be 992/(-60)*27/6. Which is smaller: s or -75?
-75
Let d(a) = -a**2 - 5*a - 5. Let j be d(-4). Which is bigger: j or 5/164?
5/164
Let x be (519/18 - 1/3) + -3. Let k = x - 26. Let s = 19.8 - -0.2. Is k at most as big as s?
True
Let h(t) = t**2 + 14*t - 2. Suppose 3*f + 2*z + 38 = 0, -2*f - 3*z + 6*z - 21 = 0. Let o be h(f). Let r be (-4)/3*(-1)/o. Which is greater: r or -1?
r
Suppose -23 - 71 = -n + q, 2*q = 3*n - 278. Suppose 5*r + 3*a = 150 + 24, 3*r - 3*a - n = 0. Let l be (2/(-6))/((-11)/r). Is 2 greater than or equal to l?
True
Suppose 0 = -3*p + 14 + 1. Let t be (-1 - -3) + -1*(3 - -1). Let x be 6/9 + (14/6 - t). Is x > p?
False
Suppose -2*h + 2 + 4 = 0. Suppose 9 - 3 = -3*c, -h*c = -3*u + 12. Suppose 0 = -u*l + 19 - 3. Is l at least 8?
True
Let y be ((-1755)/(-12))/((-7)/(-28)). Are y and 585 equal?
True
Let j(o) = o**2 + 3*o. Let x be j(-4). Suppose -5*b + 15 + 4 = -3*n, x*b + 3*n = -1. Suppose b*s = s. Which is bigger: 4/13 or s?
4/13
Let n = -76/43 + 19188/11051. Is 1 greater than or equal to n?
True
Suppose -l = -4*l - 63. Let j = -3/16 + 37/112. Is l greater than j?
False
Let r(o) = 7*o**2 + 251*o - 37. Let m be r(-36). Are -2/1851 and m equal?
False
Suppose -5*f + 345 = -r, 33*r + 282 = 4*f + 31*r. Is f > 68?
False
Suppose 16 + 4 = 5*g. Suppose 5*f + 2*k - 270 = 0, 2*k + 270 = f + g*f. Suppose -2*m - 5*a + 62 = 0, -2*m - 2*a - a + f = 0. Is 21 equal to m?
True
Let p = 1.089 + -0.049. Let v = -8.86 - p. Let q = v + 10. Are -2/7 and q equal?
False
Let o = 0.94 + -1.04. Is o less than or equal to 34?
True
Let o be 27 + (-4 - -2) + 2. Suppose -3*i + o = -63. Let z be (-4)/i - 6/(-120). Which is smaller: z or 0?
z
Let a be 0 - (4/1 + -2). Let z(u) = -4*u**2 + 7*u**2 - 4 - 2*u + u**3 + 2. Let h be z(a). Which is smaller: 5 or h?
5
Let t = 31 - 43. Let o = 0.1 + -0.13. Let r = -0.03 - o. Which is greater: r or t?
r
Let s = 1310 - 22264/17. Let y be (-24)/(-120) + 3/(-15). Is y greater than or equal to s?
False
Let b = -1.19 - -1.29. Does 35 = b?
False
Suppose -z - 19 = -2*t - 3, 2*z - 3*t = -30. Suppose 0 = 11*l - 13*l + 26. Let a = l + z. Is a at least 2/7?
True
Let i = 3023/56 + -54. Which is greater: i or 0.1?
0.1
Let j = -655.1 - -628. Let k = -27 - j. Let w = 1.6 - -5.4. Which is smaller: k or w?
k
Suppose 0 = t + t + 8. Suppose 62*o - 49*o + 91 = 0. Is t at most o?
False
Let k(s) = s**2 + 2*s - 1. Let v be k(1). Suppose v*i + 0 + 4 = 0. Which is greater: i or -5/7?
-5/7
Suppose 0 = -4*t + 5*t - 5*b - 1, -3*t + 3*b = 9. Let z = 56 - 78. Let x be (z + t)/(1 - -1). Which is greater: -14 or x?
x
Let a(p) = -4*p**2 + 24 + 5*p**3 - 25 + 5*p**2 - p. Let z be a(-1). Let d(q) = q**3 + 3*q**2 - 5*q - 3. Let x be d(z). Is 2/23 > x?
False
Let n(b) = -b**2 + 3*b - 80. Let s be n(12). Is -188 smaller than s?
False
Let x = 692 - 694. Which is greater: x or 19?
19
Let d be (-30192)/(-42)*1/(-2). Let x = 360 + d. Let g = x - 1/14. Is g != 1?
True
Let b be (-15)/(-25) + 8/(-5). Suppose -3*h = -3*u + h - 16, 0 = -3*h + 12. Let m = u - b. Which is smaller: 0 or m?
0
Let k be ((-3)/9)/((-40)/624). Suppose -q - 5*i - 9 = -0*i, -i + 27 = 5*q. Which is smaller: q or k?
k
Let z(r) = r - 28. Let x be z(12). Let u be 9/(-9) + x/(-11). Which is greater: 0 or u?
u
Let j = 31.4 - 32.4. Is j > -1?
False
Let m(l) = 5*l**2 + 2*l - 256. Let p be m(10). Which is smaller: p or 262?
262
Let q = -199 + 217. Is q equal to 20?
False
Let d = 331/6 - 55. Let c be 11/(-55)*-5*(1 + 0). Which is smaller: c or d?
d
Let i = -60 + 201. Which is smaller: i or 143?
i
Let r = 681 + -390. Suppose a - 4*a = -r. Is a greater than or equal to 97?
True
Let b(u) = 69*u**3 + 7*u**2 + 4*u - 11. Let i(x) = 34*x**3 + 3*x**2 + 2*x - 5. Let t(k) = 4*b(k) - 9*i(k). Let w be t(1). Which is bigger: -28 or w?
-28
Let o = -13 - -18. Let r = 5 - o. Let i(j) = 2*j**2 + 4*j. Let f be i(-3). Are r and f unequal?
True
Let f = 562 + -579. Are f and -9/5 equal?
False
Let q = -8 + 9. Let t = -5 + q. Let x = 14 + -14. Which is smaller: x or t?
t
Let d = 195 + -956/5. Suppose 4*g + 10 = 6. Is d at least g?
True
Let h = 0 - 2. Let u = -54470966/59227 + -136/8461. Let q = u - -918. Is q bigger than h?
True
Let a = 17/20 - 5/4. Let q = 0.037 + 0.263. Which is bigger: a or q?
q
Let x be (-2)/(5/(-8280)*4) - -5. Is 833 at most x?
True
Let u = 7307 + -51059/7. Is 13 < u?
False
Let o = -1.9289 + -0.0711. Is o < 538?
True
Let k = -35 - -41. Suppose k*d - 168 = -2*d. Is d greater than or equal to 19?
True
Suppose 5*i - z = 172, -2*z - 38 = -i - 3*z. Let u = i - 34. Which is greater: 1/6 or u?
u
Let u = -0.197 - -0.287. Let t be (24/(-80))/(18/8). Which is smaller: t or u?
t
Let b be (-15)/2*(-6)/3. Suppose -o + 56 + 121 = 0. Let a = o + -162. Is a at least b?
True
Let r(n) = -8*n - 263. Let c be r(-33). Is -6/13 greater than or equal to c?
False
Suppose 4*u = d + 1, -6 = -2*u - u. Let s(k) be the first derivative of k**4/4 - 2*k**3 - 2*k**2 - 6*k - 1. Let c be s(d). Which is greater: c or 16?
16
Let t be 60/54 + 6/(-4). Which is greater: t or -1?
t
Suppose 5*j - 8*j = -9. Let z be 3 + j/7 + -3. Suppose 0*c + 5 = -5*c. Is c bigger than z?
False
Let d = 6.05 - 3.41. Are d and -2 nonequal?
True
Let o(a) = 2*a - 50. Let u be o(25). Suppose -q = 6*c - 2*c + 4, u = -3*c + 9. Which is bigger: -4 or q?
-4
Let r = -187/5 + 208/5. Let p = 88 - 88. Which is greater: r or p?
r
Let a = 6792466848247/19244 + -352965436. Let o = 31/283 - a. Let v = o - 8/17. Which is bigger: v or 7?
7
Let u = -63 + 66. Which is bigger: u or -1?
u
Let z = -13 + 14. Suppose k + 272 = -36. Let d be 6/(-33) - 188/k. Do d and z have the same value?
False
Let u(c) = -c**2 + 13*c + 11. Let o be u(13). Let m = 1 - o. Let w be (8/m)/((-4)/(-10)). Is 2/11 at most as big as w?
False
Let i(j) = -j - 13. Let a be i(-7). Let m(b) = b**3 + 22*b**2 + 19*b - 47. Let s be m(-21). Which is smaller: s or a?
a
Let m = 54 + -33. Let f(g) = -g**3 + 7*g**2 - 5*g + 1. Let h = -26 + 29. Let z be f(h). Which is bigger: m or z?
z
Let u = 8 + -8.25. Let f = u + 1.25. Let j be 0 - 1 - 36/(-28). Which is greater: j or f?
f
Let t = -107.16 + 109. Let f = -0.16 - t. Is f <= -0.2?
True
Suppose 0 = 2962*o - 2964*o + 2. Let a = 11659/90 - 259/2. Is a > o?
False
Let h = -799 - -784. Let d be 103/(-7) - (-4)/(-14). Are d and h non-equal?
False
Let o(z) = 20*z - 305. Let l be o(21). Is 110 bigger than l?
False
Suppose 2*u - 10 = 4*f, 0 = -f - 3*u + 5*u - 4. Let c be ((5*f)/2)/2. Let o(j) = j**3 - j**2 + j - 1. Let a be o(0). Are a and c unequal?
True
Let w(u) = u + 4. Let m = 11 + -21. Let v be w(m). Let s be ((-3)/(-9))/((-4)/v). Is -1/3 greater than or equal to s?
False
Let s = -14.6 - -14.6. Which is smaller: 9 or s?
s
Let o = 869 - 849. Suppose 7*n = 2*n - 110. Let y = n + o. Which is greater: -1 or y?
-1
Let c = -61 - -22. Let l = 3 - 40. Let g = c - l. Which is smaller: -9 or g?
-9
Let w be 2/(-2) - (-17 - -13). Let j be (50/16*-2)/(w/12). Which is bigger: -26 or j?
j
Suppose -v - 7 = -9. Suppose 0 = -q + 4*w + 23, 2*w = -2*q - v*w + 10. Is q < 11?
False
Suppose -r + 0 = 5, 4*k - 2*r + 2078 = 0. Let i = k - -5746/11. Which is smaller: i or 0?
0
Let s be (-4)/(-3) - 70658/294. Which is bigger: -244 or s?
s
Suppose -13*m + 4*m - 63 = 0. Let r be ((-16)/(-6))/(2/6). Let f = r + m. Is f > 1/5?
True
Suppose -4*n - 52 + 7 = 5*k, -5*n = 2*k + 35. Let v be n/15 + 14/18. Which is smaller: v or -1?
-1
Let p = 101 + -98. Let b be -2*((-114)/12 + p). Which is smaller: 3 or b?
3
Let z be ((-72165)/35 - 0) + 1. Let u = -2056 - z. Is 6 greater than u?
True
Let c = -220 + 169. Is 1/4 at most c?
False
Let q = 341.61 + -318.7. Let x = q - -0.09. Which is smaller: 0 or x?
0
Let x be 1 - 4/((-180)/(-55)). Is x > 4/11?
False
Let t = 158 - 144. Suppose -t*j + 4*j = 0. Is j > -4/31?
True
Let v = -468.5 + 468. Is v != -38?
True
Let j(u) = u**2 - 3*u + 1. Let d be j(2). Is d greater than 0.1?
False
Suppose 3*i - 63 = w - 4*w, -4*w - 3*i = -79. Let l = 19 - w. Let n be (2/l)/((-5)/15). Is -2 <= n?
True
Let x(s) = s**3 + 23*s**2 - 47*s + 43. Let n be x(-25). Which is smaller: -0.1 or n?
n
Let d = 9 - 7. Suppose -3*m + d*m = 0. Which is smaller: m or -2/33?
-2/33
Let c be 10/25 - ((-204)/(-10) + -1). Is 0.1 less than or equal to c?
Fal