l = n - 4. Which is smaller: 2 or l?
l
Suppose 23 + 7 = 5*a. Let s(t) = -t + 4. Let y be s(a). Is y >= 0?
False
Let v be ((-14)/(-4))/((44/(-8))/11). Do v and -8 have different values?
True
Let m = -5.4 - -5. Let a = 0.1 + -0.1. Which is greater: m or a?
a
Let k = -20 + 20. Suppose 0 = s - y + 17, k*s - y - 17 = s. Which is bigger: s or -18?
s
Let w(r) = r**3 + 7*r**2 + 6*r + 4. Let z be w(-6). Let k be (z/(-2) - 1)*-1. Suppose h + 4 = 3*h. Which is smaller: h or k?
h
Let h = 22 - 22. Which is smaller: h or -0.4?
-0.4
Suppose -3*i = -8*i + 5. Let c be (2 - i)*(1 + -3). Suppose g = 3*g + 6. Which is bigger: c or g?
c
Let j be 1/2 + (-1 - (-30)/92). Which is smaller: -1 or j?
-1
Let c(w) = -7*w**3 + 7*w**2 + 6*w - 4. Let r(j) = 20*j**3 - 20*j**2 - 17*j + 11. Let x(d) = 17*c(d) + 6*r(d). Let f be x(2). Which is greater: 0 or f?
f
Suppose 5*k - g = 3*g - 23, 13 = -5*k - g. Let r be -1*1 + 7 + k. Let i = -2 + r. Is i greater than -1/4?
True
Let x = -1.1 + 0.8. Are x and 2/7 nonequal?
True
Let h be ((-4)/8)/(14/(-48)). Is 2 at most h?
False
Let g be ((-4)/54)/(2/(-6)). Let n(o) = -o**2 - 4*o + 22. Let f be n(-7). Are g and f equal?
False
Let o = 315403/163 - 1935. Which is greater: -1 or o?
o
Let r = 0.08 + 0. Let y = r + -2.08. Which is greater: y or -0.1?
-0.1
Let n(l) = -l**2 + 11*l - 19. Let v be n(5). Which is greater: v or 9?
v
Let c = 0.07 + -0.1. Let a = c + 1.03. Is -0.2 > a?
False
Let x(i) = 3*i + 17. Let a be x(-7). Which is greater: a or -2?
-2
Let j = -36151/204 - -709/4. Let q = 44/255 - j. Which is smaller: q or 0?
0
Suppose -13 + 4 = -3*n. Which is greater: 2 or n?
n
Let s = -6 - -4. Let m(f) = -f - 1. Let h(i) = -3*i - 3. Let d(r) = -h(r) + 2*m(r). Let l be d(s). Is -2/19 <= l?
False
Let j be 20/8*-2 + 4. Suppose -3*k + k - 114 = 4*d, 2*d + 3*k + 67 = 0. Let u be ((-2)/d)/((-2)/4). Is u > j?
True
Let k = -485 - -4373/9. Which is bigger: k or -2/5?
k
Let g = 1/29 + 53/145. Let l = -1693/84 + 81/4. Which is smaller: l or g?
l
Let q be 6 + (-3)/(-1 + 4). Let y = -6 + q. Let s be (-1)/3*(-18)/66. Are s and y nonequal?
True
Let j be 56/(-1450)*(-20)/8. Let m = j + 3/29. Which is smaller: m or 0.1?
0.1
Let q = -7211 - -36184/5. Let u = q - 26. Let c = -21 + 20. Which is bigger: c or u?
u
Let y = -4 + 3.7. Let n = y - -5.3. Which is greater: 1/2 or n?
n
Let c be (-169)/(-52) + 2/(-8). Suppose v + 0 - c = 0. Is v greater than or equal to 4?
False
Let u = 0 - -0.3. Which is smaller: -0.2 or u?
-0.2
Let y = 11 - 6. Suppose 0*i + 5*i = -2*s + 13, -i + y = s. Let c = 1.2 + -1. Which is bigger: i or c?
i
Let b = -5 - -15. Does -1/4 = b?
False
Let z = -1.8 - -2. Let f = z + -0.1. Let t(m) = -m - 4. Let s be t(-6). Are f and s unequal?
True
Let v be (-14)/(-28)*1*-22. Is v > -7?
False
Suppose 5*l = -5*z + z - 5, 0 = 5*z. Let b = -4 + 5. Which is smaller: b or l?
l
Suppose 5*g + 18 = -3*c, 2*c - 2*g + 1 = 5. Do 1/27 and c have the same value?
False
Let s(c) = -4*c - 1. Let k be s(-1). Suppose -3*g = -4*b - 11, -14 = -4*g - k*b + 8*b. Let o be (g + -2 + 0)/(-2). Which is smaller: o or 0.1?
0.1
Let c = 127/910 + 1/70. Which is greater: c or 1?
1
Let x = -143/2 - -70. Is x at least -0.02?
False
Let l = 1 + 3. Suppose 6 = -2*m + j, l*m - 4*j + 11 + 9 = 0. Let o be m*(-3)/(1 + 2). Which is smaller: 2 or o?
o
Let r = -1.5 + 1. Let g = 1.5 + r. Let x = 33 + -65/2. Are g and x equal?
False
Suppose -4 = -4*x - 8. Which is smaller: x or -5/8?
x
Suppose -2*j + 3*d - 6 - 38 = 0, -4*d + 88 = -4*j. Which is smaller: j or -109/5?
j
Let t(l) = -2*l - 4. Let n be t(-14). Let a be (-4)/n*3*-8. Which is greater: -1 or a?
a
Suppose 3*i = -m - 20, -10 = -m + 5*i + 2. Are m and -6 unequal?
True
Let a be 5/(-2 + 7)*1. Is -5/16 less than a?
True
Let q be 2/(-8)*(0 + 0). Let m(f) be the third derivative of f**5/60 + f**4/4 + f**3/6 + f**2. Let g be m(-6). Is g at least q?
True
Let b be ((-12)/(-40))/((-6)/8). Is b at least as big as -14?
True
Let y = 211/6 - 69/2. Which is smaller: 66 or y?
y
Let l(h) = 2*h + 7. Let y be l(-5). Let s be ((-7)/y)/(3/(-27)). Let d be 28/s*6/(-4). Is 1 != d?
True
Let j = -15/11 - -53/55. Which is bigger: j or 7?
7
Let g = -2 + 7. Suppose -4 = -q + g*q. Which is bigger: q or 2/27?
2/27
Let b be (-34)/(-153) + (-1)/(-9) + -1. Let g = 0 + 0. Suppose -2*z - 2 = -g*z. Which is smaller: b or z?
z
Let a = -19 + 8. Let d = -10.9 - a. Which is smaller: d or 1/3?
d
Suppose -7 = -3*l - n + 4, 4*l - 23 = -3*n. Let v(f) = l*f - 2*f - f. Let a be v(-1). Which is smaller: 0.3 or a?
0.3
Suppose -4 + 2 = -n + 4*z, 0 = 2*z + 2. Does n = -4?
False
Let j(h) = 12*h**2 - 9*h - 1. Let b be j(1). Let w be (-3)/(-12) - 1/4. Let s = 0 - w. Which is greater: b or s?
b
Suppose 3*b = 5*b + 2. Are b and -8/9 nonequal?
True
Let z = -1.5 + 1.55. Let w = 35.9 - 36. Does w = z?
False
Let p = 4 - 5. Let s be (0/(2 - p))/(-2). Which is smaller: 1/3 or s?
s
Suppose 6*h - 4*h + 2 = 0. Is -2 > h?
False
Let v = 1.5 + -2.5. Which is bigger: v or -0.1?
-0.1
Let b = -8 - -9. Let a = b - -0.5. Let x = -0.5 - a. Is 0 bigger than x?
True
Let f = 1186/11 - 108. Which is bigger: -1 or f?
f
Let v be (3/6)/((-5)/70). Is v != -25/4?
True
Let y be 100/26 + 4/26. Let j = y - 7. Let w be -1 - (-1 + 1 + 1). Which is greater: w or j?
w
Let q be 42/(-30) - 6/(-15). Which is smaller: -10/11 or q?
q
Let z = -6 - -4. Let p = 2.1 + z. Is p at most 0.09?
False
Let i = 3.9 - 5.9. Is 1/4 greater than or equal to i?
True
Let o be -2*2 + (23 - (-6)/3). Do 83/4 and o have the same value?
False
Suppose 0 = -q - 5, p = 2*p - 2*q - 18. Suppose 11 = -h + n, -h + n = -3*n + 26. Let l = h + p. Is 2 less than l?
False
Let f(h) = -h + 2. Let y be f(-3). Suppose -4*w - y*i = -w - 19, -4*i = w - 18. Suppose -2 + 7 = -5*j. Which is bigger: w or j?
j
Let l(o) = o - 12. Let s be l(0). Let n = 8 + s. Let m = n + 4. Is m greater than or equal to 0?
True
Let x be (-126)/(-24) - 1/4. Suppose 3 = 2*w - x. Let m = 9 + -5. Are m and w nonequal?
False
Suppose 8 = -2*z - 2*r, 5*z + 11 = r - 3. Suppose m - 2*m = -3. Let s = m + z. Are s and 2/5 unequal?
True
Let i be (4 - -1)*18/(-15). Let p be 0*((-3)/i + -1). Is p <= -4/3?
False
Let y be 4/18 + 88/(-9306). Which is smaller: -1 or y?
-1
Let x = 5/8 - 61/136. Is x > 1?
False
Let a = 2875 + -43126/15. Suppose -3*v + 3 = -5*i, -4*i = -i - 2*v + 2. Let u = 0 - i. Which is smaller: u or a?
a
Let a = -956 + 8618/9. Let j = -20/9 + a. Let x = 0 - j. Is -1/5 <= x?
True
Let k = 14 - 14.2. Which is greater: k or 7?
7
Let y = 9/5 - 3/10. Let t be 3 + 5/((-5)/2). Is t greater than or equal to y?
False
Let o = -15 - -14.94. Are -2/3 and o nonequal?
True
Let a = -6 - -4. Let u = -2.1 - a. Let y = 39 + -38.9. Is u bigger than y?
False
Let y be (-8)/(-52) + 50/13. Suppose -3 - 1 = y*a. Let w(f) = 3*f**3 - 2*f**2 - 2*f - 1. Let d be w(-1). Is d at least as big as a?
False
Let z = 64 - 66. Which is smaller: z or -2/3?
z
Let s = -81 + 88.1. Do 0.1 and s have the same value?
False
Let j = -61/3 + 20. Let g = -157/7 - -565/28. Is j <= g?
False
Suppose 0 = -5*v - 3*o + 34, 2*v - 5*v = -3*o - 30. Let z = -34 + 42. Is v > z?
False
Suppose 4 = 3*k + 13. Let g be (1/(-2))/(2/12). Is g less than k?
False
Let g = -252.9 - -253. Let f = -0.8 - -8.8. Let u = -7.93 + f. Which is bigger: u or g?
g
Let s = 4 + -1. Let t(c) = -c - 10. Let l be t(-8). Let h be l/(-7)*(10 - 3). Which is greater: s or h?
s
Let d be 3/3 + 38/(-12)*3. Is -8 at least as big as d?
True
Let i = -8 - -17. Suppose 1 = -2*p + i. Which is smaller: 2 or p?
2
Let l = -6 - -125/21. Suppose -n + 0*z + z + 5 = 0, 4*z + 20 = 0. Are l and n non-equal?
True
Let c = -1.997 - 0.003. Which is smaller: 2.3 or c?
c
Suppose 2*x + 2*x = 0. Let y be 0/2 + x/8. Suppose 4*a - 1 = 7. Is y > a?
False
Let o = 2.02 - 0.02. Let l = -7 + 23. Let t be (-24)/15*4/l. Which is smaller: o or t?
t
Suppose -p + r = -6*p + 29, 21 = 5*p - r. Suppose 0 = -0*f - p*f. Is f at most -2?
False
Let c = -4 + 1. Let s be (0 + 0)/(-4 - c). Let j be (1/(-5))/(4/25). Is j less than or equal to s?
True
Let n(y) = -y. Let j(u) = 4*u + 1. Let c(s) = j(s) + 5*n(s). Let m be c(3). Suppose -3*x = -5*v - 2 - 10, 2*x + 5 = -v. Is m > v?
True
Let a = 0.29 + -0.19. Suppose 4*r = -0*w + 3*w - 10, -4*r - 4 = 0. Let j = 0 + w. Which is bigger: j or a?
j
Let o be (-6)/(-21) - 6/21. Suppose 3*y 