1 + 8/9). Let w be g*(21/18)/(-1)*n. Is -7 not equal to w?
False
Suppose 4*p - 26 = -6. Suppose 4*r - 27 = -p*r. Suppose 5 = -k + 2*k - 5*o, r*o = -k - 3. Is k less than or equal to 8/21?
True
Let y be (4/(-16)*0)/(-2 - -4). Let i be (y - 19)*4/(-8)*-2. Is i equal to -19?
True
Let j(v) = -3*v**2 - 65*v + 16. Let h be j(-22). Let w be (-3 + 150/70)/(h/28). Is w > 3?
True
Let c = -432 - -436. Let h = 3.94 - c. Is h bigger than 9?
False
Let g be 2/3 + (-64)/51. Which is smaller: g or -2/49?
g
Let u = -909/95 + 46/5. Let k be 2/(3 - 21/9). Suppose k*p = p. Which is smaller: u or p?
u
Let k = 1176 + -1153.61. Let t = k - 9.39. Which is bigger: t or 38?
38
Let a = 30 + -30. Let w = 3.1 - -11.9. Let i = w - 14.7. Is i <= a?
False
Let t(c) = -3*c - 1. Let i be t(-3). Suppose i - 16 = 2*r. Let z be r*(-9)/84*-3*1. Is z <= -2?
False
Let v = -0.17595 + 12.17595. Are v and 3.3 equal?
False
Suppose 6176 = -24*k - 4552. Is k at least -447?
True
Let x = 243 - 348.4. Let m = x + 118. Which is greater: 1/3 or m?
m
Let c be ((-20)/6)/(5/15). Let u be 5/(-5)*(-4)/4. Suppose 2*m + 12 = -x - u, 5*m - x = -43. Which is bigger: m or c?
m
Suppose -485*r - 404127 = 3036932 + 704721. Do -8548 and r have the same value?
True
Suppose 0 = -2*f, 6*s - f + 1 = 3*s - 8. Is 0.5 less than s?
False
Suppose 3*n = -2*d + 743, 2*n = 4*n - 2*d - 482. Suppose 0 = -4*h - 11 - n. Let j(i) = -64*i**3 + i**2 - 1. Let m be j(1). Is m at least h?
True
Let f = 21.7 - 122.7. Let l = 6933.1 - 6933. Which is smaller: l or f?
f
Let r = -6 - -4. Suppose -2980*l - 80 = -3000*l. Let f = r + l. Which is smaller: f or 9/5?
9/5
Let h be (((-121)/33)/(-11))/((-1)/(-27)). Let q be (3/h)/((-2121)/18). Which is greater: q or 0?
0
Let c(q) = 18*q + 91. Let t be c(1). Is -3 at least t?
False
Let q = 1416 - 1416.02. Let g = -0.05 + -1.95. Let z = -1.9 - g. Which is smaller: z or q?
q
Let t = -0.7763 + 0.6763. Let b = 256 + -457. Does b = t?
False
Let z be (-70)/30 - 14/(-6). Let g = -3757/217998 + 7/594. Let r = g - 241/23121. Is r at most as big as z?
True
Let k = -195.825 + -0.175. Let w = k - -196.08. Which is greater: 6 or w?
6
Let l = 44143/3 + -14694. Let v be (1 - -1) + 2 + 15. Is v less than l?
True
Let s = 5379 + -5403. Which is greater: -13 or s?
-13
Let t be (-4)/((-88)/(-3578)) + (44 - 45). Are -165 and t nonequal?
True
Let k = 0.01984 - -0.23016. Which is smaller: k or 1/127?
1/127
Let c(w) = -w**3 - 7*w**2 - 6*w. Let o be c(-6). Suppose -3*s - 180 = -0*s. Let n be (10/s)/(5/(-2)). Which is smaller: o or n?
o
Let c = -20 + 19. Let k be 0 - (-3748)/(-240) - (-4)/6. Let a = k + 15. Do a and c have the same value?
False
Let f = 864 - -1886. Let g be f/(-23452) - 4/(-78)*3. Which is greater: 0 or g?
g
Let o be -1 + (-1 - -4) + -40. Let z = o + 41. Suppose 0 = 2*p - 15 + z. Is 4 smaller than p?
True
Let j be 94/(-470) + 1/(240/46). Is j at most as big as 27/7?
True
Suppose 111 = 3*v + 48. Let s be (14/v)/(10/195). Is -12 != s?
True
Suppose -28*c - 168243 = 77290 - 8737. Which is greater: c or -1?
-1
Let x(q) = q**2 - 5*q + 1. Suppose 397 = -8*z + 141. Let u = z - -38. Let d be x(u). Is d at most 1?
False
Let v = -1800 + 5354/3. Do -14 and v have the same value?
False
Let y = -3201 + 3187. Let w be ((-3)/2)/((-12)/(-112)). Is w smaller than y?
False
Let y = -1931 - -1931.1. Let u(s) = 33*s + 6. Let f be u(-11). Let x = -733/2 - f. Are x and y nonequal?
True
Let r be ((7/(-2))/(-7))/(1 - 9383/9372). Is -425 at least r?
True
Let y = 53.2 - 56. Let d = -0.06684 - 5.93316. Is d >= y?
False
Let f(g) = g**3 + 7*g**2 + 8*g - 9. Let r be f(-5). Let p be r*-115 - ((-10)/5)/2. Which is greater: -112 or p?
-112
Suppose 182 = -a - g, 4*g - 495 + 515 = 0. Suppose 3*s - 7*s = -m + 712, -4*m = -3*s - 534. Do s and a have different values?
True
Let t be -1*160064/28 + (-48)/112. Which is bigger: t or -5718?
t
Suppose 0 = 4*m - 24 + 4. Let s be 15/m - 3/(3/(-37)). Let b = s - 41. Do b and 3/8 have different values?
True
Let n be (-26)/416*-39*(-8)/(-636). Is -1 at most as big as n?
True
Let m = 1322.9 + -1322.8568. Is -8 smaller than m?
True
Let y be (-5 + -1 - -5)/((-2)/8). Let f be (2 + (-5)/y)*(-30)/18. Which is smaller: 0.25 or f?
f
Suppose -5*d + d + 3*z + 3855 = 0, 2*z = 3*d - 2890. Suppose -d = -5*s - 5*s. Which is smaller: s or 1?
1
Suppose -x + 40 - 8 = -a, 5*a + 2*x + 160 = 0. Suppose 33*h = -267 - 822. Are a and h non-equal?
True
Let q = -215344/294059 + 2134897252681/214957129. Let w = 9931 - q. Is 0 <= w?
False
Let u = 64726 - 44785. Let p be (-2057)/u - 4/(-34). Which is smaller: p or 0?
0
Let i = 240442.909 + -240555. Let f = i - -112. Are 2 and f equal?
False
Let p = -59.2 + 25.4. Let n = p - -30.8. Is -46 greater than or equal to n?
False
Let t be 24/(-168) - 64/(-56). Is t less than -20/571?
False
Let l = 9446993/527 - 17926. Is l greater than 1?
False
Let n = 53 + -21. Let s be (-101)/(-3) - n/(-24). Let p be 1/((-18)/(-4)) - s/(-45). Which is greater: -1/39 or p?
p
Let c be (545 + -3 - -2)/((-55)/22). Is -217 less than c?
False
Let z be 0*2/14*1/(-6)*-3. Is z <= -1/23898?
False
Let f = -570 + 538. Let b be (-142)/70 + (-30 - f). Which is smaller: 0 or b?
b
Let i = 1315 + -1319. Let h = -0.0353 - -5.9653. Let b = h - -0.07. Which is smaller: i or b?
i
Suppose 0 = f + 3*v - 17, 2*f + 3*v = -23 + 57. Let x(j) = j - 48. Let t be x(f). Is t less than -33?
False
Let n = -1/4459 + -111343/588588. Which is smaller: n or -1?
-1
Suppose 8*b = 9*b + 6*s - 32, -4*s - 48 = -2*b. Suppose 0 = -y - 0*y + 28. Do b and y have the same value?
False
Let p = -230.61 + 227. Let b = -3.54 - p. Is b < -5?
False
Let g(b) = -b**3 - 16*b**2 + b + 30. Let a be g(-16). Suppose a*t + 30 = 15*t. Which is smaller: 2/11 or t?
2/11
Let a = 0.23 - 0.218. Let t = -24.988 - a. Let k = 32 + t. Are k and -0.3 equal?
False
Let n = 660719 - 660723. Let s = 43.039 + -0.039. Are n and s unequal?
True
Suppose -5*v - 33 = -4*c, 2*v = c + 1 - 13. Suppose 0 = 17*j + c*j - 1368. Suppose -j + 67 = -a. Which is bigger: 9 or a?
9
Suppose -84*r + 161 = -245*r. Which is smaller: -2/115 or r?
r
Let a be (-150)/40 + 1/2. Let f = -15/4 - a. Suppose -v = -3*p + 17, 6*p - 3*p - 2*v = 19. Which is bigger: p or f?
p
Let p = 1713 - 1714. Which is smaller: -5/1019 or p?
p
Let z = 14 - 38. Let b = -1.6 - 21.4. Let t = z - b. Which is smaller: 0.12 or t?
t
Let s = 169.6 - 169.3. Let l = 7 - 12. Let p = -5.1 - l. Are s and p non-equal?
True
Let x be (-33)/44*40/(-125175). Which is smaller: -1 or x?
-1
Let j = 12 + -12. Suppose -4*l + l + 21 = -2*s, 2*l - s - 14 = j. Suppose l*r - 6 = 1. Is r at least as big as 4/9?
True
Let d = -0.46 - -93.46. Let v = 93.1 - d. Which is smaller: v or -200?
-200
Let r be (-10)/45 + 800/(-126). Let x = -32779/3990 + -13/570. Let i = x - r. Is i smaller than -2?
False
Let x = -6.3 + 3.1. Let u = 349.9 - 353. Let q = u - x. Which is bigger: -26 or q?
q
Let o be (-1)/(7/35) - -15. Let s be (-11 + o)/((-1)/15). Which is smaller: 23 or s?
s
Let u be ((-63)/(-14))/((-6)/(-40)). Let g = -36 + 65. Is u equal to g?
False
Let w = 6507/5 - 1295. Let c = 469/46 - 715/69. Is c at least as big as w?
False
Let h(o) = -o**2 - 184*o - 4804. Let k be h(-158). Is k smaller than -693?
True
Let i = -79 + 71. Let x = i - -8. Let p be (16 - 16)/(x - -2). Which is smaller: -14 or p?
-14
Let g(n) = -n**3 + 14*n**2 - 9*n + 63. Let k be g(14). Let w = k - -20. Which is greater: -171/4 or w?
-171/4
Let m be -2*(9/2 + -4)/(-1). Let r be (-2)/((-3)/2*568/(-24)). Which is bigger: m or r?
m
Suppose 9*y = 7*y - 30*y - 56960. Which is smaller: y or -3?
y
Suppose -3*f - 2*c + 376 - 670 = 0, f = 2*c - 90. Are -200 and f unequal?
True
Let q = 5529.8 - 5530. Is 0.05701 greater than or equal to q?
True
Let s(q) = 54*q - 919. Let y be s(-17). Are y and -7353/4 equal?
False
Let r = -2823 - -2973. Which is bigger: 145 or r?
r
Suppose -5*u + v = -39, 2*u - v + 7 - 25 = 0. Suppose -u*q + 16*q = 9. Which is smaller: q or 1/371?
1/371
Let x = 9029.03 - 9029. Which is smaller: x or -3/274?
-3/274
Suppose 2*k - 6 = 42. Suppose 0 = -w - k + 7. Let l be 69/(-4) - ((-1062)/(-72) - 15). Is w > l?
False
Let g be (-42)/(-15) - (-16)/(-20). Let p be (g/2 - 1)/1. Let i be (4 + 22/(-4))/(-6). Is p greater than or equal to i?
False
Let d = -80941 - -489523/6. Let l = d - 645. Whic