= -7. Is t >= r?
True
Let h(b) = -b**3 + 10*b**2 + b - 12. Let r be h(10). Let m = r + 8. Is m bigger than 5?
True
Suppose 0 = j + p, j - 35 = 3*j - 5*p. Is -6 < j?
True
Suppose -2*x + 7*x + 1250 = 0. Let s be 1/(-4) - x/808. Let z = 191/1515 - s. Is z at least as big as -1?
True
Let l = 1 - 6. Let i be 12/1*l/(-4). Suppose 4*o + i = j, -23 = -2*j + 5*j + 5*o. Which is smaller: j or -1/3?
j
Let c(d) = 3*d**2 - d. Let l be c(1). Suppose -4*v + 2 = -4*u - 14, -u + l = v. Let q(p) = -p**2 - 2*p - 1. Let n be q(u). Which is smaller: n or -1/2?
-1/2
Let v be (6/6)/((-2)/4). Suppose -g = -5*g - 12. Which is bigger: v or g?
v
Let h be (-3)/4 - 1/4. Let f be (h/(-3)*0)/2. Suppose 5*u - 4 - 1 = 0. Which is smaller: u or f?
f
Let x = 22 + -5. Is x greater than or equal to 0?
True
Let v = -2 - -2. Let m = 0.4 + 0.6. Let p = m - 0. Is p != v?
True
Let r = -193/3 - -65. Let b(d) = -d**3 + 2*d**2 + 1. Let c be b(2). Which is smaller: r or c?
r
Let x(z) = 2*z - 3. Let s be x(2). Let d be -2*(3 - s) + 3. Is d >= 6?
False
Let a(l) = -l**3 - 11*l**2 - 10*l. Let m be a(-10). Which is smaller: -2/213 or m?
-2/213
Let s(a) = a - 2. Let z be s(4). Let h = z + -3. Let t = 2/15 + -4/5. Which is smaller: t or h?
h
Let h(i) = 4*i**2 - i + 2. Let g be h(-3). Let v = -122/3 + g. Are 0.1 and v equal?
False
Let o = 999/7 - 143. Suppose 0 = -a - 4 + 3. Which is smaller: a or o?
a
Let r(s) = -s**2 + s + 3. Let k be r(-2). Which is bigger: k or -2/9?
-2/9
Let k be 4/7 - 22/14. Is 3/19 greater than or equal to k?
True
Let p = -16 + 26. Suppose 5*x = -5*y - 15, p = y - 5*x + 1. Which is smaller: 2/11 or y?
y
Let z = 22 + -16. Let x = -8 + z. Is x at least as big as -2?
True
Let t(j) = -j**2 - 3*j - 2. Let u be t(-1). Does u = 3/7?
False
Let k = 701/264 - -1/88. Is 3 bigger than k?
True
Let y be (14/(-35))/((-2)/(-20)). Let p be (-45)/(-36) + 2/y. Let i(t) = t + 7. Let n be i(-6). Which is smaller: n or p?
p
Let g = -10/21 - -1/7. Let v = -3 + 4. Let m = v - 1. Is g at most as big as m?
True
Let k = 0.5 - -0.5. Let i(y) = -y - 4. Let f be i(-7). Let u(w) = -w**2 + 2*w + 4. Let j be u(f). Is j less than k?
False
Suppose 0*p + 11 = -n + 2*p, -2*p = 2*n - 8. Let m be (-4 + 7)*n/3. Let w be (0/2 - 1)*m. Is 0.1 less than w?
True
Let t = 0.14 - 0.1. Let v = t + 5.96. Let o = v + -3. Which is greater: 1/3 or o?
o
Suppose y + 5*z + 9 = -0*y, 0 = -y + 5*z + 11. Are y and 2/35 non-equal?
True
Let j = 0.15 - 0.25. Let c be 1*(12/7 + -2). Which is bigger: c or j?
j
Let m(h) = -h**2 + 4*h + 12. Let n be m(6). Which is smaller: 1/3 or n?
n
Let g = -10 - -11.5. Let b = g - -1.5. Which is bigger: b or 0.1?
b
Suppose -2*i - 11 = -11. Is -4 not equal to i?
True
Let v = 5.2 - 1.2. Is 0.3 at most v?
True
Let d = 267 + -3475/13. Which is bigger: 1 or d?
1
Let k be 3/4 - (-68)/16. Suppose 0 = 6*r - 2*r + u - 2, -k*r = -2*u + 4. Are 0 and r equal?
True
Let l = -2.05 - -2. Let d = 1.864 + 0.136. Do l and d have different values?
True
Let b(z) = -2*z - 7. Let n be 15*-1*(-2)/(-5). Let o be b(n). Suppose 3 = -4*g - o. Is -3 at most g?
True
Let t be (-1 - -2) + 3 + 13. Let a = t - 18. Are a and -1/3 equal?
False
Let y = 2 - 3. Let r be y - -3 - 19/10. Is r <= 1?
True
Let x = -3 + 7. Suppose -3*s + 4*h = 36, 0*h - 36 = 3*s - 2*h. Let g be 3/s*-6*2. Are g and x non-equal?
True
Let c(b) = 2*b - 2. Let o be c(8). Suppose 0 = -15*a + o*a. Which is greater: a or -1/9?
a
Let u = -10.14 + 0.14. Let n = -15 - u. Let q = n - -4. Is q greater than -2/13?
False
Suppose -10 = 28*z - 26*z. Is -7 > z?
False
Suppose 2*x = 6*x + 4. Let t be x/(2 - 3) + -1. Is 0 bigger than t?
False
Suppose 3*h = -4*j + 8, -5*h + 10*h - 25 = 5*j. Let r be 3/(-14) - 2/(-4). Do j and r have the same value?
False
Let s(v) = -v**2 + 4*v - 3. Let p be s(3). Which is greater: 2/87 or p?
2/87
Let y = 3.074 + -0.074. Which is bigger: 0.3 or y?
y
Let b be -2 + (-3)/(-2)*2. Is 0.031 greater than or equal to b?
False
Suppose -2*q - 4 = 0, p + 68 = -3*p + 4*q. Which is smaller: 2 or p?
p
Let u = -48 - -47.3. Which is greater: u or -1/3?
-1/3
Suppose 2*q - 6*q = -l + 32, -4*q - 4*l = 32. Let h = q + 9. Is h at most 2?
True
Let o be 93/385 + (-14)/(-49). Let p = -8/11 + o. Which is greater: 2 or p?
2
Let q = 2/91 - -85/273. Which is bigger: q or -7?
q
Suppose 26 = 5*k - 5*b - 329, -k = 5*b - 77. Are 70 and k non-equal?
True
Let q = 5567 + -111261/20. Let b = -21/5 + q. Is 2/13 at most as big as b?
False
Let p = -23 + 14. Let t be ((-1)/(-3))/((-3)/p). Let l be 2/4 + t/2. Is l at least as big as 0?
True
Suppose -2*m + 3*m + 2*i + 12 = 0, i = 4*m + 3. Let u be (2 - 2/m) + -4. Which is bigger: 1 or u?
1
Let h be (-28)/18 - 2/(-9). Which is greater: h or -0.1?
-0.1
Let n = 7 - 3. Suppose -n*s = m + 2, -m = s - 0*m - 1. Is s at least -3?
True
Let l be 1/2*(7 + -5). Let s be (-48)/(-26) + (-4)/2. Which is greater: l or s?
l
Suppose -3 = -10*z + 7. Suppose r + 18 = -4*r + u, 0 = 5*r + 4*u + 3. Let y be 1/6*(-4)/r. Is z less than y?
False
Let q = -90 + 90. Suppose 3*v + 1 = -2. Is q smaller than v?
False
Let r be ((-196)/5280)/((-13683)/(-816759)). Let g = -2/22805 + r. Let p = -17/8 - g. Which is bigger: p or -1?
p
Suppose 7*p - 8 = 11*p. Is 5 < p?
False
Suppose 2*c = 3*c + 21. Let p = c + 37. Let v = p - 81/5. Which is bigger: v or 1?
1
Let h be 8/(-12) + 40/42. Is -0.15 greater than or equal to h?
False
Let h = -0.16 + -0.12. Let q = -0.38 - h. Which is smaller: q or 3/2?
q
Let k(d) = d - 8. Let x be k(4). Is x smaller than -3?
True
Let p be 152/2040 - 4/30. Which is smaller: 3 or p?
p
Suppose -45 - 40 = -5*j. Let x = j + -12. Which is smaller: x or 2?
2
Let f = 5 - 9. Let y be 2/(-7) - (-540)/(-21). Let v be 22/y + 2/(-13). Is v greater than or equal to f?
True
Let p be 2*((-5)/(-2) + -2). Which is greater: 1/3 or p?
p
Let n(k) = 6 + k + 3 - 6 - 2*k. Let s be n(3). Let p = 335/1197 + 1/171. Which is smaller: s or p?
s
Let g be ((-18)/(-8))/((-66)/352). Let d be (g/(-14))/(4/7). Suppose -5 = -3*z - 2. Which is smaller: d or z?
z
Let o = -15 - -14. Are -1/2 and o equal?
False
Let f be 30/(-45)*(0 - (-2)/(-12)). Which is bigger: f or 1?
1
Suppose -3*r + 5 = -u, -7*r + 35 = -5*u - 2*r. Which is greater: u or -7?
-7
Suppose 3*h - w - 20 = 0, -7*h + 5*w + 45 = -3*h. Is 0 < h?
True
Let v(t) = 3*t + 5. Let m be v(-2). Which is smaller: -2/15 or m?
m
Suppose 74 = 8*l - 22. Which is smaller: 15 or l?
l
Suppose 0 = 2*d + 1 - 5. Let o(g) = -g + 8. Let x be o(7). Let t be (15/4 - x) + -2. Is t less than d?
True
Let t = 2/33 - 76/165. Which is greater: 1.7 or t?
1.7
Let r be (-6)/18 + (-2)/3. Which is smaller: 1/14 or r?
r
Let r(u) = 8*u**2 + 7*u + 6. Let l = -6 - -2. Let s be r(l). Let q = s - 956/9. Is 0 less than or equal to q?
False
Suppose 2*k + 2*k + 3*f = -20, 5*k + 25 = -5*f. Let q(v) = -3*v + 50. Let p be q(18). Which is smaller: k or p?
k
Let p(i) = -i**3 - 4*i**2 + 5*i - 1. Let c be p(-5). Is c at least 1/3?
False
Let z be (-26)/14 - -1 - 2/14. Which is greater: z or -5/9?
-5/9
Let p be (-1)/(-2) + 7/14. Let l = 743/33 - 67/3. Which is smaller: l or p?
l
Let o = 15 + -9. Let c = 25 + -15. Let g = o - c. Do g and -3 have the same value?
False
Suppose 2*k - 15 = -3*k. Is -15 > k?
False
Let i = 4.6 + -0.6. Let f = -3 + i. Suppose -3*l = 2*l. Is l equal to f?
False
Suppose c + 0*c = 3. Let i(w) be the first derivative of w**4/4 - 4*w**3/3 - 3*w**2 + 7*w + 2. Let s be i(5). Which is smaller: s or c?
s
Let q(u) be the third derivative of 1/8*u**4 + 1/60*u**5 + 0 + 0*u**3 - u**2 + 0*u. Let i be q(-3). Is i equal to 0?
True
Let k(j) = 3*j**3 + j - 1. Let g be k(1). Suppose 0*y + g*s + 22 = -y, -y + 2*s - 17 = 0. Let i = y + 12. Is 0 smaller than i?
False
Suppose -o = -0 - 1. Let i be ((-8)/10 + 0)/(2430/(-225)). Which is bigger: i or o?
o
Let v(d) = -d + 1. Suppose -4*s - 2*r = -4, -2 + 3 = s - 4*r. Let y be v(s). Suppose -2*h + y*h = 0. Are h and 0 non-equal?
False
Suppose 0*j = -5*j. Let l = 85 + -86. Which is smaller: j or l?
l
Let a(g) be the first derivative of -2*g**2 + g - g**3 + 1/4*g**4 + 2. Let v be a(4). Is 0 < v?
True
Let t = -11449/13 + 881. Let q(w) = -w - 6. Let a be q(-5). Which is bigger: a or t?
t
Let w be 5580/(-168) + (-2)/7. Let u = 33 + w. Which is greater: 0 or u?
0
Suppose 7*g - 24 = 3*g. Suppose 1 = k, g*y - k = 3*y - 1. Are y and -3/5 no