Let k be 1082/362 + l/1. Which is smaller: 0.2 or k?
k
Let x = 9936 - 10276. Which is smaller: -363 or x?
-363
Let y be 41/246 + 154/12. Suppose -y*k = -1 + 1. Which is greater: k or -17/14?
k
Let t(q) = -3*q**2 - 2*q - 1. Let y be t(-1). Let b be (-4)/(-14) - y/(-7). Let m be -8 + (388/(-20))/((-10)/4). Which is smaller: m or b?
m
Let d(n) = -4*n**2 + 3*n + 8. Let s be d(-2). Let c be s/(-4) + (-12)/(-24). Let y be (-1)/c*4*4/(-10). Are -2 and y non-equal?
True
Suppose -t + 2*t + 2 = 0, 0 = -2*z + 3*t + 24. Let y be 0 - -1 - (-1 + 0)*-2. Is z smaller than y?
False
Let f = 1800.3 - 1796. Is f greater than or equal to 2/5?
True
Let l = 1698 - 1699. Is -8/99 smaller than l?
False
Let o be 399 - ((-9)/(-27))/(3/36). Let m = 1973/5 - o. Do m and 2 have the same value?
False
Let r = 33311 + -33420. Which is greater: -105 or r?
-105
Let c = -8176849020/26773 - -305414. Is c bigger than -1?
True
Let h = -5 + 5.3. Let y = h - 0.8. Suppose k = -3*n - 16, -k - 1666 = -2*n - 1655. Is y bigger than n?
True
Let w(i) = -3*i**2 - i + 12. Let r be w(0). Suppose 12*x - r = -4*l + 16*x, -3*l - x = 3. Which is smaller: 4 or l?
l
Let u = 639671497/3565 - 179431. Is u greater than -1?
True
Let w(t) = t**3 + 5*t**2 + 3*t + 5. Let a be w(-4). Suppose g - 134 = -5*v, 2*g - a = -1. Let c be (-52)/v*1*1/2. Which is smaller: -2/3 or c?
c
Suppose 3*l + 3624 = -678. Let z be (-1)/5 + l/30. Let s = z + 40. Are s and -8 unequal?
False
Let l be (4 + 4)*(-385)/28. Which is smaller: l or -160?
-160
Let x be (-18)/4*10/(-3). Let b be (-58)/(-16) + x/40. Are b and 4 unequal?
False
Suppose -4*p = 4*y + 12, -6*y + y = -3*p - 9. Let s = 0.064 + -0.063. Which is bigger: s or y?
s
Let h(t) be the first derivative of -t**4/4 - t**3/3 - t**2 - t + 91. Let c(q) = q**3 - 3*q**2 + q - 3. Let g be c(3). Let l be h(g). Is l != 2/75?
True
Suppose 0 = 4*t + 4*x + x - 18, 2*x - 4 = 0. Suppose 0 = g + 4*z - 1 + 41, -40 = g + t*z. Is g bigger than 1/6?
False
Let f = 1/535 - -8018/3745. Let s = -63 - -65. Which is bigger: s or f?
f
Let y be 176/12 + (-2)/(-6). Let x be (8463/189 - 22) + -9. Which is smaller: x or y?
x
Let r(u) = 173*u - 2. Let i be r(-2). Let l = i + 12176/35. Let b = 595 - 596. Is b >= l?
False
Let j = -62072 - -35720. Let u = -51511/2 - j. Let o = u + -609. Are o and -13 nonequal?
True
Let w = 2192345/1128 - 5831/3. Are w and 1 equal?
False
Let w be (-12)/8*(-2)/(-558). Suppose -38*g - 139*g - 257 = 80*g. Does g = w?
False
Let f(v) be the third derivative of -v**6/120 + v**5/15 + v**4/2 + 2*v**3/3 - 18*v**2. Let s be f(6). Let k be s/2 + 273/(-84). Which is smaller: k or 0.1?
k
Let p = -2.0906 + -487.9094. Which is smaller: p or 1/11?
p
Let k = 208 - 205. Let h be (-7)/(63/k) - (-83)/(-3). Let u(p) = 5*p - 2. Let z be u(-5). Which is smaller: z or h?
h
Suppose -343*l + 69*l = 2501894. Which is bigger: l or -9132?
l
Suppose -w - 175 = -4*x, -4*x = -105*w + 101*w - 676. Let n = 56 + -135. Let c = w - n. Is -88 greater than c?
False
Let o be -65 - ((5 - 3) + 1). Let x be -69 + (-3 - -3) + 1. Let c = o - x. Are c and -1/81 non-equal?
True
Let j be (-142870)/5495*6/(-52). Suppose n - 124 = 40. Which is smaller: n or j?
j
Let m(q) = -q**2 + 840*q - 6657. Let b be m(8). Which is smaller: 5/1929 or b?
b
Suppose 28 = -2*z + 9*z. Suppose -2*f + 2*x = 4*x - 20, -2*f + 30 = z*x. Suppose -5*b - 41 + 16 = f*t, 0 = -3*t - 15. Is 9/7 less than b?
False
Suppose 32*c - 35 = -36*c + 33. Is c at least as big as -9/1562?
True
Let f be (-19 - -26)*(1 - 50). Is f bigger than -345?
True
Let l = 14058 - 10890. Does l = 3167?
False
Let l = -4.94 + -0.06. Let w = -5.5 - l. Let f = -408 - -408.08. Is f at least as big as w?
True
Let x be (30324/(-171))/(6/45). Which is smaller: x or 1?
x
Let j = 0.254 + -0.35. Let b be (-255)/(-1530) - (-2)/(-3). Which is greater: b or j?
j
Let g(q) = q**3 - 25*q**2 - 26*q + 8. Let n be g(26). Let o(r) = 50*r - 689. Let z be o(14). Which is smaller: n or z?
n
Suppose 2*d = -5*x - 4207, 3*x + 2*x + 3*d = -4203. Let r = x + 843. Is -2/423 at most r?
True
Let m be ((-154)/6)/((-12)/(-9)). Let q = 357 + -377. Which is bigger: m or q?
m
Let n = 324 + -253. Suppose 77*z = n*z + 6. Which is smaller: 1/38 or z?
1/38
Let t = 22113135/331 + -66807. Are t and -1 nonequal?
True
Suppose 3*z + 20 = 4*d, 2*z - z + 3*d - 2 = 0. Let k be (-6)/(24/z)*-1. Is -18/23 greater than k?
True
Let p = 1.683 + -0.5621. Which is bigger: p or 2/7?
p
Let r(i) = -39*i - 304. Let d(p) = 44*p + 304. Let v(s) = -4*d(s) - 5*r(s). Let w be v(-17). Is -176/9 at most w?
True
Suppose 45 = -35*u + 36*u. Suppose u*d - 28*d + 561 = 0. Which is bigger: -40 or d?
d
Let a be -10*3*(-1737)/270. Is 1159/6 at most as big as a?
False
Let v = -6059128/1155 + 5246. Suppose 2*z - 5*f = -58, -2*f = 5060*z - 5062*z - 22. Which is bigger: z or v?
z
Let q = -47 - -65. Suppose 0 = -4*i + q*y - 14*y - 196, 5*y + 15 = 0. Which is smaller: i or -53?
-53
Let x = 275 + -272. Suppose 15 = 3*d + x*m, 4*d = d + m + 15. Which is smaller: 8 or d?
d
Let c be (6/(-51) - (-1 + 1929/(-357))) + -6. Is -5 < c?
True
Let h(b) = -b**3 + 9*b**2 - 14*b - 31. Let y be h(5). Is y equal to 3/214?
False
Let z = -574.264 - -574. Let b = z + 7.264. Let f be ((-4)/6)/((-5)/(-3)). Is f less than b?
True
Let i be (-108)/240 - 1/(-5). Let g = 0.0637 + -4.2287. Let c = g - -0.065. Which is smaller: i or c?
c
Let y(j) = -6*j**2 + 319*j + 1931. Let p be y(-6). Which is bigger: -15 or p?
-15
Let s be (-547)/((-700)/42 + 17). Which is bigger: s or -1645?
s
Suppose y - 1 = 2*y - 5*p, 32 = 4*y - 2*p. Let f be (4 + (-8)/(-3))*96/80. Which is bigger: f or y?
y
Suppose 0 = -38*f + 7030 - 33478. Is -694 smaller than f?
False
Let r(j) be the first derivative of -19 - 6*j**2 - 2*j**3 + 1/4*j**4 + 3*j. Let i be r(8). Is 36 at most i?
False
Suppose -4*v + 991 = -885. Let z be 10/35 + (-132)/v. Let n = z - -1391/3752. Which is smaller: 3/2 or n?
n
Let j = 22209 + -28004. Is j at most as big as -5797?
False
Let f = -122.4 - -133. Let g = f - 10.5. Let d = 19/12 - -25/12. Which is greater: g or d?
d
Let s = 425 - 632. Let a = -205 - s. Which is bigger: -3 or a?
a
Let g = -0.562 + 0.652. Let c = 0.0431 - -7.8669. Let b = g + c. Which is greater: b or 1?
b
Let c = 7269/130 - 279/5. Is 1 smaller than c?
False
Let a(j) = -j**3 + 65*j**2 + 60*j + 397. Let u be a(66). Are 2/20645 and u equal?
False
Let o(j) = -175*j - 6337. Let l be o(-34). Suppose -n - 3*n + 778 = -2*w, -2*n = -2. Is l not equal to w?
False
Let m = 7 - -10. Suppose -4*t + 2*v = 46, -3*t + 5*v + m = -4*t. Suppose 886*u = -4*w + 881*u - 62, -2*w + u - 24 = 0. Is w greater than or equal to t?
False
Suppose -3*d - 10 = -8*d - 3*m, 4*m - 10 = -5*d. Let c = 8.5175 + -0.5175. Does c = d?
False
Suppose -84526 = -8*c + 306*c - 2288236. Which is smaller: -0.1 or c?
-0.1
Let m be (-399364)/112 + (-5)/(-2)*(-1)/10. Is m smaller than -3567?
False
Let w = 6165 + -5999. Which is smaller: 10 or w?
10
Let f = 74 + -127. Let d = f + 21. Let x = -670 + 669. Which is smaller: d or x?
d
Let a be 2538/(-15)*((-3)/(-12))/(1/(-20)). Do a and 850 have the same value?
False
Let x = 499 + -498.9737. Let g = -90.9737 - x. Which is bigger: g or -1/4?
-1/4
Let q = 39 - 71. Let v = 58 + q. Let t = v - 26.3. Which is smaller: 3 or t?
t
Let i be (-1 - -1) + -7 + 13. Suppose i*y + 30 = 11*y. Let k(c) = -c**2 + 4*c + 11. Let t be k(y). Is t greater than -0.03?
False
Suppose -4*l + 275*c - 277*c = -572, -584 = -4*l - 5*c. Are 141 and l equal?
True
Let d be (-10)/6 - -1 - (-128)/66. Let q = 190 - 185. Which is bigger: q or d?
q
Let k = -5099 - -5102. Are k and 11 unequal?
True
Let u be 75/(-2)*(-344)/1290. Is 87 > u?
True
Let n be 8 - 4 - 6 - -75. Suppose -3*l + p = -0*p - n, 2*p = -l + 22. Suppose 2*w - b = -l, 3*w - 2*b + b + 35 = 0. Is -10 equal to w?
False
Suppose 0 = 2*v - 345*v - 229539 - 124437. Is v < -1032?
False
Let i = 226.0273 + 1.9727. Is i >= -3.5?
True
Suppose -4*n = v, -2*n - 3 = 2*v - 9. Suppose 0 = -v*z - 3 + 15. Let d = -5300/9 + 1778/3. Is z less than d?
True
Let l = -20 + 28. Let y = 5 + -3. Suppose 5*r = -y*n + 7*r + 12, 2*r - 6 = 0. Is l not equal to n?
True
Let b(v) = 6*v**3 + 98*v**2 - 54*v + 106. Let j(a) = -a**3 - 20*a**2 + 11*a - 21. Let u(y) = 2*b(y) + 11*j(y). Let w be u(24). Is 291 greater than w?
False
Let f = 3 - 