-0*c, 0 = -c - 4*a - 12. Suppose -4*o + 2*o - 8 = c. Is -3 greater than o?
True
Let w be -46*4/(-40) - 3. Is w greater than or equal to 2?
False
Let k be -1 + 1 + -79 - 1. Let x be (k - 0/(-3))*1. Let h be (-26)/x - 2/10. Is 0 smaller than h?
True
Suppose 7*i + 70 = 6*i. Let z = -277/4 - i. Which is greater: z or -1/6?
z
Let v = 0.03 + -0.33. Let h = 13 - 8. Suppose 0 = s - h, 10 = -3*y + 8*y + 4*s. Is y smaller than v?
True
Suppose 3*x = -l + 1, -4*x + l - 2*l = 0. Let n be (6 + -7)*(4 + x). Is -3 equal to n?
True
Let r = -29/2 - -14. Let o = 13/6 + r. Which is smaller: 0 or o?
0
Let y = 36 + -31. Is y at most 7?
True
Suppose 225 + 105 = -6*c. Which is greater: c or -54?
-54
Let h = -8 + 22. Which is smaller: 15 or h?
h
Let o be (5/145)/((-3)/2). Let q = o + 31/87. Which is smaller: 0 or q?
0
Suppose 0*d - 4*d - 12 = 0. Let q be d/(-2) - 3/2. Is q > 1/2?
False
Let a(s) = -9*s + 2. Let y be a(-2). Suppose -y = d + d. Let o = 5 + d. Which is bigger: -4 or o?
-4
Let d(n) = -n**3 - 7*n**2 - 5*n + 8. Let o be d(-6). Suppose -3*l - 36 = -3*x, 0 = -o*x + 4*l + 44 - 14. Suppose -3*r + 0*r = -x. Is 3 != r?
False
Let m(f) = 2*f - 3. Let z be m(2). Which is smaller: 2 or z?
z
Suppose 0*b + b = 0. Is b greater than 9?
False
Let w be -6 + 3 + 3 + 25. Which is bigger: 24 or w?
w
Let z be 6/3 + -1 - (-1 + 3). Suppose 0 = -8*j + 3*j. Is j at most as big as z?
False
Let o = -9 - -5. Let h = -3.5 + 7.4. Let t = h + o. Are t and 2 equal?
False
Suppose 3*f - 5*w - 2 + 9 = 0, 0 = 5*w + 5. Which is greater: -30/7 or f?
f
Let f(s) = -2*s**3 - 2*s - 1. Let k be f(-1). Let u be (0 + k - 2)/1. Does 2/13 = u?
False
Let s = -5 + 5. Do s and -6 have the same value?
False
Suppose -4*l = 93 - 89. Which is smaller: l or 7/31?
l
Let k be 48/14*(3/(-6) + 1). Which is bigger: 1 or k?
k
Let b be 4/(-5)*14/(-8). Is 0 less than or equal to b?
True
Let j = -447 - -465.3. Let l = j + -18. Is -1 bigger than l?
False
Let y = 1 - 1. Let q be (-42)/16 + (4 + -4 - -3). Is y > q?
False
Let b be 1/(-4) + 36/16. Suppose -5 = 8*r - 3*r, 3*r = 3*x - 3. Suppose x*w = b*w. Is -2/5 bigger than w?
False
Let j(x) = x**3 + 16*x**2 + 30*x + 29. Let w be j(-14). Are -2/375 and w equal?
False
Let t be (-10)/15*(-3)/(-4). Is 2 >= t?
True
Suppose -5*a - 13 = v, 5*a + 2*v + 3*v + 5 = 0. Let s = a - -2. Let q be 4/10 + (-1)/5. Which is smaller: q or s?
s
Let u be (0 - 2)/(-2) + 0. Let b be (-65)/55 - (-2 + u). Is b not equal to 1?
True
Suppose 0 = -15*y + 17*y - 4. Is y at least -2?
True
Suppose -7*c + 3*c - 8 = 0. Let n = -1 - c. Let g be n - (-4)/(16/(-5)). Is 1/4 smaller than g?
False
Let w = 25 - 27. Which is smaller: w or 3?
w
Let a = -3 + 1. Let l = -2 + a. Let u be (-2 + 0)/((-4)/(-8)). Is u <= l?
True
Let l = -0.16 - -0.24. Let m = -6.08 + l. Which is bigger: -1 or m?
-1
Let j = -45 - -45. Is 1 less than or equal to j?
False
Let p = 239/2 - 122. Let w = 16 - 20. Which is smaller: w or p?
w
Let u = 2 + -7. Which is smaller: -6 or u?
-6
Let v be 6/(-18)*(-9)/(-84). Which is bigger: 0 or v?
0
Let l(x) = 80*x + 1. Let s be l(-1). Which is smaller: s or -80?
-80
Let g = 0.06 + 0. Let d = -140 + 139. Which is greater: d or g?
g
Let b = 84.9 - 85. Let g = -59/12 - 7/12. Which is smaller: b or g?
g
Let f(o) = -o - 2. Let i be f(2). Let x(u) = u**2 - 2*u - 12. Let q be x(4). Is i < q?
False
Let z = 76994/17 + -36112107/7973. Let l = -3/67 + z. Which is bigger: 1 or l?
1
Let k = -51 + 53. Is 4 greater than k?
True
Let u be (-6)/21*((-7)/2 + 0). Which is greater: -2/61 or u?
u
Suppose 0*d - 4*p - 19 = -d, 0 = -5*d + p. Is 1/20 at least d?
True
Let c = -34.3 + 34. Is -11 at least as big as c?
False
Let q be 35/4 - 1/(-4). Let w be ((-21)/q - -2)*0. Suppose f - 2*p + 2 = -0, 3*f + 2*p - 2 = w. Is f equal to 2?
False
Let k(g) = 3*g + 11. Let y be k(7). Which is greater: y or 31?
y
Suppose -4*z + 42 = 3*l, 3*z + 2*z = -2*l + 21. Let h be l/(-15)*10/4. Is -2 less than h?
False
Let a = 14 - 13.96. Is 1 greater than or equal to a?
True
Let h = -505/3 - -166. Is -3 at least as big as h?
False
Let t = 0.03 - 3.03. Is t equal to 0.1?
False
Let l = 35 - 36. Is l > -2/7?
False
Let y = 2 + -3. Let d be (-72)/(-693) + ((-6)/7)/3. Which is bigger: y or d?
d
Suppose 2*o = 3*v + 4 - 2, 0 = -5*v. Suppose -2 = -2*h + 4. Is h > o?
True
Let t(y) = y**3 + 6*y**2 + 2*y + 4. Let o be t(-5). Suppose 2*c - 5*f - o = 0, c + 3*c + 3*f = -1. Suppose 0 = 3*w - 2 - 1. Is c not equal to w?
True
Let d(c) = -c**2 + c + 3. Let i be d(2). Let u = -2/7 + 17/35. Which is greater: i or u?
i
Suppose w - 14 = 5*d - 4, -5*w = 2*d - 23. Is d bigger than -1/2?
False
Suppose -3*s + u + 9 = -2*u, -3*s = 5*u - 9. Suppose 12 + 15 = s*z. Which is greater: z or 10?
10
Let y = 51 - 49. Which is smaller: -4/3 or y?
-4/3
Let m = 126.89 + -128. Let q = m + 0.11. Do q and 0.04 have the same value?
False
Let r = 11 - 12. Which is bigger: r or 1/68?
1/68
Suppose 0 = -r - 0*r. Suppose r = 5*l + 33 + 32. Is -12 < l?
False
Suppose 2*a - 21 - 3 = 3*y, 2*y + 8 = 0. Let d = a + -10. Is -5 greater than d?
False
Let v = -3.6 + 1.6. Let n = -4 + 2. Is n > v?
False
Suppose 0*t = 3*t - 9. Are 4 and t equal?
False
Suppose 3*n - 8*n - 40 = 0. Is n bigger than -5?
False
Suppose 2*n + 9 = 5. Let o be (4/n)/(1/(-2)). Suppose -g + 1 + 2 = -m, 0 = 2*g + o*m + 12. Which is bigger: -0.4 or g?
g
Let a = 2 + -1. Let z = a + -1.1. Let g = -0.3 - z. Which is smaller: g or 2/7?
g
Suppose -2 = l + 10. Are l and -12 equal?
True
Let a = 0.146 - 0.046. Do -67 and a have different values?
True
Let v = -1 - 0. Let f be v*(3 - (-2 - -5)). Which is bigger: 1 or f?
1
Let j(i) = 5*i + 3. Let u be j(-3). Do -11 and u have the same value?
False
Let y = -0.1 - -0.1. Let k be -1*(-4 + (3 - 3)). Suppose -5 = -5*f - 0*b + 2*b, -f = -k*b - 1. Is y bigger than f?
False
Suppose 0*m = m - 3*o + 5, o - 7 = 3*m. Let a be 2 + m - (-3)/(-5). Let l = -4.7 + 4.6. Which is smaller: a or l?
a
Let t(h) = -h**3 + 2*h**2 + 3*h + 4. Let a be t(3). Suppose a*z = 22 - 10. Suppose s = z*s. Which is smaller: s or 1?
s
Let v be ((-108)/21)/3 - -2. Which is bigger: 1 or v?
1
Let x = 0.1 - 0.2. Let q = 2.7 - 2.5. Let j = q + x. Is j smaller than -1?
False
Suppose -f - 4*x + 6 + 2 = 0, -4*f + x = -15. Which is greater: f or 0?
f
Let o be (-2)/(-8) - 2/8. Is -2 less than or equal to o?
True
Let i = 4 - 6. Suppose 7 = -2*g + o, -5*g - 14 = -3*o + 2. Which is smaller: g or i?
g
Let o = 90 - 40. Let j be 5/o*(-5)/(-2). Which is smaller: -1 or j?
-1
Let s be 4 + 28/(-36) - 4/18. Which is greater: -2 or s?
s
Let z = -478/7 + 66. Which is smaller: -3 or z?
-3
Let j = 20110 - -35008. Let n = 829753/15 - j. Let o = -199 + n. Which is smaller: o or 0?
o
Let k(v) = v + 9. Let l be k(-8). Suppose 2*d = 4*j + 22, -2*d + 13 = -3*d - 4*j. Suppose 0 = -w + 2, 5 = d*g - 2*w + 6. Is l > g?
False
Let r be ((-70)/77)/((-1)/(-2)). Let x = r + 151/77. Are 0.1 and x equal?
False
Let n = 0.1 + -0.1. Let h = 0.35 - -2.45. Let o = 3 - h. Are n and o non-equal?
True
Let w be (-3)/(-3 + (-32)/(-10)). Is -15 at most as big as w?
True
Let o be (2 + 2)*7/(-350). Which is greater: o or 1?
1
Let r = 5 - 4. Is r greater than 3/19?
True
Let q = 1.33 + -1.43. Let b = 1.8 + 0.2. Let v = -3 + b. Which is smaller: v or q?
v
Let q = -7 + 27. Suppose -4*k + 8 = -0*k. Suppose -m - 4*m - q = -k*g, -3*g + 5*m + 20 = 0. Which is greater: 1 or g?
1
Let p = -9 - 8. Let g = 28 + p. Which is smaller: -2/7 or g?
-2/7
Let p = 1 + -6. Which is smaller: p or 1/5?
p
Let j = -23 + 23.3. Is j <= 3?
True
Let u(c) = -2*c + 1. Let y be u(1). Let p be (7 + -6)*1/y. Let i = p + 0. Are i and -2/5 non-equal?
True
Let o(a) = -a**2 - 4*a. Let y be o(-2). Let z be (9/42)/(y/(-7)). Let h = -2 + 3. Which is smaller: h or z?
z
Let n = -1.4 - -3.4. Let f = -10 + 14. Let a = f + -3.9. Is n less than or equal to a?
False
Let g be (1/3)/(1/3). Let o = g + 0. Is o greater than or equal to -2?
True
Suppose 0*l + 110 = -5*l. Which is bigger: l or -23?
l
Suppose 3*y = -2*y + v, 0 = -5*v. Is 1/18 >= y?
True
Let x = 0.15 + -0.35. Suppose -3*k + c + 8 = 0, 0 - 6 = -k + c. Suppose n + 0*n = k. Which is bigger: x or n?
n
Suppose -3*x = -13 - 5. Let a = x + -6. Suppose -r + 3 - 2 = 0. Which is greater: r or a?
r
Let j = -1.3 - 0.7. Let z = j - -1.8. Is z at least -1/4?
True
Let p = 1 - 1. Let n(h) = 11*