ater: -1 or y?
y
Suppose 2*o + 8 = -2*o. Let l be o/3 - (5 - 1389/234). Which is smaller: l or 1?
l
Let h be 3/((-2 - (-24)/9)*(-150)/100). Is -85/52 bigger than h?
True
Suppose -2*a = -5*j + 2*a + 35, -2*j + 4*a + 26 = 0. Suppose -j*l = -l + 74. Let z = 23896 + -23934. Which is smaller: l or z?
z
Suppose -23*a + 19*a + x + 2 = 0, -4*a = x - 6. Is -1/260 != a?
True
Let n be ((-10)/(-50))/((-1)/(-5)). Let i be 6/(2880/(-14))*(-36)/672. Which is bigger: i or n?
n
Let w = -15097/12 - -5035/4. Is w bigger than 350?
False
Let n(f) = -2*f**3 + 5*f**2 - f - 697. Let h be n(0). Are -700 and h nonequal?
True
Let b = -90 + 102. Suppose -f - 5*a + 1188 = -25, 0 = 3*a + b. Let o be 5/5 + (-2472)/f + 1. Is 1 less than or equal to o?
False
Let y = 7.63 - 7.5. Let i = -0.58 + y. Let u = -24 - -25. Is u != i?
True
Let j = 8/291 + -22535/4656. Is -5 greater than j?
False
Let s(y) be the first derivative of 3*y**2/2 - 40*y + 4. Let j be s(14). Let l be ((27/10)/(-3))/(1/j). Which is smaller: -1 or l?
l
Let d be 108504/168 + (-2)/(-12 + -2). Suppose 0 = -j - j + 4, 0 = 3*a + j + d. Which is smaller: a or -213?
a
Let z = 2705 - 3449. Is -746 not equal to z?
True
Suppose -25*t = -29*t + 68. Suppose -5*b + 2*h = 393, -142 = -15*b + t*b + 3*h. Is -80 greater than b?
False
Let z = -5 + 7. Let q be z/((-1)/(-3)*(-42)/14). Are 40 and q unequal?
True
Let u(r) = r**3 - 2*r**2 - 12*r - 2. Let d = 100 + -95. Let l be u(d). Suppose 0 = 2*j + 15 - l. Is 6/49 equal to j?
False
Let w(c) = 4*c - 2933. Let l be w(0). Which is greater: -2934 or l?
l
Let f = -409.507 - -467.69. Let q = 0.183 - f. Which is greater: q or 0?
0
Let d be 1 - (6 - 5) - -2. Suppose -d*p - p = h - 395, 267 = 2*p - 3*h. Is p less than or equal to 131?
False
Let z be -2 - (10/(-2) + 0/6). Suppose -2*x = -5*n - 16, z*n - 2*x - 3 = -5*x. Is 26 at most n?
False
Let p(f) = -2*f**3 - 14*f**2 + 2*f + 8. Let g be p(-7). Let a be ((-177)/(-33) + g)*(-118)/18. Let i = a + -63/11. Which is smaller: i or -3?
-3
Let s = -100 + 97. Let g be (-22)/(-2*(s + 12/8)). Is g <= -8?
False
Let n(p) be the second derivative of -p**5/20 + p**4/2 - p**3/2 - 13*p**2 + 72*p. Let y be n(5). Let h be 10/(-3 - 21/(-9)). Which is bigger: h or y?
h
Let t = -335 - -347. Suppose 0 = 2*q + 2*q - t. Suppose -4*d + 32 = 4*c, 0 = -2*c - 4*d + 5*d + 10. Is q at most c?
True
Suppose 0 = -15*v - 17*v - 640. Is -37 not equal to v?
True
Suppose 445 = f + 444, -21413 = -3*k + 4*f. Does k = 7139?
True
Suppose 7*v = 18*v - 34*v + 23. Which is greater: -2/40439 or v?
v
Suppose 0 = -5*p - 25*p - 24390. Let w be p*(-4)/54 + (-22)/99. Which is smaller: 237/4 or w?
237/4
Suppose 3*v - 2*p + 17 = 0, -3*v - 11 = -31*p + 35*p. Let c be v/(-25) + 51/(-5). Suppose 2*r + 49 = -2*r + q, 2*r + 11 = 5*q. Which is bigger: r or c?
c
Let b = 0 - -5. Let g be (18 - 4) + -20 - -9. Which is smaller: g or b?
g
Suppose 2*d = 5*d + 2*r - 548, -5*d = -2*r - 908. Suppose 0 = 180*b - d*b - 78. Is b smaller than -36?
True
Let b be 106*(-10)/8*(-6)/15. Let s be 21/56 + b/8. Are 8 and s equal?
False
Suppose 2*a - 49 = -5*a. Suppose -25 = -a*k + 31. Let n be -5*(4/12 - k/15). Is 1 > n?
False
Let o = -1846 + 1842. Is 59 bigger than o?
True
Let o = 501 + -500.263. Let m = 0.747 - o. Is 1 smaller than m?
False
Let k = 1483 - 1489.93. Let q = k - -6.839. Which is bigger: -0.1 or q?
q
Suppose 5*o = 2*q - 11, 4*q + q + 4*o = -22. Let v(u) = 2*u**2 + u - 4*u**2 - 1 + 0*u**2. Let g be v(q). Is g greater than -9?
False
Let k = 140 - 52. Let n = 87.94 - k. Let a = 277/3129 - -1/149. Which is greater: n or a?
a
Suppose 55 = 6*y + 19, 3*y - 8896 = -2*t. Which is smaller: 4438 or t?
4438
Let h(l) = l**3 - 9*l**2 + 9*l + 53. Let n be h(11). Let i be ((-4)/6)/((-2)/n). Which is bigger: 132 or i?
132
Let p(n) = -5*n**2 + 13*n - 53. Let l be p(10). Let b be 5 - 1 - l/(-9). Are b and -41 nonequal?
True
Let g = -1024 + 1015. Let q be 1 + -2 - -3 - (-78)/(-8). Which is smaller: q or g?
g
Let q = -38629 + 38631.8. Is 1.47 at most q?
True
Let u be 128/160*660/(-61). Which is greater: u or -9?
u
Let q = 4436 + -4453. Is q less than -7.9?
True
Let s = -9800 + 10011. Which is smaller: s or 158?
158
Let r(m) = m**2 + 5*m + 3. Let a be r(-5). Let u be (-4)/(-3) - (-2 + a). Let p = 1439 + -1439. Which is bigger: u or p?
u
Let y = -37621/33 + 3398/3. Let h = -2327/319 - y. Is h at most -1?
False
Let j = 23.7573 + -23.7. Let y = j + 0.1327. Is y <= 2?
True
Suppose -10*q + 9*q = 12*q - 2223. Is 165 smaller than q?
True
Let t be ((-63)/126)/((-4334)/8 + 2). Are 0 and t equal?
False
Let g = -123 - -128. Let s be 3/(9/116)*3/g. Which is bigger: 24 or s?
24
Let s = -138 + 2485/18. Suppose 2*w + 3 = w. Let h be 5 + w - (-6)/(-2). Is h at most s?
True
Let k be (-8 + 7*(-99)/(-90))*(4 - 2). Which is smaller: k or -2/11?
k
Suppose -22*a = -23*a - 4. Let q be (a/6)/(10/(-15)). Do q and 87 have different values?
True
Suppose 3*w - 64 = 5*q, 4*q - q + 2*w = -46. Let x(f) = 7*f - 26. Let m be x(-9). Let d = 76 + m. Which is smaller: q or d?
q
Let r be 4/(-6) + (4854820/(-660))/67. Is -109 > r?
True
Suppose -7466 = -24*t + 3238. Let y = -582 + t. Which is smaller: -134 or y?
y
Let g be 1 + -2 + 4/8*-12. Let h be ((-2)/4)/(g + (-180)/(-24)). Is -193 at most as big as h?
True
Suppose 4*f - 15 = 5*h, 0 = -3*f - 2*h + 6*h + 11. Let x be (-6)/(-22) + (-12150)/(-2970). Which is smaller: f or x?
x
Suppose 3712 + 3484 = -154*f + 140*f. Which is bigger: -519 or f?
f
Let v = 77 - 73. Let h(a) = -13*a + 46. Let z be h(v). Which is smaller: z or -4?
z
Let j = 193.0243 + -193. Which is bigger: -0.03 or j?
j
Let b be 9864*(-3)/(-15) + -4. Let z = b + -1961. Is 8 at most z?
False
Suppose -8 = -g - p, -6 = 2*g + 4*p - 24. Suppose 3*c = -5*d + g - 20, c = 4*d + 7. Let k be (-2 - 0) + 752/360. Are c and k unequal?
True
Let d(t) = t**3 + 8*t**2 + 9*t + 14. Let y be d(-7). Suppose -5*g - 4*k - 901 = y, 0 = 3*k - 3. Let m = g - -5793/32. Which is smaller: m or 0?
0
Suppose -j - g = -6*g - 35, 5*g = -5*j + 85. Suppose -4*n - 2*u = -j, 2*n - 7*n = -u - 25. Suppose 8*f - 3 = n. Is 1/27 at least as big as f?
False
Let r = -387014/17 + 22739. Is -27 >= r?
False
Suppose y = -5*t + 22, -28*t - 3*y + 22 = -24*t. Is -623/3 at least as big as t?
False
Let l be 4 - 3*((-24)/(-16) - (-2065)/(-30)). Do l and 1438/7 have different values?
True
Suppose -27*s = -30*s + 5*p - 34295, -2*s + 4*p = 22860. Is 0 smaller than s?
False
Suppose 53*y - 80 = 79. Which is bigger: 94/45 or y?
y
Suppose -3*y = -2*y. Let r be (-11)/25 + (-59)/((-11800)/80). Which is greater: r or y?
y
Let f = -1/3227 + 6929/1532825. Let q = f + -26131/1425. Which is smaller: q or -18?
q
Let d be (-67 + -3)*(-7)/(-14). Let x be (-2)/5 - (-2996)/d. Does x = -90?
False
Let r = -4420 - -8095. Let q be r/(-756) + 3/4. Are -4 and q non-equal?
True
Let l(h) = -h**3 - 2*h**2 + 13*h + 16. Let d be l(4). Let k be 12/8*462/d. Is -25 at least k?
False
Let l = 14366 - 14366. Are l and -1/15112 nonequal?
True
Let a = 4.0432 + -0.0432. Suppose -2*q = q - 3. Let r be -8 - q - (-2 + -2). Is a not equal to r?
True
Let l(d) = 81*d - 615. Let q be l(9). Suppose 346 = 3*j + 35*y - 37*y, 5*j - 2*y = 578. Which is smaller: q or j?
q
Let h = -37454 + 37464. Let g = 7 + -7. Which is greater: g or h?
h
Suppose 3*m - 5*c - 4 = -4*c, 0 = 5*m + 4*c - 18. Let i be (13/m)/(-4 - 68/(-16)). Let j be (-3 - i/(-3)) + (-2)/(-6). Which is smaller: 1 or j?
1
Let h = 254 + -269.1. Let w = h - -15.1. Is w greater than 0.74?
False
Suppose -10228*k = -10280*k. Which is smaller: k or -110/249?
-110/249
Let i(v) be the first derivative of -v**4/4 - 4*v**3/3 - 2*v**2 - 25*v - 255. Let x be i(-5). Is 20 < x?
False
Let y = 569994 - 2660161988/4667. Is y smaller than 1/3?
True
Let o(y) = -y**3 - 10*y**2 - 13*y - 24. Let v be o(-9). Suppose -p - v = 2*n - 4*p, p = -3*n + 4. Is n greater than -1/13?
True
Let t = 319 - 319. Is -2/4183 bigger than t?
False
Let k = 40/83 + 2874/581. Let p be 9/(-36) + 9/4. Suppose 12 + 0 = p*w. Is k at most as big as w?
True
Let p be 0 - 2/1 - 16. Let r be 1 + (-2)/p*-11. Suppose -5 = 88*w - 791 - 6. Is r greater than w?
False
Suppose 4*z = -2*r + 13 + 9, 5*z = -25. Suppose -r*n - 920 = 2713. Is n != 2?
True
Suppose 3*o - 5*o - 4*q - 6 = 0, -4*q + 12 = 0. Let b(y) = -y**2 - 18*y - 81. Let h be b(o). Which 