). Suppose 3*b + 5*i + 46 = 0, 4*i + 3 = -17. Which is bigger: b or h?
h
Let x(p) = -p**3 + 18*p**2 - 15*p + 45. Let w be x(17). Is w bigger than 81?
False
Let t(o) = o**2 - 5*o + 1. Let c be t(5). Let g be 0 - ((-30)/(c - -1))/1. Is g <= 27/2?
False
Let j = -1.763 + -0.237. Is j not equal to -45/2?
True
Let w = -72 - -80.9. Let m = 9 - w. Is 1/36 != m?
True
Let p be 10*(-10)/20 + -95. Does -399/4 = p?
False
Let a = -707 + 4953/7. Is a smaller than 40?
True
Let b = 0.11 - 0.39. Let y = 1.9 + -2.28. Let d = y - b. Is -10 at least as big as d?
False
Let i = 2.5 + -2.67. Let z = 4751 - 4756. Are i and z non-equal?
True
Let f = -702 - -1903. Is 1201 greater than f?
False
Suppose 5*o + 0*n = -n - 176320, 5*o + 176320 = -5*n. Let g = o - -281135/8. Let m = 122 + g. Which is smaller: -0.02 or m?
m
Suppose 2*o + 18 - 2 = 0. Let r = -23 - -59. Suppose -2*p - 4 = 3*w + 6, -5*p - 2*w = r. Is o != p?
False
Let c(h) be the first derivative of -h**2/2 + 1. Let t be c(-8). Let s be 8*1 + 4/((-4)/1). Which is bigger: t or s?
t
Let m = 12 - 13. Are m and 1/459 nonequal?
True
Let k be (-1)/(10/2)*2. Let v = -12 - -16. Suppose 2 = v*g - 2. Is k < g?
True
Let x(t) = 2*t - 28. Let j be x(16). Suppose j*o - 18 = -2*k + 64, 5*o - 4*k - 109 = 0. Is 21 bigger than o?
False
Suppose -44*u + 33*u - 11 = 0. Let s(l) = -13*l - 1. Let d be s(-1). Is d >= u?
True
Suppose -19*h = -h - 1152. Is 63 >= h?
False
Let a = -420/11 - -38. Which is greater: -1 or a?
a
Let a = 102 - 125. Is -28 > a?
False
Let x = -80 + 24. Is -55 bigger than x?
True
Let s = -1642 + 1475. Which is bigger: s or -166?
-166
Let z be (-1)/((8/(-2))/(-28)). Let r = -8 - z. Which is greater: -5/11 or r?
-5/11
Let y(c) = c**2 + 12*c - 11. Let d be y(-11). Let o be (-6)/33 - (-1 - 18/d). Which is bigger: o or 3/47?
3/47
Suppose 19*p - 15*p = 132. Let y(c) = 3*c + 18. Let x be y(5). Are p and x non-equal?
False
Suppose 0 = 5*k - 32 - 8. Let c = k + -8. Suppose c = -0*x - 3*x. Is 0.3 at most x?
False
Suppose -3*x + 40 = -4*t, -4 = -3*x + t + 24. Let d be -1*4/x*0. Suppose 1 = -u - d. Is u at least -1?
True
Let a = -65 - -39. Let d = -24 - a. Let q = -4 + 7. Is q < d?
False
Let p(g) = -5*g**3 - 2*g**2 - 2*g - 1. Let u(n) = -n - 7. Suppose -2*t - 2 = 2, 0 = 3*c - 4*t + 10. Let k be u(c). Let f be p(k). Is f less than or equal to 1?
False
Let v = 8582 - 3441380/401. Which is smaller: v or 1?
v
Let z = -34 + 11. Let b = 22.94 + z. Is 1/3 at most b?
False
Let u = -2 - 7. Let p(a) = 3*a**3 + 5*a**2 - 8*a + 8. Let o(w) = 5*w**3 + 10*w**2 - 15*w + 15. Let j(z) = -4*o(z) + 7*p(z). Let s be j(2). Is s bigger than u?
True
Let c = -6 - -8. Let v be -1 + -2 + c + 1. Which is greater: v or -4/17?
v
Let q be 16/2 - (-37 + 44). Do q and 43/63 have different values?
True
Let t = -384 - -382.11. Let x = 1 - -0.7. Let f = x + t. Which is greater: f or 0?
0
Let x = 2 - 4. Let o = 17 + -18. Is x less than o?
True
Let n(z) = -z**3 - 7*z**2 - 11*z - 5. Let y be n(-6). Suppose 14*x + y = 13*x. Do x and -24 have different values?
True
Let a be (4/14)/(4/2). Let l be 4 - (-1 - 1/(-1)). Let n = l + -4. Which is bigger: n or a?
a
Let z(a) = -26*a + 67. Let i be z(-7). Let m be (i/(-56))/(3/2) - -3. Which is bigger: m or 2/5?
2/5
Suppose 2*p + 40 = 12. Let z = p - -14. Let m be ((-5)/(-20)*z)/(-4). Which is bigger: 3/14 or m?
3/14
Let c(w) = w**2 - 6*w - 14. Let l be c(8). Let m(f) = f**2 + f + 2. Let b be m(-2). Which is bigger: l or b?
b
Let n = 152 - 94. Let i = 24 - n. Which is bigger: i or 0?
0
Let m = 118 - 115. Suppose -m*s = z - 0*z - 9, -3*s = -4*z - 9. Which is greater: s or -3?
s
Suppose 1 + 9 = 4*t - 3*b, 0 = -4*t - b + 18. Suppose f = t*f - 9. Let w be 0 + (-7)/f - -3. Are w and 2 equal?
False
Let k(i) = 2*i + 13. Let b be k(-6). Suppose -4*s + 5 - 16 = 3*g, g - s - b = 0. Does -7/22 = g?
False
Let o be (-14)/49 - 1020/1085. Which is greater: o or 0?
0
Let t be (-1)/(-2)*(3 - 3). Suppose t = -8*k + 5*k + 12. Suppose k = -q - b, 6 = -0*q + 3*q - 3*b. Is 1/11 < q?
False
Let m = 0.17 + -0.17. Which is smaller: 43 or m?
m
Suppose 2*b + 6 - 14 = 0. Suppose -4*d = 5*l - 102 + 545, 3*l = -b*d - 453. Let o be (-8)/6 - d/91. Is o equal to 1?
False
Suppose -2*r + b - 2*b - 16 = 0, 2*b + 20 = -2*r. Let z be (-1)/57 - 2/r. Which is bigger: z or -1?
z
Let h = 721.9 - 722. Which is bigger: h or -0.133?
h
Let j(w) = 2*w**2 - 18*w + 31. Let c be j(2). Which is smaller: 52 or c?
c
Let y = 9/2 - 3. Let f = -368.9 + 370. Let u = -2.9 - f. Is y less than or equal to u?
False
Suppose 4*y + 18 = -5*p, 2*p + 2*y - 3 = -3*y. Let b be 20 - (-2 - (-2 - -2)). Suppose -2 = 4*o + b. Is p greater than or equal to o?
True
Let r(s) = 4*s - 8. Let n be r(-6). Let q = n + 21. Is -11 greater than q?
False
Suppose -3*d - 2*d + 35 = 0. Let b(m) = -1227*m - 7 + 2 + 1228*m. Let k be b(d). Is k bigger than 3?
False
Suppose -3*w + 10 = 1. Suppose -v + 5*u + 37 = 0, w*v = 2*u - 7*u + 111. Is 37 less than or equal to v?
True
Let m be ((-9)/2 - -3)/(66/88). Is -46/7 at most as big as m?
True
Suppose 2*d + 5*g - 102 = 0, -3*d = -4*g - 276 + 100. Let z be ((-3)/(-2))/((-6)/d). Let s = -333.7 + 331.7. Are s and z unequal?
True
Let w(t) = 4*t - 4. Let x be w(-3). Let r = x + 1. Suppose -5*u = -15, u - 123 + 180 = -4*g. Is r greater than g?
False
Suppose -3*d = 3*a + 45, -4*d - 2*a = -4*a + 90. Let n = 27 + d. Is n equal to 48/7?
False
Let j be 8 + 0 + -2 + 10/(-2). Which is smaller: j or 6/53?
6/53
Let m = -2.3 + -0.7. Let w = 3695 + -3694.99. Is m bigger than w?
False
Let w = 0.714 - 0.274. Which is smaller: w or 3?
w
Let g(z) = -4*z**2 - 14*z + 9. Let w be g(-4). Let d = 3367/25461 + -2/1107. Which is bigger: d or w?
w
Let g be (-2)/12 - 1/(3816/(-690)). Is 1 greater than g?
True
Let z = -257/2670 - 1/267. Let m(j) = -3*j - 30. Let t be m(-10). Which is smaller: z or t?
z
Let z = -7523 - -7524. Let j be (-4)/(18/(-4) + 0). Is j at most as big as z?
True
Let r be (-89)/4 - 5/(-20). Let s = -2 + 5. Suppose -38 = -s*t - 101. Which is greater: t or r?
t
Let h = 25.8 - 28.8. Which is smaller: h or -17?
-17
Suppose 7 = r + 12. Let j = r + 9/2. Let c(n) = -n - 7. Let w be c(-6). Which is greater: w or j?
j
Suppose 5*v = -11 - 9. Let c be 126/532*v/(-6). Let o(y) = y**2 + 3*y + 1. Let s be o(-2). Which is smaller: c or s?
s
Suppose -5*s = 4*y + 36, -4*y - s + 12 = 32. Is -3/5 greater than y?
True
Let y = -23/185 - 13067/2035. Which is greater: -7 or y?
y
Suppose -6*l = -l. Let h(s) = -s - 7. Let d be h(-6). Let j = d - l. Which is smaller: j or -11?
-11
Let t(q) = -q**2 + 2*q + 8. Let c be t(0). Suppose g = c - 32. Which is smaller: g or -23?
g
Let x = -529 - -631. Which is smaller: x or 0?
0
Let u = -150 + 193. Which is smaller: 131/3 or u?
u
Let z = -3 - -13. Let t = z - 2. Let o = -0.21479 - -0.11479. Which is smaller: o or t?
o
Let l(c) = c + 3. Let x be l(-3). Suppose 0 = -t - 3 - x. Let o be (0 + 3)*t/(-18). Is o less than or equal to -5?
False
Suppose 2*g = 8, -4*n + 25 = n - 5*g. Suppose 11 + 241 = n*k. Which is smaller: 27 or k?
27
Let a be (-238)/12 + (-14)/(-28). Let q = 19 + a. Let n = 7.1 - 8.1. Does q = n?
False
Let i = -4628 - -411886/89. Suppose 0*z + 6 = 6*z. Which is greater: i or z?
z
Let r = 16907/35 + -483. Suppose 0 = -2*v - n + 6, -3*v + 7 = -3*n + 16. Which is smaller: r or v?
r
Let b = -4.708 - 0.032. Let k = 3.3 - b. Let u = k + -8. Is u at most as big as 1?
True
Suppose -13 = -5*z + 4*m, 1 = z - 2*z + 2*m. Suppose -59 = -z*b + 4*p, -4*p = -3*b + 13 + 24. Is 12 smaller than b?
False
Let g be 1/(-87)*648/48. Which is bigger: 1 or g?
1
Let d(k) = -k**2 - 7*k - 9. Let q be d(-5). Let p = 0.2 + -0.01. Let u = 11.19 - p. Is q >= u?
False
Let a = -13/316 + -3731/9164. Which is smaller: a or -1?
-1
Suppose o + 16 + 17 = 0. Let a = o + 31. Is -3 equal to a?
False
Let c = -1/959 + -7631/39319. Which is bigger: 1 or c?
1
Let s = -67 + 74. Suppose -6 = -s*d - 13. Which is smaller: d or -10/11?
d
Let w(n) = -n**3 - 6*n**2 + 2*n + 14. Suppose 1 = q + 7. Let s be w(q). Let j be (-11 - -12)*s/13. Which is smaller: -8 or j?
-8
Let l(c) = -c**2 + 9*c - 10. Let w be l(8). Let u = w - -61/30. Is 0 less than or equal to u?
True
Let g be (-46 + -2)*2*(-2)/(-3). Are g and -5 equal?
False
Let m be 2 + (-9 - (6 - 14)). Do m and -1/176 have different values?
True
Let m = 167 