= 209 + v. Is n less than 42?
True
Let c = -0.02 - -0.32. Let i = -252 + 252.2. Let g = i - c. Are -0.2 and g equal?
False
Suppose -4*j + 11 = -25. Let z be ((7/98)/((-3)/j))/(-3). Which is smaller: z or 0?
0
Let h = -258 + 263. Suppose -h*l + 4*i - 1231 = -2*l, -5*l = 3*i + 2042. Are l and 0 unequal?
True
Let l(w) = -w + 8. Let t be l(2). Let j be (-46)/4 + 1*(-3)/t. Let m be 138/j*3/(12/2). Which is bigger: -7 or m?
m
Let b = -522.41 - -514. Let i = -3.59 + b. Is i <= 1/3?
True
Let g = -191 - -193. Let l be (10 + 136/(-16))/(g/4). Is l at least 9/4?
True
Suppose 0 = 11*c - 5*z + 13, -5*z + 0*z = c - 37. Let b = 64/143 - -6/13. Which is smaller: c or b?
b
Let l = 5.4 + -2.8. Let a = -128 - -120. Let z be (a + 2)/(-9 - (-1)/(-1)). Is l bigger than z?
True
Let y = -81 - -106. Let w = -26 + y. Let u be (0/1)/(w - -2). Are -3 and u equal?
False
Let l(q) = -5*q**2 + 5*q + 12. Let s be l(-2). Let r = s - -33. Let i be 0 - 5/3*r. Which is bigger: -24 or i?
-24
Let g = 67.73 + -68. Let k = g - -0.17. Suppose 25*p = 54*p + 174. Which is smaller: p or k?
p
Suppose d = -3*o - 87, 91*d = 94*d. Which is smaller: o or -53?
-53
Let f(s) = s**3 + 26*s**2 + 4. Let b = 758 - 784. Let u be f(b). Which is smaller: u or 0?
0
Let p = -3780 - -6709/2. Is -427 less than p?
True
Let d = 757 + -490. Let b = 270 - d. Which is bigger: 44 or b?
44
Let p = 5 - 4. Let j = -3545 - -31900/9. Is j greater than p?
False
Let u be (-10)/(-6) - (1 - -1). Let p = 29.75 + -29.8. Which is bigger: u or p?
p
Let x be (-584)/(-22) + -2 + 0. Suppose 2*z - 58 = 5*p, -5*z - 18*p + 15*p = -114. Is x less than or equal to z?
False
Suppose -6*f - 14 = o - 2*f, 5*o = -f + 25. Suppose o*v = v. Suppose 2*m + 5*l - 16 = 0, -4*l - 173 + 179 = 5*m. Is v >= m?
True
Let i(k) = -k**3 - 10*k**2 - 12*k - 122. Let v be i(-13). Is v greater than or equal to 543?
False
Let t be 9 + 82*13/(-118). Suppose 0 = -2*h - f + 4, 4*f - 8*f = -3*h - 16. Which is bigger: t or h?
h
Let h = 81 + -91. Let o be (15/h)/((-21)/(-8)). Let v be -3 + (-2 - (-3 - 2)). Is v bigger than o?
True
Let o(v) = -2*v**2 + 13*v - 4. Let d be o(6). Suppose 0 = -d*i - 2 + 10. Suppose -5 = -q + t, 2*q + i*t + 3 = -5. Which is smaller: q or 9/5?
9/5
Let m = 2 - 2.3. Let r = 506.15 + -506.34. Is r bigger than m?
True
Let c(t) = 1877*t - 2370. Let r be c(10). Which is greater: 16401 or r?
16401
Let w = 19235/7535853 + 2/19989. Which is greater: -1 or w?
w
Let a(t) = -t**3 + 3*t**2 - t - 1. Let j = 36 - 37. Let c be (j/(-1))/(3/6). Let m be a(c). Which is greater: m or 2/155?
m
Let t = -1208.348 - -1220. Let a = t + 0.348. Let f = 49/5 - 10. Which is smaller: f or a?
f
Let o be 3*27*(-1363)/(-3807). Suppose -3*r - 2 + 11 = 3*f, 4*r - 12 = -5*f. Is f at most as big as o?
True
Let q = -767 - -760. Let v be 0/(2*(q + 6)). Let x(o) = -2*o - 1. Let s be x(-2). Which is smaller: s or v?
v
Let t be (-1 + 4 + -5)*297/201. Let z = t - -133120/45091. Is 0 less than or equal to z?
False
Let m be (((-1109430)/78155)/(-54))/(5*5). Let x = -8192274/1595 - -25681/5. Let t = m + x. Is 1 < t?
False
Suppose 0 = 17*c - 20*c + 6*w + 3408, w = c - 1133. Which is smaller: 1129 or c?
1129
Let s(k) = 0*k + 12*k + k + 9 - 4*k. Let m be s(-2). Let d = -3178/3 - -1049. Is m at least d?
True
Let n be ((-9)/4)/(-1 + 36/32). Let x(s) = -2*s - 11. Let o be x(n). Does o = 23?
False
Let o = -173 + 535. Let a = -362.0584 + o. Is a greater than 0?
False
Let p be (-2 + 1)*0/2. Let c be (-32)/604*27*(-24)/(-1296). Is p less than c?
False
Suppose -67*k + 70*k + p - 659 = 0, 2*p + 882 = 4*k. Let r be (-308)/k + 718/370. Are r and 0 unequal?
True
Let j(i) = -1526*i - 8165. Let k be j(6). Which is bigger: -17320 or k?
-17320
Let v be (-46 - -53)*727/7. Let z = -5825/8 + v. Is z <= 0?
True
Let k = -5305 - -5412. Let t be (2*(1 - 0))/(6/309). Which is smaller: k or t?
t
Let n = -872883/43 - -20297. Is n not equal to -3?
True
Let k(g) = 7 + 17 - 5*g**2 - 9*g**2 + 22*g + 13*g**2. Let r be k(23). Let w be 2/17 - (r - (-974)/(-1258)). Which is smaller: w or 0?
w
Suppose 21*p = 19*p + 2*l, 2*p = -2*l + 20. Is 67/12 less than p?
False
Let h = 2814 + -2813. Which is greater: h or 2/2483?
h
Suppose -2045*n = -2049*n + 12. Suppose 4*t + 3*m - 639 = 0, 0*t + n*m - 480 = -3*t. Which is greater: 157 or t?
t
Let u = 0.08 + 0.22. Let p = -26639.1 + 26623.1. Is u at most p?
False
Let h be (-13 - -16) + 3/3. Suppose -4*k = -4*g + 304, h*k - 2*g = -148 - 164. Is k <= -80?
True
Let r = 73889074107319/61999 + -1191778482. Let i = 2/521 - r. Are i and -1 nonequal?
True
Let j(h) = 4*h + 83. Let s be j(-21). Is -21/121 > s?
True
Let o(i) = -i**3 + 8*i**2 - 10*i + 17. Let l be o(7). Let b be (-14 + 5106/366)*l/18. Is b at least as big as 0?
True
Suppose l - 3*l + 32 = 0. Suppose -3143 + 520 = -61*i. Suppose -5*u + 3*u + i = -5*q, -2*q + 2*u = l. Which is greater: q or -10?
q
Let a be 1*4/(-8)*2*-4. Suppose o = 0, a*o + 4 = -2*i + 10. Suppose i = -7*w + 4*w. Are -4/11 and w nonequal?
True
Let t = -77469.949 - -77295. Let i = 175 + t. Which is smaller: -0.1 or i?
-0.1
Let q(i) = 266*i - 53. Let t be q(0). Let p be (-3210)/(-24)*(-4)/10. Which is bigger: p or t?
t
Let y(f) = -26*f - 1406. Let o be y(-54). Which is smaller: o or 570?
o
Suppose 35 = 7*k - 0. Suppose -4*s - 19 = -3*c, 12*s = -k*c + 16*s + 37. Is 14 != c?
True
Let i(h) = 2*h**2 - 22*h - 15. Let m be i(12). Suppose 0 = -2*j - m*j + 11. Which is smaller: j or -3/89?
-3/89
Suppose -9 = -5*s + 11. Suppose -s*f = -6*f + 42. Let t be 6/(-26) - 34481/(-1599). Which is bigger: t or f?
t
Let h = 1 + 1. Let y = -327.24 + 326.67. Which is greater: y or h?
h
Let q = 248297/6 - 41376. Suppose -101 = 4*s + n, -6*s - 106 = -2*s + 2*n. Let d = -16 - s. Is q > d?
False
Let d be (-2)/3*(-1)/(-24)*153. Let t(f) = -f**2 + f + 71. Let p be t(0). Let y = 66 - p. Which is greater: y or d?
d
Let o be (1/(-4))/(130243/3892). Which is bigger: 1 or o?
1
Let s be 1450*399/4693 + 4/38. Which is smaller: 123 or s?
123
Suppose 0 = 10*b + 165669 + 18601. Let u = -128739/7 - b. Are u and 35 equal?
False
Let q = 5.934 + -0.976. Let c = q + 0.042. Is c less than or equal to 7?
True
Let n(q) = 5*q + 40. Let m be n(-7). Let r be 9/m + -2 - (-8)/40. Which is greater: 3/121 or r?
3/121
Suppose 2*y = -2*a + 4 - 0, 0 = -5*y - 3*a + 6. Suppose y = v - 4*v. Suppose 2*i = 4*b - 32, 0 = 374*b - 370*b + 6*i. Is v at least b?
False
Let y = 3/46534 - -40437995/791078. Which is smaller: 51 or y?
51
Let v(t) = 6*t - 39. Let u be v(8). Let j be 82214/(-50) - (-9)/(u/(-4)). Let z = j + 1648. Which is bigger: z or -1?
z
Let s(o) = o**3 - 5*o**2 + 2*o - 6. Let f be s(4). Let r be 102/20*(98/(-30) + (-18)/(-30)). Which is greater: f or r?
r
Let h = 24 - -7. Let v be 58*(-26)/(-13)*(-1)/(-4). Which is bigger: h or v?
h
Suppose 723 = -3*w - 4*l, -3*l + 624 = -3*w - 99. Let a = 983 + -1223. Is a less than or equal to w?
False
Let y = -146.3 - 6.7. Let a = y + 154. Is 0.3 <= a?
True
Let c be 6 - 4 - (-5 - -4). Let h be -2 - ((c + -3 - 4) + 6). Let u be 9/(-36) + (-1)/h. Which is smaller: -1/38 or u?
-1/38
Let p(c) = 2*c**3 + 5*c**2 - 13*c + 5. Let v be p(-10). Let y be (-1 + 27/15)/((-26)/v). Which is bigger: 44 or y?
44
Let c(p) = -p**2 + 17*p - 37. Let o be c(-22). Which is bigger: o or -896?
o
Suppose -5*u = -82 - 18. Suppose -6*b = -b + u. Let d be (6/b)/(72/(-48)). Does d = 4/13?
False
Let b = 11713 + -11712. Which is greater: b or -12/103?
b
Let i = -1.209 - -1.2. Let a be (-7)/(770/(-11))*4/(-1). Is a at least i?
False
Let i(t) = t + 22. Suppose o = -s - 26, 5*o + 4*s + 156 = 29. Let h be i(o). Which is smaller: -2/153 or h?
h
Let q = -205 - -160. Let a = q - -134. Do a and 2/5 have the same value?
False
Let j be (-17554)/11 - (-158)/(-869). Is j greater than or equal to -1603?
True
Let w = 1183 - 3583/3. Let p = 164/15 + w. Which is smaller: p or -6?
-6
Suppose 23*l = -33*l - 56. Which is greater: -2/28743 or l?
-2/28743
Let u(i) = 42*i**2 - 11*i**3 - 42*i**2 + 2*i + 1. Let o be u(-1). Let d be (-2)/5*o/17. Is d equal to 1/2?
False
Let m be 32/(-56) - 670/714. Let k = m - 18767/102. Is -187 >= k?
False
Let p(r) = 0 - 2 - r**3 + 46*r - 75*r + 27*r**2. Let j be p(26). Is -78 greater than or equal to j?
True
Let o be (1 + 1 + -3)*(-2 - -2). Let w = 5 - o. Suppose 3*s + 4 = 2*z, 5*z - 10 = -s + w