(-4)/(-5))/((-18694)/16345 - (-32)/28). Which is smaller: s or -937?
-937
Let k be (-17)/(-84) + (-6)/(30 - 6). Let h(s) = -s**3 + 12*s**2 - 20*s + 6. Let i be h(10). Let t be 3 + 3/(i/(-4)). Is t greater than k?
True
Let b be 13*(12/4 - 2). Suppose 4*g + 50 = -2*m, g - b = -2*m - 33. Let u = -13 - g. Is -3 > u?
False
Let m = -0.2 - 1. Let w = 59.9 + -58.6. Let r = m + w. Does -25 = r?
False
Let c be 2*(6/(-2368))/((-54)/(-12)). Let z = 5923/2664 + c. Suppose 8*g + 18 = 14*g. Is z greater than g?
False
Let g = 148 + 12. Let f be g/(-24)*6/(-4). Suppose -3*s = 4*p - 44, 0 = p + 2*s + 2*s - 24. Which is smaller: p or f?
p
Let f be (3/17)/((-4)/122). Let i = f - -3713/374. Is 5 at least i?
True
Suppose 6*z - 10 = 26. Let i be -10 + (-2)/3*z/(-4). Let m be 23/i - (7 - 8). Which is greater: -3 or m?
m
Suppose -3*w + 3*s + 21 = 0, w + 35 = -14*s + 9*s. Suppose 3*u = 2*o - 600, 2*u - 18 = -2*o + 562. Suppose -o = 7*v - w*v. Do -42 and v have different values?
False
Let x = -524.68 + -20.32. Is 3 at least as big as x?
True
Let i = -2259 + 2505. Which is bigger: i or -0.1?
i
Let n = -4839 + 19249/4. Let f be -4 + (-160)/7 + (-6)/42. Are n and f unequal?
True
Let d be ((-189)/81)/((-49)/(-14)). Which is greater: -0.68 or d?
d
Let l = -13574/3 + 4405. Let h = l - -120. Are h and 5/17 unequal?
True
Suppose -5*n + 12 = 2*s, 115*s - 120*s = n - 30. Let k(w) = -4*w**3 - 2*w + 3*w**3 + 0*w. Let p be k(n). Is p greater than 36?
False
Let k = 4377 + -4640. Which is bigger: k or -1577/6?
-1577/6
Let n be (-2)/(-351)*(558/(-276) + 2). Let p = n + 5617/8073. Which is smaller: p or 2?
p
Let x(a) be the second derivative of -a**3/2 + 12*a**2 + a. Let j(f) = f**2 - 41*f - 564. Let i be j(52). Let u be x(i). Is u less than 3/7?
True
Suppose 0*m = -5*x + 2*m + 3, 7 = 3*x + 4*m. Let f be (30/60)/(-1 + -3). Is f at most x?
True
Let p be 408/(-2322) - 2/(-9). Let t be 72/(-45) - (-160)/100. Is t at most p?
True
Let c be 2 + (-28)/20 - (-18)/(-30). Suppose c = -136*l + 147*l + 121. Which is greater: -32/3 or l?
-32/3
Suppose -4*z - 3*u = -23068, 249*z + 4*u = 244*z + 28834. Is z less than 5772?
True
Let h = 104 + -90. Let q = h - 14.15. Which is bigger: -2/7 or q?
q
Let w = 147064/9 - 16312. Are w and 1/3 nonequal?
True
Let q be (-12)/(-94)*((-120)/16 - -7). Let o = q - 229/94. Is o less than 2/3?
True
Suppose 5*u = -3*i + 7, -3*i - 5*u + 11 = -4*i. Suppose 4 + 8 = b. Let k be (6/2004)/(((-3)/1)/b). Which is bigger: i or k?
k
Let y(o) = -3*o**3 + 9*o**2 + 27*o + 7. Let f(t) = t**3 - 6*t**2 - 14*t - 3. Let x(l) = 5*f(l) + 2*y(l). Let k be x(-11). Which is smaller: 2 or k?
2
Let o(w) = -5*w + 30. Let z(u) = -6*u + 31. Let m(n) = -3*o(n) + 2*z(n). Let v be m(8). Let q be v + -1*(-5)/(20/12). Which is bigger: -1/49 or q?
-1/49
Suppose 6*l - 9*l = 2*b - 197, 3*b - 321 = 4*l. Suppose -3*v - 3*k + 5*k + b = 0, 0 = 4*v + k - 141. Suppose -5*w + 176 = -4. Which is smaller: v or w?
v
Let u be (15/12 - 2)/(-498). Suppose -6*x + 7*x - 10 = 5*t, 4*t + 8 = 2*x. Which is smaller: x or u?
x
Suppose -3*k = 2*k - k. Suppose -20*h + 15*h + 1045 = k. Let x be ((-33)/h)/((-42)/(-4)). Which is greater: -1 or x?
x
Let y = 181.73 - 182.13. Let o = 335 + -228. Which is smaller: o or y?
y
Let j = 470 - 482. Let d be 807/j + (-3)/(-12). Is -67 bigger than d?
False
Suppose 4*m + 42 = 10*m. Suppose 3*x = 5*l - m, 0 = -0*x + 5*x - 5*l + 15. Let g be x/6 + (-32)/(-84). Which is smaller: g or 0.1?
g
Suppose 2*q + 0*q = 0. Suppose q = s - 0 + 6. Suppose g - 89 = 5*j - 88, -2*j - 5 = -5*g. Which is smaller: s or g?
s
Suppose 0 = 468*p + 255*p + 450 + 273. Let r = -1089/208 + 64/13. Are r and p equal?
False
Let u = 5824097/20 - 291205. Let o = -0.3 + 0.1. Which is smaller: u or o?
o
Let j = 43 + -48. Let f(g) = -g**2 - 4*g + 4. Let o be f(j). Let h be (-140)/63*o*6/(-3). Is -3 not equal to h?
True
Let m be ((189/(-18))/21)/(1/186). Suppose -y + 102 - 19 = 0. Let r = m + y. Is -45/4 at most r?
True
Let o be (5*6/(-150))/(2/10). Is 14/611 < o?
False
Let q be -17 + 13 + 5998/1501*1. Which is smaller: q or 0?
q
Let w be (1358*(-4)/4)/((-5)/(-2)). Let v = -222737/410 - w. Which is smaller: v or 0?
v
Let z = 72184871986511 + -962585266964860639/13335. Let r = -365678/5 + z. Let s = -3/127 - r. Is s at most -1?
False
Let a be (-15)/150*-1*(26 - 0). Suppose 0 = -26*r + 22*r - q + 16, 0 = -r + q - 1. Is r at least a?
True
Suppose -101 - 107 = -4*p + 4*t, 2*t - 92 = -2*p. Suppose -5*m = 3*i + 77, -2*i = 5*m - 6*i + p. Suppose -5*u - 2*o = 62, 5*u + 63 = -6*o + 3*o. Is u != m?
True
Let y be (716 - 0)/(21 + -25). Is y bigger than -1258/7?
True
Let q = -34 + 18. Let j = 68.8 + q. Let r = j - 53. Which is greater: r or -4?
r
Let g(x) = -27*x - 22. Let u be g(0). Let v be (-226)/14 - 22/u. Is -14 at most v?
False
Suppose -54*h - 2653498 = -160*h. Which is greater: h or 0?
h
Let t(l) = 5*l - 5. Let i be t(1). Let x be 0 + (336/(-13580))/(4/10). Which is bigger: x or i?
i
Suppose -b - 63 = -4*b + 5*m, 5*b - 4*m - 118 = 0. Let u = 13 - b. Let h = u + 9. Is -5 > h?
False
Let k be ((-238)/(-8))/17*-356. Let j = k + 412. Is j at most -211?
True
Let d = -5160 + 5167. Which is greater: d or 187/26?
187/26
Let w be ((-17940)/624)/(75/(-36) - -2). Is 308 equal to w?
False
Let h be ((-12)/(-10))/(14/35). Suppose 5*q + 2*x - 110 = 0, -3*x - 22 = h*q - 79. Is 28 less than or equal to q?
False
Suppose 8 = -5*j - 2*c + 6, -2 = 3*j + 2*c. Is 0.0621 less than j?
False
Let l = -721 + 701. Let r(u) = -u**3 - 24*u**2 - 72*u + 20. Let t be r(l). Which is bigger: -141 or t?
t
Let p = 2346.3 + -2304. Which is smaller: p or -1?
-1
Let q = -241 - -227. Let p = q - -230. Is 216 smaller than p?
False
Let j be 6/(-21) - ((-33)/(-77) - (-2026)/182). Is j equal to -11?
False
Let b = -748 - -98. Which is greater: -649 or b?
-649
Let b = 4880 - 4881.9. Is b at most as big as 498?
True
Let y = -370/21 + 52/3. Let h be -7 + 4 - 2*74/(-14). Let k = 937/133 - h. Which is bigger: y or k?
y
Let l = -9392 + 3146323/335. Let r be -4 + (-319)/(-77) - (3 + 108/(-28)). Do r and l have the same value?
False
Let h = 1091 + -1090. Let z = -0.103 - -0.205. Are h and z non-equal?
True
Let a be 11 + -13 - (-1 - 1). Which is smaller: 6/6377 or a?
a
Let y = -231 + 230. Let t be 1 - 6 - y*(-11)/(-2). Let l = 0.06 + 1.94. Which is bigger: t or l?
l
Let n(k) = -61*k - 3722. Let h be n(-61). Which is bigger: -9/1297 or h?
-9/1297
Let m = -2306 + -143. Which is smaller: 2 or m?
m
Suppose -5*r + 6*m = m + 30, -20 = -4*m. Let o(s) = -s + 3. Let z be o(r). Let n = -21 - z. Which is greater: n or -1/4?
-1/4
Suppose -226 = 3*x + 4*w + 648, 0 = -5*x - 4*w - 1454. Let u = x - -266. Suppose y - 4*a + 9 = -5, -y - 4*a = 30. Which is greater: y or u?
y
Let l = 703 - 343. Let w be (4/5)/(56/l). Which is bigger: w or 5?
w
Let m(u) = u**2 + 14*u - 12. Let f be m(-15). Suppose 0 = -5*y - 4*b + 7, 6*b + f = -y + 3*b. Suppose -5*h + y*h = 4. Is h > -3?
True
Let t = 99 + -98. Let p be (-16)/(-32) + t/(-2)*22. Is p not equal to 0?
True
Let w(c) be the second derivative of -c**5/20 - 7*c**3/6 + 18*c**2 + 3*c + 20. Let r be w(0). Is r less than 13?
False
Let o = 10 - 39. Let s = 31 + o. Suppose s*k - 6 = 0, -m + k + 137 = 3*m. Which is smaller: m or 34?
34
Let r be ((-6)/(-4) + 0)/((-309)/3296). Let o(b) = b - 11. Let n be o(r). Which is greater: n or -25?
-25
Let p be 13 + 3 + -12 + -4 + 1. Which is bigger: p or -2/13029?
p
Suppose -3*y = -u - 18, -5*y + 40 = -0*y - 5*u. Let p(v) = v**3 - 8*v**2 + 4*v + 11. Let x be p(y). Let i be x/8 + (1 - 3). Do i and -7 have different values?
True
Suppose 13*j + 5 = 8*j. Let p = -2762/8943 + 18/271. Which is smaller: j or p?
j
Let f = 109.33 + -109.3. Let g = -0.216 - -0.056. Is g equal to f?
False
Let d = 1.049 + -0.049. Let n = 2.006 + -0.006. Let f = n + 5. Is d smaller than f?
True
Suppose -11*o + 15 = 5*q - 6*o, -4*q - 5*o + 13 = 0. Suppose -f - q*f + 7*f = 0. Let r be 7/(1 + -2 + f). Which is smaller: r or -25/3?
-25/3
Suppose 190*c = 143*c - 47. Which is smaller: 1/12202 or c?
c
Let t = -146270/31 + 4718. Let o = t - -11/31. Which is smaller: o or 0?
o
Let x = 969/29 + -247211/7395. Is 0 at most as big as x?
False
Let s(f) = 2*f**2 + 61*f - 119. Let y be s(-32). Suppose -41 = -6*n - 167. Are y and n non-equal?
True
Suppose -2*q + 5*s = -1, 2*q + 