6*1/2*-4. Let x = 5 + -4. Let c be x/(-4) - 14/(-24). Which is bigger: c or t?
t
Let s be (15 - 11)/(((-54)/(-39))/(-3)). Is s bigger than -2/15?
False
Suppose -4*m + 52 = 5*v, -5*v + 2*m - 4*m = -46. Suppose 3*u + 0*l + l = -v, 5*l = 20. Which is smaller: u or -5?
-5
Let x be 0/(-3*(-5)/(-5)). Which is smaller: x or 6/31?
x
Let u = 59 - -77. Let m = -136.29 + u. Which is smaller: m or -2?
-2
Let r = -96 + 489/5. Let s(v) = -v + 4. Let u be s(4). Let j(p) = p**2 + p + 2. Let c be j(u). Which is smaller: r or c?
r
Let a(t) = t**2 - 22*t + 19. Let m be a(28). Is m less than 565/3?
True
Let z = 1377 - 1374.1. Which is smaller: 0.04 or z?
0.04
Suppose y = -y - 2*l - 4, 0 = -2*l - 6. Suppose n - 1856 + 1854 = 0. Which is bigger: n or y?
n
Let s be -8 + 6 + 2 + -18. Is s > -18?
False
Let j be -59 + ((-12)/(-3 - 1) - 3). Which is smaller: 2/11 or j?
j
Let g = -385 - -385.2. Is -4/95 less than or equal to g?
True
Let u(h) = -2*h**3 + 46*h**2 + 2*h - 43. Let a be u(23). Suppose -12 + 2 = -2*g. Let c(r) = -r**2 + 6*r - 2. Let y be c(g). Is y bigger than a?
False
Suppose -7468*j = -7481*j - 1794. Which is bigger: -140 or j?
j
Let s(n) = 2*n**2 + 6*n + 10. Let j be s(-3). Let c = 8 + -8. Let q = c - -9. Which is greater: q or j?
j
Suppose 4*g - 12*g - 240 = 0. Let k be 114/(-670) - 6/g. Let u = k - -21/1541. Which is greater: u or -1?
u
Suppose i - 6*i + 15 = 0. Let v be 6*(5 - i)/6. Let h be v/48 - (-8)/24. Which is smaller: h or 0?
0
Let b = 90 - 53. Let p = b - 37. Suppose p = 2*x + 6 + 8. Which is greater: -2 or x?
-2
Let p = -67 + 126. Let l be 0 - 2 - (-120)/p. Let i = -226/295 - l. Which is smaller: i or -1?
-1
Suppose 30 = 4*t - h, h = 5*t + 6*h - 50. Let c = t + -11. Let u be (-1 - c - 2)/(-1). Are -1/3 and u nonequal?
True
Suppose z = -0*z + 4. Suppose -4*a = -4 - z. Suppose -a*h + 4*l = 0, -2*h + h - 3 = -5*l. Is 1/2 less than h?
True
Let y(v) = v - 11. Suppose 0 - 2 = -c. Let k be (-108)/63*(-7)/c. Let i be y(k). Which is smaller: -7 or i?
-7
Let w be -2 - 2/((-16)/(-24)). Which is greater: -102/19 or w?
w
Let u = 247 + -1731/7. Suppose -3*t - l - 2 = 0, t - 4*l + 10 = -2*l. Let x(r) = r**2 + 3*r + 2. Let a be x(t). Which is smaller: u or a?
u
Let a(x) = x - 12. Let p be a(12). Suppose -4*s + 3*f + p*f + 8 = 0, -25 = 5*s + 5*f. Which is smaller: s or -9/20?
s
Let l = -4.48 - -4.3. Let t = -0.08 - l. Which is smaller: 4 or t?
t
Let p be (330/(-77))/(5/(-35)). Which is greater: p or 31?
31
Suppose -4*t + 2*b = -24, 4*t - 4*b = t + 28. Suppose 7*w - 3*d = 3*w - 3, -t = 3*w - 4*d. Which is smaller: w or -1/77?
-1/77
Suppose 5*k = 43 + 2. Let s be -6*(36/(-40))/k. Is s < 2?
True
Let s be 2/(-3 + (-70)/(-25)). Let o(i) = 13*i**2 - i - 1. Let v(x) = -x**2. Let a(q) = -o(q) - 5*v(q). Let j be a(-1). Is s equal to j?
False
Suppose p + 3 = 2*p. Suppose 2*l = 4*z, -p*l = -l + 5*z - 27. Let f(b) = -b**2 + 7*b - 3. Let n be f(l). Is 4 greater than n?
True
Suppose 0 = h - 3*v - 5, -4*h + 2*v - 4 = -34. Let p be h/6*-1 + (-3232)/(-192). Which is smaller: 17 or p?
p
Suppose 4*b = 5*c + 33, 32*b + 4*c + 16 = 30*b. Which is greater: -36 or b?
b
Let j(q) = q**2 - 7*q - 4. Let t be j(6). Let w = t + 6. Let x be 50/20 + 2/w. Is x greater than 2?
False
Suppose 5061 = 21*u + 714. Which is smaller: u or 203?
203
Let o(y) = -2*y**2 - 7*y - 8. Let a be o(-2). Is a at most -9/11?
True
Let v be 1 - 12/8*(-10)/(-15). Which is smaller: -3/98 or v?
-3/98
Let i = 681 - 420176/617. Which is greater: i or 0?
i
Let q be (-1422)/(-1596) - 3/6. Let x = 2/19 - q. Is -40 greater than or equal to x?
False
Let t = -404 - -405. Which is bigger: -289 or t?
t
Suppose -64 = -4*c - 4*j, -j + 31 = 3*c - 17. Let i be 12/(-34) + 4/c*0. Do 0 and i have the same value?
False
Let w = 8584/1111565 + 2/4537. Is -1 greater than w?
False
Suppose 0 = q - 2, -8 = -4*y + 5*q - 7*q. Suppose 2*o = 6*o. Let u(n) = n + 9. Let a be u(o). Is a equal to y?
False
Let v be (20/470)/(2/(-5) - 0). Which is greater: v or 1?
1
Let x = 48 - 108. Let h be (-8)/x*815/84. Let p = h + -15/14. Is 0.1 greater than p?
False
Let c be (1144/(-77))/2 + 7. Is 10/9 > c?
True
Suppose 3*m - m + 28 = 4*g, 0 = -2*m - 3*g. Let t = m + 4. Let x be t - (-1)/24*46. Which is smaller: 0 or x?
x
Let j = -0.06 - 3.94. Let g = 4 + j. Let x(a) = a**3 - 11*a**2 - 12*a + 5. Let b be x(12). Are g and b equal?
False
Suppose 5*o = -0*o. Let x(l) = -2*l**3 - 105*l**2 - 154*l - 28. Let w be x(-51). Is w < o?
False
Let d = 9 + -1. Let o(h) be the third derivative of h**5/60 - h**4/3 - h**3/6 - 4*h**2. Let a be o(d). Which is greater: 1 or a?
1
Let c = 638 + -49116/77. Are 1 and c non-equal?
True
Let r be (0 - -1)/(1/6*-2). Let g be ((-26)/4)/((-20)/(-8) + r). Is g equal to 13?
True
Let z = -577.21 + 569. Let r = -0.1 - -0.31. Let a = z + r. Is -1 <= a?
False
Let k = 31.74 - 30.74. Let u(y) = -5 - 2*y + 0*y + 5*y. Let g be u(5). Are g and k nonequal?
True
Let g = 19 + -17. Suppose g = n + 1. Let b = 577/780 + 2/195. Are n and b equal?
False
Let k = 13 + -7. Let p be -3 - (3 + 9/(9/(-10))). Which is smaller: p or k?
p
Suppose -3*s = -g + 12 - 1, -4*g + 5*s + 16 = 0. Let h = -6 - g. Let f = h - -3. Is -7/5 less than f?
False
Let u be ((-57)/30)/19*2*101. Is u less than -21?
False
Suppose 0 = t + 22 - 25. Suppose y + t = 4*y. Is -2/17 at least y?
False
Suppose -6*v = -3*v - 48. Let x = v + -20. Let p(k) = -k**3 - k**2 + k - 1. Let w be p(0). Which is smaller: x or w?
x
Let i = 1.1249 - 0.1249. Is i less than 1.185?
True
Let w(k) = k**3 + 5*k**2 + 2*k + 1. Let r be w(-4). Suppose 20 = 4*o + 3*g - 10, -5*g = -2*o + 2. Suppose 0 = o*u - 3*u - r. Is 6 <= u?
False
Let u(k) = k**3 + k**2 - k + 1. Let m(h) = 4*h**3 + 10*h**2 - 9*h + 7. Let y(p) = -m(p) + 5*u(p). Let j = 95 + -91. Let n be y(j). Is 1 >= n?
True
Let c(y) = -3*y + 22. Suppose 36 = z + 5*z. Let q be c(z). Is 4 at most as big as q?
True
Let p = 4 - 4. Let t(n) = 12*n - 15. Let b be t(-7). Let m be (-40)/b - 8/44. Is m equal to p?
False
Suppose 0*w + 14 = -2*w. Suppose 2*q + 4*t + 0*t + 22 = 0, 0 = 4*q + t + 37. Is w at most q?
False
Let z = 0.5 + -0.3. Let f = -0.7 - -1.06. Let w = f - 2.36. Which is bigger: w or z?
z
Let k = -0.1083 + 38.1083. Which is smaller: -3/5 or k?
-3/5
Let r = 0.036 - -0.164. Which is bigger: r or 0.9?
0.9
Suppose -5*i - 16 = 4*t, 0*t - 20 = 5*t. Which is smaller: 2/41 or i?
i
Suppose -8*v = -7*v - 7. Is v at least as big as -0.08?
True
Let z(s) = -8*s**3 - s**2 + 2*s + 3. Let m be z(2). Which is smaller: -3 or m?
m
Let n be 1 + 0 - (-23)/(-6). Let u be ((-14)/(-4) - 3) + -1 + (-168)/48. Do u and n have the same value?
False
Suppose 0 = 9*h + 278 + 127. Let v = -40 - h. Let i = 3 - 0. Is i > v?
False
Let k be 1*(-194)/(-9) - 38/(-171). Which is bigger: k or 22?
22
Let k be -9 + (-927)/(-27) - 11. Suppose -3*d + 36 = 2*l - 7, -2*d + 24 = -l. Which is greater: d or k?
k
Let o = -0.01 + 0.41. Let k = -0.013 - -39.013. Let u = k + -38.6. Is u != o?
False
Let k = 0.1 + 11.9. Let b = -11.85 + k. Let g = b - 0.05. Is g less than or equal to -0.1?
False
Suppose -d = 5*t + 23, -2*d - t - 22 = t. Let z be 9/15 - (d/(-5) - 1). Which is greater: 1 or z?
1
Let u be 23*(-3)/12*-4. Suppose 0 = -4*b - 5*j + u, b = 5*j - 15 + 2. Let p = 5 - 53/13. Which is greater: p or b?
b
Let d be 4/(-26) + (-264)/(-26). Let z be ((-6)/(-2))/((-15)/d). Let n = z + -2. Which is smaller: n or -5?
-5
Let f(d) = -d**2 - 15*d - 41. Let l be f(-4). Let n = 11 + -6. Which is smaller: l or n?
l
Suppose f - 3970 = -2*f - 2*j, -f - j = -1322. Let c be (-2)/13 + 282/f. Let x = 20/51 - c. Which is smaller: x or -0.2?
-0.2
Let m(h) = -h**3 - 2*h**2 + 2*h. Let i be m(-3). Let n(g) = -3 - 4*g + i*g + 1 + 1. Let o be n(-4). Which is smaller: o or 5/2?
5/2
Let k = 407 - 407. Let n = 320578/117 - 2740. Is n <= k?
True
Let o = 162.2 + -174.2. Let s = 0.02 - 0.02. Is s <= o?
False
Suppose 35*f - 15 = 30*f. Suppose -3*k + c = 2*k - 151, 3*c = -f. Which is smaller: 31 or k?
k
Suppose 115 = -5*x - t - 89, -x - 37 = 4*t. Let l = 22 + x. Which is smaller: l or -18?
l
Let j(s) = 14*s**2 - 10*s**3 - 22*s + 8*s**2 + 25 + 9*s**3. Let b be j(21). Let m be (((-2)/(-1))/(-1))/(-5). Which is smaller: b or m?
m
Let k be 1/6*8/(-36). Let f = -61 + 60. Is k <= f?
False
Let h(p) = 2*p**2 + 12*p - 6. Let c be h(-6). Let s be 3*2/c*(2 