1/7?
1/7
Let d = -0.03 + 1.03. Is -0.053 >= d?
False
Suppose -4*r = -2 + 22. Suppose 14*n - 23*n - 18 = 0. Which is smaller: n or r?
r
Let k be (-2)/13 + 464/(-1040). Which is smaller: k or 1?
k
Let j = -1.3 - -7.3. Let r = j - 5.9. Is 3/4 less than r?
False
Let m = 15 - 21. Is 0 smaller than m?
False
Let v be 4 - -33*2/(-18). Let h = 9 + -5. Is v <= h?
True
Suppose 108 = -0*d - 3*d. Let h be 2/d*(4 - -4). Which is bigger: 1 or h?
1
Let m = -18 + 28. Let x = m - 8. Let a be (x/(-6))/(26/12). Does a = -1?
False
Let y(m) = m - 4. Let q be y(5). Let p(u) = 2*u**2 - 1. Let k be p(q). Let o be -2 + (-1 + 1)/k. Is -3 > o?
False
Let o = 14 + -14. Let d be o - 0 - 80/48. Do d and -3 have the same value?
False
Let x = 126 + -151. Is -20 bigger than x?
True
Let u be ((-6)/9)/((-6)/(-9)). Which is smaller: u or -2?
-2
Let i = 8 + -3. Suppose -4*n + i*d = -0*d - 32, 0 = -2*n - d + 2. Let j = -30 - -33. Is n at most as big as j?
True
Let z = 2.4 + 1.6. Let j = 3 - z. Which is smaller: j or -2?
-2
Let f = -19 + 18. Which is greater: -4/5 or f?
-4/5
Let y be ((-3)/(-1) - 1)/(-2). Let w be 2/56 - y/4. Let r = -1 + 0. Which is smaller: r or w?
r
Suppose 2*r + 14 - 34 = 0. Which is greater: 11 or r?
11
Let a = 0.3 + -0.3. Are a and -3/4 equal?
False
Let r be (42/(-18))/(2/(-6)). Let w(v) = -1. Let g(j) = j**2 + 5*j + 11. Let s(u) = g(u) + 5*w(u). Let z be s(-5). Which is smaller: r or z?
z
Let b be (120/(-14))/(98/(-343)). Is b greater than 29?
True
Let p be (1/3)/((-8)/24). Let f be ((-1)/3)/((-5)/3). Which is greater: p or f?
f
Let a = 218 + -147. Which is greater: a or 70?
a
Let j(d) = 0*d + d - 2*d + 2*d - 2. Let z be j(6). Suppose -23 = z*v - 3*k + 6*k, -9 = 2*v + k. Which is smaller: v or -3/5?
v
Let l(o) = -3*o**2 + o. Let w be l(1). Let u(z) = -4 + z**2 + 5 + 0*z + 2*z. Let j be u(w). Are j and 1 equal?
True
Suppose -t - 2*t = -4*o + 61, o + 4*t = 20. Are 16 and o equal?
True
Let s(c) = 2*c**2 + 4*c + 3. Let l be s(-1). Which is greater: 2/9 or l?
l
Let h be (2 + 1)/(-3) - 0. Is 0 >= h?
True
Suppose -4*r + 2*k = -10, 2*r - 3*k - 3 = -r. Suppose -r*v + 3*w + 75 = 0, -3*v - 4*w - 58 = -6*v. Suppose 0 = 2*i + v. Is i greater than -8?
False
Let g be 5/(-15) + 59/(-3). Let p = g + 12. Is p at least -10?
True
Let a = -4 - 3. Let n(v) = v**2 - 6*v + 3. Let z be n(3). Let i = a - z. Is 1/3 bigger than i?
True
Let u be 2/140*-1*-4. Which is smaller: 1 or u?
u
Let m be (-2)/(-4)*(-2)/(-4). Which is smaller: m or 1?
m
Suppose 0 = -p - 4 - 2. Let j be (-2)/p + (-16)/40. Is 2/9 greater than or equal to j?
True
Suppose 3*w + 3*b - 6 = 3, -5*w + 3*b + 23 = 0. Suppose 2*x - w = -2*x. Do 0 and x have the same value?
False
Let b = 107 + -108. Which is bigger: b or -3/19?
-3/19
Let t(b) = -56*b + 5. Let k be t(4). Let c = k + 883/4. Are c and 3 non-equal?
True
Let j be 1/(-4) - (-1885)/(-140). Let k = j - -14. Is k > 4/7?
False
Let d be ((-4*2)/(-4))/15. Is d < 0.1?
False
Let a = -39 + 69. Do a and 30 have different values?
False
Let b(p) = -p**2 + 6*p + 8. Let x be (-5)/(-2)*(-32)/(-10). Suppose x*r = 4*r + 28. Let i be b(r). Is i at least 2?
False
Let h = -0.32 - -0.22. Let r be -6*(1 + -1 - -1). Let v be (-1 - -1) + r/(-27). Do h and v have the same value?
False
Let o = 7 - 11. Let l be o/14 + 36/28. Is l greater than -1/5?
True
Let v be (3 - 3) + 0/1. Suppose v - 2 = 2*z. Does z = -1/10?
False
Suppose 0 = 4*o - 3 - 1. Let t = -6 + 8. Let l = t - 2. Is l > o?
False
Let v be ((-18)/72)/(19/(-8)). Is v bigger than 1?
False
Suppose m = q - 5, -2*q - m + 2 = -8. Suppose -q*c - 3 = -2*c. Are c and 1 equal?
False
Let s = -0.044 + -0.756. Which is smaller: -0.1 or s?
s
Suppose 5*v = v - 12, g - 14 = v. Are 11 and g equal?
True
Let h = 0 + 0.1. Let x = -0.01 - -14.01. Let q = x - 13.1. Which is bigger: h or q?
q
Let o be (-1 - -6) + 6/(-1). Is 2/239 less than o?
False
Let x = -52 + 52. Are 26 and x unequal?
True
Let t be (-21)/(-6) - (-1)/(-2). Let k = 2 - t. Let a be k/(-1) + (-1 - 0). Do 2 and a have the same value?
False
Let t be 6*1*(-2)/(-4). Suppose -z = t*z - 4. Which is smaller: z or -1/4?
-1/4
Suppose 4*v - 1 = 15. Let o = 1 + 0.3. Let h = 1.2 - o. Is v > h?
True
Suppose -t + 3*m = 2, 5*t - 4*t = 2*m - 1. Let u be 6/4*(1 - -1). Let s = 5 - u. Which is smaller: s or t?
t
Let r(m) = m + 3. Let s be r(-3). Suppose j + s = 2. Are -3 and j non-equal?
True
Suppose -5*z = -73 + 23. Which is smaller: 4 or z?
4
Let t(v) = 29*v + 3. Let u be t(-2). Let n be (-4)/14 + u/(-70). Is n greater than -0.7?
True
Let v be (-16)/(-10)*(-10)/(-4). Suppose 0 = -5*i - j - 14, -2*i = -4*j - v + 14. Which is smaller: i or -2?
i
Let s = 9 + -5. Let g = -24 - 11. Let r = g - -38. Is r smaller than s?
True
Let t be (4/25)/(3*(-16)/(-120)). Is t bigger than 2/33?
True
Suppose 2*q - 5*k = 9, -2 - 1 = q + 5*k. Suppose 2 = q*t - 4*t. Which is bigger: t or 2/5?
2/5
Suppose 13 = -3*x + 5*q, x + q = -x. Is 1/11 equal to x?
False
Suppose 0 = 2*r + r - 3. Let n be 0*((-3)/(-3))/2. Suppose 4*c + 20 = 4*v - n*v, -9 = -3*c - 3*v. Which is smaller: c or r?
c
Let b(w) = w**3 + 5*w**2 - 13*w + 8. Let l be b(-7). Is 6 less than l?
False
Let t = 6/125 + -253/7875. Which is greater: -1 or t?
t
Let n = -0.8 - 0.2. Which is smaller: n or -14?
-14
Suppose 4*r = 4*l + 8, 5*r - 4 = 4*r + 2*l. Suppose 2*o = -r + 6, 0 = 3*z - 4*o + 15. Is z at least 1?
False
Let q = -0.01 - 0.09. Let s = -13.02 - -0.02. Let i = s + 21. Which is smaller: q or i?
q
Let d be (-4 - -3) + (-12)/(-9). Do d and 3 have the same value?
False
Suppose 3*k - 6 - 9 = 0. Suppose 6*j = 3*j - k*z - 40, 3*z = -3*j - 30. Let r(a) = -5*a**2 - 2*a - 1. Let h be r(-1). Do h and j have the same value?
False
Let b be ((-5)/(-4) + 0)*4. Let a be (-8)/(-6)*(-6)/(-4). Suppose q = -h + 5*h + 9, 0 = -3*q - a*h + 13. Is b < q?
False
Suppose -6 = 3*a - 3. Let n be 4/14*(-13)/(-65). Which is bigger: n or a?
n
Let h = 4549/37 + -123. Which is smaller: h or 0?
h
Suppose x = d - 7, 3*x + 5 = 2*x. Suppose 0 = 5*o - d*v - 3*v + 10, -2*o = 3*v - 11. Which is smaller: o or -1?
-1
Let m(n) = -8*n - 11. Let q be m(-3). Which is smaller: 15 or q?
q
Let q = -0.3 - -0.2. Let s(u) = u**3 + 5*u**2 - u - 4. Let a be s(-5). Is a <= q?
False
Let c be (-2)/8 + (-3)/(-12). Suppose c = 3*q - q - 2. Are q and 0 non-equal?
True
Let q(i) = i**2 + 9*i + 3. Let n(b) = 1. Let r(a) = -3*n(a) - q(a). Let z be r(-8). Let k be ((-24)/(-16))/(1/2). Is k less than or equal to z?
False
Let p = -8.79 - 0.21. Let q = p + 8. Is 2 greater than or equal to q?
True
Suppose a = 4*a. Let w be -2 - (a + (-1 - -3)). Let m(s) = -5*s**3 + 2*s**2. Let b be m(1). Are w and b nonequal?
True
Let g(y) = y + 4. Let t be g(-3). Let b be (0 + -1)/(0 - t). Let r = 83/100 - 2/25. Is r less than or equal to b?
True
Suppose -4*g - 3*a - 8 = -27, 3*a - 15 = 0. Let l = 2620/11 + -238. Which is smaller: l or g?
l
Suppose 5*z - 5 = 10. Suppose -6*j = -z*j. Let b = 0.6 + -0.5. Which is greater: j or b?
b
Let n(u) = u**2 - 7*u - 8. Let p be n(8). Let m = 2 - 1. Let v be m/(-6)*(-4)/(-5). Which is bigger: p or v?
p
Let q = 5 + -4. Suppose -2*s + q + 1 = 0. Let n = 0.3 - 0.4. Which is bigger: s or n?
s
Let i(y) = -y**2 - 3*y + 2. Let c be i(-4). Let q be (2/(-4))/(c/(-8)). Let x = -2 - q. Which is greater: -1/5 or x?
x
Let o = 1.95 + 0.05. Let c = -1.8 + o. Let s = -1.7 + 0.7. Which is smaller: s or c?
s
Let b = 18 + -17.9. Let d be 1/1*2/(-8). Does d = b?
False
Suppose 0 = -5*d + 2*d + 27. Is -3 at least as big as d?
False
Let h = -15.1 - -17. Let i = h - 2. Do i and 1 have different values?
True
Suppose -7 = -q - 0*q. Suppose 6 = -3*b + 5*r - q, 0 = 4*b - 2*r + 8. Is b at least 1?
False
Let g = -21 + 23. Is 0 > g?
False
Let t = -4 - -5. Let d(f) = -6*f + 18. Let s be d(3). Do t and s have the same value?
False
Let x = -0.26 + -0.04. Let a = 0.23 + -1.19. Let h = a - 0.04. Which is smaller: h or x?
h
Suppose 0 = -2*r - m - 21, -2*r = -2*m + 6 + 12. Let i = 41/4 + r. Is -6 greater than i?
False
Let q = 42 - 83/2. Which is smaller: q or -1.2?
-1.2
Let k = -955 + 953. Let m = 4406 + -850356/193. Let t = m - 587/772. Which is smaller: t or k?
k
Suppose -5*d + 11 = l + 2, 3*l - 2*d + 7 = 0. Suppose -4*o = -o. Let m be 2/4*o/(-5). Which is smaller: m or l?
l
Let q = 2 + -4. Let g = q - -1. Let r be -3*1*(-6)/(-27). Is g greater th