5 + -24505. Let r = -0.8 - 0.2. Is f != r?
True
Let n = -5861 + 5862. Is -1/1711 at most n?
True
Let i be 33/495 + 391/(-5640). Which is bigger: i or -1?
i
Let p = 4915 + -4916. Let z = 0.02 + -0.12. Which is smaller: p or z?
p
Let f be 3/(-27)*-6 + 60274/(-6). Let v be 2 + (-15)/8 + f/17384. Is v at least as big as -1?
True
Let g(h) = h**3 - 20*h**2 + 41*h - 56. Let w be g(18). Let b(v) = -v**2 + 33*v + 10. Let y be b(w). Do -5 and y have the same value?
False
Suppose -5*d = 65 - 50. Let l be d + -8*1/(-2). Suppose 2*c = -l - 3. Which is greater: -3 or c?
c
Suppose -3*h - 5958 = -5*a, 0 = -3*h - 5*a - 7465 + 1537. Let w = -43603/22 - h. Is -1 smaller than w?
True
Let v = 113 + 63. Let k be (3356/v)/1 + (-2)/(-11). Let r = k + -53/2. Is r smaller than -6?
True
Let w be (-1 - -7)*(-4)/8. Let s be (-864)/468 - (-4)/(-26). Let j be s + 4/((-4)/(-6)*w). Which is smaller: -5/2 or j?
j
Let d = -19 - -11. Let c = -163 + 168. Suppose c*r - 7 = 3*s + 41, -24 = 3*s + 3*r. Are d and s equal?
False
Let j(m) = 138*m - 1392. Let g be j(20). Which is smaller: g or 1357?
1357
Let p be -7 + ((-6)/(-51) - (-4806)/(-102)). Is p greater than or equal to -66?
True
Let z be ((-255)/34)/(33/8668). Is -9847/5 greater than or equal to z?
True
Let c = 1 - 1. Suppose 2*a - 5*d + 8 = -1, 0 = 5*a - d - 12. Suppose 2*g + a = -5*o + 5, 0 = 4*g - 3*o - 4. Which is smaller: c or g?
c
Let y = -499 + 54. Let f = 445 + y. Is f at least -2/2127?
True
Let d be ((-4352)/(-24))/16*-6*6. Let u be 42/70 - d/20. Do u and 21 have the same value?
True
Let c = -4 - -2. Let k = c - -15. Suppose -5*y + 13 = -3*m, 33 = -3*y - 3*m + 12. Which is greater: k or y?
k
Let f be (-12)/(-3) + (-6 - (1 - -3)). Does f = -2?
False
Let z(n) be the second derivative of -n**3/6 - n**2 + 9*n. Let i be z(-3). Let g be (-150)/38 + (i - -3). Which is greater: 0 or g?
g
Let v = 0.00035 - -5486.99965. Which is smaller: 0 or v?
0
Let p be (3 - 4)*28/7 - -399. Let w = 673 - p. Do 278 and w have the same value?
True
Let g(s) = -s**2 - 4*s + 14. Let l be g(6). Let j = l + 67. Suppose -20*o = -j*o - 1. Is o < 1/7?
True
Let l = 3988 - 2869. Is l less than 1116?
False
Suppose d + 13 = i - 2*d, -8 = 4*i + 3*d. Let j be ((-44)/(-1661))/(((-24)/20)/3). Let w = 208/7701 + j. Are w and i nonequal?
True
Suppose -2*z + l + 1 = 0, 16*z - 19*z - 3*l = -15. Let w be (18/27)/(z - 3). Let c = -11.4 + -39.6. Is w greater than or equal to c?
True
Let b = 19704 + -19704.2. Is b > -1529?
True
Let k be 71066/(-32)*1/(209 - 0). Let b = k - -202/19. Is b <= -1?
False
Suppose -s = t + 3*t - 18, 4*t = 4*s + 8. Suppose 242 = -4*k + 3*a - 5*a, 5*k + 283 = t*a. Is k at least as big as -60?
True
Suppose -187*v - 408 - 795 = 2163. Let b be -2 + (-54428)/10 + -2. Let z = b + 5430. Is z at least as big as v?
True
Let c = -26/419 - -164453/10056. Which is smaller: 15 or c?
15
Let x be 15/12 - 11/((-264)/18). Suppose x*a = 3*p - 12 + 6, -3*a - 9 = -4*p. Do 1/11 and p have the same value?
False
Let c = -17159 + 17128. Is 0 less than c?
False
Let f = 192 + -185. Suppose -85 = -f*y + 3*y - 3*b, -y + 31 = 4*b. Which is bigger: y or 21?
21
Let n(k) = -3*k**2 - 3*k - 18. Suppose -3*g = 12, u - 5*g - 8 = -2*u. Let c be n(u). Is -3 at most c?
False
Let c(i) = -13*i + 9. Let j be c(-4). Let v = -60 + j. Let z be (v - 5 - -1) + 3. Are -1/21 and z nonequal?
True
Let a = 21.04 - 14.1. Are a and 0 nonequal?
True
Let s be 2/(-39455)*(58 + -53). Is s greater than or equal to -1?
True
Suppose -4 = -2*q, -43*w = -38*w + 5*q + 2375. Which is bigger: w or 2?
2
Let l be (4/3 - (-5176)/24) + 3. Let d = l + -241. Which is smaller: d or -27?
-27
Let o = -1/19731 - 2065175/59193. Which is smaller: -36 or o?
-36
Let k = 236 + -12038/51. Let u = k + -5/17. Which is smaller: u or 2/193?
u
Let v = 3 + -2.9. Let y = -150928 + 150708. Which is greater: y or v?
v
Let f = -0.09532 + 4.12912. Let z = f - 0.0338. Are -22 and z nonequal?
True
Let z(q) = -129*q - 673. Let d be z(-19). Is d smaller than 1776?
False
Suppose -30*q = -27*q - 12*o + 30, 1 = 5*q - 3*o. Which is smaller: 152/83 or q?
152/83
Let a = -6.3 + -3.3. Let s = 565.4 + -574. Let x = a - s. Which is smaller: 1/11 or x?
x
Let q be (0/(-2))/3 - 2. Let d be (4/(-290))/(q/(-10)). Let f(n) = 272*n + 1633. Let y be f(-6). Is d greater than or equal to y?
False
Let p = 17414 + -17413. Is 2406 < p?
False
Let a(r) = r**3 + r**2 + r + 3. Let x be a(0). Let u = 464 + -456. Let o be u - (330/42 + -3). Are x and o nonequal?
True
Let p = -13.72 - 592.28. Which is bigger: 5 or p?
5
Suppose 5*t = 3*d + 2678, 1064 = 12*t - 10*t - 3*d. Is t greater than or equal to 541?
False
Let j be 0/((-2 + -3)/5) + 29. Suppose w = -9 + j. Let v = -26 + 25.9. Which is smaller: w or v?
v
Let o be 1/4*532*1. Let u = o - 143. Let r be -4 + (-45)/u + 44/(-8). Is r at least -50/13?
False
Let b = -16093.5 - -16093. Let k = -0.061 - 46.939. Is k bigger than b?
False
Let o = 35 - 25. Suppose 7*a + 12 = o*a. Suppose -4*p = 5*x - 47, 0 = -2*p + 2 + a. Is x <= 5?
False
Let u = 2671 - 2670.627. Which is bigger: -2.5 or u?
u
Let y = 19 + 2. Suppose -244*r = -297*r + 265. Is r < y?
True
Let s be (29204/294)/(40/(-33)). Which is smaller: -83 or s?
-83
Let a = 1197 + -1110. Let g = 6 + -9. Let t be a/(-8) - g/(-24). Is -10 != t?
True
Suppose 15*g - 32261 - 31355 = 4049. Which is smaller: g or 4510?
4510
Suppose -4*k + 65 = 5*t, 2*t - k + 8 - 21 = 0. Suppose t*n - 294 = 3*n. Suppose -8*p - 143 = n. Which is bigger: -25 or p?
p
Let r = 9735 + -8646. Which is smaller: r or -0.05?
-0.05
Let w(v) = v**3 - 20*v**2 + 19*v - 3. Let q be w(19). Let z be -2*3/6*q. Suppose -z*k + 0*k = 6. Which is smaller: -4/3 or k?
k
Let a be (16 - 17)/((-2)/10). Let m be (32/(-24) - 0) + (-25)/(-15). Is a at least m?
True
Suppose 0*b = 2*b - 30. Suppose -b = 7*l - 2*l. Suppose 27 = -5*z + 17. Which is greater: l or z?
z
Let c = -10969283/3555 + 15428/5. Which is smaller: 1 or c?
c
Let j = -48.6915 - -47.25. Let g = j + 0.0315. Is -0.1 at least as big as g?
True
Let t be (4/2)/(31/62). Suppose t*x - 19 = -83. Let z(n) = 4*n + 5. Let p be z(-5). Is p < x?
False
Suppose 95 - 29 = -2*n. Let i be ((-84)/(-18) - 5) + 4186/n. Let v = i + 127. Which is greater: 1/2 or v?
1/2
Let s = 93.2 - 104.2. Let g = -20.7 - -2.7. Let o = g - s. Is -2/5 less than or equal to o?
False
Let g = -3035 + 3004. Which is smaller: -2/769 or g?
g
Let m be (-129269)/517020 - 31/(-124). Is m bigger than 1?
False
Let m(l) = -l**2 - 5*l - 2. Let n be m(-3). Suppose 4*i - 72 = n*x, -2*i - x + 36 = 2*x. Let a(y) = -2*y**2 + 65*y + 51. Let b be a(33). Is i bigger than b?
False
Let l be (-18)/63 + 33/(-7) - 1. Let g be (120/25)/(l/(-40)). Let t = -41 + g. Which is greater: t or -8?
-8
Let a = -237 + 114. Let x = a - -123.4. Are x and -2/27 equal?
False
Let f(t) = 10*t**3 - 19*t**2 + 7*t + 10. Let s be f(8). Let c be (2 + s/(-1975))/((-6)/(-45)). Which is smaller: c or 0?
c
Suppose 5*r = 5*w + r - 78, 4*r = w - 22. Let p be ((-54)/(-105)*5)/(2/w). Let v be (212/(-18))/(6/(-9)). Which is greater: p or v?
p
Let k = -37261/11778 + -6/1963. Let w be 3 - 2 - (1 - -4). Which is greater: w or k?
k
Let o = -6353421 - -4402921559/693. Let k = o - 2/99. Suppose -2*u + 6 - 2 = 0, 5*u = -v + 11. Is v > k?
False
Let j(i) = -37*i - 2441. Let m be j(-66). Which is bigger: m or 2/2213?
m
Let v be 11 + -7 + -1*14. Let y = 1218 + -1205. Does v = y?
False
Suppose -6*j = -11*j - 13*j + 35532. Which is smaller: j or 1975?
j
Suppose -2*z = -4*x + 8956 + 18422, 0 = -3*x + 2*z + 20537. Is x at least as big as 6841?
True
Suppose -p - 5*t = 0, -3*t - 26 = -4*p + 20. Suppose 0 = -5*b - 4*q + 11, 0*q = 2*b - 4*q - p. Let g be -14*(-40)/(-70) + 9. Which is smaller: g or b?
g
Let f(t) = -14*t**2 + 22*t + 1. Let j be f(5). Let m = -257 - j. Is m at most as big as -11?
True
Suppose -5*m + 37 = 2*w, 4*m + 2 = 5*w + 25. Let h = 232 - 223. Suppose -h*g + 16 = -5*g. Are m and g nonequal?
True
Let h(r) = -r**3 - 3*r**2 - r + 2. Let u be h(-2). Suppose -2*d - 26 = -36. Let b be -2 + d/(135/21). Is u at least as big as b?
True
Let q = -12/185 - -27118/1665. Is -1 != q?
True
Let m(g) = -6*g**2 + 5*g + 2. Let i be m(4). Suppose -192*t - 42327 = 681*t - 56*t + 19765. Which is bigger: i or t?
i
Let m = 465 - -82. Suppose 17*h + m = 139. Are h and -4/7 non-equal?
