ppose 3*h + 27 = 3*s, -4*s + 4*h + 36 = 3*h. Is u < s?
False
Let s = -1 + 1. Let c = -39.7 + 44. Let j = 4 - c. Is j less than or equal to s?
True
Suppose 0 = 2*y + 5*l - 25, 0*l - 2*l - 32 = -2*y. Which is greater: y or 29/2?
y
Suppose 2*q - 5*q = -9. Let k(g) = g**2 + 9*g + 12. Let i be k(-8). Is i at least as big as q?
True
Suppose 4*l - 3*l + 8 = -z, -2*z = -l + 7. Is -5 equal to l?
False
Let u = -3 + 4. Let v = -1.6 - -0.6. Let a = v + u. Is a less than or equal to 1/5?
True
Let l(f) = -f**3 + 2*f**2 - 1. Let k be l(1). Suppose -m = 0, 3*x + 2*m = -5 + 11. Suppose k = x*y - 0*y. Are y and 0 non-equal?
False
Let c be (-14 - -5)*(-2)/(-6). Let i be (-4)/6*3 - c. Is 1 at most i?
True
Let v be ((-3)/6)/(2/4). Do -8 and v have different values?
True
Let w(r) = -4*r - 1. Let j be w(-1). Suppose 2*g + j*g = 5. Suppose u - 5 = 4*v, -2*u - 2*u - g = 5*v. Are 2/7 and u equal?
False
Suppose 0 = a - 7*a + 6. Is 4/37 less than a?
True
Let p be (2/(-10))/((-6)/(-5)). Is -2/25 greater than or equal to p?
True
Suppose o + 6 = 3*s - 2*s, 5*s = -o + 12. Is 4 greater than s?
True
Let p = 9 + -4. Suppose -p - 1 = -3*t. Let i = -13 - -15. Does t = i?
True
Let s = -17/6 - -7/3. Is 1/3 <= s?
False
Let s = -0.06 - -0.26. Let r = 0.4 - 0.3. Let p = r + -0.2. Which is smaller: p or s?
p
Let d = 19 - 18.5. Is d not equal to 0.2?
True
Suppose -r = 3*s + 1, 3*r + r = -s + 7. Suppose 0*i + 4*x = 4*i - 20, 5*i = x + 5. Which is smaller: i or s?
s
Let d be (-52)/(-114) - (-34)/(-51). Which is bigger: d or 1?
1
Let b be (-60)/105 - 4/(-7). Is -2/73 at most as big as b?
True
Let k = -55/6 - -403/42. Let p = -0.4 - -0.3. Let b = 0.1 + p. Which is bigger: b or k?
k
Let q = 0.1 - 0.2. Let d = 7 - 7.2. Is q greater than d?
True
Let u(a) = -a - 20. Let g be u(-10). Which is greater: -11 or g?
g
Suppose 0 = 2*l - 4*k + 16, 3*k + 32 = -3*l + k. Is -10 smaller than l?
False
Let a be 3 - (5 - 4/2). Let u(c) = -8*c + c**2 + 9*c - c**3 + 2*c**3 - 1. Let z be u(a). Is z < -3?
False
Let x = 2 - 2.1. Let o = 1.8 - 1.6. Which is greater: o or x?
o
Suppose 4*l + 29 = 5*v, -4*v = 2*l - 6*l - 24. Suppose 2*o = v*f + 26, -o = -0*o + 3*f + 9. Is o bigger than 5?
False
Let y = 4 + -2. Let f = -6 - -4.2. Let u = f - -0.8. Which is smaller: y or u?
u
Let d(n) = -n**3 + n**2 - n - 2. Let h be d(0). Which is greater: h or 5?
5
Let j = 1.8 + 0.2. Let t = -6 + 8. Is j <= t?
True
Suppose 4*f = -5*q - 40, 2*f = -2*f + 5*q. Let a(i) = -i**2 - 5*i + 1. Let l be a(f). Let b be (-14 + 23)*(-2)/(-12). Are l and b unequal?
True
Let a(r) = r**2 + 7*r - 1. Let u be a(-7). Suppose -3*s = -y + 18, -3*y + 3*s = -y - 30. Let z be (3/2)/(y/(-16)). Is z smaller than u?
True
Let i(x) = 7*x - 48. Let a be i(7). Is a less than 2/391?
False
Let g = 1 - 2. Let v = g + 2. Let k = 0.13 + 0.07. Are k and v equal?
False
Let c be (-5)/(-30)*(-1 + 215). Let j = -36 + c. Which is bigger: j or -0.1?
-0.1
Suppose 15 = -4*l - l. Let z = 23/45 + -1/9. Do z and l have the same value?
False
Let a = -118 + 132. Which is greater: 1/5 or a?
a
Let g be ((-4)/16)/((-7)/(-140)). Is -12 > g?
False
Let r = -18 - -19. Is r greater than or equal to 2?
False
Suppose 3*x + x = 0. Is x equal to 2/9?
False
Let g = -0.9 + -0.2. Let q = g + 1.5. Does 4 = q?
False
Let p be 17/7 - 8/4. Is p >= -1?
True
Let q be (-1 + -6 - (3 - 0)) + -3. Is -25/2 != q?
True
Let n be (4*(-6)/60)/(1/160). Is -63 <= n?
False
Let q = -6 + 6. Suppose q = 6*w - 3*w - 9. Suppose -3*n - 4*b = -4*n - 20, -4*n = -w*b + 15. Which is bigger: -1 or n?
n
Let n = -53 - -108. Is 56 at least n?
True
Suppose 2 = z + 4. Let g = z - 3. Which is smaller: -4 or g?
g
Suppose p - 6 = -p. Suppose 5*k + p = 8. Let d be 2/10*(-4)/(-2). Which is bigger: d or k?
k
Let q(y) = y**3 - 15*y**2 + 13*y + 13. Let a be q(14). Which is smaller: a or -2/39?
a
Suppose w - 3 = 2. Suppose 0 = -2*k + 6*k + w*u - 11, -k + 2 = 2*u. Let g = 3 + 0. Which is smaller: g or k?
g
Let r(j) = -j**3 + 8*j**2 - 11*j + 8. Let k be r(7). Let s = 19 + k. Which is greater: 1/14 or s?
1/14
Let m = 6.5 + -6.5. Is 0.25 equal to m?
False
Suppose 4*p = 2*q - 0*p + 88, -2*p - 166 = 4*q. Which is greater: -43 or q?
q
Let c = -0.04 + -18.96. Let f = c + 18.9. Is f at most as big as -2?
False
Let c = 11 - 7. Suppose 0*l = -c*l + 32. Suppose 6*v + l = 2*v. Which is smaller: -3 or v?
-3
Suppose -5*c + c = -28. Suppose -5*s - 1 = -u + 16, 3*s = -9. Which is smaller: c or u?
u
Suppose o = -3*o + 8. Let k(u) = 2*u + 3 - 3 - 1 + u**o + u**2. Let s be k(1). Is s at most as big as 5/2?
False
Suppose 3*t - 135 - 24 = 0. Let y be t/(-328)*8/(-6). Let l = y - 2/41. Are l and 1 equal?
False
Let j = 3.3 + -8.3. Which is smaller: j or 0?
j
Let d = -1506 + 1502. Let c = 2.2 + -0.2. Which is greater: d or c?
c
Suppose -k = k - 6. Let c(u) = u - 3. Let h be c(k). Suppose h*g = -3*g - 9. Is g at least as big as -3?
True
Let b(s) = s + 8. Let c = -7 + 1. Let u be b(c). Is 4 greater than or equal to u?
True
Let d be 6/(-27) - (-1 + (-48)/(-27)). Are d and 1/13 non-equal?
True
Let g(l) = l**3 - 6*l**2 + l + 2. Let t be g(6). Which is smaller: t or 0.1?
0.1
Suppose 2*d = 3*d + b + 1, -d + 5*b = -11. Let u = d + 2. Suppose -5*c = -5, -8*m + 3*m + 17 = -u*c. Is 2 at least m?
False
Suppose -2*q + 4 = 2*n, -2*q + 19 = -0*n - n. Suppose 18 = x - q. Suppose -5*m = -4*c + 2*c + 23, 3*m - 4*c = -x. Which is bigger: m or -5?
m
Let i = -30 + 40. Is i smaller than 5?
False
Let z(k) = k - 11. Let u be z(13). Suppose 0 = -2*p + 5*a + 7, -p = 2*a + 3 - 2. Which is smaller: p or u?
p
Let l = 1/60 - 4/15. Let j = -6.9 - -7. Is l greater than j?
False
Let p = 72 + -72.9. Is p greater than 2/7?
False
Let s be (1 - 0)/((-3)/120*-4). Which is smaller: s or 7?
7
Let s = -18 + 17. Which is greater: -2/3 or s?
-2/3
Let l(d) = d**3 - 12*d**2 - d + 20. Let m be l(12). Is 7 < m?
True
Let r = -55/117 + 9/13. Let h(o) = -4*o - 1. Let b be h(2). Let u be 9/(-6) + b/(-6). Are r and u unequal?
True
Let h = -53/20 + 197/180. Which is bigger: -2 or h?
h
Suppose -4*y = y - 3*l + 12, -20 = -5*y - 5*l. Let p(x) = -x**3 + 6*x**2 - 2*x + 9. Let c be p(6). Let s be (1/c)/((-3)/9). Is s equal to y?
False
Suppose -f - 2*f = -2*j - 22, 0 = 3*f + 4*j - 10. Let c be f/(-27) + (-11)/(-90). Let r be (1*-1 + 0)*0. Which is greater: c or r?
r
Let l = -3 - -3. Let t be (-2*(1 + -2))/8. Is t != l?
True
Suppose 2*c + 13 = 3*d, 0*d - 3*d + 3*c = -12. Suppose -5*t - 18 = -3*a - 4, d*a + 3*t = -22. Which is bigger: a or -5?
a
Let u be (54/8)/((-4)/(-16)). Let a be (u/(-6))/(-3)*2. Which is greater: 2 or a?
a
Let g(v) be the second derivative of v**4/12 - 5*v**3/6 - v**2/2 + 2*v. Let d be g(5). Let c = 11/50 + -3/25. Which is smaller: c or d?
d
Let l = -3 - -10. Which is smaller: l or 8?
l
Let l = 0 - 0. Let f(p) = -p**2 - 3*p - 2. Let b be -4 - ((-3 - -3) + -2). Let a be f(b). Is l not equal to a?
False
Let m = -3 - -2.7. Let f = -0.5 - m. Let u = 11 + -43/4. Which is greater: u or f?
u
Let m be -3 + (-924)/(-153) + -3. Is m not equal to 0?
True
Let z = -2 - -3. Let j = z + 0. Let n be 1/(-2) + j/6. Does 1/3 = n?
False
Let q(o) = o**3 - 6*o**2 + 5*o + 4. Let y be q(5). Suppose -y*p + 56 = -0*p. Let j be (-11)/p - 6/(-12). Is j greater than -1?
True
Suppose -6*a + 3*s + 39 = -2*a, a = 4*s. Suppose -5 - 60 = -5*n. Which is smaller: a or n?
a
Let b = -4.3 - -2. Let f = -2.4 - b. Which is bigger: -2/9 or f?
f
Let x = -2.1 + 1.1. Let t = x + -2. Let r = t - -4. Which is smaller: -2/9 or r?
-2/9
Let f(i) = -i**2 + i + 1. Let s be f(0). Suppose 0 = y - 2 + 4. Let j be 1 - (6/(-10) - y). Which is smaller: j or s?
j
Let q = 387/7 + -55. Do 7 and q have the same value?
False
Let i(j) be the second derivative of -j**3/3 - 3*j**2 + 2*j. Let k be i(-4). Let t = -0.94 - 0.06. Is k at least t?
True
Let z be (-245)/290 - (-1)/2. Let i = -12/203 - z. Which is greater: i or 1?
1
Let y(n) = 3*n - 2. Let u(k) = -2*k - 2. Let s be u(-3). Let q be y(s). Suppose 5*t = -5*r - q, 4*t + 0*r = 2*r - 8. Is t > -4/5?
False
Let y be 20/(-70) + (-340)/(-14). Let z be (8/y)/((-1)/3). Do z and -2 have the same value?
False
Let b = -1 - -1. Let z be -4*(-2)/(-12)*-3. Let v be (0/1)/(b - z). Which is greater: -1 or v?
v
Let v = -0.1 + 0.3. Let x(p) = p**3 - 5*p**2 - 8*p - 2. Let c be x(6). Let a = 15 + c. Which is smaller: a or v?
v
Let 