(p). Let x be g(0). Is x >= -6/11?
False
Let y(h) = -13*h + 3. Let p be y(-1). Which is smaller: 1 or p?
1
Suppose -4*a + a = -5*z - 2, z + 5*a - 22 = 0. Let g be 2 - z - (-3)/(-6). Is -2.2 greater than g?
False
Let n be (-2)/(-6) - (-32)/(-42). Let u = 11 - 14. Let t be 3/u - (4 - 6). Which is smaller: n or t?
n
Let w(p) = 4*p - 6. Let j be w(4). Let c = -1 + j. Suppose d - 2*k = -c, -k + 3 = -d - 2. Do d and 1 have different values?
True
Let p = -188 + 1320/7. Which is bigger: -2 or p?
p
Let p(o) be the first derivative of -1/4*o**4 - 5/3*o**3 + 3*o**2 + 3 + o. Let i be p(-6). Which is smaller: i or -5?
-5
Let x = -6 + 8. Let p be 3/3 + 6589/9. Let n = p - 732. Which is smaller: x or n?
n
Let w = 2.4 + -2. Let y = 0 + -2. Are y and w non-equal?
True
Let w = 5371/3 - 1750. Let u = w + -41. Let a = -97 + 95. Is a less than u?
True
Let n be -2 - 9*(-1)/4. Let f(u) = -3 - 2 + 0 + u. Let m be f(4). Which is bigger: n or m?
n
Let q(j) = j - 5. Let f be q(9). Suppose -4*z + 8 = i - 3, -f*i = -z - 10. Do 3 and i have different values?
False
Let t(k) = k**3 + 19*k**2 - 23*k - 26. Let i be t(-20). Which is smaller: i or 35?
i
Suppose a + 3 = -3*v + 17, 3*a - 15 = 0. Let w be 3/9 - 1/v. Suppose 0 = -3*o - 0*o. Is w greater than o?
False
Let b(d) = 4*d + 1. Let m be b(6). Suppose 3*g + 6 = -2*l + 4*l, m = -3*l - 4*g. Let f(u) = -u**2 - 5*u - 4. Let o be f(l). Is 1 at most as big as o?
True
Suppose 0 = 2*j - 6*j + 16. Suppose 0*h - 16 = -j*b + 2*h, -2*b + 10 = -2*h. Is 3 smaller than b?
False
Suppose 6 = 3*g - 0*g. Let d be 0 + (g/(-18))/1. Which is bigger: d or 0?
0
Let u = 13 - 8. Suppose 3*r = u*r - 6. Do 4 and r have different values?
True
Let r = 0.18 + -0.18. Is r bigger than -0.1?
True
Suppose 5*o = 3*i, o = 2*i - o. Suppose 5*c + 3*k = -55, -4*k = 6*c - 2*c + 52. Let m be 60/(-36)*c/(-10). Is i equal to m?
False
Let x be 2/3*3*-2. Let l be (-6)/(-3) + (-274)/x. Let t = l + -67. Is t >= 5?
False
Let c = 103/5 - 107/5. Suppose -3*r + 4 - 1 = 0. Suppose -2 = a - r. Are a and c non-equal?
True
Let w = 0 + -0.1. Let y(i) be the third derivative of -i**5/60 + i**4/8 - i**3/3 + 2*i**2. Let r be y(2). Which is smaller: r or w?
w
Let f = 61/2 - 30. Is 0 at least f?
False
Let s = 4 + -3.9. Is s at least 3?
False
Let v = -36 - -38. Which is bigger: v or 42/13?
42/13
Let a = -16.2 - -2.2. Let d = -7 - a. Let w = d - 6. Is w <= 0?
False
Suppose 0*g + 4*g - 8*g = 0. Which is greater: -3/70 or g?
g
Let r = -31/698 - -21893/29316. Let k = -1/21 - r. Which is smaller: k or -1?
-1
Let m = -1.5 - -0.5. Let j = -3 + m. Let y = 4 + j. Is y >= 2?
False
Let d = -8.2 - -8.1. Which is bigger: d or 71?
71
Let p = -9 + 0. Which is greater: p or -8?
-8
Let f = 51 - 52.98. Let g = 0.02 - f. Let p = g + -3. Which is greater: p or 2/5?
2/5
Let c = 0 - 0. Suppose 0 = -5*f + 73 + 17. Let v be 28/(-36) - 4/f. Is c at least as big as v?
True
Let v = 22450399 - 8980145719/400. Let w = v + -549/16. Let i = w - -1/100. Is 2 smaller than i?
False
Let d be (1/(8/2))/((-3)/(-15)). Are d and 2 equal?
False
Suppose 0 = 2*o + 2 - 2. Is o less than -10/11?
False
Suppose -3*n + 9 = -0*n. Suppose 0 = n*t + 8 - 53. Is t at least as big as 15?
True
Let g = 28 + -27. Which is greater: -2 or g?
g
Let t(s) = -2*s**2 + 4*s - 4. Let u = -2 + 5. Let r be t(u). Let v = r + 6. Which is greater: v or -3?
-3
Let z be ((-18)/(-9))/(2/2). Let w = 2 - z. Let j = -136/9 - -44/3. Which is smaller: w or j?
j
Suppose -o = 2*o - 2*q - 7, 0 = 4*o + 2*q - 28. Is o bigger than 5?
False
Suppose 0 = -0*k - k. Let y(s) = s**2 + s + 5. Let m be y(k). Suppose m*i - 5 = -0*i. Is i bigger than 2?
False
Let t = 24 - -32. Are t and 56 equal?
True
Let q = 2 + -3. Let i be ((-1)/8)/(6/8). Does q = i?
False
Let o = -1 - -3. Suppose -n + o = -0. Let d = 3 - 1. Do n and d have the same value?
True
Let t = 0 - -2. Which is bigger: 0.02 or t?
t
Suppose 139 = -4*a - d, 3*d = a + 31 + 20. Are -36 and a equal?
True
Let u = 0.59 + -3.59. Which is greater: -12 or u?
u
Let o = -961 - -41321/43. Let a = o + -72/301. Suppose 0 = -3*t - 0 - 3. Is t greater than a?
False
Let p(z) = -4*z**2 + 67*z + 17. Let y be p(17). Is 0 > y?
False
Let z = 2.1 + -0.1. Let i = z + -1. Let u = -0.4 - -0.5. Is i bigger than u?
True
Let i(h) = -4*h. Let n be i(-1). Let v = -28 + 32. Is v less than or equal to n?
True
Let j = -5 + 2. Let r be (472/90)/(41/j). Let g = r + -2/123. Which is smaller: -2/7 or g?
g
Let n(t) = -t**3 + 6*t**2 - t + 2. Suppose -o + 4 = -2. Let u be n(o). Let x be 7/2 - (-2)/u. Do x and 3 have different values?
False
Let v be -8*((-36)/40 - -1). Which is bigger: v or -1?
v
Let x(f) = -f**2 - 14*f - 7. Suppose 5*j - 5*t + 50 = 0, 3*t - 6*t - 40 = 2*j. Let a be x(j). Is -8 equal to a?
False
Let r be (1 - 7)*3/(-6). Let c = 31 + -29. Which is smaller: r or c?
c
Let a(n) = 6*n - 7*n + 6*n - n**2 + 5. Let y be a(6). Let o be 0/(-2) + (-21)/(-70). Is y less than or equal to o?
True
Suppose -5*g = 3 - 8. Let f(q) = -q**2 + 9*q - 7. Let k be f(7). Which is bigger: k or g?
k
Suppose -z - 3*m = -5 + 2, -12 = -4*z - 5*m. Let l be -4 + z - (-5)/4. Is l at most as big as 2?
True
Let p(m) = -m**3 + 3*m**2. Let u be p(3). Suppose r + 1 = u, -r - 2*r - 4 = -z. Which is bigger: z or 1/5?
z
Suppose u - 3*u = 0. Let r = -102 - -103. Is r != u?
True
Let o = -269 - -397. Let i be 0/(-1) - o/(-80). Are 2 and i equal?
False
Let p be -29*1*(6 - -2). Let a be (2 - 0) + p/120. Which is bigger: 1 or a?
1
Let s = -5 + 7. Suppose 4*q = -p - 5, 2*p + 8 = 5*q - 2. Is q smaller than s?
True
Let v(u) = u**3 - 3*u**2 + u + 1. Let o be v(3). Let s be ((-2)/(-60))/((-2)/o). Which is smaller: s or -1?
-1
Let y = 5 + -11/2. Is y not equal to -2?
True
Let n = -5 - -4.8. Which is smaller: n or 15?
n
Let k = -5 - -9. Let w = -4 + k. Let u = -1 - w. Is 3 at most u?
False
Suppose -m - 3 = 0, -4*u - 10 + 5 = -m. Suppose 0 = 4*y + 4. Which is smaller: y or u?
u
Let v = -0.022 + 24.022. Let r = v + -23. Which is bigger: 1/5 or r?
r
Let c be (-1 + (-48)/(-44))*6/2. Are c and 0 unequal?
True
Let c = 81 + -146. Let j = 71.1 + c. Let n = 6 - j. Do n and -0.2 have different values?
True
Let n be (1*36)/(-8 + 9). Let t be 6/24 - 1/n. Which is smaller: t or 0.1?
0.1
Let i(a) be the first derivative of a**2/2 - 16*a - 4. Let m be i(13). Which is smaller: m or -4?
-4
Suppose -5*a - 15 = 0, -7 = 5*o - a - 0. Let z = 31/35 + -2057/70. Let k = -29 - z. Which is greater: o or k?
k
Suppose -1 = 2*v - 5. Suppose 2*l - 3*x - v*x = 45, 3*l - 45 = 3*x. Suppose 3*b = -2*b + l. Which is bigger: b or 3?
3
Suppose 0 = -10*l + 15*l + 10. Let b = 2 + -4. Is b bigger than l?
False
Let x(a) = a**3 + 6*a**2 - a - 8. Let f be x(-6). Let l be (-6)/(-21) - 120/(-21). Let z be ((l - 0)/(-3))/1. Is z != f?
False
Let b = 20.8 + -20. Let x = 6 - 5.9. Which is smaller: x or b?
x
Let a = 0.3 + -1.1. Let i = 1 + a. Let o = -0.3 - 0.7. Which is smaller: i or o?
o
Let d be (4 - (3 - -4)) + 4. Suppose -2 = -2*j, b + 2*j + 0*j - d = 0. Let k = 133 + -1727/13. Which is smaller: b or k?
b
Let t = -9 + 12. Let f = 8 + -11. Let y = f + t. Which is greater: -0.2 or y?
y
Let v = -136 + 137. Let n = 2/11 - 51/220. Which is smaller: n or v?
n
Let v(x) = -2*x + 2. Let r be v(-9). Suppose 0 = -7*s + 3*s + r. Let y be s/(5/2) + -3. Which is bigger: y or 4/9?
4/9
Let w = -18 - -19. Let p = -45 - -314/7. Does w = p?
False
Let b = 22 + -16. Suppose -3*y - b = -d, -3*d - 38 = -6*d - y. Is d less than or equal to 11?
False
Let h be (-1)/(-3) - 391/(-51). Are h and 8 non-equal?
False
Suppose -5*y + 3*n - 8 = 0, -2*y - 6 = -3*n - 1. Let i be y*7/4 - -2. Which is smaller: -2 or i?
-2
Let m = 0.2 + -0.1. Let t be (6/24)/(2/8). Suppose r + 2 - t = 0. Is r greater than or equal to m?
False
Let i = 86 + -55. Which is smaller: i or 30?
30
Suppose m + m = 3*z + 16, 2*z + 4*m + 16 = 0. Let b be (-5)/12 + (-4)/z. Is -2/5 at least b?
False
Suppose 5*o - 3*w = -0*w - 92, -5*o + w = 84. Is o < -15?
True
Let a = -55 + 89. Do 34 and a have the same value?
True
Let d = 9 - 6. Let x(k) = k + 2. Suppose -6 + 2 = -2*a. Let q be x(a). Is q less than d?
False
Let s = 6 - 9. Let d be (0/1)/(s + 2). Is -6 < d?
True
Let n(j) = -j**3 - 2*j**2 + j - 1. Let k be n(-2). Let h(b) = -b - 17. Let v be h(-16). Is k greater than v?
False
Let o = 7268038/15 + -484226