0 + 8 = -8*o. Let f be 9/o + (-25)/(-4). Suppose i + f*i = 0. Which is smaller: i or -5/16?
-5/16
Let u be (-24)/(-1158)*3/246. Is 0 at least u?
False
Let m = 1555/101869 - -4354595795/353587299. Let z = 3/1157 + m. Does z = 12?
False
Let q = 2884.97601 - 2885. Is 0.2 at least as big as q?
True
Let o = 0.04274 - 0.14274. Let c = 2933/663 - 57/13. Is o <= c?
True
Let i(u) = 4*u**2 + 22*u - 26. Let s be i(1). Let t(o) = -o**2 + 2*o + 4. Let b be t(3). Let g(y) = y - 1. Let z be g(b). Do z and s have the same value?
True
Let z = 135 + -78. Suppose -z = -10*l + 73. Suppose -4*t + 75 = -l. Is t not equal to 23?
True
Let q = 14808001/6020 + -12299/5. Which is smaller: 1 or q?
q
Let c = -27822 + 27881. Are c and 77 non-equal?
True
Suppose 45 = 5*g + 5*i, g - 4*i - 46 = -17. Let z be (369/(-82))/(g/28). Is -9 at least z?
True
Suppose k - 9 = 0, 150*q = 149*q - 2*k - 664. Is 0.02 < q?
False
Let v = -3208/9 - -246926/693. Let t = v + -1/154. Which is smaller: t or -8?
-8
Suppose -o + 3*g - 75 = -437, -3*o + 1047 = 4*g. Let b = 347 - o. Are b and -11 equal?
False
Let r = 423 + -200. Let l = r + -662/3. Which is greater: 3 or l?
3
Suppose -5*y + 23 = -m - 10*y, 0 = y + 5. Let z be 5*1*(99/45 - m). Which is smaller: z or 3?
z
Let g(x) be the second derivative of 5*x**3/6 - 28*x**2 + 22*x. Let w be g(12). Let l be ((-6)/3 + 3)/(w/(-3)). Is l >= 2/3?
False
Suppose -658 = 4*r + 154. Let i be (-58)/r + 58/(-7). Which is greater: -10 or i?
i
Let u(h) = 14*h**2 + 10*h - 9. Let f(v) = -26*v**2 - 21*v + 19. Let c(o) = -6*f(o) - 11*u(o). Let t be c(-9). Is t at most as big as 0?
False
Suppose 48*r + 654 + 167 = -187. Is 35 <= r?
False
Let k = -11.8 - -13. Let f = -3.118 + -0.302. Let b = -1.42 - f. Which is bigger: k or b?
b
Let y be (240/(-25) - -11)*(-3 - -8). Is y > 89/11?
False
Suppose 2*w - 7 = -w + 2*k, 2*w - 4*k - 2 = 0. Let t be w/((0 + 9)/(6/(-879))). Which is bigger: -1 or t?
t
Suppose -4*b = -2*y - 0*y, 5*y = -4*b. Let z = -29963 + 449252/15. Let q = z - -71/5. Is b > q?
False
Let z be ((-3)/21 + 7126/49539)*(-24)/(-40). Is z at most 1?
True
Suppose -4*u = 2*v + 112, 5*v = -2*u + 10*v - 92. Is 2 greater than or equal to u?
True
Let r be (-16 + 1455/90)/((-533)/(-6)). Is r greater than 0?
True
Let r(j) = 30*j**2 - 32*j + 2. Let d be r(1). Is d at most as big as 2/3721?
True
Let o = 0.128 + -0.978. Which is bigger: -9 or o?
o
Let f = -313/35 - -44/5. Suppose 0 = -0*w - 7*w. Which is smaller: f or w?
f
Let z(o) = -2*o - 26. Let w be (1 + -2)*-1*9*-1. Let v be z(w). Let l be 2*(-3 + (-28)/v*1). Is -1/14 greater than or equal to l?
False
Suppose 16 = -6*s + s - 3*j, 3*s - 2*j = -2. Let g be (-215)/(-86)*s/31. Is g greater than or equal to 0?
False
Let p = -5152 - -5153. Is 5/124 at least as big as p?
False
Let p(i) = -i**3 + 9*i**2 + 68*i + 26. Let r be p(14). Which is greater: -13/4 or r?
r
Let f = 75 - 149. Let d = f - -297/4. Let z = 4 + -8. Is d at least as big as z?
True
Suppose -2*r + 61 = 3*f, 0 = -2*r - f - f + 58. Let w = 0.8536 + -1.0536. Which is smaller: w or r?
w
Suppose 0 = 4*x + 2 + 2. Let p be ((-48)/570)/(0 + -1 + 2 + 1). Which is smaller: x or p?
x
Let a = 6 + -5.71. Let g = -0.29 + a. Let l = g - -0.004. Is l > -0.1?
True
Suppose -19*r + 5111 = 5130. Which is greater: r or -2/14969?
-2/14969
Let u be 0 + (-66 - (2 - 3)). Suppose -20 = -2*a - 4*y, 15 = -5*a - y + 74. Suppose -a*q + 512 = -20*q. Which is smaller: q or u?
u
Suppose -17*h - 171 - 33 = 0. Which is smaller: -254 or h?
-254
Let l(v) = -v**3 - 8*v**2 - 12*v - 3. Let x be l(-5). Let d(z) be the third derivative of z**5/20 - 25*z**4/24 + 4*z**3/3 + 37*z**2. Let r be d(7). Is x != r?
True
Let r = 32156 + -32864. Is r != -709?
True
Suppose -408 = -2*d - m, 0 = -5*d - m + 6*m + 1050. Let z be ((-171)/399 - 151/(-140)) + (-32)/80. Is d < z?
False
Suppose 12*v + 305 = -175. Let w be (4/90)/(24/v). Let a = 1 - 2. Is w bigger than a?
True
Suppose -136 = 626*d - 622*d + t, 2*t = 2*d + 58. Which is smaller: -21 or d?
d
Let k = -11444 - -80110/7. Is 2061 equal to k?
False
Let y = -143922/7 + 20560. Which is bigger: y or 32/211?
32/211
Let v = -24531.9763 - -24533. Let n = v + -0.0237. Which is smaller: -2/285 or n?
-2/285
Suppose -j + 17109 = -2*j + 4*h, h = 3. Do j and -17097 have different values?
False
Let k be 10/8*68/13481. Which is bigger: k or 1?
1
Let u be 10/10 - (13 + -2). Let i be u/(-2) + (-595)/126. Suppose 2*f - 2*w + 3 = -f, 0 = f + w - 4. Are f and i nonequal?
True
Let c = -776 + 790. Let z be 51/102 - ((-11)/c + 0). Which is greater: 1 or z?
z
Let r = -634.15 + 584. Let i = r + 1.15. Let l = -49.3 - i. Are l and -0.19 unequal?
True
Let d(a) = -2*a**2 + 51*a - 178. Let c(h) = -h**2 + 25*h - 90. Let n(l) = 7*c(l) - 3*d(l). Let u be n(6). Which is smaller: -19/28 or u?
-19/28
Let l = -3293 - -3300.75. Is -3/2 less than l?
True
Let k be (208/117)/((-30)/(-81)). Let r = 2 - 2. Which is bigger: k or r?
k
Suppose -27*j = -3719 - 2167. Let z = 103 - j. Which is greater: z or -116?
z
Let n = -30 - -32. Suppose 4*j = -n*d - j - 13, d = -3*j - 9. Let c be (1/d)/(20/(-16)). Is c < 0.2?
True
Let t = -7177/3392 + 108/53. Let m be (14/4 - 4)*(-2)/(-1). Are m and t equal?
False
Let h be (15 - 19)/(11070/(-5529) - -2). Is 1846 < h?
False
Let b = -9561.813 - -9562. Is b at most as big as -1/3?
False
Let p = 1925 - 21191/11. Let r = 93 + -95. Which is smaller: p or r?
r
Let l(v) = 13*v**2 + 50*v - 491. Let u(z) = -7*z**2 - 27*z + 246. Let t(f) = 4*l(f) + 9*u(f). Let a be t(6). Which is greater: -1 or a?
-1
Let w(g) = -g**2 - 8*g + 2. Let i be w(-9). Let d(s) = 83*s - 46*s - 40*s + 2. Let z be d(3). Is z < i?
False
Let b = -2519 + 2519.001. Let h = 0.199 - 0.2. Let v = b + h. Is -2/31 greater than or equal to v?
False
Let b be -1*3/(-6)*10. Suppose -2*x + 1 = -r - 6, 4*x = b*r + 29. Let u be 4*(-2)/4 + x. Is -2/69 at most as big as u?
False
Let z be (10 + (-846)/90)/(84/40). Which is smaller: 929 or z?
z
Let p be (-1227)/(-165) + -7 - 2/(-10). Let a(s) = s**3 - 2*s**2 + 2*s - 1. Let i be a(1). Let u be i/((-6)/(-3) - 1). Are u and p equal?
False
Suppose 0 = -5*v + v + 4*y + 3352, -5*v + 4192 = -4*y. Suppose -56*c - v = -50*c. Which is smaller: -141 or c?
-141
Let m(h) = -h**3 - 27*h**2 - 47*h + 80. Let i be m(-25). Suppose 5*c = 4*a + 11, c + i = -a - 0*c. Which is smaller: -46/9 or a?
-46/9
Let i(t) = -t**3 + t**2 - 6*t - 3. Let w be i(-5). Suppose -z - 60 = b, 0*b - w = 3*z + 4*b. Does -60 = z?
False
Let o be ((-6)/4)/((-41)/(-246)). Let n be 48/o*21*1/(-4). Let a = 22 + -21. Which is smaller: a or n?
a
Let r be (((-140)/21)/(-4))/6. Let w = -209/720 + r. Is w less than or equal to 1?
True
Suppose 57*y - 1061 = 988 + 3252. Which is smaller: 1228/13 or y?
y
Let b = -129 - -128. Let r be ((-44)/(-33))/(b/(-9)). Which is greater: 54/5 or r?
r
Let n(g) = 6*g + 12. Let s be n(-2). Suppose 11*z + s + 33 = 0. Let x be (4/12)/((-3)/20). Is x less than or equal to z?
False
Let m = -20407 - -20406.9. Which is greater: 9/277 or m?
9/277
Let q = -70 - -295. Let v = q - 224.9. Let r = 65 + -43. Is v smaller than r?
True
Suppose -3*z + 5*z = 2, 2*z - 170 = -3*w. Let p be 7*2/w + (-3)/(-4). Is p less than -1?
False
Let t be (-1)/1*(-7 - -18). Let d = 18.2 - -1. Let i = -19 + d. Do i and t have different values?
True
Let p = -1973 + 17759/9. Let v = 0.004 + 0.042. Is p at least v?
True
Let i(b) = 26*b + 16. Let j be i(7). Suppose 4*d - 610 = -2*n - j, -3*d - n = -311. Which is greater: d or 0.3?
d
Let r be 242601/(-14025)*(-1)/(-14). Let v = r - -1/3850. Is v less than -1?
True
Let h be 20/(-4) - -1 - 3. Let v be (5/2 + -2)*(h - -39). Is 9 not equal to v?
True
Suppose -3*v = 4*o - 3*o + 13, 2*o + 21 = -5*v. Let n(s) = 0*s**2 - 415*s + 409*s - s**o. Let t be n(-6). Which is greater: 7/23 or t?
7/23
Let p = -9166 + 17435. Let x = p + -32649/4. Let d = x - 106. Is 1 greater than or equal to d?
True
Let u be 1386/(-147) + (-40)/(-5). Which is bigger: u or -47?
u
Let l = -7068 - -7866. Which is smaller: l or -1/3?
-1/3
Let i = -508 + 510. Suppose 2*g - 38 = -4*y, 3*y + 12 - 53 = g. Let d = y - 7. Which is smaller: i or d?
i
Let p = 1000 - 3690. Is p != -2690?
False
Let m be (2/(-18))/(2/(-4)). Let y be ((-5)/(-6) - (-353217)/(-7542))/((-4)/6). Which is smaller: m or y?
m
Suppose 0 = 79*y - 58788 - 44975 + 1457