 0.03?
False
Suppose 2*k + 18 = -3*f, f = -3*k - f - 17. Let u be (-14)/k*36/70. Is 2 at least u?
False
Let f = 0 + -3. Let m = 4 + f. Let i = 0.3 + -0.4. Is i >= m?
False
Let z = 2.1 + -2. Is z != 0.8?
True
Suppose -4*y + 10 = -2*p, -4*y + 2*p + 7 = p. Suppose -5*t - j + y = 13, 5*t = -4*j - 3. Does t = -3?
True
Let z be (-18)/14 + (-4)/(-14). Let q be -8*(z - 3/(-2)). Let d(x) = x + 1. Let t be d(-4). Are t and q equal?
False
Let f = -10 - -8. Which is smaller: f or 0?
f
Let a be ((-5)/15)/(1/(-15)). Suppose -2*x - a = -3*z, -2*z + 6 = -2*x - 2*x. Is -1/3 <= x?
False
Let g be ((-2)/2)/((24/(-8))/(-45)). Is g > -17?
True
Let f = 119.3 + -126. Let b = f - -7. Are -2/5 and b unequal?
True
Let o(u) = 0*u + 0*u - u - 7. Let w be o(0). Let q be (-3)/2 - w/6. Is 0 smaller than q?
False
Let d(r) = -r. Let m(i) = 2*i - 1. Let p(b) = -3*d(b) + 3*m(b). Let k be p(1). Is k at least as big as 8?
False
Let p = -2 + 2. Let k = p - 0.3. Which is smaller: k or 0.1?
k
Let j be (-724)/14 + 4/(-14). Is j bigger than -52?
False
Let z(y) = -y**2 - 6*y + 18. Let w be z(-9). Which is bigger: -8 or w?
-8
Suppose -i = 5 - 6. Is i greater than or equal to 3/11?
True
Let j be ((-1)/(1/(-18)))/1. Let g = -3 + 14. Let p = g - j. Is -6 > p?
True
Let l = -25 - -24.99. Which is bigger: l or -1?
l
Let c = 11.4 + -13. Let x = c - -1.6. Is x > -0.4?
True
Let m = 101 + -102.03. Let b = 0.03 + m. Let k = 0.1 + 0. Is k greater than or equal to b?
True
Let y(l) = -l**2 - 12*l + 16. Let p be y(-14). Which is smaller: p or -14?
-14
Suppose 2*t + 4 = 10. Let s be (t + -7 + 2)/(-6). Which is smaller: s or 0?
0
Let y be (0 + 0)*(-10)/(-30). Is -2/5 bigger than y?
False
Let z be (-2)/4*(-6)/3. Is z at least as big as -4/13?
True
Let c = 239/84 + -5/28. Is -2 greater than or equal to c?
False
Suppose 5 = -6*j + j. Let z be 4/14 - 127/126. Let y = z + 1/18. Which is bigger: y or j?
y
Let a(q) = q. Let o be a(5). Suppose 5*s + 0*b = b - 43, 5*s - o*b + 35 = 0. Let f be (12/s - -1)*0. Is -3 > f?
False
Let u be ((-3)/(-6))/(3*3/(-12)). Do u and 7 have different values?
True
Suppose -6*d + 1 + 5 = 0. Which is smaller: -3/20 or d?
-3/20
Suppose -5*p + 28 = 3. Let s = 8 - p. Let y = 8 + -5. Is y greater than s?
False
Let l = 0.028 + -2.128. Let r = l + 0.1. Which is greater: -3 or r?
r
Let m(t) = -t**2 - 5*t + 6. Let d be m(-5). Suppose 2*o = -o + d. Suppose 0*r + 2*q = o*r, 4*r = 2*q - 10. Is r > -3?
False
Let f = -902/20475 + 4/325. Is 0 smaller than f?
False
Let f be 0/(8/4) - -3. Is f at most 4?
True
Suppose -2*n - 4 = -12. Is n < 14/5?
False
Let x = -11.16 - -11. Let l = x - 0.04. Which is smaller: l or -2?
-2
Let g be (-36)/(-21) + (-2)/(-7). Suppose -4*n - 6 = -g*n. Suppose -12 = 3*a + a. Are a and n equal?
True
Let v be ((-16)/20)/((-14)/5). Let k be (-286)/18 - (-2)/9. Let p = -16 - k. Which is greater: v or p?
v
Let a be 12/30 - (-1264)/(-10). Let t = -1388/11 - a. Which is smaller: t or 1?
t
Let z = -0.16 + 0.26. Is z less than -2.4?
False
Let d be 3 + 0 + (-9)/3. Suppose -4*y + r - 8 = 0, d*y + 4*y + r + 8 = 0. Is y not equal to 2?
True
Let j = 6.9 - 5.9. Does j = -1?
False
Let f be (-3)/7 - (-162)/231. Is f <= 0?
False
Let i = -1.61 + 0.01. Is -1/5 greater than i?
True
Suppose 0 = -0*j + 4*j + 4. Let r = 323/6 + -54. Is j greater than or equal to r?
False
Let q be 1 + 1 + -3 + -5. Let l be q*6/16 - -2. Is 2/7 > l?
True
Let d be (-58)/136 + (-1)/(-4). Which is smaller: -1 or d?
-1
Let h = 34/33 + -4/11. Suppose 3 = -0*f + f. Suppose -f*x - p = -5, 4*x = 2*p + p - 15. Is x smaller than h?
True
Let u = 135/28 - 34/7. Are -1 and u unequal?
True
Let v(c) = -4*c**2 + 3*c + 2. Let u be v(-2). Are u and -20 non-equal?
False
Let w = -9 - -18. Suppose 3*o = -y - 10, 0*y - 4*o = 2*y + 10. Let p be (-2)/9 + y/w. Is 1 at least as big as p?
True
Let z(f) = -f**2 + 4*f - 1. Let q be z(4). Let s = -1.03 + 0.03. Let x = 4 + s. Do q and x have different values?
True
Let z(r) = 11*r - 11. Let c be z(1). Is -1/274 bigger than c?
False
Let n = -12 - -11.78. Let d = n + 0.02. Let w = -83/3 + 27. Which is greater: d or w?
d
Let y = 6 + -9. Is y < 4?
True
Let l(q) = -q**2 - 3*q - 2. Let w be l(-3). Let c be 2/8 - (-21)/28. Suppose 0 = 3*p - c + 10. Which is smaller: p or w?
p
Let o(j) = j**3 - 4*j**2 - 11*j - 10. Let r be o(6). Let w(b) = b**3 - 4*b**2 - 5*b - 4. Let u be w(5). Is r less than u?
False
Let c = 2 + -1. Let n = 0.25 - -0.12. Let b = -0.29 + n. Which is smaller: c or b?
b
Let t(m) = -m**2 - 8*m + 5. Let o(i) = i**3 - 6*i**2 + 3*i + 2. Let b be o(5). Let l be t(b). Suppose a - 8 = -v, -2*v = -l*a + 2*a - 1. Is 8/3 equal to a?
False
Let o = 16 - 10. Let s be -2 - ((0 - 0) + -2). Is o less than s?
False
Suppose t - 13 = -5*x, -x = -4*t + x - 14. Suppose -2*m = 3*c + 179, 4*c + 0*m + 250 = 3*m. Let n = -185/3 - c. Which is bigger: n or t?
n
Let d = -2.58 + 0.28. Let i = d + 0.3. Let v = -2.1 - i. Which is smaller: -0.3 or v?
-0.3
Let f be (-2*2 - 0) + (-1914)/(-429). Do 1 and f have the same value?
False
Suppose 3 = q - 3. Let d be (4 - 2)/(4/q). Suppose 0 = -3*s + s - 4*m + 14, d*m = -3*s + 9. Are -2/3 and s equal?
False
Suppose 0 = -4*v + 20 + 16. Which is greater: v or 1?
v
Let a = -2 - 0. Let n = 1 + -2. Is n <= a?
False
Let h(l) = -l**3 + 5*l**2 - l + 5. Let d be h(5). Suppose 2*j = -d*j + 6. Let y be 1/(j*2/12). Is y at least 2?
True
Let k be ((-2)/(-3))/(10/(-45)). Which is bigger: k or -5?
k
Suppose -5*r = -19 + 4. Suppose 0 = -3*v + r*k + 9, -3*k = v - 0*v + 9. Is -2/3 < v?
True
Let d = -3 + 3. Suppose 3*f = 3*i - i - 3, 4*i + 3*f + 3 = 0. Suppose 3*b - b = i. Is d < b?
False
Suppose -j + 0*r - 11 = r, r - 3 = 0. Let h = -20 - j. Let c be h/4*8/30. Which is smaller: 0 or c?
c
Let r be 2/(-5) - (-138)/(-165). Let x = 18/11 + r. Which is bigger: -1/3 or x?
x
Suppose b - 3 = 1. Suppose 5*r - 5 = 4*q - 3*q, -5*r = -b*q + 10. Let t be ((2/(-1))/(-2))/r. Which is smaller: t or -1?
-1
Suppose 2*s - 4 = 6*s. Which is bigger: s or 0?
0
Let z(y) be the first derivative of y**2 - 3*y + 1. Let n be z(4). Suppose -3*c + 11 = 4*w, -n*c + 0*w = -2*w - 1. Is c bigger than 2?
False
Let q = -21 - -41. Suppose l = 4*y + 3*l - q, 0 = -y + 3*l - 2. Are y and 2 unequal?
True
Let g(i) = -i**2 + 9*i + 1. Let j be g(10). Let w be j/5*(-1)/(-3). Which is bigger: w or 0?
0
Suppose 7 = h - 0*h - 2*j, -2*h - j + 14 = 0. Let l = h - 2. Suppose -x - 24 = 5*k, -l*k - 16 - 7 = 2*x. Is x smaller than 1?
False
Let o be (-1 - 23) + 18/(-6). Which is greater: o or -25?
-25
Suppose 0 = -5*g - 5. Let o = 2 + 8. Let f = 23/2 - o. Are g and f unequal?
True
Let a = -1.7 + 1.6. Is a less than -3/20?
False
Let u be 1/(-4) + (-41)/(-4). Let x(p) = 2*p**2 + 1. Let k be x(2). Which is smaller: u or k?
k
Let v = -0.02 + -5.98. Let f = v - -7. Let l = -0.8 - -1. Is f greater than l?
True
Let n = 34 - 43. Is 1 <= n?
False
Let b = 2 - 1.9. Let n = -1.1 + b. Which is smaller: n or -0.2?
n
Let j(r) = r**3 - 4*r**2 + 6*r - 7. Let o be j(3). Let s be 5 - (1 + o) - 1. Which is smaller: s or 0.2?
0.2
Let m be (6/(-4))/(3/4). Let d be 1*(-1 + 0)*1. Let o be (m/(-10))/(d/(-5)). Is 4/5 > o?
False
Let m = -2133/14 + 152. Which is smaller: m or 1?
m
Let i(t) = -t**2 - 6*t + 4. Let y be i(-6). Which is bigger: y or 2?
y
Let r be (8/4)/(1/(-2)). Let m = 6 - 8. Are m and r unequal?
True
Let z(o) = o - 4. Let h be z(8). Suppose t = h*t. Is 1 <= t?
False
Let s(k) = k**2 - 3*k - 3. Suppose o + o - 14 = 0. Let z = -3 + o. Let n be s(z). Which is greater: n or 0.06?
n
Let w = 2.2 + -1.7. Do w and -1 have the same value?
False
Let f(x) = x + 5. Let h be f(-8). Is -3 not equal to h?
False
Let l be (-6)/7*14/(-2). Suppose -17 = 4*f - l*j + j, 3*f + 9 = 3*j. Let p = 2/69 - 25/69. Is p bigger than f?
False
Suppose x - 4*h = -5*h, 2*h = 2*x. Let w be 0 + x - (-4)/2. Let a = w + -2. Is a <= -2?
False
Let r(a) = a**2 + 4*a + 6. Let u be r(-4). Let d = 13 - u. Let m be ((-12)/(-7))/(8/28). Is m greater than d?
False
Suppose 0*h = 4*h - 4. Let d = 29 - 85/3. Which is bigger: d or h?
h
Let g be -1*(5/(-2) + 2). Which is bigger: 1/3 or g?
g
Suppose -2*l + 5 = 11. Let m(c) = c**2 + 3*c + 2. Let o be m(l). Let x = -2 + o. Is 0 >= x?
True
Let l be 2/6 + 2/6. Suppose -22 = -5*r - 2*p, 2*r = r - 2*p + 6. Which is smaller: r or l?
l
Suppose -2*c = 2*c. Let q = -4 + 2. 