/(-2) - (-46 - -14). Suppose -4*m - 5 = -5*k - 1, -5*m - k = r. Let q = m + 13/2. Which is smaller: q or -10?
-10
Let y(v) = 59*v - 357. Let j be y(6). Which is smaller: -52/19 or j?
j
Let z = 21710/9 - 2415. Let p = z - -784/279. Do p and 0 have the same value?
False
Let c = -0.22 + 0.12. Let a = -0.9 - c. Let s = a + 1.1. Are 0 and s nonequal?
True
Let l = 19 + -8. Let p = -2.5 - -1.9. Let w = p + 2.6. Is l less than or equal to w?
False
Suppose -x = 3*t - 18, 5*t + 0*t - x = 22. Suppose 3 = -3*u + t*d - 2, 0 = -d + 4. Is u < 7?
True
Let z = 18/1073 + 38441/75110. Let q = -1/35 + z. Which is smaller: q or -0.07?
-0.07
Let o = 213.956 + -214. Is 2/9 greater than or equal to o?
True
Suppose 11*l - 14*l + 87 = 0. Let y = 117/4 - l. Which is smaller: y or 10/3?
y
Let y be -1 + -1 + 3 + 8/(-2). Let r be ((-4 - y) + 0)*1. Is r greater than 3/10?
False
Let o = -2 + 7. Suppose 0 = o*w - 30 + 5. Let i be (-6)/(-2) - (w + -2). Is i not equal to -1/15?
True
Suppose -3*k + 12 = k - 4*l, 0 = -3*k - 2*l + 4. Suppose 4*o = -2*m + 54, -3*o + m + 53 = -0*m. Let g = o + -14. Is k smaller than g?
False
Let l = -1 - -6. Let d be (0 - 1)*l*4. Do -18 and d have the same value?
False
Let z = -10.2 + 10.1. Let s = 2.2 + -2. Let o = z + s. Are o and 2/7 unequal?
True
Let d = 549 - 546.4. Which is bigger: 0.4 or d?
d
Let m = -2341/12 + 199. Let u = m + -2819/732. Is 1 bigger than u?
True
Let j = 406 - 385.7. Let p = 12.3 - j. Which is greater: 2/13 or p?
2/13
Suppose 0 = -3*r + 2*c + 15, 0 = -2*r + 4*r + c - 10. Suppose 0 = -2*h + 4, r = 4*d + 4*h - 19. Is 4/13 < d?
True
Suppose 7*w - 80 = 3*w. Which is bigger: 182/9 or w?
182/9
Let b = -53.23 - -53. Let q = 0.34 + b. Let y = q + -0.01. Which is bigger: y or -2?
y
Suppose 4*u + u - 10 = 2*v, -v - 3*u + 6 = 0. Which is greater: v or -1/243?
v
Let v = 36 - -6. Let y = 52 - v. Which is bigger: y or -3?
y
Let t be -3*4/(-6)*2. Let n(l) = 3*l**2 - 50*l - 16. Let d be n(16). Let o be (-3 + -1)/(32/d). Is o < t?
False
Let n be (5/(25/(-2330)))/2. Let k = 2568/11 + n. Is k greater than or equal to 1?
False
Suppose 7 = 3*a + 22. Let l(o) be the second derivative of o**3/2 + o**2/2 + 9*o. Let r be l(a). Is r at least -14?
True
Let j = -619/876 + 9/73. Which is bigger: j or -1?
j
Let n(i) = -6*i**2 - i + 2. Let y be n(-2). Let t be y/15 - (-3)/2. Which is smaller: t or 1?
t
Let f = -67550 - -6687364/99. Let h = -14/33 - f. Is -2 less than h?
True
Let v(i) = -i - 7. Let b be ((-5)/15)/(2/(-18)). Suppose 0 = -b*m - 3*m - 48. Let d be v(m). Which is bigger: -2/33 or d?
d
Suppose 0*b - b + 1 = 3*n, -3*n = 5*b - 5. Let y be ((-4)/10)/((-9)/(-20)). Let w = y + 67/45. Is w < n?
False
Let v = 311 - 311. Which is smaller: v or -0.0492?
-0.0492
Let i(m) = -3*m + 5. Let c be i(3). Suppose -3 + 18 = -5*h. Which is smaller: h or c?
c
Suppose 5*f + 2*s - 11 = 0, -6 = -f + 3*s - 14. Let t be (-13)/(-91) - f/7. Suppose -6 - 3 = -3*l. Is l smaller than t?
False
Suppose -3*y = 3*j - 84, -j - 4*j + 53 = 2*y. Suppose -4*s + u - y = 0, 2*s + u + 6 = s. Let r(p) = p + 3. Let h be r(s). Is h at least -6?
True
Let q(z) = 67*z**3 + 9*z**2 + 3*z - 6. Let k be q(-2). Which is smaller: k or -513?
-513
Let c(l) = 3*l**2 - 106*l + 4. Let t be c(36). Is 70 < t?
True
Let o = 234 + -231.9. Which is smaller: -2/11 or o?
-2/11
Let w be 20/90*(-18)/4. Let j = -1305167988779/8715 + 149761100. Let k = 3/581 - j. Which is smaller: w or k?
w
Let k = -0.1 - -0.11. Let t = -666 - -666. Which is greater: k or t?
k
Let r = -0.0474 - 519.9526. Which is smaller: r or -0.1?
r
Let o = -0.131 - -11.131. Let p = -0.15 + 10.15. Let d = p - o. Which is bigger: d or 0.06?
0.06
Suppose o = 5*v - 16, 4*o + 2 + 5 = v. Let m = o - -9. Suppose 4*p = 2*p - m. Which is greater: p or -5?
p
Suppose 20*z = -8*z + 672. Let h = -1 - -1. Is z bigger than h?
True
Let l(k) = k**2 + 7*k + 8. Let j be l(-6). Suppose 4*r - 6*r = -j*g + 10, -4*r + 3*g = 18. Let y = -2121 + 2116. Which is smaller: r or y?
y
Let a(r) = r**3 - 4*r**2 + r. Let q = 22 - 18. Let b be a(q). Suppose -c = b*g - 23, g - 7 = -3*c + 7. Is g greater than or equal to 6?
False
Let r(h) be the second derivative of 4*h**3/3 - 28*h**2 + 38*h. Let s be r(7). Which is bigger: -5/29 or s?
s
Let r(x) = x**2 - x + 1. Let j be r(1). Let o = 0.1 + 2.8. Let c = 1.9 - o. Is c less than or equal to j?
True
Let c = -315 + 316. Which is smaller: 9/4 or c?
c
Suppose g = 2*g + 3*m - 11, -5*m + 7 = -4*g. Let y be (4 - 8/g)/(2/(-2)). Is 1/167 >= y?
True
Let v be (-2)/4*(-4)/20. Suppose -2*k = -3*f + 58, -5*f + 3*k = -48 - 49. Let l = -19 + f. Is l smaller than v?
False
Let r(f) = -4*f + 48. Let w be r(11). Let k be ((-1)/w)/((-85)/(-20)). Which is smaller: 1 or k?
k
Let d be 5/(2 - 1) + 2. Let c = 7 - d. Suppose c = -y - 1 - 0. Which is smaller: y or -8?
-8
Let b be 1 + -1 + -1 + 1. Suppose b = 2*f - 19 + 1. Let k be ((-4)/(-8))/(3/f). Which is greater: 1 or k?
k
Let n = -23 + 23.27. Let i = n + -0.37. Which is smaller: i or 0.25?
i
Let l(g) = 3*g**2 + g - 2. Let r be l(3). Suppose -4*x - 83 - 25 = -4*p, -4*p + 19*x + 108 = 0. Is r at most p?
False
Let n be (24/(-20))/((-63)/(-40845)). Which is greater: n or -777?
-777
Let o = -1609/12474 + -1/1134. Which is smaller: -1 or o?
-1
Let u = 20/59 - -2003/531. Let t = 731/180 - u. Which is smaller: -1 or t?
-1
Let r be 26*78/(-48)*-4. Is -3 at least r?
False
Let n = -31.11 + 0.11. Let q = -30.9 - n. Let t = -1015/9 - -113. Which is greater: t or q?
t
Let a = -9 - -15. Let i be a/4*-2 + 1. Let l be 1*i - (0 + -1). Which is smaller: -2 or l?
-2
Let p be -701*25/(-2505) + -7. Is p > 1?
False
Let r = 124.6 + -125. Which is smaller: r or 0.6?
r
Suppose 4*h + 5*y = 92, 2*h - 3*y - y - 46 = 0. Let l be 81*5/(-5) - -2. Let j = 103 + l. Is j <= h?
False
Let y be (-5 - -5)/(-2 - 3/3). Is 7/16 less than or equal to y?
False
Let p = -6635 + 6631. Let q = 1.12 - 0.22. Let d = 0.1 + q. Which is bigger: d or p?
d
Suppose 0*f + 4 = 4*f. Let p(i) = 3*i - 2. Let j be p(0). Is j less than or equal to f?
True
Suppose 3*p + 54 = 9. Let q = 27 + p. Suppose 2*k + q = 6. Is -3 less than k?
False
Let q = 85 - 679/8. Suppose 7*h = 36 + 20. Suppose h*j = 1 - 9. Which is greater: q or j?
q
Let g = 0.8 - -0.6. Let l = 0.5 + g. Is 1 less than l?
True
Let w(u) = 3*u. Suppose -5*b = 5*k + 15, 4*b - 5*k = -2 - 10. Let d(q) = 3*q. Let t(i) = b*d(i) + 2*w(i). Let a be t(2). Which is smaller: a or -14/3?
a
Let b = -25 + 28. Suppose 0 = 3*f - w + 5*w - 19, 0 = 3*f + b*w - 15. Is -2 smaller than f?
True
Let f = -63 + 45. Let t = f - -11. Let x = 955 - 954. Is x at least as big as t?
True
Let j = -0.888 + -27.112. Suppose -6*f = -4*f. Which is bigger: j or f?
f
Let q = 150 + -158. Suppose 2*u + 10 = u. Which is bigger: u or q?
q
Suppose 3*q - 3*j - 9 = 0, 4*j = q - 5 - 7. Which is smaller: 2/159 or q?
q
Suppose -185 + 1595 = 5*m. Which is smaller: 284 or m?
m
Let w = 248 + -249.13. Let r = 0.17 - w. Let m = 1.5 - r. Which is greater: -2 or m?
m
Let s(d) = -32*d**2 - 2*d + 1. Let h be 7/8 + (-3)/(-24). Let b be s(h). Let q be b/27 - (-2)/9. Which is greater: q or 1/12?
1/12
Suppose -22 = -12*y + y. Suppose -7*q + y = 23. Is -7 greater than or equal to q?
False
Suppose 12*b - 30 = 7*b. Suppose -b = d - 0*d + 5*m, d + 6 = -m. Let x be 3/(d/4 + 0). Which is smaller: -1 or x?
x
Suppose 5*v = -2*l - 2, -v + 5*v + 4*l = 8. Which is bigger: v or 44?
44
Let b = 239 + -230. Which is bigger: 120/13 or b?
120/13
Let x(b) = b**3 - 9*b**2 - 9*b + 36. Let f be x(8). Does f = -100?
True
Let t(j) = j**2 + 19*j - 66. Let w be t(3). Which is smaller: w or 25/22?
w
Suppose -4*y + 5*y = -0*y. Let t be 91/28 + (-1)/4. Which is smaller: y or t?
y
Suppose k - 40 = -3*k + 2*w, -2*w + 41 = 5*k. Suppose 0 = -2*r + 2*j + 16, 0 = -r + 7*j - 2*j. Is k > r?
False
Let p(q) = q**3 - 8*q**2 + 15*q - 5. Let a be p(6). Is a not equal to 0.4?
True
Let q = -109 - -110. Let o be (0 - 0)/(-2) + -30. Let g be (-4)/((-64)/o) + q. Are g and -2 equal?
False
Let i = 4 - 1. Let x be (-2)/i + 510/(-18). Is x bigger than -30?
True
Suppose b - 5*i - 20 = 0, 2*b + 0*i = 4*i + 70. Let d be ((-2)/15)/(5/b). Is d >= 0?
False
Let a = -311 + 7779/25. Is 5 > a?
True
Let h(w) = 7*w**3 - 12*w**2 - 4*w - 3. Let x(j) = -15*j**3 + 25*j**2 + 9*j + 6. Let r(q) = 13*h(q) + 6*x(q). Let a be r(6). Let