 -244*m + 239*m + 10 = 0. Let u be (0 + m)*(-45)/(-4635). Is n > u?
False
Let g(s) = 8*s + 26. Let i be g(-9). Suppose -733 + 5353 = -84*f. Is f less than i?
True
Suppose 22*h - 2*h = 13*h. Are -2/38121 and h nonequal?
True
Let i = -240 - -237. Suppose 4*s = 13 + 47. Suppose s*z = 14*z. Which is greater: i or z?
z
Let b(z) = -13*z**2 - 13*z - 52. Let k be b(-6). Which is smaller: -443 or k?
-443
Suppose 522*g - 3774045 - 11072157 = 0. Is 0.1 at least as big as g?
False
Let s = -220/9 + 1067/18. Let p = -38683/1110 + s. Which is greater: p or 0?
0
Let i(a) = 6*a - 44. Let l be i(9). Suppose 0 = -l*g + 6*g. Let p be 1/3*(-48)/944. Which is smaller: g or p?
p
Let m = -67 - -133. Suppose 0 = 7*d - 130 - m. Is d at most as big as 30?
True
Let c(l) = 18*l + 1276. Let j be c(-71). Which is smaller: j or -0.1074?
j
Let i be (1865/(-3) - 1/3)*(-1)/2. Which is smaller: i or 309?
309
Let x = 1932/5 + -1568/5. Suppose 3*d = -2*d - 365. Let o = x + d. Which is smaller: -6 or o?
-6
Let l = -3862 - -5734. Which is smaller: l or 1870?
1870
Let y(v) = -29*v**3 - 5*v**2 - 3*v + 2. Let s be y(-3). Suppose -14*p - 511 - s = 0. Which is bigger: 1/6 or p?
1/6
Suppose 26*u - 29149 + 514917 - 15558 = 0. Are u and -18085 non-equal?
False
Let o be (-70)/(-21) - 18/6. Let f = o + -5/9. Let v(c) = -c**2 - 7*c + 6. Let n be v(-6). Which is greater: n or f?
n
Let o(k) = -17*k - 84. Let c be o(-5). Let a = -388 - -8152/21. Let u = a - 2/231. Which is smaller: u or c?
u
Let y be ((-4)/(-22))/((-100)/1050). Let r(w) = 7*w - 51. Let i be r(7). Which is bigger: y or i?
y
Let k = -6548 - -6547. Is 2/12877 equal to k?
False
Suppose -4*u - 5*z + 359 = 0, 8*z + 332 = 4*u + 4*z. Suppose 3*p = 2*h + 2*p - u, 0 = 5*h - p - 209. Which is smaller: 39 or h?
39
Let u = 58 + -57.7. Let y = 1326.1 + -1267. Let f = y + -59. Is f less than u?
True
Suppose h = -d + 50, 2*h + 3*d - 204 = -2*h. Suppose -1 = -h*i + 55*i. Are i and -1/65 equal?
False
Let f = -4910 - -4988. Is f equal to 96?
False
Suppose 0*l - 14*l - 168 = 0. Let y(v) = 3*v + 15. Let z be y(-4). Suppose 3*i - z*t + 1 = -8, 50 = -5*i - 2*t. Which is greater: l or i?
i
Suppose 15*m + 5 = 18*m + 4*a, -3*m = -3*a + 9. Which is smaller: 6/367 or m?
m
Suppose -6*u + u = -20. Suppose 3*h = -0*h - 9, -u*j + h = 45. Suppose 20 = 5*x, -6 = -3*z - 3*x + 3. Is z at most as big as j?
False
Let i = -0.7795 + -0.2205. Which is smaller: 8033 or i?
i
Let l = -1505.017 - -1504. Let b = -1 - l. Does b = 2?
False
Let s = -127 + -111. Let g = s - -234. Is g bigger than -1?
False
Let k = 14.96 - -1495.04. Which is bigger: k or -0.4?
k
Let x be (-160)/(-70) - (-2)/(-7). Suppose -x*t - 70 + 34 = 0. Suppose a + 2*y = 3*y - 16, 3*a + 3*y + 48 = 0. Are t and a unequal?
True
Let p = -287 + 299. Do 2/25 and p have different values?
True
Let k(x) = 27*x - 214. Let f be k(8). Suppose 0*q + 5*q - 20 = -4*n, -f*n - 5*q + 20 = 0. Let g = -15/127 + 1042/7747. Are g and n equal?
False
Let p be (0/2 + 0)/(12/12). Let c be (-60)/(-165) + 536/946. Is p less than or equal to c?
True
Suppose 114*r - 6984 = 110*r. Which is smaller: r or -2/9?
-2/9
Let z(q) = 11*q**2 - 11*q - 6. Let u be z(-5). Suppose 0 = -4*w + 336 + u. Let v = w + -663/4. Which is smaller: -1.7 or v?
-1.7
Let o be (-3)/(-612)*3520/25. Let z = -2/85 + o. Let k(j) = j**2 - 2*j + 4. Let r be k(0). Which is greater: r or z?
r
Let r = -184 - -100. Let c be (-18)/12*r/9. Which is bigger: c or 55/4?
c
Let x(y) be the second derivative of -y**3/6 - 9*y**2 + 13*y. Let i(n) = -n**2 + 3*n + 3. Let o be i(-2). Let l be x(o). Which is greater: -13 or l?
l
Let x(f) = 2*f - 3. Let z be x(2). Let i = -2005027/117 + 17137. Which is greater: z or i?
z
Suppose 8*g + 2680 = 4*g. Which is bigger: -3348/5 or g?
-3348/5
Let r = -89.6 + 98. Let k = r - 13. Let o = -4.93 - k. Which is bigger: -2/7 or o?
-2/7
Let r = 4296 - 4306.3. Which is smaller: r or -1/5?
r
Let t = -98440/1673 + 412/7. Which is smaller: t or 1?
t
Let p(w) = w**2 - 104*w + 605. Let o be p(61). Is o not equal to -2018?
False
Let r = -6746 + 6743. Let l = -11 + 35. Which is smaller: r or l?
r
Let t = 621 - 350. Let s = t - 272. Is s equal to -0.163?
False
Let t be (-384836)/60 - (-22)/(-330). Which is smaller: t or -6415?
-6415
Let t(s) = s**3 + 24*s**2 - 22*s + 74. Let d(b) = -5*b**2 - b - 7. Let h be d(-2). Let p be t(h). Is p bigger than -2/65?
False
Let r(h) = 2*h**3 - 5*h**2 + 7*h - 4. Suppose -8*t + 38 = 6. Let f be r(t). Let a be (8/(-16))/(2/f). Is -19 greater than or equal to a?
False
Let f be (-1 - 204/(-48))/(34/(-24)). Let z(l) = l - 14. Let a be z(11). Which is smaller: a or f?
a
Suppose -181*b = -184*b - 309. Let s = b - -102. Is 2/667 bigger than s?
True
Let l(f) = f**2 + 4*f - 28. Let w(h) = h + 1. Let j(z) = l(z) - 3*w(z). Let a = -62 + 67. Let k be j(a). Which is smaller: k or 0?
k
Let r(t) = t**2 + 10*t - 20. Let i = -103 + 91. Let y be r(i). Suppose -2*p = s - 10, y*p = 8*s - 3*s - 8. Is 14/5 >= p?
False
Suppose 4*i - 9*i + 10 = 0. Suppose 27*s - 7 = 32*s + 3*r, 0 = i*s - 3*r - 14. Which is bigger: s or 1/127?
s
Let i = 706 - 639. Let z = -120 + 186. Which is smaller: i or z?
z
Suppose -94*y = -90*y - 704. Which is bigger: 165 or y?
y
Let k(g) = 17*g. Let d be k(1). Let o = 532.81 + -537. Let y = 7.19 + o. Which is bigger: y or d?
d
Let w(j) = -3*j + 86. Let y be w(28). Let n = -7 - -8. Let a be (-2 + n + y)*3/267. Is -1 smaller than a?
True
Let w(k) = k**3 - 25*k - 1059. Let l be w(0). Which is bigger: -1058 or l?
-1058
Let r = 95 + -101. Let d be (-9)/30*(14/r + 2). Which is greater: -1 or d?
d
Let q be (1/(-3))/(6/(-144)). Let d(y) be the first derivative of -y**2/2 + 13*y - 3. Let n be d(4). Is q greater than or equal to n?
False
Let s be (-2)/10*(-3 - 0). Suppose -2*t - 18 = -2. Let z be -1 - (t/14 - 0). Is s at least z?
True
Let m(n) be the first derivative of -1/4*n**4 + 44 + 7/3*n**3 + n**2 - 14*n. Let d be m(7). Which is bigger: -6/7 or d?
d
Let j be ((-17)/((-33354)/24))/(2/(-3)). Which is greater: -7 or j?
j
Let j be (-24348)/(-43344) - 20/35. Which is bigger: 1 or j?
1
Let f = -2068 - -2320. Is f >= 249?
True
Suppose 15*u - 4*p = 10*u + 2005, 2*u + 4*p = 774. Which is smaller: 399 or u?
u
Let b = -41 + 60. Suppose z + 3*q = 29, -q + 3 = -1. Which is greater: b or z?
b
Suppose 4*s = -3*c + 31, -43*s = -48*s + 4*c. Which is greater: s or 256?
256
Let d be (36/93)/((-122)/2257). Which is smaller: -6 or d?
d
Let o(a) = -5*a - 3. Let n be o(-2). Suppose -n*f = -16*f + 45. Suppose 0*u + f*u - 3*u = 0. Which is smaller: 12/11 or u?
u
Suppose -4928 = -n + 5*a + 1426, -4*n + 2*a + 25326 = 0. Which is smaller: n or 6330?
n
Suppose 2*y - 6 = -5*s - 55, 2 = -2*s. Let p be 4 + (-16 - 3) + -6 + 2. Is p less than y?
False
Suppose 0 = -2*y - 4, 4*i = -4*y + 284 - 8. Suppose -i*f + 75*f = 40. Is f smaller than 0?
False
Let l(u) = -2*u**2 + 8*u - 5. Let d be l(3). Let p = 598 - 12542/21. Is p equal to d?
False
Let x = -8/927 - 27722/10197. Which is smaller: x or 13?
x
Let u = 41568 - 9191. Which is bigger: u or -2/7?
u
Let q(l) be the third derivative of l**4/24 + l**3 - 56*l**2. Let r be q(-8). Let b = 10 - 19/2. Is b >= r?
True
Let z = -390 + 282. Let v = -99 - z. Which is smaller: v or 16?
v
Let x(r) = r**3 + 2*r**2 - 20*r - 61. Suppose -65 = -71*k + 84*k. Let m be x(k). Which is smaller: m or -31?
m
Let b = 170928493/1852 + -92294. Let h = b - -4291/468556. Is h > -1?
True
Let i = -2833/8 + 1413/4. Let c be (-57)/12 + 18/24. Let d = 4 + c. Which is bigger: i or d?
d
Suppose 0 = -28*o + 2*o + 3*o - 45540. Is -2/3 < o?
False
Let x(h) = 2*h**3 - 10*h**2 - 2*h + 2. Let p be ((-26)/6 + 4)*-15. Let c be x(p). Let u be ((-10 + 4)/(-1))/((-27)/36). Is c at most u?
True
Suppose h + 55 = -2*t, 4*h + t + 218 = 26. Suppose -217*k + 212*k = 235. Is k bigger than h?
False
Let s be (-2)/13 + (-1088)/(-1664). Which is smaller: s or 11/2?
s
Let p be ((0 - -862)*4)/(2/4). Let b be ((-15)/12)/5 - (-1756)/p. Which is smaller: 1 or b?
b
Let z = 4031 + -4032. Which is bigger: z or 421?
421
Let r = -15798 - -15986. Is 4/21 bigger than r?
False
Let p = -0.04 + 5.04. Let b = 6.55 + -6. Let k = b - 0.85. Which is smaller: k or p?
k
Let d = 287.819 + -288.6. Is d less than 3?
True
Let i = 193.1 + -205.1. Which is greater: i or 34?
34
Let r = 257 - 7926/31. Which i