
Let g(n) = n**3 - 14*n**2 - 16*n + 17. Let b be g(15). Let d = -30 - -86/3. Which is greater: b or d?
b
Let o be (-2120758)/(-870) + 30/(-45). Let w = o - 2437. Is w <= -1?
False
Let n = 216/31 + -6326/899. Is -27/8 at least n?
False
Let a = -447 + 448. Is a smaller than 2/255?
False
Let j = 37.68 - 0.68. Let l = 37 - j. Is l less than 0?
False
Let y be 4 + 108/(-18) + (-928)/(-462). Is -2 > y?
False
Let c = -34 - -21. Let d = 7 - 0. Let j = c + d. Is j bigger than -0.2?
False
Suppose -3*k + 192 = -7*k. Let f be 112/6*4/k. Let u = f + 89/63. Does u = 1?
False
Suppose 0 = 3*p - 4*g - 3, 4*g = 4*p + 5*g - 4. Which is smaller: -3/56 or p?
-3/56
Let g(s) = -28*s**3 - 4*s - 5. Let u be g(-1). Let h = -14 - u. Which is smaller: -42 or h?
-42
Let m = -1620 + 1589. Which is greater: m or -45?
m
Suppose -45 = -7*i + 6*i. Suppose 0 = -2*t + 39 - i. Which is smaller: t or -7/4?
t
Let j be (-14)/(4/5 + -1). Let k = -21739/3 - -7177. Let s = k + j. Which is greater: s or 2?
2
Suppose -2*v - 2*q + 5 = -3, -4*v - q = -4. Suppose v = 4*o - 5*s - 76, s - 18 = -o + 2*s. Let k = o + -5. Is k >= 0?
True
Let m be (-66)/(-5) + (-2)/10. Let v = -1/2 + 3/4. Is m at least v?
True
Suppose 3 = l + o, 4*o = 5*l - 16 - 8. Let s be -2 - (0 - 3 - l). Let u = -20 + s. Is -14 smaller than u?
False
Suppose 11*l = 2*l + 495. Let w = l - 56. Which is greater: -4 or w?
w
Let c = 3 + -3. Let o be (-1 + -1)*26/4. Let x be o/26 - 14/4. Are x and c unequal?
True
Suppose -3*x + 2*x + 6 = 0. Let p be (-189)/(-294)*(-2)/x. Which is bigger: 0 or p?
0
Suppose 0 = -5*t + 272 + 73. Let b = t + -79. Which is greater: -37/4 or b?
-37/4
Let s = -364/513 + 22/27. Is 1 less than s?
False
Let v = -163 - -163. Is 2/2559 < v?
False
Let s be 26/182 + (-286)/1708. Do -1 and s have different values?
True
Let b(h) = h**2 - 5*h + 6. Let q be b(4). Let l be (3/3*q)/(-2). Let o = 127 - 382/3. Is l at least o?
False
Let i = 3344265551/345 + -9693501. Let f = i - 1/345. Let b = -883/39 + f. Which is smaller: b or 1?
b
Suppose 6*z + 20 = 2*z. Suppose -2*f - 21 = 3*c, 3*f = 6*c - 2*c + 28. Which is smaller: c or z?
c
Let a(w) = -3*w**2 - 6*w + 11. Let t be a(3). Suppose -u - 70 = u. Is u >= t?
False
Let d be ((-8)/(-10))/(5/25*-2). Suppose -4*y + 1 = -3*y. Is y bigger than d?
True
Let v be (-1 - (2 - 2))/(29/(-609)). Is 67/3 at most v?
False
Let l = -23 - -23. Suppose -5*z + i = 3*i + 147, -4*z + 5*i - 144 = l. Does -31 = z?
True
Suppose 46*w = 45*w + 30. Is 10 < w?
True
Let g = 7 + -10. Let y = -0.374 - -0.334. Is g equal to y?
False
Let o = 2 - 2. Let h = 58.93 + -58.33. Is o <= h?
True
Let l = -1236.95 + 1237. Which is bigger: 0.01 or l?
l
Suppose 3*v = 2*j + 20, 4*v - j - 5 - 15 = 0. Let o be (v - 1)*(-1)/(-3). Let k = 386/261 + -30/29. Is k equal to o?
False
Let s be (-8)/(-10)*(-5)/(-1). Suppose -o = 3*o + s*q - 24, -5*o + 4*q = 15. Is 3/22 > o?
False
Let q = 73/14 - 2875/546. Let r = -0.11 + 4.11. Which is greater: r or q?
r
Let b be (2/(-6))/(2/6). Let w be (-1)/3*b + (-20)/15. Is 0.1 bigger than w?
True
Let n = 45 - 13. Suppose -10 = 37*h - n*h. Is h <= -2?
True
Suppose 0 = 3*x + 446 - 122. Let q = x + 110. Which is bigger: -20 or q?
q
Let i = 9 - 23. Let h(u) = 5*u + 59. Let n be h(i). Which is smaller: n or -10?
n
Suppose 2 = -4*v + 2*i, -3*v + i + 20 = -8*v. Let j = 13934/7 - 1994. Is v less than or equal to j?
False
Let h = 7.69 + -8.1. Let k = -0.41 - h. Is -1 equal to k?
False
Let d(n) = n**2 + 4*n + 9. Let r be d(-4). Suppose r = -p + 2*p + 2*s, 0 = -4*p - s + 8. Let o be 6/p + -3 - 24. Are o and -21 equal?
True
Let c(k) = -2*k**3 + 10*k**2 + 2*k - 4. Let h be c(5). Let z = -3 - -1. Let s be (-2)/(h - (1 - z)). Is s at least as big as -1?
True
Let x = -1/18992 - -38739/14338960. Which is greater: x or 1?
1
Let m = -26.5 - -26.58. Do 0.04 and m have different values?
True
Suppose 4*l - 2 = 14. Let v be (l + -3 + -1)*1. Which is bigger: -2 or v?
v
Let u = 706 + -2899/4. Let x = u + 19. Is -1 bigger than x?
False
Let s = 873 + -224360/257. Which is bigger: s or 1?
1
Let q be -7*(2 - (-186)/(-14)). Which is smaller: q or 78?
78
Let w be 62/8 - (-2)/8. Suppose 254*c = 248*c + 24, 4*i = 4*c + 12. Which is smaller: i or w?
i
Let r = -21/1574 + 322329/3935. Let f = r - 82. Suppose 0 = h - 2*h. Do h and f have different values?
True
Let l(r) = -r**2 - 7*r - 6. Let u be l(-6). Let h be 0*-2*6/(-24). Are u and h unequal?
False
Let g(f) = f**3 + 7*f**2 - 8*f - 5. Let x be g(-8). Let s be (-5)/(x/(-2)) + -1. Suppose 99*r + 3*l = 96*r - 6, -10 = -5*l. Which is bigger: r or s?
s
Let n = -122.9 + 122.89. Let v = -22 + 21.89. Let t = n - v. Which is smaller: t or -3/4?
-3/4
Let i = 12 + -21. Let x be -4*(5/(-4) + 1). Which is smaller: x or i?
i
Let n = -494 - -478. Let k = 0 + -1. Is n < k?
True
Let u = -15.3 - -14.8. Are u and -1/53 equal?
False
Let b = -5 + 14. Let u be 210/55 - (-4)/22. Let w = u - b. Is -5 greater than w?
False
Suppose x = -5*u + 72, -29*u = -x - 25*u + 36. Let z(f) = 3*f**2 - 2*f - 3. Let d be z(-4). Are x and d non-equal?
True
Let a = 17 + -7. Suppose -t - 3 = 3*b - 5, -3*b + 5*t = a. Let f = b - -2. Is 3 bigger than f?
True
Let k be (6 - 0) + -8 + 4. Let z be (-2)/(-10) - 2/10. Suppose z - 1 = -n. Is n bigger than k?
False
Let r = -12 - 111. Which is bigger: -124 or r?
r
Let b(v) = v - 3. Let s be b(8). Suppose s*i - 9 = 11. Let q = -1 + 6. Which is smaller: i or q?
i
Let m = -9 + 8.9. Let t = -0.92 - -1. Let o = -3.08 + t. Is o at least as big as m?
False
Suppose 2*d + 5*t - 103 - 24 = 0, -2*d + 109 = -t. Let k be d - ((-3)/1 + 2). Suppose 6*n + 3 - k = 0. Which is greater: 10 or n?
10
Let f = 34.02 + -26.1. Let k = -7.9 + f. Which is greater: k or 2?
2
Suppose 8 - 9 = -v. Let s be (-2)/4*-2 - 181. Let x be -3*v + s/(-48). Which is smaller: -1 or x?
-1
Let g be (-1 - (-7)/2)*(-198)/(-605). Which is smaller: 2 or g?
g
Let k be 1/(-2) + (-17)/34. Is -17/13 at most k?
True
Let i = -373 - -372. Which is smaller: 2/307 or i?
i
Let d be -5*(4/(-2) - -1). Let i = -0.4674 - -0.3674. Does i = d?
False
Let d(c) = 8*c**3 - 2*c + 1. Let s be d(1). Let f be (5 - 1)/(-5 + 55/10). Which is bigger: s or f?
f
Let q = 7875 + -63087/8. Are q and -11 non-equal?
True
Let q be (1 - -2) + -2 + 1 - -7. Suppose 48 = -q*x + x. Which is smaller: -8 or x?
-8
Let d be (4 - 54/12)*1/(-9). Which is smaller: 0.04 or d?
0.04
Let q = -3557 + 35619/10. Is 4 != q?
True
Let j be 8/6*(-57)/(-38)*-14. Which is smaller: j or -33?
-33
Suppose 5*j - 17 = -3*a, 5*a + 9 = -2*j + 3*j. Let c = 38203721/170 + -224726. Let n = 9/5 - c. Are a and n unequal?
True
Let r be 2/(8/(-28)) - 2. Let x be (r/(-4))/((-7)/28). Which is smaller: -2 or x?
x
Let i = -585 + 481. Which is smaller: i or -103?
i
Let a be (-520)/(-12)*24/20. Suppose -23 = -5*m + a. Suppose -2*l + 2*n = -44, 3*n = 2*l - 0*n - 49. Is l != m?
True
Let d be ((-7)/(210/(-20)))/(2/39). Let t be 4/6*1*-3. Let n be -21*(-1)/(-3)*t. Are n and d non-equal?
True
Let t = -683 + 31421/46. Which is bigger: 1 or t?
1
Let m(g) = -g + 5. Suppose y + 9 = 5*h, -y = 5*h + 1 - 2. Suppose v = 5 - h. Let q be m(v). Which is smaller: q or 1/6?
1/6
Let q be 6/15 - (-3 - (-9574)/2810). Which is smaller: 0 or q?
q
Let m be (96/(-4))/(-4)*4/6. Suppose -31 = m*b + 17. Do b and -2 have the same value?
False
Let g(d) = 8*d - 6. Let t be g(1). Suppose 3*q - 37 = -4*n - 0*n, -4*n = t*q - 26. Is q <= 7?
False
Suppose u - o + 16 = o, 0 = -5*u - 2*o - 80. Let c = -11 - u. Suppose c*q + 35 = 45. Which is smaller: -2 or q?
-2
Let x = -3 + 23. Suppose 0 = 23*r - x*r + 3. Let s(d) = d - 7. Let v be s(5). Does v = r?
False
Suppose -29*x - 8 = 21. Let c = -312/7 - -9700/217. Is c at least x?
True
Let j be 1*(-2 - (-10)/4). Let i = -1/53 - -169/530. Is i bigger than j?
False
Let u be (6/8 - 102/(-24)) + -3. Suppose 2*q + 2*d + 40 = -u*q, -4*q + 3*d = 60. Which is smaller: -78/7 or q?
q
Let n = 3106 + -2183517/703. Are n and -1 non-equal?
True
Let x = -4 - -5. Let u = 1.7 + -0.6. Let v = u - x. Is 1 > v?
True
Let s = 237 - 237.9. Which is greater: s or 2/15?
2/15
Let p = -950 - -948. Is p not equal to -43.4?
True
Let y = -5478705 - -65785241/12. Let c = y - 3403. Let q = 17/4 + c. Is q at most 9?
True
Let w = -22 - 6. Let h be (-1 - w/8)*2. Suppose -16 = -h*y + 54. Is 2/7 at most as big as y?
True
Let d be