Let m = 0.21 + -0.01. Let c = m - -0.2. Let t = 0.6 + c. Which is smaller: t or 2/5?
2/5
Let a = -325 - -176. Let l = -1491/10 - a. Which is smaller: l or 1?
l
Let s = -2 - -4. Let j = 16 - 15. Suppose 0 = -c - 2*f - 1, j = -s*c + c + f. Is c at least as big as -0.3?
False
Let t = -5 - -4.6. Let u = t + 0.5. Which is smaller: u or 1?
u
Let w be ((-1)/6 - 0)/1. Suppose -3*l + 2 - 6 = -4*c, -2*c + 2*l = -2. Is c greater than or equal to w?
True
Suppose 2*l = 4*l - 10. Suppose -3*b + l = -8*b. Which is greater: -2 or b?
b
Let u = -10.3 + 10. Let z = -1.3 - u. Is z > 0.2?
False
Let q = 31 + -21. Let l = -16.9 + q. Let h = l - -7. Which is smaller: -1/4 or h?
-1/4
Let z = 1 - 23. Are -22 and z nonequal?
False
Let u be ((-1)/2)/(3/174). Let p = u + 17. Let n be (6/p)/((-7)/(-2)). Which is greater: n or 0?
0
Let w be 3 + -1 + 579/(-290). Let d = w - -1767/580. Let n = d + -14/5. Is -2 smaller than n?
True
Suppose -l = l. Suppose 5*y = 4*s + 25, -15 = -2*s - l*y - 3*y. Let p be (0 + -2 - -5)/((-81)/6). Is s > p?
True
Suppose 0 = -k - 2*c - 2*c - 5, 4*c + 33 = 3*k. Let v(y) = -6*y + 1. Let g be v(-1). Is g greater than or equal to k?
True
Suppose 1 = -z + 4, -f + 2*z = 7. Which is greater: -2 or f?
f
Let u = -0.5 + 0.4. Let w = -1 - -1.4. Let k = u - w. Is k greater than 2?
False
Let m(d) = d**3 - 3*d**2 - 3*d - 4. Let t = -4 - -8. Let w be m(t). Suppose w = 2*n + 3*n. Is n not equal to -1?
True
Suppose -5*l = 5*t + 15, -4*t - 3*l + l - 2 = 0. Let j be 0/t - (-4)/14. Which is bigger: j or 1?
1
Let f = 19 - 37. Let l be (-6)/(-26)*12/f. Is l equal to -1?
False
Let h = 8432/35 + -241. Which is smaller: h or 1?
h
Suppose 5*w - x + 28 = 0, -w + 2*x + x = 14. Which is smaller: w or 2?
w
Suppose -1 = -5*x + 29. Suppose -x*y = -4*y. Which is smaller: y or 2/21?
y
Let h = -0.3 - -0.2. Let r = h + -0.1. Let g = -27.8 + 28. Is r less than or equal to g?
True
Let p = -197 - -205. Let y(l) = l + 9. Let v be y(-7). Are v and p unequal?
True
Let x(t) = -t**3 - 4*t**2 + 8*t + 5. Let n be x(-5). Let b be -3 + -5 + -1 + 0. Which is smaller: b or n?
n
Let r = 11 - 45/4. Let h(q) = q**3 + 7*q**2 + 4*q - 7. Let b be h(-6). Suppose -3*i = -g + 4 - 0, 0 = -b*g + i + 6. Do g and r have different values?
True
Suppose -4*s + 60 = -0*s. Let p(u) = u**2 - 3*u + 1. Let m be p(4). Suppose s - 40 = -m*f. Is 5 > f?
False
Let a = 101 + -98. Is a <= 0.18?
False
Let i = -14 + 2. Let c = -26 + 13. Which is bigger: i or c?
i
Suppose n + 2*g + 4 = 0, 5*g - 4*g = n - 2. Which is bigger: n or -2?
n
Let w = 257 - 4371/17. Which is smaller: w or 1?
w
Let h be ((-4)/3)/(6/(-9)). Let q(r) = 2*r**2 - 2*r - 3. Let p be q(2). Is h > p?
True
Suppose 17 = 4*j + 5. Suppose j*y + 3 + 12 = 0. Let m = 78 - 77. Is y less than m?
True
Suppose -6 = 2*u + w, -2*u = u - 3*w - 9. Which is smaller: 2 or u?
u
Suppose 2*n + 7*i - 2*i + 20 = 0, 2*n - 20 = 5*i. Is n greater than or equal to 10/7?
False
Let u = 4 + -6. Let g = -2.03 - u. Let c = g + 0.13. Which is smaller: c or -6?
-6
Let j = 3 + -6. Let z be 24/14 + 1 + j. Let k = -14 - -13. Are k and z non-equal?
True
Let z be (-3)/121*131/15. Let b = -2/121 - z. Let o be 2/(2 + -1 - -1). Is o smaller than b?
False
Let x = -378 + 376. Suppose 3*m - 1 = -10. Which is smaller: m or x?
m
Let g = -17 + 11. Let h(a) = -a - 12. Let y be h(g). Let t(l) = l - 7. Let v be t(0). Which is bigger: v or y?
y
Suppose 0 = -2*t - 2*r + 64, -2*r - 160 = -4*t - t. Let n be (-9)/2 + 48/t. Are n and -9/4 nonequal?
True
Let l = -0.18 - -0.28. Which is smaller: -3 or l?
-3
Let l(k) = -2*k + 7. Let d be l(5). Which is smaller: 1 or d?
d
Let m(n) = -2*n**2 + 30*n - 26. Let r be m(14). Which is smaller: 18 or r?
r
Let k = -5 - -4.94. Let x = -0.16 - k. Is x less than or equal to -0.1?
True
Suppose 0 = 4*v - 0*v. Suppose 3*k - 8 = 4*j, j - k + 3 = -0*j. Is j at least v?
True
Suppose -r - 2 = -2*v, 3*r = 2*v + 3*v - 3. Let q be (-2)/5 + v/20. Which is greater: 3/4 or q?
3/4
Let g = 7 + -3. Suppose b + g = -6. Are b and -11 unequal?
True
Let p = 58 + -45. Let f be (4/10)/((-1)/(-35)). Which is smaller: p or f?
p
Suppose -3*h + 6 = -0. Suppose -f = f + h. Is -2/25 > f?
True
Let k = -2/1117 + 4486/10053. Suppose 0 = -2*i - 1 - 5, 3*v + 3*i + 6 = 0. Are v and k nonequal?
True
Let h(n) = 4*n**2 - 4*n - 13. Let f(k) = k**2 + k - 1. Let w(o) = 5*f(o) - h(o). Let j be w(-8). Is -5/6 bigger than j?
False
Let o = -0.1 - 0. Let x = -0.05 + 0.09. Let d = 3.96 + x. Which is smaller: o or d?
o
Let q(s) = s**2 - 7*s - 2. Let h be q(7). Let x(l) = -l - 5. Let y be x(-7). Let w be 16/(-4)*y/4. Does h = w?
True
Let d be (-10)/12 + (-5)/30. Which is smaller: d or -1/2?
d
Let r(j) = -j - 7. Let o be r(-5). Let l be 56/(-55) - 2/11. Which is smaller: o or l?
o
Let u be ((-4)/(-5))/((-2)/(-5)). Let q(g) = g**2 - 4*g + 2. Let s be q(u). Let w = -119/155 - 1/31. Which is smaller: s or w?
s
Let t = -701/20083 - -2/133. Is t less than 0?
True
Let w be (-27)/45 + 11/5. Is w bigger than 1?
True
Suppose -3*g = 3*t, -t = -2*g + 4*t. Which is smaller: g or 1?
g
Let u be (-6)/14 - 67/(-189). Suppose 14*i - 10 = 4*i. Do i and u have different values?
True
Let q(t) = t**2 - 2*t - 8. Let z = -6 + 10. Let g be q(z). Is 0 > g?
False
Suppose 0 = -0*u - u. Let i be (0 + -4 - -4)/2. Is u >= i?
True
Let v be -4 + (4/(-24) - (-1)/6). Which is greater: v or -8?
v
Suppose 3*c + 0*g + g = -14, 4*c + 22 = -3*g. Let m be c/14 - 16/42. Let v = -1 - -1. Is m at most v?
True
Suppose 5 = p + a - 7, -p - 2*a = -17. Which is bigger: p or 1?
p
Suppose -1 = 4*d - 13. Suppose 3*t + 5*b - 7 = 4*t, -4*t - 13 = -5*b. Let v be ((-1)/t)/(4/16). Is v less than or equal to d?
True
Let q = 13 + -19. Let h = q + 8. Which is bigger: h or 4?
4
Let w = -28 + 36. Which is smaller: w or -0.1?
-0.1
Suppose 3*r = -5 - 4. Let w be ((-5)/(-30))/(r/4). Let u = -0.2 - -0.3. Which is greater: u or w?
u
Let n(p) = -14*p + 18. Let q be n(1). Let i = 144 - 579/4. Let b = -29/28 - i. Are b and q nonequal?
True
Let a = 43/45 - 5/9. Which is smaller: a or 0?
0
Let t be ((-4)/6)/((-2)/(-12)). Is t greater than 4?
False
Let m = 0.001 + -0.201. Which is greater: 3/2 or m?
3/2
Let y = -3.1 - -6.9. Let k = y - 3. Let a = -0.6 + k. Is -2 at most a?
True
Let f be 1 + 5/(75/(-10)). Let d = 5 - 3. Which is bigger: f or d?
d
Suppose -4*b + 2*b - 18 = -4*l, -5*l = -5*b - 25. Let i(r) = r**3 - 8*r**2 + 4. Let o be i(8). Let c be (-35)/20 - (-3)/o. Is c smaller than b?
False
Let b be 6/(-18)*1*-18. Suppose -5*g - f - 31 = 0, -f - 41 = 3*g - b*f. Is -6 <= g?
False
Let k = -31 - -32. Which is bigger: k or -29?
k
Suppose 5*z = 3*k - 56 + 12, -12 = -4*k. Which is smaller: z or -1?
z
Let r(y) = -y**2 + 6*y - 4. Let a be r(4). Which is bigger: a or 0?
a
Suppose -35 = -5*u + 5*n, 4*n = 2*u + n - 18. Suppose -2*k + 8 = -f + u*k, -17 = f + 4*k. Which is bigger: f or -12?
-12
Suppose 2*c + 3*a + 16 = -a, -c + a = -1. Let q(j) = j**3 - 2*j**2 + 2*j - 3. Let y be q(2). Let g be 0 + (1/(-2))/y. Which is greater: g or c?
g
Let o(m) be the third derivative of -m**6/120 + 7*m**5/60 + 3*m**4/8 - m**3 - m**2. Let i be o(8). Suppose 2*k = -n - 5 + 3, 0 = -i*n. Is 0 smaller than k?
False
Let d be (-2)/(-10) - (-6)/(-30). Which is smaller: d or 7/3?
d
Suppose -22 = l + 5*h, 0*l + 8 = 2*l - 3*h. Let t = 7 + -6. Suppose -3*x = -4*x - t. Is l at most as big as x?
True
Let b be 1*(-8)/9*6. Which is smaller: -4 or b?
b
Let h = 18 + -21. Let k be (-78)/48 + h/(-8). Is 0 smaller than k?
False
Let n = 0.63 - 0.6. Let x = -0.07 + n. Let m = 0.04 + x. Does -6 = m?
False
Suppose s + 3 = 5. Suppose -u + 5 = -5*o, 0 = -6*u + u. Let b = o - -4. Do s and b have the same value?
False
Let q(u) = -u - 4. Let g be q(-4). Which is smaller: -2 or g?
-2
Suppose 5*j - 46 = 5*b + 3*j, -2*j - 2 = b. Let f = b + 7. Which is smaller: -2 or f?
-2
Suppose z - 3*z = -8. Let d = -3 + z. Let a be (-3)/(-15)*25/(-15). Which is smaller: a or d?
a
Let p = 4366/21 + -208. Is p less than -1?
False
Suppose -5*v = -3*k - 18, 0*v - v = 5*k + 2. Suppose -2*r - 5*f - 10 = -7*r, 0 = 3*r + v*f. Is r greater than or equal to 1?
True
Let f = -0.769 - 0.231. Let h = 419 - 10477/25. Is f at least h?
False
Let w(z) = z**3 + 3*z**2 - 3*z - 2. Let l be w(-4). Which is smaller: l or -4?
l
Suppose -3*f + 27 - 3 = -5*x, -x + 32 = 4*f. Let w be (-1)/((-