east 5?
False
Let m = -3 - -5. Let u be 164/(-52) + 3*1. Are u and m equal?
False
Suppose 0 = 4*b + 3 - 11. Which is smaller: -3/4 or b?
-3/4
Let m = 91.1 - 91. Which is smaller: 2/53 or m?
2/53
Let q be (-6 + 5)*(-3 + 3). Does q = 0?
True
Suppose d + 13 = -4*v, -3*v - 16 = 5*d - 3*d. Which is greater: -50/9 or d?
d
Let g be (-9)/(-15) - (-21)/(-25). Let r be (-2)/9 + (-362)/(-4950). Let k = g - r. Is 0 equal to k?
False
Suppose -17 = 3*u + 4. Let l(r) = -2*r**2 - 3*r + 3. Let o(i) = -i**2 - 2*i + 2. Let f(w) = u*o(w) + 3*l(w). Let b be f(-6). Do 1 and b have different values?
False
Let w = -3.5 + 5. Let m = 0.5 - w. Let r be (-2)/7 + (-5)/7. Are m and r unequal?
False
Let t be 22/8 - 4/(-16). Suppose -3*p = 3*m + 3, -2*m + 3*p + 1 = t. Let v(s) = s**3 + s**2 + 1. Let r be v(m). Which is greater: r or 2?
2
Let j be -1 + (-30)/(-3) + 0. Suppose 3*y - j = v + 2*v, -y - v - 7 = 0. Which is bigger: -4 or y?
y
Suppose 0 = 3*s + z - 6, -3*z + 3 + 7 = 5*s. Suppose 4*c - 4 = -2*o - 6, 0 = -2*c - s*o + 4. Let n be (2/20)/(c/12). Which is bigger: n or -1?
n
Suppose 0 = 5*j - 3*x - 22, -2*j + 4*x = 2*j - 24. Suppose -d + 3 = 3*y, -j*d - 3*y = d - 3. Is 1/5 bigger than d?
True
Suppose -2*l - 15 = -5*l. Suppose 5*z = 4*o + 35, -l*z + 5*o = -19 - 16. Let f be 2/7 + 26/z. Is f equal to 3?
False
Suppose 4*m = 7*m + 6. Let l = m - -8. Is l smaller than 7?
True
Let y be (-50)/(-4)*-3*3/45. Let l(a) = a**3 - 2*a**2 - a. Let r be l(2). Is r smaller than y?
False
Let w(j) = 2 + 6*j**2 + 5*j + 0 + j**3 + j. Let r be w(-5). Let p be (r + 0)/(6/4). Which is greater: -3 or p?
p
Let m = -2 + 7. Let z = -5.1 + m. Is z >= -0.2?
True
Let c = -566/5 + 4007/35. Suppose 0*h = -2*h - d + 7, -3*h = -5*d + 22. Let v = c - h. Which is smaller: v or -1?
-1
Let l(x) = -20*x - 20. Let h be l(-1). Let v = 2 - 3.3. Let n = -0.3 - v. Is n equal to h?
False
Let h(i) = i + 6. Let y be h(-2). Suppose -y*f - 1 = -3*f. Is f < 2/37?
True
Suppose 3*m - 6 = -39. Is m greater than -12?
True
Let q(v) = 2*v - 9. Let a(b) be the first derivative of 3*b**2/2 - 14*b - 2. Let h(f) = 5*a(f) - 8*q(f). Let i be h(3). Which is bigger: -2 or i?
i
Let z(a) = -36*a + 2. Let d be z(2). Let m be (-12)/d*10/4. Which is smaller: 0 or m?
0
Let p = 27/346 + -6679/94458. Is -1 at least as big as p?
False
Let o be 172/36 + 2/9. Let t(k) = -k**2 + 4*k + 1. Let w be t(o). Which is greater: 0 or w?
0
Let f(l) = -l + 6. Let o be ((-6)/4)/(6/(-40)). Let g be f(o). Let u be g/3 + 6/3. Which is smaller: u or 1?
u
Let j = -365.03 + 362. Let w = -3 - j. Let p = -2.97 - w. Are -1 and p equal?
False
Let c = -50 - -49.98. Is -0.4 equal to c?
False
Let n be 1*2 - (-588)/(-315). Is -3 >= n?
False
Let l be ((-14)/(-21))/(-2) + (-1 - -1). Let p = -0.1 + 10.1. Let x = p - 7. Are l and x nonequal?
True
Suppose 3*h - 23 = -4*y, 2*h = 3*y - 2*h - 11. Let b = -31 + 34. Suppose 2*p = b*j - 4 + 28, y*j + 42 = 4*p. Is -7 greater than or equal to j?
False
Let w be 1 + -7 - (2 - -1). Let y = 8 + w. Is y < -2?
False
Suppose -3*h = -1 + 4. Let b be (-2)/(-6*(-5)/45). Let c be (b/(-21)*1)/h. Which is bigger: -1 or c?
c
Let t be 19 + -5 - (1 - -2). Let u = 8 - t. Is u less than or equal to -2?
True
Let o(z) = 4*z + 5. Let w be o(2). Is 13 at least w?
True
Suppose 0 = 4*q - v - 1, -5*q + 2*q + 4*v = -4. Are q and 1/80 nonequal?
True
Suppose 4*k = -5*f - 7, 5*k + 9 = -6. Let p be (4/12)/((-1)/(-6)). Suppose j = -p*j. Which is bigger: f or j?
f
Let y be (6/(-15))/(166/10). Is y < -1?
False
Let b = -0.08 - -4.08. Let w = 7 - b. Let t = w - 3. Are 4/5 and t unequal?
True
Let b be ((-6)/6)/(1/8). Let v be 8*(-2)/b*-2. Is -5 greater than or equal to v?
False
Let m be 3/(-9) + -1 + 7/3. Is m >= -4/59?
True
Let u be (-8)/2 + -3 + 4. Let m = -199/2 - -97. Is m at least u?
True
Suppose 0 = -5*p - 4*f + 25, p - 3*p - 5*f = -27. Let x be 10 - (9/3 - p). Let c be (9/(-12))/(2/x). Are c and -2 equal?
False
Let k = -2669/8844 - 1/804. Let f = 7/11 + k. Let a = -38 + 116/3. Which is bigger: f or a?
a
Let l = 0.46 - 0.35. Are 3 and l equal?
False
Suppose -3 = -4*k + k. Let x(z) = 6*z - 9. Let d(i) = 7*i - 10. Let t(c) = 5*d(c) - 6*x(c). Let m be t(3). Is k != m?
False
Let l = -2 - -15. Is l less than or equal to 14?
True
Suppose -5 = 3*y - 8*y. Is 1 > y?
False
Let u = -218 + 160. Which is smaller: u or -57?
u
Suppose 3*f + 1 + 2 = 0. Let i(m) = -m. Let j be i(f). Which is smaller: -1/12 or j?
-1/12
Let t = -16 - -21. Suppose -3*g = -t*f - 15, -g + 4*f + 12 = -0*g. Is g less than or equal to -4/11?
False
Let n(p) = 2*p - 4. Let f be n(3). Let t be 0/f - (-6)/39. Is 1 bigger than t?
True
Let k be 10/7 + 5 + -5. Is k less than 2?
True
Let q = -33 + 22. Which is smaller: -9 or q?
q
Suppose 6*k + 3*q + 4 = k, 3*k - 4*q + 14 = 0. Which is smaller: -1 or k?
k
Suppose 2*a - f - 13 = -4*f, f - 1 = a. Which is greater: 5/4 or a?
a
Let m = -1.892 + -0.108. Which is smaller: m or -1/2?
m
Let z be (-2 + 21/6)*2. Which is smaller: 0 or z?
0
Let y = 22 + -39. Let t be -2*(-3 + y/(-6)). Do 0.1 and t have the same value?
False
Let w = 6.8 + -5.8. Which is bigger: 0.15 or w?
w
Let y = -5 + 14/3. Suppose -8 = 2*w, w + 2*w + 12 = -3*u. Which is smaller: y or u?
y
Let q = 19 + -17. Which is smaller: 1 or q?
1
Let l = -2 - 1. Let w(y) = y**3 + 6*y**2 + 5*y - 1. Let h be w(-5). Which is smaller: l or h?
l
Let i = -0.672 - -0.072. Are 2/3 and i non-equal?
True
Suppose -4*z + v + 67 = -z, 3*v + 9 = z. Let d be (-13)/(-3)*z/4. Suppose d = 5*o + 4*g, g + 4 = 2*g. Is o < 4?
True
Let m = -134 - -138. Let x(t) = t**3 - 2*t**2 - 3*t + 3. Let i be 2 + 1/(0 + 1). Let p be x(i). Is p at most as big as m?
True
Let q = -126 + 883/7. Are q and -0.02 non-equal?
True
Let t = 901/7 - 129. Suppose -i = -2*i + 3. Suppose -5*f = i*c + 14, 4*f + 7 + 0 = -c. Is f at least t?
False
Let c be 15/6*(-3 + 1). Suppose -r = -3*r, -3*o + 2*r = 9. Is c bigger than o?
False
Let g = -806 + 3151/4. Let t = 141/4 - g. Let q = -52 + t. Which is smaller: q or 1?
1
Let c = -13 + 23/2. Suppose -d - 2 + 1 = 0. Is c at least d?
False
Let a = 0.97 + 0.03. Suppose 2 = -4*i - 2. Let g be i + ((-9)/6 - -2). Do g and a have the same value?
False
Let a = 0.3 + -0.3. Let d = -3.1 + 3. Let z = a + d. Which is bigger: z or 1/4?
1/4
Let r = 132/35 - 26/7. Which is smaller: r or 0?
0
Let d = 4 - 22. Let q be (4/(-10))/(d/15). Which is bigger: -1 or q?
q
Let z = -3.5 + 2.5. Let l = 2 - 2. Is l greater than z?
True
Suppose 5*r = 394 + 176. Are r and 114 equal?
True
Suppose 4 - 2 = z. Let y = z - -3. Which is smaller: 7 or y?
y
Let z be (-4)/16 + 388/16. Let a be (20/(-18))/(z/(-18)). Which is smaller: 0 or a?
0
Let g be ((-2)/(-6)*-1)/((-1)/6). Which is smaller: 21/13 or g?
21/13
Let t = -46 - -31. Which is smaller: t or 0.1?
t
Let f(i) = -i + 2. Let v be f(2). Let l = 0.9 - 6.9. Let q = l - -6.2. Is v less than q?
True
Suppose 2*m = -5*z - 27, -5*z = -3*m - m + 21. Is m at most -2/3?
True
Let c(b) = -11*b + 40. Let l be c(3). Which is greater: l or -4?
l
Suppose 5 = -g - 7. Let n be g/7 + (-10)/35. Let v(l) = -l**2 - 4*l + 3. Let y be v(-5). Is n greater than or equal to y?
True
Let b = 2777/2 - 1337. Let q = b + -53. Which is bigger: 0 or q?
0
Let s be -34 + 3 - (-4)/(-1 - -3). Is -30 less than s?
True
Suppose 0 = 5*s + 3*j, -2*s - 7 = -6*s - j. Suppose 3*q + 3 = 4*c + 10, -q + 4 = -s*c. Let p be 1 - ((-26)/24 - -2). Which is greater: c or p?
p
Suppose -6*q + 4*q = -4*m - 8, -3*m + 4*q - 16 = 0. Suppose 4*j - 10 + 2 = 0. Let k be ((-12)/27)/j - m. Is k <= 0?
True
Let s(w) = -w**3 - 6*w**2 - w + 3. Let y be s(-6). Suppose -4 = 5*v - y*v. Do v and 5/3 have different values?
True
Let j = -159072/2321 - -754/11. Is j > -1?
True
Suppose -8*p - 380 = -52. Which is bigger: p or -40?
-40
Let g be (0/4)/((-1)/1 + 4). Which is smaller: 3 or g?
g
Let p = -8 - -19. Which is greater: 0 or p?
p
Let m = 15 + -10. Let f = m - 2. Is -2/7 bigger than f?
False
Let s = -40 - -40. Which is bigger: 1/26 or s?
1/26
Let b be -2*2 + 144/42 + -5. Which is smaller: b or -7?
-7
Suppose 16*k - 13*k + 87 = 0. Which is smaller: k or -30?
-30
Let a = 8 - 11. Let i be a/(-4) - (-28)/(-16). Let v = -2 + i. Which is greater: v or -4?
v
Suppose 8*d - 3*d = 35. Let p(g) = 2*g - 17. Let m be p(d). Is -2 smaller than m?
False
Let q = -259 + 1312/5. Is q greater than 3