f = c + 0.07. Let r = -3 + 3.1. Is r at least as big as f?
False
Let y(t) = -t**2 - t - 4. Let r be y(7). Let o = r - -182/3. Let k = 24 + -97/4. Is k greater than o?
False
Let q be 24/(-30) + (-336)/5. Let n be ((-1)/(-3))/(q/36). Is n less than or equal to 1?
True
Let s be (0/(-1))/(6/3). Suppose 4*z - 85 - 51 = s. Let g be (0 - (-4)/z) + 0. Is 1 less than g?
False
Suppose -6*i - i = 42. Is i at most -3?
True
Let i be ((-4)/(-6))/((-12)/(-9)). Let p = 1 - 0.8. Which is smaller: i or p?
p
Let b be (0 - 2)*21/(-2). Is b != 20?
True
Suppose -4*g - 126 + 122 = 0. Let k be 2 + 0 + (-68)/35. Which is greater: g or k?
k
Let c = 13 - 21. Let g = c + 7. Let u be -1*(1 + -2)*g. Which is smaller: u or -2?
-2
Let k = -1 - -2. Let r(l) be the third derivative of -l**4/24 + l**3/3 - 4*l**2. Let g be r(k). Which is greater: 2/3 or g?
g
Let x = 2 - -1. Suppose 2*f - 2*o - 2 = 0, x*f - 4 + 8 = -4*o. Suppose q = -3*q - r + 7, -2*r - 10 = -4*q. Which is greater: q or f?
q
Let c = 4 - 6. Suppose -6*u = -u - 5*w + 25, 9 = -u + 2*w. Is u > c?
True
Let d = -0.05 + -4.95. Let a = -5 + -11. Let z = -14 - a. Is z at most d?
False
Let f = -1 - -4. Suppose 2*d + 4*c - 5*c = 5, -f*c = 5*d + 15. Suppose d*t + 20 = 5*t, -5*t + 26 = i. Are 6 and i unequal?
False
Let b be 1*(0 + -6)*-1. Suppose -q + 7 - 40 = -5*h, 4*q = -h - b. Let z be (-21)/27 - h/27. Is z smaller than -1?
False
Suppose -2*i - 4*a = -2*a + 8, -5*i + 3*a - 20 = 0. Suppose 4*k + 5*b = -7, -4*k + b - 3*b - 10 = 0. Let u = k - i. Which is greater: 0.1 or u?
u
Let q = 2 - 55/28. Suppose 4*h + 3 = -k - 14, -2*h - 8 = 0. Which is bigger: q or k?
q
Let p be 5700/(-42) - (-4)/(-14). Let t be p/(-12)*15/(-154). Let y = 9/11 + t. Is 2/9 greater than or equal to y?
True
Suppose -5*n + 3*b = -1167, 0 = -0*n + 5*n + 5*b - 1135. Let h be ((-7)/n)/((-1)/(-3)). Is h smaller than 1?
True
Let b = -13120055/522 + 219557/9. Let o = -739 - b. Let r = -107/522 + o. Is r < -1/3?
False
Let o = -16.7 + 16. Is o less than 3?
True
Suppose -3*s + 4*w + 3 + 8 = 0, -5*s - w = -3. Let t be s*0/(-3 + 7). Is -1/5 less than or equal to t?
True
Suppose 5*l - 17 + 7 = 0. Suppose -l*r + 3 = 7. Let w be (11/(-4) + 2)*4. Is r greater than or equal to w?
True
Let s be (-2)/(14/5 + -3). Suppose s*d - 11*d = 0. Is -4/3 at most as big as d?
True
Let j = 52 - 52.06. Are -2/3 and j nonequal?
True
Let p = 2561/179151 - -1/1347. Which is greater: 1 or p?
1
Let m(j) = -j**3 + 7*j**2 + 8*j + 7. Let w be m(8). Suppose 18 = 5*f - 12. Which is smaller: w or f?
f
Let b = 9 - 5. Suppose 0*a = -4*a + s, 4 = -b*a + 2*s. Is -2 >= a?
False
Let p = -64 - -64. Is -8/17 != p?
True
Suppose 0 = -3*g + 4*v - 17, 5*v - 28 = -0*g - 3*g. Which is smaller: -4/19 or g?
-4/19
Let n = 22 + -24.2. Let x = n - -3. Does x = 1/3?
False
Let h = -83 + 45. Is -38 < h?
False
Let f = 3 + 0. Let c be f*(138/63 - 2). Which is greater: 2 or c?
2
Let k = -0.99 - -1. Let y = -68.39 + 68. Let n = y - k. Which is bigger: -1/2 or n?
n
Suppose 1 - 5 = -4*n. Which is smaller: n or 2/129?
2/129
Let c(o) be the second derivative of o**5/20 - 5*o**4/12 + 5*o**2/2 + 2*o. Let g be c(5). Suppose 0 = -g*b + b. Which is greater: 1 or b?
1
Let d be (5/(-15))/(2/(-438)). Let f = 46 - d. Let u be (-14)/36 + (-6)/f. Which is smaller: u or 0?
u
Let u be (12/10)/((-3)/15). Let l be (u/(-4))/(13 + -7). Is l < 0?
False
Suppose 0 = 3*o + 2*o + 2*n - 22, -2*o - 3*n + 11 = 0. Suppose -o*s - 2*r = -2*s - 14, -4*r = -s + 7. Let p be 18/81 + 122/18. Are s and p nonequal?
False
Let m(c) = c + 20. Let d be m(-14). Suppose -d = 3*l, -4*r - 4*l - 10 = -9*l. Is r bigger than -7?
True
Let r = 19 + -17. Let f(y) = -y - 3. Let d be f(-4). Which is smaller: d or r?
d
Let y = -31 - -36. Which is bigger: 22/5 or y?
y
Let z = 6 + -13. Let j = 14.2 - 7.1. Let u = j + z. Is u > 2?
False
Let t = 71/3 - 24. Which is smaller: t or -6?
-6
Let n = 270 - 11612/43. Are -1 and n equal?
False
Let m(y) be the second derivative of y**5/20 - y**4/3 + y**2/2 + 2*y. Let d be m(4). Which is smaller: 0.2 or d?
0.2
Let q = 0.1 + -0.2. Let s(p) = p**3 + 9*p**2 - 10*p - 5. Let f be s(-10). Let z be 2/(6*1/f). Which is smaller: q or z?
z
Let p be 8/2*(-1)/(-1). Let d(a) = 18*a - 209. Let w be d(12). Is w not equal to p?
True
Let m = 7129/5 + -1431. Let s(l) = -2*l + 6. Let j be s(5). Which is greater: m or j?
j
Let r(s) = s**2 - 3*s + 6. Let q be r(5). Which is smaller: q or 17?
q
Let l be 4 - 6/(-3 - -6). Let p be (-3)/(-6)*(-1 + -11). Let g be (-4)/p + 2/(-3). Is g greater than l?
False
Let c(x) = -12*x**2 - 4*x + 5. Let t(v) = 12*v**2 + 5*v - 6. Let u(m) = 6*c(m) + 5*t(m). Let s be u(-1). Is s < -0.1?
True
Let j be -2 + (-996)/(-1395)*391. Let t = -1389/5 + j. Let w = t + -1/31. Which is smaller: -1 or w?
-1
Let p = 11 - -1. Let c = p - 12. Is 5 less than c?
False
Let n = -19 + 11. Let t = n - -6. Let x = 45 - 228/5. Does x = t?
False
Let j = -2.8 - -3. Let g = j - 0.4. Is g not equal to -2?
True
Let o(p) = -2*p**2 + 4*p - 2. Let r be o(3). Let i = r - -3. Is -5 less than i?
False
Let w = 0.038 + 8.062. Let v = w - 0.1. Which is bigger: v or 0?
v
Let u = 0.1 - -6.9. Let q = -8 + u. Let x = 2 + -1.9. Is q at most as big as x?
True
Let x = 46.87 - 47. Let w = 0 - -1. Which is greater: x or w?
w
Let v be 24/(-30) + (-2)/10. Let b = 0 - v. Is b != 1/5?
True
Let x(l) = l**3 + 3*l**2 - 5*l - 1. Let k be x(-4). Suppose 0 = k*s + 4*b + 17, 5*s = -3*b - 25 + 4. Which is greater: -4 or s?
s
Let v = -34.8 + 30.8. Suppose -2*s - 15 = g + 4*g, -15 = -s + 5*g. Which is smaller: s or v?
v
Let v be (-2)/5 - 4/(-10). Let w be (-66)/24 + (-1)/4. Let g be 2 + w - (2 + -2). Which is smaller: g or v?
g
Let h = -2.5 + 3. Which is greater: 0.1 or h?
h
Let c = 20 - 41. Which is greater: c or 2/3?
2/3
Let u(i) be the second derivative of i**3/6 - 13*i**2/2 - 3*i. Let j be u(-4). Is j greater than -16?
False
Suppose s = 2 - 1. Suppose 3*b = 3*d - d - s, -2*d = 2*b + 14. Let c be -1*b/(-5) - -1. Which is greater: c or 1?
1
Let n = 47/5 - 193/20. Which is smaller: 3 or n?
n
Let j = 141 + -162. Which is smaller: 1 or j?
j
Let r(h) = -h**2 + 7*h - 2. Let w be r(5). Suppose -w*b - 4 = -4*b. Let j be b/1 + (2 - 0). Is j at most -1?
False
Let x(l) = 3*l**2 - 5*l - 3. Let m be x(4). Suppose 4*w = 9*w + m. Suppose -42 + 17 = 5*u. Are u and w unequal?
False
Let c = -0.26 + 17.26. Let l = 18 - c. Are l and 1/5 non-equal?
True
Let w be 8/20 + (-174)/10. Which is bigger: w or -53/3?
w
Let c be (-21)/(-15)*(-10)/6. Is -1 less than or equal to c?
False
Let a = 3 - 4. Let p be (-8)/20 + 1/2. Is p bigger than a?
True
Let y = 6 + -5.7. Let c = -0.44 - -0.74. Is y greater than or equal to c?
True
Suppose 0*q + 76 = 4*q. Suppose 4*h - 2*r = -26, -12 = 5*h - r + q. Let f be 9/h*(-4)/(-3). Which is smaller: -1 or f?
f
Suppose -5*o + 3*d - 19 = 0, -2*o - 3*o = 2*d + 29. Is o equal to -6?
False
Let d be ((-2)/(-12))/(60/90). Which is bigger: d or 1.05?
1.05
Let o(r) = -2*r + 27. Let a be o(26). Which is bigger: a or -26?
a
Let z(y) = -y**2 + 3*y + 4. Let l be z(6). Is -16 != l?
True
Let f = 2 - 4. Let r(o) = o + 3. Let x be r(-6). Which is smaller: f or x?
x
Let a be 2/4 + 10/(-4). Which is smaller: -3/5 or a?
a
Let k be (-34)/4 + (-15)/(-10). Which is smaller: k or -25/4?
k
Let f = -0.2 + 0.5. Let g = 0.2 - f. Let t be (-14)/6 + 0 + 3. Is t smaller than g?
False
Let r be 1/2 - 9/18. Is 2/159 greater than or equal to r?
True
Let z = -45 - -36. Are -7 and z nonequal?
True
Let v = 7 - 7.06. Is v bigger than 2/11?
False
Let r = 776/4147 + -2/377. Is r not equal to 0?
True
Let p be 4/(-5) + (-1)/5. Let f = -87 - -256/3. Is f != p?
True
Let m be 22/48 - (-4)/(-12). Which is smaller: m or 1?
m
Let j = -1 + 0. Let i be 11 - 7 - 74/17. Which is greater: j or i?
i
Suppose 2*r + 11 = 5*t, 0 = -3*r + t + 2*t + 6. Suppose -r = 4*f - 3*m, 4*m + 0*m - 18 = f. Suppose 0 = -5*x + f*x. Is x less than -1?
False
Let m be (2 - 0)/(0 - -1). Let o(l) = -l**3 + 7*l**2 - 4*l - 8. Let q be o(6). Suppose m*y + q = -2*y. Is -1 > y?
False
Let a = -45.2 + 50. Let j = -0.8 + a. Are j and 3 equal?
False
Let v be 30/8 - 4 - 21/(-12). Let f = 4 + -3. Which is greater: v or f?
v
Let h be (-18)/(-22) + 6/33. Let b be (-1 - 13)*(h - 0). Is b <= -14?
True
Let l = 0.15 - 0.12. Is 2/5 >= l?
True
Suppose -3*r + 2*d = 4*d - 258, 5