ast l?
True
Let t = -6 - -17. Let h = 10.91 - t. Let n = 0.49 + h. Which is bigger: n or 2?
2
Let j be (20/6)/(4/(-18)). Let x be (-189)/j - (-4)/10. Let s = -13 + x. Is 3/5 != s?
True
Let k = -78.3 + 73.3. Let y = -0.5 + 0.3. Let p = -0.1 - y. Which is smaller: p or k?
k
Suppose -2*c + 833 = q - 6*c, -2*c + 4209 = 5*q. Is q less than or equal to 841?
True
Let d(z) = -z**2 - 5*z - 12. Let y be d(-4). Is y != -41/6?
True
Let j(y) = -y**2 + y + 1. Let c be j(-1). Let f be c/(-2 - (1 + -4)). Let x be (0/(-4))/2 + f. Which is bigger: x or -2/29?
-2/29
Let o be (35 + -1)/(4 - 126/27). Let i = 52 + o. Which is greater: -4 or i?
i
Let g = 53 - 213/4. Let s = 23 + -22.92. Is s equal to g?
False
Let a be (30/24)/(27/(-12)). Which is smaller: 2 or a?
a
Let j(o) = -o**3 + o**2 + o + 55. Let k be j(0). Suppose 0 = -150*u - 1789 + 10039. Is u at most k?
True
Let v = -128 + 116. Which is smaller: v or -21?
-21
Suppose 4*p + 5*j = 166, -7 = -4*j + 1. Let u(d) = -18*d - 2. Let m be u(2). Let c = p + m. Is -0.4 equal to c?
False
Let h be (-4)/(-8)*6 - 3. Let z be -2 + -1*(2 - 0). Is h != z?
True
Let m = -4 - -6. Let g be (-3 - (-62)/21)*1140/(-20). Is m != g?
True
Suppose 4*q = 8*q + 4. Let d be (-6)/(-52)*(1 + -2). Do q and d have different values?
True
Suppose 0 = -5*z + 2*k, 0 = -2*z - 3*z + 3*k. Suppose -5*u + 5*q - 15 = 0, -4*u + 2*q - 4*q - 12 = 0. Let x be (u + 2 - z) + 2. Which is greater: 2/9 or x?
x
Let l(x) = -x**3 - 9*x**2 - 2*x - 3. Let f be l(-9). Let c be (9/f)/((-3)/(-15)). Suppose 2*r - 71 = -3*j, 2*j - c*j - 5*r + 15 = 0. Which is smaller: 26 or j?
j
Suppose 0 = 3598*m - 3600*m - 50. Which is bigger: m or -15?
-15
Suppose -q = -4, -3*o - 34 = -2*q + q. Let y be (-10)/o + 4/(-2). Which is bigger: 1/21 or y?
1/21
Let c(v) = v**2 + 2*v - 31. Let l be c(-11). Suppose 5*m = -2*d + 3*d - l, 0 = d - 4*m - 67. Which is smaller: d or 64?
d
Let z = -475 - -474. Which is bigger: -0.04 or z?
-0.04
Let k = -264899/21774 - 3/3629. Which is bigger: -13 or k?
k
Let o = 1.54 - -0.46. Do o and 61 have the same value?
False
Suppose v + q = 2*v + 1, 5*v - 1 = 3*q. Suppose 24*i = 22*i + v. Which is greater: i or -5/16?
i
Let i = -3.0497 + 0.0497. Let l be 1/2 + 13/(-6). Is l at most i?
False
Let z(i) = 4*i**2 - 4*i + 0 + 4 + 2 - 5*i**3 + 6*i**3. Let h(y) = y**2 + 7*y + 1. Let d be h(-6). Let b be z(d). Is b <= -0.2?
False
Let g = 1207/6 - 20597/102. Which is smaller: g or -2?
-2
Let r be (-1)/((-22)/12 + 2). Let o be (-204)/462 + r/21. Let x = -18/55 - o. Is x smaller than -9?
False
Let z be (10/(-2))/(130/20 + -9). Let q = -79105/1004 + 10/251. Let o = q + 81. Do o and z have different values?
True
Suppose m + 0*m - 2 = 0, -13 = 3*z - 5*m. Let q be 5/(3*(-1)/(-3)). Let h be z*(-1 + 0)*q. Which is bigger: 7 or h?
7
Suppose 0 = -2*y - 2*g - 4, -2*y + 4*y + 5*g + 4 = 0. Let t be (8/(-16))/((-4)/y). Let k = 2 - 3. Is k < t?
True
Let v = -9871/11 + 898. Are 0 and v nonequal?
True
Let f be 20/(-15)*(-3)/(2 + -14). Which is smaller: -143 or f?
-143
Suppose 4*k - 2*w + w + 31 = 0, 5*w - 43 = 4*k. Let x = 6 - 9. Is x less than k?
False
Let m = 1279.7 + -1222. Let t = -59 + m. Is t bigger than -0.3?
False
Let m = -7.554 - -9.554. Let u = 2.1 - 0.1. Is m less than or equal to u?
True
Let r = -8 - -4. Let m(u) = -2*u**3 + 2*u**2 - 2*u + 2. Let b be m(r). Let p be (-5)/(-2)*8/b. Are p and 1 non-equal?
True
Let n(z) = -4*z**2 + 10*z - 3. Let h be n(1). Which is smaller: h or 34/15?
34/15
Let o = -953 - -959. Is o equal to 144?
False
Let r be 141/(-12)*(-2)/3*6. Is 48 bigger than r?
True
Let n = -6641/7 + 947. Let g(i) = -i**3 - 14*i**2 - i - 16. Let o be g(-14). Is o less than n?
True
Let v = -95 - -43. Let x = -51.04 - v. Let n = 0.04 + x. Which is greater: -0.03 or n?
n
Let m be 29748/(-3810) + (3 - 0). Let q = 1/127 + m. Is -4 at least as big as q?
True
Let r = -8 - -8. Suppose -2*v = -2, r*v + 34 = 5*n - v. Suppose 0 = -3*u - 4 + n. Which is smaller: u or -1?
-1
Let h = -177071/67 + 2643. Does h = 1?
False
Suppose 0 = z - 0*z - 114. Suppose 0 = -5*p + z - 1584. Let r be 231/p - (-2)/4. Which is bigger: 3 or r?
3
Let l = 1.172 + -56.172. Let m be (16/(-40))/(14/(-10)). Which is greater: l or m?
m
Suppose 0 = 3*u + 3*o + 9, 16 = -4*u + 2*o + 4. Let b = 129 - 139. Let x be (16/(-24))/(b/u). Which is greater: x or -2?
x
Let f be ((-1529)/(-66) - 19)/(2/(-8)). Let g(w) = -4*w - 4. Let n be g(3). Which is bigger: f or n?
n
Let u(x) = x**3 - 5*x**2 - 8*x - 7. Let n be u(6). Let t = 39/2 + n. Let k = 4 + -3. Which is smaller: t or k?
t
Let o = -178 + 178.066. Let w = 11 + -11. Is o not equal to w?
True
Let u = 1.04 - 0.04. Which is smaller: 26 or u?
u
Let q = -4 + 1. Let f = -65 - -58. Let j be ((-3)/f)/(-3*(-3)/63). Which is smaller: q or j?
q
Let s = -1 - -1. Let l be -7 - 9/((-3672)/2864). Does l = s?
False
Let n = 131.6 - 105. Let j = 0.6 - n. Let r = j - -18. Is r less than or equal to -2?
True
Let v be (-11)/5 - 6/(-30). Let n be 7 + -2 - 1*v. Suppose n*p - 9*p + 2 = 0. Which is bigger: p or 0.4?
p
Let q = -156 - -170.2. Let h = q + -23. Let p = h - 0.2. Are p and -1 equal?
False
Let r = 10 - 6.3. Let z = -11.3 - r. Let c = z - -15.4. Are c and 0 unequal?
True
Suppose 6*m - 3*m - 375 = 0. Let r = m + -219. Are r and -95 nonequal?
True
Let m = -17.65 + -0.35. Let f = 19 + m. Is f at least 1/2?
True
Let q be 84081/(-8280) - 14/105. Let r = -83/8 - q. Let d be 8/(-12) + (-8)/(-3). Which is bigger: r or d?
d
Let o(i) = -3*i + 10. Let h be o(11). Let n = -1.12 - -1.22. Are h and n nonequal?
True
Let n be 4 - (6/10 + 0)*5. Is n < 2/191?
False
Let c be (-1 - 1)/(-6 + (0 - -7)). Let i(x) be the first derivative of -x**2/2 - 2*x + 2. Let l be i(c). Is 2/17 >= l?
True
Suppose -14 - 6 = 4*u + 4*a, 0 = -u - 4*a - 14. Let g = 0 + 3. Suppose 0 = -2*m + g - 9. Which is bigger: m or u?
u
Let t = -4 - -7. Let z be (-2)/(-6) - 183/(-54). Let v = z - 20/9. Which is smaller: t or v?
v
Suppose -3*i = 4*p - 1192, 3*i - i - 5*p = 787. Let t = 1989/5 - i. Is t smaller than 2?
True
Let t(r) = -r**2 + r + 1. Let w(h) = h**3 + 6*h**2 - h - 4. Let i(m) = 3*t(m) + w(m). Let k be i(-2). Let a be 80/340*2/4. Are k and a nonequal?
True
Let y = -102 + 104. Suppose 0 = -6*o - y*o + 24. Which is greater: o or 34/13?
o
Let m be (-33)/330 - 22/(-20). Which is bigger: 8/61 or m?
m
Let f = 82 + -87. Let q(l) be the first derivative of l**4/4 + 4*l**3/3 - 7*l**2/2 + 4. Let j be q(f). Which is greater: j or 12?
12
Let p be (28/84)/(-2 + 20/18). Let i(z) = -z**2 - 4*z. Let h be i(-3). Let u = h + -3. Are u and p non-equal?
True
Suppose -4*j - 20 = j. Let p be (4/(-6))/(j/6). Let n be 10/42*(-14)/(-4). Which is smaller: n or p?
n
Let g = -83/5 + 161/10. Are g and 0.45 nonequal?
True
Let r be 2 - 2 - -15 - -1. Let l(b) = 10*b + 180. Let u be l(-19). Let j be 12/6*u/r. Which is smaller: 0.1 or j?
j
Suppose -8*g + 3*g = -30. Let j be (g/(-15))/(16/15). Which is smaller: 1 or j?
j
Suppose 3*y + y - 529 = -b, -4*y + 4*b = -524. Is y not equal to 136?
True
Let m(j) = 16*j**2 - 3*j + 2. Let p(k) = k - 1. Let h(l) = m(l) + 2*p(l). Let z be h(1). Which is smaller: 14 or z?
14
Let g be 6*((-4)/11 + 13/429). Let i = 61 - 131. Let h be (4/15)/(12/i). Do h and g have the same value?
False
Let o = 58 - 21. Suppose -6*u - o - 5 = 0. Suppose -4*b - 20 - 8 = 0. Do u and b have the same value?
True
Let p = -693 - -681. Which is greater: -18 or p?
p
Let v = -2096 + 2095. Which is greater: -1424 or v?
v
Let z = -623/4 + 157. Let j(y) = y - 5. Let a be j(6). Let o be (a + 0)/(2 - 1). Is o greater than z?
False
Let d(q) = 1. Let w(u) = -6*u + 7. Let m(x) = 6*d(x) - w(x). Suppose -5*f + 5*p + 5 = 0, -5*p + 2 + 7 = 2*f. Let r be m(f). Is 9 at least as big as r?
False
Let v(c) = 15*c**3 - 4*c + 4. Let h be v(2). Let s = -101 + h. Which is bigger: s or 17?
17
Let f = 49 - 32. Suppose v + f = -4*g, -9 = v + 3*g + 4. Is v at least as big as 11/2?
False
Suppose -5*j + 870 = -2*o + 91, 776 = 5*j - 3*o. Do 156 and j have different values?
True
Let u = 0.41 + -13.41. Let x = -13.1 - u. Is -3 != x?
True
Let u = 300 + -303.59. Let h = u - 0.41. Let y be (-4)/(-10) - 7/5. Is y at least as big as h?
True
Let i be 3619/(-56) + (35/(-8) - -4). Is 0.2 not equal to i?
True
Let y = -0.15 - -9.15. Let m(s) = 2*s + 30. Let n be m(-14). Suppose 6*g = n*g