 -21. Is h != o?
True
Let n = 6.559 - 6.68. Is n equal to -0.1?
False
Suppose 3*h - 2*h = 4*m + 4, -4*h = -4*m + 8. Let p = 118/39 - 2702/429. Which is greater: h or p?
p
Let m = 2/141 + -151/705. Suppose 4*s = 3*p - 13, -s - 20 - 13 = -5*p. Suppose -3*h + 4 - p = 0. Are h and m non-equal?
True
Let d = 38 - 33. Suppose -20 = 4*b, -d*r - 3*b + 123 + 427 = 0. Which is smaller: 112 or r?
112
Let l be (-30)/20*4/(-135). Let z = -76/315 - l. Is z at least -5?
True
Suppose -4*a + 40 = -4*o, -3*o + 6 - 21 = 0. Suppose 7*p = a*p + 58. Let j be 4/(-20) - p/5. Is j at most as big as -6?
True
Let g = -0.5 - -0.4. Let b be (-104)/(-126) - -6*5/105. Which is smaller: b or g?
g
Let d(b) = b**2 + b + 1. Let o be d(5). Let g = o + -27. Is g < 7?
True
Let y = 940 - 663. Does 276 = y?
False
Suppose 2*g = -2, v - 4*g + 7 = 13. Which is bigger: 35/11 or v?
35/11
Let a(j) = 7*j**2 - 21*j + 47. Let m be a(6). Is 172 less than or equal to m?
True
Let u(k) = 451*k**3 - k**2 + 20*k - 19. Let d be u(1). Which is bigger: d or -2?
d
Let a = 310 + -230. Which is greater: 81 or a?
81
Let x be 4/((-5)/(20/(-312))). Let a be ((-3)/4)/(42/(-56)). Which is bigger: x or a?
a
Suppose -3*i + 5*b = -i - 95, -3*i - 5*b + 205 = 0. Let f = i - 27. Is f != -2?
True
Let r(z) = -z**2 + 6*z - 4. Let g be r(5). Let s = -1.227 + 1.427. Is g at least s?
True
Let y = -72 - -69. Which is smaller: y or 45?
y
Suppose 5 = 2*p - 3. Suppose 5*t + 5*x - 1 = 3*t, -2*t + x = -7. Is p at most t?
False
Let w = -8.35 - -8. Let l = w - 0.65. Is l not equal to -28?
True
Let a = 994 + -996. Are a and -6/5 equal?
False
Suppose -23*t - 320 = -15*t. Is t equal to -40?
True
Let v be ((-23)/(-46))/((-3)/9576). Is -1595 at most as big as v?
False
Let v = -4591/215 - -107/5. Let n(i) = -2*i**2 + 0*i**2 + 41 - 95*i + i**2 + 77*i. Let w be n(-20). Which is greater: w or v?
w
Let q = 5 - 18. Let l(g) = -g - 13. Let c be l(q). Is c at least -1/50?
True
Suppose 0 = -4*l + 12, -4*h + l - 2*l = -399. Let x be -6 + h/15 + (-78)/80. Are x and 1 nonequal?
True
Let d be (-4 - (-9)/3) + (-49)/(-8). Which is bigger: d or 4?
d
Let v = 27 + -25. Suppose -v*c - 4*g = -3*c - 21, 2*c - 3 = -g. Which is smaller: -2 or c?
-2
Let g = -628 + 130. Which is greater: g or -496?
-496
Let n = 24 - 19. Suppose q + 15 = 5*z, 3*q - n*z + 0*z + 15 = 0. Is q greater than 2?
False
Let v = 2 - 3. Let u = 93.624 - 94. Let w = -0.024 + u. Which is greater: v or w?
w
Let s be (2 + 2 + -3)*5. Suppose 5*y + 18 = 3*g, s*y - 2*y + 10 = g. Let k be (-3 - 0 - -4)*g. Which is greater: k or 1/28?
k
Suppose -k = -0*k - g - 17, 5*k - g = 77. Suppose 9*m = -33 + 159. Which is smaller: m or k?
m
Let y be 1380/(-90)*6/(-4). Which is bigger: -4 or y?
y
Suppose 4*w - 43 = -63. Suppose -10 = -s - s. Suppose -4*z - z + 3*v - 32 = 0, 3*z + s*v = 8. Is z < w?
False
Suppose 368 + 23 = -17*g. Is -23 at most g?
True
Let d be (46*(-3)/(-9))/(22/(-759)). Which is bigger: -530 or d?
d
Let w = -1456 - -1456.78. Is w smaller than 1?
True
Suppose -3*b + 10*b = -28. Suppose 6*g = g. Let x(a) = a - 2. Let f be x(g). Does b = f?
False
Let o = 68 + -68.04. Let z = -73/20 + 22/5. Which is smaller: o or z?
o
Suppose 0*a + 34 = 2*a. Let x = -7 + a. Let r = x - 13. Do r and 0 have the same value?
False
Let f = 1 + -2. Let s = 479/429 + -1/39. Let h = s + -181/176. Which is smaller: h or f?
f
Let d(n) = 2*n**2 + 10. Let j be d(3). Suppose 4*a = -5*b + 20, -a = b - 5*a - j. Let c be (-1)/(-1 - b/(-10)). Which is smaller: 4 or c?
4
Let h = 0.0506 + 1.0944. Let s = -0.045 + h. Is 1 >= s?
False
Let r(n) = n**2 + 18*n + 66. Let t be r(-13). Let h = 24.6 + -22. Which is smaller: h or t?
t
Let l = -512/1925 - -2/77. Which is bigger: 1 or l?
1
Let l(d) = -2*d**2 - 131*d + 42. Let p(z) = z**2 + 44*z - 14. Let j(o) = -2*l(o) - 7*p(o). Let h be j(-16). Which is bigger: -16 or h?
-16
Suppose 0*c - c = -3*y + 20, 3*y + 4*c + 5 = 0. Suppose 0 = y*g + 4 - 9. Let h = 69/245 + -4/49. Which is smaller: h or g?
h
Suppose -3*p + 14 = -4*v, 5*p - 18 = 4*v - 0*v. Suppose 2*y = -p*y - 4*f + 8, -3*y - 4*f + 6 = 0. Let x = 21 - 20. Is y not equal to x?
True
Let v(s) = -2*s - 10. Let f be v(-6). Suppose 4*c + a = -56, f*c = a - 20 - 2. Is c greater than or equal to -25/2?
False
Let w(u) = 2*u**3 - u**2 - 7*u - 1. Let r be w(-2). Is -5 bigger than r?
True
Let i = -3 + 19. Is i less than 3?
False
Let z be ((-6)/(-4) - 3)*100/(-30). Does z = 2?
False
Suppose 104 = -3*h - 55. Let f = 35 + h. Let u be ((-4)/(-6))/(f/(-27)). Which is bigger: 3/5 or u?
u
Let i(d) = -d**3 - 4*d**2 - 3*d - 10. Let r be i(-4). Suppose -3 = -5*s + 12, 3*p = -r*s + 33. Is p > 26/3?
True
Suppose 2*w - 5*n - 1 = 0, -5*n + 9 - 6 = -4*w. Suppose 6 = -m + 4*b - 8, -2*b + 14 = 3*m. Let l(z) = -3*z + 3. Let s be l(m). Is w greater than s?
True
Suppose 3*v = q - v - 14, 0 = 3*q + 3*v - 57. Let z(n) = n**3 - 19*n**2 + 19*n - 18. Let l be z(q). Let x be (-3)/6 - 5/(-12). Which is bigger: l or x?
l
Let a = 0.05 - 0. Let s = 2184 - 2185.05. Let k = s + a. Do -4 and k have different values?
True
Let v be (-6 - (-4 + -2))*1/(-2). Is v at most as big as -3/194?
False
Let p = 1 + 0. Let v be p/9*225/(-33). Let t = v - -12/11. Is -1 greater than or equal to t?
False
Let u = -434 - -484. Is 51 smaller than u?
False
Let s = 0 - -1. Let y = 3/105418 - -92872859/14020594. Let o = y - 46/7. Do s and o have the same value?
False
Let u = -229 + 229. Which is smaller: u or -5/43?
-5/43
Let f = 29 + -18. Let y be -5 - 8/((-400)/270). Is f >= y?
True
Let z be ((-27)/(-126))/(18/21). Which is smaller: 25 or z?
z
Let t = -3.13 + 3.03. Which is greater: -85 or t?
t
Let z be -1*(2 + -4)*-8. Suppose -5*n = 5*n + 150. Which is greater: z or n?
n
Let g = 63 - 64. Let d = -38 + 21. Which is bigger: g or d?
g
Let f(q) = -6*q + 3. Let r be f(2). Let p be 1/((-1)/(-7)) - -3. Let v = r + p. Is 6 less than or equal to v?
False
Let l be (1 + -1)*1*-1. Let m = -17 + 20.7. Let b = m - 3.9. Which is smaller: l or b?
b
Let a = 22 - -7. Let y = 23 - a. Let k be ((-2)/45)/(y/30). Which is greater: k or -11?
k
Suppose -2*b - 3 = -r + 12, -3*b = 3*r. Let x be (-5 + 0 - -8) + -19. Let p = x - -23. Are r and p equal?
False
Let q = 18.4 - 158.4. Let t = q + 71. Which is greater: t or -1/2?
-1/2
Let h be 2/6 - (-226)/(-690). Suppose 1 + 8 = -11*i - 2. Are h and i non-equal?
True
Suppose -432 = -2*m + 6*m. Let h be (m/72)/(((-5)/2)/1). Suppose -3*n - y + 1 = 2*n, 3*y = 5*n + 3. Is n bigger than h?
False
Suppose s = 15*s + 224. Let q be (6/(-8))/(((-9)/s)/9). Is q smaller than -12?
False
Let h = 1603 - 27263/17. Let m = h + 137/170. Are m and -1 nonequal?
True
Let j = -207 - -95. Which is smaller: j or 2/5?
j
Let j = -1331.1 - -1331. Is j at most 8/67?
True
Let x(r) = -r**3 - 53*r**2 + 168*r. Let b be x(-56). Suppose -l - 19 = 3*a, 0 = -5*a - 2*l - 1 - 31. Which is smaller: a or b?
a
Let x = -859 - -857.3. Which is smaller: 10 or x?
x
Suppose -v - 8 = -3*v. Suppose -3*o = -p - 6, -v*o + 7*o = 3*p + 18. Suppose -5 = 5*w + 5*c, 3*w - 21*c + 26*c - 7 = 0. Is w less than p?
False
Suppose 0 = 3*x - 3*u - 117, 4*x + 0*u - 3*u - 153 = 0. Let v be 105/10*4/x. Is v > 2?
False
Let x = 0.15 - 0.45. Suppose 5*q + 40 = -2*c - 5, -4*q - 38 = 2*c. Is x at most q?
False
Let l = -501 - 277. Which is smaller: -779 or l?
-779
Let w be (-1406)/(-259) + ((-1)/(-1) - 6). Which is smaller: w or 10?
w
Let n = 0.9 + -3.9. Let j = 2.85 + n. Which is smaller: 2/5 or j?
j
Suppose 0 = 2*n - 6*n. Let d(p) = 2*p - 20. Let u = 71 + -60. Let q be d(u). Which is smaller: q or n?
n
Let t(d) = -3*d**3 - 2*d**2 + 3. Let h be t(-2). Let p = -3 + h. Let c = p + -17. Is c > 2?
False
Let z be (-5324)/12760 + 4/10. Is z at most as big as -0.3?
False
Let m = -0.5 + 0.6. Is m at most 3.5?
True
Let x = 423 - 321. Which is greater: x or 101?
x
Let j = -123939 + 865969/7. Is -229 greater than or equal to j?
True
Let v be 12/1*(-15 + (-906)/(-60)). Let w(p) = 2*p + 2. Let n be w(-2). Let g be (n/4)/(1/(-2)). Which is bigger: v or g?
v
Let a = -23.2 - -23. Let p = -4.8 + a. Let b = p + 11. Is 2/7 < b?
True
Suppose 3*g + 52 = 55. Suppose p = -8*n + 4*n - 110, 5*n - 194 = 2*p. Let r be 228/p + 3 + -1. Which is bigger: g or r?
g
Suppose q + 6*u = 2*u + 20, 0 = -2*u + 6. Suppose -q*p + 3*p = 20. Let v = 0 + p. Is v <= -6?
False
Let p be (-1