1032 - 1048. Is y less than w?
True
Let n be (((-10)/(-5))/(-2))/(-4 + (-100)/(-24)). Which is smaller: n or -187/27?
-187/27
Let x = -11 - -33. Let n = x + -78. Let d = -55 - n. Which is bigger: 0 or d?
d
Let n = 31 + -30.924. Let r = n - -0.124. Is 0.2 not equal to r?
False
Let p be 398/(-12) - (-20)/120. Let v = 32 + p. Let m be (-5)/(-57)*(v - -7)/(-1). Is m greater than -1?
True
Let t be 2 - (-4 - 212/(-35)). Suppose -22*l = -18*l. Suppose -j = -3*r, l*j - 12 = -3*r + 5*j. Are t and r equal?
False
Let i = -8135/4 + 138851/68. Do i and 7 have different values?
True
Suppose -3*a - 24 = a. Let j be 4/6*3381/(-46). Let p be 14/(7/(j/14)). Which is greater: a or p?
a
Let y = 0.238 - 0.33. Let j = y + 2.192. Which is bigger: j or -2/3?
j
Let t = 8117461 - 397771415/49. Let n = -323 - t. Let p = n + -55/2107. Is -1 != p?
True
Let b = -209 - -209.0593. Let s = b - 16.0593. Which is bigger: 1 or s?
1
Let f = 3/244 + 2773/2684. Is f less than 1.2?
True
Let r = -17/3 + 5. Let p = -293 - -296. Suppose -3*x - 3 = p*b, 5*x - b + 19 = 8. Which is greater: x or r?
r
Suppose -4*u + 2*i + 90 = 0, 0 = -4*i + 5 + 7. Let f be u/40 + 99/(-15). Which is smaller: -15 or f?
-15
Let l be (-7 - 26)*(-2)/(-6). Let z(j) = j**3 + 4*j**2 + 2*j - 7. Let v be z(-4). Which is bigger: l or v?
l
Let m = -18840 - -527717/28. Let a = 27/4 - m. Let i = 3.4 - 3.8. Is i <= a?
True
Let w be (4 - -10)/(1/(-2) + 4). Which is greater: w or 167?
167
Let j(u) = u**2 + u - 1. Let l be j(-2). Let d = 7/15 + -13/60. Let w = d + -99/364. Which is smaller: l or w?
w
Suppose -2*h - 32 = -8. Let r be 122/150 - (-4)/h. Let f = -262260 - -262261. Do f and r have different values?
True
Let w = 3 - 2. Let t = 195793039/41 - 4776057. Let y = t - -617. Which is smaller: y or w?
y
Let z(d) be the third derivative of d**5/40 - d**4/3 + 17*d**3/3 + 12*d**2. Let x(j) be the first derivative of z(j). Let v be x(5). Is 2 bigger than v?
False
Let w be (-8)/(-32) + 5654/40. Let n = w - 142. Let p be (-7)/(-77)*(3 + (-52)/20). Is p at least as big as n?
True
Let g = -33.8 - -18.8. Let v = g - -19. Which is smaller: -26 or v?
-26
Let s = -7418 - -7351. Is s <= -40?
True
Let f = 1459/89 + -253151/15931. Which is smaller: 2 or f?
f
Let l = -19 + 23. Suppose -4*w + 3 = l*p - 9, 3*w + 5 = 4*p. Let v be ((27/(-12))/(-3))/(36/144). Is v < p?
False
Let z = 4144/5 + -640. Is z at most 190?
True
Let a(t) = 372*t - 5631. Let y be a(23). Which is smaller: y or 2926?
y
Let z be (-336)/(-44)*-2 + -3. Let c = -24745/1353 - z. Suppose -4*f = 5*m + 6, 1 = -4*f + 9*f + 2*m. Which is greater: f or c?
f
Let l be (8/28)/(4/168). Suppose -11*m = -23*m - l. Is 1/104 smaller than m?
False
Let y be ((-140)/(-1400))/((-2)/(-20)). Which is smaller: y or -4/21379?
-4/21379
Suppose 4*n - 3*j - 3 = 0, 79*n - 3 = 83*n + 3*j. Let c be (-12)/9*(-2)/(-276). Is c smaller than n?
True
Let k = -113.9 - -115. Let y = 4.8 - k. Are y and 0.2 equal?
False
Suppose 63*r + 13 = 50*r. Which is smaller: r or -0.2319?
r
Let w = -144 + 64. Let h = 80.3 + w. Which is smaller: 22 or h?
h
Let t(l) = 287*l**2 + 8*l + 5. Let a be t(-17). Let z = a + -995665/12. Let m = 160 + z. Which is smaller: 0 or m?
m
Let y be 3/54*(-8288)/(-6378). Let q = y - -2/1063. Let j(z) = -5*z**2 - 124*z + 24. Let i be j(-25). Which is greater: q or i?
q
Let p(v) = -v**3 - 132*v**2 - 5*v - 659. Let y be p(-132). Which is smaller: 1/2816 or y?
1/2816
Suppose -d = 2*d. Let k be (-23)/23 - (-3 + -1 + (-3900)/(-1295)). Which is greater: d or k?
d
Let z be (-7598)/(-11) - 1659/(-6083). Is z greater than 692?
False
Let q be (-4815)/(-6)*110/(-165). Is q > -535?
False
Let u be ((-3)/18 + 1/2)*(-3)/(-15). Which is bigger: -4/7 or u?
u
Let q = -19958 - -19939. Which is smaller: q or 30.5?
q
Let u(v) = -4*v - 46. Let h be u(-18). Let a be h/10 - (88/(-20) + 5). Which is bigger: a or 21?
21
Let z be 0/(8 + -3 + -4). Suppose z = 2*h - 5*h - 15, 0 = -4*k - 5*h - 89. Let c = 34 - 51. Which is bigger: k or c?
k
Suppose 1135 = -5*y - 4*b, -24 = 4*b - 44. Let j = y + 226. Is -50/9 != j?
True
Suppose 3*l + 3*p - 51 = 3, 125 = 5*l - 2*p. Let n = -21 + l. Suppose 13 + n = -3*v. Are -1 and v equal?
False
Suppose -25*c + 2 = 127. Is c greater than or equal to 203?
False
Let l = -22697.406 + 22704. Which is smaller: 1 or l?
1
Let y be 0 - -1 - 33/3. Let c be 24/y + 6/3. Let l = 0.04399 + 0.12601. Do c and l have different values?
True
Let z = 585.756 - 8.756. Which is bigger: 2 or z?
z
Let j = -2/56881 + -21159722/284405. Is j bigger than -74?
False
Let b = 761/90 - 86/9. Let p(u) = -u**2 - 10*u + 21. Let r be p(-15). Let s be r/(-189) + 2/(-7). Which is smaller: s or b?
b
Let o(p) be the second derivative of 3*p + 0 - 1/12*p**4 - 3/2*p**3 + 41/2*p**2. Let d be o(-12). Are d and 5 unequal?
False
Suppose -5*c - 24*w = -27*w + 17129, 3*c - 17*w = -10247. Which is bigger: -10285/3 or c?
c
Let x be 4/(-10) + 17/((-340)/(-128)). Suppose 3*b = b - x. Let h be (-741)/76*(-8)/b. Do h and -24 have different values?
True
Let k be -310 - 1/3*(-9)/1. Let p = k + 308. Which is bigger: 98 or p?
98
Suppose t + 2*c - 1 = 0, 9*c - 12*c = -4*t + 4. Is -7/234 > t?
False
Let i = 92 + -95. Let u be i*-10*(-6)/(-36). Which is smaller: u or 70/13?
u
Let j(p) = -6*p + 8. Let w be j(6). Let q(v) = -v**3 - 7*v**2 - v + 3. Let g be q(-6). Let o = w - g. Which is bigger: 1/3 or o?
1/3
Suppose q - 3*t - 135 = 40, -3*t = 6. Which is bigger: q or 168?
q
Let j(y) = 95*y - 1164. Let v be j(13). Which is smaller: v or 1.2?
1.2
Let l(b) = b - 24. Let n be ((-32)/10)/(27/(-270)). Let a be l(n). Is a less than or equal to 12?
True
Let q(f) = 16 - 6*f**2 - 17*f - 22*f + 8*f**2. Let n be q(16). Let c = -92 - n. Which is bigger: 6 or c?
6
Let v = 325 + -645. Let h be 5*1*(2 - v/(-50)). Which is greater: h or -21?
-21
Let r(q) = q**3 - 8*q**2 + 22*q - 58. Let n be r(18). Let f = -39428/11 + n. Which is bigger: -5 or f?
-5
Let t = -160 - -159.804. Let w = -4.804 + t. Which is smaller: w or -4/5?
w
Let f(h) = h. Let b be f(2). Let d = 233 + -403. Let o = 153 + d. Is o bigger than b?
False
Let h = -42818 + 36724. Which is greater: h or -6092?
-6092
Let b = 203 + -381. Let c = 177.4 + b. Do c and -12 have the same value?
False
Let b be 0 + 1 - (-11)/5. Suppose 0 = -3*a + 5*u + 18 + 30, 0 = a + 3*u - 2. Suppose -29 = 8*c - a*c - 5*y, 2*c - 2*y + 2 = 0. Which is smaller: b or c?
c
Let x be (-82 + 82)/(((-2)/(-4))/(1/4)). Which is smaller: x or -1/10880?
-1/10880
Let y be 54/(-486)*4*-1. Are y and -27 nonequal?
True
Let c = -18384 + 10005. Which is bigger: c or -1?
-1
Suppose 44 - 161 = -117*j. Which is greater: 1/2218 or j?
j
Let s = -3054 - -3053.83. Is s at least 0.2?
False
Let t be 9269/24552 - (-6)/(-16). Let p = 25/99 - t. Is p smaller than 0.89?
True
Let g be (-33)/(1/(-2) - 4/(-3)). Suppose 29*p = 2*j + 27*p + 76, 2*j + 2*p + 88 = 0. Is g > j?
True
Let y = -1012 - -913.3. Let g = y + 56.7. Which is smaller: g or 2?
g
Let b = 173040 - 173039. Let g = -260133/4 - -452902/7. Let y = g + 333. Which is greater: b or y?
b
Let n = 27188.987 + -27161. Let c = n + -28. Let l = 0.013 + c. Is -1/20 equal to l?
False
Let f = -343.1 - -376. Let r = 25 - f. Which is bigger: r or -0.1?
-0.1
Let q = -68698 + 68698.1. Let u = -317 + 224. Are q and u unequal?
True
Let v be (6/(-4))/((-74)/444). Suppose d = 2*q - v + 8, 2*d + 3*q + 16 = 0. Let x be (1 - 0)/(3/9). Which is smaller: d or x?
d
Let r(b) = -3*b**2 + 309*b + 954. Let j be r(106). Are 4/3451 and j equal?
False
Suppose 5*z + 6*b = 2*b + 13208, -4*z - b = -10562. Suppose g = -5*g + z. Let f be (-143)/g + (-2)/(-16). Is -0.12 smaller than f?
False
Let d(f) = f**2 + 38*f + 70. Let x be d(-16). Let u = x - -290. Is 4 < u?
True
Suppose 0*u = 2*u + 2. Let p be 60/168*24/(-100). Which is smaller: u or p?
u
Let h(k) = -860*k**2 - 55*k - 56. Let i be h(-1). Which is smaller: i or -859?
i
Let m = -0.328 + 0.128. Let h = -581 + 549. Which is bigger: h or m?
m
Let u = 8642 + -8663. Which is bigger: -209/10 or u?
-209/10
Let o = 0.99 - 0.39. Let s = -7.9957 + -0.0043. Is s not equal to o?
True
Let s = -760/7 + 156553/1442. Is 0.12 equal to s?
False
Let o = -6705 + 6713. Suppose 3*c = 11 - 20. Let t be (-5)/(-4)*(7 + c). Which is smaller: t or o?
t
Let q(x) = 4*x - 212. Let y be q(53). Which is greater: -14/33