2 + 20*l + 61. Let p be d(-17). Let k = -402 + 2053/5. Which is smaller: p or k?
k
Suppose 0*c + 3*c = 6. Let p be 0*(c + 15/(-10)). Suppose p = 15*o - 98 - 97. Is o bigger than 13?
False
Suppose 0 = -n - 5*s - 5 - 33, -5*n = -2*s + 136. Let z = 1 - 36. Let v = n - z. Does v = 3?
False
Let l = 10116 + -10212. Which is greater: l or -101?
l
Let d = -3585 + 1874919/523. Which is smaller: -1 or d?
-1
Let h(w) = w**2 + 20*w + 55. Let q be h(-17). Let d be 8*(q - ((-3)/(-6) - -3)). Suppose -3*f - f + 5*a + 14 = 0, 0 = -5*f - 5*a + 40. Is d > f?
False
Suppose -681 = 8*p + 9*p - 1803. Which is greater: p or 463/7?
463/7
Let i = 1105 + -1499. Which is bigger: -393 or i?
-393
Suppose 2127*o - 7 = 2128*o + l, 3*l = -4*o - 24. Let n be -16 - (-2 + 2 + 0). Which is smaller: n or o?
n
Let u = 146.53 - 145. Let p = 0.93 - u. Is 6/7 > p?
True
Let s be 339 + (-3)/(-4) + (-143)/(-44). Let t = -10977/32 + s. Let j = 2 - 2. Which is smaller: t or j?
t
Let u = -120953/214120027 + 5/10769. Is u greater than or equal to 1?
False
Let s(a) = a + 6. Let o be s(8). Let k = 16 + -13. Suppose 0 = k*v - o*v + 22. Which is greater: v or 11/5?
11/5
Suppose -2*y = -4*y - 4*y. Let x be (264/(-15))/((y + 1)/5). Are -88 and x equal?
True
Let f = -58879586/2149801 + 4300/157. Which is smaller: -1 or f?
-1
Let s(h) = -22*h - 377. Let g be s(-12). Is g at most -119?
False
Let l = -385 - -585. Let b be 45/(-6)*3464/130. Let o = l + b. Do o and 3/7 have different values?
True
Let s = 67638 + -5816307/86. Let v = s - 1399867/214570. Which is bigger: 0 or v?
0
Let j be 7/3 + 1788/(-18). Suppose 9*v + 909 = -0*v. Which is smaller: v or j?
v
Let r be 4 + (-26)/7 - 18/14. Let u be ((-12)/100*-10)/(188/(-20)). Which is smaller: u or r?
r
Let a(l) = l**2 - 3*l - 5. Suppose -3*p + 5*j = -7, 2*j + 9 = -3*p + 23. Let w be a(p). Suppose 23880 = -44*c + 23748. Which is bigger: c or w?
w
Suppose -5*o = -1105 + 345. Let q = o + -153. Do -3/214 and q have the same value?
False
Let v(c) = 2*c**3 - 7*c**2 + 5*c - 4. Let i be v(3). Suppose -i - 25 = -5*o - 4*b, -5*b - 31 = -3*o. Let f = 45 - 46. Which is greater: f or o?
o
Let h be (70/3*5)/(53/(-8 - 310)). Is -705 at least as big as h?
False
Let b = -8 + 3. Let f be 5/(-5) + (-847)/b. Let u = f + -169. Are -1 and u nonequal?
True
Suppose -11*i - 24168 = -30*i. Let l be i/18*(-1)/6. Which is smaller: -11 or l?
l
Let n = -0.314 + 0.505. Let j = 38.191 - n. Which is greater: j or 1?
j
Let r = 1285715/166 + -7745. Which is bigger: -0.1 or r?
r
Let h be 611/6 + (-4)/(-24). Suppose 4*k + h = 6*k. Let j = k - 51. Which is greater: -3/8 or j?
j
Let f = -4270 - -4252.48. Is -2/3 at most f?
False
Let x = -2359 - -2379. Let g(t) = -t**3 + 7*t**2 - 2*t - 7. Let r be g(6). Which is greater: r or x?
x
Suppose 2*u = -2*s + 8, -4 + 3 = -s. Suppose 7*z = -u*z. Suppose -4*k = -z*k + 4. Which is smaller: 2/179 or k?
k
Let t(a) = -a**2 - 5*a + 47. Let p be t(-9). Suppose p*z - 2*z = 0. Is z less than 10/11?
True
Let p = -51.952 + 0.352. Let h = 51.3 + p. Do h and 24 have the same value?
False
Let b(a) = -31*a**2 + 36*a + 149. Let g be b(-4). Does -492 = g?
False
Suppose 45*m - 3430 = 5570. Which is smaller: m or 209?
m
Let q(l) = -126*l - 646. Let w be q(-7). Is w greater than 1?
True
Let u = 256 - 179. Let k = 80 - u. Let f = k + -2. Is f greater than or equal to 0?
True
Suppose -d = 2*d - s - 29, 5*d - 65 = 5*s. Let n be 4/20 - (-5 - (-72)/(-15)). Is n bigger than d?
True
Let s(y) = -y + 6. Let q be s(-8). Suppose 0 = 4*o - 4, 9*j - 4*j - q = o. Suppose 0 = -3*v - 5*c + c + 4, j*c = -3*v + 3. Is v less than -1/24?
False
Suppose -4*d + 6 = 646. Let w = -101 - d. Let p = w + -591/10. Is p < 0.1?
True
Suppose 4 - 1 = -3*d. Let g = -65155 - -3127445/48. Are d and g nonequal?
True
Let h be (-7242)/(-36) + -7 + 5. Let n = -199 + h. Is n greater than 3?
False
Let k = -8009/5 + 24017/15. Is 1248 less than or equal to k?
False
Let y = 4574 + -3578. Which is bigger: y or -1/2?
y
Suppose -29*r + 25*r + 200 = 0. Suppose 49*g = r*g + 8. Let q be (-4)/22*(-8)/g. Which is greater: 0 or q?
0
Let y = 179.46 + 13.94. Let p = y - 117. Let c = p - 76. Which is smaller: 0.05 or c?
0.05
Let i = 8 - 3. Let c be (-9 + -3)*6/207. Let q = c - -118/207. Which is smaller: q or i?
q
Suppose -5*q = -20, 2639 = -3*k - 2*q - 980. Which is bigger: k or -1210?
k
Let s(w) = -2*w + 4. Let b be s(-11). Let r(o) = 5*o**2 + 13*o - 17. Let p be r(2). Suppose -5*c - b = -4*f + 3*f, -4*f + p = 5*c. Are f and 10 non-equal?
True
Let m = -0.1844 - 4.8156. Which is smaller: m or -2?
m
Let f be (463/3)/((-1)/(-3)). Which is smaller: 462 or f?
462
Let f(v) be the third derivative of 5*v**4/12 + 11*v**3/6 - 15*v**2. Let y be f(-5). Let j = -40 - y. Which is smaller: 3 or j?
j
Let z = 157 - 160.8. Let v = z - 0.2. Is -2 < v?
False
Let l = -95 + 113. Suppose -16 = -4*c, 3*w - 4*c = 7*w - 40. Is w equal to l?
False
Let d(u) = 9*u**2 - 149*u + 437. Let y be d(3). Which is smaller: 0.03 or y?
0.03
Suppose -5*h - 125 = 2*m, -3*h + 24 = -3*m + 120. Let s = 186/7 + h. Are 1 and s equal?
False
Let s be 22/(13 - (-11)/(-3960)*4676). Are 1989 and s non-equal?
True
Let t = 623 - 623. Suppose 3*p = -4*m - 8 - 15, 4*p - 2*m - 6 = t. Let b be (24/46)/(2*1). Which is bigger: p or b?
b
Let v = -2159 + 2256. Are v and -0.2 unequal?
True
Let h = -20.3 + 3.3. Let u = 17.15 + h. Let l = 133 + -135. Which is greater: u or l?
u
Let s = 0.06786 - 0.14786. Is s smaller than -0.3?
False
Let a = 184619/893910 - 74/359. Is a < -1?
False
Let y(p) = -3*p**2 - 17*p + 20. Let k be y(1). Which is bigger: -49/190 or k?
k
Suppose 3*c = c - 40. Let z be ((-19)/(-4))/(-6*10/240). Is c greater than z?
False
Let b(k) = -3*k - 2*k - 1572 + 1524. Let a be b(-10). Suppose -2*n + 0*n - a = 4*c, 0 = n + 3*c + 5. Is n at most 9?
True
Let p(u) = u**3 + 44*u**2 - 358*u + 144. Let i be p(-51). Which is greater: 215 or i?
215
Let p = -4689/436 + 55/109. Is p less than or equal to -8?
True
Suppose 25*n - 300 + 0 = 0. Suppose 8*o = -4*o - n. Is o greater than -253?
True
Suppose -169*a - 26703 = 12843. Which is smaller: a or -237?
-237
Let b = -3/1685 - 407761/5055. Let l(j) = -265*j - 78. Let k be l(0). Let w = b - k. Is -4 greater than w?
False
Let u be ((-3)/318)/((-3)/(-60)). Let c = 9014/583 + u. Is 16 at least as big as c?
True
Let f be 1 - 0 - (-19)/2. Suppose -49*i = 2650 - 3140. Which is greater: i or f?
f
Let u be 5028/48 - 75/20. Which is smaller: u or 102?
u
Let n = 1182 - 104015/88. Let p = 878 - 877. Is n at most p?
True
Let n = 148 - 148.061. Let h = -521.739 + 522. Let f = h + n. Does -0.12 = f?
False
Let v be 0*(56/(-3) - -19). Is v bigger than -150?
True
Let x = -2072 - -1420. Let y be (-142)/497 + (0 - x/126). Do y and 5 have different values?
True
Let q be 12 - -13 - (-6196872)/(-247872). Which is smaller: 0 or q?
q
Let s be (-10)/(-75) + (-86144)/(-120) + 1. Is 722 less than s?
False
Let s(m) = -m**3 - 24*m**2 - 127*m - 38. Let n be s(-16). Let x(r) = -4*r**2 + 3*r + 4. Let f be x(4). Let w be (0 - 2) + f + -4. Is w at least n?
True
Let y be (9/3)/((-108)/24 + 3). Is -2658 >= y?
False
Suppose 5*x - 22*x = -136. Suppose 0 = 8*t + x*t - 64. Suppose 5*m + 4*q - 35 = 0, 2*q - 7 = -4*m + 3*q. Is m at most as big as t?
True
Let c(b) = -5*b**2 - 422*b - 697. Let t be c(-89). Is -8236/3 smaller than t?
True
Let m = -4.276 - -0.546. Let x = m - -3.73. Does -54 = x?
False
Let p = 2259/11246 - 74425745/320511. Let g = -232 - p. Which is bigger: 0 or g?
g
Suppose 2*a + 0*a = 2*v - 152, -207 = -3*v - 4*a. Let t = -85 + v. Which is bigger: 27 or t?
27
Let n(h) = -h**3 - 2*h**2 + h. Let p be n(-2). Let a be p + (-5)/3*-1. Suppose 40*d - 67 = 203 + 50. Is d greater than a?
True
Let u be (-4)/14 - 8982/(-126). Let w be u/((21/(-6) + 4)/(-1)). Is -141 at least as big as w?
True
Let p be ((-627)/(-6))/(-11) + (-1)/(-2). Let r be (p + 3 - -6)/((-2)/(-1)). Suppose c + 4 = -r*k + 2*k, -4*c - 3*k - 16 = 0. Are -2 and c equal?
False
Let q = -992 + 933. Let k = -0.5 - -1.5. Which is bigger: q or k?
k
Let z = 4986 + -4962. Let i = 177 - 123. Let s = i - 31. Is s bigger than z?
False
Let p = 8 - 3. Suppose -p*j + 0*d + d = -11, 3*d = -5*j + 27. Suppose -11 = j*i + 61. Is i less than -23?
True
Suppose 2*h - f - 4 = 0, 0 = 5*h - f + 30 - 31. Is -1/132 > h?
True
Suppose