81*k**2 - 386*k - 4756. Let t be x(88). Is t not equal to g?
True
Let a(f) = -f**2 - 72*f + 324. Let z be a(5). Which is smaller: -42 or z?
z
Let d(q) = 2*q**2 - 6. Let z be d(3). Let i be (-1251)/(-12) - 3/z. Is 104 at most as big as i?
True
Let z = -22125 - -508865/23. Which is bigger: 43 or z?
43
Let t = 0.744 + -2.074. Let l = 1.23 + t. Are -14 and l nonequal?
True
Let c = 7 - 7.3. Suppose -6*p = -p - 20. Suppose -5*z = -10*z - 20, -p*u + 3*z + 48 = 0. Which is smaller: u or c?
c
Let o be ((13 - 22) + 7)/((-2)/7). Suppose 0*b + b = 0. Suppose b = -5*s - 0*s + 25. Which is smaller: s or o?
s
Let y be (58/54 + -1)/((-170)/(-12)). Suppose 3*j + q + 7 = j, 4*q = 22*j + 2. Is y >= j?
True
Let b = -34589 + 180104925/5207. Which is smaller: 0 or b?
0
Suppose 5513 = 150*d + 5213. Let w = -37/8 - -7. Are d and w non-equal?
True
Let n(l) = 5*l**2 - 67. Let v be n(0). Is -0.3 less than v?
False
Let z be (-2289)/3656 - (-155)/248. Which is smaller: -1 or z?
-1
Suppose -38028 + 102882 = 27*x. Let m be x/(-8) + (-60)/80. Is m >= -302?
True
Let h(v) = -2*v + 3. Let f be h(2). Let w be 0/(f + (-1 - 0)). Let t = -37 + 31. Which is smaller: t or w?
t
Let d be 4*15/12*-1. Let i = 312 + -308. Let o be (i + (-474)/126)*-18. Which is smaller: d or o?
d
Let y(k) = -4*k + 21. Suppose 5*f = -c + 47, -5 - 2 = -f - c. Let o be y(f). Is -20 <= o?
True
Let d = -320 + 19. Let o = d + 267. Is o >= 0.7?
False
Let q be (-3)/6 + 62/(-4). Let p = 9 + q. Suppose -5*d + 7*s - 43 = 6*s, 5*d + 35 = 5*s. Which is bigger: d or p?
p
Let x = 0.112 - 0.232. Which is bigger: 2/5 or x?
2/5
Suppose -411 = 143963*y - 143966*y. Which is greater: 130 or y?
y
Let g = 7 - 6.7. Let i = -68/129 - -22528/645. Let n = 4654/135 - i. Is n greater than g?
False
Let j(u) = -9*u**3 - u**2 + u + 1. Let d(r) = -13*r + 16*r + 0*r**2 - r**2 + 19 + 14*r. Let p be d(18). Let g be j(p). Is g smaller than -11?
False
Let x be ((-2)/(-6))/((-2)/(-24)). Suppose 3*o - 5*o + x*r + 20 = 0, -o - 5*r = 18. Suppose -2*s = -0*s + o. Is s at least as big as 1/6?
False
Let c = -224/5 + 443/10. Is c at most 2150?
True
Let d = 3 - -17. Let g = d + -46. Let x = -13 - g. Which is smaller: x or 1?
1
Suppose -4*a = -16, p + 0*p - 3*a = -224. Let q be (-7 + 9)*(-2)/p. Which is smaller: q or 1?
q
Let l = 12.506 + -11.56. Let t = 0.054 + l. Which is smaller: 0.7 or t?
0.7
Let d(s) be the second derivative of -11*s**4/12 - s**3/2 - 9*s**2/2 - s - 23. Let u be d(-2). Is u <= -53?
False
Suppose -4*k + 2*k = -38. Suppose 0*a = -a - 2*x + 103, 5*a - 3*x = 502. Let y = 119 - a. Are y and k equal?
False
Suppose 232 - 36 = 14*a - 14. Is -17 at least as big as a?
False
Let p(j) = -464*j**2 - 121*j - 3. Let a be p(3). Do a and -4542 have different values?
False
Let c = -37 + 35. Let z be c/11 - ((-52368)/66)/8. Let a = 89 - z. Which is bigger: a or -2?
-2
Let c = -0.06482 + -8.93518. Is -10 > c?
False
Let r = -516591 + 9031560450/17483. Is 0 > r?
True
Let p be (7/4)/(6/24). Let b be (-1 - -2)*(5 - (3 + 0)). Suppose 4*w - b*x - 36 - 28 = 0, w = -4*x + p. Is w <= 17?
True
Let v = 13.49 - -0.51. Let h = 15 - v. Let j = -19.07 + 19. Which is greater: j or h?
h
Let o(a) = 3*a + 5. Let b(t) = t**2 + 6*t + 3. Let d be b(-5). Let r be o(d). Which is smaller: -2/49 or r?
r
Let q be (-4)/(((-4)/6)/(2/3459)). Let r = 7154/68027 - q. Which is greater: 0 or r?
r
Let v(u) = -u**3 + 20*u**2 - 17*u - 15. Let c = 100 - 81. Let r be v(c). Let w be (r + -29)*2/(-12). Is w greater than -1?
True
Suppose 84*u = 7*u + 6160. Which is smaller: u or 15?
15
Let j(f) = -f**2 - 29*f - 110. Let s be j(-21). Let b = s - 56. Let p = 0.4 - 0.42. Does b = p?
False
Let m = -902 - -895. Let u(c) be the third derivative of c**6/120 + c**5/10 - 5*c**4/24 + 13*c**3/6 + 3*c**2. Let a be u(m). Is a smaller than -5/14?
True
Let z be 2 + (-398)/2982*15. Which is greater: 0 or z?
0
Suppose -2*n + 13 + 107 = 5*d, d = 3*n - 197. Let g = -193/3 + n. Is g less than or equal to 0?
False
Let m(q) = 4*q**2 + 57*q - 45. Let n be m(-15). Suppose 156 = -2*y + 5*r, y - 2*r + r + 75 = n. Does -76 = y?
False
Let h be (-1)/5 - ((-80316)/105 - 6/21). Which is greater: h or 763?
h
Suppose -436 = 109*i + 218. Is i at least as big as 5?
False
Suppose 0 = 43*t - 68386 - 427920. Is 11542 >= t?
True
Let h = 17 + -13. Suppose -2 + h = q. Suppose 5*n + 10 = q*v, -5 + 13 = -3*v - 4*n. Are v and 6/19 nonequal?
True
Let a be (89 + -7 - 7) + 0 + 1 + 1. Which is smaller: a or 623/8?
a
Let h = 1114 + -1122. Let w = -0.9 - -0.6. Let i = 0.3 + w. Which is smaller: i or h?
h
Let z = -6/4321 - -2631555/47531. Which is bigger: z or 54?
z
Let j = -1.42 + -3259.58. Let i = 3215.94 + j. Let n = 45 + i. Do -1 and n have the same value?
False
Suppose 3*r - 4*i = -11537, 8445 = -3*r + i - 3095. Is -3848 bigger than r?
False
Let t(g) = -2*g**2 + 14*g + 15. Let l be t(7). Suppose -l*n = -0*n - n. Are n and 1/232 unequal?
True
Let n = -52 + 52. Let t = 18 - 77. Let a = t - -59. Is a greater than or equal to n?
True
Let j be (7/7)/(-5 + 28/8). Which is bigger: j or 465?
465
Let k = 385 - 1200. Let h = 7814 - 7813. Which is greater: k or h?
h
Suppose 119 = -5*u - 81. Let h = u - -42. Suppose -h = 5*o + 13. Is -17 at least o?
False
Let x be 4/8*(-1 - 1). Let y = -14105 + 860403/61. Is x at most as big as y?
True
Let c = 3 - -3. Let b = 745 - 735. Is c equal to b?
False
Let z(y) = 22*y + 251. Let r be z(-13). Suppose 318 = -5*o - 2*t + 117, 3*t = 5*o + 186. Let j = o - r. Is j not equal to -2?
True
Let p = 368 - 364. Suppose -5*r - o = -9, 4*o - 12 = p. Is 2/1043 bigger than r?
False
Let a = 41 + -38. Suppose -a*t - 13 = -1. Let n be 71/(-18) + 11/66. Is n less than or equal to t?
False
Let w = 192/2665 - -1/205. Let t(z) = -z**2 - 7*z - 6. Let n be t(-4). Suppose -2*u + n*u = 0. Which is greater: w or u?
w
Suppose -j - g = 3, -3 - 3 = -2*j + g. Let f be (-1)/3*45/(-20). Let m = j - f. Do 2/7 and m have different values?
True
Let r(m) = -19*m**2 + 1521*m - 79. Let s be r(80). Which is smaller: 2/1075 or s?
2/1075
Let l = -891610 + 11580038/13. Is -837 smaller than l?
False
Let x(h) = h**3 - 12*h**2 - 4*h + 47. Let b be x(12). Let v be ((-2 - 2)/4)/(b/(-6)). Is 5 > v?
True
Suppose -162*h = -187*h - 825. Which is smaller: h or -103?
-103
Let o(r) = -272*r - 1903. Let u be o(-7). Which is smaller: -2/4897 or u?
-2/4897
Let z be 6048/13475 + -1 + 3/(-21). Let m = -18/25 - z. Are 0 and m unequal?
True
Suppose 293*d = 5*s + 288*d - 20, 5*s + d + 4 = 0. Which is smaller: -3/13784 or s?
-3/13784
Suppose -1792 = -3*k - k - 4*l, -2275 = -5*k + 2*l. Which is bigger: 1363/3 or k?
1363/3
Let j be 12*(-231)/(-1400)*4/(-14). Let p = j - 6/175. Which is bigger: -8 or p?
p
Let p = -0.006055 + 1.006055. Let f = 3.5 - 3.21. Are p and f non-equal?
True
Suppose 4*o - 3*u + 0*u = 0, 0 = -5*o - 5*u. Let c be (((-85)/34)/5)/(1*(-11 - 2)). Is o <= c?
True
Let j(x) = 2*x**2 - 9*x - 11. Let f be j(6). Suppose -13 = -3*z - d - f, 5*z - 14 = -3*d. Are z and 12/37 non-equal?
True
Let z be 7/(-4) + (-15)/60. Let l(v) = -3*v + 5. Let s be l(11). Let d = 36 + s. Which is greater: d or z?
d
Let o(m) = -7*m**3 - 4*m**2 + 12*m - 11. Let h be o(-5). Is 704 at most h?
True
Suppose -5*y + 19 - 24 = 0, m - 3*y - 165 = 0. Let z be (1/(45/m))/(2/(-20)). Which is smaller: z or -39?
-39
Let n(v) = -v**3 - 83*v**2 - 243*v - 199. Let c be n(-80). Which is smaller: c or 763/19?
763/19
Suppose -5*l = -2*l - 24. Suppose -2*t = -2*n - l, 2*n + 3 = 19*t - 18*t. Are n and -163 unequal?
True
Let r = 23236 - 23301. Which is smaller: r or 21?
r
Let h(o) = -2*o**2 + 32*o + 119. Suppose -66*d - 19 = -62*d + 3*n, 5*d + 2*n = -22. Let k be h(d). Is -380/9 bigger than k?
False
Let o = -5389/68399838 + -2/14697. Which is greater: o or -1?
o
Let x = 0.63 - 0.555. Let s = 0.095 + -0.02. Let y = x - s. Is 16 less than or equal to y?
False
Let h = -6/107945 + -280333117/863560. Let q = 324 + h. Let x be (-8)/((-6)/3) + -2 - 3. Which is greater: q or x?
q
Let m = -1225582 + 1225932. Let a = -1 + 2. Is m at least a?
True
Let s be -10 + 4 - (-2401)/35. Which is bigger: s or -4?
s
Let c = 488/813 + -1033267/1755267. Let t = 6/127 + c. Let g be 0 + -2 + (3 - 2). Which is bigger: g or t?
t
Let g = 37580 + -15769. Is -1/2 greater than or equal to g?
False
Suppose -5*y - 241 - 249 = 0. Suppose