4 + -13. Let o(c) = 3*c - c - c - c**3 + c**2. Let m be o(t). Is 0.1 not equal to m?
True
Suppose -c - b - 11 = 0, -b = 4*c - 2*c + 21. Let l be (-14)/(-2*(3 - 2)). Let o = c + l. Is -3 != o?
False
Let m be 5/14*(-56)/(-48). Which is greater: m or 0?
m
Suppose 2*m - m - 6 = 0. Suppose -m = -2*z - 2. Are z and 2 equal?
True
Let p be (-76)/(-8) + (-2)/(-4). Let s be (-1)/(-2) - p/(-4). Suppose -u = s*n - 1, -2*u - n - 3 = -5*u. Is -1/8 smaller than u?
True
Let i(s) = -2*s - 10. Let p be i(-8). Let j = p - 1. Let v = -3 + j. Is v smaller than 1?
False
Let b = 19/18 - -4/9. Suppose -6 = -3*j + j. Suppose i + 0*i - j = 0. Is i >= b?
True
Let c be 1/(-3 - 13/(-3)). Which is greater: -1 or c?
c
Suppose t - r - 7 = -1, 3*r + 11 = -4*t. Let d = -0.1 - -0.1. Let u = 1 + d. Are u and t unequal?
False
Suppose -2*o = -292 + 94. Is 100 greater than or equal to o?
True
Let h(b) = b**3 + b**2 - b. Let c be h(-2). Let q be c*3/(0 + 54). Is q at least as big as -1?
True
Let z be (0/(-1) - 0)*1. Let i = z + -1. Suppose -2*f - 16 = 3*w, 0*w + 2*w + 29 = -5*f. Are i and w nonequal?
True
Suppose -6*l + 3*l + 14 = v, l - 3 = 0. Suppose v*y = -5*t + t + 30, 2*t - 4 = 3*y. Let p be -2 + (-3)/((-3)/y). Are 2 and p nonequal?
True
Suppose -3*f - 12 = -3. Let o = f - 7. Is o bigger than -9?
False
Suppose 0*u - 14 = -2*u - 3*p, -u - p + 6 = 0. Does 3 = u?
False
Let i(d) = d**3 + 5*d**2 - d - 3. Let q be i(-5). Suppose 2*f - f = 3. Let n = q - f. Which is smaller: 0.1 or n?
n
Let n(u) = u + 13. Let a be n(-4). Is 9 greater than a?
False
Suppose 3*q + 3 - 6 = 0. Suppose -2*d + 4 - 2 = 0. Is q <= d?
True
Let n = 3/4 + -1. Suppose 7 = 2*b + 5*u, 4*u + 0*u = -2*b + 6. Is b at most n?
False
Let v(h) be the third derivative of -2*h**2 - 1/24*h**4 + 0*h + 0*h**3 + 0. Let c be v(5). Is -5 less than or equal to c?
True
Let f be 0 + (3 - 0) + -1. Let y be (f - -1) + (0 - 2). Let p = 1/69 - -203/276. Is p at most y?
True
Let n(l) = -l**2 - 8*l - 7. Let m be n(-7). Let p be m + 2/(-1) + 2. Which is smaller: p or 2/3?
p
Let l = 0.05 - 10.05. Let u = 10.8 + l. Let f = u + 0.2. Do f and -3 have different values?
True
Let m = 273/5 - 54. Is m >= 2?
False
Let z(o) = -o - 9. Let v be z(-9). Suppose j = -v*j + 2, -4*w + j - 2 = 0. Is -7 smaller than w?
True
Let s = -29/2 + 15. Let l be (4 + (-52)/8)*-2. Let n be 1/l - 11/55. Which is smaller: n or s?
n
Let c = -17 + 17. Is 1 >= c?
True
Let v be (0 + -1)*1 + (-6 - -6). Suppose -4*b + 4*s - 6 = 2, b = 2*s. Let c be (-1)/(-12) - (-1)/b. Is v greater than c?
False
Let y = -13 - -5. Let o = y - -3. Which is bigger: -1 or o?
-1
Let u = 6.12 + -6. Let x = u + -2.12. Is -2/3 at least x?
True
Let m(r) = r + 9. Let h be m(-8). Suppose 0*d + 2*d = 8. Which is greater: h or d?
d
Suppose -u - 10 = -3. Which is smaller: -5 or u?
u
Let n be 170/36*27/(-180). Let v = n + 3/8. Does v = 2?
False
Let u = -3 - -2.8. Let r = -1.2 - u. Which is bigger: r or 2?
2
Suppose 4*h - 3*v = -8, 0 = h - 5*v + 19. Suppose 0 = -l - t - 3, -h = 3*t - 2*t. Let m be 3/165 - l/(-10). Is m bigger than 0?
False
Let n be (-4)/10 + 26/(-10). Let z(k) be the first derivative of k**4/4 + k**3 + k**2/2 + 4*k - 15. Let b be z(n). Is b smaller than 1/4?
False
Suppose -12 = 4*i - 0*i. Is -4 less than i?
True
Let m be (-3)/(-12) - (-12691)/(-44). Let x = m - -288. Is -0.2 smaller than x?
True
Let i be 6/9 - 1/(-3). Let r = -28 + 139/5. Is i smaller than r?
False
Suppose -2*c = -4*c - 18. Let v be (-2)/c - (-8)/(-36). Which is smaller: 1 or v?
v
Let c(i) = -2*i - 21. Let n be c(-8). Which is greater: -11/3 or n?
-11/3
Let n(p) = p**3 - 10*p**2 + 10*p - 9. Let x be n(9). Which is smaller: 6/13 or x?
x
Suppose 2*j + 4 = -2*f + 18, -2*f = -3*j + 11. Suppose 0 = j*m - 5*b - 25, -2 = -m + 2*b + 4. Suppose m*p = -p. Which is bigger: -2/3 or p?
p
Let k be (-2)/(-2) - 20/26. Let o = k - 191/39. Is -4 greater than or equal to o?
True
Let l be (0 + -1)*((-2 - 3) + 12). Which is smaller: 1/3 or l?
l
Let o(t) = t - 7. Suppose -4*y = -5*b - 22 - 31, -2*y = -2*b - 24. Let r be o(y). Is -1 at least as big as r?
False
Let b = -10 + 6. Let i(a) = -2 - 5*a**2 + 4 - 4*a + 4*a**2. Let q be i(b). Is q > -0.1?
True
Let c = -0.02 - 0.08. Let w be 2/6 - 10/(-6). Suppose 5*f + 6 = -3*d, 4 + 2 = -w*d - 4*f. Which is smaller: c or d?
c
Let a = -4.1 - -4. Let c = a + 2.1. Let d = 0.01 - -0.09. Are d and c unequal?
True
Let b = 23 - 32. Is b < -11?
False
Let j be 32 + 5/(-10)*8. Is j less than 27?
False
Let n = 2 - 7. Let l be (-5)/4 + n/(-20). Which is bigger: 0 or l?
0
Let p = -2 - -3. Is -2/7 bigger than p?
False
Let k(i) = 8*i + 9. Let g(v) = 7*v + 9. Let f(t) = 7*g(t) - 6*k(t). Let s be f(-8). Which is smaller: -2/9 or s?
-2/9
Let i = 2 - -3. Let o = -1 + 3. Let n = i - o. Is 1/4 greater than n?
False
Let k(j) = -2*j**2 + 3*j + j**2 - 2*j**2 + j**3. Let t be k(2). Let r be 2 + 0 + -4 + t. Is r greater than or equal to 4/5?
False
Suppose 4*y = -3*k - 16, y + 8 = -2*k - y. Let w = 37/180 + 2/45. Which is smaller: w or k?
k
Let x = 77.1 - 81. Let j = -4 - x. Let f be ((-3)/(-5))/((-12)/15). Which is smaller: f or j?
f
Suppose 10*d = 4*k + 5*d - 36, -5*d = 5*k. Suppose 7*l - 6 = k*l. Suppose -5*u - f = 4 + 11, -l*u - 9 = f. Which is smaller: u or -3?
-3
Let a = 26365 - 17425. Let i = a - 80569/9. Let v = -12 - i. Which is greater: v or -1?
v
Suppose i + 3*i = 4. Is i bigger than 0?
True
Let v(c) = -c + 2. Let r be v(-2). Which is smaller: -1/4 or r?
-1/4
Let y be ((-301)/73 + 0)/(-18). Let i = -1/146 + y. Which is bigger: i or 1?
1
Suppose -5*c = q - 10, 2*c = -c + 4*q + 6. Suppose -3*k = c*k - 5. Is -4/9 at least as big as k?
False
Let f = 52 + -51. Which is smaller: -1/91 or f?
-1/91
Suppose -m + 13 = 13. Do m and -4 have the same value?
False
Suppose -4*r - 16 = 4*i - 0*i, 4*r + 2 = 3*i. Suppose 5*q + 3 = 3*o, 2*q + 3*o + 11 + 7 = 0. Is q greater than r?
False
Suppose -5*k - 4*h = -2*h + 3, 3*h = k - 13. Let l be 3/k - (-2 - 3). Is 8 >= l?
True
Let f(d) be the third derivative of -d**6/120 - 2*d**5/15 + d**4/3 - 7*d**3/6 - 2*d**2. Let q(j) = -2*j + 9. Let y be q(9). Let i be f(y). Are 2 and i nonequal?
False
Let x = 6 - 4. Let v be (-1 + 1)/x + 1. Let y be 2/(-3) + (-20)/(-39). Which is bigger: v or y?
v
Let n(s) = s**3 - 4*s**2 + 1. Let k be n(4). Let p(j) = -j**2 + 5*j + 1. Let a be p(5). Let h be ((-10)/60)/(a/2). Do k and h have the same value?
False
Let k = 2746/7 + -391. Which is bigger: k or 0?
k
Let l(y) be the second derivative of -y**5/20 - y**4/12 + y**3/3 + 3*y**2/2 - y. Let p be l(-2). Let w be 1/((2 - 4)/(-4)). Which is smaller: w or p?
w
Let c = -1/5878 - -117581/123438. Are c and 2 non-equal?
True
Let w be -2 + 4 - (3 + 0). Which is greater: w or -1/8?
-1/8
Let a = -0.04 - 0.06. Which is greater: a or -5/6?
a
Let t = -2.31 + 2.2. Let r = -0.01 - t. Which is greater: r or -7?
r
Suppose 4*p - 12 = -4*k, -4*p + 20 + 1 = -5*k. Let d be (-1 - (-2 + 0))/k. Is 1/7 less than or equal to d?
False
Suppose 15 = 6*j - j. Suppose -3*s - j*g = 15, 4*s + 39 = -s + 2*g. Is s at least -6?
False
Let m = 4/71 + -107/639. Do m and 1 have the same value?
False
Suppose 3*i = 5*i - 2, -3*d + i = 1. Which is smaller: -7 or d?
-7
Let q = -19 - -18.8. Is q at most 1?
True
Suppose -3*h + 9*q - 6*q = -117, -59 = -h - 4*q. Which is greater: 42 or h?
h
Let d = -3 + 3.02. Let f = -14/39 - 4/13. Which is smaller: d or f?
f
Suppose 7*v = 5*v. Suppose v*u - 36 = -3*u. Let g be (-2)/u + 1/2. Is g at least as big as 0?
True
Let y = -15 + 31. Let z = -57/4 + y. Is z less than -1?
False
Let y = -5.23 + 1.23. Let t = -0.3 + 0.2. Are y and t unequal?
True
Let n = -94 - -247. Let w = n + -1068/7. Let h = -3 + 2. Which is bigger: w or h?
w
Suppose 9*k + 7*k + 16 = 0. Is k >= 8?
False
Let u be (184/62)/(-1) + 3. Let l = u + 152/93. Which is smaller: l or 1?
1
Let z be 85/5 + 2 + -3. Let u be z/6 - (-4)/(-6). Which is bigger: u or 3?
3
Let a be (-5)/(-20) + 1 + (-3)/12. Are 3/125 and a equal?
False
Suppose 0 = 10*h - 8*h + 4. Let z be (-1)/(1/(-3)) - -1. Suppose 3*j + 13 = d, -d = z*j - 2*d + 16. Is j less than or equal to h?
True
Let t = -28/11 + 179/66. Do 1 and t have different values?
True
Suppose 5*g - 4*j = 35, 0 = -5*g + 3*j - 2*j + 20. Is g smaller than 0?
False
Let h(n) = -n**3 + n**2 + 3*n - 1. Let o be h(2). Suppose 9 = -2*p + 