 be (-6)/1821*(-8 - j). Is l > 0?
False
Suppose 3*i - 3 = 2*i, -5*j - 3*i = -69. Let u be (-1)/(-4) - 3/(j/(-7)). Are 15/19 and u non-equal?
True
Let w = 0.2168 + -0.1998. Is -60 < w?
True
Let i be (-11)/22*-1*(-8)/688. Which is smaller: i or 0?
i
Let b = -0.2 + 0.1. Let y = -60.79 - -59.2. Let s = y + 1.62. Is s bigger than b?
True
Let x(y) = -y**2 - 8*y + 25. Let w be x(0). Suppose -60*r = -59*r - w. Which is smaller: r or 30?
r
Let u = -2.624 - -6.624. Is 43/7 bigger than u?
True
Let r(s) = 51 - s**2 + 15*s - 7 - 10. Let x be r(17). Let g be 4/(-18) + ((-2946)/(-864) - 3). Which is greater: g or x?
g
Let r = 3.4751 + -19.4751. Which is smaller: r or -8/13?
r
Let w be ((-8)/((-40)/(-5)))/(-1). Let z be 928/(-384) + w + 0. Is 0 <= z?
False
Let b = 36177536/9 + -4023639. Let j = -3907 - b. Is 6 at most j?
False
Let d be (13 + -30)/(2*3/6). Let j(m) = -m**2 + 3*m + 4. Let v be j(5). Is v smaller than d?
False
Let p(u) = -2581*u + 917. Let a be p(2). Is -4245 bigger than a?
False
Suppose 132*i - 134*i - 17 = -205. Is -17 < i?
True
Let l(b) = 13716*b**3 - 43*b**2 - 43*b - 1. Let u be l(-1). Which is smaller: -13716 or u?
u
Suppose -3*w = -550*k + 551*k + 8, w - 9 = -2*k. Is w at most as big as -7?
False
Let u = 231 + -234. Let z be (10/210)/(u/18 - 0). Which is smaller: z or 28?
z
Let v(p) = p**2 - 17*p - 15. Let c be v(18). Suppose 6*l = 2*l - c*k + 25, 2*k = -10. Suppose 2*z - 3*g = z + 76, 0 = -2*g - l. Is 61 at least z?
True
Let s be 440 - 70/14*3. Is s < 437?
True
Let s be -6 + ((-220)/(-25) - 3) - 173/(-890). Which is greater: 4 or s?
4
Suppose -5*w + 54 + 26 = 0. Let k(t) = -2*t - 1. Let i = -8 + 0. Let f be k(i). Which is smaller: f or w?
f
Let y = -4359 - -4355. Which is greater: y or -46?
y
Let c be ((68/4)/(-34))/((-27)/(-6942)). Which is bigger: c or -130?
c
Suppose 167*d = 181*d - 588. Suppose 301 = -41*m + d*m + i, -4*i = 3*m - 907. Which is greater: 298 or m?
298
Let d = -0.6 + -0.5. Let g = -16242 + 16242.1. Is d <= g?
True
Suppose 6 - 4 = 4*i + 2*t, 0 = 5*t - 25. Let l be 1 + i/((-234)/(-171)). Which is smaller: l or 8?
l
Let i = -2088.43 + -23.57. Is i greater than 0.1?
False
Let v be -2*(-2 - 8 - 2). Suppose -2*y + 124 = -2*b, -13*y - b = -15*y + 127. Suppose 4*q - y = -5*l, -4 = 4*q - v. Is 44/5 less than l?
True
Let g be (5 - -1 - 4) + -1 + 4. Let i be 115/(-46)*(-12)/g. Let m be ((-2)/i)/((-268)/(-8)). Which is smaller: m or 1?
m
Let n = -2740 - -2741. Is -2/4013 at most as big as n?
True
Let h = -18698.15 + 18696. Is 6 bigger than h?
True
Let q = 28367/63 + -3141/7. Let d be 4/(-8)*(-2)/8. Is d less than or equal to q?
True
Suppose 8 = 4*k - 0*k. Let t(v) = 20*v + 65. Let i be t(k). Which is greater: 106 or i?
106
Let f = 12.15 + -27.73. Let d = -15.6 - f. Which is greater: 1 or d?
1
Let u = 10077/11 - 921. Suppose 5*j - 4*a = -16, -4*a = 5*j - 3*a + 21. Which is smaller: u or j?
u
Let h be 169260/1120 + 3/(-48)*2. Which is smaller: 9 or h?
9
Let y = 3 - 24.8. Let g = y + 21.87. Is 1 at least as big as g?
True
Let s = -24392 - -32336. Does 7943 = s?
False
Let z be ((440/5577)/(-10))/(-454)*3. Which is smaller: 0 or z?
0
Let p = -261.527 - -0.527. Let v = p + 264. Is v < 0.055?
False
Let t be 4*(2/3 + (-290)/318). Let i = t + 3441/212. Is 15 < i?
True
Let k(q) = q**2 - 5*q. Let g be k(6). Suppose z + g = 4*n, -n + 0 = 5*z - 12. Which is greater: n or 52/17?
52/17
Let v(z) = -z**3 - 3*z**2 + 12*z + 5. Suppose 4*s - 5*s + y = 8, 2*y = -2*s - 4. Let h be v(s). Is -7 > h?
False
Let o(k) = -k**2 + 25*k - 44. Let y be o(23). Suppose 0 = -39*t + 38*t - y. Let b be 88/(-12)*3/7. Do t and b have the same value?
False
Let x = -0.9217152 + -0.0782848. Let s = 220 - 449. Is s bigger than x?
False
Let n be 7*(3 - 315/(-49)). Which is bigger: 110 or n?
110
Let f(x) be the second derivative of 3*x**5/20 - 5*x**4/2 - x**3/6 + 4*x**2 + 71*x. Let v be f(10). Let c(o) = o + 4. Let h be c(-7). Are h and v unequal?
True
Suppose 8*b - 19488 = -40*b. Is 407 > b?
True
Suppose 14*v + 13 = -15. Let r be (-2)/(-5) + v*2010/10300. Is r not equal to -1?
True
Let t(o) = 32*o - 16*o**2 + 9*o - 21*o + o**3 + 28. Let j be t(15). Does 104 = j?
False
Let o = -40784 - -48718. Which is smaller: o or 7936?
o
Let w be ((-2065)/118)/((-2)/(-64)). Is -560 at most as big as w?
True
Suppose 1530 = c - 3*g, -1338 = -3*c - 5*g + 3196. Are c and 1519 nonequal?
True
Let x = -107 - -104.23. Let p = 23.71 + x. Let g = 1.06 + p. Do g and -2/7 have the same value?
False
Let l = 254434/3591 - 496/7. Let z = 112518 - 112518. Which is smaller: z or l?
l
Let h = -12.23 + 10.23. Which is smaller: -4/117 or h?
h
Suppose -5*r + 6 = -14. Suppose 0 = b - u + 20, -2*b = -r*b + 4*u - 36. Let w = 23 + b. Which is greater: 0 or w?
w
Suppose -28*y = 2*y - 8*y + 528. Let j be (-19)/76 - 99/4. Is j at most y?
True
Let f = -19 - -36. Suppose 0 = 7*b + 2*b + 216. Let h be ((-60)/16 + 3)*b. Is f bigger than h?
False
Suppose 0 = -d - u + 8 + 62, 152 = 2*d - 2*u. Let q = -340 + d. Are -266 and q equal?
False
Let f(c) = 2*c**2 - 43*c - 24. Let p be f(22). Suppose 69 = 5*u - 51. Which is smaller: u or p?
p
Let d = 79 - 86. Let i be 6/d*(-34)/102. Which is smaller: i or -86?
-86
Let a be ((-1)/(-2))/(22/(-44)). Let c = -10 - a. Let s be (c - -12)/(87/(-2)). Is s less than -2/3?
False
Let n = 72 + -69. Let v be (-3 - -5) + 47 + (2 - n). Let k be (-3)/((-459)/v) + (-3)/9. Which is smaller: 1 or k?
k
Suppose 0 = 193*z - 191*z + 4*i + 1098, 5*i - 1044 = 2*z. Which is greater: z or -2/35?
-2/35
Let b = 0.3079 - 5.3079. Is b greater than or equal to -154.9?
True
Let d = 308163 + -932333/3. Is -2616 bigger than d?
False
Suppose -2 = 2*n - 3*n. Let w(l) = -l**2 - 5*l - 2. Let v be w(-4). Suppose -2*r + 10 = -4*r - n*q, -v*r - 5*q + 5 = 0. Is r > -10?
False
Let c = 0.3 - 0.2. Let s = -0.007 - 60.393. Let o = 59 + s. Is c > o?
True
Suppose 0 = 2*w + 4*s + 24, 3*w - 100 = 8*w + 2*s. Let a = 4 - 22. Is w less than or equal to a?
True
Let a(x) = x**3 - 104*x**2 - 102*x - 1383. Let l be a(105). Which is smaller: -1070 or l?
-1070
Let l be (-116)/(-14) - (-10 + 22 - 8). Let q = l - 556/133. Which is bigger: q or 0?
q
Let c = -1.105 - -0.875. Is -37/5 less than or equal to c?
True
Let a be -8 - ((-17)/2 + 193/(-193)). Let r = -57.67 + 58. Is r >= a?
False
Let s = -10527 - -10852. Which is smaller: 324 or s?
324
Suppose 1140 = -4*d - 884. Let h = 1011/2 + d. Which is greater: h or 48?
48
Let q be (39/21)/((-180)/(-1302)). Is 14 < q?
False
Let t = -2221 + 2216. Which is bigger: t or 31?
31
Suppose -19*a = -17*a - 10, -2*w + 57 = 5*a. Suppose 0*n = n. Suppose n*m - 2*m + 5*v + 45 = 0, -5*m = v - 72. Are w and m non-equal?
True
Let m(h) = -3*h**3 - 8*h**2 - 96*h - 10. Let o be m(-7). Which is smaller: -0.2 or o?
-0.2
Let y = 124 + -26. Suppose y*j - 96*j - 24 = 0. Which is greater: j or 45/4?
j
Let q = -5292 - -722. Which is bigger: q or -4571?
q
Let r = 0.688029 + 865.234971. Let a = -866 + r. Which is smaller: -2 or a?
-2
Suppose -11*j + 30 = -3. Suppose j*x + b = -7, -3*x + 6*b = 3*b + 27. Let d be 3/(-42)*38 - x. Which is greater: 0 or d?
d
Suppose -31200 = 2*s + 43*s + 30*s. Which is bigger: s or -3740/9?
-3740/9
Let k = 39155147/4658 - 8406. Is k <= 0?
True
Let p(a) be the third derivative of -a**5/30 + 25*a**4/24 - 35*a**3/6 - a**2 + 19*a. Let u be p(11). Is u less than -7/8?
True
Let q be (-1)/(8/8792*7). Let a be q/154 + (-72)/(-168) + 0. Is a at most as big as -2?
False
Let i be 3*(10/(-3) - -2). Let w(n) = -53*n + 1888. Let s be w(36). Does s = i?
False
Let s(i) = -2*i**2 - 23*i + 8. Let v be s(-12). Let p be v/((-24)/30) - -8. Suppose -4*r = 2*q - r - 39, 3*q = 5*r + 11. Is p at least q?
True
Let g = 0 - 0.1. Let u = 1691 - 1689.716. Let p = -55.284 + u. Is g at most p?
False
Let g = 14.694 - 7.03. Let a = 0.664 - g. Are -0.03 and a non-equal?
True
Let v be ((-33)/594)/((-2)/112). Let f = -0.34 - 4.66. Which is smaller: f or v?
f
Let k be (1 - -41)/7 - (0 - -3 - -2). Is k > -1/2714?
True
Let q = -24943 - -24740.91. Let c = -202 - q. Is c at most 0.2?
True
Let t = -2842.9 - -3175. Let m = 371 - t. Let p = 39 - m. Is -11 > p?
False
Suppose -20*k - 3*h = -49, -4*k = 5*h - 0*h - 23. Which is bigger: k or 257/79?
257/79
Let x = 179 + 158. Suppose -3*c - 1281 = 4*u, -4*c - x = -2*u + 1349. Is c less than -4