3, 4*d + 13 = y - 8. Suppose -5*z - 4*x = -7 + 2, -y*z - 2*x - 5 = 0. Let g = -9 - -7. Is z < g?
True
Let y = -1 - -3. Let x(g) be the second derivative of -g**4/12 - g**3 - 5*g**2/2 + g. Let h be x(-4). Do y and h have different values?
True
Let l = -14/51 - -467/1887. Which is greater: -1 or l?
l
Let j = 13 + -4. Let r be 2/j - 440/36. Let u be (r/10)/((-10)/(-25)). Is -3 at least as big as u?
True
Let o(h) = -h**2 + 20*h - 35. Let w be o(18). Is w at least 1/295?
True
Let n = -15256 - -1098407/72. Let k = n + 2/9. Is k smaller than -1?
False
Suppose -4*q = 20, 4*h + q + 0 = -1. Suppose 0 = 2*w + h - 17. Suppose -2*g - 3*a = w, 2*g - 2*a - 16 = a. Is g at most as big as 3/2?
False
Let u be (-1)/2*(-4)/(-10). Let o = 16 + -28. Let n be o/4*(-1)/(-3). Is n at most as big as u?
True
Let w = 10 + -11. Let b = -0.72 - -0.7. Which is bigger: b or w?
b
Let k = 0 - -3. Let a(r) = 2*r - 3. Let b be a(3). Are k and b equal?
True
Let i = -13.6 + 14. Let b = i + 4.6. Which is smaller: 3/4 or b?
3/4
Let c = 20/7 + -87/28. Let y = -6.3 + -1.7. Let a = y + 6. Is a < c?
True
Let s = -0.2 - -0.21. Let z = -21 - -13. Let u = z - -9. Is u > s?
True
Suppose 0 = -0*p + 4*p - 16. Let n be 12 - 3 - (-4)/(-2). Let q(b) = b**3 - 7*b**2 + b - 4. Let t be q(n). Which is greater: t or p?
p
Let m = 4 - 1. Suppose 0 = -3*x + 4*u + 29, -4*x - m*u = -x + 6. Let n(a) = -a**2 + 25*a - 21. Let j be n(24). Is j at least as big as x?
True
Let p be (-2)/10 + (-341)/(-1155). Is p equal to 0?
False
Let u be (-64)/(-21) + 8 + -11. Is u <= 0?
False
Let w = -27.1 - -27. Does -1/4 = w?
False
Let f be (3 + -2)*-2*10. Let a be ((-16)/f)/((-18)/(-15)). Which is smaller: a or 0?
0
Let z = -117/4 - -29. Is 9 <= z?
False
Let c = 15661/19 + -824. Is 1 < c?
False
Suppose -4*b + 68 = 5*u, 2*u = -u. Which is greater: b or 16?
b
Let s = -1/4 - -17/12. Does s = 1?
False
Let z = -24 + 23. Which is bigger: z or 3/80?
3/80
Let y = 137 - 137.2. Are y and -25 unequal?
True
Let w(t) be the second derivative of t**4/12 + 2*t. Let c be w(-2). Which is greater: 2 or c?
c
Let x = -0.89 + -0.11. Are x and 19/2 nonequal?
True
Let y(t) = t**3 - 5*t**2 + 2*t + 5. Let h be y(4). Let o = h - -2. Is o less than -1?
False
Let b = -3.1 + 3. Suppose -4*s = -22 - 10. Suppose 5*u = -2*i + s, 5*u - i - 4*i = -20. Which is greater: u or b?
u
Let m = -56 - -227/4. Which is greater: 2 or m?
2
Let m be -1 + 39*(-3 - -2). Is m greater than -41?
True
Let s = 3 + -3.4. Let d = s - -4.4. Let f = d + -7. Which is greater: f or -1?
-1
Let v = -2.1 - -2. Let s = -11 + 10.9. Let i = v - s. Is i equal to -0.2?
False
Suppose t = -3*d - d - 8, -5*t + 4*d = -8. Let o be (-1)/(-3) - 4/(-6). Which is smaller: t or o?
t
Suppose -4*x + n = 251, -4*x + 5*n = 69 + 178. Let l be (-1)/(-4) + x/156. Is l smaller than 1?
True
Suppose 0 = -3*m - 15, 0*m = -5*j - 4*m. Suppose 3*x - 2*u - 3 = j*x, -x - u = 2. Do x and -2/13 have different values?
True
Let g = 0.2 - 0.3. Let b = -10.09 + 10. Let j = -0.19 - b. Is j <= g?
True
Let a = -0.6 - -0.2. Let z = -84 - -250/3. Which is smaller: a or z?
z
Suppose -15 = -2*v - v. Suppose i = v*i - 8, -4*s - 3*i = -14. Which is greater: 1 or s?
s
Let d = 25 - 22. Is d bigger than 5/3?
True
Let v = -3.6 + 3. Let z be (-98)/343 - 2/(-42)*-1. Which is greater: z or v?
z
Let f be 4*(15/582)/5. Let d = f - -1546/291. Let j = d + -50/9. Are j and 1 unequal?
True
Let v = 3 + -1. Let p(s) = s**2 + 3*s - 4. Let r be p(-4). Is v >= r?
True
Let c(p) = p + 2. Let f be c(-1). Let w(v) = v + 27. Let o be w(-11). Let u be o/(-28)*14/(-20). Is f less than or equal to u?
False
Let h(i) = i**2 - 3*i - 1. Let x(n) = -n**2 + 6*n + 3. Let m be x(6). Let c be h(m). Which is bigger: 1/3 or c?
1/3
Let h = -4 + 2. Let j be 0/(2*1/h). Let a(m) = m**2 + 5*m - 5. Let i be a(-6). Is j <= i?
True
Let s(r) = 15*r**3 + 23*r**2 + 21*r - 23. Let f(q) = 7*q**3 + 11*q**2 + 10*q - 11. Let z(j) = -13*f(j) + 6*s(j). Let p be z(-4). Which is smaller: 0 or p?
0
Let m = -0.02 + 1.02. Let f = -2 + m. Let j = f - -3. Which is smaller: -2/5 or j?
-2/5
Suppose -10 = 5*i + 5*w, -2*i - 4*w = -5*w + 7. Let c be ((-36)/16)/((-3)/(-8)). Let a = 4 + c. Which is smaller: i or a?
i
Let z = -149 - -149. Which is greater: -1/71 or z?
z
Suppose -25*j = -28*j. Is j at least as big as 2/277?
False
Let z(u) = 11*u**2 - 4*u - 2. Let y be z(-4). Let j be (-5312)/(-6)*(-6)/(-28). Let h = j - y. Which is bigger: h or 1/4?
1/4
Let k = 2 - -3. Let m(n) = -n**3 + 4*n**2 + 6*n + 3. Let z be m(k). Is z >= 1/4?
True
Let v be 3/12 + 12/16. Let m be 3/15*(-5)/(-6). Is m at most as big as v?
True
Suppose -6 = -3*b - 0. Suppose -1 = -c - b. Is -1 less than c?
False
Let p = -1/141 + -415/1128. Let w be (144/(-28))/9 + 11/7. Is p >= w?
False
Let i = -35 - -26. Is i at least -3/5?
False
Let a = 10 - 9. Does -0.7 = a?
False
Let u = -13 + 15. Let n be (-20)/6 + (-1)/(-3). Let h be u*(27/(-6))/n. Is 4 at least h?
True
Suppose 2*a + x = 3, 3*x + 21 = 4*a - 0*a. Which is smaller: a or 2?
2
Suppose 4*f = 2*i - 62, 5*i + 48 + 22 = -5*f. Which is greater: f or -14?
-14
Suppose 5*j = 3*r + 34, 5*r = -5*j + 2*j + 34. Let b = -4 + -3. Let v = j + b. Is 2/3 equal to v?
False
Suppose 5*l = 2*l. Let p(o) = -o**2 + 5*o - 4. Let t = 0 + 3. Let n be p(t). Is l > n?
False
Let d = -4 - -9. Let x = d - 4. Which is smaller: 6 or x?
x
Let k be ((-2)/(-6))/(2/8). Let n(v) = v**2 + 8*v + 7. Let b be n(-7). Is k >= b?
True
Suppose m - 4*m + 45 = 0. Is 14 not equal to m?
True
Let j = -6944612/924099 + -4/28003. Let y = j - -22/3. Is -0.1 bigger than y?
True
Let d(m) = 3*m**3 + 2*m**2 - 2*m + 1. Let h be d(1). Let c be -1*((-14)/h + 3). Is c at most as big as 1/2?
True
Let p = -0.8 - -0.73. Let b = -0.23 + p. Let t = -14 - -13.9. Is b at least as big as t?
False
Suppose 5*w = -5, -2*j = -j + 5*w - 9. Let n = j + -13. Is 1/15 > n?
False
Let f(g) = -g - 2. Let j be f(-4). Suppose -o - k = j*o - 6, -k = -o + 6. Let t = 3 - o. Is t >= 3/4?
False
Let o = 488211/12772 + -3840/103. Let b = -6/31 + o. Which is smaller: b or 2?
b
Suppose -2*f = -4*f - 2. Let x(d) = d**3 + 2*d**2 - 3*d + 4. Let z be x(-3). Let w be ((-1)/z)/((-3)/(-4)). Which is greater: w or f?
w
Suppose 2*s + 11 = 3*m, 2*s + m + 7 = -8. Is s at most -7?
True
Let k = -1.5 - -1.7. Is 1/19 <= k?
True
Let a be (-26)/16 - -1*1. Let i(l) = l**2 + 10*l + 8. Let c be i(-9). Which is greater: a or c?
a
Let x = 13.7 - 10. Let a = -2.4 + x. Which is smaller: a or -1?
-1
Let i be (1 - 9/7) + 82/287. Is 2/149 <= i?
False
Let x(y) = y**3 - 7*y**2 - 9*y + 10. Let r be x(8). Which is smaller: r or 3?
r
Let v(g) = -g + 9. Let b be v(4). Suppose m = -r - 6, 4*m = -0*m - b*r - 28. Let w(y) = -y**2 - 2*y - 1. Let h be w(m). Which is greater: h or 1?
1
Let h(o) = 4*o + 80. Let p be h(-20). Which is smaller: -1/57 or p?
-1/57
Let n be 2/(-3)*18/92. Is -1 > n?
False
Let h be 4/3*(-63)/(-42). Are 3 and h equal?
False
Let n(k) = 22*k**2 + 1. Let i be n(1). Let l = i + -25. Is -0.2 >= l?
True
Let i = -1.9 + 9.9. Let l = 2 - i. Let o = l + 7. Which is smaller: o or -2/5?
-2/5
Let l = 1.7 - 1.8. Let q = -0.1 - l. Is 0.3 at least as big as q?
True
Suppose 4*s = -h + 1, -5*s = 5*h - s + 11. Which is smaller: h or 1/13?
h
Let j(c) = 12*c**3 - c**2 - c. Let a be j(-1). Let o = a - -11. Which is smaller: o or -1/37?
o
Suppose -z - 3 = -0. Let i be 3*z/(-9) + -2. Let m = 7 + -9. Is i < m?
False
Let w = -2 + 2. Let f be (3/(-3) - w) + 3. Which is smaller: f or 1?
1
Let d = 15/22 - 2/11. Which is smaller: -8 or d?
-8
Suppose 5*d = 5, -4*q - q - 2*d + 42 = 0. Is 8 at most q?
True
Suppose 25 = 3*h - 2*s, 0 = -h + 4*s - s + 20. Suppose -3*f + 5*f - h*w = 3, 0 = 2*f + 4*w - 48. Is 15 <= f?
False
Let p = -13.222 + -0.078. Let u = 14 + p. Let w = 0.3 - u. Which is greater: -2 or w?
w
Let p = -0.44 - -2.44. Let w = 5.7 + -6. Is p bigger than w?
True
Let s = -2 + 2. Let f = 0 + s. Which is smaller: 1/4 or f?
f
Let k(u) = u + 4. Let p be k(-5). Which is greater: -4/15 or p?
-4/15
Let i = -20 - -40. Let b be ((-8)/i)/(4/(-5)). Is b bigger than 0.2?
True
Let u(n) = 8*n + 11. Let b be u(-5). Is b less than -29?
False
Let t be 1*(-4 + 1 - 3). Which is bigger: t or -3?
-3
Let b = -151/945 + 3/35. Which is smaller: -0.1 or b?
-0.1
Let a be 3/4*-1 + 24/32. Which is smaller: 1 or a?
a
Let j = 13.1 + 