 = 4*s + 12, -3*a = -3*s - 12. Suppose 3*y = -y + 2*u + 4, 0 = y - 4*u - 1. Is a equal to y?
True
Let l = -1 + 1. Let n(m) = -m**2 - 9*m - 7. Let k = -1 - 7. Let y be n(k). Which is bigger: l or y?
y
Let y = -213 + 324. Is y at most 111?
True
Let h = -32372/65 - -498. Does h = -1?
False
Let o be (-184)/(-1152) - 2/9. Which is greater: -1/4 or o?
o
Suppose d - 4*d - j + 13 = 0, -4*d - 3*j = -24. Suppose -20 = d*n - 5. Is -3 > n?
True
Let f be (0 - 3) + (-4)/2. Let y = f - -6. Are y and 1 nonequal?
False
Let c(u) = -4 - 2*u + u**3 + 2*u**2 - 4*u**2 + 0*u. Let o be c(3). Let n = 23 + -20. Which is greater: o or n?
n
Let r(s) = 4*s + 4. Let h be r(8). Let w be ((-3)/(-9))/(21/h). Is 2 at most w?
False
Let y be 49/(-2) + 1/(-2). Let l be 5/y + (-16)/(-5). Suppose -3*g = -l*c + g - 4, -5*c - 2*g = -2. Which is bigger: c or -3/4?
c
Let n = 0.3 + -0.3. Let z = -13 + 14. Which is bigger: z or n?
z
Let j be 0 + (1 - 34/36). Suppose 3*z - k - k = -2, 3*z = -4*k + 4. Is z at most j?
True
Let n(q) = -2*q + 202. Let l be n(0). Let s = 2628/13 - l. Do s and -1 have the same value?
False
Let l = -163 - -8967/55. Which is smaller: -0.2 or l?
-0.2
Let u = -0.24 - 1.76. Which is bigger: u or 1?
1
Suppose -13 = -5*r - 8. Let w = 260 - 3902/15. Is r >= w?
True
Let t(l) be the first derivative of -l**2/2 + 4*l - 1. Let r be t(3). Is 1 at most r?
True
Let j = 9 - 5. Let q = -4.01 + j. Let x = -3.99 + q. Is -2/3 bigger than x?
True
Suppose -4*u - 2*b + 8 = -6*b, -b - 2 = -4*u. Suppose 0 = -u*d + d - 9. Suppose -3*y - 17 = -4*j + 4, -4*y - d = j. Is 2 at least as big as j?
False
Let f(x) = -2 + 3*x - 5*x - 3. Let g be f(-3). Is -2/13 < g?
True
Let q(b) = b - 6. Let d be q(9). Suppose 0 = -d*n + 9, 2*a + 2*a - n = -7. Are -1 and a nonequal?
False
Let j = 0.6 + -0.1. Let z = j - 0.4. Let s = z + 0.9. Is s at least 2?
False
Let c = -4.03 + 4. Let n = 0.23 + -0.2. Let t = c + n. Is 0.2 at most as big as t?
False
Suppose 0 = -5*h + 4*h, 4*f + 28 = -4*h. Let t be f + 11 - 3/1. Let g = -1 + 1. Is g bigger than t?
False
Let h = 0.35 - -1.65. Which is greater: h or -6?
h
Let o = -7 - -12. Let t = -6 + o. Is 0.1 at least as big as t?
True
Let x = 5/47 - 245/94. Is x smaller than -4?
False
Let i = -4 - -5. Let u = 138 - 1244/9. Is i >= u?
True
Let a = 3 + -2.97. Let p = -110 + 109. Which is smaller: a or p?
p
Suppose -5*s = 45 - 245. Which is smaller: 41 or s?
s
Let j = -4.16 + 0.16. Let z = -0.2 + 0.2. Is z <= j?
False
Suppose -5*x + 5 + 0 = 0. Let f be ((-2)/6)/(4/(-724)). Let p = 61 - f. Is x > p?
True
Let c = -209/34 + 11/17. Which is smaller: -5 or c?
c
Let r(o) = -9*o**3 + o**2 + 2*o. Let t be r(-2). Let a be t/(-16)*8/6. Is a > -6?
False
Let o = 74/27 - 2449/135. Which is greater: o or -15?
-15
Let b = -4474/39 - -343/3. Which is smaller: b or 1?
b
Suppose 31*c = 34*c + 3. Which is smaller: 1/105 or c?
c
Let o(t) = -19*t + 1. Let q be o(1). Let n = q + 26. Let v be 4/(-16) - (-18)/n. Is 2 at most v?
True
Let r = 1/697 - -11149/2091. Which is greater: r or 4?
r
Let a(i) = -3*i - 4. Let m = -2 + -1. Let n be a(m). Suppose -4 = -n*p - 19. Are -3 and p equal?
True
Suppose l + 2*x + 11 = 3, 3*l + x + 14 = 0. Which is bigger: l or -1?
-1
Let l = -3 + 2. Let f = l + 5. Suppose -y = -5*s - 2, 2*s = f*y - 8 - 0. Which is smaller: s or -2?
-2
Let z = -1 + 4. Suppose -4*x + 7 - z = 0. Is x < 2?
True
Let p(j) = j - 4. Let t be p(4). Which is smaller: 3/7 or t?
t
Let k(y) = -y**2 + 2*y - 3. Let d be k(4). Let h = 5 + d. Are -7 and h equal?
False
Let c = -3.2 + 0.2. Is 2/3 > c?
True
Let h = -8 + 11. Suppose 2*d - 1 = 3. Suppose d*r = r. Which is greater: h or r?
h
Let q = -0.32 + 17.32. Let h = q + -10. Let j = 5 - h. Is -2/7 > j?
True
Let v = 8.4 - 0.4. Let i = v - 7.8. Are -1/5 and i non-equal?
True
Let l(g) = g**2 - 6*g + 5. Suppose -3*y + 2 - 5 = 0, -5 = -2*j - 3*y. Suppose 3*m + 5 = j*m. Let c be l(m). Is c greater than 0?
False
Let t = -17 + 25. Let p = -8.1 + t. Which is greater: p or -6?
p
Let j(f) = f**3 - 7*f**2 - 7*f - 2. Let g be j(8). Is g less than or equal to 11?
True
Let a be (-8057)/(-420) - (-2)/5. Let r = -81/4 + a. Is 3 at most as big as r?
False
Let h be (-2 - 2/(-4))/((-21)/6). Let i be (5/10)/(1/2). Which is greater: i or h?
i
Let k be 3/4*(-3)/(-9). Let f = -0.06 + -0.04. Which is smaller: k or f?
f
Let l be 4/(-10) - 4/(-10). Let j be 1*0/(-1) - l. Which is smaller: j or -2?
-2
Let g = -0.6 - -1.5. Let h = g - 0.9. Which is smaller: h or -0.3?
-0.3
Let t = 53 + -53. Which is bigger: t or 2/39?
2/39
Let t = -5 + 8. Let d = t - 2. Is d != 0?
True
Let z(l) = l**3 - 4*l**2 - 5. Let c(n) = 2*n**2 - 2*n - 2. Let b be c(-2). Let t = b + -6. Let f be z(t). Which is greater: -4 or f?
-4
Let r be 47/(-3) - (-6)/(-18). Let p be ((-9)/27)/((-2)/r). Which is bigger: p or -3?
p
Let s be (-36)/190 - 4/(-10). Suppose 6*t = -3*t - 9. Which is smaller: t or s?
t
Let c(o) be the second derivative of o**3/6 + 6*o**2 + 4*o. Let i be c(-10). Do i and 5/2 have the same value?
False
Let u = -58/45 - -8/9. Suppose 0 = 4*i - 3*i + 1. Let t be 1/3*(-1 + i). Is u smaller than t?
False
Let q(d) = d - 4. Let i be q(2). Let l be 1/(-10) - i - 2. Is -1 <= l?
True
Let x be ((-3)/110)/(6/(-8)). Let a = x - -51/110. Let j = 0.2 - 0.5. Are j and a equal?
False
Suppose 5*a + 1 = 2*l, -2*a + 12 = 3*l + a. Suppose 3*p - 7 = -1. Is p > l?
False
Let p(r) = r**3 - 7*r**2 - r + 6. Let x be (-2 - -23)/(-3)*-1. Let k be p(x). Is 1 < k?
False
Let j = -86 - -90. Which is smaller: j or 3?
3
Let o be (-97)/(-1)*(-2)/(-900). Let h be ((8/15)/(-2))/((-20)/12). Let z = o - h. Is 0 not equal to z?
True
Let z = -3.8 + 4. Let x = -3 - -3. Which is bigger: z or x?
z
Suppose -29*l = -28*l. Let n(b) = b + 1. Let y be n(3). Let h be 10/25 - y/(-10). Which is bigger: h or l?
h
Let v = -1 + 3. Let o be 1*(-3)/(0 - 18). Let i = o + 5/42. Which is bigger: i or v?
v
Suppose 0 = 4*l, -2*r = l - 1 + 31. Which is smaller: -16 or r?
-16
Let q = -0.15 - 0.05. Let h = q - -0.28. Let j = h - -0.92. Is j at least -2/5?
True
Let b = 6.8 - 7. Which is smaller: 11 or b?
b
Let w = 7 - -1. Let n be w/18*3/(-8). Which is greater: 0 or n?
0
Let f(k) = -k - 4. Let s be f(0). Let w = s + 6. Let i(j) = -j**3 + 8*j**2 + 3. Let p be i(8). Which is smaller: p or w?
w
Let m = -901/5 - -25243/140. Is m >= -1?
True
Let q be (-48)/264 + 9/(-11). Let t be (-10)/8 + (-2)/(-8). Is q greater than t?
False
Suppose -44 + 47 = o. Suppose 3*m + 8 = 5*m. Is m less than or equal to o?
False
Let q(f) = 2*f**2 + f - 1. Let o be q(1). Suppose 3*j - o - 7 = 0. Let a be (-3 + j)*(-1)/2. Which is bigger: a or -1/2?
a
Let l = 2/1983 - 4088/120963. Is 0 > l?
True
Let i = -2 - -4. Let h be -1 - 9*4/(-6). Let t be ((-2)/h)/(2/10). Is t != i?
True
Let t(l) = -l. Let s = 4 - 2. Let p = 1 - s. Let r be t(p). Are r and 1 equal?
True
Let k = -5172195/13 + 398063. Let r = k + -202. Which is smaller: r or 0?
r
Let z = 24 - 20. Suppose z*k = k. Is -1/22 less than or equal to k?
True
Suppose 0 = -h - 0*h + 4. Which is smaller: 17/6 or h?
17/6
Let m = -86 + 85. Is m equal to -1/25?
False
Let l(y) = y**2 + 12*y + 11. Let u be l(-11). Is -14 bigger than u?
False
Let i be -5*2/((-10)/3). Suppose 3 + 7 = 5*j. Suppose -3*p - n = -j, -3*p - 5*n - 10 = -n. Which is greater: i or p?
i
Let w = -4.1 + 4. Let l be 1 + 21*(-2)/38. Let c = -32/57 + l. Which is greater: c or w?
w
Let p = 12155680801/1089130 + 7862/15559. Let d = -11164 + p. Let u = -23/10 - d. Which is smaller: u or 5?
u
Let f be (-1 - (-57)/63)*-1. Do 1 and f have different values?
True
Let m be (4 + 1 - 2) + -2. Let o = -70/153 + 4/17. Do o and m have different values?
True
Let v = 2/273 - 305/4368. Suppose -u = -x + 6, -4*x + 12 = -u - 12. Suppose -3*a = 5*p - 1 + x, 0 = -3*a + 2*p + 2. Which is smaller: v or a?
v
Let d(m) be the third derivative of -m**4/24 + m**3/2 - 2*m**2. Let l be d(4). Is l < -1/9?
True
Let j = -137 + 136. Which is bigger: -5/3 or j?
j
Let r = -72 + 30. Let f be (r/(-35))/(9/(-2)). Is f at least as big as 1?
False
Let z be (-4)/2 + (0 - -4). Let b = 0.21 - 0.01. Which is greater: z or b?
z
Suppose -5*h + 5 + 5 = 0. Is 5 at least as big as h?
True
Let w = -33 - -187/5. Which is greater: w or 3?
w
Let g = -5.9 - -6. Let r = -0.7 + 5.7. Let l = -5.2 + r. Which is greater: g or l?
g
Let l(x) be the