 = -0.2 - 0. Which is smaller: c or n?
n
Suppose -17*p - 36 = -15*p. Is p >= -0.1?
False
Suppose b - 6*b = 0. Let h = 8 + -6. Suppose -h = l - 0. Which is smaller: b or l?
l
Let h = 0 + -1. Let m = h + -1. Let s be (2 - 4)*(-3)/m. Which is bigger: s or -2?
-2
Let a = 97 - 103. Which is smaller: a or -0.2?
a
Let j = 6 - 11. Is j >= -2?
False
Let r(y) = -y - 1. Let d(x) = 3*x + 10. Let h(p) = -d(p) - 5*r(p). Let z be h(-6). Let s = 24 + z. Is s < 6?
False
Let q be (-3*1)/(2/(-6)). Suppose -d - 2 = -2*d - 5*i, q = -2*d + 3*i. Which is greater: -2 or d?
-2
Let c(u) = u**3 + 3*u**2 + 2. Let w be c(-2). Which is smaller: 1/2 or w?
1/2
Let t be (-92)/(-20) + 2/5. Let y = 33 + -28. Is t smaller than y?
False
Suppose 3*v - 7*v = 100. Let y be v/(-20)*(-1)/5. Which is bigger: 0 or y?
0
Let l be (-3)/(-12) + 9/12. Do 1/13 and l have the same value?
False
Suppose -p + 65 = 4*p. Suppose -4 = -4*a + 2*j, 5*a - 4*j - p = 2*a. Is a greater than -4/3?
True
Let r = 0 + 0. Suppose 3*c + 3 = 3*p, -c = -5*p + p + 10. Let f be (0 + 0)/(c + -1). Is r != f?
False
Let u(m) = 8*m. Let p be u(-1). Let v = 13 + -21. Is p at least as big as v?
True
Suppose 4*o + 14 + 66 = 0. Is o smaller than -21?
False
Let d be ((-18)/270)/((-1)/(-3)). Which is bigger: 1 or d?
1
Let d = -45 + 45. Is d less than or equal to -6/41?
False
Let v be ((-10)/25)/((-4)/14). Let g = 6 - 1. Suppose -5*b - g*r = 7 + 8, 5*b - 15 = r. Which is smaller: b or v?
v
Suppose 0 = -3*z + z - 2*t - 22, t - 79 = 5*z. Let p be (8/(-6) - -1)*z. Suppose -p*o = -n + 1, 2*n + 3*o + 2*o = 2. Are n and 2/11 unequal?
True
Let d = 4 - 6.04. Let l = d - -0.04. Let k = l - -3. Is 1/2 not equal to k?
True
Let h(s) = -s + 2. Suppose j = -2*j. Let i be h(j). Suppose -3*c - 18 = -3*y, 2 = -2*c + 5*c + i*y. Is 0 <= c?
False
Let a = -5 - 4. Let k = a - -5. Let h be 1/(-2)*2/k. Which is smaller: 0 or h?
0
Let r be (8/120)/((-6)/(-4)). Which is smaller: 1 or r?
r
Let k(o) = -o**3 + 7*o**2 - 6*o - 3. Let j be k(6). Which is smaller: -10 or j?
-10
Let p be ((-7)/(-56))/((-2)/(-4)). Which is smaller: 1 or p?
p
Let b(o) = -o**2 - 8*o - 3. Let r be (-20)/3*6/5. Let p be b(r). Which is greater: 0.1 or p?
0.1
Let g be (4/6)/(12/54). Suppose -g = -w + 2*w. Let p be 0 + 0 - (-4 - w). Which is smaller: p or -1/3?
-1/3
Let u be (0/2)/(5/(-5)). Suppose u*r - r = 0. Is r bigger than -1/4?
True
Let u(i) = -i - 8. Let h be u(-7). Let x(k) = -k + 6. Let q be x(7). Let d be q*-2*2/(-8). Which is smaller: h or d?
h
Suppose h = 5*o + 18 + 2, 0 = -5*o - 5*h + 10. Let u = 1 - 4. Is u at least o?
True
Suppose 2*o = 2*y - 24, 4*y + 3*o - 7 = 6. Suppose 3*z = y*z - 4. Are 1 and z non-equal?
False
Suppose 4*g - 2 = 2*g. Suppose -3*s = -4*x + 4 + 4, -s + 29 = 5*x. Suppose 3*d + 0 = x*m - 1, 9 = -3*m + 5*d. Is g > m?
False
Let g(c) = 4*c + 6. Let r be g(-6). Let d be 1 + 0 + 14/r. Are d and 2 unequal?
True
Suppose -14 = -3*c + 10. Let s be (-57)/99 - c/(-12). Which is bigger: -0.1 or s?
s
Let m = -2 - -11. Suppose -4*v = -3*l - 30, -2*v + 5*v = 5*l + 28. Let x = m - v. Which is greater: x or 4?
4
Suppose -5*i = -0*i + 4*c - 4, -2*c = -4*i + 24. Suppose -z + 13 = 4*h, -6*h + h + 11 = -i*z. Which is bigger: 0 or z?
z
Let j = -128 - -127. Which is smaller: -3/104 or j?
j
Let t = 131 - 144. Do t and -10 have the same value?
False
Let y(f) = f + 5. Suppose 3*v - 7*v = 24. Let o be y(v). Let l = 1 - o. Which is smaller: l or 1?
1
Let o = -1756/9 + 196. Is 1 at least as big as o?
True
Let r = 0 - -3. Let h be 105/55 - (-1 + r). Which is greater: h or 0.1?
0.1
Let s be 4 - (-20)/(-15)*3. Which is bigger: s or -12/17?
s
Let l = -19/8 + 99/40. Are 0 and l nonequal?
True
Let c be (-1 + -1 + 1)/(-2). Let f = 10 - 20. Let n = 11 + f. Which is smaller: c or n?
c
Suppose x = -2*h - 3*h + 24, -2*h = -8. Is 3 at most x?
True
Let p(i) = -i**2 + 2 + 7*i - 7*i. Let k be p(0). Suppose d = -d + k. Which is bigger: 2 or d?
2
Let q = -0.8 + -5.2. Which is greater: 1/4 or q?
1/4
Suppose 2*c + 10 + 12 = 0. Let u = c - -8. Let g be u + 2 + 3/9. Is -1 greater than g?
False
Let b = -0.02 + 0.12. Is b >= -1?
True
Let p(g) = 17*g**3 - g**2 - g + 6. Let b be p(-7). Let y = -17416/3 - b. Let l = y + -61. Is l smaller than 0?
False
Suppose 1 = -3*b - 5*n + 13, -2*n = b - 5. Is b at most -4/19?
True
Let k = -5/6 + 7/6. Which is bigger: k or 1?
1
Suppose -b + 3*b + 4 = 0. Let o be -2 + 2 - 2/b. Which is smaller: o or 2?
o
Let f = 133 + -132.9. Is -1.7 < f?
True
Let u(v) = 4*v - 6. Let d be u(3). Suppose -j + 4 = -d. Do j and 10 have the same value?
True
Let q = -35 - -53. Let g be 2 - 0 - (-34)/2. Is g > q?
True
Let v be ((-4)/(-8))/((-3)/398). Let i = v - -67. Is 2 > i?
True
Let l be (3 - 1)/1 + 0. Suppose -l*b + 5 = -b. Which is greater: 7 or b?
7
Suppose -251 = 2*s + 229. Let l be -1 - (-3 - s/116). Which is smaller: l or 0?
l
Let t(n) = -n**2 - 5*n - 1. Let g be (9 + -3)*(-4)/6. Let x be t(g). Which is greater: 4 or x?
4
Let v = -3 + 0. Let m be -7*3*3/18. Let g = m - v. Which is smaller: 0 or g?
g
Let n = 0.8 + 2.2. Let s = -7 + 9. Suppose -2*q + s = 4*b, q + 3 - 4 = 3*b. Is n not equal to b?
True
Suppose 4*x + 7 = l - 7, 3*x + 8 = 2*l. Let o be ((-22)/(-4))/((-2)/x). Let n be 2 - 1/(4/o). Which is smaller: -2 or n?
-2
Suppose -3*i = 11 + 13. Let h(f) = -f - 3. Let q be h(i). Is 6 greater than or equal to q?
True
Let c = 5188 + -62291/12. Which is bigger: -4 or c?
c
Let s be ((-30)/8)/(12/32). Let d be ((-5)/s)/(1/(-2)). Which is smaller: d or -3/2?
-3/2
Suppose -4*k + 40 = 4*d, 2*k - 4*k = -d - 2. Let a(t) = -t**3 - 7*t**2 - 6*t + 5. Let h be a(-6). Which is smaller: d or h?
h
Let g = -146 + 146.7. Which is smaller: g or -11?
-11
Let l be (2/4)/(-1)*-2. Suppose 0 = y + l, -3*a - y - 8 = 4*y. Let n be 1 - 2*(-2)/(-4). Which is bigger: a or n?
n
Suppose 3*g + g = 12. Suppose g*q - 13 = 2. Which is smaller: 4 or q?
4
Let u = -4 - -6. Let q be (-4 + 1 + u)*-1. Which is bigger: q or -3/10?
q
Let q = -30 + 30. Suppose 2*s + q*s = 4*c - 6, 3*c = -3*s + 18. Let j be (-60)/(-14) + (-4)/14. Which is smaller: j or c?
c
Let u = 228 - 4559/20. Which is greater: u or -0.1?
u
Let w(h) = h**2 + 6*h + 7. Let y be w(-4). Which is smaller: 1/177 or y?
y
Let a = 167 - 303. Which is greater: a or -135?
-135
Let m = 140034075214435050/4303 - 32543358906752. Let g = m - 427302. Let w = -2/331 + g. Is 0 smaller than w?
True
Let h(w) = -2*w**2 - 2*w. Let v be h(0). Is v >= -2/7?
True
Let l(y) = -8*y**2 + 3*y - 3. Let n be l(-4). Let k be (-1)/(3 + 428/n). Let p = 1572/11 + k. Which is greater: p or 0?
0
Let x be (12/32)/(-2 - -1). Is 1/4 less than x?
False
Let y be 8/45 + 4/18. Let a = -1 + 0. Is y at most a?
False
Let c be (-80)/(-90) + (-4)/18. Is 2 != c?
True
Let l = -2 + 1. Let x = -0.2 + 0.2. Let d = x - 0.2. Do l and d have the same value?
False
Suppose d = 2*b - b, -3*b + 30 = 3*d. Suppose 0 = -d*v - 1 + 16. Which is smaller: v or 2?
2
Let l = 0.08 + -8.08. Let d = -7 - l. Which is smaller: -0.1 or d?
-0.1
Let d be 3/(99/30 + -3). Suppose 5*q + d = 2*z, -3*q - 2 = -2*q + 5*z. Is -2/3 >= q?
True
Let r = 3162/7 - 104675/231. Let d = 12/11 + r. Which is smaller: d or -1?
-1
Let r = -0.09 + 0.09. Let z = r + 0.1. Are 0 and z nonequal?
True
Let n = -0.65 + 0.55. Which is smaller: 7 or n?
n
Let h = 38 + -37. Which is smaller: h or -4?
-4
Suppose 13 = -4*h - o, -2*h - 5 = -4*o - 3. Is h < -4?
False
Suppose q = -4*v + 19, -3*q + 8*q = -4*v + 31. Which is bigger: q or 1?
q
Let x = -8.9 + 9.9. Is x less than 19?
True
Let z be (-267896)/(-10) + (0 - 0). Let a = -26587 + z. Let m = -202 + a. Is m <= 0?
False
Let n be 68/(-12) - -1 - (-4)/(-3). Let x be (2/(-6))/(2/(-6)). Let d = n + x. Which is smaller: d or -4?
d
Let t = 0 - -0.06. Let f = t - 2.06. Let j = f + 1. Which is smaller: 1/3 or j?
j
Let u = -20 - -19. Which is bigger: -4/23 or u?
-4/23
Let i = 2/3 + -11/12. Let u(t) = -t**3 - 5*t**2 - 5*t - 4. Let p be u(-4). Suppose 0 = -p*l + 3*l. Which is smaller: l or i?
i
Let x be (4/9)/(3 - 1). Let i(y) = -y**3 + 11*y**2 + 3*y - 12. Let w be i(11). Let p = w - 20. Which is greater: x or p?
p
Let l = -416 - -417.77. Let d = l - -0.23. Which is bigger: -0.3 or d?
d
Let v be (3 - -7)*(-2)/((-12)/(-3)). Is v < -3?
True
Let i be 2/(-3) + 22/6. Let j be (-1 - -4)/(i/20). Suppose m + j = 3*m + 4*t, 4*m + t - 5 = 0