Is h > -163?
True
Suppose 3*v - 2*v - 26 = -3*g, v + 46 = 5*g. Let t(d) = d**2 + 3*d + 4*d - 8*d + g*d**2. Let a be t(-1). Is 10 greater than or equal to a?
False
Let k = 0.4484 - 0.0754. Let w = -0.173 + k. Are w and 1/4 unequal?
True
Let n = -484/17 - -2810/119. Suppose 13 = -2*z + x - 0*x, -z + x = 9. Which is smaller: z or n?
n
Let d = 39175 + -39169. Is d at least as big as -0.132?
True
Let m(g) = 6*g - 2. Let r be m(3). Let p(j) = -4*j**2 - 2*j - 11. Let y(a) = -3*a**2 - 3*a - 11. Let i(n) = 2*p(n) - 3*y(n). Let d be i(-6). Is d at least r?
True
Let p = 879.8 + -871.8. Let w = 0.48 + -0.71. Which is smaller: w or p?
w
Let j = 286 - 47. Suppose 4*x = 5*c - j, -4*x + c - 4*c = 215. Let b be ((-13)/(-2) - 3)*(-32)/x. Which is smaller: 4 or b?
b
Suppose -j = 3*s + 3*j + 10, 2*s + 7 = -3*j. Let q be (s/118)/(-5 + (-55)/(-10)). Which is smaller: 0 or q?
q
Let n be (7 - 3) + 2 + 34/2. Suppose 10*j - 29*j = -494. Does j = n?
False
Let u be ((-14)/(-8))/((143/(-2068))/13). Suppose -5*o - x = 4*x + 1650, 0 = -3*o + x - 982. Which is smaller: o or u?
u
Let a = 164.9272 + -165. Let p = a - -0.1728. Is -5/116 less than or equal to p?
True
Let f = 8 - 19. Let c = -11 - f. Let l = -1190.17 + 1190. Is c less than l?
False
Let f(u) = -2*u**3 + u**3 - 33*u**2 + 44*u - 23 + 51*u**2. Let w be f(20). Which is smaller: 56 or w?
56
Let t(z) = z**2 + 29*z - 487. Let p be t(-49). Is p at least as big as 493?
True
Let c = 1.874 + 175.126. Are c and -7 nonequal?
True
Let r = -399.5 + 16.5. Let q = r + 296. Is q != -1/4?
True
Let j(g) = -g**3 + 6*g**2 - 7*g - 3. Suppose -4*c + 25 = 9. Let o be j(c). Let z be (0 - o/63)*(3 + -1). Which is greater: z or -1?
z
Let h(j) = -j**2 + 21*j - 51. Let y be h(18). Suppose -2*q + 5 = o + 2*o, 2*q - y = -5*o. Is -2/15 at least as big as o?
True
Let f be 1134/(-6237)*(-264)/14. Let q = 2 - 2. Suppose 4 = -q*s + 2*s. Which is smaller: s or f?
s
Let d be ((-1)/3)/(4/(-156)). Let u(v) = 9*v**2 + v**3 + 2*v + 2*v - d + 2*v - v. Let n be u(-8). Is 11 smaller than n?
False
Let a(j) = -11*j**2 + 177*j - 3. Let s be a(16). Suppose -3*p - 5 = 2*p. Let h = p - -12. Which is greater: s or h?
s
Let n be -3*((-232)/(-24))/29. Which is smaller: n or 18/199?
n
Let j = 209.3 + -231. Let y = j + 19.4. Which is bigger: y or 12/7?
12/7
Let h = 79 - 74. Suppose 4*c - 3 = h. Let x = -23 + c. Which is smaller: x or -19?
x
Let n = -286.1 - 36.9. Let c = 322 + n. Is 1/4 smaller than c?
False
Let o = 83 + -82.74. Let n = o - -1.04. Which is greater: -0.3 or n?
n
Let d = -33.2 - 7.6. Let x = -5.7 - -45.7. Let b = x + d. Is 0.1 less than or equal to b?
False
Let f be (1450880/(-100))/16 + 2 + -7. Which is smaller: -913 or f?
-913
Let a(o) = -343*o - 103. Let c be a(-4). Let k = c - 16552/13. Which is smaller: -3 or k?
k
Let q(u) = u**2 - 22*u + 73. Suppose 0 = 5*w - 7*w + 36. Let j be q(w). Which is smaller: j or 1/39?
1/39
Suppose 5*g = 164 - 64. Suppose j = 2*u + 16, -15*u + g*u = 3*j - 40. Which is smaller: u or -13/2?
u
Let d = 226.75 + -223. Let j = 2.75 - d. Which is smaller: 136 or j?
j
Let j = 9271 + -9264. Which is smaller: 48 or j?
j
Let y be 19/(171/(-81)) - (-16)/4. Which is bigger: y or 150?
150
Let w(f) be the second derivative of -f**3/2 - 7*f**2/2 - 38*f. Let y be w(3). Let i be 193/(-4) - y/64. Which is greater: i or -47?
-47
Let y = 4637/93 + -3664/31. Let v be 1 - 1/((-1)/(-69)). Is v < y?
False
Let h(m) = -1242*m**3 + 3*m**2 - 5*m - 6. Let j be h(-4). Let d be (4 + j/24)*(-2)/28. Let s = d - -237. Is s smaller than -1?
False
Suppose -5*g = 0, 5*o + o + 2*g + 3 = 5*o. Is -3735 less than or equal to o?
True
Suppose -8*c + 12*c - 8 = 0. Suppose 1 = c*f - f. Which is smaller: f or -5/13?
-5/13
Let h(q) = q**3 - 8*q**2 - 7*q - 20. Let c be h(9). Let y be (-2)/(-905)*((-2)/(-16) + c). Let m = 49217/3620 - y. Which is smaller: m or 15?
m
Suppose -195 = -5*g + 5*d, -2*d - 192 = -5*g - 0*d. Let p be -10*((-336)/20)/(-2)*1. Let c be (-2388)/(-63) - 8/p. Is c < g?
False
Let d(j) = -1996*j - 7338. Let x be d(-5). Is x at most as big as 2643?
True
Let g be (-1684760286)/24 - (2 - 0). Let s = g - -639366973889/9108. Let f = 422/9 - s. Which is greater: f or -1?
f
Let o = 781 - 778. Let z(j) = 8*j**2 - j. Let p be z(1). Suppose -p - 11 = o*i. Is i not equal to -6?
False
Let q = -5 - -527. Let c = -519.85 + q. Is c <= -1/4?
False
Let r = -0.0175 + 0.0228. Let i = 0.0257 + r. Is -0.3 at most as big as i?
True
Suppose -12 = -5*n - 2. Let w(l) = -l**2 + 8*l - 14. Let v be w(4). Suppose -3*k + 2*k + v = 0. Is k not equal to n?
False
Let f = 19536 + -19542.7. Which is bigger: -5 or f?
-5
Let i = -46 + 48. Suppose -5*c = 2*b + 80, -36*b + 11 = -i*c - 41*b. Is c > -35/2?
False
Let z(w) = 9 + 3 - 9*w + w**2 - 2. Let t be z(8). Suppose 0 = 2*l - 3*d + t*d + 12, -l = -4*d - 1. Which is smaller: l or -10?
-10
Let g = -9.83 - 0.17. Let i = g + 14. Let q = -7509.95 + 7510. Which is smaller: q or i?
q
Let j = -8/5751 - 66368/63261. Which is greater: j or 0?
0
Let q = 43 + -47. Let i be 76/(30/(-9) - q). Suppose -i = -4*n + 78. Is n less than 46?
False
Let g be (-18)/((-27)/18*4/69). Let c = g + 19. Let m = c - 3839/17. Is 0 > m?
False
Suppose 0 = 3*g - 4 + 1. Let t be 15/10*1133614/1305. Let u = t - 1303. Which is smaller: g or u?
u
Let v(z) = -2*z**3 - 9*z**2 + 2*z - 10. Let b = 38 - 43. Let u be v(b). Suppose -u*s + 4*s = -x - 29, 2*s - 70 = -2*x. Which is smaller: s or 33?
s
Let i = 6559.773 - 6560. Which is greater: 4 or i?
4
Let v be 1/2*(7 - -1). Suppose 0*x - 5 = -g - x, g = v*x. Let w = 11310/7 + -1612. Is g <= w?
False
Let o be 44/88 + (31/(-2))/(-1). Let n = o - 11. Let d be 2 + ((-2)/n)/((-21)/(-70)). Are d and -11 non-equal?
True
Suppose 4*y - 36 = 0, 4*j + y - 348 = 1745. Is j greater than 517?
True
Suppose 4 - 16 = -3*n. Let d be (1 - 3/9) + 60/5040*-28. Is n <= d?
False
Let r = -15/1042 + -4123/3126. Let w = -25 + 44. Which is smaller: r or w?
r
Let j be (-1 - -7)/(11*1). Let i = 197.0251 - 0.0251. Let d = i - 195.9. Is j <= d?
True
Let r = -1639 - -1645. Is -20 < r?
True
Let s be (4 + 117/(-18))*(9 + -151). Is 345 equal to s?
False
Let h(g) = g**3 + 4*g**2 + 3*g + 2. Let b be h(-3). Suppose -b*y - 4*c - 32 = 0, -4*y - c = -2*c + 73. Let t be (-10)/45 - 4/y. Is t equal to 2?
False
Suppose 0 = -4*p + 2*a - 50, 3*p - a + 2 + 33 = 0. Let x = p + 23. Let r be (11/((-231)/(-18)))/((-6)/(-84)). Are x and r unequal?
True
Let g = -0.92 + 10.92. Let t = 9.1 + 0.4. Let x = g - t. Which is bigger: -0.3 or x?
x
Let d be 38/323 - 8/(-510). Let x = 20 - 37. Let l = -19 - x. Which is smaller: d or l?
l
Let d = -147218/3 - -47013. Which is smaller: d or -2060?
-2060
Suppose 25 = -d + 21. Let u be (-1)/((-1533)/(-384) + d). Suppose -5*z + z = -u. Which is smaller: z or 31?
31
Suppose 0 = 3388*c - 3396*c - 120. Let b(z) = 15*z**3 - z - 1. Let w be b(-1). Is c at least as big as w?
True
Let s be (828/21)/((-381)/1778). Which is smaller: s or -205?
-205
Let a = -80 + 82. Suppose -11*b = -3*b + a*b. Let f be 4 + -1 + b + -39 + 0. Is -37 at most f?
True
Let t be 18/(-15)*(-81)/243. Are t and -119 non-equal?
True
Let m = -644 - -2889. Which is bigger: m or 2246?
2246
Suppose 4*a - 46 = -2*i, 0*a = 3*a. Suppose -j - 2 = -i. Let y be (6/75)/(j/35). Which is bigger: -0.1 or y?
y
Let x(n) = -3 - 3*n + 0*n + 2*n**2 + 1 - n. Let a be x(3). Let c(k) = -2*k + 13. Let j be c(a). Is 3 at most as big as j?
True
Let i = -829 - -611.9. Let z = i - -217. Do z and -1/50 have the same value?
False
Let u(a) = -179*a + 15. Let n be u(-5). Let c be 5 + 2 + (-7306)/n. Which is bigger: -2 or c?
c
Let a = -8769 - -3183143/363. Let w(x) = 14*x - 98. Let j be w(7). Are a and j equal?
False
Let v be 5 + (-130110)/10010 + 8. Let n = 1 - 0. Which is smaller: n or v?
v
Let n be 5 - (5 - 8/2) - (6 + -5). Which is greater: n or 3/38?
n
Let l be (-4)/(-14) - (-2)/7. Let f = 164 - 160. Let g(h) = h**2 + 8*h - 47. Let k be g(f). Is l greater than or equal to k?
False
Let g = 189 - 186. Suppose d = -4*k + 171, -g*d + 594 = d - 2*k. Is d smaller than 151?
False
Let d = 5225 + -5206. Which is bigger: d or -3?
d
Let q = -95.6136 - -0.0136. Let w = q + 98.6. Are -0.16 and w equal?
False
Suppose -3*v - g - 3*g = -806, -2*g - 528 = -2*v. Let u = 66 - -201. Which is smaller: v or u?
v
Let y(b) = 37 + 2*b - 76