5?
False
Let b be -1*3 - (-334)/(-30). Let f = b - -43/3. Let v(n) = n**2 - 7*n + 5. Let i be v(6). Which is smaller: f or i?
i
Let t = -0.042 - -45.042. Let n = 45 - t. Does n = -9/4?
False
Suppose 4 = d - 0*d. Suppose 0 = -5*s + 2*y + 12, -6*y + 4*y - 10 = -d*s. Suppose 0 = -x - 3*z + 3, -5*x + 2*z = -2*z + 4. Are s and x nonequal?
True
Let l be (-10)/4*8/(-410). Suppose -4*y - 6*c - 24 = -c, -4*y - 12 = 2*c. Is y bigger than l?
False
Let x = 1.08 + -0.58. Let c = -0.4 - 0.2. Let s = x + c. Is -2/3 smaller than s?
True
Let j(z) = z**2 + 23*z - 23. Let g be j(1). Is 9/17 less than g?
True
Let y be -2 + (0 - -2) - 5. Let m be (0 - 1)*(-3 + 1). Suppose -n - 15 = m*n. Does y = n?
True
Let b = 48 + 9. Let j = b + -55. Let v be ((-4)/(-10))/(22/(-10)). Is j < v?
False
Let f be (-2)/16 - (-231)/56. Suppose -14 = -3*l - m, 2*l - 2*m - 16 = -f*m. Suppose 0 = -l*d - 3*z + 15, -25 = -3*d + z + z. Which is smaller: 6 or d?
6
Let b(n) = -6*n - 4. Let o be b(4). Let g = 156.5 + -140. Let l = -16.4 + g. Which is smaller: l or o?
o
Let w = 1 + -0.8. Let n = w - 0.1. Let f = -4.1 + 4.8. Do n and f have different values?
True
Suppose j - 89 = -4*v + 36, 0 = 2*v - j - 55. Which is smaller: v or 28?
28
Let q = -19013/2 - -54625/6. Let h = q + 376. Is h greater than -26?
False
Suppose 5 = -2*g + 9. Let p be g/6 + (-1)/5. Suppose 5*n = -5*s + 10, 0 = -4*n + 3*s - 6*s + 6. Which is greater: p or n?
p
Suppose 3*g + 8 = -1. Let n = -591 + 587. Which is smaller: g or n?
n
Let n(t) = -t**2 - 10*t + 16. Let p be n(-11). Let o = -1 - -3. Let b be (-6)/(-1*2) + o. Is b > p?
False
Suppose -590*z - 7 = -597*z. Let l be 114/110 - (-4)/(-10). Which is smaller: z or l?
l
Let q = 6 + -5. Suppose -3*z + 12 = 141. Let l = -40 - z. Is l greater than q?
True
Let c be (-9 - (-2 - 2))*28. Let b = 63 + c. Is -78 at most b?
True
Suppose 8 = 2*z - 2. Suppose 5*u - x - 10 = -3*x, 0 = u + x - z. Do u and -3/13 have different values?
True
Let w = 48 + 8. Let o = 56.87 - w. Which is greater: o or -1?
o
Let l = 5 + -6.5. Let o = -1.7 - l. Let z(y) = -3*y - 15. Let s be z(-5). Which is smaller: s or o?
o
Suppose 5*q = w + w - 37, -38 = -3*w + 4*q. Let h be ((-4)/78)/((-1)/w). Suppose 5*v + 9 = x - 3*x, 4*v - 5*x - 6 = 0. Which is greater: v or h?
h
Let s = -289.7 - -286.7. Let d = -148/55 - -34/11. Is d smaller than s?
False
Let y = 859/5 + -2133/10. Is y != -43?
True
Let d be (((-4)/(-2))/4)/((-4247)/3562). Is -1 less than d?
True
Let h = 37.03 - 37. Is h <= 2?
True
Suppose -68*c + 83*c = -15. Which is greater: c or -2/61?
-2/61
Suppose 77*y - 69*y = 48. Which is bigger: y or -3?
y
Let r = -0.6 + 0.64. Let i = 369 - 360. Which is smaller: i or r?
r
Let z be (-2 + 52)/(5/70). Let i = z - 1282. Let d = i - -12807/22. Is d bigger than 1?
False
Let d be (0 - -20)*6/12. Suppose -2*x + 0*x = -d. Let t be 1 + -1 - -4 - x. Is -1/32 != t?
True
Let v = 10.2 + -10. Do v and 0.031 have different values?
True
Suppose -10*y = -280 - 30. Which is smaller: y or 33?
y
Let m = 128.3099 + -128.3. Which is smaller: 2/3 or m?
m
Suppose t + 10 = a, 0 = -3*a + 8*t - 6*t + 26. Suppose -x = -a*x. Let y = 13/5 + -151/60. Are x and y non-equal?
True
Let o(n) = -n**3 + 4*n**2 - 7*n + 14. Let a be o(-6). Is 416 greater than a?
False
Let f = -112 + 20. Which is greater: 0.1 or f?
0.1
Suppose -3*a - 3*w - 74 - 16 = 0, -4*w - 12 = 0. Let k(f) = -2*f**2 + 6*f - 6. Let g be k(5). Is a greater than or equal to g?
False
Let s(n) = -3*n**3 - 37*n**2 + 28*n - 34. Let d be s(-14). Is 553 < d?
True
Let b = -449/3 - -3149/21. Which is bigger: 72 or b?
72
Let o(y) = -26*y + 155. Let f be o(6). Suppose 0 - 4 = -4*p. Is p >= f?
True
Let u = -81 - -149. Let n = u - 68. Let y be (1/(-3))/((-11)/(-9)). Is y less than or equal to n?
True
Let z(p) = 10*p**3 + p**2 + 2*p. Let o be z(-1). Suppose 2 = -0*x - 2*x. Let d be x*(-5)/(20/(-42)). Do o and d have different values?
True
Let q be 0 - (6/(-15))/((-1)/10). Let z be (0 + -2)/(18/(q - -13)). Let w = 2/101 + 184/909. Which is smaller: z or w?
z
Let n be 214 - -4 - (5 + -7). Is 222 < n?
False
Suppose 6*t = 5*t - o - 105, 0 = -4*t + o - 440. Is t > -109?
False
Let h = 70 - 90. Which is smaller: -11 or h?
h
Let h = -1032 + 1061. Is h equal to 31?
False
Suppose 79 = 4*l + 15. Suppose -210 = 10*p - l*p. Is p > 36?
False
Let p = 263 - 265. Suppose 0*j - 4*j = -124. Is p greater than or equal to j?
False
Let l = 77/6 + -13. Let b be -3*(21/(-9) - 1). Which is greater: b or l?
b
Let a be 36/9 - (0 - 1). Suppose a*o - 3*g = 2*g + 160, 99 = 3*o - 4*g. Let j = o - 13. Is 16 bigger than j?
False
Suppose -43 = 8*x + 309. Is -43 at most x?
False
Let i = -0.2 - -0.2. Let b = -2648.08 + 2577. Let x = b - -71. Is i at least x?
True
Let t be ((-408)/(-18))/((-6)/(-9)). Let v = t + -27. Is v less than or equal to 7?
True
Let f = 0.1 + -0.2. Let u = -9.9 + f. Let b = 6 + -6. Is u at least b?
False
Suppose -306 = -5*w - 111. Which is smaller: w or 75/2?
75/2
Let u(x) = x + 38. Let v be u(-39). Which is greater: v or 4/77?
4/77
Let a = 210537 - 15158317/72. Let b = a - 49/9. Is -1 > b?
False
Let t(v) = 5*v**2 - 23*v - 10. Let b be t(5). Are -12/61 and b equal?
False
Let p be 11*(-1)/2*2. Let a = -4 - p. Let m(n) = -5*n**3 + n**2 - n. Let f be m(-1). Is a greater than f?
False
Let c = -0.904 + -0.096. Let t = 0.1 - 1.1. Let i = t + 2. Which is smaller: c or i?
c
Let z(f) = 2*f + 1. Let l(o) = -o + 1. Let n be l(-3). Suppose -3*g + 7 = n*d, -5*g + 12 = 4*d - g. Let y be z(d). Which is smaller: 0 or y?
y
Let d(x) = -4*x**2 + 3*x + 13. Let u be d(5). Let b be (3/(-106))/(u/96). Which is smaller: 1 or b?
b
Let i be (-1 + (-2 - 0))*40/(-6). Suppose 0 = -9*h + 5*h - i. Is h != -8?
True
Suppose 5*k = -38 + 153. Are k and 1/3 non-equal?
True
Let c = 4/139 + 2629/417. Let v = 18 - 13. Which is smaller: v or c?
v
Let d = 415/7 + -47711/805. Is 3 < d?
False
Suppose -y = -6*y. Let t = -120 + 122. Suppose -4*h - 3*x = 22 - 2, 3*h - 2*x - t = 0. Is y less than h?
False
Let t be 45/18 + -6 - (-294)/12. Which is smaller: t or 209/10?
209/10
Suppose 320*z - 326*z = -1938. Is 325 bigger than z?
True
Let u = -335/2 + 163. Let a be (-2 + -2 - 0)*6/4. Is u at least as big as a?
True
Let s be (9/6*1)/((-546)/156). Let i(f) = 2 - 4 - f**2 - 1 - 4*f. Let u be i(-2). Is u at least as big as s?
True
Let o = 1589 - 1588. Is o greater than 19/74?
True
Let g(a) = -a**3 - 10*a**2 - 23*a - 11. Let x be g(-7). Is x < -4/3?
False
Let l = -1031/4 - -258. Is l at most as big as 1/4?
True
Let r = 10.99 - -0.01. Let q = -43/154 - 1/154. Is r at least q?
True
Suppose -w + 1 - 11 = -4*m, -5*m - 5*w = -25. Let h = 7342/3 + -2445. Are m and h equal?
False
Suppose -i - 4*i + 4*y - 1492 = 0, 5*i - 5*y = -1490. Which is greater: -298 or i?
-298
Let n = -143 + 118. Let v = n - -24. Which is smaller: v or -7/5?
-7/5
Let c be 2/(-9) - 73/9. Let f be 1 - 0 - 260/24. Let y = f - c. Which is smaller: -3 or y?
-3
Suppose -5*t + 3 + 2 = 0. Let d = 76 + -115. Let l = d + 41. Which is bigger: l or t?
l
Let b(u) = u - 8. Let z be b(6). Let c = -4091/8 + 510. Are c and z unequal?
True
Let c be (4/16)/(2/8). Let v be 2 + (0 - c) + 0. Let l be (v/2)/(7/14). Is -1 < l?
True
Let j = 159 + -252. Let t = j + 71. Which is greater: 2/5 or t?
2/5
Let o be 3 - (-3 - (-92)/(-20)). Let v(k) = -k**3 - 4*k**2 + 12. Let b be v(-4). Do o and b have different values?
True
Suppose -4*s + 2*z = -22, -2*s + 24 = -5*z + 1. Suppose 0 = -g + 4*y - 5*y + 7, 0 = 5*g - s*y + 10. Do g and 2 have the same value?
True
Let r be 0/((-3*16/12)/2). Are 22/47 and r nonequal?
True
Let k = 183 + -112. Let q = k + -70.95. Is -0.3 less than q?
True
Suppose 38*d - 34*d - 8 = 0. Suppose -d*p - p - 15 = -2*i, 3 = 2*p + 3*i. Is p > -4?
True
Suppose -4*b = -79 + 71, 2140 = x - 5*b. Is x less than or equal to 2151?
True
Let w be (-12)/(-54) + (-68)/(-18). Suppose 5*z - w = 3*z. Let f = -4/7 + 43/14. Which is greater: f or z?
f
Let d = -7.1 + 1.1. Let t = -5.06 - d. Let b = t + 0.06. Is 6 greater than or equal to b?
True
Let q = -57934/25 - -2317. Suppose 2*i = -4*b - 2, 6 = i + 5*b + 10. Which is smaller: i or q?
q
Let g = 2401 + -2513.9. Let n = 107 + g. Which is smaller: n or 1?
n
Let k(z) = -5*z**3 - 2*z**2 - 4. Let g be k(-2). Suppose 0 = -0*u + 4*u - g. Are u and 7 unequal?
False
Let c(z) be the sec