e (-7 - -7) + (-2)/l. Is j at most -1?
False
Let l = 1.61 - -0.19. Let p = l + -2. Is 0.1 at most as big as p?
False
Let g = 25/108 - 1/108. Suppose -9 = -4*p - 5*p. Which is smaller: g or p?
g
Let d(t) = t**2 + 4*t - 1. Let o be d(-4). Let z be (-3)/((-3)/2) + -3. Let y = -2 - z. Are o and y unequal?
False
Let u = 106 - 134. Is u bigger than -29?
True
Let h(r) = 4 - r**2 + r - 3 - 4*r + 4. Let u be h(-4). Which is smaller: u or -1/10?
-1/10
Suppose -z = -0*z + 5*z. Are -3/14 and z unequal?
True
Let b(z) = z**2 + 9*z - 14. Let d be b(-10). Let k = -5 - d. Is -6 equal to k?
False
Let n = -0.2 - -0.4. Let x = -0.7 + 0.4. Let m = x + n. Is -2/5 greater than m?
False
Let z(w) = -w - 4. Let y be z(-6). Which is greater: 5/3 or y?
y
Suppose -2*k - 6 = -5*w, 5*k + 8 = -3*w - 7. Let a = -13 + 13. Suppose a = 4*p + 4 - w. Is p greater than or equal to -1?
True
Let t(y) = -y + 4. Let n be t(3). Which is greater: -1/6 or n?
n
Suppose d = 2*p + 1, 0 = -9*d + 8*d - 5*p + 1. Which is greater: d or 2/187?
d
Let j(g) = -3*g**3 + 2*g + 1. Let f be j(-1). Suppose -5*n = 2*u + 21, -n + 5*n + f*u = -18. Let x = 4 + n. Are -2/27 and x nonequal?
True
Suppose 6*v = -8*v + 70. Which is smaller: v or -1?
-1
Let v be (-2)/10*(-10)/56. Suppose -15 = -3*t + 2*u - 12, 3*u + 6 = 3*t. Which is smaller: v or t?
t
Suppose 2*h = 13*h + 66. Which is greater: -25/4 or h?
h
Let t = 18 + -12. Let x be ((-6)/(-135))/((-2)/t). Is 2/3 <= x?
False
Let m = 2 - 1. Suppose 5*h + 19 = 4. Let d = h - m. Is d not equal to -3?
True
Suppose 15 = 2*g + g. Suppose -g*q = -3*q - 10. Is q less than or equal to 4?
False
Let b = 4 + -2. Suppose y - b = -0. Let m be -2*((-87)/(-42) - y). Which is smaller: m or 0?
m
Let r be (-4)/(-110)*(23 + 2). Which is bigger: 1 or r?
1
Let u = -20 + 11. Let m = u + 8. Which is smaller: m or -4/9?
m
Let n be 12/10*(-27)/12. Let i = -1019/3 - -3383/10. Let w = i - n. Which is smaller: w or 0.1?
0.1
Suppose -9 + 3 = -3*c. Suppose -c*s = -3 + 1. Is s smaller than 0?
False
Let m = 0.07 + 0.01. Let k = 0.02 + m. Which is bigger: 3/2 or k?
3/2
Let f = -0.3 + 0. Let c = f - -0.2. Which is bigger: 1/2 or c?
1/2
Let q = 334 + -336.01. Let v = q + 0.01. Let k = 1 + v. Is 3/4 equal to k?
False
Let o = 78742/609 + 173/87. Let z = o + -131. Is 1 less than or equal to z?
False
Let n = -12 + 38. Is 25 greater than n?
False
Let u be 6/(6/2) - 1. Suppose 2*r - 21 = u. Suppose 2*b = 2*c - 6, -2*c + r = c - 4*b. Which is smaller: c or 2/11?
2/11
Let p = 3/41 - 91/123. Let l = -3 + 7. Are p and l equal?
False
Suppose 0*n - 5 = -5*n. Suppose 0 = 11*q - 16*q. Let p = n - q. Which is greater: 2 or p?
2
Let m = 0.13 + 0.13. Let s = 0.06 - m. Do 2/3 and s have different values?
True
Let a = 4.5 + -0.5. Let s = 122776/35 + -3506. Let m = 16/7 - s. Which is smaller: m or a?
m
Let x = 0.8 - 0.7. Which is bigger: x or -1?
x
Let b be ((-4)/26)/(-4 + 6). Let y be (-1)/(-1) + 4/(-2). Which is bigger: y or b?
b
Let y be 2 + (-195)/50 + 2. Which is smaller: y or 0?
0
Suppose 0 = -j + 5*j + 12. Let g = -7 - -7. Suppose -3 = i - g*i. Is i greater than or equal to j?
True
Let c(p) = -p**2 - 7*p + 5. Let q be c(-7). Suppose f = 5, q*j - 3*f + 45 = 5. Which is greater: j or -2?
-2
Let k = -89496 - -89052.01. Let d = k - -447. Let p = d - 0.01. Is -0.2 not equal to p?
True
Let n = 32 - 97/3. Let d = 13 - 14. Which is smaller: d or n?
d
Suppose y = 0, -2*n = 3*n + 3*y - 15. Suppose -n*g + 8 = -13. Are g and 7 nonequal?
False
Let x(d) = d**3 - 4*d**2 + d. Let q be x(4). Suppose 6 = l + l. Suppose 0 = -4*j + l*j + 4*z - 11, -4*j = -z - 16. Is j greater than q?
True
Let l be (-47 - -2) + 2 + -1. Let k = l + 65. Let s be (-2 - k/(-9))*9. Is s equal to 2?
False
Let p = 6/257 + 722/13107. Which is greater: 0 or p?
p
Let v = -7 - -7.2. Which is bigger: v or 2/7?
2/7
Let p(f) = 42*f**2 + 2*f + 1. Let c be p(-1). Let w = -124/3 + c. Is w greater than 1?
False
Let d be -5*(-12)/105 - 6/21. Is d > -0.1?
True
Suppose 2*a - a + 1 = 0. Which is greater: -0.12 or a?
-0.12
Suppose 4*c - 4*b = 19 + 9, 0 = 5*c - 3*b - 31. Let z = c + -3. Suppose -2 - z = 4*y. Which is greater: -2 or y?
y
Suppose 2*g + 8 = -0*g. Let p be (1/2)/(27/g). Suppose 2*k + 4 = -2*k. Which is greater: k or p?
p
Let p = 656748063/232 - 320404382962159/113184680. Let k = p + 36/371. Let o = k - -2/263. Which is smaller: o or -1?
-1
Let c be (-2)/(-1*(-2 - -1)). Suppose -2*m - 2*w - 4 = 0, 0*m + 2*w + 7 = -5*m. Which is smaller: c or m?
c
Let q(c) = c**2 + 5*c + 6. Let b be q(-4). Suppose -b*y = -0*y. Let a = -1 - y. Is 3 != a?
True
Let t(i) = -i**3 + 3*i**2 + 2*i - 4. Let w = -2 - -5. Let b be t(w). Which is greater: b or 0?
b
Let i(c) = -3*c - 24. Let a be i(-10). Which is smaller: 55/8 or a?
a
Let q = 18 - 13. Suppose -q*d = 12 - 2, 0 = -i + 2*d + 9. Suppose i*a - 4*a + 2 = 0. Is -2/3 at least a?
True
Let w(o) = -o. Let k be w(-1). Which is bigger: -3 or k?
k
Let p be (2 - (1 + 0)) + -9. Let v be (0 - 2)*2/p. Which is greater: v or 0?
v
Let x = -487/5150 - -3/206. Is x at least as big as 1?
False
Let j = -6 - -5. Let v be (-2)/j + (1 - -2). Suppose -3 = 4*g + v. Is g less than or equal to -3/5?
True
Let t be (-1 + -2)/((-6)/(-4)). Let w be 1 + 6/(-2) + 4. Let y be (-5)/w + 4/(-8). Which is greater: y or t?
t
Let b be (8/32)/(4 - 0). Is 1 at least b?
True
Suppose 0 = k + 6*k - 21. Suppose -4*h - 6 = -0*o + 2*o, 0 = -4*o - 3*h + 3. Is k < o?
False
Let c = 862 + -1723/2. Let p = 11/3 + -58/15. Is p < c?
True
Let o = 0.12 - -3.88. Is -1 less than o?
True
Let p = -3 + 4. Let r = -1/2 + p. Is r less than 0?
False
Let i(p) = -p**3 + 6*p**2 - 4*p - 3. Let s be i(5). Let v = s - 3. Which is smaller: -3 or v?
-3
Let p = 5 + -8. Let b = 3.1 + p. Are b and 0.1 nonequal?
False
Let v = -300/1001 + 2/143. Is 1 less than v?
False
Let k = -108 + 93. Which is smaller: -10 or k?
k
Suppose 5*g - 8 = -13. Let o be (13/273)/(g/(-6)). Suppose 4 = 3*a - 7*a. Is a < o?
True
Suppose -7*s + 2*s = -10. Suppose -3*j + s*f + 3 = 9, -4*f - 32 = 5*j. Let i be (9/6)/(j/(-8)). Is i less than or equal to 3?
True
Let r = -5 - -5. Suppose 4*h + r*w = -w + 7, 3*w + 13 = 5*h. Which is greater: 3 or h?
3
Let l be 4/10 - (-64)/(-110). Suppose d + 3*w = 16 - 3, w - 7 = -3*d. Which is greater: l or d?
d
Let c = -23.3 + 23. Which is greater: -2/3 or c?
c
Let x = 5 + -6. Let m be 0/1 - (x - -1). Is m != 3/11?
True
Let w(c) = -c**2 - 2*c + 17. Let u be w(-6). Which is smaller: -2/9 or u?
u
Let o(q) = -3*q + 2. Let k be o(2). Let f be (1/(-4))/((-3)/k). Let w = 0 - 0. Is f != w?
True
Let m = 79369/1401 + 7/467. Let i = 56 - m. Which is smaller: i or -2?
-2
Let f(l) = -l**3 - 5*l**2 + 4*l - 8. Suppose -8 = 2*y + 8. Let v = y - -2. Let p be f(v). Is 2 bigger than p?
False
Let h(c) = 5*c + 20. Let p be h(-7). Is -15 at least p?
True
Let x(s) = -s**2 + 7*s - 5. Let q be x(5). Suppose 7 + q = -4*c. Let l = c - -1. Which is smaller: l or 0?
l
Let j(g) = g**2 + 4*g - 10. Let l be j(-6). Is l less than or equal to 28/11?
True
Let d(r) = -r**3 - r**2. Let b be d(-1). Suppose -4*z + 0*z - 4*v = 4, 2*v = 5*z - 30. Suppose -2*t + t = 5*k + 8, 4*t - 16 = z*k. Is t equal to b?
False
Suppose 5 = -4*a + 9. Is -1 greater than a?
False
Suppose 0 = -4*m + 2*m. Suppose h - 1 + 10 = j, 5*h = m. Suppose -4*g - 3 = j. Which is smaller: -2 or g?
g
Let q be ((-9)/(135/85))/((-10)/6). Is q at most as big as 3?
False
Suppose 2*u - 5 = 7. Let w be ((-8)/6)/((-1)/u). Is 8 at most as big as w?
True
Suppose -19 = 2*c + 93. Let v be c/(-3) + 4/(-6). Let b be ((-40)/v + 2)*3. Is 0 at least b?
True
Let k = 37 + -29. Is 9 bigger than k?
True
Suppose -5*g + 16 = -4. Suppose -6*i = -g*i - 12. Suppose -5*u + 1 = i. Is -1/8 bigger than u?
True
Let m = -596/19 + 6457/95. Let v = 36 - m. Is v < 0?
True
Suppose -4*i = -5*n + 9, 3 = -13*n + 15*n - i. Let m(u) = u**2 + 6*u + 7. Let s be m(-5). Is s < n?
False
Suppose 5*s = 4*n + 23, -2 = 2*n + s - 1. Suppose -1 = z - 4. Suppose -o + z*r = 4*o - 2, 3*o - 4*r - 10 = 0. Is o equal to n?
True
Let l = 2 - 1. Let f = -7 - -79/11. Which is smaller: l or f?
f
Let m be 232/420 - (-3)/(-42)*4. Is m greater than or equal to 1?
False
Let f = 44.2 - 44. Which is bigger: 12 or f?
12
Let x = -0.15 - 2.95. Let c = 3 + x. Let w = c - -0.2. Which is bigger: 1 or w?
1
Let d = -49963/1128 + -15/376. Le