 -2*m + 22. Suppose 0 = m*c - 6 + 1. Is 1/11 bigger than c?
False
Let n = 23 + -28. Which is smaller: n or 2?
n
Let f = 3.9 - 4. Which is smaller: 5 or f?
f
Let t(r) = 14*r**3 + 2*r**2 + r + 3. Let j be t(3). Let a be j/60 - 1/5. Let i = a - 8. Which is smaller: i or -3?
-3
Let l = -0.13 - -0.11. Which is smaller: l or -0.1?
-0.1
Suppose -132 = -2*r - 2*r. Let h be r/(-15) + 0/(-1). Which is greater: -2 or h?
-2
Let p be 2/15 + (-894)/(-45). Is 22 not equal to p?
True
Suppose 2 = 10*k - 28. Which is greater: k or 16/5?
16/5
Let l = -3/20 - -13/20. Let w(r) = r**3 - 7*r**2 - r + 9. Let x be w(7). Which is bigger: x or l?
x
Suppose 2*z - 5 + 7 = 0. Which is greater: -11/8 or z?
z
Let o = -4342 + 395149/91. Let a = 1/7 - o. Which is bigger: 1 or a?
1
Let w be 4/2 + -3 - -9. Let n be (-10)/(w/(-4) + 3). Is -9 at most n?
False
Let f be 8/18 + 0/1. Suppose a = -0 + 2. Let k = a + -3. Which is smaller: k or f?
k
Let f be 4/7 - (-50)/35. Is f at most -0.02?
False
Let o = 45 + -45.04. Which is smaller: 2/5 or o?
o
Let g = 7 + -6. Which is smaller: g or 2/37?
2/37
Let x = 2038513/60 + -33976. Let j = -8/15 - x. Is -2 greater than or equal to j?
False
Suppose 9*v - 7*v = 4. Let f be (-62)/6 + 2/6. Let h be (-46)/f - (2 - -1). Is v > h?
True
Let z = 8 - 4. Is z greater than 5?
False
Let y = 41/1078 + -3/196. Which is greater: y or 0?
y
Let l = 3/32 - -17/160. Is 3/5 less than or equal to l?
False
Let w = -7588774/119 + 63770. Let q = w + 6/17. Is -2 at most q?
True
Let m = 158.9 - 149. Let h = 12 - m. Let b = h + -2. Is 2/13 at most as big as b?
False
Let f = -10 + 20. Let n be (-2)/(-7) - f/(-14). Which is smaller: -2/9 or n?
-2/9
Suppose -6*p + p + 15 = 0. Is p bigger than 1?
True
Let q(g) = g**3 - 5*g**2 + 3*g + 1. Suppose 0 = 2*t - 8. Let v be q(t). Let y be v*4/(-6) - 2. Are y and -0.1 equal?
False
Let h(v) = -v**3 + 8*v**2 - 9*v + 8. Let g be h(7). Let n(u) = -u**3 - 15*u**2 - 13*u + 10. Let o be n(-14). Which is greater: o or g?
o
Let r be (-10)/12 - (-5)/(-30). Is -7 at least r?
False
Let o be ((-36)/(-15))/4 - 4/(-10). Let b(w) = -w**3 - 2*w**2 + 2*w + 2. Suppose -4*n = v - 6, -v - n = -4*v - 8. Let h be b(v). Which is greater: o or h?
o
Let j(b) be the first derivative of b**4/4 - 4*b**3/3 - b**2/2 + 8*b + 11. Let q be j(4). Is 1 equal to q?
False
Let q = -1.8 - -1.7. Is 0.6 > q?
True
Let v be -5*1/5*-8. Suppose 2*q + 2 = -v. Is -4 at least q?
True
Let u = -6 + 7. Let g(i) = -i**2 - 3*i - 7. Let n(h) = h**2 + 1. Let f(t) = u*g(t) + 2*n(t). Let k be f(4). Which is smaller: k or -1/15?
k
Let l = 1 + -1. Let y be (77/14 + -5)/1. Which is smaller: y or l?
l
Let i = 1.4 + -3.8. Let t = 2.6 + i. Does t = 1?
False
Suppose -5*d + 1 + 4 = 0. Let y = 6 + -4. Let w = d - y. Which is smaller: 0 or w?
w
Let n be (-2 + (-11)/(-3))*-3. Let j(d) = -2*d + 1. Let h(t) = 4*t - 1. Let v(f) = 6*h(f) + 13*j(f). Let k be v(6). Is n bigger than k?
False
Suppose -29*k + 23*k + 12 = 0. Do k and 4 have different values?
True
Let v = 9 - 7. Let w = v - 1. Are -2/17 and w nonequal?
True
Let z = 2.6 + -3. Let m = 0.2 + z. Let o = m + 0.3. Do 0.2 and o have the same value?
False
Suppose 2*t = -8 - 4. Let k = t - -2. Is -3 less than k?
False
Suppose -2*d - 5 = q + 3, 2*d - 3*q = 8. Let b be 0/2 + 3/(-5). Which is greater: d or b?
b
Suppose -2*z - 71 = -3*v, -z + 5*z = 8. Are 26 and v nonequal?
True
Let d be ((-8)/(-4))/6*42. Is d <= 15?
True
Let h(b) = -2*b**3 + 2*b**2 - 2*b + 1. Let s be h(1). Which is greater: s or 1/6?
1/6
Suppose 10*c = 8*c + 2. Is 4 != c?
True
Let k = 67 + -61. Suppose -p - 2*i + 14 = 0, 18 = 5*p - 4*p + 3*i. Is k > p?
False
Let r = -4 + 2. Let p = 3 + r. Which is bigger: -3 or p?
p
Let h(t) = t + 1. Let b be h(-11). Let k be (-46)/b - 8/(-20). Suppose k*a - 5 + 0 = 0. Which is bigger: a or -2/7?
a
Let f(b) = 2*b + 3 - 2 - 3*b. Let r be f(-1). Which is smaller: 3/5 or r?
3/5
Let n = 5 + 0. Let h be 0/3 - (5 + -9). Is h smaller than n?
True
Let l = 27 + -27. Let u = 79 + -158. Let t = -1025/13 - u. Which is smaller: t or l?
l
Let x = -0.5 + -1.5. Let q = x + -1.04. Let d = 0.04 + q. Which is smaller: d or 1/2?
d
Suppose 10*r = 11*r + 2. Let c be ((-4)/70)/(r/10). Is c not equal to 1?
True
Let c be 2/1 + 1/(-1). Let i be (8/30)/((-28)/42). Which is smaller: c or i?
i
Suppose 4 = 3*y + 1. Which is smaller: 2/17 or y?
2/17
Let a = -10.8 - -11. Let d = -121/20 + 34/5. Which is smaller: d or a?
a
Let w be (-4 + 0)/(-1 - 1). Suppose -4*x = 7 - 23, -w*l - 18 = -5*x. Are l and -1 nonequal?
True
Let h = -41 + 41. Is h greater than or equal to -3?
True
Suppose -2*y - 7 = -3*i - 0, -3*i + 14 = 5*y. Let h be i + -1 - (-341)/(-154). Which is smaller: -1 or h?
-1
Suppose -4*m = -4*n + 24, -8 = 3*m - n - 0*n. Let y be m/(-1) - (3 + -1). Let p be (y/(-2))/((-1)/4). Is p < -5/6?
True
Let k = -80 - -46. Let q = k - -54. Which is smaller: q or -2/7?
-2/7
Let f = 3 + 7. Let b = f - 21/2. Suppose -s = -0*s + 2. Is b bigger than s?
True
Let a = 275 + -278. Let k = 3.2 - 0.2. Which is greater: k or a?
k
Suppose 0 = -i - 1 - 2. Suppose -5*g - 16 = -0*g - k, 4*g + 36 = -5*k. Is i at most as big as g?
False
Let p(u) be the third derivative of u**6/120 + 2*u**5/15 + u**4/4 - u**3 - u**2. Let i be p(-7). Let s = -11/2 - -23/4. Is s bigger than i?
False
Let r(j) = j**3 + 10*j**2 - 10*j + 11. Let y be r(-11). Which is bigger: -2/3 or y?
y
Let a = -87/2 + 42. Let p = 0 - 1. Which is smaller: a or p?
a
Let r = 2.92 + 0.08. Let h = 0.3 - 0.1. Are r and h equal?
False
Let d be 3*(5/381)/5. Let h = -757/635 - d. Is h less than 0?
True
Let b(u) be the second derivative of u**4/12 + u**3/6 + 7*u**2/2 + u. Let v be b(-3). Are 13 and v unequal?
False
Suppose 5*w - 5*k = 25, -5*k - 17 = -2. Is 7 at most as big as w?
False
Let k(v) = v**2 - 13*v + 24. Let z be k(10). Which is bigger: -11 or z?
z
Suppose -2*x + 6 = -5*o - 9, o = -3. Suppose 5*p + 4 = -6. Which is bigger: x or p?
x
Let y = -0.03 + 0.33. Let x = -0.3 + -0.7. Let i = -1.1 - x. Which is bigger: i or y?
y
Let n = -4 + 2. Let l be n - 0 - 28/(-6). Is l smaller than 4?
True
Suppose -5 = -2*o - 15. Is o > -6?
True
Let p = -19.5 - -19. Is p at most as big as -2/5?
True
Let d be (-328)/(-104) + (-4)/26. Which is smaller: 5 or d?
d
Let x(f) = f**3 + 6*f**2 + 5*f + 3. Let l be x(-5). Let h(v) = v**2 - 1. Let m be h(l). Let d be (-8)/(-50)*(-20)/m. Which is smaller: 1 or d?
d
Suppose 1 = a - 0*a. Let p be -2 - 1 - 213/(-69). Which is bigger: a or p?
a
Let v = -0.062 - -0.762. Let o = 0.1 - 0.2. Is v at most o?
False
Let l be ((-4)/18 - 8489/234)*-2. Is 72 at least as big as l?
False
Let u = 126 + -628/5. Which is smaller: 1/10 or u?
1/10
Let f be -2*(-1 - 6/(-3)). Let k be f - ((-2)/(-2) - 3). Which is greater: 2/3 or k?
2/3
Let k = -28 - -8. Is k < -18?
True
Let y(o) = -2*o**2 - 2*o - 3. Let m(u) = -u**3 + 6*u**2 + 6*u + 5. Let n be m(7). Let a be y(n). Let s = -8 - a. Is s greater than -1?
False
Let d(l) = l**3 - 7*l**2 - 6*l - 8. Let b be d(8). Let c = -5 + b. Is 3 greater than or equal to c?
True
Let t(q) = q - 1. Let x be t(-3). Let l be x/(-2) + (-33)/21. Is 1 >= l?
True
Let n(u) = -u - 6. Suppose -6*g + g - 15 = 0. Let v be n(g). Let o = -8 - -6. Which is smaller: v or o?
v
Let a = -24.7 + 24. Which is smaller: a or -0.1?
a
Let u = 18 - 27. Let m be (-150)/u*24/10. Let c be 2/(-3) + m/69. Are -1 and c non-equal?
True
Let h = -3 + 2.4. Is h less than or equal to 3?
True
Let u be (9267/(-30) + 1)/(-10). Let l = -123/4 + u. Which is smaller: l or -1?
-1
Suppose -5 + 1 = 2*t. Let q = -10 - -19/2. Which is smaller: q or t?
t
Let l = -5 + 9. Let a = -3 + l. Let c = 0.1 - -1.9. Which is greater: c or a?
c
Let n be (-464)/1260 + (-2)/(-5). Do 0 and n have the same value?
False
Let v = -23 - -23.1. Is -8/3 greater than or equal to v?
False
Suppose -2*f + 3 + 1 = 0. Suppose 6*a - 9 = -3. Is a at most as big as f?
True
Suppose -6 = -4*v + v. Let p = -1 + v. Is -2/29 smaller than p?
True
Let t(z) = -z**3 + 9*z**2 - 2*z + 6. Let s be t(6). Let x be s/14 - (-6)/(-21). Let l = x + -11. Which is smaller: -5 or l?
-5
Let x = -10 - -20. Let v be ((-8)/10)/((-4)/x). Is 1/4 at least v?
False
Suppose -3*f + 6 = -m, 4*f - m - 12 + 4 = 0. Suppose f*g + 3*g = 10. Suppose g = h, h = -7*i + 2*i + 2. Is -2/9 >= i?
False
Suppose 12*j + 1 = 13*j. Let d(o) = -2