n or equal to k?
True
Let f = -52203/5 - -10500. Let k = 115523/1945 - f. Which is smaller: 1 or k?
k
Let o(h) = h**2 + 34*h + 39. Let j be o(-33). Suppose j*m - 107 - 115 = 0. Is -11 <= m?
True
Suppose 0 = -5*z - 10, -7*z + 5*z = -3*x + 7. Let q be (5 + (-5070)/12)*x/(-5). Which is smaller: 84 or q?
q
Let c(y) = -4*y - 32. Suppose -3*a - 17*m + 18*m = 24, -5*a = -3*m + 36. Let u be c(a). Which is smaller: -0.02 or u?
-0.02
Suppose 9*z + 0*z = -0*z. Suppose z = -3*o + 73 - 55. Suppose o = 3*q + 3*a - 4*a, -q = a + 2. Which is bigger: q or -6?
q
Suppose 3*j = 5*j + 18. Let y be (-2)/3*j/2. Let h = -34 - -39. Is y greater than h?
False
Let i = 217513600/483 + -450339. Let a = 10/69 - i. Are a and -1 non-equal?
True
Let c be (10/16)/(3 + -4). Suppose 42 = 5*g + t + 49, 0 = g + 4*t + 9. Which is bigger: g or c?
c
Let h = 2.8022 + -2.77. Let s = 0.0322 - h. Let r(i) = -i**2 - 6*i - 4. Let t be r(-4). Which is smaller: t or s?
s
Suppose 3470 + 1300 = -26*f - 2302. Is -284 less than or equal to f?
True
Let r = 7 + -12. Let z = -360 + -546. Let s be z/180 - 1/((-6)/5). Which is greater: s or r?
s
Let r(w) = 6 - 8 - 23*w + 80 + 42. Let g be r(6). Which is smaller: -69/4 or g?
g
Let q = 493.9 + -59.9. Let f = 433 - q. Do f and -8/13 have different values?
True
Let x be ((1315/(-3))/1)/((-12)/((-540)/105)). Is -188 less than x?
True
Suppose -12*s - 15422 = -15290. Which is bigger: s or -49?
s
Let b(s) = -s**2 - 18*s + 6. Let v be b(-5). Let c be (2 - v)/(-6 - (-105)/20). Does 91 = c?
False
Let a = -1626.405 + 1620. Let c = a + 0.38. Let l = c - -0.025. Which is greater: -2 or l?
-2
Suppose -u - 4*u + 15 = 0. Suppose -u*f + 11 = -2*f + t, -4*t + 53 = 5*f. Suppose 3 - f = -3*w. Which is smaller: w or 4?
w
Let c = 282.095 - 0.095. Let n = c + -273. Is n greater than or equal to -32?
True
Let i be (-6)/(-11) + 1/((-66)/10662). Is i at most as big as -967/6?
False
Let k = 3.66 - 0.56. Let p = 3 - k. Let b = -1037/66 - -331/22. Which is smaller: b or p?
b
Let w = 3824 - 4870. Which is smaller: w or -2089/2?
w
Let d(k) = -9*k + 11. Let v be d(4). Let w be v/(-2)*(-84)/(-35). Is 30 less than w?
False
Suppose 3*y = -535 + 85. Let l = 145 + y. Which is smaller: 7 or l?
l
Let b = 105 - 105. Suppose -2*z - 2*j + 3*j - 53 = b, 58 = -2*z - 4*j. Are z and -23 equal?
False
Let l be -6*(-992)/(-33618) - (1 + (-105)/91). Which is smaller: l or 1?
l
Let q = 0.077 - -0.023. Suppose -5*v + 330 = 4*w, 171 = 4*v - 4*w - 129. Let u be 20/5*2/v. Which is smaller: q or u?
q
Suppose 0 = -52*a + 108*a - 44744. Which is smaller: 4795/6 or a?
a
Let m = -191 + 96. Let y = 102 + m. Let x = -65.91 - -66. Is x bigger than y?
False
Let w = 15558 - 15557. Which is smaller: w or 1/4780?
1/4780
Let s(t) = 42*t**2 + 41*t - 377. Let g be s(8). Does 2639 = g?
True
Let y = -252 + 421. Let s(f) = 2*f**3 - 10*f**2 + 15*f + 5. Let q be s(6). Is y greater than q?
True
Suppose -40*b + 32*b - 8 = 0. Let y(s) = 605*s**3 + 4*s**2 + 3*s. Let n be y(b). Is n not equal to -604?
False
Let x(i) = -2*i**3 - 39*i**2 - 20*i - 17. Let p be x(-19). Let j = -1.1 - 10.1. Let l = 1.2 + j. Do l and p have different values?
True
Let x = -249 + 15196/61. Which is smaller: 1 or x?
x
Let r = -127 - -81. Suppose -5*c - 9*t + 455 = -4*t, 0 = -c + 5*t + 103. Let a = c + -139. Is a greater than or equal to r?
True
Let k(r) = -2*r**3 + 3*r**2 - 3. Let z be k(3). Let s = -12 - z. Suppose -q + 6 = s. Is -12 > q?
False
Let x = 705891/946 + 6481/86. Let k = -821 + x. Is k > -1/10?
True
Suppose 10*u = 6*u - 12. Let l be (3 + -5 - u) + 1. Let x be (-1*l/10)/(6 - 3). Which is smaller: x or -1?
-1
Let a(d) = -6*d**3 - 5*d**2 - 5*d - 6. Let g(b) = 5*b**3 + 5*b**2 + 4*b + 4. Let c(z) = 6*a(z) + 7*g(z). Let k be c(4). Is k at least 3/124?
False
Let v be -8 + (5 - (1 - -4)) - -7. Let u(r) = -6*r - 8. Let q be u(-6). Let k be 1 - 3 - (-50)/q. Is v at least as big as k?
False
Let g(f) = f**2 + 29*f - 168. Let w be g(-34). Suppose 3*j - 836 = -4*n, 4*n - 561 = -2*j + 5*n. Let t be (60/j)/(-3 + 0). Is w equal to t?
False
Suppose -3*q = -3*s - 15, 2*s = q + 4*s + 4. Suppose 5 = q*h - 5. Suppose 0 = 3*k - h + 2. Is k equal to -1/3?
False
Let t(p) = 263*p - 4211. Let g be t(16). Is g smaller than -19/5?
False
Let l be 3/188*(-2)/3. Let o(m) = m**3 + 8*m**2 - 35. Let w be o(-7). Suppose -4*p = -w + 10. Which is bigger: l or p?
p
Let j = 118.79179 - -0.20821. Is j greater than 5?
True
Let f = -689.07 - -692. Let g = -289.9 + 290. Which is smaller: f or g?
g
Let a(y) = -32*y + 102. Let p be a(-4). Let l = p + -198. Is -4/11 greater than or equal to l?
False
Let u be (831/6)/((12/3)/(-8)). Let p = u + 293. Let f be 4/6*12*2. Is p not equal to f?
False
Let k = -20515 + 14271. Is k greater than or equal to -6242?
False
Suppose 0 = 5*m + 83 + 17. Suppose -h - 6 = -2*h. Suppose 4*j + 10 = -h*j. Is j != m?
True
Let d be 33*1 - (4 - 6). Suppose 42*w - 3*c + 21 = 45*w, -2*w - 4*c + 2 = 0. Which is smaller: w or d?
w
Let s = -6 + 30. Let g = -34.35 + 35.35. Which is greater: s or g?
s
Let g be 2/(-18) - ((-4760)/(-45))/(-7). Suppose 5*y + g = -2*o, -y - 3*o - 7 = -4. Are 1 and y nonequal?
True
Let j = -42 - -42. Let q be ((-22)/28 - (-24)/84)*j. Suppose -2 = -2*l - q. Which is smaller: l or 2?
l
Suppose h - 12*h = 7*h + h. Are h and -93/94 unequal?
True
Suppose -3*i - 4 = -4*i. Let l be 1 - -2 - (39/8 + i). Do l and -5 have different values?
True
Let o(r) = 2*r - 247. Let z be o(33). Let i be ((-338)/39)/(1/21). Is z at most as big as i?
False
Let f = -27757 - -27757. Is f < -25/218?
False
Let d be 35 + -66 + (-3 - -3 - -4). Let k be (d + 30)/(1 + (-84)/87). Which is smaller: k or 83?
83
Let b = 1.676 + -0.676. Is 3705 > b?
True
Let l = 47 - 24. Suppose 86 = -s - l. Let o = s + 65. Does -44 = o?
True
Let h = -122707/115 - -5334/5. Let y be 11/13 - 4/(-26). Is y greater than or equal to h?
True
Let j = -12682 + 12736. Is j equal to 539/10?
False
Suppose 0*c + 4*c + 4*r - 4 = 0, 3*c + 4 = 4*r. Let m(k) = -255 + c*k + 3*k + 267. Let i be m(-4). Which is smaller: i or 1/23?
i
Suppose -3*d - 299 - 262 = 0. Let f = -58 - d. Is 127 > f?
False
Let a = 18 + 2. Let x = 2006 + -1999. Let p be 196/21*a/x. Is 26 < p?
True
Let m(j) = -j**2 - 8*j - 5. Suppose 0 = 4*y - q + 3*q + 30, -5*y + 5*q = 0. Let h be m(y). Suppose 3*b - h + 10 = 0. Is -13/12 bigger than b?
False
Let m = 4864997/27 - 180185. Let o(t) = t**3 + t**2 - 2*t. Let p be o(-2). Let f be 3 + -1 + (-1 - p). Is f at least as big as m?
True
Let o = -113 + 99. Let w be (o/(-21))/((-118)/60 - -2). Suppose 5*i = -w, 5*i = 4*m + m + 30. Which is bigger: m or -13?
m
Let m = 0.02 - -186.98. Let n = m + -180. Which is bigger: n or 11?
11
Suppose -4*m - 4*x - 18 = -2*x, x - 26 = 3*m. Let s = -27 + 15. Is m bigger than s?
True
Let f = 152319659/605511 + -1/201837. Which is smaller: 251 or f?
251
Let t = -267 + 460. Suppose 87 + t = -8*h. Which is smaller: h or -33?
h
Let d = 2221 - 290953/131. Let m be (-5)/2 - 8/(-16). Do m and d have different values?
True
Suppose 2*u - 3*d = -18422, 13664 + 4758 = -2*u + d. Let v = u - -5333167/579. Which is bigger: -1 or v?
v
Let j(b) = 2*b - 3. Suppose -n - 1 = -2*a, -29 = -3*a + 2*n - 6*n. Let o be j(a). Let k be (-46)/(-8) + (-1 - o). Is 1 at most as big as k?
True
Suppose 8 - 36 = 4*j. Let d = -75938/5 + 15182. Which is smaller: d or j?
j
Let j(g) = g**3 + 11*g**2 + 6*g - 9. Let v be j(-10). Let f be ((649/(-4))/(-11))/(4/16). Suppose 0 = -2*s - 6, -4*x + 4*s = f - 187. Which is smaller: v or x?
x
Let o = -447.48 - -446.18. Which is bigger: -28/47 or o?
-28/47
Let c(q) = 17*q + 44. Let u be c(-4). Let p be (u/36)/((-2)/(-3)). Which is greater: p or -15?
p
Suppose a = 5*a + 24. Suppose 5*f + 21*f = 286. Suppose -k - 6*s - 16 = -f*s, -4*k = 5*s + 14. Does k = a?
True
Let y(j) = -16*j - 94. Let t be y(-6). Suppose -r - 7 + 14 = t*l, 0 = 5*l + 4*r - 22. Which is smaller: 11/16 or l?
11/16
Suppose 0 = -2*l - 0*l + c - 26, 52 = -4*l + c. Let v be 5*(4 + (-96)/15). Let w be (-4)/v - (0 - 102/(-9)). Is w at most l?
False
Let o be (-216)/(-234) - 3/(-39). Which is greater: o or 255.5?
255.5
Suppose -4*m - 10 = -5*d, 7*m + 3*d - 6 = 4*m. Suppose 0 = a - 2 - m. Let v = -221 - -217. Is a at least v?
True
Let a(f) = -63*f - 9010. Let o be a(-143). Which is bigger: 35379 or o?
35379
Let