1/10?
True
Suppose 0 = -22*n + 31*n. Let d = -1272382/1643 - 133/53. Let h = d - -777. Which is greater: h or n?
h
Let q(l) = 6*l**2 + 2*l - 1. Let b be q(1). Suppose 0 = 2*d - b*d. Suppose 3*u = -4*p - 6, d*p - p = -3. Which is smaller: -4 or u?
u
Let t = 14 + -14. Suppose 0 = -t*p - 4*p. Suppose -j - 4*j - 30 = p. Is -7 smaller than j?
True
Let z = -359 - -1797/5. Which is smaller: 23 or z?
z
Let s(m) = -25*m + 98. Let h be s(4). Let y = -6 - -21. Suppose -y = 4*o + 1. Which is smaller: o or h?
o
Suppose -5*r - 8*h = -6*h + 188, -5*h - 147 = 4*r. Which is smaller: r or -340/9?
r
Let l(b) be the second derivative of -b**3/2 - 15*b**2/2 - b. Let k be 4/34 - 1131/221. Let y be l(k). Is y smaller than 6/11?
True
Let o be (-35 + 9)*3/6. Which is greater: o or -4?
-4
Let m(v) = v**3 - 4*v**2 + 3*v + 1. Suppose -2*z = 3*k - 7, -3*k + 0*z + 5*z + 14 = 0. Let i be m(k). Let b be (-7 - -1) + (-1343)/(-221). Is i at most b?
False
Suppose -3 = 2*h - 3*y + 1, -y = 4*h - 6. Let w(r) = r**2. Let f(i) = -3*i**2 + 17*i + 28. Let p(v) = -f(v) - 4*w(v). Let q be p(-15). Which is smaller: q or h?
h
Let j = -624 + 559. Which is smaller: -63 or j?
j
Let x(j) = -j**2 + 42*j - 247. Let u be x(35). Which is greater: -142 or u?
u
Suppose p = 5*s - 2*s - 31, -4*s = p - 4. Let w be (3/(-6))/(4/p). Let l = 2 - w. Which is bigger: 3/13 or l?
3/13
Let w(f) = 0 + 37 - 3*f + 7 + 4*f. Let k be w(-23). Which is greater: k or 2?
k
Let k(h) = -12*h - 486. Let q be k(-40). Which is smaller: q or -36/7?
q
Let r = -517 + 496. Which is bigger: r or -1/12?
-1/12
Let l = 1 - 0.1. Let u = l + -1. Let s = -835.5 - -836. Is u < s?
True
Let f(u) = 6*u - 30. Let y be f(5). Which is greater: y or 3/155?
3/155
Let s(k) = -12*k**2 + 2*k - 3. Let y be s(3). Let h be ((-134)/(-3))/(28/66). Let i = h + y. Is 1 <= i?
False
Let u be ((-450)/114 - -4)*(-3 - 3). Which is smaller: -4/7 or u?
-4/7
Let a be 1 + 1 - (-7540)/(-3965). Which is bigger: 1 or a?
1
Let i(y) = y**3 + 8*y**2 - 9*y + 2. Let l be i(-9). Suppose -l*h + 3*v + 0 = 2, -3*h - 2*v - 16 = 0. Let t be (-1)/(1*h/8). Which is bigger: 10/3 or t?
10/3
Let s(k) = k. Let z be s(2). Let h(u) = u**3 + 47*u**2 + 88*u - 88. Let t be h(-45). Is t greater than or equal to z?
True
Suppose -u = -n + 35, -5*u - 2*n - 69 - 113 = 0. Which is bigger: u or -247/7?
-247/7
Let w = 5 + -1. Suppose -z = 0, w*u = 2*u - 2*z. Suppose -s - 27 = -3*g - 3*s, 5*s + 15 = u. Which is smaller: 10 or g?
10
Let j = 16 - 37/2. Suppose -2072*h = -2084*h - 24. Are h and j unequal?
True
Suppose h + 22 = -3*v, 2*v - 3*v = 4*h - 11. Let d be 2 - -2 - 30 - 1. Let k = -36 - d. Is k greater than v?
False
Let z = -227/299 - -44/23. Which is smaller: 0 or z?
0
Let v = -3 - -3.22. Let a = 21.08 + -22. Let f = a + v. Is f > 3?
False
Suppose 27*f - 2*y = 29*f + 4, 3*y + 9 = -4*f. Let w = -0.34 + 0.3. Which is greater: w or f?
w
Suppose 29 = -3*v - 13. Let f = -11 - v. Suppose -10 = -f*x - 13. Which is greater: 2/5 or x?
2/5
Suppose -96*i = -97*i + 327. Is 1 greater than or equal to i?
False
Let z = -215 + 214.13. Let u = z - -0.17. Let m = -231.5 + 231.7. Do u and m have the same value?
False
Let y = 0.252 + -0.262. Are 37 and y equal?
False
Let f = 169 - 85. Let u = f + -79.3. Are u and -1/2 equal?
False
Let u = 0.23 - -1.47. Let i = u - 7.7. Let s = -5 - i. Is 1/11 equal to s?
False
Suppose -3*w = -4*d - 18, 5*w = 3*w - d + 1. Let f(y) = 6*y - 3*y + 0*y + 1. Let n be f(w). Is 7 less than n?
False
Let o = -1252/43407 - 2/689. Let u be (-537)/945 + 1 + 0. Let l = o + u. Is 0.04 at least as big as l?
False
Let x = 7 - 8. Let q be (-2)/(1 + 0 + -2). Is x greater than or equal to q?
False
Let p = -64 + 113. Let m = -4352 - -4351. Which is smaller: p or m?
m
Let i = 97/2 - 52. Which is smaller: i or 3?
i
Let x = -66 + 65. Are x and -0.19 nonequal?
True
Let k = -143 - -146. Let b = -0.131 - -0.031. Which is bigger: k or b?
k
Let m(d) = -3*d**3 - 12*d**2 + 2*d + 6. Let x be m(-6). Let p be 12/18 + (-152)/x. Suppose -6*l + 4*l = 0. Are p and l non-equal?
True
Let q = 1042 + -11448/11. Which is bigger: q or 0?
q
Suppose a + 2*a + 9 = 3*z, -14 = 4*a - 5*z. Suppose -y = -2*y + 1, 26 = 3*f - 4*y. Which is greater: a or f?
f
Let a = -1264 - -1165.1. Let b = -99 - a. Which is greater: -12 or b?
b
Let w = 48.8 - 48.8. Which is smaller: 1/90 or w?
w
Suppose 0 = -4*w - 4, -1 = p - 3*w + 4*w. Suppose p = 5*v - 0*v - v. Which is smaller: v or -3/4?
-3/4
Suppose 2*x - 2*d + 212 = 0, -2*d - 2 + 0 = 0. Let w = x - -107. Is -9/16 bigger than w?
False
Let h = 98 - 98. Is h at most as big as -155?
False
Let v(u) = -u**3 + 13*u**2 + 15*u - 14. Let s be v(14). Which is smaller: s or 5/16?
s
Let j = 1 + -0.93. Let u = j + -2.07. Let c = 10 - 8. Is c greater than u?
True
Suppose -3 - 1 = -2*c. Suppose 6*b + m - 22 = c*b, -5*m = 4*b - 30. Suppose -x = -b*t - 4, -3*t - 2*x = 3*x - 20. Is 0 smaller than t?
False
Suppose 0 = -3*z - 20 - 16. Let d be ((-22)/(-6))/((-4)/z). Is 11 < d?
False
Let x be (2 - 0) + (-814)/(-18). Let l = x + -47. Let d = -1917 + 1916. Is d at least as big as l?
False
Suppose 0 = -5*m + 5, 3*m + 2 = -3*d - m. Let o be ((-12)/63)/(d/(-3)). Let p be (-12)/(-3) + -1 + -3*1. Which is smaller: p or o?
o
Let f = -2183 - -2163. Which is greater: 3/8 or f?
3/8
Let x be -12*(-4*(-2 - 8) - -4). Which is greater: -529 or x?
x
Let y(w) = -w + 2. Let m be y(2). Suppose n = -5*c - m*c + 63, 0 = -5*n - c + 267. Let h = -109/2 + n. Is h not equal to -3?
True
Let i = -425 - -1709/4. Let a = -5/2 + i. Which is bigger: -1 or a?
a
Suppose 0 = -d - 0*d - 2*x - 23, 5*d - 5*x = -55. Let l = d - -14. Does -2/9 = l?
False
Suppose 0 = -7*k + 17*k + 10. Let b = 41 - 40.96. Which is smaller: k or b?
k
Suppose -33*g = 9 - 9. Is -9/20 greater than g?
False
Let o = -54 - -41. Let u = o + 16. Let j be 95/420 - 1/u. Which is bigger: 0 or j?
0
Let n be 5 + 2/8*4. Let b(k) = k**2 - 6*k - 8. Let y be b(n). Let a = y - -6. Is -2 smaller than a?
False
Let c = -166 - -1160/7. Let m = 0.039 + 0.331. Let d = m + 0.03. Which is bigger: c or d?
d
Let m be 2/4*24/(-148). Which is bigger: -1 or m?
m
Let z = 274 + -234. Let y = -0.5 + 0.4. Is z > y?
True
Let h = 4.36 - 204.36. Which is smaller: h or 0?
h
Let p = -140165/117 - -1198. Is 3 < p?
False
Let n be -2 - -14977*(-3)/(-8775). Let s = 3/325 - n. Let k = s - -158/45. Is k <= -11/5?
False
Let u = -3.92 - -4. Let r = u - -0.02. Let l = -1/92 - 177/644. Is l equal to r?
False
Suppose 13*w - 14*w - 1 = 0. Let c be (-2*(-3)/(-258))/(-1). Which is bigger: c or w?
c
Let p(d) = -6*d - 34. Let v be p(-6). Let g be -1*(v/(-6) - 0). Do g and -6 have the same value?
False
Let n = 0 + -6. Let c = -2 - n. Suppose x = -c - 0. Which is greater: x or -3?
-3
Let j be ((-5)/(-15))/(-2 + 23/(-27)). Let g = 311/2849 + j. Do 0 and g have the same value?
False
Let u = -114 - -113. Which is smaller: u or -9?
-9
Suppose 5*u - v - 1 = 4*u, -5*u - 2*v - 9 = 0. Let g(w) = 3*w + 2. Let j be g(u). Is j greater than or equal to -1/8?
False
Let f be 1 + -4 - (1 - 2). Suppose 4*k = 8*k - 1280. Let x = 1273/4 - k. Is f less than x?
True
Let q be 109/60 + (432/(-80))/(-9). Is q at most 3?
True
Let m = 1.6 + 79.4. Let l = 83.3 - m. Is l < 0.1?
False
Let b(y) = y**3 - 2*y**2 + y + 4. Let f be b(3). Let i(h) = h - 7. Let r be i(-5). Let o be 47/3 - 4/r. Is o < f?
False
Let u be -192 + (-4)/(-4) + -10. Are u and -201 unequal?
False
Suppose 47542 = -4*k + 208910. Let p = k - 2622342/65. Let o = p + 12/13. Which is greater: o or -1/6?
-1/6
Let c = -1 + 1.1. Suppose 8*y = 20*y - 108. Which is bigger: y or c?
y
Let t be 10/3*204/10. Which is smaller: t or 70?
t
Suppose -j + 5 = 3*w - 0, -3*w + 4*j = 5. Let i(x) = -x - 10. Let v(f) = -f - 9. Let t(g) = -4*i(g) + 3*v(g). Let z be t(-7). Is z less than w?
False
Let q be (-8)/(1*(-3)/6). Suppose -16*k + 12*k + q = 0. Suppose -2*u + k*d + 22 = 0, 4*d + 3 = -5*u - 12. Which is bigger: -1/8 or u?
u
Let y(t) = 3*t**2 - 8*t - 3. Let c be y(6). Let d be (c/(-11))/(-1) + (-14)/77. Which is smaller: 1 or d?
1
Let c = 42 - 23. Suppose 8*d = 11*d - 132. Let r = d - 24. Which is greater: r or c?
r
Let r be 1/(4/(-1096))*6/(-48). Which is greater: 34 or r?
r
Let a(k) = 7*k - 9. Let i be a(2). Suppose -i*w = -0*w - w. Is 5/14 equal to w?
False
Let n = -0.46 + 56.46. Is 0.3 > n?
False
Le