u be p(0). Which is smaller: -1/4 or u?
u
Let j(p) = 5*p**2 - 11*p - 2. Let z(v) = -2*v**2 + 5*v + 1. Let x(c) = 3*j(c) + 7*z(c). Let n be x(0). Which is smaller: -0.21 or n?
-0.21
Suppose 4 = 4*s + 2*c, 10*s + 2*c - 6 = 8*s. Let l be (-10 - -9) + (-2)/(-16). Which is greater: l or s?
l
Suppose 0 = 5*s - 10*q + 8*q + 25, -10 = 5*s + q. Which is smaller: s or -76/25?
-76/25
Let d(j) = j**3 - 30*j - 137. Let w be d(0). Which is greater: w or -142?
w
Let m(j) = j**3 - 32*j**2 + 30*j - 12. Let s be m(31). Which is greater: 2 or s?
2
Let r = -47 - -48. Let h = 0 + r. Which is smaller: h or 0.14?
0.14
Suppose 4 - 88 = -o. Let c = 84 - o. Is 1/125 less than or equal to c?
False
Let r = 24483 + -121734/5. Let d = -135 + r. Let l(i) = -i**3 - 16*i**2 - i - 14. Let v be l(-16). Which is smaller: d or v?
d
Let f = 15 - 20. Let z = f - -6. Let j = 7 - z. Are j and -0.2 nonequal?
True
Suppose 43585 = -30*f + 43585. Let r = 1126 - 4285/4. Let b = -55 + r. Which is smaller: f or b?
b
Suppose 6 = 2*u - 0. Suppose b + u = 5. Is b smaller than 3?
True
Let c be 78/351 - 4/((-2448)/(-127)). Is c less than or equal to 0?
False
Let q be 4/260*(-1658)/2. Let k = q - -166/13. Which is bigger: k or 1?
1
Let p be (0 - 1)/((-8)/16). Suppose -3*w - 6 = t - p*w, -2*t + 3*w = -3. Let l be t/(-10)*(-10)/(-24). Is 1 < l?
False
Let s = -10 + 10. Suppose s = 6*i + 5 + 7. Let v = -419/30 + 79/6. Which is bigger: v or i?
v
Let a = 42 - 60. Which is bigger: -5 or a?
-5
Suppose -3*b = -2*i + 3*i + 130, 5*i = 5*b - 610. Let h be 4/16 - 129/i. Let g = h - 42/31. Which is smaller: 1 or g?
g
Let n = 0 - 0.2. Let g = n - -0.1. Let s = 0.1 - g. Which is smaller: s or 2/3?
s
Let q = -73 + 67. Let y be 19/q + (-1)/(-2). Which is bigger: -4 or y?
y
Let i = -205.06 + 207. Let g = -4 + i. Let u = 2 + g. Is -2/3 less than u?
True
Let m = -32.2 - -34. Let y = 1.1 + m. Let b = 3 - y. Is -0.05 at least as big as b?
False
Let v = -868 - -582. Which is bigger: v or -284?
-284
Let i be 6/(-2) + 6 - (0 + 42). Let m = i + 41. Are m and -1 unequal?
True
Let u be 51/(-17) - 4/4*-2. Is u >= 4/79?
False
Let p be ((-160)/(-32))/((10/12)/1). Which is smaller: 89 or p?
p
Let v(n) = -n**3 - 7*n**2 - 12*n + 7*n + 4*n. Let l be v(-8). Let g be (2/(-12))/(56/l). Is g smaller than -0.1?
True
Let f be 0 - ((-3)/(-2) + -2). Let d = -18 - -14. Let n = -1 + d. Is n less than f?
True
Let f(n) = 2*n**3 + 2*n**2 + 2*n + 1. Let r be f(-1). Let j be 6/(-4)*-2 + (-3200)/(-36). Let i = -92 + j. Which is smaller: i or r?
r
Let c = 0.03 + -0.43. Let t = 5708.1 - 5709. Are c and t equal?
False
Let s be -1 - ((-121)/7 - (-28)/98). Suppose 26 - s = -2*x. Does x = -25/7?
False
Let z = -27.011 + 0.011. Let b = -27.1 - -28. Let t = b + -0.9. Which is smaller: z or t?
z
Let s(h) = -14*h**2 + 3. Let j be s(4). Let q = j - -9725/44. Is 0 bigger than q?
False
Let t be 3 + (24/(-4) - -2). Suppose -3*p = -2*l + 17, 2*l + 3*l + 4*p + 15 = 0. Let k be 1/l*2/(-20). Which is bigger: k or t?
k
Let h(a) = -a**2 - 5*a + 14. Let p be h(-6). Suppose p*m = m - 203. Is -29 greater than or equal to m?
True
Let w(i) = 3*i. Let r(j) = -4*j + 1. Let h(o) = 5*r(o) + 6*w(o). Let d be h(4). Let n be (-5)/(-15) - (-4)/d. Is -2/23 at least as big as n?
True
Let p = -37 + 105. Let r = p - 135/2. Which is smaller: -7 or r?
-7
Let j = 4 - -1. Let d be (-1)/2*8*6/8. Let l be (-1 - d)*(j + -7). Which is smaller: -13/3 or l?
-13/3
Suppose -2*x - 2 = j, 0*x - 2*x = 5*j - 22. Suppose q + q = j, -3*f - 4*q = -21. Let g = 18 + -13. Is f smaller than g?
True
Let z = 14058/5 + -2812. Let q = 11.12 + -0.12. Let o = q - 16. Is o greater than or equal to z?
False
Suppose s - 27 = 16. Suppose -3*x + 7 = s. Let k = -11 - x. Is -0.6 greater than or equal to k?
False
Let n = -2357 - -2349.5. Which is smaller: -1/12 or n?
n
Let p be 80/(-6)*(-6)/4. Suppose -2*g = -3*r + 8, 5*r + 5*g + p = -0*r. Which is smaller: 1/6 or r?
r
Let d = -1/189 + 253/189. Suppose 5*t - p = -10, -5*t - 3*p - 5 = -15. Let q be 2/4*t*-2. Are q and d nonequal?
True
Suppose 3*o = -5*p + 1338, 5*o + 526 = 2*p - 3. Which is bigger: p or 268?
268
Suppose 2*y = 3*v + 34, 2*v + 5 + 6 = -y. Let n be 20/(v/(4*-1)). Suppose 0 = 3*s - 4 + n. Which is greater: -7/4 or s?
-7/4
Let z = -15419/90 + 977/6. Let q = z - -80/9. Is 0.005 > q?
False
Let q = -896.9 + 897. Is q at most -99?
False
Let t be (1 - (6 - 2)) + 3 - -4. Let w = -2 - -3. Let p be 10/w*6/15. Is t equal to p?
True
Let y be 10/((-245)/56 + 5). Let j(t) = t + 3. Let f = 2 - 5. Let h be j(f). Which is greater: h or y?
y
Let x = -115 - -27. Let s = x - -76. Let z be (7/(-2))/(2/6). Is s greater than or equal to z?
False
Suppose 33*y + 408 = 27*y. Which is greater: y or -66?
-66
Let t be (165/9)/5*-33. Let k = 37 + t. Let l = 586/7 + k. Which is smaller: l or -1/5?
l
Let l = -66.95 - 0.05. Is l != 2/9?
True
Let n = 26.293 - -5.707. Let q be 1/3 + 2/3. Are q and n equal?
False
Let q(y) = -3*y**2 - y + 5. Let i be q(0). Suppose 0*m - i*m = -85. Which is smaller: 18 or m?
m
Let l = -112.8773 - 0.1227. Which is smaller: l or -1?
l
Let p(v) = -v**2 + 9*v - 2. Let l be p(6). Let d = 5579 + -5581. Which is smaller: l or d?
d
Let g be 2/(-7) - 639/42. Suppose 81 + 255 = -3*t. Let y = t + 96. Which is bigger: g or y?
g
Let w be (4/10)/(2/(-1091)). Let i = w - -219. Let o = -21 - -20. Is i >= o?
True
Let r be (1 - 4/5)*200/60. Is r greater than or equal to -666?
True
Let w = -46 + -247. Which is smaller: -292 or w?
w
Let o = 9 + -9. Let r = -29 - o. Which is smaller: 0.2 or r?
r
Let h(r) = r**2 + 21*r + 67. Let d be h(-17). Is d greater than 3/107?
False
Let l(w) = w**2 + 9*w - 3. Let z = -19 - -11. Let u be l(z). Let m = u - -12. Which is smaller: -0.6 or m?
-0.6
Let b(p) be the second derivative of p**3/6 - p**2/2 - p. Let w be b(3). Let d be (-119)/42 - (-6)/w. Which is bigger: d or 1?
1
Let s be (36/21)/(-2) - (-6)/(-42). Are s and 23 nonequal?
True
Let a = -82.99 + 0.99. Is 0 at least as big as a?
True
Let m = -6.86 - -6.76. Is m not equal to -0.019?
True
Let u be -2 + -97 + (2 - 4). Let j = u + 147. Are j and 46 nonequal?
False
Let r be 6/(-27) + ((-16)/9 - -2). Is r at most as big as 1/86?
True
Suppose -25 - 23 = -4*x + b, -3*b - 60 = -5*x. Let k be (-3)/x*-5 - 2. Are k and -2 non-equal?
True
Let q = 707385/59 - 11990. Is q > 2/5?
False
Suppose 0 = -q - 4*q + 25. Suppose -2*u + 2 = -2*d, d + 3*u + 2*u = q. Is d < -1/37?
False
Let q be (-3 + 48/18)/(-14). Is q less than 0?
False
Let x be (3 - 1)*(-52)/(-8). Let k be 0 - ((-35)/1 + -2). Let a = -23 + k. Is a greater than or equal to x?
True
Let w = -5 + 7. Suppose w*h - 5 = 1. Suppose f - 57 = 5*l - 0*f, 0 = 5*l + h*f + 49. Is l >= -11?
True
Let y be (12/(-14))/((-2110)/(-336)). Let j = -2/633 - y. Suppose l = 4*g - 7, g - l + 0 - 4 = 0. Is j equal to g?
False
Let c(z) = -65*z + 89. Let r be c(-14). Which is greater: r or 998?
r
Suppose -47*a = 3012 - 474. Is -11 <= a?
False
Suppose 34*s - 22*s = -30*s - 42. Let r be 0/1 - 18/(-14). Let j = r - 83/70. Which is bigger: s or j?
j
Let s(b) = 6*b**2 + 2*b + 2. Let t be s(2). Is 146/5 equal to t?
False
Let g be 403/(-6) + 3*(-1)/(-18). Which is smaller: g or -66?
g
Let r(j) be the first derivative of 2*j**3/3 - j**2 - 17*j - 27. Let x be r(5). Is x at least as big as 23?
True
Let k be ((-1)/3)/(4/(-51)). Let f = -42.3 - -41.3. Which is greater: f or k?
k
Let q(t) = t**3 - 5*t**2 - t + 6. Let v be q(5). Let p be v/6 + (-45)/(-54). Which is smaller: 1/11 or p?
1/11
Let h = -65 + 73. Let d be (-2)/8*h/(-22). Which is bigger: d or 1?
1
Let t(b) = -b**2 + 52. Let v be t(-7). Which is greater: v or 12?
12
Let k = -219 - -209.5. Which is smaller: k or -1?
k
Suppose 2*p + 79 = 83. Let j = -2684/9 - -299. Which is bigger: j or p?
p
Let s be 1 - ((-4)/(-2))/2. Suppose 6*m - 3*m = s. Let h = m - -4. Which is greater: 6 or h?
6
Let f be 3 - (-9)/(-3 + 6). Suppose -4*x + 2 + f = 0. Suppose 1 = -x*z - 1. Which is smaller: z or -2?
-2
Suppose 2*c + 150 = 3*r + r, -3*r - 2*c + 95 = 0. Which is smaller: r or 27?
27
Suppose 6*w + 1 - 13 = 0. Suppose 0 = 2*a + w*d + 2, -2*a - d - 3 + 2 = 0. Which is smaller: 2/169 or a?
a
Let x be 3/7 + (-14770)/(-294). Let p = x + -50. Which is smaller: p or 1?
p
Suppose 25*o - 21*o + 621 = 3*m, 0 = -2*o. Are m and 207 non-equal?
False
Let d(p) 