4*w - 59 + 7 = 0. Suppose -z = 3*i + 2*z - 9, 4*i = z - w. Let t(o) = -o**2 + 7*o - 7. Let m be t(6). Which is bigger: m or i?
m
Suppose -a = -3, -8*n + 2*a = -13*n + 6. Let q = 296/2607 + 3/79. Is n < q?
True
Let y = 2.7795 + 0.2205. Are 6 and y nonequal?
True
Let k = 135/2 - 70. Which is bigger: -0.15 or k?
-0.15
Let b be (-3 - (-5 - 0))/((-2)/(-6)). Let j = 23/4 - b. Which is greater: 7 or j?
7
Let u = 0.1 - 1.1. Let x = -134 + 128.3. Let r = x - -12.7. Which is smaller: r or u?
u
Suppose 0 = h + 1, -19*s + 14*s + 4*h + 494 = 0. Which is bigger: s or 96?
s
Let l = 101 - 110. Is l smaller than -7?
True
Let g = 4.11 - 0.11. Let k = 15.95 - 13.95. Are g and k equal?
False
Let t = -13/411 - -1769/47265. Which is bigger: t or 0?
t
Let g(z) = 17*z**2 + 22*z - 10. Let x be g(-7). Is 670 < x?
False
Let z be (3/2)/((-138)/(-56)). Suppose -550*f - 20 = 2*m - 545*f, -m - 12 = 3*f. Which is greater: z or m?
z
Let s be (-16)/(560/21)*(-5)/3. Is s >= -3/455?
True
Let o = 581 - 580.89. Let z(q) = q - 2. Let a be z(2). Which is smaller: a or o?
a
Suppose 5*c = 10 - 45. Let h(v) = v**2 - 7*v. Let n be h(7). Let r be (n - -1)*c/14. Is -2 at least r?
False
Let c be 13/(-5)*(9 + -4). Let x = c + 27/2. Which is smaller: 11 or x?
x
Suppose k = 4*k + 30. Let j be 93/15 - (-2)/k. Let l be (j/(-10))/(5/25). Is l at least -3?
True
Suppose -j + 20 = -p, -3*j - p + 56 = -0*p. Suppose 5*a = 124 - j. Let i be 1/a + 6/(-18). Is i smaller than 1?
True
Suppose 3*k - 2*k = 24. Suppose w = 3*z - 65, -24 - 46 = -4*z - 2*w. Which is bigger: k or z?
k
Let u(c) = -28*c - 3. Let r be u(-4). Let s = -17/264 - -28441/264. Let m = r - s. Which is smaller: m or 0?
0
Let c(j) = j + 3. Let b be c(0). Suppose 2*l = -b*l + k - 25, 0 = -5*k. Let v = l - -4. Are v and -6/11 equal?
False
Let i = -21 + 17. Let a be i - (-48)/15 - -1. Let l = -35 - -35. Which is greater: l or a?
a
Let g = 14/117 - -2048/63063. Let u = g - 3/49. Which is bigger: u or 1?
1
Let x = 0.2317 - 0.0317. Are x and 14/17 nonequal?
True
Let o = 26 + -11. Suppose -o = -3*i - 9. Which is smaller: i or 0?
0
Let x be 2/(6/129) + 0/(-4). Let d = 43 - x. Which is smaller: d or 3?
d
Suppose 4*g + 2*w + 16 = 0, 5*g + 2*w + 6 = 3*w. Let s = 63.3 - 56. Let x = s + -0.3. Which is bigger: g or x?
x
Suppose 10*y - 8*y = 4. Let j be 14/(-273)*(5 - y). Is j at most -0.5?
False
Suppose 5*v - 1 = 14. Let h be (-4)/8*(v - 5). Let f = -8/65 + 361/2405. Which is greater: f or h?
h
Let c(b) = -b**3 - b - 1. Let d(i) = -3*i**3 - 6*i**2 - 7*i - 14. Let q(n) = 4*c(n) - d(n). Let m be q(7). Let z = m - 0. Is -18 >= z?
True
Let q(k) = -4*k**3 - 9*k**2 - 5*k - 1. Let m(n) = -5*n**3 - 9*n**2 - 6*n - 2. Let f(o) = -5*m(o) + 6*q(o). Let r be f(9). Which is smaller: r or 30/11?
30/11
Let y = 7.4 - 7.87. Let o = 2971.8 + -2972. Which is smaller: y or o?
y
Let u be ((-3)/(-5))/(29/145). Are u and 2 unequal?
True
Suppose 0 = -w + 44*p - 48*p - 2, w + 2 = -3*p. Which is smaller: -9 or w?
-9
Let m be (3/15 - 0)*(3 + -5). Let k be (46/(-8))/(1/4). Which is smaller: m or k?
k
Let u = 142 + -1989/14. Is u > -17?
True
Let a = -38/11 + 842/231. Let p = 4422 + -4424. Is p != a?
True
Suppose -4*l - c = 209, 5*c + 81 = 3*l + 232. Let q = l - -105/2. Which is smaller: 10 or q?
q
Let f = -0.47 + -1.53. Is -30/19 != f?
True
Let o = -85 - -17. Let g = -96 - o. Which is smaller: g or -30?
-30
Suppose -4 = 4*f - 12. Suppose 5*w = 4*u - 8, 5*u + 3*w - 20 = 27. Suppose 0 = 3*h + u - 16. Which is greater: f or h?
h
Suppose 42 = -2*t - t. Is -8 smaller than t?
False
Let h(v) = -v**3 - 81*v**2 - 311*v - 238. Let i be h(-77). Is -38 > i?
False
Let y = 25 + -24. Let u = -24 + 5. Which is smaller: y or u?
u
Let b be (15/(-9))/(185/222). Which is greater: -35/12 or b?
b
Let h = -710 + 44731/63. Are h and 3 non-equal?
True
Let i be (-502)/4*(-4)/83*41. Let d = -248 + i. Which is greater: d or -1?
d
Let t = -20 + 20. Suppose -3*w = 6 + 15. Let v = w + 8. Are t and v equal?
False
Suppose 0 = 31*u + 159 - 1275. Which is smaller: 33 or u?
33
Suppose 0 = d + 19 - 7. Suppose -3*b = -8*b - 45. Let x = b - d. Is x bigger than 4?
False
Suppose -5*z - 2*b - 117 = 0, -141 = 5*z + 30*b - 34*b. Are -118/5 and z equal?
False
Let o = -14 - -29. Suppose -11*r = -6*r + o. Is r at least as big as -2?
False
Suppose -9*v = 416 - 11. Which is smaller: v or -42?
v
Suppose 34*h = 41*h + 14. Which is greater: -73 or h?
h
Let k = 795 - 1547/2. Is k >= 22?
False
Let o be (8344/1664 + -5)*(1 - -11). Are o and 0 non-equal?
True
Let l = -82 + 191. Which is greater: -3 or l?
l
Let d = -3.368 - -0.368. Let v be (1/4)/(2/(-446)). Let k = -56 - v. Is k smaller than d?
False
Let c = 66 + -65. Suppose s = -2 - c, -3*j - 2*s = -3. Is j bigger than 1/5?
True
Suppose -129*i - 1003 = -146*i. Is i > 59?
False
Let a(f) = -9*f**2 - 1. Let b be a(1). Let q = b - -35. Suppose 5*i + 25 = 5*h, -h = -0*h + 3*i - q. Is 12 less than h?
False
Suppose -3*n + 6 + 4 = i, n = -i + 10. Let z(b) = -b**3 + 2*b**2 + 4*b. Let v be z(-2). Is v at most as big as i?
True
Let d be (10/(-90))/(2/(-1434)). Is d < 79?
False
Let k be (3 + 1)/(3 - 1). Let b be 4/(-18) - 186/135. Let j = -36/35 - b. Is k <= j?
False
Let u = -0.308 - 320.692. Are u and -1 non-equal?
True
Let r(n) = -n**3 - 2*n**2 + 4*n - 5. Let m be r(-4). Suppose 2*l + m = j, 2*j + 0*l = l + 13. Suppose -37 = j*i - 7. Is -1/2 at most as big as i?
False
Let a be 0 + (5/28)/((-189)/396). Let g = a - -2/49. Let k be 1/2 - (-1)/(-2). Which is smaller: g or k?
g
Let a be ((-18)/(-8))/(6/64). Suppose -5*y = -k + a, 3*y = 5*k - 13 + 3. Let t be (-6)/7 + k/(-1). Is t <= -1?
False
Let v = -38 - -37.96. Let x = v - 0.04. Which is bigger: 2/5 or x?
2/5
Let m = 0.53 - 0.53. Let x(k) = k**3 + 12*k**2 + 8. Let s be x(-12). Let h be s/20*10/(-34). Is m at least as big as h?
True
Let p = 31.13 + -31. Let m = p + -17.13. Let l = m + 16.96. Which is greater: l or 2/3?
2/3
Suppose -3*v + 0*v - 3*a + 63 = 0, 98 = 5*v - 2*a. Let o be -4 - ((-825)/v)/11. Is 2/17 != o?
True
Let h = 459 - 452. Which is smaller: h or 13/2?
13/2
Let q(d) = -d**2 - 27*d + 6. Let p be q(-28). Which is smaller: p or -23?
-23
Let l be (-2)/7 + 452/14. Let t = -4489 + 4521. Is t less than or equal to l?
True
Let u be (2/(-4))/(7/(-28)). Let a be 0/(u - 12/4). Is a >= 1/5?
False
Let p be 4*((-14)/(-4) - 3). Let l(w) = -w**3 + w**2 + w + 1. Let c be l(p). Is c < -2?
False
Let z = -11 - -13. Suppose 42 = z*r - 4*r. Is -22 > r?
False
Let w = -250/9 + -49/18. Let x = w - -7011/230. Is x != 0?
True
Let m(p) = 3*p**2 + 10*p + 6. Let f be m(-3). Suppose -6*g - 33 = 3*t - f*g, 5*t - g = -49. Is t at most -10?
True
Let h = -0.3 + -11.7. Let j = 19 + h. Let w = j - -1. Do w and 0 have the same value?
False
Let o = -1884.82 - -1885. Is o at least -25?
True
Let x = -0.19 + -0.11. Let c = -23 + 26. Let d be (2 + -3)*c/1. Which is greater: x or d?
x
Let l be -2 + 14 - (-4)/(-2). Let c = l - 3. Which is smaller: 6 or c?
6
Let m = 0.19 - 0.1. Let z = 124.29 + -125. Let i = 0.71 + z. Is i >= m?
False
Let i be 14/35 - 3/(-5). Let c be -1 + (i - -1) + -5. Let x be 1 - -6*(-2)/c. Is x at least as big as 4?
True
Let v(y) = 14*y - 13 - y**2 + 1 + 13 - 14. Let z be v(13). Do 3 and z have different values?
True
Let t be -1 + 105/30*6/21. Is -33/26 greater than t?
False
Let h = -56 + 56.11. Which is smaller: -8 or h?
-8
Let j = -93.433 - -0.433. Which is smaller: 1 or j?
j
Suppose -2*w + 14 = o, -4*o + 5*w + 10 = o. Let k be 4/(896/360) - o/8. Let t = 1 + 0. Is t less than k?
False
Let n be (-9)/(-3) - 80/35. Suppose 6*j - 16 = 2*j. Suppose -j = -m - 3*m. Which is smaller: n or m?
n
Let f be (-3)/2*(2 + 4). Let z = -117 + 98. Let u = z - f. Which is smaller: -11 or u?
-11
Let j = 33872/591 + 4/197. Which is smaller: 56 or j?
56
Suppose 0 = 3*i - 10*i - 770. Let o be (-8)/44 + (1 - (-134)/i). Which is smaller: -3 or o?
-3
Let l = -1894 - -1899. Let d = 5 - 2. Let n(u) = u**2 - 4. Let v be n(d). Is l greater than v?
False
Let g = -68.3 - 67.7. Are g and -0.1 nonequal?
True
Let u = 3/1787 + -69741/28592. Let n = u + -1/16. Is -1 greater than or equal to n?
True
Let o be -15*(13/(-3) + 6/6). Let m = o - 49. Let l be 1 - (-1 + 183/87). Which is smaller: l or m?
l
Let f = -2 + 2.2. Let r = 1.303 - 1.303. Are r and f non-equal?
True
Let f be (6 + -5)*4/(