. Let r be h(y). Do r and 4 have the same value?
True
Suppose 4*m = 4 + 20. Let t(o) = -o + 8. Let l be t(m). Let a = l - 4. Is a greater than or equal to -0.1?
False
Let k = -2/3 - -1/3. Let w be (14/(-9))/(-2) - 1. Is k != w?
True
Let j(i) = -3*i + 1. Let p be j(1). Let q be 2*(-2)/(p + -2). Which is smaller: q or -2/7?
-2/7
Let u be (2/(-20))/((-60)/(-175)). Are u and 0 non-equal?
True
Let k = -1.54 + 0.04. Let m = 0.03 - 0.53. Let h = m - k. Is 1/4 at most h?
True
Let c(p) = -3*p. Let f be c(2). Let a be 3/5*(-4)/f. Which is bigger: -1 or a?
a
Let w = 16 + -14. Suppose 3*j - 4 = w. Is j at most 0.5?
False
Let w = 0.019 + 7.781. Let s = 8 - w. Which is bigger: 4 or s?
4
Let v be 3*(-8)/12 - -2. Are v and -2/25 nonequal?
True
Let s = -56 + 55. Do s and 19/5 have different values?
True
Let v = 26 - 33. Are -7 and v nonequal?
False
Suppose -1 = r - 8. Let y(c) be the first derivative of c**3/3 - 4*c**2 + 8*c - 1. Let h be y(r). Which is greater: -2/7 or h?
h
Let r be 4 - (2 + -1 + 0). Suppose r - 11 = 2*a + 5*d, -3*a + d - 12 = 0. Is -3 at most a?
False
Let s = 16.65 - 17. Let u = 0.25 - 0.2. Let i = s - u. Do i and -1 have the same value?
False
Let x = -129327/7 - -18511. Let v = 11264/315 - x. Is 0 less than or equal to v?
True
Suppose -3*x = 5*r + 5, -6*r + 2*r - 4*x = 12. Suppose r*s - 4 = s. Which is smaller: s or 6?
s
Let t be 6/9*9/(-6). Which is smaller: -2/17 or t?
t
Let z = -116 + 352/3. Is z at least 0?
True
Let v(s) = s**3 - 9*s**2 - 10*s - 1. Let i be v(10). Is i < -3/20?
True
Suppose 4*k - 5 = -1. Suppose -3*o + k = 7. Let n be (o/(-1))/(2/(-1)). Which is greater: -2/3 or n?
-2/3
Let f = -0.95 - -0.36. Let z = -0.02 + 0.11. Let s = z + f. Are s and 1 non-equal?
True
Let s(x) be the second derivative of x**3/6 + x**2/2 + 2*x. Let v be s(1). Is 0 >= v?
False
Suppose -65 = -12*p - 485. Is p greater than -104/3?
False
Let v(i) = i**2 + 10*i + 6. Let p be v(-8). Let c = p - -4. Which is smaller: -2 or c?
c
Let k(l) = -l**2 + l. Let r be k(0). Let g be (6/3)/(r - -2). Is g greater than or equal to 2/5?
True
Let b(g) = 3*g + 12. Let m be b(-4). Suppose 2*n + 9 = 2*p - 3*n, 2*n = 3*p - 8. Which is smaller: p or m?
m
Let h(q) = 3*q - 3. Let n be h(2). Suppose 4*i - 5*r + 13 = -2, 3*i = r - n. Do -0.1 and i have different values?
True
Let h = -3.89 - 0.11. Let i = -2 + h. Let k = 6.1 + i. Is -1 greater than or equal to k?
False
Let z(u) = -4*u + 43. Let x be z(17). Is -27 smaller than x?
True
Let f = 0 - 0. Let o be (-62)/(-12) - (-5)/(-30). Suppose -4*i + 0*h - 5*h = -1, o*i - 2*h = -7. Which is bigger: i or f?
f
Let z = -213 - -99. Let m(a) = -a**2 + a - 18. Let i be m(0). Let t be z/(-27) - (-4)/i. Is t smaller than 3?
False
Let q(k) = k**3 - 1. Let i be q(1). Suppose 5*j - 3*a - 12 = 0, -4*j + 3*a = -i*j - 12. Let w be 8*(-2)/(-6) - 2. Which is bigger: w or j?
w
Let v = -1.28 + 1.1. Let h = v - -0.15. Is -1 bigger than h?
False
Suppose 0 = -2*w - 0 - 8, l - 2*w = 8. Which is bigger: l or -6/5?
l
Suppose b = -a - 3*a - 4, 1 = 2*b - a. Which is bigger: b or -2?
b
Let x(u) be the third derivative of -u**4/24 - 3*u**3/2 - 2*u**2. Let m(l) = l**2 + 8*l + 4. Let k be m(-6). Let z be x(k). Which is smaller: z or -2?
-2
Let l(h) = -6*h**2 + 9*h + 19. Let s(p) = -p**2 + 1. Let n(j) = l(j) - 5*s(j). Let x be n(10). Suppose -3*c - x = 2. Which is smaller: -1 or c?
c
Let b = -73/4 - -18. Is -1 equal to b?
False
Let c = 8 - 3. Suppose -2*w + 5 = c*o, w + 2*o - 4 = -2. Is 0 equal to w?
True
Let f = -58 + 58. Let o = -2/213 + -416/1065. Are o and f non-equal?
True
Let d be (4/(-6))/((-1)/3). Which is bigger: 3 or d?
3
Let d(n) = -3*n + 2. Let r be d(2). Let w(j) = 16*j + 76. Let i be w(-5). Is r < i?
False
Suppose f - 10 = 20. Let x be 110/21 + f/70. Is x greater than 6?
False
Let u = 66 - 67.12. Let q = u - 0.08. Let b = q - -1. Is b smaller than 0?
True
Let g(x) be the first derivative of x**4/4 + x**3 - 1. Let d be g(-3). Are d and -2/3 non-equal?
True
Suppose -5*v = 4*c - 16, -4*c + v + 10 = -6. Suppose -c*k + k = 0. Are k and 1/5 unequal?
True
Let i = -3 + 2. Is i less than -0.01?
True
Let h(p) = p**2 - 8*p + 2. Let x be h(8). Suppose 4*f - j + 1 + 4 = 0, -4*j + 6 = -x*f. Is 1/23 < f?
False
Let m = 2 - 2. Let v = 1 - 2. Which is bigger: v or m?
m
Let d = -3 - 0. Let t be (-7 + d)*(-2)/4. Is t smaller than 5?
False
Let l be (52/39)/((-52)/30). Which is greater: l or -2?
l
Let z = 0.15 - -0.85. Let r(m) = m**3 - 5*m**2 - 3. Let u be r(5). Is u at most as big as z?
True
Suppose -12*j = 13 - 97. Is 9 greater than or equal to j?
True
Suppose 4 = -x + 3*x. Let t be 2/(-468) - 2/(-9). Let r = t - 5/13. Is r not equal to x?
True
Suppose -5*n = -15, 5*d - 6*d + n - 4 = 0. Which is bigger: d or -2/139?
-2/139
Let p = 634/5 - 127. Is 0 bigger than p?
True
Suppose -4*n + 2*t - 5*t + 42 = 0, -4*t = 3*n - 28. Let p be (n/18)/(2/(-3)). Which is smaller: 0 or p?
p
Let c = 3.66 - -1.34. Which is smaller: 0 or c?
0
Let p(f) = -2*f + 3. Let d be p(2). Let b = 6 - 4. Let k be b/9 + 32/(-63). Is d smaller than k?
True
Let q be 10*(32/90)/8. Is q != 1?
True
Let p = 19 + -19.3. Is p less than -0.3?
False
Let j be 6/40*(2 - 3). Let t = 33/20 + j. Which is greater: 1 or t?
t
Let k = 8.91 - -2.09. Which is bigger: 2/25 or k?
k
Let f = -3 + 2. Suppose 6*j - 10*j - 16 = 0. Let t be 1/j + 3/6. Which is smaller: t or f?
f
Let n be 4/(-2)*(6 + (-246)/39). Is n bigger than -1?
True
Let s be ((-425)/(-141) + -3)*(1 - 2). Is 0 at least s?
True
Let m(s) = 0*s**3 + 4*s**3 - 3*s**3 + 4*s**2 + 2. Let u be m(-4). Suppose -2*v + 4*v - u = 0. Which is smaller: v or 3?
v
Let p be (12/30)/(3/(-5)). Let l = 0.3 + 0.3. Let w = -2.6 + l. Which is bigger: w or p?
p
Suppose 4*v = -3*t + 220, 2*v - 2*t - 200 = -2*v. Are v and 52 non-equal?
False
Let k = 58.8 - 58. Is 3/5 < k?
True
Suppose 2*w - 8 = -5*s + 12, -w = 5*s - 15. Let o(t) = -t**2 + 4*t + 6. Let m be o(w). Suppose 1 = 4*v + x - 2*x, -10 = -v - 3*x. Is v greater than m?
False
Let b = 4 + -5. Let l = 0.1 + -0.5. Let f = l - -0.3. Which is greater: f or b?
f
Let d = 30 - 66. Is -37 smaller than d?
True
Let w = 23 + -13. Let h be w/(-45) + 5/9. Let r = 8 + -4. Which is smaller: r or h?
h
Let x = -83.5 + 84. Is x greater than 9?
False
Let q be 5/(-20) - 7374/(-56). Let d = 132 - q. Which is smaller: d or 2?
d
Let x = -0.1 + -0.1. Let k = 0.3 + x. Let a = 251 - 2759/11. Are a and k non-equal?
True
Let c = -1056 + 47518/45. Which is bigger: -1 or c?
c
Suppose 15 = 3*d - 5*i - 1, -5*d + 2 = 4*i. Is d bigger than 4?
False
Let c(o) = -o**3 + 5*o**2 + o - 3. Let q be c(5). Suppose y - 2*u + 7*u = -20, -q*u = 5*y - 15. Which is smaller: 3 or y?
3
Let l = -2 - -6. Let f = l - 4.1. Are 0.5 and f nonequal?
True
Let q be 61811722/354 + 2/(-4). Let b = 174609 - q. Let g = 3/59 + b. Which is greater: 0 or g?
g
Let q = -7 + 10. Let g = -5 + q. Which is smaller: 1/3 or g?
g
Let n = 23 - 20.2. Let g = -0.2 - n. Let x = 3 + g. Is 3 >= x?
True
Let i be 0/2 + (-4)/(-14). Let m = -0.2 + 0.7. Let f = 0.4 - m. Do i and f have the same value?
False
Suppose -5*d - 15 = r - d, -r = 5*d + 20. Which is smaller: -0.01 or r?
-0.01
Let p = -0.1 + -0.9. Let z = p - -3. Let t = -2 + z. Is -1/4 smaller than t?
True
Suppose -2*p = -6*p + 8. Suppose -p*b = r - 15, -4*b = r - 13 - 18. Which is smaller: -1/2 or b?
-1/2
Let v(a) = 7*a - 2. Let s be v(1). Let j = -5 + s. Are j and 2/5 equal?
False
Let d = -17 + 16. Which is greater: 1/7 or d?
1/7
Let q(j) = -j + 6. Let w be q(7). Are -2/53 and w unequal?
True
Suppose 0*k + 4*k - 5*m = 24, -5*m = 20. Suppose 4*s = k - 5. Which is smaller: s or -1/3?
s
Suppose -u - 12 = -16. Which is smaller: 5/2 or u?
5/2
Suppose 0 = -8*u + 11*u. Is u less than or equal to 7/6?
True
Let y be 5/((-30)/24) + 3. Which is greater: y or -2?
y
Let y = -6 + 3. Let n be -1 + (0 - 10/(-14)). Is n bigger than y?
True
Let n = -9.9 + 10. Which is smaller: 1/4 or n?
n
Let n = 223 - 222.96. Is -3/4 < n?
True
Let d(w) = -w**3 - 3*w**2 + 4. Let l be d(-2). Which is smaller: 1/9 or l?
l
Let l = 14 + -14. Is -1/6 less than or equal to l?
True
Let s(p) = -p + 1. Let c be s(17). Which is greater: c or -15?
-15
Suppose 0 = 3*n + 4*a + 4, 3*n = -0*a + 2*a - 34. Let s be n/(-10)*10/4. Let o be -1*(s - (3 + -1)). Which is bigger: -5/4 or o?
o
Suppose -o + 5*k + 1