0.1. Is a >= v?
True
Let w = -1/1068 + -57665/7476. Let o = -167/28 - w. Is o bigger than 2?
False
Let m(f) = f**2 - 6*f - 10. Let s be m(8). Is s at least as big as 10?
False
Let z be (-4 - -2)*1 + 2. Let m be ((-42)/20)/7*2. Which is greater: m or z?
z
Let t be (-2)/8 - (-42)/8. Suppose -4*h = t*r + 12, -3*h - r = 2*h + 15. Which is smaller: -5 or h?
-5
Let w be 16/(-2) + (-14)/(-7). Let v be (-5)/(-7) - w/21. Let b be (1/3)/((-7)/(-21)). Do b and v have different values?
False
Suppose -5*q - 4 + 24 = 0. Suppose 3*b = q*b - 17. Suppose -i - 2*i - 5*p = b, -12 = 4*i + 4*p. Is 1 bigger than i?
False
Suppose -3*x + 6 = -2*b + 2*x, -9 = 3*b - 3*x. Let o be 4*((4 - 2) + -1). Let u be (-13)/o - (-2)/8. Do u and b have the same value?
True
Suppose 0 = -4*q - 5*m + 32, 3*m + 2*m - 23 = -q. Suppose l + 2*l + b = -33, q*b = 2*l + 33. Let y = l - -8. Is -5 at least y?
False
Let j be -6*(0 - (-187)/2). Let c be 0 - (-4)/((-84)/j). Let b = c - 27. Which is smaller: b or 0.2?
b
Let s = -0.2 + 0.1. Let l = -0.36 + -2.44. Let t = 3 + l. Which is greater: s or t?
t
Let p be (-3)/(-15) + 1828/10. Let x be 2 - (p/39 + -3). Is x equal to 1?
False
Let p = -91 + 87.1. Let r = 0.1 + -4.1. Let f = p - r. Which is smaller: 2 or f?
f
Let p = 379 - 5683/15. Suppose -3*q = -2*q. Which is smaller: q or p?
q
Suppose 5*l = k - 10, -3 + 0 = -4*l + 3*k. Let f = 3 + l. Suppose 2*a + 3*a - 5 = f. Is a less than or equal to -1/4?
False
Let u(j) = j**3 + 2*j - 1 - 2*j**2 + 0*j - 2*j**2 + 5. Let t be u(3). Which is greater: 3 or t?
3
Let t = -76/63 - -10/9. Is 1 greater than t?
True
Let m(w) = -w - 7. Suppose -2 = -t - 8. Let g be m(t). Let z be 0 - (g + 3/3). Is z at least as big as 2/5?
False
Suppose -8 = 2*t - 10. Which is smaller: -0.01 or t?
-0.01
Let o = 0.6 + -0.37. Let h = -0.07 - o. Let z = -4 - -3. Is z greater than or equal to h?
False
Let m be (-21)/9 - (-4)/3. Which is bigger: m or 2/13?
2/13
Let j(t) = -t**2 + 11*t - 10. Suppose -2*f + 2*q - 10 = 0, 4*f - 2*f + 4 = 5*q. Let g = 17 + f. Let c be j(g). Is c != -2/11?
True
Suppose -13*w + 36 = -12*w. Which is greater: w or 35?
w
Suppose 0 = -5*d - 2*g + 6*g - 2, 0 = d + 3*g - 11. Which is bigger: -0.06 or d?
d
Let b = 226/15 - 44/3. Suppose 8 = -2*f, 5*f + 8 = -4*w - 8. Is w less than or equal to b?
False
Let f(r) be the first derivative of -2 - 1/2*r**4 + 1/3*r**3 - r + 1/2*r**2. Let l be f(1). Which is smaller: l or 2/15?
l
Let f be (-12)/(-8)*50/3. Let p be ((-10)/f)/(108/20). Is p smaller than 0.1?
True
Let k = 4 + -4. Which is smaller: -2/65 or k?
-2/65
Let i = 483 + -1208. Let g = -50027/69 - i. Is g bigger than 0?
False
Let g = 82/763 + -4/327. Which is smaller: g or 1?
g
Suppose -n = -4*n. Suppose n = -0*m + 5*m + 30. Let p be (-40)/15 - (-2)/m. Which is greater: -1/4 or p?
-1/4
Let i(d) be the third derivative of -d**4/24 - 7*d**3/6 + 2*d**2. Let v be i(-6). Which is bigger: v or -3/7?
-3/7
Let v = 1 + -1. Let z = 12/5618549 + -3848810117/48718438379. Let m = 3/377 - z. Is m smaller than v?
False
Let b(c) = -c**2 + 9*c + 7. Let y = -9 + 17. Let o be b(y). Let m be -2 + o/(-3) + 3. Which is smaller: 1/4 or m?
m
Let m = -0.09 - -6.09. Let w = 0.09 + -5.99. Let s = w + m. Which is smaller: 5 or s?
s
Let p = 41/136 - 20/17. Is 0 < p?
False
Let u = 30 + -20. Let c(d) = 4 + u*d**2 + 12 + 0 - 10*d - d**3 + 2*d**3. Let r be c(-11). Is 1 bigger than r?
False
Let t = 269/21 + -78/7. Is t at least as big as 3?
False
Let s = 3 + -3. Suppose 3*y + 1 + 2 = s. Let d(z) = -z**3 - z**2 - z. Let k be d(y). Is k less than or equal to 2?
True
Let f be (6 - 6)*(-2)/4. Suppose 0 = -f*x - 2*x. Are x and -2/33 nonequal?
True
Let j = -21 + 17. Let i = 9 - 13. Is j less than or equal to i?
True
Let j = 443/5 - 89. Is j bigger than 94?
False
Let n be 6*(6/2)/(-9). Let m be (-3)/(15/n)*-1. Does 1 = m?
False
Let b = -2.9 - -0.9. Let q = -1.8 - b. Is -0.07 less than q?
True
Let a(p) = p - 3. Let i be a(4). Is 14/9 less than or equal to i?
False
Let t be (-16)/(-6) - 2/3. Let v be (-1 + (-3)/t)*2. Is v less than -5?
False
Let h = -0.5 + 0.7. Let q = 6 - 5.94. Is q > h?
False
Let z be 324/10 - 4/10. Suppose -5*n + z = -n. Which is smaller: 7 or n?
7
Let a(u) = 5*u + 12. Let z be a(-8). Let x be (-8)/z + 8/(-14). Is x less than or equal to 3?
True
Let i be (1 - 2)*8/(-2). Suppose -i = 4*c + 4*p - 0, 5*p - 11 = -c. Is 0 <= c?
False
Let l = 1007/8 - 127. Does 0 = l?
False
Let w(h) = h**2 + 2*h + 2. Let k be w(0). Which is greater: k or 1?
k
Let d = 7 - 12. Let m = -14/3 - d. Which is smaller: 0.1 or m?
0.1
Let q = 0.6 + -0.6. Let m = 0.059 - 2.109. Let s = 0.05 + m. Is s at most q?
True
Let q be (-1)/3 - (-86)/(-84). Let d be (1/(-14)*-2)/1. Let u = q - d. Which is smaller: -1 or u?
u
Let u = -43 + 38. Which is smaller: u or 6?
u
Suppose -4*h = -h. Suppose 5*u - 2*u - 9 = h. Let f(j) = j**2 - j - 2. Let n be f(u). Which is smaller: 5 or n?
n
Suppose -t = -2*t. Let h = 0 + t. Which is greater: 1/5 or h?
1/5
Let v(w) = w + 2. Let y be v(-3). Let b(m) = -2*m - 1. Let a be b(y). Do 2 and a have the same value?
False
Let a(i) = -2*i**3 + 2*i - 1. Let r be a(1). Which is greater: r or -2?
r
Let y(u) be the second derivative of u**4/4 - u**3/3 - 3*u**2/2 - 7*u. Let l be y(-1). Which is smaller: l or 5?
l
Let m = 2.04 - 0.04. Let f(r) = -r**2 + r. Let v be f(2). Let o be (0 + v/(-8))*2. Which is bigger: o or m?
m
Suppose 3*j + 6 = -0. Let w be (-35)/11 + (-4)/(-22). Let b be (w/(-22))/((-1)/4). Is j equal to b?
False
Suppose -5 = -4*w + u - 49, u + 52 = -4*w. Let b = w - -23/2. Is b greater than -2/9?
False
Suppose -2*q = 3*q. Let m be -1 + q + -1 - -2. Is 0 less than m?
False
Let z = 6 - 9. Let g be (-2 + 2)/z + 2. Let x be 1 + (-1 - 1)/g. Does x = -1/2?
False
Let r = 0.12 + -5.12. Let h = 4.9 + r. Is h bigger than -0.1?
False
Let m = -185/2 - -130. Let r = -36 + m. Suppose -5*f + 2*g = -10, 5*f + 4*g = f + 8. Which is smaller: r or f?
r
Let c be -12*12/(-45) - (4 + -1). Is 1 at most as big as c?
False
Let c be (9/(-6))/(36/(-21)). Which is bigger: 2 or c?
2
Let n(x) = x**2 - 3*x + 1. Let k be n(2). Which is greater: k or 7?
7
Let o be (-11 + 2)*(-10)/(-15). Suppose -5*g + 8 = -22. Let p = g + o. Is 1 less than or equal to p?
False
Let g = 2180/7 - 312. Which is smaller: 0 or g?
g
Let b be ((-117)/(-6))/(6/(-16)). Let l = 419/8 + b. Which is bigger: 0 or l?
l
Let f(j) = j**2 + 6*j - 3. Suppose 2*z = 4*z + 10. Let h be f(z). Let a be (-2)/h - (-3)/(-12). Which is smaller: 1 or a?
a
Let q be ((-1)/(-12))/(-1 - 13/(-14)). Is -5 less than q?
True
Let r = -1.2 - -0.2. Let n = 2.1 + -3. Let v = n - r. Is 1/2 greater than or equal to v?
True
Let u be 14/(-4)*(1 - 1 - -2). Is u less than -37/6?
True
Let r = 12 + -12. Suppose r*x + 3*x = 12. Is 4 <= x?
True
Suppose 0 = -6*o + o - 5. Let w(t) = -2*t**2 - 2*t - 1. Let b be w(o). Which is bigger: b or -3?
b
Let l = 1.94 + 0.06. Let g = -372 + 375. Which is smaller: g or l?
l
Let h be 100/(-35)*(-7)/2. Suppose 4*w + h = 2. Is -2 > w?
False
Suppose 4*y - 3*v = -0*v + 6, -5*v - 10 = -4*y. Let q = 1/9 - 11/18. Do y and q have different values?
True
Let w be ((-2)/(-8))/(-1) + 35/(-20). Is w not equal to -5?
True
Let d be 4 + -3 - -2*1. Suppose -28 = -4*j + 4*q - 0*q, -d*j - q + 33 = 0. Which is smaller: 11 or j?
j
Let v be -8*(-1)/(-10)*1. Which is smaller: v or 4/3?
v
Suppose -5*y - 12 = -b, 5*y + b + 18 = -0*b. Are -3 and y nonequal?
False
Let x = 0.8 + 0.2. Let y = -1 + x. Let b = -342 - -341. Which is bigger: b or y?
y
Let o(w) = 3*w**2 + 6*w - 3. Let u be o(-3). Which is greater: u or 7?
7
Suppose -2*s = -5*n + 51, 0 = s + 3*s + 3*n + 63. Which is smaller: s or -19?
-19
Let a be 6/10 + (-28)/(-20). Let c(v) = -v**3 + 3*v**2 - v - 1. Let i be c(2). Which is smaller: a or i?
i
Let u be ((-1)/(-6))/((-3)/6). Let a be (-1 - -2)*(-1 - -1). Let k = 1 + a. Which is bigger: u or k?
k
Let o = 5 + -9. Let s = o - -5. Which is smaller: s or 2?
s
Let l = -1841227/21717 - -12/2413. Suppose -5*o = -42 - 383. Let x = o + l. Is -1 > x?
False
Let z(s) = -2*s**3 - 7 - 6*s - s + 5*s**2 + 3*s**3. Let y be z(-6). Is -2/27 less than or equal to y?
False
Let l be (2 - (-400 + 2)) + -2. Let z = l + -14728/37. Which is smaller: 0 or z?
z
Let y(t) = -t - 6. Let z be y(-4). Let h be (3 + z/1)*0. Is h >= -3?
True
Suppose 4*v = 4*c - 