5). Suppose -k*r = 4*z - 39, -5*z - 5*r + 66 = 16. Suppose -h = -3*j - 23, -3*j = -3*h - 8*j + 13. Is h greater than z?
False
Let x be 658/282*(1 + (-22)/28). Is x less than 17/10?
True
Let y be (-2 + 3 + -1)/(-1). Let q be (1085/10)/((-1)/(-2)). Let d = q - 1951/9. Which is greater: y or d?
d
Let z = -0.01 - 0.05. Let y = z + 0.46. Which is bigger: 0.1 or y?
y
Let p be -1 - 27/(-6) - 4/(-8). Suppose k - 68 = p*a, 0*k = 4*a + 3*k + 68. Which is greater: a or -15?
-15
Let u = -1.48 - -1.38. Which is greater: u or -2/389?
-2/389
Let x be 8/(-7)*(-91)/26. Let t(y) = y**2 - 2*y - 5. Let m be t(x). Suppose -1 = -i - 2*o, -m*i + 5*o - 4 = -7*i. Are 1/37 and i nonequal?
True
Let s be 15/9*(-3)/90*-6. Let x be -2 + (1 - 44/(-14)). Is x < s?
False
Let l = 58 - -7. Let h = -592/9 + l. Let t = -22 + 22. Is h <= t?
True
Let a be ((-2536)/(-3072) - 1/(-6)) + -1. Which is greater: a or 0?
0
Suppose 4*x = -2*c + 2, 4*c - 2*x = 6 + 18. Suppose 0 = -b - 4 + c. Let s be (-992)/2400 + ((-2)/2)/(-3). Is s < b?
True
Let j(n) = 9*n**2 - 126*n + 16. Let i be j(14). Suppose 5*z - 20 = 55. Which is greater: i or z?
i
Let w(q) = -q**3 + 2*q**2 - q + 15. Let l be w(3). Let c be (-1 + l + -3)*0. Which is greater: 1/2 or c?
1/2
Let y = 6905 - 6463079/936. Is y at most as big as 1?
True
Let i be ((-693)/(-36))/(3/12). Suppose 74*f = i*f - 18. Is f != -1?
True
Let i be (53968/29120 - 4/(-26)) + -2. Which is smaller: i or 0?
0
Let j = 15 - 12. Suppose -3*h - 31 = h + 5*m, -5*h - 42 = j*m. Let k = -3 - h. Is k >= 7?
False
Suppose 0 = 4*c - 5*q + 13, 2*c + 1 = 3*q - 6. Let u be (-1)/(-1) + 14/7. Let l = c + u. Is 1/19 at least l?
False
Suppose 28*p - 213 = 25*p. Let g = p - 56. Is g equal to 14?
False
Let x be (2 - (0 - -2))*-1. Let o be (-11 + 15)/2 - (-34)/(-15). Which is greater: x or o?
x
Let a = -104 - -59. Let c = 133/3 + a. Let u(z) = 2*z - 8. Let d be u(4). Which is bigger: c or d?
d
Let n be (9 + -3 + -6)/1. Is n greater than or equal to 2/51?
False
Let z(p) = p**3 + 4*p**2 - p - 8. Let t be z(-4). Let i be (0 - t) + 9/(-2). Which is smaller: 3 or i?
i
Suppose a + 559 - 124 = 4*m, 5*m - 545 = a. Is 109 at most as big as m?
True
Let z(m) = m**3 - 6*m**2 - 7*m + 33. Let g be z(6). Which is bigger: -5 or g?
-5
Let h = 3.1 + 0.9. Let z = h + 3. Let w = 10 - z. Which is bigger: w or 0?
w
Let l = 449/9 - 4909/99. Which is bigger: l or 1?
1
Let y be ((-198)/33)/(-1 - (-16)/14). Is -41 less than y?
False
Let s = -769 + 1939. Let y = -5888/5 + s. Is y not equal to -9?
True
Let b be ((-36)/252)/((-40)/7). Which is greater: 1/8 or b?
1/8
Let b be (-1 - 2) + 35 + -1. Let x = b + -15. Let c = x + -16. Is c less than or equal to -2?
False
Let c = 0.1 + -0.05. Let d = 2.95 + c. Let i be (-8)/28 + 1*0/2. Is d at least i?
True
Let y be 24861/(-81) - 10/(-5). Let z = -305 - y. Which is bigger: z or -1?
z
Suppose -q - 3*w = 12, -q + 2*w + 3*w = -28. Which is smaller: 22/7 or q?
q
Suppose i - 5 = 0, -i - 20 = -5*n - 4*i. Do 1/80 and n have different values?
True
Let k = -353/4 - -423/4. Is 0 at most as big as k?
True
Let z be (-94)/12*(45/4)/15. Is -6 not equal to z?
True
Let z = 42 - 41. Is 79 <= z?
False
Suppose 0*k + 3*u = -5*k - 10, -2*k = u + 3. Which is bigger: k or 52/57?
k
Let o be 20/(-8)*(-16)/10. Let f(r) = -r**2 + 5*r - 4. Let t be f(o). Let b = 113 - 113. Is t < b?
False
Let s be (-2 + 26/7)*7. Suppose s - 9 = -3*h. Let m be -5 + 4 + h + 3. Which is smaller: m or 4/5?
4/5
Let a = -418 - -418.217. Let s = a - 0.017. Which is smaller: s or 33?
s
Let m(g) = -g - 11. Let h be m(12). Let u = h + 42. Which is bigger: 18 or u?
u
Suppose -2*r = -8, 3*r + 33 = i + 2*i. Let z = 0 + 15. Is i <= z?
True
Let u = 148 + -147.901. Let r = u + -0.489. Which is smaller: r or -1?
-1
Suppose t - 4 = g, -2*g = -0*g - 4*t + 12. Let c be 2 + (1 + (-1)/2)*-4. Suppose -2*v + c - 2 = 0. Is v less than or equal to g?
False
Let v = -47 + 47.06. Let w = v + 0.24. Is w equal to -0.06?
False
Let j(x) = x - 17. Let w be j(15). Suppose 22 = 3*k + 10. Suppose t - k*t - 6 = 0. Is w at most as big as t?
True
Suppose -w - 16 - 8 = y, -79 = 3*y - 4*w. Suppose x - 4 = 3*c - 21, 79 = -3*x - 5*c. Which is greater: x or y?
x
Let n = 95.67 + 0.33. Which is bigger: -1 or n?
n
Let l(x) be the second derivative of -x**5/20 - x**4/3 + x**3/3 + 4*x**2 + 11*x. Let m be l(-4). Is m >= 1?
False
Let w = -60 - -57.5. Let o = w + 2.5. Which is smaller: 14 or o?
o
Let d = -357 - -357. Suppose a - 5*v = 12, -2*a - 4*v - 3 - 1 = 0. Let k be 2 - a - (-1)/26. Is d greater than k?
False
Let t = -34 - -43. Let g = t + -37/4. Is -8/3 < g?
True
Let p = 138 + -73. Let f be 10/(-45) - p/(-9). Is 32/5 at least as big as f?
False
Suppose 15 = -1528*c + 1525*c. Are -97/16 and c equal?
False
Let n = 0.04 - -3.96. Suppose 0 = 5*o - 4*h + 9 - 1, o + 6 = 3*h. Is o < n?
True
Let o be (596/(-6))/(20/18). Let j = o - -89. Let m = -109.33 + 109.53. Which is smaller: m or j?
j
Let d(x) = -x**2 + 7*x - 61. Let v be d(11). Which is greater: v or -0.3?
-0.3
Let y(j) = -j**3 + 5*j**2 + 4*j + 24. Let w be y(5). Is 43 at most w?
True
Let r be 3 - (-79)/(-3) - (-2)/(-3). Let x = r - -25. Is -1/80 equal to x?
False
Let q = 275 + -254. Which is smaller: q or 0?
0
Let d(x) = x**2 - 15*x. Let n be d(15). Let v be (-2 - n)*11/(-495). Which is bigger: -1 or v?
v
Let s(y) = -y**2 + 5*y + 9. Let v be s(9). Let w = v - -27. Which is smaller: -8/9 or w?
-8/9
Suppose 0 = -443*u + 421*u - 12628. Are -572 and u non-equal?
True
Let f = -15 - -18. Suppose 83 = 4*w + f. Let d = w - 13. Are d and 0.2 nonequal?
True
Let t = -344 - -392. Which is bigger: 41 or t?
t
Let y be 6/15 - -1*4/(-10). Which is bigger: y or -345?
y
Suppose -1327 = -4*o + 5*b - 409, 5*o - 3*b - 1154 = 0. Is 231 <= o?
True
Suppose 0*r - 3*r - 9 = 0. Let g be (-1)/r*30/8. Suppose -150*a = -49*a. Which is greater: g or a?
g
Let p(l) = -16*l**3 - 2*l**2 - l - 1. Let s be p(-1). Let z be ((-2)/(-7))/(1/s). Which is greater: z or 2?
z
Let g be 11 + -12 + (-14)/(-17). Let k = -17 - -21. Suppose 3*z - 1 = -k. Do z and g have different values?
True
Let s = 39 - 34. Let t(d) = 3*d - 9. Let r be t(4). Is r less than or equal to s?
True
Let p be (-134*(-99)/(-18))/(-2 + 3). Is p at most -737?
True
Let f be 1/3*-3 - 747/(-783). Is -1 greater than f?
False
Let m(l) = l**3 - 26*l**2 + 23*l - 56. Let g be m(26). Which is smaller: -1 or g?
-1
Let v be (-227)/4 + 216/32 + -8. Is v smaller than -62?
False
Let u be (-267)/2*216/(-338742). Let l = 104657/492 + -851/4. Let g = u - l. Are g and -1 unequal?
True
Let a = 91 - 82. Let z = -73 + a. Which is greater: 1/4 or z?
1/4
Let i(p) = -p**3 + 2*p**2 + 2*p - 1. Let j be i(2). Let n(d) = -10 + 1017*d - 1016*d + 0. Let q be n(12). Which is smaller: j or q?
q
Let j = -4.01 + 4. Let i = j + 0.61. Let y = -0.22 - -0.32. Is y greater than i?
False
Let d = -0.0317 + -0.0683. Which is smaller: d or -272?
-272
Let a = -89 + 66. Let o = -16 - a. Are 0 and o equal?
False
Let g = 16.68 + -16.48. Is -897 less than g?
True
Let z = -4.729 - -0.729. Which is smaller: z or -2/7?
z
Let l(i) = 3*i + 11. Let k(t) = t + 5. Let o(z) = 5*k(z) - 2*l(z). Let n be o(-2). Which is greater: n or 8?
8
Let f be (2*(-7)/(-14))/(1/2). Suppose 0 = -5*c - 2*a - 11, -4*c + 3*a - a + f = 0. Is c less than or equal to -3?
False
Let l be (3/4)/(7/(-28)). Let h be 1/l - (-20)/(-12). Which is smaller: h or -0.1?
h
Let t be 18/4*5*2/(-5). Which is smaller: -23 or t?
-23
Let i = -12 + 12. Let k be 16 - (i/1)/(-1). Suppose 8*f - k = 4*f. Which is smaller: f or 0.2?
0.2
Let v be (-2)/2 - (-30)/40. Let k(r) = -r**2 + 5*r**2 + r**3 + 6*r - 6 + 4*r**2. Let c be k(-7). Is c bigger than v?
True
Let k be 334/(0 - -5 - 8). Let i = k + 118. Which is greater: i or 8?
8
Let w(u) = u**3 + 7*u**2 - 8*u + 4. Let j be w(-8). Suppose -j*f = -0*f. Let c = 53/60 - 2/15. Which is smaller: f or c?
f
Suppose 4*d + 3*u + 16 = 0, -2*d = -d + 4*u + 17. Let y be d + -14 - (-2)/(-1). Is y bigger than -16?
False
Let g = -651/5 + 129. Let u = 1/8 + 3/40. Are g and u nonequal?
True
Suppose 5*x + 376 = 381. Is -3/59 at most x?
True
Suppose -2*b - 40 = -6*b. Let n(t) be the second derivative of t**4/12 - 5*t**3/3 + 2*t**2 - t. Let r be n(b). Which is bigger: 7 or r?
7
Let o be ((-4)/2)/(-4 + (-648)/(-164)). Let s = 821/20 - o. Let z(w) = w. L