 0 = 16*n - 7*n - 126. Let p be 7038/230 - n/(-10). Which is smaller: 36 or p?
p
Let r be 4 - (10 - (-528)/(-98)). Which is bigger: r or -2?
r
Let o = -30 - -30. Let s be (-63)/(-24)*(-8292)/28. Let g = -779 - s. Is g greater than or equal to o?
False
Suppose 3*m = -x - 73, -2*x = -3*m - 7*x - 53. Let z be (-238)/(-16) + (-13)/m. Which is greater: z or 14?
z
Let l(t) = t**3 - 20*t**2 + 21*t + 64. Let s be l(19). Let c be (-1)/(-3) - (-11 + 1172/s). Is c > -1?
True
Let q be 312/50*(1520/(-216) + 10). Let m = q - 170/9. Which is smaller: m or -4?
-4
Suppose -2*h + 337 = -5*w, h + 362*w - 110 = 358*w. Which is bigger: 153 or h?
153
Suppose 18*o - 500 = -2*o. Let j(p) = p**3 + 6*p**2 - 7*p - 10. Let x be j(-7). Let a be x*(-4)/(-8)*-5. Is a smaller than o?
False
Let t be ((-5)/6765)/(35/13460). Let d = 2/1353 - t. Which is greater: d or -0.58?
d
Let u be (-25)/5*2/5. Let q = 16 - 15. Let d be (q/u)/(4/24). Which is bigger: d or -11/7?
-11/7
Let l(i) = -125*i + 2619. Let f be l(89). Is -8507 greater than f?
False
Suppose 0 = -20*i + 19*i - 5*k + 1683, -6714 = -4*i - 2*k. Is i < 1678?
False
Let x = 7638.0894 + -7638. Which is smaller: 1 or x?
x
Suppose 25*n - 448 = 6*n + 255. Which is bigger: n or 36?
n
Suppose 168 = -10*v - 14*v. Let c = 0.839 + -0.649. Which is greater: c or v?
c
Let z = 0.16525 - 0.19604. Is -0.1 bigger than z?
False
Let x(s) = 4*s**2 + 19*s - 31. Let j be x(-6). Is -3/3628 at least j?
True
Let c = -125.08 + 125. Let n = c + 55.08. Are -1 and n non-equal?
True
Let u = 32900/649 + -558/11. Suppose -2*x + 5*x = -y - 7, -4*y = -2*x. Which is greater: u or y?
u
Let v(a) be the third derivative of -a**4/12 - 7*a**3/6 - 24*a**2. Let k be v(5). Which is smaller: -23 or k?
-23
Let x(i) = 32*i + 3. Let b be x(1). Suppose 25 = 3*y + r - 5*r, -5*y + 5*r = -b. Are y and 19/9 equal?
False
Let b = -164855 - -1815071/11. Is b smaller than 150?
False
Let l(w) = 47*w + 536. Let f be l(-8). Which is greater: f or 147?
f
Let w = -25/3218 - -47726333/22526. Let d = 2127 - w. Is d at most as big as 8?
False
Suppose 0 = 7*g + 86 - 86. Let o be g/((4 + 6)/5). Is 3.26 at most o?
False
Let y = -0.08269 - -0.68269. Which is greater: y or 117?
117
Suppose 33*n - 38*n = -4*t + 76, 40 = 2*t - 3*n. Let a be (-40)/28*(-273)/27. Which is smaller: a or t?
t
Suppose 2*g = -g + 6. Suppose -g*r + 35 = 29. Suppose b = c + 3*b, -4*b = -r*c. Are c and 1/7 unequal?
True
Suppose -5*h + 51*b - 872 = 47*b, -4*h + 4*b - 700 = 0. Is h at least as big as -517/3?
True
Let q be 12/366*(-2 - 10/(-4)). Let v = -13 + 16. Suppose -j = i + 1, j = v*i + 2*j + 1. Is i smaller than q?
True
Suppose 5992 = -16*q - 40*q. Is q != -108?
True
Let f = -161/6 + 1175/42. Suppose 3*q - 20 = 2*x - 7, 4*q - 14 = 2*x. Are f and q equal?
False
Let p be (26 - 228/9)/(4982/(-2488) - -2). Which is bigger: p or -277?
p
Suppose -7 = -5*g - 17, -h = -4*g - 8. Let o be 5 + h + 1*429/(-75). Are -1 and o unequal?
True
Let v be 4*6*(-2)/((-56)/193). Which is greater: 164 or v?
v
Let h = -46 - -4. Let j = h - -42.1. Let w = -0.05 + -3.95. Is j at least w?
True
Suppose -246*z + 1305 = -1551*z. Let w = -3165 + 44351/14. Let y = w + -359/119. Which is smaller: y or z?
z
Let v(t) = -2*t**2 + 6 + 21*t + 3 - 8*t. Let q be v(7). Let n be ((-2 - q)*1)/(-2). Is 2 at least as big as n?
True
Suppose 0 = -3*r - n - 1418, -951 = -15*r + 17*r - 5*n. Is -4 != r?
True
Let z(l) = 4*l**2 - 9*l**2 + 3*l**2 - 15 - l**2 - 8*l. Let k be z(-3). Is k greater than or equal to -16?
False
Let o(k) = 2*k**2 - 149*k + 2656. Let a be o(20). Is 467 > a?
False
Let f = 13.655 + 0.345. Let h = -1.6 + 0.6. Let l = 0 - h. Which is smaller: l or f?
l
Suppose 0 = -3*n + 2 + 13. Suppose 0 = -4*g - n*u + 9, 0*g - 2 = 3*g - 5*u. Let p be -1 - ((-690)/(-300) + -5). Is g >= p?
False
Let k be -14 + 3 + -1 + 4. Suppose 45 - 12 = -3*x. Which is bigger: x or k?
k
Let u = -569 - -573. Let w = 0.11 + -0.2. Which is greater: w or u?
u
Let z(k) = -k**2 - 13*k + 169. Let b be z(-21). Which is smaller: b or 14/37?
14/37
Let d be (-2 + 15/3)*102/(-306). Which is greater: d or -2/2345?
-2/2345
Let x be (0 + -1 + 0 + 1)/(-2). Suppose -2*v + q - 465 - 175 = x, -4*q - 1626 = 5*v. Is v at least -322?
True
Let d = 476 + -767. Let r = d - -295. Which is smaller: 9 or r?
r
Let l be ((60/(-8))/(-5))/((-1)/22). Let i = l + 90. Let o = i + -59. Is o greater than or equal to -2?
True
Let h be 1 - (24/(-80))/(27/(-78)). Is 0.21 less than or equal to h?
False
Let s be (-1)/3*3/45. Suppose -5*n = -0*y + 4*y - 199, 3*y - 5*n = 193. Suppose -5*h + y = p + 67, h = p - 1. Which is bigger: p or s?
s
Suppose 304*j + 45 - 15 = -274. Which is smaller: -52/71 or j?
j
Let x = -0.03789 + -28.96211. Let a = -1.4 - -1.4. Is a smaller than x?
False
Let s = -25656 + 25706. Let c be (1/(-2) - -1)*104. Does c = s?
False
Suppose -5 = 3*q + 1. Let j = q + 3. Let g be (-16797)/398547 - (((-112)/(-180))/7 - (-2)/(-10)). Which is smaller: g or j?
g
Suppose -8 = -14*c + 13*c. Let h(l) = -l + 14. Let m be h(c). Let i(k) = k**3 - 6*k**2 + 6. Let n be i(m). Is -2 equal to n?
False
Suppose 0 = -16*w + 19*w + 6*g - 831, -3*w + 876 = g. Which is bigger: w or 19?
w
Let t(b) = 2*b**2 - 137*b - 535. Let l be t(-4). Let y(a) = a**2 - 3*a + 6. Let n be y(7). Let m = n + 10. Is l greater than m?
True
Suppose -5*k - 3*r = 17, -k - 6 = 2*r + 3. Which is smaller: k or 2/407?
k
Let k(q) = 32*q. Suppose 15 - 55 = 40*n. Let a be k(n). Is -7 <= a?
False
Let q = 35.9 - 36.9. Let h = 0.025 - -2.075. Let t = h + -0.1. Which is greater: q or t?
t
Let q = -0.03426 - 0.26574. Is -3/67 bigger than q?
True
Let q be (-2 - (-2)/4)*(-156)/3. Let i be 16/4 - 264/q. Suppose 0 = 4*m + 4*p + 12, -2*m - 3*p = -0*m + 9. Is m at least as big as i?
False
Suppose 17*a - 18*a = 1. Let m be -2 + a + 7 + 37/1. Which is bigger: 43 or m?
43
Let s be (-245)/21266*8/(-30). Which is greater: -1 or s?
s
Suppose 2*n + 3*f = -0*f - 2, 6 = -n - 4*f. Let c be -2 + (0/n - -2)*1. Which is smaller: c or 3/64?
c
Let w(a) = a**2 - 34*a - 231. Let t be w(14). Is -514 at least as big as t?
False
Let u = 0.465 - 246.465. Let l = u - -233. Is -1 at least l?
True
Let y(j) = 69*j - 180. Let h be y(7). Let k = 308 - h. Let b(s) = 4*s**2 - 1. Let q be b(1). Does k = q?
False
Suppose p - 1 + 6 = 0, -4*l - 5*p = 11561. Let f = l - -1949585/676. Let y = 2711/4732 - f. Is -2 at least y?
False
Suppose -4*z - 5334 = -3*r + 5*r, 3*r = -3*z - 8004. Let g be 2 + (-17)/r*14*-22. Which is bigger: g or 1?
1
Suppose 2*n - 5*w = -27, 2 = -4*n + w - 7. Let h = 306 - 274. Let f be (-16)/(-70)*h/128. Which is bigger: f or n?
f
Let x = -0.4398 + 0.4818. Which is greater: 72 or x?
72
Let i = 29293 - 2079856/71. Which is bigger: i or -1?
i
Let q be 1/(-1*1/50). Suppose 0 = -8*j + 1 - 17. Let z(p) = 5*p**3 - 2*p**2 - p - 4. Let x be z(j). Is q at least x?
True
Suppose 2*g - 4*u - 8 - 2 = 0, 2*u + 7 = 3*g. Let z be (4 + 93/(-24))/(g/8). Let v = 95/168 + -4/21. Which is greater: v or z?
z
Let c = 15.68 + -16.68. Do c and -4 have different values?
True
Let n(x) = 2*x**2 - x + 2. Let b be n(1). Let s be b/(-5*5/(-25)). Let r = s - 10. Is -42/5 greater than r?
False
Let f(j) = 16*j + 30. Let g be f(-2). Let m be 2/(3 + -2) + 30/g. Let l be (-2)/(-12) - 3/6. Is m at most l?
True
Let r = -4 + -2. Suppose -3*d = -12*d + 54. Suppose -5 = -d*g - 41. Is g smaller than r?
False
Let c = -28 + 33. Suppose 0 = -5*x - 4*h - 18, 7 + 7 = -2*x - c*h. Let t be 0/(((-2)/(-4))/((-1)/x)). Is -5/18 not equal to t?
True
Let y be (-130)/200 + (-1)/(-4). Let o be (-292)/584*2/(-24). Which is bigger: o or y?
o
Let m(y) = y**3 + 9*y**2 + 6. Let i be m(-9). Suppose -i*f + 5*f + 16 = 0. Let q be 4/(-33)*((-408)/f)/(-1). Is -4 >= q?
False
Let i(l) = -l**3 + 5*l**2 + l - 20. Let c be i(4). Let n be (-2670)/330 + 0 + 4 + c. Which is bigger: n or -3?
-3
Let g(l) = -312*l + 2239. Let y be g(7). Which is greater: y or 1834/33?
1834/33
Suppose n + 16996 = -27*n. Let i = n + 452. Are i and -154 equal?
False
Let a = 954 - 952. Let z be (-3760)/(-200) + a*3. Which is smaller: z or 24?
24
Let l = 306 - 37. Let n = -7262/27 + l. Suppose -4*i = -7*i. Is i <= n?
True
Suppose 3*b - 2*b + 30 = 0. Let z = -21141 + 21141.1. Which is greater: b or z?
z
Suppose 6*w - 4*w + 8 = 0. Let g = -16640/11 - -1510. Do w and g have the sa