 k + -2. Which is smaller: -2/5 or y?
-2/5
Suppose d = -2*n - 2*n + 7, d = 3*n - 7. Let g be d - ((-6)/(-8) - (-2)/(-1)). Which is bigger: 1/5 or g?
g
Let n(i) = -i + 3. Let d be n(5). Let q be d/(-17)*2/(-8). Suppose 0 = 2*a + 5 - 3. Are a and q unequal?
True
Let x be (8/14)/((-38)/(-14)). Is 1 greater than x?
True
Suppose 4*w + 0*w - 3*l + 229 = 0, -5*w + 4*l - 287 = 0. Let y = 65 + w. Is y less than or equal to 55/6?
False
Suppose 0 = 172*q - 141*q + 62. Which is smaller: -64/37 or q?
q
Let x be (51/24 - (-1)/(-8))/(-1). Let h be 0 - x - ((-40)/(-14))/1. Is h != 2/9?
True
Let b be 1701/28 - ((-7)/(-4) - 2). Which is smaller: 60 or b?
60
Let u be 50/250 + 8/10 + 566. Are 567 and u equal?
True
Suppose -12 - 12 = -4*x + h, 3*x = -h + 25. Let g be 1/(-4)*(5 - 35/x). Is g at least as big as -6/61?
True
Let p = -17 + 52/3. Let a be 4/(-12) + (-50)/(-42). Which is smaller: a or p?
p
Suppose s + a - 9 = 0, 0 = -5*s + a + 4*a - 5. Let g = 1 - 1. Let m be 4 + -2 + g/s. Is 5/7 < m?
True
Suppose -29*g = -4*n - 25*g + 2720, 2*g - 3421 = -5*n. Which is smaller: 682 or n?
682
Let c be -8 + 0/6 + 12. Is c > 36/7?
False
Let r be (-13 + 2 + 3)*34/4. Is -67 > r?
True
Let o be ((-18)/4)/((-9)/12). Suppose -19*p = -10*p - 27. Suppose p*n = n + o. Which is greater: n or 4?
4
Let n(v) = -v**2 - 17*v + 25. Let l be n(-17). Is l smaller than 25?
False
Let p be (-5 - 536/(-102))*18. Which is smaller: p or 5?
p
Let m be (80/(-88))/(-5) - (-6156)/22. Suppose -4*x - m = 3*r - 47, -x - 5*r - 71 = 0. Is -56 >= x?
True
Let i(g) = 16*g + 127. Let a be i(-8). Are 5/37 and a unequal?
True
Let t be 27/(-21) + 1 + 164/84. Suppose -14*k + 2 = -12*k. Which is greater: t or k?
t
Let m = 725597 - 1941697783/2676. Let w = m - 1/223. Let x = 238 + -953/4. Which is smaller: x or w?
x
Let k = 0.6 + 2.4. Let j = -5.4 - -5.7. Which is smaller: j or k?
j
Let q(p) = -12*p + 12. Let o be q(1). Is o at most as big as -2/407?
False
Let u = -1 + 1.9. Let y = 1 - u. Let w = -3.15 - -2.85. Which is smaller: y or w?
w
Suppose 87*f - 84*f - 630 = 0. Let d = -136 + f. Is 74 greater than d?
False
Let t = -1165 - -1162. Do 0.65 and t have different values?
True
Suppose -3*d = -15*d + 3600. Which is bigger: d or 301?
301
Let u = 20 - 21. Let z be ((-150)/(-125))/((-4)/(-10)). Let s = u + z. Which is smaller: 12/11 or s?
12/11
Let l(q) = -q**2 - 9*q - 16. Let x be l(-7). Is -77 less than or equal to x?
True
Let t(c) = c + 2. Suppose -4*y = 5*m + 3, -2*y - 6 = -0*m + 4*m. Let p be t(m). Let k be p + 0 - (-56)/40. Which is smaller: k or 0?
0
Let u(z) = -354*z**2 - 4*z + 2. Let k be u(9). Let y = 143033/5 + k. Let x = 101 + y. Are 1 and x nonequal?
True
Suppose -8 = 2*y, 3*v = -5*y - 6 + 1. Suppose -v*t - 2*a - 1 = -2*t, 0 = -3*t + 5*a + 13. Let x be -2 - t - 0/1. Do -3 and x have the same value?
True
Let j = 1057151 + -54969045/52. Let w = j + -215/4. Let v = 7/26 + w. Are v and 1/6 nonequal?
True
Let c = -3/43 + -201/817. Let b = 21 + 30. Let n be (-4)/(-6) - (-17)/b. Is n < c?
False
Let y(i) = 5*i - 3. Let m be y(2). Let g(b) = b**2 - 5*b - 12. Let p be g(m). Suppose -7 = z - p*z. Which is greater: 6 or z?
z
Suppose 81*l = 90*l - 9. Is 2/83 less than or equal to l?
True
Let z(d) = 23*d**2 + 7*d - 1. Let u be z(-3). Is 184 greater than u?
False
Let n = -0.04 + -2.96. Let j = 7.026 - 0.026. Is j not equal to n?
True
Let s = -18 + 30. Suppose -9 + s = o. Let b be o/(-7) + 315/49. Which is smaller: b or 4?
4
Suppose 0 = 7*n + 310 - 401. Which is bigger: n or 7?
n
Suppose 0 = -2*r - 72 + 94. Suppose r*c = 13*c - 4. Which is bigger: 8 or c?
8
Suppose 3 = -q - 2*r + 21, -2*r + 6 = 0. Suppose -q = a + 5. Is -18 greater than or equal to a?
False
Let u be 2094/2565 + 2 + 9/(-5). Let n = u - -9/95. Is 0 at most as big as n?
True
Let t = -0.135 - -0.023. Is -3 <= t?
True
Let q(x) = x**3 - 2*x**2 + 2*x - 1. Let m be q(1). Let h(i) = i**2 + i - 10. Let w be h(m). Let p be w/8*5/25. Which is smaller: 1 or p?
p
Suppose 4*g - 6 = -2. Let z be g*16/(3 - -1). Let r = -25 - -24.9. Are z and r unequal?
True
Let o(b) = 19*b + 215. Let s be o(-6). Do 100 and s have different values?
True
Let a = 12.47 + -11.97. Which is bigger: a or 40?
40
Let p = 1 + -57. Let w = p - -47. Is w less than -10?
False
Suppose -4*n + 5*w - 11 = -3*n, 4*w - 12 = 4*n. Let l be (3 - 1)*n/19. Suppose 0 = -5*i - 0 + 5. Is l >= i?
False
Let d = 282 - 279. Is 3 less than or equal to d?
True
Let c = 967/2892 + -1/964. Is -1/305 smaller than c?
True
Suppose -4*l = -9*l + 100. Suppose -p + 60 = 2*a + 3*a, -l = 4*p. Which is bigger: a or -0.1?
a
Let z = -196 + 185. Is -61/5 <= z?
True
Let t be (88/(-20) + 4)*30. Let c be (6/(-20))/(t/10). Let o be 1*-3*(-3)/(-9). Is c != o?
True
Let u = 449.6 - 346. Let h = -104 + u. Is h at most 1?
True
Suppose 0 = 16*h - 17*h. Suppose r + 4*x - 2 = h, -r - 2*x = -3*r - 6. Let d be 1/(-4) + 5/(-8). Is r not equal to d?
True
Suppose -7*d + 1 = 1. Suppose 4*x + 3*m + 1 = 0, 0 = 3*m - d*m - 3. Is x > -5?
True
Let u = -14 + 21. Let l = u + -8. Suppose -5 = 3*d - g, g + 4 + 3 = -3*d. Is d < l?
True
Let c(n) = 79*n + 279. Let r be c(-3). Which is smaller: 51 or r?
r
Let t = -69 - -62.6. Let s = t + 4.4. Is s at most as big as 8?
True
Let a be 26/(-30) - 434/186. Is a smaller than 3?
True
Let n(m) = 15 - 3*m**2 + m + 12*m + 2*m**2. Let t be n(14). Suppose 5 = p, 5*o - 19 - t = -2*p. Does 5 = o?
False
Let g be (-2)/(-3) - (-50)/(-48). Let u = -2 - 16. Let l = u + 17. Is l at most g?
True
Let o = 160 - 164. Let f be 1 - 1 - ((-4)/o + -4). Which is greater: 6 or f?
6
Let i(u) = -1 + 162*u**2 - 83*u**2 + 5*u - 81*u**2. Let a be i(2). Is a != 1/40?
True
Let g(v) = -11*v - 121. Let w be g(5). Is w >= -175?
False
Let v = 2/911 - -435/216818. Is -1 bigger than v?
False
Let r = 37 + -17. Let t = r - 23. Which is greater: -4 or t?
t
Let z = 1 + 3. Suppose z*n + 128 = 2*c + 2*c, -99 = 3*n - 4*c. Is -30 at least n?
False
Suppose -45 + 3 = -6*s. Let a = 0.21 + -0.2. Is a >= s?
False
Suppose -2233*f - 396 = -2242*f. Which is smaller: f or 35?
35
Let w = -66 + 48. Let f = 17.5 + w. Are f and 0 unequal?
True
Let j be -15 + 62/4 + (-90)/(-28). Which is greater: j or -3/2?
j
Let p = 52 + -88. Let c be -2 - (-4)/1*p/24. Is -2/11 equal to c?
False
Let m = -272 + 275. Which is greater: m or 15?
15
Let s(w) = -w**3 - 16*w**2 + 36*w - 6. Let m be s(-18). Does -6 = m?
True
Let c = -0.25 + -3.75. Which is smaller: c or 2/39?
c
Let o be (-42)/70 - (4/(-10))/(-1). Which is smaller: -2/253 or o?
o
Let k = 6 - 40. Let d = k + 130. Suppose -5*x - 16 + d = 0. Is 16 at most as big as x?
True
Suppose 2*v - 29 = 4*q + 19, -v + 3*q + 25 = 0. Which is bigger: v or 26?
26
Let u = -0.04 - 1.96. Is u < -0.12?
True
Let r be -2 - -2 - -2 - -38. Suppose -z - r = z. Suppose -4*x = u + 40, 28 + 42 = -3*u - 2*x. Is z greater than or equal to u?
True
Let w = -2/125 - 482/1125. Suppose b + 4*b - 5*m = -30, b + 9 = 2*m. Let l(d) = d**2 + 3*d - 1. Let z be l(b). Which is smaller: w or z?
z
Let r = 14.1 - -32.9. Let k = -46.7 + r. Which is bigger: 2/21 or k?
k
Let z(l) = -2*l**2 - 7*l - 5. Let j be z(-2). Are j and -410 non-equal?
True
Let i = -1120827/535 - -2095. Which is greater: i or 0?
0
Suppose -2*h + 0*h = -d, 2*d = -4*h + 24. Suppose 4*q = y - 11, -2 = -4*y - d. Let i be 16/(-7) + 6/21. Which is greater: i or q?
i
Let v be (-3)/(-2)*12/9. Suppose 5*g - 9 = -2*o, o - g = -3*g + 5. Let u = -1 + o. Which is greater: v or u?
u
Suppose -2*h = 4*o - 27 - 21, -4*o = -12. Let b be (h/14 + -3)*1. Is -1 <= b?
False
Let j be (-3)/(4 - 1)*18. Let k be -1 + 1 - 2 - 0. Is j less than k?
True
Let s = 410 - 229. Which is smaller: s or 0.1?
0.1
Suppose 333*h - 1 = 334*h. Is h at least 10/191?
False
Let n(y) = 2*y**3 + 13*y**2 + 3*y - 17. Let k be n(-6). Are k and 1/661 unequal?
True
Suppose 0 = -4*y + 3 + 33. Suppose -y*x + x = -56. Let r = -10 + 16. Is x < r?
False
Let a be (-28)/8*(-16)/14. Suppose 6 = a*g - 2. Suppose 8 = -2*c + g*w, 13 = 6*c - 3*c + 2*w. Which is smaller: c or 0.01?
0.01
Suppose -4*u = 8*u. Is -29 less than u?
True
Let q = -13.56 + 13. Let n = q - -0.48. Is n not equal to -4/5?
True
Let p = 45 + -55. Let f = -0.22 + 11.22. Let j = p + f. Does -2/3 = j?
False
Let j be (-18)/(-4)*(-4)/6. Let b = -4822/5 + 961. Which is bigger: j or b?
j
Let c be (1 + -1)*5/10. L