2)/(10/(-155)). Which is smaller: w or -40?
-40
Let j = 18962 + -18218. Is j bigger than 733?
True
Let w be 620/2 - ((-11 - 1) + 20 + -1). Which is smaller: w or 324?
w
Let t = 3229 - 3229. Is 9/413 at most as big as t?
False
Let j(z) = -z**3 + 36*z**2 + 35*z + 72. Let b be j(37). Let l be ((-256)/(-122) + b)*(-3 + 4). Is -1 <= l?
True
Let o(u) = -u**3 + 4*u**2 + 3*u. Let b be o(3). Let t be (-64)/6 - (-12)/b. Which is smaller: -11 or t?
-11
Let c = -17524 - -8502. Is c > -1/2?
False
Let d = 0.08 + 0.22. Let q = d - 0.1. Let l = -161966/5 + 32394. Which is smaller: q or l?
q
Let n(g) = 114*g + 2220. Let k be n(-19). Are k and 217/4 equal?
False
Let u = -58 - -45. Let q = u - -17. Let o be 4 - (-2 + 1 + q). Which is smaller: 10 or o?
o
Let a = -379 - -462. Is 2/9 != a?
True
Let o = -23511 + 234833/10. Which is bigger: o or 0.1?
0.1
Suppose -5*v + i - 997 = 0, -v - 15*i - 188 = -19*i. Which is greater: -1006/5 or v?
v
Suppose 8*m = 46*m - 760. Suppose -2*u - w + 0*w = 0, 0 = -2*u - 2*w. Suppose u = 2*p - 4, -p + 5*p = -5*h + 118. Is h greater than m?
True
Let o be 10*(6/(-21) + (-18)/(-14)). Let b = -66 - o. Is b at least -76?
True
Let g be 7/(-35) + 452/460. Let w = -59 - -60. Which is smaller: g or w?
g
Suppose 4*f = -2*g + 3170, 3188 = -50*g + 52*g - 2*f. Is g >= -3?
True
Let a be 54/(-162) - (-8)/(-12). Is 0.1982 <= a?
False
Let o = -3264517 - -94680037/29. Let h = -350 + 38. Let y = h + o. Which is smaller: 1 or y?
y
Let h(w) be the second derivative of w**3 - 52*w**2 + 54*w. Let t be h(11). Are t and -36 equal?
False
Let p(u) = -2*u**2 + 8*u. Let i be p(4). Suppose 3*q + i = -6. Let w be 21/(-276) - q/8. Do w and 1 have the same value?
False
Let a be (4/6)/((-26)/(-39)). Suppose -3*q - a = x, -17*q + 12*q = -5*x - 85. Is x greater than -4?
False
Let l = -1836.0072 - -0.0072. Is l greater than -0.2?
False
Let p be 5405/(-5635) + 10/(-245). Is -1/4662 >= p?
True
Suppose 2 = -5*b + 7. Let f be (20 - 9) + (-1204)/116. Which is smaller: f or b?
f
Suppose b + 2*c = -2*c, -c = -5*b + 21. Suppose b*n - 69 = 39. Let u be n/(-63)*(-4)/(-6). Which is smaller: u or 13?
u
Let k(a) = -a**3 + 8*a**2 - 5*a - 2. Let b be k(7). Suppose 6*v - 9*v = b. Which is smaller: 3 or v?
v
Let w = -521 + 603. Is -1 < w?
True
Let z(m) = m**2 - 36*m + 267. Let j be z(21). Suppose 0 = -2*t - 0*t - 98. Is t != j?
True
Let d(l) = -4*l**2 + 48*l + 274. Let a be d(-6). Is -179 equal to a?
False
Let n(x) = x**3 + 18*x**2 - 19*x + 13. Let b be n(-19). Let k = 412 + -419. Are b and k nonequal?
True
Let t = -2299.9 - -2442.9. Which is smaller: t or 5/3?
5/3
Let d = 1343 + -757. Which is bigger: 584 or d?
d
Let t be 1693/(-3) + 8/(-12). Suppose 151*v = -90*v + 162*v - 44714. Does t = v?
False
Let p be (-6)/4 + 16/(-13800) + (-9)/(-6). Which is smaller: p or 0?
p
Suppose 0 = -o + 2*k - 33, 0 = -0*o - 5*o - k - 121. Let q(d) = -d**3 - 26*d**2 - 23*d + 51. Let c be q(o). Is -1 at most as big as c?
True
Let g = -159 + 242. Suppose 41*m - 40*m + g = 0. Is m smaller than -1?
True
Let w = -853 - -848. Which is greater: -182/31 or w?
w
Let h = 2/14109 - -28048/1199265. Which is bigger: -1 or h?
h
Let y(h) = -h**3 + 17*h**2 + 37*h - 19. Let q = 132 + -106. Let j = -7 + q. Let v be y(j). Which is greater: -0.1 or v?
-0.1
Suppose x + 60 = 3*x. Let v(q) = -q**2 - 29*q - 133. Let t be v(-23). Suppose -4*u + 5*o = -96, t*o = u - 4 - 5. Which is smaller: x or u?
u
Let c(g) = 11*g + 46. Let w be c(-4). Suppose 17*h = -w*h - 152. Which is greater: h or -6?
-6
Let d(i) be the first derivative of 4*i**3/3 + 13*i**2/2 - 5*i + 48. Let v be d(-4). Let o be (8032/(-28504) - (-2)/v)*-1. Is o at least as big as 0?
False
Let c be 542101/(-952) + 9/24. Let u = -569 - c. Which is smaller: u or 10/9?
u
Let v = 0.0265 - -0.0212. Let d = -1.9523 - v. Is d <= -165?
False
Let m be (20 + -16)*(-665)/(-882). Is m at most as big as 2?
False
Suppose 4*q + 3 = 7. Let t be (-3 + 2)/1 + q. Let n be (2 + 55/(-5))*(t + 1). Is n at most as big as -8?
True
Let w = -5840 - -11456. Is w at least 5617?
False
Let x(y) = y**3 - 6*y**2 + y - 12. Let w = -79 - -32. Let b = -41 - w. Let r be x(b). Is r greater than -6?
False
Let c = 3312 + -3006. Which is smaller: 304 or c?
304
Let k = 4099 - 4094.805. Which is smaller: k or 1?
1
Let a be (3294/144)/(90/(-240)). Suppose 19 = d + 83. Which is smaller: d or a?
d
Let j = 9185 + -9183. Which is bigger: 230/9 or j?
230/9
Let q(m) = -m**3 + 4*m**2 - 5*m - 18. Let h be q(-3). Let x be ((-56)/h)/7*7/(-14). Which is greater: 5 or x?
5
Let i = -16.73 + -0.27. Let d = i - -12. Let h = -23/2 - -13. Which is smaller: d or h?
d
Suppose -h + 521 = -w, -5*h + 4*w = 6*w - 2626. Which is smaller: h or 522?
522
Let k be 17 + -12 - (27 + 0). Which is greater: -3 or k?
-3
Let k(n) = -11*n**2 + 31*n**2 - 9 - 13*n**2 + 3*n - 6*n**2. Let z(p) = 4*p**2 + 1. Let t be z(1). Let b be k(t). Which is smaller: b or 32?
b
Let p = -185 + 191. Let s be (-10)/(-4)*(15 + 7). Let w be (-155)/s + (0 - -3). Which is smaller: p or w?
w
Let r = 3.758 + -2.758. Are 1/548 and r equal?
False
Let z(n) = 43*n - 241. Let i(x) = 49*x - 241. Let r(d) = -3*i(d) + 4*z(d). Let j be r(10). Which is smaller: j or 1/6?
1/6
Let p be ((-110)/(-50) + -1)/((-4)/(-190)). Is p bigger than 58?
False
Let z be 8/(-28)*(-33 + 5) + -3. Suppose -5*o + g + 525 = -o, -g - z = 0. Are o and 128 unequal?
True
Let g = 3.9 + -4.3. Let i = 1.48 + -0.18. Let r = -6.7 - i. Which is smaller: r or g?
r
Let z be (((-522)/(-4))/(-3))/((-1640)/(-272) + -6). Does z = -7391/5?
False
Suppose 29*t + 13*t = 30 + 12. Which is smaller: -5/694 or t?
-5/694
Suppose -8*z - 1145 = -5*l - 3*z, -2*z - 1151 = -5*l. Which is greater: l or 229?
l
Let k = -22467.038 - -22467. Is 65 less than k?
False
Let o = -428 + -2480. Which is smaller: -2914 or o?
-2914
Let g = -1376190/64883 + -102/4991. Let a be 43/(-2) + 3/6. Which is greater: a or g?
a
Let f = 9 + -5. Suppose -4 = -f*p + 60. Let t = -1615/3 + 554. Are t and p unequal?
True
Let y = 180 + -337. Let i = y - -178. Is i less than or equal to 0.2?
False
Let c be (42/(-14))/((-9)/(-12135)). Which is greater: -4046 or c?
c
Let k = 53 + 207. Suppose 24 = m - 7*z + 2*z, 5*m - k = -3*z. Let v(b) = 4*b**2 - 6*b - 6. Let j be v(-3). Which is smaller: m or j?
j
Let c = 20 + -19.6. Suppose 0 = 4*k + 22 - 34. Let g be ((-132)/(-14))/k - 4. Is g at most c?
True
Let k be (28 - 24)/(210/3). Let v = 755803/105 + -7198. Let i = v - k. Do i and 0.1 have different values?
True
Let w = 3 - 32/11. Let a = 47 + -47.95. Let l = 1.95 + a. Is l > w?
True
Let f(c) = 601*c - 59. Let u be f(8). Suppose -u = -28*x - 801. Which is greater: 142 or x?
142
Let t = 0.037 - -14.563. Let p = -11 + t. Let n = -2.6 + p. Is n smaller than 5?
True
Let l(k) = 3*k + 35. Let x be l(-13). Let q be (-1)/(x - 2727/(-682)). Let a be q/(-171) - (-16)/4. Which is bigger: a or -1?
a
Suppose -3*j - 397 + 58 = -3*a, 0 = j + 3*a + 113. Is j less than -107?
True
Let l = 97564288/303 + -321994. Let m = -20720/909 + l. Is -21 at least as big as m?
True
Suppose 80*f = -69*f - 11089 - 3662. Let j be 897/(-9) - 4/(-6). Are j and f nonequal?
False
Let t be (14/(-12) + 44/(-132))*(-7482)/9. Is t less than 1250?
True
Let u = -103 - 136. Let g be u - (0/(-4) + -4)/1. Is g greater than -233?
False
Let l = -8 - -22. Suppose 25*r - 30*r = -90. Suppose 24 = -l*f + r*f. Is f > 24/5?
True
Let q = -7.6 + 7. Let n = -0.9 - q. Suppose -29 = -27*f - 299. Which is smaller: n or f?
f
Let q = -678299686303331/26718 - -25387367548. Let l = 2/4453 + q. Is l less than -6?
False
Let x(q) = 3*q**2 + 84*q - 248. Let m be x(-32). Which is smaller: m or -1/12?
-1/12
Let s be (1/897)/(77/(-66)). Let m = 8486/119301 + s. Let l(q) = 2*q + 13. Let f be l(-7). Which is bigger: f or m?
m
Suppose -9*l = -5*l + 72. Let d be (-3 + (-11)/(-3))/((-1)/l). Suppose -i = -d*i. Is -25 at most as big as i?
True
Let v = 3735/11 - 5985/22. Which is bigger: v or -22?
v
Let l(t) = t**3 - 2*t**2 + 14*t - 12. Let k be l(-5). Let c = k - -256. Which is smaller: c or -12/53?
c
Let s be -19 + (41 - 20) - 14348/(-3) - 3. Which is smaller: s or 4783?
s
Suppose 41*l - 5*k = 43*l + 2621, 2*k - 2 = 0. Is -1313 at least l?
True
Let y = -10 + 26. Let j = y + -8. Let g = j - 4. Which is bigger: g or -7?
g
Let z = -24.56 - -25.66. Let r