-5*k(o) + 7*x(o). Let p be r(0). Is m > p?
False
Let p = 405 - 394. Suppose -18 = -3*x + 3*f, -3*f - p = -0*x + 4*x. Does -1/309 = x?
False
Let v = 18.9 + 11.6. Let t = 19 - v. Let c = 1.5 + t. Which is bigger: 2 or c?
2
Let w = -11864.77 - -11869. Is w <= -4?
False
Let o(f) = f**3 - 3*f**2 - 19*f - 64. Let t be o(7). Is t at most -18/55?
True
Let q = 22555 + -22565. Let r be ((-3)/42)/((-3)/(-8)). Are r and q equal?
False
Suppose l + 4*c = 31, -3*c + 66 + 6 = 2*l. Suppose -13 = 26*a + l. Which is smaller: a or -21/32?
a
Suppose 0 = 153*w - 194*w - 21279. Is -20 at most as big as w?
False
Let d be 4/10 - (-9)/(-30). Let b be ((-21)/35)/(9/(-1626)). Let i = b - 108. Which is smaller: i or d?
d
Let j(m) = 19*m - 108. Let a be j(6). Let s be 3 - (1 + (0 - 0)). Suppose 8 - s = a*v. Is v less than 1?
False
Let x be -15 + 13/728*424. Let t(u) = -u**2 + 10*u + 16. Let w be t(12). Which is smaller: x or w?
w
Suppose 7*f = 3*v + 84 - 2, -2*v - 38 = -3*f. Let n be f/8 - (-53)/(-4). Is n less than -140/11?
False
Let l = -6261 - -6264. Which is smaller: l or 0.0197?
0.0197
Let w be 0 + (-4 - (-228)/63). Suppose 310*f = 320*f. Which is bigger: f or w?
f
Suppose 19*s - 27 = 49. Suppose -3*h - 13 = 5*z, -4*h + s*z + 42 = 6. Is h not equal to -26?
True
Let q be (-49)/21 - (-3 - 11/(-3)). Let z be (-1 + 201/202)/(q/(-4)). Which is bigger: z or 1?
1
Suppose -439 = 7*a - 4331. Let y = a - 370. Which is smaller: 185 or y?
185
Let m(f) = -2*f**2 + 42*f + 322. Let a be m(-6). Which is smaller: a or 32/5?
a
Suppose 0*g - 6 = -3*g. Suppose g*q = 5*s + 25, s = 3*s + 10. Let a = 21707/795 - 409/15. Is a <= q?
False
Let w = 15.88 + 0.02. Let y = 33.8 + -17.8. Let q = y - w. Which is greater: q or 6/31?
6/31
Let a be (143/(-22))/((-5)/6). Let r = 746/95 - a. Let d be (-1)/(1*(6 - 5)). Is d greater than r?
False
Let l(c) = -c**2 - 21*c + 58. Let w be l(-23). Suppose -q + 4*z = -11, -z + 5*z = -w. Which is smaller: -5/69 or q?
q
Let q(d) = 823*d - 9. Let u be q(3). Suppose -3*k + 4*y - y = -1494, y - u = -5*k. Let b = -13309/27 + k. Which is smaller: b or 0?
0
Let c = -60 + 62. Let w be 1/7 - ((-1967)/637 + c). Which is greater: 2 or w?
2
Let b(d) be the third derivative of -3*d**4/8 - 23*d**3/6 + 6*d**2 - d. Let i be b(-2). Is -17 < i?
True
Let k = 5.9 - -14.66. Let w = k - 20.5. Is w at most 0.1?
True
Let x = -25487/26 + 868/13. Is x at least -1/2?
False
Suppose 186830 = 21*k - 23044. Which is smaller: k or 9995?
k
Suppose -4*f + l + 6 = -1, -3*f + 5 = -l. Let u be (-2 - (0 - f))/1. Let m be 42/(-4)*((-250)/35)/25. Which is smaller: u or m?
u
Let i be (-103)/(-5) - (-114 - -53 - -82). Suppose -3*l - 2*l = 485. Let g = l - -56. Which is bigger: g or i?
i
Let h = 5220 - 5218. Is h smaller than -0.0122?
False
Let f = -5 + 9. Suppose -k = -f*k. Let j = 6 - 6. Are j and k equal?
True
Let n(x) = -6*x - 2. Let a be n(3). Let u = a - -55. Suppose -5*s - 3*b - 147 = 0, s + 2*b = -0*s - u. Which is smaller: s or -26?
s
Let z = -0.362 - 5.638. Let u = 7 - 12.9. Let p = u - z. Are p and 1.8 non-equal?
True
Let o = -6138/13 - -126621/260. Is o != 16?
True
Let n = 1920 - 47997/25. Are 0.06 and n non-equal?
True
Let m = 52 - -8. Let p = -5939 - -5939. Which is bigger: m or p?
m
Let o be (-3)/(-2)*-44*(-1017)/(-27). Do o and -4969/2 have different values?
True
Let u be (10/15)/((-3)/(-9)). Suppose -2*p + 12*o = 14*o + 218, u*o + 325 = -3*p. Which is smaller: p or -105?
p
Let j = 21493 + -21493.02. Is -15 greater than j?
False
Let z be ((-20)/24)/5 + (-106)/12. Let w be ((-63)/14)/(-1 - z/6). Which is smaller: w or -3?
w
Let x = 149 - 155.7. Let y = -2.2 - x. Let u = y + -3.5. Which is bigger: -2.5 or u?
u
Let z(p) = -18*p - 66. Let d(g) = g**3 - 6*g**2 - 15*g + 4. Let v be d(8). Let i be z(v). Which is bigger: -281 or i?
-281
Let n be 11482/9184 + 12 + 1325/(-100). Which is smaller: 0 or n?
0
Let d = -530.9 - -530.2. Does d = 19?
False
Let l(y) = -y**2 + 2*y + 2. Let z be l(-1). Let v be (2/(-38))/(z*(-3)/(-36)). Which is bigger: v or 1?
1
Let d = 91895/1482277 + -96/2291. Which is bigger: d or -1?
d
Suppose -6*y + y = 4*m + 12, -m = -2*y + 3. Let a = -3404 + 3473.15. Let l = 69 - a. Which is smaller: l or m?
m
Let a = 155 + -145. Suppose g + 2 = 2*r, 23 = 5*g - 4*g + 3*r. Which is smaller: g or a?
g
Let p = -4892 + 28026266/5729. Are p and -1 equal?
False
Suppose -14*x + 0*x = -28. Suppose -x*q - 146 = -148. Which is bigger: 12/73 or q?
q
Let b(y) = 38*y - 74*y + 41*y + 55. Let f be b(-7). Let m = 29 - 9. Is f > m?
False
Let a be ((-1)/(-3 + 6))/(1/(-6)). Let j be (4/(-4))/(2/a). Let c(g) = -3*g - 3. Let i be c(j). Which is greater: i or -3/10?
i
Let s = 4718 - 4718. Which is smaller: -66/145 or s?
-66/145
Let v = -2/77871 - -34341179/2647614. Which is greater: v or 13?
13
Let k = 39555267/2128 - 18588. Which is smaller: k or 1?
k
Suppose -k = -4*f + 117, -4*f - 4*k + 36 + 56 = 0. Suppose 0 = -m - 40 - 19. Let w be m/(-231) - f/98. Which is smaller: 1 or w?
w
Let o = 51 - 52. Let c be (-45)/(-30)*(o + 73/69). Which is smaller: c or -2/3?
-2/3
Let q = -0.12 - -0.02. Let k = -2.095 + 2.201. Is q < k?
True
Let h be (6/4)/(2 + 58/(-32)). Suppose 68 + 124 = h*r. Let j be (-30)/(-105) + r/(-98). Is 0 not equal to j?
True
Let h = -50/2823 - -81002/748095. Which is bigger: h or 0?
h
Let v = -1.73 - -86.73. Let f = 136.3 + -221. Let q = v + f. Is q at least as big as -10?
True
Let n = -24 + 24. Let z = 4988452/445 + -11210. Which is smaller: z or n?
n
Let l be -26*(-7)/(-14) + 13. Which is smaller: -28/41 or l?
-28/41
Let v = -14 + 19. Suppose 0*g + 4*y = 3*g + 139, -v*y = -3*g - 140. Is g bigger than -42?
False
Suppose 12*p - 11 = 49. Suppose m = -r + 3, -1 = -p*m + 10*m + r. Which is smaller: -17/26 or m?
m
Let g be 6/(-524)*(-40)/60. Let i = 0.3822 + -0.0822. Is i not equal to g?
True
Suppose 0 = w + 3, -j = 4*w + 13 - 3. Suppose 3 - 4 = -n + 4*p, -5*n - 5*p = 45. Let i = 17 + n. Is j <= i?
True
Suppose 24*t = 21 + 3. Suppose -31*i + t = -30*i. Which is smaller: 2/581 or i?
2/581
Suppose -959 = 4*p + 2*h - 2925, 3*h = -p + 499. Let m be (13/(182/p))/(2/(-36)). Do -629 and m have the same value?
False
Let c = -101 + 105. Suppose -n = 4*q - 10, -6*q = 5*n - c*q - 68. Do 15 and n have different values?
True
Let r(d) = -d**3 - d**2 - d + 14. Let v be r(0). Let w be 4/v + 96/(-336). Is w at least as big as 3/104?
False
Suppose 6*a - 2*p = 8*a + 14, 4*p + 4 = 2*a. Let d be 4/(-22) + 4375/(-1650). Which is greater: d or a?
d
Suppose -146*a + 68*a = -79*a + 1. Which is bigger: -48/733 or a?
a
Suppose -m - 100 = 4*l, -l - 6*m = -7*m + 20. Let s(z) = 2*z**3 + z. Let d be s(-2). Which is greater: d or l?
d
Let f be 2*4 - 19530/2. Let o = f - -48613/5. Is o greater than or equal to -35?
True
Let a = -405.56 + 398. Let j = 5.66 + a. Which is smaller: j or 13?
j
Let k = -220 + 245. Which is bigger: k or -18?
k
Let r = 12701 - 12704. Are r and 1273 equal?
False
Let t = -915 + 920. Let m be (t/(-4) - -2) + 9154/(-184). Is -43 > m?
True
Suppose -7701*v = 4*c - 7699*v + 1128, v = -5*c - 1404. Let n(y) = y**3 - 2*y**2 - y + 3. Let q be n(-6). Which is greater: c or q?
q
Let r(b) be the third derivative of -b**5/60 + 4*b**4/3 + 79*b**3/6 + b**2 - 2*b. Let a be r(33). Which is bigger: 44 or a?
a
Suppose 87*t = 90*t. Is t at most as big as -4/491?
False
Let p(q) = q**3 - 6*q**2 + 6*q + 3. Let j be p(4). Let c be 6/(-8) + j + (-638)/(-104). Let s be 4/10 - (-4)/(-10). Is c > s?
True
Let b = 953 + -952.59. Which is bigger: -0.04 or b?
b
Let o = -3.0692 - -2.352. Let r = -0.0828 + o. Which is smaller: r or 9/7?
r
Suppose 0 = 3*k + 15, r + 3*k = 8*k + 32. Suppose -m = v - 11, 3*m + 2*v = -3*v + 35. Let n(p) = p**2 - 11*p + 14. Let d be n(m). Which is greater: d or r?
r
Let g be -5*24/(-4950)*(9/6 + 1). Is -1/24 at most g?
True
Let y = -15071 - -105499/7. Is 21/998 >= y?
False
Suppose -9*c - 13*c = -8*c + 8*c. Let x = -824 + 28842/35. Is x at most as big as c?
False
Let v be (17/((-255)/1260))/(-2 + 1). Which is greater: 169/2 or v?
169/2
Let x(r) = -r**3 + 6*r**2 + 8*r + 1. Let d be x(7). Suppose -5*w = -3*p - 2*p + 650, d = 2*w. Is 134 at most p?
True
Let f = 2 + -4. Let s be (-34)/(-4)*f/(-3). Let t(v) = 15*v**3 + 90*v**2 + v + 11. Let a be t(-6). Which is smaller: s or a?
a
Suppose 3*j = -5*n - 2257 + 14843, 