Let c = p + -34. Let w = c + 15. Is w > -2/7?
True
Let i = -208/49 - -182930/43071. Which is smaller: 0 or i?
0
Let a = -208/3 + 71. Is 1 equal to a?
False
Suppose -36 = 2*i - 5*i. Suppose 6*s - i = 3*s. Let g = 4 + s. Which is bigger: g or 13/2?
g
Let p = 164 - 167. Is p > -3?
False
Let o be (-5)/(-4) + (-4)/16. Let u be o - (4/(-1))/(-1). Let a = 711 - 714. Do u and a have the same value?
True
Let b = 86 + -7653/89. Is 0 greater than b?
False
Let o = 8.9 - 5.5. Let v = 3.2 - o. Which is smaller: v or 14?
v
Let q be ((-15)/(-10))/((-10082)/8 + 1). Is q < 0?
True
Let y be (2*(-5643)/24 - 2)*1. Which is bigger: y or -473?
y
Let f = 6878/11 - 626. Is -0.2 less than or equal to f?
False
Suppose -278*w - 6867 = -275*w. Let i be w/(-308) + -7 + (-2)/11. Which is bigger: i or -67?
i
Let m be ((-3)/(-6))/(15/(-20)). Do 4/15 and m have the same value?
False
Suppose -2*r = 19 - 9. Let k be ((-5)/35)/(r/(-10)). Is 50 bigger than k?
True
Let z = -21 + 20. Let o = 43 - 33. Which is bigger: z or o?
o
Let s(o) = 2*o**3 + 20*o**2 + 20*o + 13. Let t(l) = l**3 + 10*l**2 + 10*l + 6. Let a(c) = -2*s(c) + 5*t(c). Let m be a(-9). Is m < -4?
True
Let f be 138/(-22011)*2/(-52). Does f = -1?
False
Suppose 0 = 3*m - 106 + 4. Suppose -m = -3*h + 44. Let y = -18 + h. Is y equal to 8?
True
Let w = 0.4162 + -19.3462. Let o = w + 19. Let r = o + -2.07. Which is smaller: r or 2/23?
r
Let o(m) = -2*m**3 - 7*m**2 + 11*m + 22. Let x be o(-4). Let g = 2 - 3. Let w = g - x. Is w less than or equal to 5?
True
Suppose -53 = n - 4*p, 13*p + 12 = 9*p. Is 2/7 != n?
True
Let b be -4 - 6 - 0/(-3). Let k = b - -32/3. Is k <= -2/5?
False
Suppose 0 = -2*z + 4 + 2, 0 = -3*q + 2*z - 30. Let w = 23 + -19. Let t be (3 + -8)*w*(-8)/(-20). Is t at most q?
True
Let f = -5964/65 - -458/5. Which is greater: f or 1?
1
Suppose 0 = -a + 3*d - 2*d + 19, 119 = 5*a + 3*d. Let r be 16/(-24) - a/(-24). Let k be ((-12)/54)/((-4)/(-6)). Do k and r have different values?
True
Let g = -7 - -20/3. Let k = -6 - -8. Suppose t = -k*f - 7, -2*f + 2*t = -2*t - 18. Are f and g equal?
False
Suppose -3*y + 4*x - 125 = 0, -4*y - 120 = -0*x + 4*x. Let b = -20 - y. Is 16 equal to b?
False
Let v(o) = 3*o**3 - o**2 - 7*o - 4. Let l be v(3). Is 0 greater than l?
False
Let i(n) = n**3 + 17*n**2 + 15*n - 12. Let b be i(-16). Suppose 3*o - b*p + 124 = -o, -p - 131 = 5*o. Is -25 at least o?
True
Suppose -3*h + 2*a + 8 = 0, -h - 6*a - 3 = -a. Suppose -5*t - 6*i = -2*i + 14, 2*i = h*t + 2. Is t bigger than -5/9?
False
Let b be (-30)/(-50)*(40/(-12))/5. Which is bigger: -67 or b?
b
Suppose -26*w = -23*w - 4*d + 19, -2*w + 5*d - 22 = 0. Which is smaller: -2/13 or w?
w
Let z be 6/18 - (-254)/(-6). Let c = -27 - z. Is 14 at least c?
False
Let s = -44 - -50. Suppose 16 = s*q - 2*q. Is -0.5 <= q?
True
Let l = -59/80 - 1/16. Suppose -11 = -2*p + b, 3*p + 8 = 5*p + 2*b. Suppose -r + 7 = p*j + 2*r, 3*j - 13 = -4*r. Is j > l?
False
Suppose 4*d - 185 = -5*v, v + 3*v = -3*d + 139. Suppose -d = -5*f + 15. Which is greater: f or 11?
f
Let c be ((-75)/(-20) + -4)*8/(-11). Which is bigger: -0.24 or c?
c
Suppose h - 27 = -8*h. Suppose 5*g + 164 = -h*i, -5*g - 2*i - 166 = -0*i. Are -34 and g equal?
True
Suppose -7 + 3 = 4*u + 4*l, 2*l = -4*u - 2. Let m(y) = -8*y**2 - y**3 - 6*y - 3 + 11 + u. Let b be m(-7). Is b >= 2/31?
True
Let v be (-16)/9 + 23/((-1656)/16). Are 3 and v nonequal?
True
Let c = 10489/86 - 122. Is -2/15 >= c?
False
Let g = -0.21 + 3.01. Let k = g - 1.7. Let p = -1.3 + k. Is 7 greater than or equal to p?
True
Let p(y) = 2*y**2 + 16*y + 38. Let z be p(-2). Which is bigger: z or 69/5?
z
Let r = -2/2209 + -61834/19881. Is -3 not equal to r?
True
Suppose 2*n + 3501 = 5*p, -8*n = 4*p - 12*n - 2808. Is 699 != p?
False
Let g be (-4)/12 - (-20)/6. Let u be (-4 - -5)*4/10. Which is greater: g or u?
g
Suppose -8*p - 1145 = 1199. Let l = p + -28. Let c = l - -6097/19. Which is smaller: c or 0?
c
Suppose 703 = -3*a - 16*o + 20*o, -3*a - 683 = o. Which is bigger: -228 or a?
-228
Let c be (-68)/(-13) + 25/(-5). Which is smaller: 1 or c?
c
Suppose 9 = -23*i + 32*i. Which is smaller: -6/233 or i?
-6/233
Suppose 0*z = 2*z - x + 251, -4*x = -2*z - 260. Let t be z/(-8) - 1/(-2). Let c be t/(-88)*(-3)/(-1). Which is bigger: c or -1?
c
Let r be 4/4 + 10/(-1). Let q be (r/9)/((-1)/(-1)). Let p be q/4*(2 + -10). Is p bigger than 1?
True
Suppose 5*a = 10*a - 60. Let c be (-8013)/1692 + 2/a. Let b = -15/47 - c. Which is smaller: b or -0.1?
-0.1
Let c be 1/(-36)*8 - (-2398)/18. Is 130 at most c?
True
Let k = 2213 - 502352/227. Which is greater: 1 or k?
1
Suppose 5*d = d + 72. Suppose 6*w - d = 3*w. Let l be -9*(-2 + w/9). Is 11 < l?
True
Let i = 122/553 - 1/158. Which is bigger: 1 or i?
1
Let a = -55 + 127. Let f = -75 + a. Is 4/5 greater than or equal to f?
True
Let s = -343 - -348.92. Let g = s - 6. Let h = 0.18 + g. Is 4 at least as big as h?
True
Suppose -5*g + 26 = l + 1, -2*l - 10 = -5*g. Suppose 2*h + l - 1 = 0. Let f be -6*1*(336/36 - 9). Is f at least as big as h?
True
Let g be (-4)/(-30) - (-3)/(-9). Let t(o) = -7*o**2 + 3*o**2 + 3*o - 1 + 3*o**2 + 11. Let q be t(5). Which is smaller: q or g?
g
Let q = 603 + -2387/4. Is q smaller than -2?
False
Let s(k) = -k**2 + 10. Let o be s(0). Let g(z) = z - 8. Let i be g(o). Suppose 0 = i*x - 4*c - 6, 0 = 4*x - 0*c - 3*c - 2. Do x and -8/5 have the same value?
False
Suppose 0 = 4*q + 4*n, 2*n = 5*q + 3 - 17. Let v be ((-1 - q) + 3)*1. Suppose j + x + 3 = v, 2*x - 4 = -3*j - 11. Is -4 at most j?
True
Suppose -a - 4*a - 3*l + 435 = 0, 3*a = 4*l + 232. Let u = a + -84. Which is smaller: u or -5/6?
-5/6
Let i = -2 + 5. Let y = -3.1 + i. Let j = -2047 - -8189/4. Are j and y nonequal?
True
Let m(s) = s**3 + 24*s**2 - 54*s - 52. Let g be m(-26). Is 2/223 bigger than g?
True
Let l = 270 + -443. Let w be l/(-12) - 6/(-8). Let x = w + -613/42. Which is greater: x or 2?
2
Let x be (12/5)/((-10)/175). Let i = x - -75/2. Is -2/9 bigger than i?
True
Let r be -32 + ((-1)/2)/((-4)/32). Let n = r + 99. Which is greater: n or 70?
n
Let n = 27.3 - 18.3. Which is smaller: n or 17?
n
Let w(x) = -x - 15. Let u be w(-15). Suppose d - 5*l = 41, 4*d = 4*l - u*l + 116. Is 26 at most d?
True
Let j(a) = a**3 + 25*a**2 - 57*a - 69. Let i be j(-27). Is -4 not equal to i?
True
Suppose s + 20 = -s - 3*r, -s - 15 = -r. Which is greater: s or -69/5?
s
Let j = 9 - 9. Suppose j = -5*h - 28 - 17. Let d(n) = -n**3 - 8*n**2 + 9*n - 1. Let v be d(h). Is -2 at least as big as v?
False
Let p = -51224/4415 + 2/883. Is p <= -13?
False
Let d(a) = -2*a + 70. Let u(t) = -t + 2. Let r be u(2). Let g be d(r). Suppose g = -0*z + 5*z. Is z less than or equal to 14?
True
Let a(k) = -2*k**3 - 6*k**2 + 4*k + 4. Let u be a(-6). Let x be u/(-52) + (-6)/(-2). Which is greater: -2 or x?
x
Let l be (-3)/(9/2) - 1888/(-2976). Which is greater: 0 or l?
0
Let z = -47.921 + -0.079. Let g = z + 49. Is 2/5 > g?
False
Let h be (-477)/(-5) - 6/(-10). Suppose -h = 2*m + 34. Let r be 6/4 + m/40. Is r at most as big as 1?
True
Let s be (3 - 1) + 12/(-6). Suppose s = 5*a - 5 + 30. Let u be ((-8)/(-6))/((-4)/9). Which is greater: a or u?
u
Let y = 572 - 565. Suppose -2*k - k = -57. Suppose 0 = 4*m - 9 - k. Does y = m?
True
Let u be (65506/49)/((-39)/7). Suppose 1200 = t - 6*t. Let i = u - t. Which is bigger: 0 or i?
i
Let f be (-5 - 42/510) + 5/1. Which is bigger: 0 or f?
0
Let x = -3.216 + 0.216. Is -57 greater than or equal to x?
False
Let t = -17306239/590 + 29332. Let w = -1/118 - t. Let x = 1/15 + w. Which is bigger: 2/11 or x?
x
Let a = -10 - -14. Suppose 0 = a*k - k - 5*n + 89, 5*n - 33 = k. Are k and -27 non-equal?
True
Let x be (-6)/(-14)*84/(-48). Suppose 5*u = -d - 14, -3*d + 6 = -5*u - 2*d. Is u at least x?
False
Suppose -2*s = -4*s. Let r be (-1)/(-3)*2 - (-222)/45. Let i = r + -61/10. Is i at least s?
False
Let i = 548061 + -374409. Let t = i + -1737889/10. Let f = 137 + t. Is f less than 1?
True
Let i(m) = -2*m - 3. Let l be i(-4). Suppose 2*n = 4*c - 40, -52 = -7*c + 2*c + 3*n. Let t = 14 - c. Is l at most as big as t?
True
Let g(x) = x**3 - 4*x**2 + 2*x + 15. Let r be g(5). Is 44 bigger than r?
False
Suppose -4*b + 2*b = i + 16, b + 4*i = -15. Let r = 12 + b. Suppose -r*t + 8 + 2 = 0. Is 1 smaller than t?
True
Suppose 8 + 44 = 4*v. Let g = v + -11. Suppose 