gger: 10/9 or o?
10/9
Let a(f) = -f**3 - 8*f**2 + 8*f - 10. Let t be a(-9). Does -16/9 = t?
False
Suppose -262*m = -276*m + 14. Let b = -584/9 - -65. Are b and m unequal?
True
Let w be (-2)/4 + 2/6. Suppose 0 = 4*z + c + 5, 0*c + 20 = -3*z - 4*c. Suppose d + 4*d = z. Are d and w nonequal?
True
Let r = 6.6 - 4.6. Do -3/17 and r have the same value?
False
Suppose 3*k = -39 - 6. Suppose -41*f + 40*f = 14. Which is smaller: k or f?
k
Let n = 366 + -8055/22. Is 0 smaller than n?
False
Let i be 6/4*80/(-24). Let l = i + 14. Which is bigger: 10 or l?
10
Suppose -2*v - 2*u - 11 + 3 = 0, -5*u - 20 = 0. Let y = 2 + v. Is 2 >= y?
True
Suppose w = 3*w - 10. Suppose -15*p = -19*p. Suppose w = 5*c - p. Which is bigger: c or 0?
c
Let y(h) = -3*h. Let p be y(-3). Suppose -3 + p = 3*z. Which is greater: z or 0?
z
Suppose 3 = -r + 5. Let d be -2 + r - (-2)/(-7). Which is greater: -1 or d?
d
Let w = -15.3 - 4.7. Which is smaller: w or -2/3?
w
Suppose -8*a + 3*a = -5. Suppose -w + 0*w - a = 0. Let b = -11 + 9. Which is smaller: b or w?
b
Let c = 6.7 + -1.6. Let w = -0.9 - c. Let b = w + 3. Which is bigger: -1 or b?
-1
Let g = 7 - 6.8. Which is greater: g or -6?
g
Suppose 2*n + 30 = 8. Is n > -11?
False
Suppose -c + 2*y - 3 = 4*y, -3*c + 3*y + 9 = 0. Which is bigger: c or 1/3?
c
Let k(j) be the third derivative of -j**5/30 - j**4/8 - j**3/3 - j**2. Let o be k(-2). Let w = 5 + o. Is w >= 2/13?
True
Let s = 35 + -40. Is -9 less than s?
True
Let f = 6 - 6.46. Let n = f + 0.06. Does n = -0.1?
False
Let i be (-1)/((-2)/12*-2). Let v = -20 - -24. Let u be (v/(-10))/((-3)/(-15)). Is u less than or equal to i?
False
Let l = 437 + -2206/5. Let z = l + 22/5. Let f(a) = a**2 - 4*a + 3. Let b be f(3). Are b and z equal?
False
Suppose -15 = -4*q - q. Suppose -4*w = 0, 0 = -3*f - w - 0*w + q. Is 3/5 smaller than f?
True
Let q be -1*3/(-1)*-1. Is -1 <= q?
False
Let m(i) = -i**2 + 6*i + 12. Let k be m(9). Let v be 18/k*4/(-12). Let o = v - -1/10. Is -1 at least as big as o?
False
Suppose m + 3 = 2*m. Let i = 8 - 10. Let l = i - m. Is -4 bigger than l?
True
Let s be (-4 - 69/3) + -1 + 3. Is -25 != s?
False
Let f = -1.05 + 1.05. Is 0.97 at least as big as f?
True
Suppose -a + 5*o + 45 = 0, 3*a - 118 = -2*o - 0*o. Let b be (-38)/a + 1/(-4). Which is bigger: b or -1?
-1
Let k be ((-3)/6)/(2/12). Let z = -667/4 - -165. Which is smaller: k or z?
k
Let z = -0.2 - -0.2. Let g = z - -0.2. Let b = -0.5 + 0.3. Is b not equal to g?
True
Let h = 1 + 1. Let p be (2 + 2 + -2)*96/264. Are h and p equal?
False
Suppose 3*c = 39 + 18. Suppose -4*k = -c - 1, 0 = 4*r + 3*k - 11. Which is smaller: -1/4 or r?
r
Let p be (0 - 12)*1/(-2). Suppose p = -v - 3. Let t be 1/(-2) + v/36. Which is smaller: 0 or t?
t
Let z(x) = 3*x**3 + 2*x**2 - 2*x - 2. Let q be z(-2). Which is smaller: -12 or q?
q
Let z = -7 + -1. Is z != -7?
True
Let i = 1.7 - -17.3. Let s = i - 18. Which is smaller: -0.4 or s?
-0.4
Let v(t) = -t. Let k be v(-6). Let f be 3/12*k/21. Is 0 at least f?
False
Let t(l) = l**3 + l**2 - 1. Let g be t(-1). Which is smaller: -7 or g?
-7
Let y(b) be the third derivative of -b**6/120 + b**5/15 - b**4/12 - b**3/6 - 3*b**2. Let a be y(3). Suppose -o + 1 = -0*o. Is o equal to a?
False
Suppose -3*k + k + 10 = 4*p, -p + 4*k - 2 = 0. Let o(j) = j**3 - 6*j**2 + 2*j - 8. Let l be o(6). Let i = -1 + l. Is p greater than i?
False
Suppose v + 2 = l, 0 = v - 1. Let f = 385 + -382. Is l >= f?
True
Let v = 28 + -24. Suppose -3*y = -2*y - 16. Suppose -v*z + y = -8*z. Which is greater: 0.1 or z?
0.1
Let q(p) = -p**2 + 5*p - 2. Let s be q(4). Suppose 0 = -2*n + s, -y + 0 = 3*n - 4. Which is smaller: -1/4 or y?
-1/4
Let r = 54 - 33. Let s be (-59)/(-84) + (-6)/r. Let j = 2/3 - s. Which is smaller: 0 or j?
0
Let t = 0.2 - 0.1. Let w be (-8 + (-132)/(-16))*2. Which is smaller: w or t?
t
Let i = -3.5 + 6. Let a = 0.5 + i. Which is smaller: -1 or a?
-1
Let w = -18 + 17.4. Is -2/3 less than or equal to w?
True
Let n = 6 - -1. Let u(d) = -d**2 + 6*d - 4. Let t be u(3). Which is smaller: t or n?
t
Let o be (4 - 8) + 99/24. Which is smaller: 1 or o?
o
Suppose -g + 25 = 4*g. Let x(r) = 2 + r + 3*r - g*r. Let m be x(2). Which is bigger: 1 or m?
1
Let r be 1 - (0 - 1/(-1)). Let c = -327/70 + 32/7. Is c <= r?
True
Let l be (-3)/((-13)/2 - 1). Suppose -5*p - 11 = v, -2*p - 18 = -3*v - 0*p. Suppose 3*s = -2*o + 8 - v, 3*o + 2*s = 1. Which is smaller: l or o?
o
Let p = -39 + 35. Let r be (-4 - -5)*0/1. Let c be (p/(-10))/(2 - r). Is c <= 1?
True
Suppose -h + 7*h = 0. Suppose -4*n - 10 + 2 = h. Suppose 0*x + 4 = -2*x. Is x < n?
False
Let j be 2/1 - (-2)/2. Let z(q) = -q**2 - 7*q - 3. Let d be z(-6). Let y = d - 0. Is j at most as big as y?
True
Let d(u) = -u. Let f(y) = 6*y - 1. Let c(k) = -3*d(k) - f(k). Let w be c(1). Let j = w + 3. Which is smaller: 1/2 or j?
1/2
Suppose 0 = 11*x + 29 - 40. Is 4/3 < x?
False
Let t be 2/8 + (-333)/1620. Is t bigger than 1?
False
Let d = -17 + 21. Is 1/2 not equal to d?
True
Let w(x) = 2*x - 27. Let d be w(14). Do 2/33 and d have the same value?
False
Let b be ((-20)/12 - -2)*3. Is -2/129 bigger than b?
False
Let u = 159 + -222. Which is smaller: -62 or u?
u
Let l be (-1)/4 + (-103)/(-444). Let u = l - -13/37. Let q = -0.3 - 2.7. Is q >= u?
False
Let k = -23/9 + 20/9. Let s = -4 - -3. Which is smaller: k or s?
s
Let w = -39 - -37.1. Let l = 2 + w. Let a = -73/182 - -3/26. Which is smaller: l or a?
a
Let v be (15/6 + -4)/(-9). Do v and -2 have different values?
True
Let n be (-3)/15 - (-1157)/(-30). Let z = n + 116/3. Is 0 at least z?
True
Let p = 3 - 8. Let h = -34 - -64. Suppose h = -r - 4*r. Which is smaller: r or p?
r
Suppose 4*m + 164 = -4*d, 3*d - 5*m + 138 = -3*m. Is -46 at least d?
False
Let m be (-1 - (0 - 53))/2. Do m and 2 have the same value?
False
Let c(x) = -x**3 - 3*x + 2 - 3 + 6*x**2 - x. Let q be c(5). Which is smaller: q or 5/2?
5/2
Suppose -2*d + 7*d = 0. Let f be 3/(-5) - (-18)/65. Let x = 1/13 - f. Which is greater: x or d?
x
Let c(q) = -q**2 + 6*q + 4. Let s be c(6). Let d be s/10 + 16/(-40). Which is bigger: d or 1/23?
1/23
Suppose 2*q - f = -q - 39, -12 = -4*f. Let p be -3 - 1/(q/45). Which is smaller: 0 or p?
0
Suppose -y - 5*a = -3, 3*y + 2*a = -2*a - 2. Let n = 18 - 17. Which is smaller: n or y?
y
Let m be (0*4/(-16))/(-1). Is m < -2/7?
False
Let p be (-15)/6*2 - -4. Which is smaller: -3 or p?
-3
Let u(k) = 1 + 1 + k - 4*k + k. Let r be u(2). Let f(b) = -b + 1. Let w be f(1). Is r not equal to w?
True
Let b be (-4)/(-2) - (14 - 17). Let q be (b/(-2))/(-2 + -3). Let k be -2 + 0/1 + 1. Is k not equal to q?
True
Suppose 0 = 4*n + 6 - 2. Let s = -27/34 - 12/17. Which is smaller: s or n?
s
Let z = -13485/7 + 1932. Let x = 17/3 - z. Suppose 4*d - d = -3*w - 3, -3*d + 9 = -3*w. Which is smaller: d or x?
x
Let s = 11 - 7. Suppose -o - 5 = s*o. Which is bigger: o or 1/14?
1/14
Let i = -26 + 26. Which is smaller: i or -4/13?
-4/13
Let n = 0.3 + -0.4. Let u be 0 - -5*2/1. Let v be (2/u)/((-2)/5). Is v less than or equal to n?
True
Let a be (-156)/10 - 8/20. Let m = 14 + a. Let z be (0 + 3)*10/(-15). Do z and m have the same value?
True
Let l = -0.71 + 0.01. Let v = l + -0.3. Do -1/2 and v have different values?
True
Suppose -2*f - 12 = 2*a, -28 = 4*f - 5*a + 32. Is f != -11?
True
Let g = 22896733/31410420 - 1/165318. Let u = -2/95 - g. Suppose 0 = p - 5 + 6. Which is smaller: p or u?
p
Let a be (-3590)/(-45) - (-2)/9. Let b be 64/a*15/1. Is 11 > b?
False
Let j = -940 + 24443/26. Which is smaller: 0 or j?
0
Suppose -d + 2 = -2*q, -5*q - 2 = -2*d - 0*q. Is d less than 6?
False
Let b be 35*(1/5 + 14/35). Is b at least 21?
True
Let k be ((-27)/15 + (-1)/5)/(-4). Let m(z) = z**3 - 5*z**2 - 7*z + 4. Let t be m(6). Is k at most t?
False
Let u = -1/4 + 1/2. Which is greater: -2/3 or u?
u
Let m = 2.77 + -2.7. Which is greater: 1/5 or m?
1/5
Let o be 2/4 + (-2)/4. Let k(z) = -z**2 - 7*z + 1. Suppose -2*q = -w + 15, -5*q + 0*w - 37 = -2*w. Let s be k(q). Which is smaller: s or o?
o
Suppose 3*p = -5*p. Is p at least as big as -8/19?
True
Suppose -3*j + 5*v - 3 = 12, -3*j + 12 = 4*v. Let m be (-7779)/56 - (-4)/14. Let t = -139 - m. Is t at most as big as j?
True
Let a be -3 - 26*(-1)/2. Suppose a + 34 = 4*i. Is 10 greater than or equal to i?
False
Let u(j) = j + 11. Let v be u(-8). Let p be 4*(-