s = w + 27. Let u be 2/(-3) - 42/18. Is u smaller than s?
False
Let l = -280.97 + 281. Is l != -8/9?
True
Let r(a) = -a**3 - 8*a**2 - 11*a - 9. Let s be r(-7). Suppose -5*h = -11 - s. Do h and 7 have different values?
True
Let j be ((-24)/(-5) - 0)*10. Let k = 354 - 366. Let g be 2*-2*k/j. Is 2 smaller than g?
False
Let o = -289 + 330. Which is greater: o or 0?
o
Suppose -5*f = 2*j + 2*j - 30, -4*j = -4*f - 12. Let n be (-6)/(2 - 4)*-1. Let u be 0 + (-11)/n + -4. Is f <= u?
False
Let s be (24/9 - 2)*-3. Let d(o) = -2*o**2 - 11*o - 2. Let r be d(-5). Let f = r + s. Which is greater: 1/6 or f?
f
Let z(o) = 2*o**3 + 8*o**2 - 14*o + 3. Let t be z(-6). Is -56 less than t?
False
Let s = 564.05 + -564. Is s bigger than -34?
True
Suppose 4*y = 6*y - 4. Let a be (-2)/(-4)*y/3. Let g = 1963 - 1963. Which is greater: g or a?
a
Let x = 553712/7 + -78955. Let l = x - 147. Is l bigger than -9/8?
True
Let a(y) = -y**3 - 4*y**2 + 6*y + 5. Let i be a(-5). Suppose i = -f - 4*f + 70. Let s be (-4)/f + (-207)/(-504). Is s < 1?
True
Let r = -874.2 - -874. Let i = 2.4 - 28.4. Is r != i?
True
Suppose x + 3*q + 3 = 0, -27*x + 22*x = -3*q - 3. Is -2/3215 != x?
True
Let z(o) = 2*o + 1. Let y be z(-2). Let h = y + -19. Let t = h - -17. Which is smaller: t or -7?
-7
Let j be (0 - 0)/(-2 + 0). Let v be 5 + -4 + 6/(-4) + j. Is v greater than 20?
False
Suppose -4*k = -1143 + 1111. Is k equal to 26/3?
False
Let y = 0.06 + -0.087. Let b = y - 0.173. Which is greater: 1 or b?
1
Let d be (-1 + 3 - 5)*-2. Let j be 76/(-112) - d/(-14). Are j and -1 non-equal?
True
Suppose 0 = 5*i + 2*f - f + 88, f = 3*i + 48. Do i and -3 have the same value?
False
Let v = -0.036 - -20.036. Let i = -157.5 - -137. Let x = i + v. Which is bigger: 1 or x?
1
Suppose -3*j - 2*d - 3478 = 0, 4*j + 2621 = -d - 2013. Is j at least -1159?
True
Let h = 575 - 557. Is h bigger than 20?
False
Let a(o) = 2*o**2 + 6*o. Let l be a(-6). Is 34 bigger than l?
False
Let d(t) = t**2 - 4. Let l be d(-3). Let x(q) = q**2 + 70*q - 378. Let j be x(5). Is j at most l?
True
Suppose 0*a = -a - 9. Suppose 0 = 4*v - 7*v + 45. Let t(n) = -n**2 + 16*n - 14. Let i be t(v). Which is smaller: a or i?
a
Suppose 2*b + 42*u - 43*u = -3556, -4*b - u - 7118 = 0. Which is greater: -1780 or b?
b
Let b = 1763718 - 40545729/23. Let y = 861 - b. Let z = y + -265/368. Is z equal to 2?
False
Let c(w) = 2*w - 6. Let f be c(4). Let m be (1/(-18))/(f/(-4)). Suppose 45*h - 36*h = -9. Which is greater: m or h?
m
Let n be 5 + 222/(-42) + 13290/(-35). Do n and -379 have the same value?
False
Let a = 10689 - 96341/9. Let g = 1874/117 + a. Let x(k) = -73*k - 146. Let d be x(-2). Is g at least d?
True
Let u(h) be the second derivative of -5*h**3 + 5*h**2 - 5*h + 3. Let p be u(3). Is p greater than -79?
False
Suppose 0 = 7*s - 25*s - 864. Which is bigger: s or -53?
s
Let j(f) = f**2 - 4*f + 14. Let y be j(-3). Which is smaller: y or 33?
33
Let l = 28 - 21. Let k be ((-112)/(-70))/(l/(-5)). Which is greater: -2 or k?
k
Let l(i) = 3*i + 2. Let p be l(5). Let s = p - 13. Let k be s/14 + (-171)/378. Which is smaller: k or 1?
k
Let v = -34 + 34.019. Let d = v - 6.019. Is 1/4 smaller than d?
False
Suppose -2*j - 4*a + 4 = 0, 5*j - 2*a + 12 - 58 = 0. Suppose 4*x + n = 9, 3*x = -n - n + 13. Is x < j?
True
Let r = -265 + 278.92. Let i = r - 14. Let l = 3.08 + i. Is -1/2 greater than or equal to l?
False
Let j = -1 + 2.1. Let m = -0.5 - 0.4. Let u = j + m. Which is smaller: 0.1 or u?
0.1
Let y = -22.6 - -22. Let q = y - 0.2. Let m = -0.7 - q. Is -13 != m?
True
Let o = 2250013/388 - 5799. Is 0 <= o?
True
Let p be 0/((-9)/(-1 - 2)). Let i = -22/171 + 1/57. Which is greater: i or p?
p
Let i = -3/8296 - -431491/273768. Which is smaller: 3 or i?
i
Let c be (212/((-2)/1))/((-24)/12). Which is bigger: c or 3?
c
Let r = 21 - 61/3. Let w be (1 - 4/6) + 45/(-135). Which is smaller: w or r?
w
Suppose 0 = -j + 3*j. Let x be 22 - j - (-6 - -5). Suppose 5*w + 78 - x = 0. Is w at most -11?
True
Suppose 396 - 90 = 6*m. Which is greater: 52 or m?
52
Suppose -2*p + 33 = p. Suppose -45*a = -82*a + 444. Which is greater: a or p?
a
Let c(y) = -y**3 + 5*y**2 - 4*y + 3. Let s be c(4). Suppose 123 = 4*p + 37*p. Suppose -p*m = -3, 2*m - s*m = 5*o - 116. Is 23 not equal to o?
False
Suppose 2*c = -8, 0*y = 3*y - 3*c - 30. Suppose -y*d + 3*d = -48. Let b be 6/12*1*d. Is b smaller than 7?
False
Let s be 2/(-4) + (-47)/(-22). Suppose -49*t + 60*t - 22 = 0. Which is greater: s or t?
t
Let j be 1612/320 + 0 + -24 + 19. Which is smaller: 2 or j?
j
Suppose -5*j + 2*o = 4*o + 22, 0 = -4*j + o - 15. Suppose -25 = 5*x + p, -2*x + 5*x + 28 = 2*p. Which is bigger: x or j?
j
Let m be 33 + -1 + -3 - -4. Suppose 3*n - m + 6 = 0. Let j = -1 + 8. Is j >= n?
False
Suppose 4*m + 5*v - 4 = -3, v + 19 = 4*m. Suppose z - 15 = -2*b, 26 = 2*z + m*b - b. Let a = 6 - 2. Is z at least a?
True
Let l(h) = h**2 + 15*h - 20. Let s be l(-9). Let y = 76 + -151. Is y smaller than s?
True
Let a = -9/29 - -121/203. Is -0.004 at least a?
False
Let l(f) = 52*f - 877. Let i be l(16). Suppose -5*d - u - 225 = -2*u, 3*d = 5*u - 113. Which is greater: i or d?
i
Let u be 35/3976*4*(-8)/(-10). Is 1 >= u?
True
Let f be 20/140 + (-12)/(-14). Is -2 smaller than f?
True
Let a = 70.9 - 70. Which is smaller: a or 2/21?
2/21
Let l = -1564 + 1404. Which is bigger: l or 0?
0
Let f(r) = r**2 + 3*r - 3. Let z be f(-4). Let d be (-3 - z) + 3 + 18/16. Is d less than or equal to -1?
False
Let l(d) = d**2 - d - 24. Let z be l(0). Let s = -24 - z. Suppose -3*c + 25 - 16 = s. Is c less than or equal to 8/3?
False
Let a = -57713765/25663 + 24738/11. Which is greater: a or -1?
a
Let y = 282795/227737 + -3/7853. Which is smaller: y or 1?
1
Let h(y) = 6*y + 315. Let p be h(-28). Which is smaller: p or 148?
p
Let o be (3 + 3)*1 + 0. Suppose 4*l + 3*z - o = 7, -2*l + 3*z - 7 = 0. Let w be (-4)/(-18) + 276/(-1485). Is w equal to l?
False
Let u be 1768/(-468) - 2/9. Which is smaller: u or 0?
u
Let p = 4.355 - -1.645. Let t = -5/99 - -3/11. Which is smaller: t or p?
t
Let n = -7 + 9. Suppose -2*m - 2 - 10 = n*f, -2*m = -2*f + 12. Let o be m/(-15) - 27/5. Is -5 > o?
False
Let q = 2.5 - -0.5. Let k = 0.9 - 5.9. Which is greater: q or k?
q
Let p = 112 + -23. Let u = p - 58. Let o(z) = 57*z + 602. Let i be o(-10). Is u less than i?
True
Let x(a) = -3*a**2 - 3*a + 6. Suppose 2*v - 4*v = -16. Let l be x(v). Let y be (-85)/l - (-2)/12. Which is bigger: 0.1 or y?
y
Let k(d) = -d - 7. Let l be k(-5). Let u = 39/133 - 16153/55993. Let m = u - -828/2947. Which is bigger: l or m?
m
Let x = -4503 - -3188123/708. Which is greater: x or -1?
x
Let v be (-4)/10 + (-138)/30. Let n(x) = x**3 + 5*x**2 + 1. Let f be n(v). Which is bigger: -3/7 or f?
f
Let k be (17/(-18) + 1)*111 + -4. Are 2 and k equal?
False
Let w = 4.88 - 6.67. Which is greater: w or -2/7?
-2/7
Suppose 4*f + 19 = 3, 2*g - 5*f - 6 = 0. Let z(k) = 12 + 0*k + 7*k - k**2 + 11 - 11. Let i be z(9). Is g less than i?
True
Let h(m) = m**2 + 13*m - 9. Let n be h(-11). Let j(d) = -2*d**2 - 3*d + 5. Suppose 0 = -2*w - 3*k - 7, 5 = 2*k + 3*k. Let r be j(w). Is n at most r?
True
Let x = -17794 + 178473/10. Let q = x + -101/2. Is q at least as big as 4?
False
Let w = -47521270/937871 + 17116/337. Let t = -4/121 + w. Which is bigger: 0 or t?
t
Suppose 43 - 70 = -3*s. Suppose -5*x = -4*x - 7. Which is smaller: x or s?
x
Let s(v) = v**3 - 12*v**2 - v + 8. Let z be 90/8 + (-24)/(-32). Let l be s(z). Let t = l + -1. Is -4 greater than t?
True
Let r be (3 + 9)/2*(-3)/27. Which is smaller: r or -19.9?
-19.9
Suppose 2*v - 3*v + 7 = 0. Let j be 7*102/42 + -11. Is v greater than j?
True
Suppose 217 = 11*t + 206. Which is bigger: 36/35 or t?
36/35
Let s(c) = -c**3 - 9*c**2 + 3*c + 28. Let o be s(-9). Which is smaller: o or 1/789?
1/789
Let j = -101 - -102. Is j <= 2/217?
False
Suppose -x - 5*f + 104 = 0, -x + 3*f - 13 = -77. Suppose -2 = -q, 2*y + 3*y - x = -2*q. Which is bigger: y or 17?
17
Suppose -2*w - 12 = -5*w - 3*n, w + 5*n = 0. Suppose -4*h - 6 = 2*x - 0, 18 = -x - w*h. Let z be 40/(-6) - (x - 10). Which is smaller: -4 or z?
-4
Suppose 21 = 22*f - 15*f. Are -26 and f nonequal?
True
Suppose -58*b - 341 = 2753 - 20. Let l = -0.3 + 0.2. Which is smaller: b or l?
b
Let b = 0.204 + 2.796. Which is smaller: b or 1.7?
1.7
Let g = 