594.8. Let p = -294 - z. Which is smaller: -2/21 or p?
-2/21
Let w = 0.3181 - -43.6819. Is 0 <= w?
True
Let y = -37 - -23. Let f = 14828 + -14842. Is y equal to f?
True
Suppose 2*z - 2 = m, 0 = -4*m + z + 6 - 0. Let n(b) = -10*b**3 + 5*b**2 - 5*b + 2. Let r be n(m). Which is greater: -67 or r?
-67
Suppose 3*v - 174 = -4*i + 24, 3*i + v - 146 = 0. Let h = i + -23. Suppose -5 + 30 = j. Is h < j?
False
Let g(c) = -7*c + 17. Let t be g(-5). Let n = t + -51. Suppose f - n = -v, -2*v = 2*v - 12. Is f less than or equal to -10/9?
True
Suppose -a + 5*k - 21 = -2*a, 46 = 3*a - 2*k. Let d = a + 136. Which is greater: d or 151?
d
Let k = 4.828 - 6.828. Which is greater: k or -9/17?
-9/17
Let z = 3.45 - 0.05. Let g = -0.2 + z. Let p = g - 3.21. Which is greater: p or -1/3?
p
Let d = 9003793540/28663 + -314126. Which is smaller: 1 or d?
d
Let g = -57 - -89. Let l be g/(-40)*(-1070)/7. Let x = -122 + l. Which is greater: x or 0.01?
x
Suppose -148 = -15*b + 392. Suppose -45*h - b = -48*h. Is 16 >= h?
True
Let i be (-6728)/1365 - ((-14)/(-2) + -12). Let g = 2/455 - i. Which is bigger: -1 or g?
g
Suppose 81*a + 229 = -21*a + 25. Suppose -4*o + 25 = q, q + 3*q + 4*o - 64 = 0. Which is smaller: a or q?
a
Suppose 4*k = 3*o + 15, -k + 6*o = 4*o. Let z be k*(48 + -7 + 2). Is z >= 258?
True
Suppose -23 = 4*a + 3*n, a - 2*n + 30 = -2*a. Let q be 58*(-6)/a*2/9. Are 9 and q unequal?
True
Let t be 13 + 12*(-130)/117. Suppose -5 = 4*f + 7. Let k be ((-6)/4 + 0)/f. Which is bigger: t or k?
k
Let x = 899.12 - 884. Let n = x - 17. Let f = 0.12 - n. Which is smaller: -0.12 or f?
-0.12
Let t = -45 + 19. Let h be (-4)/(-6) + 0 + t/48. Let q be -1 + 1 - (-3 - -2). Is q >= h?
True
Suppose 0 = -2*n - 9*s + 3316, 2*n = 2*s + 1486 + 1830. Which is smaller: n or -2/9?
-2/9
Let r be (-15)/25*((4 - 2) + -17). Let q be (-8)/(-20) + r/(-3 - -6). Is 3 less than q?
True
Suppose -2*p - 20 = -7*p. Let m = -25 - -25. Suppose 4*j - 29 = -5*d, -4*d + 2*j + 25 + 19 = m. Which is smaller: d or p?
p
Let s(a) = a**2 - 3*a - 35. Let i be s(8). Let n = -2879 - -2886. Which is bigger: i or n?
n
Suppose 4 = 3*q - 14. Let r be (156/36)/(1/q). Is r smaller than -2?
False
Let i = -344.798 + -0.202. Let l = 344.033 + i. Let v = l - 0.033. Which is smaller: -11 or v?
-11
Let w(p) = p**3 - 6*p**2 - 3*p + 11. Let x be w(6). Let u = 1.6038 + -0.7038. Is x smaller than u?
True
Suppose 2*w - 7*w + 90 = 0. Let h be 4/w + 158/(-549). Let z = -1.9773481 - 0.0226519. Is z < h?
True
Suppose -36 = -5*o + 54. Let a be 7/(2 + 18/(-8)). Let b be 1/((-7)/(a/o)). Is b not equal to 5?
True
Let h = -1243 + 856. Let f(o) = -5*o**2 + 8*o - 3. Let g be f(-8). Is h >= g?
True
Let f = 18215 + -24389887/1339. Which is smaller: 1 or f?
f
Let u(w) = -8*w**2 - 10*w + 4. Let v be u(3). Let o = v - -30. Let c be o/(-96) - 3*(-2)/(-18). Is c > 0.1?
True
Let b = 0.5 + 0.3. Let u = -3.65 + 3.5. Let r = u - -0.25. Which is greater: b or r?
b
Let h(v) = -25*v**2 + 1027. Let b be h(0). Is 1028 not equal to b?
True
Let f = -42.8 + 42.6. Let z(j) = -4*j**2 + 4*j - 4. Let a be z(3). Let c = -55/2 - a. Is f < c?
True
Let p(g) = 6*g**2. Let j be p(1). Let o be (-97)/1 + 23/(207/(-18)). Let d be (o/12)/(5/(-4)). Which is greater: j or d?
d
Let f = -21273.45 + 21273. Is f bigger than 122?
False
Let n = 4542 - 3025. Which is smaller: n or 1519?
n
Let w = -6 + 7. Let q = w + 0. Let c = 208 - 245. Is q greater than c?
True
Suppose 7*g = -3*j + 25, 4*g - 10*j = -9*j - 2. Which is smaller: -3/4925 or g?
-3/4925
Let z = -7095 + 8761. Is 1666 != z?
False
Let q(g) = 4*g - 9. Let f be q(3). Suppose n - 3*k = 12, -f*n - 3 = 2*k + 5. Which is greater: -1/156 or n?
n
Suppose -12*o - 1713 = -16*o - 5*a, 4*a = -3*o + 1286. Let r be (-1)/(o/(-1428) - 2/(-7)). Let l = -183 + r. Is -81 bigger than l?
False
Let h(a) = a**2 - a - 8. Let f be h(0). Let l be 14 - (-4)/f*4. Let g be (l/(-78))/((-2)/(-28)) - -2. Is 1 < g?
False
Suppose 0 = 39*a - 435 + 2463. Is -0.01 less than or equal to a?
False
Suppose 2*n - 3*n + 26 = 0. Let f be n/91 - 4/14. Let z be 4/30*27/24. Are f and z unequal?
True
Let l = -151 - -258. Let j = -92 + l. Let c = j + -34. Are c and 3 unequal?
True
Suppose -124*q + 164 = -31*q + 257. Is q greater than -20/277?
False
Let l = -62 - -74. Suppose 0 = l*o - 15*o - 3. Let m be ((-4)/(-10))/(46/(-10)). Which is greater: m or o?
m
Suppose 0 = -12*m + 39 - 3. Let b(i) = 27*i**2 - 8*i + 16. Let v be b(m). Is 235 equal to v?
True
Suppose -p - 4*b + 9801 = -210, -3*b = -p + 10039. Which is greater: 10026 or p?
p
Suppose -5569 = -116*m - 27*m - 2137. Is m at least 49?
False
Let s = 359 - 305. Let w be 12/s - (1 + 328/18). Which is smaller: w or -15?
w
Let p = -106.22 - 1.78. Let x = p - -50. Let w = -53 - x. Is 3 at most as big as w?
True
Suppose 2*l - x = -17, 82 - 96 = -2*x. Let b(y) = -y**3 - 6*y**2 + y + 1. Let i be b(-6). Is i bigger than l?
False
Suppose 4*s + 5*p = -7606, 3*s + 5*p + 1144 = -4558. Which is smaller: s or -1903?
s
Let i be ((-1)/3)/((-25)/1425). Suppose -i*n + 5626 = 10*n. Which is bigger: n or 193?
n
Let z be (3/(-15))/((-4)/(-10)). Let v = -428 + 427. Which is smaller: v or z?
v
Let n = 171 - 153.4. Let t = -17.3 + n. Which is smaller: t or -6?
-6
Let g = 91091/5 - 18244. Do -27 and g have the same value?
False
Let m(k) = -k**2 + 9*k - 13. Let c be m(9). Let q(h) = 59 + 0*h - 74 - h. Let j be q(c). Are j and -5/3 nonequal?
True
Suppose -993 = -5*v + 527. Let l be ((-18)/(-5))/(13/(520/v)). Which is bigger: l or -1?
l
Let d = 2/2889 - 34682/20223. Which is greater: d or -11/4?
d
Let b = 95 - 80. Let r = 10 - 7. Which is greater: b or r?
b
Let r = 0.2 - 0.2. Let b(w) = -2*w**3 - 16*w**2 - 19*w - 183. Let g be b(-8). Are r and g non-equal?
True
Let u(t) = -t**3 + 15*t**2 + 26*t - 6. Let x be u(13). Let m = x - 822. Which is bigger: -458/3 or m?
m
Let z = -2904.2 + 2927. Is -0.03 >= z?
False
Let i = -7 + 6.9. Let f = i + 0.07. Let j = 14/47 + -89/141. Which is smaller: j or f?
j
Let z be (4/275 + 0)/(-2). Let w be (-127)/635 - 24/(-20). Which is greater: z or w?
w
Let m be ((-4)/6 + (4 - 4))*-1503. Suppose 0 = 11*t - 5*t + m. Let i = t - -1171/7. Are -1/10 and i non-equal?
True
Suppose 10*f = 29*f - 38. Let p be (16/(-180))/(f - 24/9). Let k be 2/4 + 4/(-8). Is p greater than k?
True
Suppose -2270 = 5*z - 4*f + 8538, 2158 = -z + 2*f. Which is smaller: -2165 or z?
-2165
Let a(o) = o**3 - 6*o**2 + 6*o + 4. Let m be a(6). Let d = -334 - -378. Suppose m*v = d*v. Which is bigger: -0.11 or v?
v
Let i = -536 - -544. Suppose 4*x + 458 = -6*u + i*u, -4*u - 101 = x. Is -112 >= x?
True
Let y = -7088 - 4536. Which is bigger: y or -11622?
-11622
Let l = 1182.01 + -4.01. Which is smaller: 1/4 or l?
1/4
Let i = 29 - 57/2. Let j = -662 + 665.351. Let w = 0.051 - j. Is i < w?
False
Let l = 296 - 813. Let h = l - -429. Which is greater: 0.4 or h?
0.4
Let m = 6014 + -6016. Which is smaller: m or -186?
-186
Let r be 46/(-23) + 6/1. Suppose -28 = -4*i - r. Suppose 41 + 391 = -i*k. Which is greater: -71 or k?
-71
Let c = 10 - 21. Let w = -57648 + 8128268/141. Let q = 2/47 + w. Which is smaller: c or q?
c
Let z = 189 + -259. Let w = -4 + z. Which is smaller: -1 or w?
w
Let p = -2027.87549 - -2027.9. Is -2 < p?
True
Let j be 170/45 + (-18)/(-81). Suppose -5*m + 3*t = 12, 0 = 2*m + 38*t - 39*t + j. Which is smaller: -3/395 or m?
-3/395
Let t be (3 - 1)/(7735/(-861) + 9). Let c = 122 - t. Are -6 and c unequal?
True
Let j be 9 + -7 - (1 - (13 + 4)). Let d be ((-3)/4)/(75/j). Is d at most as big as 0?
True
Suppose -5*m - 3*c = -5, -3*m + 0*m - 4*c = 8. Let u be ((-142)/m)/((-4)/(-64)*28). Which is greater: u or -20?
-20
Let g = -2499 - -1781. Let s be ((-61434)/285)/(2*6/(-40)). Let x = s + g. Is 0 less than or equal to x?
True
Let z = 8 - 6. Let u(d) = 12*d**3 + d**z - 3*d**3 - 4*d**3. Let f be u(-1). Is -11/4 bigger than f?
True
Suppose 2*g - 1 = q - 5, -2 = g - 4*q. Let z be 8 - 2 - (-798)/(-98). Which is greater: z or g?
g
Let p = -7 + 9. Suppose -p*k = -4*k + 44. Let i = k - 137/6. Which is bigger: i or -1?
i
Suppose -4*x = -5*o - 547, -107 = -170*x + 169*x - 3*o. Which is bigger: x or 95?
x
Suppose 83*o - 92*o + 63 = 0. Let a be (-28)/o + 18 + -7. Let t be ((-4)/10)/(2/(-60)). Which is greater: a or t?
t
Let u be 265/1028 - (-1)/(-4). Let y = 83822 + -8382