5. Let n = -4 + 4.05. Let w = s + n. Are w and -0.1 equal?
False
Let k be (4/6)/(2/3). Let y be (k - 0)/((-3)/3). Let d(j) = 10*j + 66. Let h be d(-7). Is y at most h?
False
Suppose 5*z = -3*c - 15, 5 - 2 = -z - 4*c. Suppose -3 = 4*l - 3*a, -5*l - 5 + 3 = -2*a. Suppose -3*u - 32 = 5*d, l*u - u = -d. Which is smaller: d or z?
d
Suppose 2*d = d - 8. Let f = d + 8. Does -1 = f?
False
Let x = -0.3 - 2.7. Suppose -7*g + 88 = -9*g. Let c = g - -306/7. Is x bigger than c?
False
Let g = 21 - 21.04. Is g greater than or equal to -1?
True
Let d(z) = z**3 + 5*z**2 - 6*z + 4. Let l be d(-6). Suppose l*v + 0*v = 0. Are v and 1 non-equal?
True
Let u be (2/(-18))/(2/4). Suppose s - 1 = -0*s. Let w(m) = -m**3 + m**2 - m. Let b be w(s). Is u less than b?
False
Suppose 0 = 5*h - l + 22, 27 = -3*h - 2*l - 2*l. Which is smaller: h or -19/4?
h
Let k = -1/9 - -13/36. Let v = 2 - 6. Let u be 0*v/(-8)*1. Is u at most k?
True
Let q = 389/10 + -39. Is q at least as big as -1?
True
Let p be ((-6)/(-57))/(-1)*-1. Let t be 0/2 - (-4)/4. Is t at most p?
False
Let t(y) = 28*y + 14. Let s be t(2). Is -1 < s?
True
Suppose -4*w + 8 = -z, z + 6 = -4*z + 3*w. Let a be ((-1)/(-3))/((-1)/3). Which is greater: a or z?
z
Let v(w) = -w**3 + 2*w**2 + 3*w - 1. Let l be v(3). Which is smaller: -2/13 or l?
l
Let s(a) be the third derivative of a**5/60 + 3*a**4/8 - 2*a**2. Let m be s(-9). Which is smaller: m or 4/13?
m
Let d(x) = -5*x**2 + 3*x. Let p(o) = 4*o**2 - 4*o. Let z(n) = -5*d(n) - 6*p(n). Let v be z(-9). Which is bigger: v or 1/4?
1/4
Suppose -6*y = -y. Suppose y*k + 3*k = 0. Which is smaller: k or -1/20?
-1/20
Let t = -5885/7 - -845. Are t and 3 unequal?
True
Let m = -12 + 17. Is 5 at most as big as m?
True
Let g = -0.07 - -2.07. Let c(n) = n**3 - 8*n**2 - n + 11. Let k be c(8). Let z = -4 + k. Is g less than z?
False
Let n(p) = 14*p - 77. Let o be n(15). Is 133 at least as big as o?
True
Let x be 4*(-6 + 5)*-1. Does x = 0?
False
Suppose -3*y - 12 = 0, 5*a - 12 = -2*y + 90. Let d be (2/a)/(4/24). Which is greater: d or 0?
d
Let a be (-6)/(-12) + (-9)/6. Is -1/11 less than a?
False
Let w be (-111)/78 - (12/(-8))/3. Is -1 greater than w?
False
Let n be (-4)/10 - 88/55 - -2. Is n greater than 1/125?
False
Let i(o) = o**2 + 3*o - 2. Let m(x) = -6*x + 5*x - 1 - 1. Let w be m(2). Let h be i(w). Is h at least 2?
True
Let w = -5 + 3. Let g be w/(-1)*4/(-6). Let o = g + 50/33. Which is smaller: o or 1?
o
Let l be (1/4)/((-95)/(-152)). Are l and 4 non-equal?
True
Let a be (-6)/284*(-16)/(-6). Let z = 1667721638/1065 - 1565936. Let y = z - a. Is y greater than 0?
False
Suppose 0 = -5*n - 3*p + 6, 5*n + 2*p = -1 + 5. Suppose -13 = 3*b + 4*s, b + 2*s + 7 = -n*s. Is b smaller than -1?
False
Let i = 6.23 - 6. Let w = 0.13 - i. Let p = -2.5 + 0.5. Is w > p?
True
Suppose -10 = -12*m + 14*m. Suppose 0 = 2*o - i + 14, 0*o - 38 = 5*o - 4*i. Which is greater: m or o?
m
Let u = -1.1 + 1. Let w be 2 + 9/(-7) + -1. Which is bigger: w or u?
u
Let j be -2 - 24/(-38)*3. Are j and -2/3 equal?
False
Suppose 44 = 3*f - 151. Let q be 6/(-39) - 16/f. Which is bigger: q or 2?
2
Suppose 2*i + 4*c + 23 = 5, -4 = c. Let w = -0.11 + -0.19. Which is smaller: i or w?
i
Suppose 5*x - 2*n - 386 = 0, x - 3*n + 371 = 6*x. Is 77 not equal to x?
True
Let h be -9 + 3/(-1) - -4. Which is smaller: -6 or h?
h
Let p = -0.4 - -0.4. Let w = 1/344 + -1383/2408. Is p < w?
False
Let p = 695 + -33361/48. Does p = -1?
False
Suppose -i = i - 4*m - 16, -2*m - 6 = 0. Let t = -3 + 1. Let f = t + i. Is f >= 0.2?
False
Let u = 29 + 5. Which is bigger: u or -2/7?
u
Let t be (-342)/(-280) - 1/(-4). Let l be 68/70 + 9/(-9). Let y = t - l. Are 1 and y nonequal?
True
Let o = -0.5 - -2.5. Let r = 21 - 15. Let q = r - o. Which is smaller: -0.1 or q?
-0.1
Let x = -1.6 + 2.6. Which is smaller: 0.1 or x?
0.1
Suppose 0 = 3*a + 4*a - 7. Is a at least 2/223?
True
Let h = -21 + 21. Is h less than or equal to -7/6?
False
Let r = 2.6 - 3. Let s = -1 - r. Let y = s + 0.5. Which is greater: -2/7 or y?
y
Let f = 2.6 + -1.6. Which is smaller: f or 4?
f
Let d = 8.4 + -1.4. Let x = d + -7.4. Let v = x - 0. Is v greater than 0?
False
Suppose -5*r + 12 = -r. Is 2 not equal to r?
True
Let v(o) = o + 1. Let x be v(-1). Let t = 4 + x. Suppose 0 = 2*b - 4*k + 6, 0 = -b - t*b + 5*k - 10. Which is smaller: 3 or b?
b
Let s = 28 - 18. Is s at most 10?
True
Let d be ((-4)/10)/(4/20). Let g be ((-4)/d + -2)*1. Let y be 0 + ((-15)/(-12) - 1). Which is greater: g or y?
y
Let b be (-143)/3 - (-2)/3. Let o = -142/3 - b. Which is smaller: 0 or o?
o
Let q be 28/6 + (-4)/6. Let t be ((-3)/(-9))/((-2)/(-12)). Suppose 11 = t*k + 3. Is q at most as big as k?
True
Suppose -2*r - 4 = -8*i + 4*i, -r + 8 = 3*i. Suppose -5*c - 15 = -r*c. Does c = -7/2?
False
Suppose -16 = -o - 0*o. Suppose 21 = -2*s + 5*t, o - 1 = 5*t. Is -2 smaller than s?
False
Let c(i) = i**3 - i**2 - 1. Let d be c(1). Let u(z) = 3*z**3 - 10*z**2 + z + 6. Let r be u(3). Which is smaller: d or r?
d
Let s = 4/9 - 10/9. Is s at least as big as 0.33?
False
Let l(y) = 3*y**3 + 1. Let f be l(-1). Suppose j - 4 = 2. Let c be j/(f/2) + 2. Is c at most -0.1?
True
Let l be (2 + -4 - 4) + 1. Is l less than -5?
False
Suppose -2*u + 11 + 5 = 0. Let o = u - 9. Is o at least -5?
True
Let w = -9 + 12. Let o be ((-2)/(w - 4))/3. Which is smaller: 0 or o?
0
Let q be -3 - (0/(-2) - 3). Let l be 1*(-3)/(-6)*q. Which is bigger: 3/13 or l?
3/13
Let c = -559/18 + 31. Which is smaller: c or 1?
c
Let a be ((-2)/(-6))/(3/27). Let t be (0 - (-11)/(-3)) + a. Which is bigger: t or -0.4?
-0.4
Let o = 2/23 - -40/69. Which is smaller: o or 12?
o
Suppose 4 - 3 = -t. Let x be (-2)/t - (-2)/(-5). Suppose -y + 21 = 5*a + 2*y, 5*a = 4*y + 7. Are x and a non-equal?
True
Let g(h) = h - 4. Let u be g(2). Let p(x) be the second derivative of -x**3/6 - 2*x**2 - 2*x. Let l be p(-3). Which is bigger: u or l?
l
Suppose -2*g - 16 = -2*l, 20 = 5*l - 4*g - 19. Suppose 30 = -0*h - 5*h + 4*w, -h = -w + l. Suppose 2*s - s = -2. Is s less than or equal to h?
True
Let k = 105239/85215 + -411/247. Let g = k + 2/69. Are 3 and g nonequal?
True
Let n = 7.18 - 0.18. Let q = -5 + n. Let a = 0.2 - -2.8. Is a != q?
True
Let d = 240 + -239. Let k be (2/17)/(-2 + 0). Which is bigger: d or k?
d
Let p(s) be the third derivative of -s**4/24 + s**3/6 - s**2. Let n be p(5). Are -1 and n unequal?
True
Let x(q) = -5*q**3 - q**2 + q. Let m be x(1). Let b be -6*3/6*2. Which is smaller: b or m?
b
Let w = 12/277 - 3709/2493. Let q = w - -5/3. Let s = -11 - -11. Is q at most s?
False
Let j = -14 + 7. Which is greater: j or -0.2?
-0.2
Let y = 105428/13 + -1517876/195. Let r = y - 326. Let q be (-2 - (1 - 2))/(-1). Which is smaller: r or q?
r
Suppose -2 = 2*l - 3*l. Suppose -2*a - 3*a = -2*r - 30, 0 = 3*a + l*r - 34. Suppose -a*j + 5*j = -6. Is j smaller than 1/2?
False
Let c be -3 - (4/(-4) + -3). Suppose -4*j + 8*j = 4*a + 4, -5*a = -3*j + c. Which is smaller: 2/5 or a?
2/5
Let u(k) = -k**3 + 2*k**2 + 2*k + 1. Suppose -6*p = -p - 10. Suppose 0 = -2*h - 2*c + 12, -4*h - p*c + 20 = 2. Let j be u(h). Is -2 <= j?
True
Let x(t) = -t**3 + t**2 - 1. Let s(c) = -5*c**3 + 4*c**2 + 3*c - 9. Let v(y) = -s(y) + 6*x(y). Let r be v(2). Which is smaller: r or -1?
r
Suppose 7*q = 8*q - 6. Suppose -2*u - q = -3*u. Is -2 at least u?
False
Let g = 255/11 + -23. Is g <= -1?
False
Let m be 84/(-312) - (-1)/(4/2). Which is greater: m or -1?
m
Let m = 2/1209 - 4874/22971. Is m bigger than 0?
False
Suppose 4*v - 6*o + 2*o - 56 = 0, 5*v - 66 = 3*o. Suppose w = 3*a + v, -4*a = -2*w + 4 + 12. Let b = w + -3. Is -3 bigger than b?
False
Let x(l) = l - 16. Let o be x(-2). Let g = 4 - 3. Which is smaller: g or o?
o
Suppose -3*s + 4*a = -s - 44, -2*s - 5*a + 44 = 0. Which is greater: 0.1 or s?
s
Let a = -123 - -131. Which is greater: 10 or a?
10
Let p be 1*2/(6/3). Which is smaller: -4/13 or p?
-4/13
Suppose -2*s = 4 - 10. Suppose 0*w + 2*w - 3*i - 9 = 0, -w + s*i = -6. Is w at least as big as 1/2?
True
Let s be 3126/7848 - 2/(-8). Let t = s + 2/109. Is t at most as big as 2?
True
Suppose 3*a - 4*w - 3 + 5 = 0, 2*a - 14 = -5*w. Which is smaller: a or 1?
1
Let x be -1 - (0 - (-4 + 0)). Let g = x + 5. Let a(b) = -2*b - 3. Let u be a(-2). Which is smaller: g or u?
g
Let m(c) = -c**2 - 4*c - 1. Let p be m(-8). Is p smaller