 x be (-1 - -15)/(-1 + 0). Let n be (-12)/(-11)*(-35 + (1 - -20)). Are n and x equal?
False
Let h = -25716 - -25715.8. Are h and 1996 non-equal?
True
Let g = -19573613/7528 - -20801/8. Is 1 at least as big as g?
True
Let s(q) = -2*q**2 - 4*q + 7 + 4 - q. Let k be s(5). Let w be k/(-24)*(-6)/(-20). Is 0 greater than w?
False
Let w be 5 + 1/((-84)/(-30) + -3). Let q be (w - 1) + -2 + 4. Which is greater: q or 1/560?
q
Let z(x) = 2*x**2 - 34*x + 32. Suppose 14 = 4*u - 50. Let b be z(u). Which is bigger: b or 40?
40
Let y = -708.93 + 709. Let g = 159 + -5254/33. Let j = -43/99 - g. Does y = j?
False
Let j = -26.5 - -27.7. Which is bigger: 12 or j?
12
Let u = 8802 + -8801. Suppose x + 3*k + 26 = 0, -4*k = -2*k - 8. Let z be x/(-48) + (-4)/6. Is z greater than u?
False
Let l = -0.72 - -1.39. Let s = l + -0.67. Is -0.25 equal to s?
False
Let w = -9966 - -9965. Is -60/11 at most w?
True
Let y = 53 + -11. Suppose -37*r + y*r = 15. Let v be r/15 + -1 + 328/420. Which is bigger: v or 1?
1
Let d be ((-4 - 22)*1)/(-2). Suppose -3*m = -8 - d. Suppose m = -n - 17. Which is smaller: n or -25?
-25
Let a be 11 + (5 - 20/(-10) - 63). Is 56 > a?
True
Let n = 0.0374 - 630.0374. Let b = n + 645. Let m = 1 + -1.1. Which is smaller: b or m?
m
Let c = -181.306 + 3.006. Let v = -177 - c. Which is smaller: v or 0.1?
0.1
Let n(q) = -q**2 + 8*q + 5. Let z be n(4). Let s(o) = 2*o**2 - o - 63. Let l be s(11). Let d be (2 + 2)*882/l. Is d at least z?
True
Let j = -2 - 5. Let b = -7 - j. Let t = -1108/7 + 5547/35. Is b greater than t?
False
Let t(n) = -n + 30. Let d(s) = -2*s + 34. Let l be d(14). Let r be t(l). Let p be ((-300)/r)/(1/(-2)). Is 24 less than or equal to p?
True
Let o(r) = -r**3 + 6*r**2 + 18*r - 10. Suppose -2*m + 12 = -3*m. Let f be 28*(m/32)/(6/(-4)). Let h be o(f). Which is smaller: h or 66?
66
Let w = 2822 - 2827.2. Is -2/9 greater than w?
True
Let b be (2/(-3))/((-4)/534). Suppose -2*z + b = 42*n - 37*n, -2*n = -3*z + 181. Are z and 57 equal?
True
Let l(v) = v**3 + 7*v**2 - 7*v + 7. Let b be l(-8). Suppose -2*a - f + 23 = 0, 3*a - 51 = -3*f + 7*f. Let p be ((-35904)/(-104))/(-8) + 2/a. Is p equal to b?
False
Let y = -0.12939 - -0.62939. Are 581 and y non-equal?
True
Let o = 106496359 + -6922573633/65. Let d = 4774 + o. Let m = -2/65 + d. Which is greater: 0 or m?
m
Let t be (1766/34)/((-3596)/(-212)). Let d = -3/899 + t. Which is bigger: d or 4?
4
Let p = -103 - -152. Let k be -6 - (p - (1 - -2)). Do -53 and k have different values?
True
Let p be -3 + (-3 - -11) + -11. Let t(j) = -j + 6. Let s be t(-6). Let c be (-2)/p + ((-34)/s - -3). Is c < -5/4?
False
Let t = -9441 - -9441. Do -13/769 and t have the same value?
False
Suppose -3*w = -6*v + 5*v + 7, v = -2. Let d be 1/4*(-64)/6. Which is smaller: w or d?
w
Let f = 1430 + -1012. Let d = f + -529. Is d less than or equal to 0.1?
True
Suppose -59*j + 72*j + 139*j + 288648 = 0. Is -1899 at least j?
True
Let c = 1.469 - 894.469. Let i = c - -894. Which is smaller: i or -55?
-55
Let w be (2/(-4))/(7/16142). Let t = w - -68025/59. Is -1 greater than t?
False
Let w be (4 - 0)*8*2/192. Let m(s) = -s**3 - 4*s**2 + 16*s + 64. Let l be m(-8). Is w less than or equal to l?
True
Let p(t) = 2*t**3 + 5*t**2 + 3*t + 21. Let a be p(-3). Suppose a = -11*f + 8*f. Which is smaller: -1/164 or f?
f
Let d be 0 - 2/(-22) - (-540)/(-132). Let l be -3*d/96*(-4)/1. Which is bigger: -14 or l?
l
Suppose m + 466 = 468. Let h(x) = -14*x**3 + 5*x**2 - 9*x + 1. Let o be h(2). Is m smaller than o?
False
Let v = -4 + 47. Let m = v + -40. Suppose 3*b + 2*z - 21 = -m*z, 5*z = 0. Is 29/5 < b?
True
Let x = -3316 - -2683. Which is smaller: -638 or x?
-638
Let o be (-2)/10 + (-1312)/(-410). Let z be -514 - 5*(o - 4). Which is bigger: z or -508?
-508
Let m = -47813 - -47795. Suppose 3*n - 57 = 6*n + d, n + 4*d + 19 = 0. Is n at most as big as m?
True
Suppose -12*z + 96 + 132 = 0. Suppose -5*x - 4*w + z = -2*x, -14 = -2*x - 3*w. Let y be (-660)/(-1925) - (-1)/(-7)*x. Is 1 != y?
True
Suppose z - 4*z = 0. Let m = 4.512 - 686.612. Let s = -678 - m. Which is bigger: z or s?
s
Let o = 0.2055 + 14.7945. Is o at least as big as -135/2?
True
Let q(m) = 68*m - 159. Let a be q(-5). Let y = a + 514. Which is smaller: 8 or y?
8
Let r = 13/3 - 5. Let b = 0.93 - 5.91. Let z = 3.48 + b. Is z <= r?
True
Suppose 36*o = 41*o - 205. Suppose -k + 3*s - 1 = -o, 0 = -s + 3. Suppose 0 = -3*f + f + 98. Are k and f equal?
True
Let t(m) = m**3 + 5*m**2 - 4*m + 14. Let k be t(-6). Let u(q) = 5*q**2 + 2*q - 2*q**k + q**2 + 43 - 2*q**2 - q**3. Let f be u(0). Is 44 at least as big as f?
True
Let u(f) = 2*f**2 + 8*f - 33. Let t be u(-10). Let a = -86 + t. Is 6/59 at least as big as a?
False
Let t = 0.1582 + 1.8418. Let z = -127/6820 - 3/220. Are t and z nonequal?
True
Let w = -124.4 + 124.8. Is w at most 23/5?
True
Suppose -257 = -2*g - 4*l - 1251, 5*g + 2507 = l. Is g less than -1505/3?
False
Let b(w) = -w - 3. Let y be b(-2). Let a be (y - 2/(-3)) + (-108)/(-81). Which is greater: 14/15 or a?
a
Let d = -107.7 - -109. Let r = 5.7 + -5. Let i = d + r. Which is greater: 7 or i?
7
Let x(f) = 37*f**2 - 91*f + 7. Let k(d) = 7*d + 102. Let y be k(-14). Let p be x(y). Are 235 and p equal?
True
Suppose 3*a + 39 = 45. Let k be 1/a - 28/(-100)*-2. Suppose -2*j = 2*j + 4. Which is smaller: j or k?
j
Let q = -23390 + 23390. Let r = -4 + 6. Let g = 2.22 - r. Are q and g non-equal?
True
Let i(g) = -23*g + 43. Let v be i(2). Let x be 3 + v/(-489) - 3. Which is greater: -1 or x?
x
Let i be (-4)/2*(-4)/8. Let w = i - -23. Let p be 23/w - (-7)/(-21). Which is bigger: p or 1?
1
Let p = 30427 - 30209. Are p and 212 non-equal?
True
Let r = -656855490 - -97871022349/149. Let y = r + 2991. Which is smaller: 1/2 or y?
y
Let q = 2127 + -2097. Let p be ((-3094)/(-90) - 4) + 2/9. Which is smaller: q or p?
q
Let a = 7221 + -7220.6. Which is bigger: 124 or a?
124
Let x(j) = -j**3 - 5*j**2 - 7*j - 5. Let r be x(-4). Let h(f) = -1 + 10669*f**3 + 6*f**2 + 1 - 10668*f**3 + 6*f. Let d be h(-4). Which is smaller: r or d?
r
Let g(m) = 17 + 14 + 2*m - 13 + 16. Let q be g(-16). Suppose -q*t = 3*w + 69, t = -5*w + 3*t - 99. Which is greater: w or -22?
w
Suppose -3*v - 44*u + 31 = -39*u, 4*v + 2*u - 32 = 0. Let w(m) = -m**2 + 4*m + 21. Let l be w(v). Is l >= -6/247?
True
Let n be (-9 + 1)/(-2)*-1. Let s be 4/(-2) - (n - -2). Suppose -5*h + 5*x - 4*x - 4 = s, 5*x - 20 = -h. Is 5/16 not equal to h?
True
Let h be 1550/5010 + (-7)/21. Which is smaller: h or 5?
h
Suppose -3*j + 4*s - 1282 = 0, -11*j + s = -9*j + 863. Let p = 230 + j. Which is smaller: 0.1 or p?
p
Let h be (-3 - 183/(-60))*(-154)/11. Let k = 8/15 + h. Which is greater: -0.04 or k?
-0.04
Suppose 4*a - y + 0*y + 11 = 0, -a - 4 = y. Suppose 20 = 5*m - 5. Suppose -3*d - c = -1, -1 = -m*d + 3*c - 4. Is a greater than d?
False
Let o = -1435 - -1444.7. Is o smaller than 0.2?
False
Suppose 3*b + 2811 = 2*p, 4*p - 751 = 4*b + 4877. Let s be (-50)/p*(-2)/5. Which is smaller: -1 or s?
-1
Suppose 5*z - 4*p - 188 = 0, -2*p = -3*z + 57 + 57. Suppose -6*g + 10*g - z = 0. Let c = g + -9. Which is smaller: c or 1/5?
1/5
Let f = 3/91729 - -910807/198226369. Which is greater: f or 1?
1
Let l = 539/2140 - 1/535. Are -5018 and l equal?
False
Let t = 361 + -357. Suppose s + t - 5 = -2*b, -5*b + 10 = s. Let j(i) = i**3 - 9*i**2 + 8*i + 3. Let h be j(8). Is h greater than or equal to b?
True
Let y = -1.3 + 0.3. Let q = 2931 + -2931.54. Which is greater: y or q?
q
Suppose 5*q - 20 = 4*l + 5, -q = -5*l - 5. Suppose 3*u - 49 = -d, -3*d + 4*u + 24 + 71 = l. Let a be 7/(-42)*d/(2 - 3). Which is smaller: 5 or a?
5
Suppose 3*n = 33*v - 28*v - 5217, -8752 = 5*n - 2*v. Is -1754 > n?
False
Let l(i) = -i**3 - 12*i**2 - i - 15. Let c be l(-12). Let b be c*104/300 + 1. Let a be (-1)/(-1 + 2/1). Which is smaller: a or b?
a
Let q = -1162.1 + 1117. Let a = q - -45.2. Let o be (-4)/(-18) - 446/(-18). Are a and o nonequal?
True
Let r be (((-3)/38)/((-37)/(-1702)))/(2/(-24)). Which is smaller: 45 or r?
r
Let m be (-8 - (-3 - 3))/(3 - 2). Let p(i) = -i**2 - 17*i + 18. Let a be p(-17). Which is smaller: a or m?
m
Let o be (12/(-8))/(39/(-52)). Suppose 2*q + 2*l = -44, -o*q - l = 2*l + 46. Suppose w - 5*d + 32 = 0, -5*d + d = -3*w - 74. Is q < w?
False
Let n = 31 + -20. Suppose -w - n = -2. Let