5. Is z not equal to 63?
True
Let q = 34.018 + -0.018. Let h = q + -33. Which is greater: 1/6 or h?
h
Suppose 154*w = 48*w - 31800. Which is greater: -303 or w?
w
Let t = -25.972 - 0.028. Let u = t + 26.17. Let z = u + 0.03. Do z and 0.2 have different values?
False
Let v = 1.376 - 112.376. Which is bigger: v or -2?
-2
Let f be (6/(-1016))/((-3)/(-23 - 1)). Are f and 2/7 nonequal?
True
Let d be 59/(-1416) + 2/6. Which is greater: 0 or d?
d
Let t = 23 + -20. Let f be 7/t*-4*6/(-8). Suppose 0 = 3*i + 2*i - 45. Do i and f have the same value?
False
Let v = 102.66 - 0.66. Which is bigger: 0.1 or v?
v
Let l = -277 - -280. Is -48 at most l?
True
Let u = -16 - -16. Let l = -101 - -4543/45. Which is bigger: u or l?
u
Let x be 2*((-8)/(-2) - (-63)/(-18)). Is x less than -1/137?
False
Let i be ((-2)/6)/(25/150). Suppose 2*a + 0*a + 6 = 0. Let l be 9/(-6)*(-2)/a. Is i less than l?
True
Let v = -1.04 - 11.96. Let l be (-1)/2 - (-3)/(-6). Which is greater: l or v?
l
Suppose 0 = -3*s - 0*s. Let n be (7 + -1)*9/(-3 + -15). Which is bigger: s or n?
s
Suppose -1849*o + 1861*o = -12. Is o < 34/99?
True
Let r = -215 + 319. Let i = r - 91. Is 12 at most i?
True
Let u = -1090 + 1514. Which is smaller: -2 or u?
-2
Suppose 1 = 4*b + 125. Is b <= -30?
True
Suppose 4*n - s = 12, -2*s = 5*n + 3*s - 40. Let r be (n/18)/(32*1/(-6)). Do r and 1 have the same value?
False
Suppose -6*i + 3*k = -5*i + 16, 3*i - 3*k = -54. Is -0.1 != i?
True
Suppose 3*j = 2*z - 44 - 6, 18 = -j + z. Is -21 != j?
True
Let x = 8.6 - 0.6. Let o = -0.06 + -8.94. Let y = o + x. Does 0 = y?
False
Suppose 13 = 3*n + 1. Suppose n*l = -3*l + 7. Let m be (-2)/(-8) - 2/72. Which is smaller: l or m?
m
Let t = -398 + 485. Which is bigger: 84 or t?
t
Let p be -4 + ((-247)/(-16))/((-8)/16). Let x = p + 35. Which is smaller: 0 or x?
0
Let p = 80 + -78. Is p bigger than 36/55?
True
Suppose 7*x - 5*f - 45 = 2*x, 3*f = 4*x - 37. Let d = 25 - x. Let b be 4 - 0/(-3) - d. Which is smaller: b or -12?
-12
Let o = -102/215 - 14/43. Is o at most as big as 6/13?
True
Suppose 12*w = -30 + 6. Let n(u) = -2*u**2 - 3*u + 2. Let a be n(w). Which is greater: 2/89 or a?
2/89
Let d = 582 - 356.9. Let f = d - 214. Let z = f + -11. Is z at least 0.5?
False
Let a(i) = -i**3 + 24*i**2 + 24*i + 21. Let q = -9 + 34. Let u be a(q). Which is bigger: u or -21/8?
-21/8
Let p be 2*(-6)/(-3) + -2. Let m be 8/16 - p/6. Is 1 less than m?
False
Suppose t = -7*f + 4*f - 10, 5 = -t - 2*f. Suppose -3*j + 2*k = 5, 0 = 2*j - 2*k + k + 2. Is j at most t?
True
Let u(o) = o**2 - 2*o. Let m be u(1). Let v = -1 - 1. Let l be (2/(-2))/v*-2. Is m not equal to l?
False
Let m = -2.17 - 3.23. Are -0.3 and m unequal?
True
Suppose -3*a = -3, 3*a + 19 = 4*p + 2. Suppose 0*w - w = p*s + 8, -2*s - 104 = 4*w. Let b be (-8)/w - (-219)/(-105). Is -1 bigger than b?
True
Suppose 0 = p + 4*l + 9, -2*l = -2*p - 3*p + 43. Let h(k) = -2*k**3 + 13*k**2 + 10*k - 17. Let n be h(p). Let b be (-41)/(-12) + 1/3. Is n equal to b?
False
Let w = -495.9622 + 496. Which is bigger: 2 or w?
2
Let s = 2.57 - 2.53. Is -0.07 less than or equal to s?
True
Suppose a = -3*j - 8, -j - 13 = 2*a + 4*j. Is a equal to 2/913?
False
Let g = 5.8 + 62.2. Let i = -64.9 + g. Let y = 3.1 - i. Which is smaller: 2/17 or y?
y
Let k = 88 + -23. Let z = 65 - k. Which is greater: z or 1/166?
1/166
Let d = -1631 - -37519/23. Let u = d - -39/115. Is u at least as big as 2?
False
Suppose 8*s - 36 = 156. Do 17 and s have the same value?
False
Let q(l) = l**3 - 4*l**2 + 2*l + 1. Let s be q(3). Which is greater: s or 38?
38
Let m = -2.3 + 21.1. Let y = -7.9 + m. Let c = y - 11. Which is smaller: c or 0.2?
c
Let v = 1309 + -1334. Which is smaller: 21 or v?
v
Let y = -30.6 + 14. Let m = y + 1.6. Let t = m - -11. Is 1/2 != t?
True
Let v = 67 - 62. Suppose -v = -4*k + 3*k. Is k < 21/4?
True
Let f(c) = -c**3 - 5*c**2 + 7*c + 7. Suppose 4*u - 34 = 2*w, 5*w + 3*u = 2*w - 69. Let s = w - -15. Let q be f(s). Is 2/27 greater than q?
False
Let d = -23 + 14. Let y(s) = 7*s + 6*s - 3 - s - 10*s. Let u be y(-3). Are u and d nonequal?
False
Let v = 876119/447 - 1960. Which is smaller: v or -1?
-1
Let t(q) = 2*q - 6. Let a(z) = -5*z + 11. Let p(v) = -3*a(v) - 7*t(v). Let y be p(-8). Let u = -832/1247 + 18/29. Which is smaller: u or y?
u
Let i = -0.949 - -1.269. Is -0.06 not equal to i?
True
Let i(h) = -h**2 - 56*h - 54. Let l be i(-55). Which is bigger: l or -4/639?
l
Let a = 7952 + -1232554/155. Which is greater: a or -1?
a
Let a = 0.08 - 0.59. Let o = -0.4 - a. Let d = o + -0.01. Is d at most 5?
True
Let s = 39 - -24. Let o = s + -63. Is 0 < o?
False
Let j(w) = 3*w**2 + 5*w + 6. Let i be j(-5). Let n be ((-3)/(-6))/(i/48). Do n and 0 have the same value?
False
Suppose 31 - 95 = -4*c. Let z(l) = -2*l - 1. Let p be z(-2). Suppose x - 6 = 4*x, r - c = p*x. Which is bigger: r or 7?
r
Suppose 6*f = 7*f - 2. Suppose 0*x + 10 = f*x. Is 5 > x?
False
Suppose -w = -v - 3, -3*v + v - 2*w = -10. Let h be 108/48 - ((-6)/4 + 4). Which is greater: v or h?
v
Let w(x) = 5*x**2 + x. Let u be w(-1). Let r(c) = -c**3 + 4*c**2 + 4. Let q be r(u). Suppose 5*j = -20, q*j + 4 + 12 = -5*v. Does -6/7 = v?
False
Let x = 5.0272 + -0.0272. Is x smaller than 7?
True
Suppose -4*b = i - 30, i + 4*i = 3*b + 58. Let d = -32 + i. Let y = -18 - d. Which is bigger: 7/8 or y?
7/8
Let b(x) = x**3 + 27*x**2 + 63*x - 42. Let z be b(-24). Which is greater: z or 176?
176
Let l be 18/30 - (-46)/(-10). Let w = -4 - l. Suppose w = -3*z - 5 + 2. Which is bigger: -1.2 or z?
z
Let m be (0 + -4 - -28) + -3. Suppose -1 = -11*s + m. Is s not equal to 3/4?
True
Let k be -1 + 5 - 316/78. Let r = -4 - -3. Is k greater than r?
True
Let a = -6.92 - -7. Let i = -0.05 - a. Let g = i + -1.87. Is g not equal to -4?
True
Let u = -0.03 + -1.43. Let w = -1.5 - u. Let s be -4 + 7/((-49)/(-26)). Is s bigger than w?
False
Let i be -3 - 4/(-2) - -31. Let m be (-4)/(-3)*i/(-140). Which is smaller: -2/3 or m?
-2/3
Let f = 0.2381 + 0.7619. Let s = 0.9 + -0.5. Is f at most s?
False
Let j = -215 + 116. Is j greater than -98?
False
Let t = -2753 - -3215. Which is smaller: t or 463?
t
Suppose 110*t - 99*t - 3047 = 0. Which is greater: 279 or t?
279
Suppose -4*p - 60 = -2*h, p = 3*h - 127 + 22. Is h smaller than 36?
False
Let d = -0.4 + 0.3. Let g be (-1 + -3)/(-6*(-45)/10). Let k = -43/108 - g. Which is smaller: d or k?
k
Suppose 3*p + 12 = d + 4*p, -2*p + 16 = d. Let k be (d/2)/(6/9). Suppose 4*c + 12 = 0, -1 = -2*r - c + k*c. Which is bigger: -8 or r?
r
Let h be 178/9 + (0 - 0). Let l = h + -3400/171. Suppose -3*g - 5 = 2*k, 5*g - 1 = 8*g - 2*k. Is l < g?
False
Let v(d) = d**3 - 7*d**2 + 2*d + 10. Let g be v(2). Is -8 != g?
True
Let a be (-2)/11 + (-23)/((-4048)/120). Is -0.022 greater than or equal to a?
False
Let i = 48 - 24. Let g be (-108)/i*(-1)/(-12). Let v be -1*-3*(-2)/6. Which is smaller: v or g?
v
Let c = -4 - -4.32. Let d = 0.0123 - -0.2877. Let y = c - d. Is 0 at least y?
False
Let r = 96 - 52. Let k = r + -43.9. Which is greater: 7/12 or k?
7/12
Let w = 864 + -866. Which is smaller: 21 or w?
w
Let f be (-1 - -1)/((-4 - 0) + 1). Suppose -3*g + 3*m = -9 - f, 5*m - 13 = -2*g. Is g greater than or equal to 21/4?
False
Let k = -22 - -37. Suppose -2*r + 87 = 4*a + 9, 2*r = 5*a - 75. Is k less than a?
True
Let x be (0 + -1)/(12/300). Let s = -36 - x. Is s smaller than -11?
False
Let q(z) be the second derivative of z**5/20 - 2*z**4/3 + z**3/2 - 25*z**2/2 + z - 5. Let t be q(8). Which is bigger: -0.52 or t?
-0.52
Let k = -258 - -2836/11. Is -116 at least k?
False
Let j(b) = -b**2 + 6*b - 4. Let o be j(5). Let t be (1/21)/((24/144)/(2/(-42))). Is t at least o?
False
Let z = 134 - 134.123. Let f = 0.023 + z. Is 0.1 bigger than f?
True
Suppose 0*j = j - 3. Suppose 4*p - 1 = c - 3, -j*c - 4*p = 74. Which is greater: c or -20?
c
Let b(d) = d**3 - 6*d**2 + 7*d - 4. Let c be b(4). Let i(g) = -g**3 + 18*g**2 + 88*g - 10. Let u be i(22). Is c at most as big as u?
False
Let s be 28/49 - (-1 - (-92)/14). Let l = 5 - 10. Is s greater than l?
False
Let z(v) = -v**2 - 14*v + 19. Let h be z(-16). Let o = h + 17. Suppose b + b = -4*d, o*d - 2*b = -16. Is d greater than 1/3?
False
Suppose 2*x = -c - 0*c + 6, 3*x + c = 7. Let r(f) = 6*f - 4. Let i(a) = 7*a - 4. Let u(h) = -4*i(h) + 5*r(h). Let t be u(4). I