, -2*k - 5*u = 22. Let w = 18 + k. Is 0.2 > w?
True
Let o(p) = 3*p - 7. Let t be o(7). Let r be 6/t + 8/14. Let b = 348 + -10093/29. Do b and r have the same value?
False
Let h(b) = b**3 - 5*b**2 - 7*b + 8. Let s be h(6). Let f(w) = -w**2 + 9*w - 7. Let x be f(8). Suppose j + x = 2*j. Which is bigger: j or s?
s
Let w = 9.2 + -13.3. Let j = w + 5.1. Is j <= -6?
False
Let d(w) = w**2 + 25*w + 49. Let r be d(-23). Let c = 8/3 - r. Is -0.05 at most as big as c?
False
Let k be ((-28)/(-5))/((-10)/(-150)). Let n be k/22 + 14/77. Let r be n*(2 + -4)/4. Are 2 and r equal?
False
Suppose 3*l - w + 6 - 22 = 0, -4*l - w = -26. Suppose -7 = -0*d - d. Is d at most as big as l?
False
Let t(p) = -42*p + 234. Let d be t(8). Is -102 less than or equal to d?
True
Let m be 139 + -154 - (-169)/11. Let a(n) = -n - 3. Let j be a(-3). Which is smaller: j or m?
j
Suppose -2*m - 5*x = 25, m + 5*x = -0*x - 25. Is 26 at most m?
False
Let z = 9.817 + -0.817. Are -10 and z non-equal?
True
Suppose 909 = 5*s - 331. Let t = 2730/11 - s. Let b = 6.8 - 6.9. Which is smaller: b or t?
b
Suppose o + o - 6 = 0, 5*o - 21 = -3*f. Let r be 2/(-68)*10 + 15/15. Which is bigger: r or f?
f
Let q = 73 + -73.21. Let n be 4/22 - 45/(-55). Let t be (-1)/3*0/n. Which is smaller: t or q?
q
Suppose 8*k + 3*k - 847 = 0. Suppose 2*t + l + k = 14, 0 = t + l + 33. Which is greater: t or -29?
-29
Let b(d) = d + 0*d + 12 - 13. Let m be b(3). Let x be m - (-1 + (4 - 3)). Which is smaller: -1 or x?
-1
Let b = -0.472 - -0.152. Suppose 6*w = -k + 2*w + 9, -2*k - 8 = -5*w. Which is smaller: k or b?
b
Let k(r) = -143*r - 49. Let h be k(3). Is h greater than -478?
False
Let x(g) = g - 85. Let n be x(29). Is -5 greater than n?
True
Let t be 3 + (-29 - (-16)/(-4)). Let d be 22/(-272) + t/(-80). Which is greater: d or 1?
1
Let t = -84 + 37. Let b = t + 41. Is -2 > b?
True
Let u = -0.273 - -102.273. Is u > -1/4?
True
Let y(u) = u**3 + u - 1. Let d(m) = -6*m**3 - m**2 - 2*m + 6. Let c(x) = d(x) + 5*y(x). Let i be c(-2). Is i less than 0.022?
True
Let u(p) = -p - 27. Let d(m) = -13. Let i(n) = 13*d(n) - 6*u(n). Let q be i(-3). Let s be 0 + -3 - q/10. Is -2 less than s?
True
Suppose 2 = -h + 4. Suppose -2*n - h + 0 = 2*v, 4*n - 3*v - 17 = 0. Is 1 at least n?
False
Let h = -10 + 10. Suppose 0*d - 5*d = h. Let j be 7/((-3 + d)/3). Which is smaller: j or -9?
-9
Let j = -2925 + 2858. Does j = -69?
False
Let w(x) = -x**2 + 18*x - 35. Let z be w(16). Let t be 3/(-12)*6 - (z + 1). Which is smaller: 9 or t?
t
Let j = 15 - 24. Let r be ((-10)/(-6))/((-1)/48). Let t be r/210 + (-4)/(-6). Which is smaller: j or t?
j
Let q(k) = -k**3 - 7*k**2 + 1. Let p = 84 - 91. Let f be q(p). Which is greater: 3/46 or f?
f
Let l = -1 - -5. Suppose 3*d = -2*r - 9 - 12, -3*r = l*d + 31. Let x(s) = s**3 + 9*s**2 - 1. Let u be x(r). Is -4/5 at least as big as u?
True
Let w = -43 - -64. Let y(d) = -d**2 - d - 15. Let j be y(-4). Let x = j + w. Does 2 = x?
False
Suppose 0 = 3*c - 6, -u - 4 = -4*c + 13. Let h = u - -21. Suppose 0 = d + d - h. Which is bigger: 9/2 or d?
d
Let y = 0 + -3. Let p = 439/18 - 224/9. Are p and y nonequal?
True
Let t(i) = -i**2 + 7*i - 3. Let u be t(6). Suppose -x - u - 6 = 3*z, 7 = -2*z - x. Let l(h) = h**2 + 5*h + 2. Let g be l(-5). Which is greater: g or z?
g
Let a be -5 + 0/(0 - 3). Let f = -5 - a. Suppose f*y = 2*y + 12. Which is smaller: -5 or y?
y
Let s = 18492/589 - 1032/31. Is s >= -2?
True
Suppose -5*q + 67 = 7. Let a(w) = 4*w + 3. Let h be a(q). Let s be h/12 + -2 - 2. Is -1 equal to s?
False
Suppose -242 = -3*n - 47. Let i be ((-6)/(-5))/3 - (-4)/n. Is 1 greater than i?
True
Let m(o) be the third derivative of o**6/120 - o**5/12 + o**4/8 + 2*o**3/3 + 294*o**2. Let h = 2 + 2. Let s be m(h). Which is bigger: -4 or s?
s
Let y be (3/(-94))/(24/32). Is 0 > y?
True
Let t = 0.1 - 1.1. Let q = -10.221 + 10.3. Let a = q - -0.921. Which is greater: a or t?
a
Let f = 83 + -65. Let c be (-2)/f + (-3 - 1946/63). Is c > -34?
False
Suppose -102 = 4*m - 26. Is m smaller than -18?
True
Let w = 9.72 - -80.08. Let m = -90 + w. Is -2/3 not equal to m?
True
Let a = -3.4 + -1.6. Suppose 3 = -4*z - 5*i, z - 3*z = 5*i - 1. Is a < z?
True
Let c(w) = 2*w**2 - w - 1. Let j be c(2). Let p be ((-24)/(-9))/((-12)/(-162)). Suppose -16*v - p + 116 = 0. Is j equal to v?
True
Suppose -4*j = 4*g, -4*g + 4*j - 21 = -5. Let b be (4/(-8))/(g/8). Suppose -4*h = -3*d + b*d + 17, -h - 8 = -4*d. Is h less than -5?
False
Suppose h - 2*h - 3*l = -7, 4*l - 60 = 5*h. Let u be ((-30)/h + -2)/(-1). Suppose 3*b - 9 = -3*i, 0 = -2*i + 177 - 167. Is u at least b?
True
Suppose 23*l - 39*l - 96 = 0. Which is smaller: 87 or l?
l
Suppose -y - d + 31 = 0, 3 + 86 = 3*y + 2*d. Do -4 and y have different values?
True
Suppose -80 = -3*g - 71. Suppose 2*o = 5*v - 16, -60 = 4*o + g*v + v. Suppose 2*k - 1 = 1. Do k and o have different values?
True
Let c = -29 + -9. Let m = c - -7. Let v = m + 22. Is v < -7?
True
Suppose -3*s = 8 - 26. Let q = 5 + s. Which is bigger: q or 8?
q
Let b(w) = -6*w. Let g be b(2). Let d be -10*((-5)/g)/(-5). Suppose -q - 4*t = 20, -5*t - 25 = 3*q - 2*q. Which is smaller: q or d?
q
Let a be (-3 + 2 + 1)/(-2). Are -18/31 and a unequal?
True
Let b(c) = -10*c + 91. Let g be b(9). Is 4/9 at least g?
False
Let x be -5 + 1179/132 + (-3)/(-12). Is x < 4?
False
Let m be (((-51)/(-22))/3)/(2/(-16)). Which is greater: 0 or m?
0
Suppose 5*w + 0*w = -3*n, -3*w = 2*n. Suppose 0 = -n*u + 2*u + 8. Let s be ((33/11)/(-1))/(3/2). Is s greater than or equal to u?
True
Let j be (-2)/3 - 44/(-12). Suppose h - 16 = j*c - 7*c, -c = 3*h - 4. Let a = 1/1846 + 51/1846. Which is bigger: a or h?
a
Let w(t) be the third derivative of 0*t - 2*t**3 + 1/10*t**5 - 1/120*t**6 + 6*t**2 + 3/8*t**4 + 0. Let n be w(7). Is n at most as big as 1?
False
Let s(v) be the third derivative of -v**6/120 - v**4/24 - v**3/6 - 28*v**2. Let i be (-1 + 0 - -1)/1. Let z be s(i). Which is smaller: z or -3?
-3
Suppose 2*r = -4*j - 14, 3*j + 8 + 1 = 0. Let f = 1201/54655 - -1/643. Does f = r?
False
Suppose 3 = 3*g - 9. Let h be g/(-6) + (300/63)/5. Which is greater: -1 or h?
h
Let t = 0.1 + -0.3. Let g = -92 + 89.6. Let q = t - g. Is q greater than or equal to 2/5?
True
Let m = -173 + 86. Which is greater: m or -89?
m
Let p = -2.38 + 0.38. Let o = 13 - 12.76. Is o equal to p?
False
Let b = 11 - 8. Let f = b + 0. Suppose 3*h = -h + 16. Which is bigger: f or h?
h
Suppose -6*l = -2*l + 416. Let j be (-18)/(-30) + l/165. Do j and 1 have the same value?
False
Let v(b) = -3*b**2 + b - 65. Let g be v(14). Are g and -0.1 nonequal?
True
Let r = -1.58 + 1.8. Let p = r - 0.12. Is -3 at most as big as p?
True
Let c(a) be the third derivative of -a**5/60 - a**4/4 + 2*a**3/3 - 2*a**2. Let k be c(-6). Suppose 10*z + k = 11*z. Is z < 2?
False
Let h = 6578/3 - 2249. Let l = h + 57. Is l not equal to 0?
True
Let x = 795 + -796. Which is greater: x or -1/671?
-1/671
Let t = 15 + -14.8. Let z = -1.2 + t. Does z = -2?
False
Let o(c) be the second derivative of c**4/6 + 3*c**3/2 - c**2 - c. Let u be o(-7). Let l be (-24)/u*3 - -2. Which is smaller: l or 0.1?
l
Let h = -7 - -10. Suppose 5*p - 3*q + 4 = 0, h*p + 3*q = p + 11. Let j = -9949/29 - -343. Which is smaller: j or p?
j
Let y be (9 - 43)/(2/3). Let g be 1/((-4 + 7)/y). Which is smaller: -19 or g?
-19
Let p = 94 + -43. Let x = p + -48.7. Which is bigger: x or 0.1?
x
Let u = -1144905/41 - -27923. Which is greater: u or -3?
u
Let c = -9071/38 - -477/2. Suppose -4*k = 4*i + i - 95, i + 17 = k. Suppose 0 = -5*w + k, 2*p + 5*w = -3*p + 15. Which is bigger: c or p?
c
Let t = 13 + -9. Suppose -2*n - 2*v = -10, -5*v - 4 = 2*n - 23. Suppose -2*c = 3*g, -5 = -n*c + 4*g + 9. Are t and c non-equal?
True
Let n(k) be the second derivative of k**3/6 - k**2 + 6*k. Let q be n(3). Suppose 1 = -z - q. Which is smaller: -6/7 or z?
z
Let h = -324 - -323.95. Does -8/11 = h?
False
Let a = -208 - -207. Let n = 2595/13 + -201. Which is greater: a or n?
a
Let i = -34 + -3. Let r = 35 + i. Is -2 > r?
False
Let f = 150 - 151. Let w = -92 + 737/8. Is w greater than f?
True
Let k = -4.308 - -4.4. Let c = k - -0.908. Is c at most as big as -3?
False
Let i be (30/75)/((-3)/10). Are i and -2 equal?
False
Let s be 27/6 - (0 - -1). Suppose b - 3*g - 2 = 1, 4*g = -4*b + 12. Suppose -20 = b*p - 7