s -13 bigger than p?
False
Let s be 4/(-2) + -2 + 2. Is -1 at most s?
False
Let z = -39 + 43. Is 2 smaller than z?
True
Let c(a) be the second derivative of a**4/12 + 3*a**3/2 + 4*a**2 - 2*a. Let h be c(-8). Let i = 3 - 2. Which is greater: i or h?
i
Suppose 3*z + 4*k - 191 = 0, -6*z - 4*k = -z - 329. Are 2/3 and z equal?
False
Let z be (2/8)/(6/8). Let w = 0.6 + -2.6. Which is smaller: z or w?
w
Let i = 0 - -5. Suppose -4*q = -k - i, k = 2*q + 3 - 6. Which is greater: q or 0?
q
Suppose 19 = -i - 4*q, -3*i + q + 0*q = -8. Let o be (i/2*0)/1. Are 0 and o nonequal?
False
Suppose 0 = 2*o - 6 + 2, 4*z - 978 = -5*o. Let q = 961/4 - z. Is q at most -3?
False
Let b = 3422/9 + -249812/657. Which is bigger: 0 or b?
0
Let f(u) = -u**2 - 4*u + 6. Let z be f(-5). Let m = z + -3. Which is bigger: 3/2 or m?
3/2
Suppose z - 2*z = 2*s + 2, -4*z = -5*s - 5. Which is bigger: -3/61 or z?
z
Let m = 162 + -151. Which is smaller: 13 or m?
m
Let f = -6 + 10. Let c = f - 4. Is c at most -1?
False
Let z(c) = 7*c**3 + 2*c**2 + 2*c + 1. Let d be z(-1). Let o(b) = b**2 + 3*b - 6. Let v be o(d). Is v bigger than 13?
False
Suppose 4 = -i - 3*z, -i - i - 5 = 3*z. Which is smaller: i or -2/11?
i
Let h be (2/(-114))/((-4)/12). Which is greater: h or 1?
1
Let n be 2 + 4 + -1*2. Let s be (1 + -2)/((-2)/n). Let l = 0.1 + -0.2. Is s <= l?
False
Let a(b) = -5*b**3 - 9*b**2 + b + 5. Let y(o) = -4*o**3 - 8*o**2 + 4. Let j(f) = 5*a(f) - 6*y(f). Let i be j(4). Is i equal to 5?
True
Let o = -17 - -22. Is o < 0?
False
Let j(a) = -1. Let l(n) = -n + 2. Let i(y) = 2*j(y) + l(y). Let w be i(-2). Suppose 0 = 4*x - 2*x. Which is greater: w or x?
w
Let a be 5/4 - 4/16. Is a greater than or equal to 15/8?
False
Suppose 0 = -4*i + 2*i. Suppose -q - 5*p - 14 = 0, 2*p = -6 - i. Is -1 <= q?
True
Let w = 9 + -1. Let t be (w/54)/((-4)/6). Is t greater than or equal to 0?
False
Suppose 5*k = -4*x + 83, -2*x + 2*k + 43 = -3. Is x greater than 22?
False
Suppose -10*x + 7*x = 0. Which is bigger: -1/21 or x?
x
Let u = 33/20 + -5/4. Which is bigger: -3.1 or u?
u
Let y be -3*15/(-9) - -1. Suppose 0 = y*r - r + 5. Is r greater than or equal to -2?
True
Suppose 2*d + d + 36 = -3*p, -5*d = 0. Is p less than or equal to -11?
True
Let u be (-4 - -7) + 1*3. Let l = u + -5. Let p be ((-1*2)/2)/11. Which is greater: p or l?
l
Let n = -4 - -4. Let k = -1 - n. Let f = 0 + -1. Is k at least as big as f?
True
Let f = 25/22 - -15/11. Let b = -3.1 - -3.3. Do b and f have the same value?
False
Let a = -25817/6 - -4290. Let i = a - -27/2. Which is smaller: 0 or i?
0
Let o be (-48 - -42)*(-1 + (-2)/(-4)). Let l be 6/(-8)*-2*-2. Are o and l non-equal?
True
Let m = -1 - -0.5. Let w = m + 0.5. Does w = -7?
False
Let p(r) = r**3 - 11*r**2 + 12*r - 2. Let h be p(10). Let w = h - 13. Let k(q) = q**2 - 3. Let l be k(-3). Are w and l unequal?
True
Let n be 6/2*3*1/9. Let v = -3.02 + 0.02. Are v and n nonequal?
True
Let f = 16.1 + -6. Let k = 10.57 - f. Let g = k - 0.5. Is -1/3 smaller than g?
True
Let f = -63 - -62.5. Let m = 0.05 - 1.55. Let y = m + f. Is y >= -1?
False
Let j = 17.02 + -17. Is j less than 0.2?
True
Let a be (0 - (-32)/(-15)) + 2. Let g(b) = b - 3. Let y be g(4). Is a <= y?
True
Suppose 2*r = 3*r + 8. Let f = -73 - -71. Let b be f - 5/(25/r). Is b > -1/10?
False
Let a be 164/(-6) + 1/3. Let r be (-44)/126 + 6/a. Which is greater: r or 0.1?
0.1
Let s = 25 - 23.85. Let j = -1.2 + s. Which is smaller: j or 1/4?
j
Let m = 81 + -61. Which is bigger: 18 or m?
m
Suppose 2497 - 495 = 13*m. Is m less than or equal to 154?
True
Let y = -0.2 + 0.2. Let h = 0.07 + -0.11. Let i = h + -0.06. Are y and i unequal?
True
Let p = 1.1 - 0.1. Let o = 5 - 0. Is o > p?
True
Let d be -1 - (-1 + 3 + -2). Let z = d - -1. Let a(b) = -b**2 - 12*b - 11. Let f be a(-11). Is z less than f?
False
Let f(w) = w**3 + 12*w**2 - 14*w - 18. Let z be f(-13). Suppose -u - a - 25 = 4*u, 21 = u - 5*a. Does u = z?
False
Let q(a) = -a**3 - 11*a**2 + 12*a - 4. Let y be q(-12). Which is smaller: -3 or y?
y
Let p = -1/5 - -14/95. Do 0 and p have the same value?
False
Suppose -2*g + g + 18 = 4*s, 0 = 3*g - 3*s + 6. Suppose 0 = 5*j - 29 + 79. Let w be j/(-12) + (-4)/(-6). Are w and g nonequal?
True
Let f(r) = r - 6. Let u be f(5). Let c = -1 - u. Which is smaller: c or 2?
c
Suppose -4*p - v + 11 = 0, -3*p - v + 1 + 7 = 0. Suppose 0 - 3 = -p*d. Is d greater than 1?
False
Suppose 4*b + 4*k - 16 = 0, 5*b - 5 = -2*k + 6. Which is smaller: -2 or b?
-2
Let y be 0 + (0 - -2 - 4). Suppose 3*f - 15 = 0, m + 3 = -2*f + 14. Let x = m + -3. Is x > y?
False
Suppose -3*h - 14 = -2. Let o = h + 3. Suppose -3*p + 6 = -3*v, -5*p - 5 = v + 9. Which is smaller: o or p?
p
Let c(r) = 8*r + 6. Let d be c(2). Suppose 4*x + 70 = d. Is x greater than -11?
False
Let i = 26 - 27. Which is smaller: 1/6 or i?
i
Let m(d) = -d**2 - 7*d - 3. Let u be m(-7). Let c(z) = -11*z - 1. Let v be c(-1). Let g(x) = x - 13. Let o be g(v). Is o >= u?
True
Let t(m) = -m**3 - 3*m**2 + 3*m - 2. Let v = 3 - 7. Let k be t(v). Let p(b) = -b - 4. Let j be p(-5). Is k less than j?
False
Let u(p) = -6*p + 12. Let x be u(6). Which is greater: x or -23?
-23
Let o(r) = -4*r**2 + r + 2. Let h be o(2). Let l(t) = -t**3 - 15*t**2 + 2*t + 19. Let j be l(-15). Which is bigger: h or j?
j
Let x(s) = -s**3 - 24*s**2 + 24*s - 28. Let t be x(-25). Let p be 2/2*(-3 - 0). Let d = -7 - p. Which is smaller: d or t?
d
Let s(d) be the third derivative of d**5/60 + d**4/4 + 5*d**3/6 - d**2. Let p be s(-5). Let o be -1 - (-1 - p/(-3)). Which is smaller: o or -1/6?
-1/6
Let p = 74 + -54. Which is greater: p or 18?
p
Let l = 16 + -114/7. Which is smaller: l or -1?
-1
Suppose -3*l = 1 - 7. Suppose -n = l*n. Which is greater: 1 or n?
1
Let q be 4 - 2*3/6. Suppose -4 = 3*g + 2*v - 0, 3*g = q*v + 21. Suppose a + a - 2 = 0. Which is smaller: g or a?
a
Let a = 13 - 10. Let j = -1 + a. Which is smaller: 1 or j?
1
Let p(q) = q**3 + 4*q**2 - 2*q + 1. Let o be p(-4). Suppose -2*c - o = f - 5*c, 0 = -3*f - c + 3. Let m be 12/16 + 0 + -1. Which is smaller: f or m?
m
Let j = -1/25 - 22/75. Which is greater: -8 or j?
j
Let t = -0.4 - -0.3. Let d be (-1571)/((-2)/1 - 9). Let k = d + -143. Which is bigger: k or t?
t
Let g = -0.12 - 0.58. Let d = 0.3 - g. Which is greater: -0.1 or d?
d
Let t = 852394 + -1497656746/1757. Let s = t - 2/251. Is s equal to 0?
False
Let b = 774 - 3129/4. Let y = 8 + b. Which is smaller: 2/3 or y?
y
Let t be (0/(-2 - 0))/(-1). Let n be ((-50)/20)/(15/(-12)). Are n and t equal?
False
Let w = -55/42 + -4/21. Let p(f) = -f - 6. Let t be p(-5). Which is bigger: t or w?
t
Let n(x) = -x**2 + 5*x + 6. Let o be n(6). Suppose -3*u = -o*u + 6. Is 0 at least u?
True
Let z = -6/19 - 20/57. Are -0.1 and z unequal?
True
Let c be 3*(2/(-3) - -2). Let r = -4 + 5. Let n be (r - -5)*(-7)/(-14). Is n != c?
True
Let x be (-15)/(-6)*(-44)/3685. Is 1 equal to x?
False
Let r be (-6)/(-21) + (-208)/(-7). Suppose -4*i - 5*n = -24, -r = -4*i - i - 2*n. Are i and 6 non-equal?
False
Let v = -5 - -5. Suppose v = s - 2*s - 1. Which is smaller: s or -2/7?
s
Let n = -40711/3489 + 2/1163. Does -11 = n?
False
Let l = 76/55 + -24/11. Let p(s) = s**2 + 6*s + 5. Let i be p(-5). Which is greater: i or l?
i
Let d = 114 + -94. Which is bigger: d or 41/2?
41/2
Suppose 2*t + 7 = -n - 14, 2*t + 15 = n. Is 0.1 <= t?
False
Let m = 136 + -136. Which is smaller: 2/3 or m?
m
Let n be 0*1/(-3) - 2. Let s be 5/((-100)/(-69)) - 3. Let g = -1/5 + s. Are n and g non-equal?
True
Let q = -1 + 5. Suppose 12 = 2*r + 2*r. Which is bigger: r or q?
q
Let t be (-48)/(-36) - (-1)/6. Are t and -2/9 nonequal?
True
Let z = 1.5 + -1.59. Let l = z - -1.09. Which is greater: l or 2?
2
Let w = -3 + 7. Let s = -5 + w. Is s <= 1/3?
True
Suppose 0*y + 5*y - 3*i = -14, 5*i = -2*y + 13. Let m(d) = d**3 - 10*d**2 + 10*d - 12. Let q be m(9). Which is smaller: q or y?
q
Let f = 72 - 72. Do -1/47 and f have the same value?
False
Let z = -3 - -2. Does z = -16?
False
Let l = 54 + -32. Let a = l - 16. Let m = 5.9 - a. Are m and -1 unequal?
True
Suppose -2*v - y = -v - 2, -4*v + 3*y + 43 = 0. Let n be (1*23)/(v/51). Let i = -167 + n. Which is greater: i or 1?
1
Let x be 3*6/9 - 3. Does 2 = x?
False
Let k(l) be the first derivative of -l**4/4 + 4*l**3/3 + 2*l**2 - 10*l - 3. Let r be k(5). Is -14 bigger