hich is bigger: a or 3/92?
3/92
Let m = -50 - -50. Let c be (-6)/92*(-4)/3. Does m = c?
False
Suppose -5*k + 11 = -9. Suppose 2*q = k - 0. Which is bigger: 12/7 or q?
q
Suppose -4*r - 2*a = r + 43, -4*a - 9 = -r. Do -19/3 and r have the same value?
False
Let s = -0.06 - 0.04. Which is smaller: s or 1?
s
Let t(w) = -w**2 - 5*w + 6. Let h(o) = o**3 + 2*o**2 - o. Let f be h(1). Suppose -3*j - 6 = -f*j. Let g be t(j). Which is smaller: g or -1?
-1
Let o be (76 + 5)*1/3. Let j be (-3)/(-2) + (-18)/o. Let f = j + -7/6. Is -0.3 < f?
False
Let f = 0.6 + 2.4. Let x = 0.03 - -1.97. Let w = f - x. Which is greater: w or -0.4?
w
Let m be 27/45*4/6. Let l = 3 + -3.1. Are l and m equal?
False
Suppose -o - 5 = -2*o. Suppose 5 + 0 = -o*b. Which is bigger: b or -3?
b
Let w = 5 - -3. Suppose h - 2 + 4 = 0, r - w = h. Are r and 0.1 non-equal?
True
Let i = 10 - 10. Suppose 4*v = 3*v. Is i greater than v?
False
Let w = 33/305 + 655519/2135. Let h = w + -308. Let d = 3 - 4. Is h less than d?
False
Let f = -324/5 - -65. Let t be 3 - (-3)/((-15)/17). Which is greater: t or f?
f
Let d be (3/(-34))/(15/(-50)). Is -1 > d?
False
Let t(z) = -108*z - 4. Let u be t(-1). Which is smaller: u or 0?
0
Let z(f) = f - 1. Let p(d) = 3*d - 12. Let h(v) = p(v) - 4*z(v). Let c be h(-5). Is -2 at least c?
True
Let t be (-30)/27 + 4/6. Let n(x) = -3*x**3 + x**2. Let d(v) = -5*v**3 + 3*v**2. Let k(a) = 4*d(a) - 7*n(a). Let z be k(-5). Are z and t equal?
False
Let u = 9 + -7. Suppose -p = -u*p. Is -1 smaller than p?
True
Let k be (-1753)/7*(-6 - -7). Let z = -250 - k. Which is bigger: z or 1?
1
Let a = -21 - -15. Let g(f) = f**3 + 7*f**2 + 3*f - 7. Let v be g(a). Let j = 7 - v. Do j and -4 have different values?
False
Let p(r) = r**2 + 9*r + 2. Let t be p(-8). Is -6 less than t?
False
Let h = 0.03 - -4.97. Let d = -13 - -18. Let f = h - d. Which is bigger: -0.3 or f?
f
Let j = -28 - -17. Let k = -7 - j. Let u = k + -4. Are u and -0.2 equal?
False
Suppose j = -0*j + 5. Is j != 3?
True
Let h = 87 + -99. Which is smaller: -11 or h?
h
Suppose 5*z = -25, 4*m + 5*z = 2*m - 23. Let q be (6 - 2) + (1 - 1). Suppose c + 4 - 3 = 0, 0 = o + q*c + 3. Is m >= o?
True
Suppose -7*x + 2*a + 1 = -6*x, 0 = -2*x - 3*a + 23. Which is smaller: x or 1?
1
Suppose 4*d + 3*d = -5*d. Which is bigger: d or -2/53?
d
Let g be -1 + -1 - 18/(-8). Let n = 178 + -171. Which is smaller: n or g?
g
Let g = 16 + -18. Is g <= 0.1?
True
Let l(y) = -y**2 - 2*y - 2. Let q be l(-2). Which is smaller: q or -10/9?
q
Let z be (-2)/(-4) + (-9)/6. Let m(u) = u**2 - 2*u. Let p be m(2). Is z <= p?
True
Let x be (0 - -1) + (-9)/7. Let a(o) be the second derivative of o**5/20 + o**4/2 - o**2/2 + o. Let b be a(-6). Is x smaller than b?
False
Let z be 8/(-10)*(-25)/(-2). Let t be (-12)/(-30)*z/(-26). Suppose 3*u = 3*n + 15, -3*n - 3 = -4*n - u. Which is greater: n or t?
t
Let v = 290/231 - 9/7. Is v != -1?
True
Let w(u) = 4*u + 6. Let s be w(2). Is s at most 15?
True
Let r = 9/2 + -4. Suppose 2*t = 4 - 2. Let l be -1 - t/(-1)*1. Which is smaller: r or l?
l
Let p = -1 + 0. Let i = 1 - 3. Let h = i - p. Which is bigger: 1/3 or h?
1/3
Let u be 888/28 + 2/7. Let c be (1/4)/(18/u). Which is smaller: c or 0?
0
Suppose 2*d = 8 - 0. Suppose 0 = 2*w - d*w - 12. Is w bigger than -6?
False
Let u = 47 - 47. Let f(x) = -4*x**3 - 2*x**2 + x + 3. Let l be f(-3). Let v be (-4)/l*3/(-1). Is u >= v?
False
Let h = -13.68 + -0.32. Let x = 10 + h. Is x greater than or equal to -1/4?
False
Suppose 4*a - 4 = -4*p, 3*a + 5 + 4 = 0. Suppose n - 3 = p*n. Which is smaller: -3/2 or n?
-3/2
Let x be (-106)/(-28)*5/4. Let l = x - 34/7. Are l and 1 equal?
False
Let l = 18/107 + -844/3745. Is 0 at most l?
False
Let o = 16.08 + -16. Let f = -2.08 + o. Let t = 131/711 - -3/79. Which is smaller: f or t?
f
Let s = 6 + -2. Let m(c) = c**3 - 3*c**2 - c - 2. Let h be m(s). Suppose 2*k = 4*i + 14, -i = i - 2*k + h. Which is bigger: i or 0.2?
0.2
Let t(d) = d**2 + 9*d - 10. Let p be t(-12). Let q = p + -24. Is -1 greater than q?
False
Suppose -3*o = -8*o - 5. Does o = 7/5?
False
Let m be (-1 + 1)/(3 + -2). Suppose m = h + 2. Let i = h - 1. Which is smaller: -2 or i?
i
Let x = -562966203/266 - -2116417. Let c = x + -5/38. Is c equal to 3?
False
Let w be -4 + 55/15 + (-2)/3. Which is smaller: -6 or w?
-6
Let l be 18/4*(-2)/6. Let g(a) = -a**2 - a + 4. Let y be g(-3). Which is smaller: y or l?
y
Let s = -2.957 + -0.043. Is s != 6/7?
True
Let u = 3 - 2. Let w be 7/49 - (-2)/(-14). Do w and u have the same value?
False
Suppose 0 = 4*p + 5 - 1. Let x(b) = 4 + 4 + b - 3 + 0*b. Let u be x(-6). Do u and p have different values?
False
Let y = 12 - -4. Which is smaller: y or -1/3?
-1/3
Suppose -c + 0 = 1. Let a be (2/25)/(1/(-20)). Let t = a - -2. Is t at most as big as c?
False
Suppose n - a + 2 = 3*a, a = 0. Let w be (1 + -1)/((-4)/(-2)). Let b = n + w. Which is bigger: -3 or b?
b
Let w = 0.24 - 0.14. Is -14 smaller than w?
True
Suppose 6*y - 4 = 4*y. Suppose k - y = 2. Let l be 22/30 - k/10. Which is greater: l or 1/12?
l
Let p = -1 + -1. Let x = p + 0. Let l be 8/(-36) + (-26)/45. Is l greater than x?
True
Let g(y) = -y**2 - 6*y - 3. Let d be g(-5). Suppose -3*x + 5 = -2*f, 0 = d*x + 2*f - 10. Suppose x = 2*l + 1. Which is bigger: l or 0?
l
Suppose -3*l - 2*l = 20. Let g = l + 4. Let x be (-6)/14*(-8)/(-12). Which is smaller: x or g?
x
Suppose 0*u = -2*u + 20. Let q be -2 + 6/u + 2. Is q at least 2?
False
Let k = 0 - -4. Suppose c = -n - 24, 4*c + n + 103 = k. Let h be (1/1)/(c/(-10)). Which is smaller: h or 1?
h
Let x = 971/7 + -139. Which is bigger: 0 or x?
0
Let i = 21.5 + -20. Is 0.1 greater than or equal to i?
False
Suppose 2*w - 7 = w - 4*t, 0 = -2*w - 5*t + 11. Suppose 5*a + 9 = -1. Let b be a/6 - (-52)/12. Which is greater: b or w?
b
Let k be (7/(-217))/(2/(-130)) + -2. Which is smaller: k or -1?
-1
Let d be (9/2)/((-1)/2). Suppose -6*x - 119 = 11*x. Is d at least as big as x?
False
Suppose -5*u - 18 = -2*x - 248, -2*u - 4*x + 116 = 0. Suppose -q + 19 = -4*l, u = -5*l + 4*q + 16. Let k be (2/l)/(1/6). Is -1 bigger than k?
True
Suppose -2*r + 0*r + 4*q = 30, 5*r + 55 = 5*q. Let k = 8 + r. Which is greater: k or -0.09?
k
Let f = -200 - -199. Let a = -2.98 + 3. Let q = a + -0.32. Which is smaller: q or f?
f
Let c be 2/(-5) + (-3)/5. Let y be (5 - 5)*c/2. Do -2/19 and y have different values?
True
Suppose 20 = -2*f - 34. Which is bigger: -28 or f?
f
Let i be 2*(3/(-3))/2. Which is greater: 6 or i?
6
Suppose 2 = -3*c + 4*c. Suppose -17 - c = q - 4*j, q - 2*j + 9 = 0. Does q = 0.2?
False
Let p be 1 + (2 + 1 - 5). Let v(a) = 2*a - 1. Let r be v(1). Let i = r - 1. Do i and p have the same value?
False
Let r = 0.2 - 0.2. Let a = 0.1 - 0.2. Let z = r - a. Is 2 < z?
False
Let g be 1 + -4 + (-68)/(-24). Which is bigger: g or -1?
g
Let i = 59 - 68. Which is bigger: 1 or i?
1
Suppose a = -3*f - 7 - 0, -2*f - 9 = 5*a. Is a > 1/4?
False
Suppose -8 = p - 3*p. Suppose -6 = p*c + 2. Is 0 > c?
True
Suppose -10 = 2*d + 5*v, 0*d + 5*d + v = -2. Which is greater: d or -8/3?
d
Let y = 1.7 + -1.68. Do 0 and y have different values?
True
Suppose 4*v + 5*x - 48 = 0, v - 2*x + 0*x = 12. Let r(f) = -f + 6. Let j be r(v). Suppose -3*n - 6 = -2*n. Is j not equal to n?
False
Let k = -15117/26 - -1165/2. Is 0 smaller than k?
True
Let i(x) = -x**3 + 3*x**2 + x - 1. Let m be i(3). Suppose -m = -5*w + 3. Which is smaller: w or 0?
0
Let p(w) = -5*w + 3*w + 4 + 3*w. Let i be p(-5). Which is bigger: i or -3?
i
Let w be (-6 - -5) + 1 + -2. Let a be w*(-21)/18 - 2. Which is greater: a or 0?
a
Suppose 25 - 77 = 4*t. Let j = -14 - t. Are -1 and j non-equal?
False
Let q = 0.02 + 0.03. Let j = q + 0.95. Let o(v) = v**2 + 6*v - 2. Let f be o(-6). Which is smaller: f or j?
f
Let i = 39 - 36. Is i at least as big as 3?
True
Let a(k) = -k**3 + 5*k**2 + 7*k - 4. Let x be a(6). Suppose -4*y + x*j - 12 = 0, -5*y - 21 = -5*j - 6. Let c = 0.05 - 1.05. Which is smaller: c or y?
y
Let h be ((-10)/(-6))/5 - (-2)/12. Is h greater than or equal to -3/11?
True
Suppose 3*o - 35 = 8*o. Let x(p) = p**2 + 7*p - 4. Let c be x(o). Are c and -5 equal?
False
Suppose -4*o + 22 = 2. Let m be 133/315 - 1/o. Which is smaller: 0 or m?
0
Let d be ((-2)/(-3))/((-70)/(-30)). Is d equal to 0.5?
False
Let s be 2 - (7/2 - 1). Suppose -4*i + 1 = -11, -4