 Let r = k - -189/4. Let u be (-2)/5 + 10 + -10. Do r and u have different values?
True
Suppose -1 + 0 = c. Let h(l) = -l + 1. Let s be h(3). Which is smaller: s or c?
s
Let a = -3.5 - -0.5. Let o = -4 - a. Let i = o - 0. Which is greater: 0.1 or i?
0.1
Suppose f = 5 + 9. Let z be (1/(-2))/(7/f). Is -3 greater than or equal to z?
False
Let y = -2 - -5. Let x = y - -3. Let c be ((-1)/(-2))/(1/10). Is x >= c?
True
Let w = 0.39 + 0.11. Is 0.1 at least w?
False
Let l = 0 - 0. Suppose 0*n + 15 = -5*n. Let g = n - -2. Do g and l have the same value?
False
Let l be 3 + -7 + 2 - -3. Which is smaller: l or -0.08?
-0.08
Let n = 0.1 + -0.1. Let x = -2 + n. Is x less than or equal to 1?
True
Let z = -5 - -7. Suppose 2*k + 3*x = -k - 9, -z*k + 15 = -5*x. Which is bigger: k or -2/7?
k
Let f(w) = 2*w**2 + 13*w - 7. Let y be f(-7). Is -1/155 not equal to y?
True
Let a = -143 - -5147/36. Which is smaller: 1 or a?
a
Let t = -1 - -24. Is 23 smaller than t?
False
Suppose 4*b - 3*y + 27 = 0, 2*b - b + 18 = 3*y. Which is smaller: -2 or b?
b
Let l(w) be the third derivative of -w**4/24 + w**3/3 + 3*w**2. Let z be l(1). Let o be (z - 0) + (0 - -1). Is o not equal to 1/2?
True
Suppose 4*v + 4*j + 16 = 0, 0*j = 3*v - 5*j - 28. Let o be ((-4)/(-12))/(v/(-2)). Is -0.1 equal to o?
False
Let j = -6 + 1. Does -7 = j?
False
Let x = 2.16 + -2.1. Let d = 0.16 - x. Are -3 and d non-equal?
True
Let z(n) = -n - 8. Let l = -4 - -10. Let c = l + -12. Let k be z(c). Is -2 greater than k?
False
Let n(h) = 4*h**2 + 0 + 3*h**3 - 3 - h - 2*h**3. Let x be n(-4). Let r = 11/2 + -57/10. Is x greater than or equal to r?
True
Let v be (-116)/6*(-1 - 5/10). Which is smaller: 30 or v?
v
Suppose -z - 3 + 20 = 0. Suppose z = -v + 3*r + r, -2*r + 13 = -5*v. Let x be (v/4)/(2/4). Is -1 >= x?
False
Let n(g) = -g**3 - 7*g**2 + 9*g + 4. Let r be n(-8). Is r greater than or equal to -1?
False
Let u be (-1)/(2/(-10)) + -2. Suppose -u*w + o - 9 = 0, -2*w - 2*w - 25 = 3*o. Which is smaller: w or 0?
w
Let u = 5.01 - 0.01. Let t = 4.2 + -4. Which is bigger: u or t?
u
Suppose 5*f = 2*f + 18. Let a = f - 6. Which is bigger: a or 1?
1
Let p = 6.2 + -22. Let v = p - -16. Let a = 0 + -0.1. Which is bigger: v or a?
v
Let d be 4/4 - (0 + 1). Suppose -23 = -k - 5*b - d*b, 0 = 3*k - 2*b - 1. Which is greater: 1 or k?
k
Let v be (-2)/(-6) - (-22)/6. Suppose -2 = -3*r + 4*m, -v*r + 2*m = -2 - 4. Which is smaller: 0 or r?
0
Let a(c) = 3*c + 11. Let y(u) = -u - 4. Let w(t) = 6*a(t) + 17*y(t). Let p be w(4). Suppose -p = 3*i + 7. Is i at least as big as -3?
True
Let m(n) = n**3 + 3*n**2 + n + 1. Let p be m(-3). Let y be ((-6)/p)/3 + 2. Let c be -2*(-3)/8*2. Which is bigger: y or c?
y
Let m be (0 + -2)/(2 - 0). Let b be ((-2)/(-85))/(m/(-15)). Let x = b + 16/51. Which is greater: x or -0.5?
x
Suppose 0 = 10*r - 14*r - 4. Which is smaller: 4 or r?
r
Let p = -4 - -7. Suppose -3*x + w = -9 + p, -5*w - 15 = 0. Which is bigger: -2/5 or x?
x
Let u = -6 - -4. Let m be (u/8)/(1/6). Suppose 0 = 2*h + 2*h + 4. Is m bigger than h?
False
Let m = -90 - -89. Which is smaller: m or -12/5?
-12/5
Let p be (-7)/(140/10216) - -1. Let b = 508 + p. Which is bigger: b or -2?
b
Let x(b) = b**2 - b - 54. Let v be x(0). Let r = v - -90. Let z be 8/r - 2/9. Which is smaller: 1 or z?
z
Let c = -0.05 + -0.05. Let v = -18 + 9. Let x be 14/(-78) + (-3)/v. Which is greater: x or c?
x
Suppose 5*i = i + o - 13, -3*i + 5*o - 14 = 0. Which is bigger: -13/6 or i?
-13/6
Suppose 3*x + x = 0. Suppose -3 = 2*z - 5*z. Is z at most as big as x?
False
Suppose 75 = -5*x + 5*q, -5*x = q + 2*q + 51. Let n = 6 + x. Is -6 at most as big as n?
True
Let z(n) = -5 + n + 0*n + 13. Suppose 9 = -5*m + 4*m. Let d be z(m). Is 0.1 <= d?
False
Let v = -5 + 10. Suppose c = v*c + 4. Let u = 83 - 497/6. Which is smaller: c or u?
c
Let p be (-305)/8 - (-3)/24. Which is greater: -39 or p?
p
Let d be ((-12)/(-18) - 1) + (-85)/(-3). Is d equal to 28?
True
Let f be (-4)/(-18) + 56/(-9). Which is smaller: 4 or f?
f
Let m be (-12 - -14) + 3/(3/34). Does 36 = m?
True
Let p(l) = -2*l - 17. Let f be p(-8). Let c = -30 + 86/3. Which is greater: f or c?
f
Let s be (-7)/(-2)*24/42. Which is smaller: 9/8 or s?
9/8
Suppose 0 = a - 11*a + 20. Suppose 5 = -5*n + 15. Suppose 5*x - 3 = n*x. Which is bigger: x or a?
a
Let k be (-2)/2*32/60. Which is smaller: -2 or k?
-2
Let w be (-2 + (2 - -1))*4. Suppose w*t - 8 = 12, 0 = -3*y + 5*t + 2. Let s be 14/(-18) + 9/y. Which is smaller: s or 0?
0
Let p(d) = d**2 + 3. Let s be p(0). Suppose 5 = s*i + 2*i. Let m = -88 - -442/5. Is i not equal to m?
True
Suppose 7*d - 43 - 20 = 0. Does 23/3 = d?
False
Let m(b) = -b**3 - b**2 - b - 2. Let g be m(0). Let f = 7 - 1. Let v be g - (2 + (-20)/f). Which is smaller: -1 or v?
-1
Suppose 3*s - 5*h + 2 = 3, 4*s - 3*h = 5. Let y = 3 + -3. Let c = y - 0.1. Is s at most c?
False
Suppose -2*q = -a - 8 - 31, -q - 2*a = -32. Is q greater than or equal to 22?
True
Let b = 138144/320951 - 31029880736968/51673111. Let x = b - -600505. Let m = -36/23 + x. Is m at least as big as -1?
True
Let m = 2 - -7. Suppose 3*v - 16 = 2. Suppose -5*j = -x - v, -3*x - 2*j + 36 = j. Is m bigger than x?
False
Suppose 3*j + 0 = -6. Let d(b) = -b**3 + 7*b**2 - b + 3. Suppose -2*m = 2*s - 6 - 16, -m - 3 = -s. Let x be d(s). Which is bigger: x or j?
j
Let g(f) = 6*f - 213. Let w be g(35). Suppose x - 1 + 5 = 0. Which is smaller: w or x?
x
Suppose 4*q - 5*k - 11 - 33 = 0, -3*k - 33 = -3*q. Let s = 6 - q. Is s at least as big as -5?
True
Let m(h) = h**3 + 9*h**2 + 7*h - 3. Let a be (36/(-15))/(3/10). Let j be m(a). Is j equal to 5?
True
Suppose -5*d = -9 + 4. Which is bigger: d or -2/71?
d
Let f be 9/(-7) + 10/35. Let w = -7 + -1. Is w > f?
False
Let w = -9 + 21. Let t = 10 - w. Let u = t - -4. Is u at least 1/2?
True
Let v(f) = -f - 12. Let s(t) = t**3 + 5*t**2 + 2*t + 5. Let p be s(-5). Let k be v(p). Is -8 smaller than k?
True
Let q be 1/6 - 2211/15642. Is -1 at least q?
False
Let y = -0.0485 - 3.9815. Let g = -0.03 - y. Is g < -1/3?
False
Suppose 4*r + k - 5 = 23, r - 24 = 4*k. Is 8 smaller than r?
False
Let u(v) = -v**2 - 9*v - 5. Let s be u(-8). Suppose 0 = s*i + 2*i - 5. Is 1 at least as big as i?
True
Let l be (1 + -1)*(-1 + 0). Let t be (2/(-4))/((-90)/(-440)). Let w = 16/9 + t. Is w less than l?
True
Suppose 5*o = 2*o + 75. Let m = 25 - o. Which is smaller: m or -2/25?
-2/25
Let f = 50 - 35. Which is bigger: f or -1?
f
Let n = 19 + -14. Suppose -2*r + 6*r - 11 = -n*g, r + 7 = 2*g. Is r smaller than -4/9?
True
Let a = -7 + 12. Let p = -4 + a. Let z(n) = -n**2 - 6*n - 6. Let j be z(-4). Is j less than p?
False
Let d be 2*(-18)/4*15/25. Do -4 and d have the same value?
False
Let v be -11 - ((-12)/(-4) - 2). Is v < -10?
True
Let m(u) = 3*u. Let t be m(1). Suppose -3*g = 2*p - 32, t*g + 64 = 2*p + 2*p. Suppose -5*v - 2*o = -5*o - 4, 4*v = -4*o - p. Is 0 less than v?
False
Suppose -o = 1, z - 3*o - 5 = -0. Is z at least as big as 5/2?
False
Let x be 3 + -2 + (1 - -1). Suppose 0*k + 6 = x*k. Let n be (-9)/(-2) - 4/8. Is n less than k?
False
Let y = -91.8 - -100. Let s = -8 + y. Which is bigger: 0.1 or s?
s
Let c(j) = j**3 + 3*j**2 + 3*j + 2. Let m be c(-2). Suppose 3*l = -m*l + 3. Which is smaller: l or -2/15?
-2/15
Let h be 2 + -3 + 1/4. Suppose 0 - 3 = 3*w. Is h less than or equal to w?
False
Let f(t) = -2*t**3 + 11*t**2 + t + 30. Let n be f(6). Let x = -119 + 1073/9. Is x at most as big as n?
False
Let m be 109/3 - 1/2. Let o = 36 - m. Which is greater: -1 or o?
o
Let u(j) = -2*j + 1. Suppose -2 = 3*d - 5*d. Let o be u(d). Let i be 1/4 + 21/(-12). Which is smaller: o or i?
i
Let d = 11 + -11. Suppose 0 = -4*n - w - d*w + 36, -4*n - 2*w + 36 = 0. Let s = -10 + n. Is s less than 0?
True
Let y = 0.3 + 0.1. Let l = -0.5 - -0.2. Let t = l + y. Is t at most as big as 0.1?
True
Let i = -9.11 + 9. Let z = 2.3 - 2.21. Let x = i - z. Is x bigger than 0.1?
False
Let h(w) be the second derivative of -w**3/6 + 4*w**2 - 3*w. Let o be h(8). Is 2/9 greater than o?
True
Let r(u) = -u**3 - 7*u**2 + 9*u + 2. Let j be r(-8). Let h = -2 - j. Is h at least as big as 5?
False
Let z(y) = y - 4. Let i be z(-10). Is -13 at most i?
False
Suppose 0 = -v + 1 + 1. Let s be (-48)/9 + v - -3. Which is smaller: s or 0?
s
Let m be 4 + (1 - (-18)/(-14)). Is 5 less than or eq