= -127, 4*l + f - 125 = 14. Let o = 8 + -1. Let n = l - o. Which is greater: 0 or n?
n
Let q = 3 - 77. Let u = q - -68. Let l be -2 - ((-78)/63)/((-2)/u). Is l at least 3?
False
Let g be 28/168 - (-166)/12. Suppose -15 = 2*a + 5. Let l be (-9)/(-1) - (a - -13). Which is smaller: l or g?
l
Suppose 2*h - 711 = 6*h - 5*w, 5*h + 885 = 5*w. Let c = -175 - h. Which is smaller: c or -41?
-41
Let x be (-2)/4 + ((-34122)/12)/(-11). Let t = 259 - x. Is t bigger than 1/31?
True
Let y = 63.29 + -25.09. Is y >= -0.1?
True
Let y(o) = -o**2 + 5*o + 6. Let s be y(6). Suppose -2*d = 5*g - 25, d - 2*d - 5*g + 25 = s. Let x = -6357/8 + 796. Does x = d?
False
Let c be ((-2)/6)/((-1)/(-3)). Let g = -28797719/115 + 250415. Which is greater: g or c?
g
Suppose -5*o = -23 + 3. Let j = 199 - 140. Which is greater: j or o?
j
Let i be 30/2*(-7)/((-35)/(-15)). Let l = i - -42. Which is greater: l or -31/7?
l
Let u = 100 + -47. Let q = 156 - 294. Let c = -84 - q. Do u and c have the same value?
False
Let n be (-66688)/(-4088) - (-15)/(-1) - (-2)/(-7). Which is smaller: 2 or n?
n
Let y = -0.06 - -0.06. Let x = 3365 + -3364. Is x greater than or equal to y?
True
Let w = -2515/544 - 1/544. Let d = -391/88 - w. Is d at most as big as 4?
True
Suppose -39 = -5*m - 2*n, 2*m + 2*n = 11 + 7. Suppose -m = -r - 6*r. Is r <= -1/4?
False
Let z(j) = j**3 - 9*j**2 + 9*j - 8. Let o be z(8). Suppose b + 4*g - 70 = o, -3*b - 2*g + g = -210. Which is bigger: b or 71?
71
Suppose -4*a = -126 + 30. Let h be 2/3 + (-8)/a. Are 85/6 and h equal?
False
Let x be (-10 - 720/(-50))/(23/2*2). Which is bigger: x or -1?
x
Let u(m) = 8*m - 2. Suppose -4*r = 2*y - 2, r - 3*y + y + 7 = 0. Let d be u(r). Let p = 4.8 + -4.7. Is d at least as big as p?
False
Let b = 397622.271 + -397452. Let w = 0.729 + b. Is -2 <= w?
True
Suppose -30*m + 12905 = -13038 - 47707. Is m greater than or equal to -1/3?
True
Let v be (-2471)/245 - (-13 + 3). Which is smaller: v or -13?
-13
Suppose 8*a = -0*a - 16. Let k(d) = 4*d - 10. Let x be k(a). Let b be 75/27 - x/81. Which is smaller: b or -4?
-4
Suppose -3 = 5*j - 2*j - z, 3*j = -2*z + 6. Suppose 0*r = -j*r - 5*r. Is r >= 63?
False
Let g = -3 + 7. Suppose -g*k + 7 = -1. Let t(n) = n**3 - 2*n**2 + n - 2. Let s be t(k). Is 9/10 > s?
True
Suppose -5*z + 694 = -3*p, 0 = -4*p + 13 - 5. Let w be (z - -1)*(-441)/189. Which is bigger: w or -328?
-328
Let p be 2 + 56/(-32) - (-92)/80. Let x be (-1 + 9/3)*1. Is p greater than or equal to x?
False
Let v be (-5)/40*-116*(1 - -1). Let d = -29 + v. Let x be ((-516)/44)/(-3) - 4. Which is smaller: x or d?
x
Let t be 232/6*-24*(-2)/32. Let j(i) = i**3 - 5*i**2 + 3*i + 2. Let r be j(6). Which is bigger: r or t?
t
Let o(q) = -q**2 + 142*q - 4149. Let g be o(101). Is g at least -125?
True
Let i be ((-94)/47)/(4/2 + -4). Is -4/2065 < i?
True
Let u be (-11)/20 + ((-93)/62)/((-15)/8). Which is smaller: u or -167?
-167
Let k be 5*8/120*3. Suppose -4*g - 4 = t + 4*t, -2*t + k = -g. Let v = 300/7 + -12886/301. Do v and g have the same value?
False
Suppose -25 = -3*r - 2*r. Suppose 64*v + 40 = 72*v. Suppose o = -0*o + 5*t + r, v*o = 4*t + 25. Which is smaller: 3 or o?
3
Let u be (-2)/5 - (-1397)/55. Suppose -3*h - 19 = -u. Let z be 4*((-2)/(-5) - 1/h). Is z equal to -1?
False
Let o(j) = 44*j - 80. Let u be o(5). Let z be ((-30)/16)/(15/u). Which is bigger: z or -17?
-17
Let y = 9 - 6. Suppose z = -y*z. Let q be (1 - 12/13) + 28000/(-634400). Is q at least z?
True
Let i be (63/2 + -1)/(1/12). Let y be 46/230 - i/5. Are y and -72 unequal?
True
Suppose 4*l + 2*z = -l + 15, 3 = l + 2*z. Suppose 2*o + 4*j + 21 = 3*o, 3*j - 33 = -l*o. Suppose -73*n + 74*n - 32 = -2*i, 3*i + 5*n - 69 = 0. Is o at least i?
True
Let k = 2 + -2.05. Let v(s) = 16*s**2 + 21*s + 20. Let t be v(-1). Let n be 2002/(-390) - (-1)/(t/2). Which is bigger: n or k?
k
Let h be 1125 - 35/(280/(-144))*2/6. Are h and 1129 non-equal?
True
Let p = -110473 + 421454507/3815. Does 0 = p?
False
Let w be (-4)/(-48) + (-62)/744. Which is bigger: w or -4/2589?
w
Suppose 366867 + 37187 = -49*l. Let i be (-2)/17 + 11 + l/714. Let r(u) = u**3 - 3*u**2 - u + 3. Let s be r(3). Which is smaller: i or s?
i
Let i be -9 - ((-32)/8 - -1) - (-59 - -1). Which is smaller: i or 658/13?
658/13
Let y(j) = 5*j**2 - 5*j + 8. Let a be y(4). Suppose 3*z + 3*o - 61 = -o, 0 = 4*z + 2*o - a. Suppose -1 = -5*l - 4*d + 48, 9 = l + d. Are l and z equal?
False
Let v = -64.3 - -64. Let c = -92 + 113. Let a be ((-80)/15 - -6) + (-10)/c. Which is bigger: v or a?
a
Let k = 4003 + -321. Is 3682 bigger than k?
False
Let r be 9/(-1) - 30/(-6). Let f be r/14 - ((-5220)/(-28))/(-5). Let d be (-4)/(-12) - (-214)/6. Which is bigger: d or f?
f
Suppose -34*m - 4 = -8*m + 22. Let a be ((-4)/(-104))/((-171)/12). Which is smaller: a or m?
m
Let f = -121353048431/441 - -1926213363/7. Let y = f - -3643. Is y greater than or equal to 0?
True
Let h(l) = 2*l**3 + 7*l**2 + 78*l - 185. Let t be h(2). Let a = 1/47 - -1361/94. Which is bigger: a or t?
t
Let g(o) = 23*o + 2216. Let m be g(23). Is m > 2744?
True
Let x be (-12)/6 - 7*-41. Let u = 3054 - 2109. Let g be 1/3 - x/u. Which is smaller: g or -1?
-1
Let i be (2508/77)/(4/(-2) + (-1068)/(-532)). Which is greater: i or 4329?
i
Let l = 8667 + -8668. Which is smaller: 11403 or l?
l
Let u = -15.942 + -0.058. Let q be 2/((-4)/(-6)) + 14/(-7). Is u bigger than q?
False
Let g = -50 + -69. Let h = g - -119.52. Is 3 greater than or equal to h?
True
Let y = -11332 - -11397. Suppose -5*b = -g + 30, -2*b = -5*g + 18 + 17. Suppose -5*s - 90 = -u, 5*u - g*s - 369 = -19. Does y = u?
True
Let y(w) = -w**2 - 20*w - 77. Let r be 18/(-405)*5 - (-133)/(-9). Let v be y(r). Is v > -19/7?
True
Let c be 14/126*24/(-34). Suppose u + 3*u = -40. Let v be 0/((-5)/(u/4)). Which is greater: v or c?
v
Let q(f) = -31*f**3 - 2*f + 1. Suppose -m + 4*m - 27 = -5*a, a - 11 = -2*m. Let l = m + -3. Let d be q(l). Is -32 at least as big as d?
True
Suppose 516*b + 427 - 5071 = 0. Suppose 2*u = 3*x + 6 + 4, -3*u + 45 = 3*x. Which is bigger: b or u?
u
Let o = 6539.3 + -1116.3. Which is smaller: 0 or o?
0
Suppose -34*s + 5*k + 787 = -38*s, 5*s + 1025 = 2*k. Is s less than or equal to 3?
True
Let o = -0.458 - -0.42. Let s = -0.008 + o. Let c = s + 0.016. Which is smaller: c or 0?
c
Let z be (54/(-15))/(39*4/6). Let o = z - -1103/455. Let j = 15 - 12. Which is greater: j or o?
j
Let o = -2975 + 1620. Do -1355 and o have different values?
False
Suppose -3*s + 10 = 22, 3*p = -4*s - 97. Suppose 4*y + 319 = -7*y. Which is smaller: p or y?
y
Let o(i) = -i**3 + 9*i**2 - 12*i - 6. Let q be o(7). Suppose q*y - 7*y = -188. Are y and -188 equal?
True
Suppose -358*h + 420 = -351*h. Is h > 59?
True
Let u(n) = n**3 - 7*n**2 - 10*n + 17. Let g be -3 - -2 - (-2 - (-3 - -4)). Let q be 48/(-9)*(7/(-2) + g). Let f be u(q). Which is bigger: f or 1/53?
f
Let g = 1.001785 - 0.001785. Let r = -0.11 - -58.11. Is g >= r?
False
Suppose 46*u = 47*u - k - 7, 3*u + 2*k - 31 = 0. Let c = -11 - -22. Which is smaller: c or u?
u
Suppose 2*o = 4*k + 2, -k + 6*k = -o + 1. Let b = 318058/113585 + -4/22717. Is o at most as big as b?
True
Suppose 1728 = 3*d + 15*d. Let z be (d/(-33) - -3)/(17/2091). Is 12 less than z?
False
Let r = 2 - 3. Let y be (4/1 - r)*1. Suppose 3*f - 15 = -2*v, -3*f + 20 = 3*v - f. Which is bigger: v or y?
v
Let p = -43.4 + 29.7. Let k = p - 11.1. Let u = 24 + k. Is u at most 0.02?
True
Let q be -3*6661/3 + -1. Let b = 19792/3 + q. Are -66 and b unequal?
True
Let z(i) = i**3 - 10*i**2 + 2*i + 26. Let b = -220 + 225. Let g be z(b). Is g at most -88?
True
Let u be -529 + 2/(-10)*16 + (-70)/(-350). Is -533 not equal to u?
True
Let z = -11.6 - -13.6. Let g be (-126)/165 + 2/5. Let q = -6/11 - g. Is q equal to z?
False
Let o(y) = -y**3 - 3*y**2 - 2*y - 7. Let l be o(-3). Let f be (-1*(36 - l))/(10 - 11). Are f and 35 equal?
False
Let k be (-5)/(5/3) + 310 + -11. Let a = -299 + k. Which is smaller: a or -6?
-6
Suppose 1 - 8 = z. Let r = -104 - -108. Suppose 43 = -5*l - 2*o, 0 = 5*l - r*o - 0*o + 49. Is l at least z?
False
Suppose -5*n + 3 = -3*w, 0 = -2*w + 3*n + 2 - 4. Let m = -38 + 42. Let a be ((-3)/6)/((-53)/m*-1). Which is bigger: a or w?
a
Let v be (1/5260*-2)/((125/60)/(-25)). Is v bigger than 1?
False
Let k(n) = -57*n + 571. Let x be k(10). Let t b