4. Is g bigger than -8?
True
Let l = -255 - 257. Let d be 5/((-30)/9)*1458176/4272. Is d at most l?
True
Let o = -5101 + 4083. Is o at least 1?
False
Suppose 3 = -4*u - 5. Let g be 2*(-5)/10*u/(-2). Let x be -1 - (33/39)/g. Which is smaller: -1 or x?
-1
Let a = -70.916 - -71. Which is greater: -12 or a?
a
Let v(k) = -24*k - 3873. Let d be v(-164). Which is smaller: 8 or d?
8
Let n be ((-1008)/(-60))/((-6)/20). Let u(h) = h - 26. Let q be u(0). Let d = q - n. Which is bigger: 31 or d?
31
Suppose 348*h + 1248 = 372*h. Let g be (4/(-6))/((-1)/81). Is h equal to g?
False
Suppose 5*j + 5 = 5*m, 2*m - 2 + 30 = -4*j. Is -224 != j?
True
Let f be (-1 + -1)*261/(-18). Let w be 3/(-12) + (-452)/(-16). Which is greater: w or f?
f
Let v = 786 + -555. Suppose -4*o - 4*r + 924 = 0, o = -16*r + 18*r + v. Is 232 at most o?
False
Suppose -7*i - 226 - 211 = -101. Does i = -60?
False
Let p = 113 - 111. Let u be ((-984)/(-820))/((4/(-55))/p). Which is greater: -39 or u?
u
Let r = -7019/228 - -123/4. Let z = -403/114 - r. Is z at most -5?
False
Let g = 7597 - 7543. Are g and 55 nonequal?
True
Let q = 28368.913 - 28336. Let c = -0.087 - q. Let m = c - -54. Is m not equal to -1/2?
True
Let r(y) be the third derivative of y**5/60 + y**4/4 - 5*y**3/6 + 4*y**2. Let b be r(-7). Suppose -v + 5*c = -8, b*v + 0*c = c + 34. Which is greater: 19 or v?
19
Let c(i) = -30*i + 126. Let z be c(5). Is -17 at most as big as z?
False
Let x be 219*2/90 + (-34)/(-255). Suppose -4*k = x*i + 75, -k + 48 = -5*i - 2. Which is smaller: i or -19?
-19
Let y be 3 + -11 + 11808/1485. Let m(k) = k**3 - 3*k**2 - k + 3. Let h be m(1). Is h > y?
True
Let l be (20 + 0)*(144/20 + -2). Suppose l*z - 130 = 99*z. Which is bigger: z or 28?
28
Let g be 2*(177/(-200) + 1). Let x = -1/50 - g. Are 0.1 and x equal?
False
Let i = 3.19 - 3.1573. Let o = i + -137.0327. Is 1 bigger than o?
True
Let u = 53 - 50. Suppose -u - 2 = -5*l - 3*p, -4*p = 20. Suppose 10 = 2*h - 5*h - 5*k, 0 = l*h + 2*k + 4. Which is smaller: h or -5/2?
-5/2
Suppose -4*j - 3*f = 72 + 58, -4*f - 94 = 3*j. Let c = -23 - 12. Do c and j have the same value?
False
Let m = 10839 - 10958. Which is greater: -1.8 or m?
-1.8
Let d(q) = -167*q - 504. Let j be d(-3). Is -963 < j?
True
Let c = -0.05 + 0.45. Let p = -17 - -32. Suppose -4*k = -4*g + 56, -17*k + p*k - 4*g - 22 = 0. Is k at least as big as c?
False
Let v be (-603768)/60 + 92/115. Are v and -10065 non-equal?
True
Let s = 9 + -16. Suppose 2*f + 5*a = 81, -94 = -3*f + a + 2. Suppose 3*o + 3*h - 2*h = -f, 0 = -4*o + h - 37. Which is smaller: s or o?
o
Let p be (-605)/650 - (-33)/22*(-2)/(-3). Is p greater than -1/5?
True
Let l = 585.1 - 569. Let b = l + -17. Suppose y - 3*h = -17, -3*h = 3*y - 0*h - 9. Is b at least y?
True
Let s = 5490 + -5479. Let n = 12577/13 - 967. Which is bigger: s or n?
s
Suppose h = 2*c + 90, 5*c = h + 2*h - 265. Suppose 15*k - 10*k + h = 0. Is k at least as big as -19?
True
Let r = -67 + 172. Let b be ((r/20)/(6/32))/2. Let n be 7/49 - 2/b. Is 10/9 equal to n?
False
Let g be ((36 + -36)/(-1 - 1))/(-4). Let u = -10 - -14. Let n be (-14)/10 - (3 - u). Which is smaller: n or g?
n
Let z = -0.03934 - -28.85434. Let y = -0.085 - z. Let c = -29 - y. Is c greater than or equal to 5/6?
False
Suppose -12*u = -14*u + 8. Suppose u*s - 4 = 2*s. Let w(k) = k**3 + 8*k**2 + 7*k + 6. Let r be w(-7). Is s <= r?
True
Suppose 2*j = -1 - 1, j = -2*p + 7. Suppose 2*b = 7*b + p*x - 29, -3*b = -x - 14. Suppose 3*z = 5*w + 125, b*z = 2*w + 51 + 18. Which is greater: w or -1/2?
-1/2
Let m(q) = -997*q**3 - 3*q**2 - 63*q + 64. Let z be m(1). Do z and -1000 have different values?
True
Let a = -9.4374 + 9.4574. Let k = 8 - 5. Let z = k + -3.2. Which is greater: a or z?
a
Let i = -28 + 31. Suppose i*s + 3*w - 61 = 101, -116 = -2*s + 2*w. Let x be 10/35 - (-19)/s. Is 1/2 >= x?
False
Let c = 134 - -20. Suppose -3*q - 2*h - c = 0, 4*q = -h - 229 + 27. Is q < -51?
False
Suppose 5*z = -9*m - 9, 4*m + 4 + 0 = -4*z. Is m <= 1/5614?
True
Let j be (-1 + (-11)/(-3))/(3/27). Let m be 1*(-5)/j*2/(-5). Let v = m + -83/1284. Which is bigger: v or 1?
1
Suppose -10*f - 25 = -d - 14*f, -21 = -3*d - 3*f. Which is smaller: 123/77 or d?
d
Let r = 70 + -77. Let b = -6 + r. Let f = -18 + 2. Is f less than or equal to b?
True
Let b = 113 - 112. Let j be (187/(-22) + b)/(0 + 12). Which is bigger: j or -0.2?
-0.2
Let g be (10/9)/((-2)/6). Let c = -909 + 901. Let h be 36/c + (27 - 22). Is h smaller than g?
False
Let r be 2/7086*-3*(15/12)/5. Is r bigger than 0?
False
Suppose 3*f = 0, -4*t + 3*f + 0*f - 72 = 0. Let z(l) = -l**3 - 19*l**2 - 17*l + 21. Let p be z(t). Suppose 0 = p*m - 7*m - 156. Is -40 smaller than m?
True
Let z = 3753 - 161381/43. Which is greater: z or 51?
51
Let o be (3/24)/((-4)/(-2416)). Let d = -421/4 + o. Does -30 = d?
False
Suppose -22*u - 25 + 399 = 0. Suppose -13 = -2*i - u. Which is smaller: -1/10 or i?
i
Let p = -3712 + 55637/15. Which is greater: p or -3?
p
Suppose 2*v + 3*m - 14 = 5*m, 7 = -3*v - 4*m. Suppose 0 - 11 = -5*y + v*j, -5*y = -4*j - 8. Suppose 0*x + 19 = 4*x + 3*b, -5*b - 43 = -y*x. Is x bigger than 8?
False
Let m(n) = 148*n - 85. Let j be m(3). Which is smaller: j or 357?
357
Let y(b) = 6*b - 97. Let d(k) = k**3 + 19*k**2 - 23*k - 53. Let c be d(-20). Let h be y(c). Let f = -32 + -22. Are h and f non-equal?
True
Let g = 18 + -17. Let a be (-60)/(-18)*6/(-46). Is a greater than g?
False
Let q be 2/8 - (-22)/8. Suppose q*c + 23 + 30 = 4*f, 3*f = -12. Suppose 2*h + 74 = 5*k, -166*k + 169*k - 18 = 0. Which is smaller: c or h?
c
Let f(k) = -k - 3. Let z be f(-6). Let o be (-12)/(-18) + 76/z. Let v = o + -25. Which is bigger: -3 or v?
v
Let v(s) = -s**2 + 38*s + 55. Let p be v(37). Suppose -31*j = -1 - p. Do 13/8 and j have different values?
True
Suppose 4340 = 82*a - 14356. Are a and 229 non-equal?
True
Let v = -77.39 + 0.39. Let j = v - -77.05. Is -8 smaller than j?
True
Let i = 0.81 - 0.06. Let z = -114 - -114.35. Let q = z - i. Is -0.05 < q?
False
Let s = 39531/43472 - 1/3952. Which is greater: s or 0.016?
s
Suppose 52*x + 4 = -10 + 14. Is x < 1/1715?
True
Let j = 28 - 50. Let b = j - 35.91. Let d = b - -58. Do 0.1 and d have different values?
True
Let l be 3*40/(-90)*(-6)/(-8). Which is greater: l or 3/698?
3/698
Let y = -42 + 115. Suppose 5*z - y = 112. Let g = z - 36. Is g greater than 10/7?
False
Let k = 132 + -101. Let w = k + -32. Let y(u) = -u**2 + 5*u + 2. Let d be y(5). Do w and d have different values?
True
Let s(h) = -3*h**3 + 98*h**2 + 18*h + 491. Let w be s(33). Suppose 5*z + 5*o - 43 = z, 3*z - 32 = -4*o. Which is bigger: z or w?
z
Suppose r = -2*q - 85, 0 = q + 3*r - 110 + 135. Is q < 26?
True
Let j(a) = 5*a**2 - 39*a + 33. Let g be j(7). Let q = -2/677 + 16933/2708. Which is smaller: g or q?
g
Let l = 4444 + -4521. Which is smaller: l or 1?
l
Let r(f) = -f**2 - 13*f - 2. Let c be r(0). Let a be (0 - 4/34)*(3 - -13). Which is smaller: c or a?
c
Let d = -836/2091 - -18/41. Let o be ((-35)/(-15) + 0 + -3)*-3. Suppose -4*k - v = 6, 14 = -4*k - o*v + 6. Which is greater: d or k?
d
Let u(r) = -r**3 - 5*r**2 - 7*r + 3. Let k be u(-2). Let n be k/(-36) - (-5)/(-45). Is n at least as big as 1?
False
Let p(l) = -2*l**3 - 8*l**2 - 7. Let y be p(-4). Let o be -1*15/(2 + 3). Is y > o?
False
Let h be (6/3)/18 + 6170/(-45). Let z = -181 - h. Which is bigger: 0 or z?
0
Suppose -3*r = 9*o - 4*o + 286, 5*o = 5. Let c = r - -89. Which is bigger: c or -3?
-3
Let v = -56 - -71. Let c be (v/54)/((-6)/16). Let k = 514/621 + c. Is k <= -1?
False
Suppose 0 = -3*g - 4*f - 332 - 100, 576 = -4*g - 3*f. Are g and -1 non-equal?
True
Let c = 2588.1 + -1921.4. Is c greater than -2?
True
Let s = -13.2 + 14. Let o = s + 6. Is o at most as big as 0.1?
False
Let z(q) = -q + 26. Let c be z(-4). Let i be 3*(-6)/135 - 236/c. Which is smaller: i or -9?
-9
Let u = 50 + -20. Suppose 7*j = 2*j - u. Suppose m + 3*x - 5 = 0, 3*x = 3*m - 0*x + 21. Which is smaller: m or j?
j
Let x = 7.2293 + -0.2293. Are 0.067 and x nonequal?
True
Suppose 11*x = 6*x - 65. Let u = -108 - -125. Let n(h) = -4*h + 55. Let k be n(u). Are x and k equal?
True
Let w = -6961 - -6961.1. Is w greater than or equal to 1503?
False
Let y = -77.817 + -1.183. Which is greater: -1.4 or y?
-1.4
Suppose 4*t = 3*w + 10, t = -3*w - 5 + 15. Suppose 