- -0.01. Which is greater: j or z?
z
Let o = -182 + 182.79. Let x = o + 86.21. Let n = -83 + x. Which is bigger: 1 or n?
n
Let k = 6/7 - 1. Let o be ((-8)/(-2))/(2/((-4)/(-4))). Suppose 5*h = o*i - 7, -2*i - 2 = -2*h + 6*h. Which is smaller: k or h?
h
Let z = 23389 - 210499/9. Which is smaller: -1078 or z?
-1078
Let q be 59 + (-1 - -3 - (-5 + 1)). Let n = q - -90. Is 157 bigger than n?
True
Suppose 4*x = -t, 5*x + 5*t = 5*x. Suppose x = -38*n - 341 + 75. Which is smaller: -71/12 or n?
n
Let f = -39 + 35. Let s = 4.19 + f. Let m = s - -0.11. Is 9 equal to m?
False
Let q = 622 + -621. Let s = 55.6 - -6.4. Which is greater: q or s?
s
Let o = 6.1 + -19. Let s = -119 + 106.2. Let h = s - o. Is h != 36?
True
Let l be (1220/976)/((-445)/(-424)). Is l >= 0?
True
Suppose 0*h = -6*h - 84. Let d(b) = -b - 5. Let l be d(6). Let g = -23 - l. Which is bigger: g or h?
g
Let a = 4962 + -5767. Which is smaller: a or -802?
a
Suppose -11 = -w - v, 0 = -2*w - v + 2*v + 13. Suppose -w*l = -79 - 201. Which is smaller: l or 33?
33
Let p = -0.2 - -0.3. Let l be 380549/511 + 10/(-14). Let n be (-2)/6*l/310. Which is smaller: p or n?
n
Let u(h) = h**2 - 27*h - 1714. Let d be u(-30). Is -1410 smaller than d?
True
Suppose k + 20 = -4*k, -4*v + 2*k + 28 = 0. Let y be (v/6 - 1) + 6396/39240. Is 1 not equal to y?
True
Let m(s) = 2*s**2 - 43*s - 19. Let j be m(22). Let f be j - (5 - (-1 + 2)) - -25. Suppose 2*w - g + f = -3*g, 4*g + 38 = -3*w. Is -10 != w?
False
Let j = 289.05 + -170.05. Which is greater: 37 or j?
j
Suppose -5*k + 68 + 2 = 0. Suppose -2*g + 5*g + 6 = -2*d, -5*d = 5*g + 15. Which is smaller: k or d?
d
Let n = -311 + 122. Let x = -189.1 - n. Which is bigger: x or -9?
x
Let n(z) = 3*z**3 - 148*z**2 - 100*z - 17. Let k be n(50). Let t = 5 - 22. Is t at most k?
True
Let b = -4.477 + 4.377. Do 14.14 and b have different values?
True
Let u = -107/19 + -1370/57. Let s be (-2)/9 - (-8398)/(-117). Let g = -102 - s. Is u smaller than g?
False
Let m = 2432781/7 - 346973. Is 568 <= m?
False
Let r(c) = -32*c**2 + 77*c - 786. Let p be r(9). Which is bigger: p or -2683?
-2683
Let y be 260/78*6/4. Suppose -y*i - l - 1 = 0, -2 = 2*i + 2*l - 0. Which is smaller: 2/67 or i?
i
Let v(l) = 10*l**2 + 0*l - 3*l - 11*l**2 - 9 + 9*l. Let f be v(3). Are 0 and f nonequal?
False
Suppose -5*f + 4*o - 5*o = -177, -5*f + 183 = -o. Is f bigger than -1?
True
Let g(b) = 2*b**3 + 20*b**2 - b - 7. Let d be g(-10). Let j be (1*-12)/4 + d. Suppose -4*z + i = -3*i, 5*z - 4*i = j. Which is smaller: 1/152 or z?
z
Let b be ((-8)/36 - 1/9)*-87. Which is smaller: b or 205/7?
b
Let n(y) be the second derivative of 1/6*y**3 - 10*y**2 + 7*y + 1/12*y**4 + 0. Let v be n(-6). Which is bigger: v or 13?
13
Let g = 15 - 15.28. Let z = g + -17.72. Let p = -17 - z. Is p less than -44?
False
Let g be 1 + -2 - (3 + -10). Let o(b) = b**2 - 8*b - 8. Let i be o(10). Suppose 14*p - 16 = i*p. Which is greater: p or g?
p
Let p be (-442)/17 - -6 - 190. Is -252 bigger than p?
False
Suppose l = -3*l - 2*p + 38, 4 = -l + 4*p. Let j be 265*(-2*(-2)/(-4))/(-24). Let r = -19/8 + j. Is l <= r?
True
Let x = -250407 - -250385.4002. Let y = -0.5658 - x. Let s = 21 - y. Are s and -0.1 equal?
False
Let c = 23 + -22.82. Let o = 434 + -434.08. Let q = c + o. Is 0.3 greater than q?
True
Let n(r) = 73*r - 1735. Let c be n(23). Let z = -3 - -57. Let m = c + z. Is m at most as big as 1/3?
True
Let w = -237 + 197. Let y be ((-112)/w)/(38/(-10)). Are 0 and y equal?
False
Suppose -m = -q - 15 + 5, -3*m + 50 = -7*q. Are q and -44/15 non-equal?
True
Let x be (-9 + -1)*(1 - 0). Suppose 0 = -44*s - 35*s + 79. Let c be s/(4 + -6) + x/(-36). Is -2/7 <= c?
True
Let v = 1542 + -302233/196. Suppose 0 = -y + g - 4, 4 = 3*y - 3*g + 4*g. Which is smaller: v or y?
v
Let h = -248 - -252.45. Let d = 16.55 + -17. Let w = d + h. Which is greater: 0 or w?
w
Let n be (-20)/10072*(-16)/(-20). Let f = -13865/10072 - n. Are f and 0 non-equal?
True
Let g = -298 + 300. Let f be g - 27/15 - (-14)/5. Are f and 3 non-equal?
False
Suppose 4*o - 3*g = -o + 76, -48 = -3*o + g. Suppose -1 = 2*w - w, 3*v = -2*w - 14. Let i be (((-6)/v)/3)/(-2). Which is bigger: i or o?
o
Let y be ((-23)/(-6) - 4)/(120/108). Let o = 14469/20 + -724. Let i = o - y. Is i < -20?
False
Let s = 203.09578 - -0.00422. Let a = s - 203. Which is smaller: a or 27?
a
Let n be ((-195)/(-10))/(((-3)/20)/(-1)). Suppose -n = 3*i + 3*q + 2, -4*q + 125 = -3*i. Let t be 1 + -2 + (0 - 41). Is t >= i?
True
Let v(q) = 30*q + 67. Let w(t) = 2*t - 1. Let j(k) = v(k) - 5*w(k). Let m be j(10). Is m at least as big as 271?
True
Suppose 57*i + 307680 = 9*i. Let n be ((2/16)/1)/(i/(-40)). Which is smaller: -1 or n?
-1
Let q = 0.01173 + 6.98827. Let i(v) be the first derivative of -v**2/2 - 1. Let p be i(0). Is p >= q?
False
Let s = -41.3 - -44. Let v = s - 2.8. Which is greater: v or -152?
v
Let n = 155.132 + 0.968. Let k = -155.439 + n. Let x = 0.061 - k. Is -3 equal to x?
False
Let r be (58/8)/(1/28). Let p = r + -1012/5. Let t = 129 + -127. Which is smaller: t or p?
p
Let b = -896 + 862.938. Let p = -0.138 + b. Let w = 33 + p. Is 5 > w?
True
Suppose -13*f = -15*f - 6. Let v be (0 - 114) + f/(-1). Let d = -2333/21 - v. Which is smaller: 0.3 or d?
d
Let y(r) = r**3 + 9*r**2 + 15*r - 10. Let i(l) = 2*l**2 - 3*l + 1. Let s be i(-5). Let q be (-2)/(-11) - 474/s. Let g be y(q). Is 1 < g?
False
Let h = 1032487/2418 - 427. Is 0 at most as big as h?
True
Let l be (-5)/(-60) + 19143/(-324). Which is smaller: l or -67?
-67
Let t = 50678/147 + -1034/3. Which is smaller: -0.6 or t?
-0.6
Suppose -8*z - 10 = -7*z. Let r be 1470/75 + (-4)/z. Let u be 6/15 - (-12)/r. Which is smaller: u or 0?
0
Let t = 140 + 198. Let n = t - 339. Is n at least -3/184?
False
Suppose -32*m - 4824 = -26*m. Let s = 827 + m. Which is greater: s or 19?
s
Suppose -n + 8 = 10. Let f be n/(-9) + 5/(-2340)*147083. Let x = -314 - f. Are 1 and x nonequal?
True
Let h(v) = v**3 - 18*v**2 + 76*v - 18. Let q be h(5). Which is greater: 33 or q?
q
Let w(v) be the third derivative of -v**4/8 - v**3/3 - v**2. Let n(s) = -20*s**2 - 120*s + 1. Let c be n(-6). Let b be w(c). Is b bigger than -7?
True
Let a = 3236 + -495110/153. Suppose 0 = -4*l - 3*w - 3, 2*l + l = -w - 1. Suppose 2*u + 2*x + 0*x = l, 0 = -5*x. Does a = u?
False
Let c = 912.113 + -826.07. Let j = -0.043 + c. Let n = -85.9 + j. Is -46 <= n?
True
Suppose 4702 + 3683 = 15*o. Let m = o - 577. Which is smaller: m or -30?
-30
Let n = -3/8 - -61/56. Suppose -35*s + 2*s + 99 = 0. Suppose 4*h = 3*i + h - 12, s*h = -3*i - 12. Is i < n?
True
Let m = -846 + 847. Is -2/1851 at most m?
True
Let u = -17592 + 17591.82. Is -269 less than u?
True
Suppose 2*y + 12 = 5*r, 1 + 2 = -r - 5*y. Let l be (-1)/r - 3/(-6). Let x = 92/561 + -5/66. Which is bigger: x or l?
x
Let q = 0.30208 + 0.69792. Is q not equal to 403/4?
True
Let q(m) = m**2 - 29*m - 28. Suppose 0 = 5*h + 4*w + 17, -h + 12*w + 14 = 7*w. Let x be q(h). Let s(z) = 7*z - 1. Let u be s(-4). Is x greater than u?
True
Let l(z) = -z**2 - 10*z + 69. Let m be l(-12). Let w be 2/(-1594)*m/(-45). Is 0 at least as big as w?
False
Let q(g) = 5*g**3 - 14*g**2 - 10*g - 67. Let j be q(-7). Which is smaller: -2397 or j?
j
Let z = -877.8 + 878.2. Is 1375 >= z?
True
Suppose 68*u = 93*u - 25. Let m be (u/(5/(-74)))/(4/120). Is m greater than -444?
False
Let v be (1/(6/4))/(-67). Let q(d) = -d**3 + 15*d**2 + 39*d + 23. Let r be q(17). Let f be (1428/r)/17 + 4/18. Which is smaller: v or f?
v
Let w(s) = -3*s**2 + 6*s - 5. Let g(j) = -j + 1. Let k(a) = 6*g(a) + w(a). Let o be k(1). Let i be 6/3 + o - (1 - 4). Are 10/3 and i equal?
False
Let p(n) = n**3 - 6*n**2 + 2*n - 5. Let v be p(4). Let t = v + 86/3. Let a(i) = -i**3 + 6*i**2 - 8*i - 7. Let x be a(4). Which is bigger: x or t?
t
Let p be 70/(-4)*(36/10)/(350/5000). Is -899 at most p?
False
Let i(d) = -2*d**2 + 29*d + 30. Let u be i(15). Suppose 4*a + 19 = u. Let f(b) = 12*b. Let n be f(a). Do n and -13 have different values?
True
Let b be (-35850)/(-350) - (-3)/(-7). Are 1128/11 and b nonequal?
True
Let c be (-1)/(35*(-14)/9730). Do c and 19 have different values?
True
Let o = 46 - 0. Let w = -47 + o. Let z be (w - 0)/((-16)/12)*-24. Is z <= -17?
True
Let b = 132 + -100. Let l = b - 51. Suppose -n - 55 = 3*p, 0*n + n + 75 = -4*p.