5. Are 2/71 and l non-equal?
True
Let b(m) = -m**3 + 7*m**2 + 24*m - 43. Let q be b(9). Is 11 < q?
False
Suppose -4*k + u + 5 = -2*k, -2*k + 3*u = -15. Which is smaller: 4/491 or k?
k
Let c be 2/6 + (-10)/(-6). Let k be (-16)/2 - -7 - (-1 + -2). Suppose 0*v + 2*v + k = 0. Which is smaller: c or v?
v
Let j = -33 + 13. Let y = j + 6. Is y not equal to -14?
False
Let q = 1432 + -5767/4. Is -11 > q?
False
Let i = -291 - -562. Is i less than 269?
False
Let k(o) = o - 21. Let q be k(-20). Let m = -46 - q. Is m < -33/8?
True
Let x be (24/(-50))/((-15)/(-5) + -2). Is 3 <= x?
False
Suppose -5*l = -l - 4*u, 6 = -4*l + 2*u. Let c be ((-2)/(-13))/(2/l). Which is greater: 1 or c?
1
Suppose -5*y + 29 = 2*a, 4*y = -2*a + 6*a + 40. Let f be y/21 - (-11)/(-24). Let n = -1 - 0. Is f smaller than n?
False
Let a be 0 - 2*(-2)/(-200). Let u(z) = -10*z**2 - 138*z + 28. Let b be u(-14). Which is smaller: b or a?
a
Let p = -20.9 + 21. Let i(o) = o**3 - 9*o**2 + 14*o - 1. Let l be i(7). Which is greater: p or l?
p
Suppose -5970 = -3*x + 2571. Is 0 smaller than x?
True
Let p(f) = 4*f + 44. Let n = 15 - 25. Let z be p(n). Which is smaller: 6 or z?
z
Let s be (-20)/(-120) - (2 - 38542/21036). Is 0 not equal to s?
True
Suppose 0 = -2*a + 7*a - 4*o - 114, o - 134 = -5*a. Let v = -2900 + 2926. Is a >= v?
True
Let j = 80 + -80. Is j equal to 3/34?
False
Let n = 33 + -16. Let m = n + -16.1. Let h = m - 1. Is h greater than or equal to -3/2?
True
Let p(t) = t**2 + 2*t + 2. Let o be p(-3). Let x(k) = -k**3 - 11*k**2 + k + 14. Let z be x(-11). Suppose 0 = -o*b + z + 2. Which is greater: -1/6 or b?
b
Suppose 2 = -i + 11. Let z be ((-8)/10)/(i/90). Let s be (z/(-8))/(2/(-3)). Is -3 > s?
False
Let z(c) be the second derivative of c**5/20 + c**4/6 - c**2/2 - 15*c. Let w be z(-2). Suppose -2*h - 2 + 4 = 0, 2*m + 2*h = 0. Is m at least w?
True
Let q(c) = 4*c**2 + 76*c + 78. Let w be q(-18). Suppose 5*j + 0*j - 25 = 0. Which is smaller: j or w?
j
Let d(o) = o + 1. Let t(m) = -3*m - 15. Let g(p) = -2*d(p) - t(p). Let u be g(-8). Suppose -u*f + 7 = 2. Does f = -1/8?
False
Let t = -1.3 + 3.3. Let r = 1 - t. Is 0.22 bigger than r?
True
Let t(h) = -9*h - 249. Let j be t(-28). Let r(l) = -l - 4. Let y be r(-7). Do y and j have different values?
False
Let q = 185 - 95. Is q less than or equal to 90?
True
Suppose 3*z = 2*z - 3. Let v = z - 2. Suppose n = -7 + 3. Which is bigger: v or n?
n
Let j = -13971/4279 + -3/389. Suppose -4*r + 26 - 38 = 0. Which is smaller: r or j?
j
Let q = -13379/10 - -1334. Are q and -3 unequal?
True
Let w be -2*14/56*0/(-2). Is 407 bigger than w?
True
Suppose 4 - 20 = 2*y + l, 5*y + 22 = 2*l. Suppose 7 = -3*i + 3*c + c, 2*c = 3*i + 5. Let x be 8/(0 - 1) - i. Which is smaller: y or x?
x
Let n be -3 + 3 + 3 + 4. Suppose n*y - 10 = -2*g + 3*y, 0 = -3*g + 4*y - 15. Let t be (9/3 + -2)/7. Is t >= g?
True
Let t be 1/(4/60*3). Let i be 2/t - (-128)/280. Is 2 at most i?
False
Let p(j) = 3*j + 8*j**2 - 2*j**3 + 1 - 2*j - 13*j + j**3. Let i be p(6). Is i smaller than -50?
False
Let y be 22/(-99) - 395/(-900). Which is smaller: y or 0?
0
Let w = -1765.0179 + 1765. Is 0.2 > w?
True
Let y(w) = w**3 + 2*w**2 - 9*w - 4. Let g be y(-4). Which is bigger: -8/219 or g?
g
Let z = 4 + 0. Suppose 2*p - 87 = -5*b + p, -3*b = -z*p - 66. Suppose -3*f - 6 + b = -3*o, 0 = 3*o - 5*f + 18. Which is greater: o or -1/10?
-1/10
Let i(s) = -s**2 - 23*s - 153. Let a be i(-13). Is -23 smaller than a?
False
Let q = -1037 + 1170. Which is bigger: -1/4 or q?
q
Let r = -4.74 - -4.75. Is 29 greater than or equal to r?
True
Suppose 6*a - 87 = -51. Is a equal to 6?
True
Let s = -167.1 - -149. Let b = s - -0.1. Let t = b - -19. Are 12 and t equal?
False
Suppose 4*g - 8 = 3*d, -g - 19 = 2*g + 4*d. Let s be (g - (-1 - -2) - -6) + 2. Let q be (-19)/(-3) + (-4)/(-6). Which is smaller: s or q?
s
Let l = 2919119/88 + -870766/33. Let t = l - 6786. Let k = t + 11/8. Which is bigger: 3/13 or k?
k
Suppose -1639 = -5*a - 1599. Which is bigger: -48 or a?
a
Let n be 3 - (115/(-168) + 4). Let y = 1/56 - n. Which is smaller: y or 1?
y
Suppose -640*q = -638*q - 14. Which is smaller: q or 78/11?
q
Let b be (3/9)/(2/6). Let c be (4 + -4 + (-6)/(-27))/((-33)/11). Does b = c?
False
Let l = 0.0535 - -110.9465. Which is bigger: l or -2/5?
l
Let c = -35 + 40. Suppose -2*d + f + 8 = d, -c = f. Which is bigger: 2/71 or d?
d
Let r = -2.7 - -25.7. Let v = r - 23.5. Which is greater: 1 or v?
1
Suppose v + 6 = 13. Let i(a) be the second derivative of -a**5/20 + 7*a**4/12 + a**3/6 - 9*a**2/2 + 3*a. Let r be i(v). Is -2 less than r?
False
Let y be (-33)/(-3) + 14077/(-21). Which is smaller: y or -658?
y
Let m = -0.02 - 4.98. Let r(t) = -t**3 - 7*t**2 - 3*t + 8. Let j be r(-6). Let b = 12 + j. Is m equal to b?
False
Suppose -3*v + u - 1005 = 0, v + 486 = -4*u + 151. Let b = -1349/4 - v. Let m = -5/2 - b. Do 0.7 and m have the same value?
False
Let n = 41 + -12. Let v = n - 28.7. Is -0.01 < v?
True
Let y be 3/(-2 - 7/(-3)). Let f be y*((-6)/9)/(-2). Suppose -f*o = -o. Do o and 1/16 have the same value?
False
Let b = -2/193 + -3082/579. Which is greater: 3/7 or b?
3/7
Let u = -1066 + 1065. Let g = -1 + 0.5. Is g at most u?
False
Suppose 4*d - 21 = -4*o - 29, -o + 10 = -5*d. Which is smaller: 0 or d?
d
Let h = -1 - -1. Let w be 11524/774 - 60/4. Is w less than h?
True
Suppose 5*y - 4*m = -8, 0*y - 2*y - m = 11. Let d be 1/((-6)/y*1). Which is smaller: 1 or d?
d
Suppose -g = 3*o - 5, g - 15 = 4*g - o. Let y = -4 + 9. Suppose 3*x + 2*s = 6*s - 35, 0 = -3*x + y*s - 40. Is g < x?
False
Suppose 5*m + 3*r - 20 = 0, 2*m - 17 = -10*r + 7*r. Do m and -2/55 have the same value?
False
Let a = 2894/35 - 576/7. Suppose -5*z - 3*l + l + 5 = 0, 4 = 4*z + 4*l. Is z < a?
False
Let b = -1 - -10.9. Let t = -11.86 + b. Let o = t + 0.16. Is o greater than or equal to -0.1?
False
Let d = 351579156/49 + -41764652/7. Let j = d + -1208981. Let s = j + 275. Which is smaller: 1 or s?
s
Let k = 0.03 - 0.05. Let l = 214 - 215. Does k = l?
False
Suppose 0 = -2*v + 3*i - 9, 2*v + 1 - 16 = -5*i. Suppose -4 = -v*p + 4*p. Let x = -386 + 392. Do p and x have the same value?
False
Suppose 8*n - 72 = -0*n. Is n less than or equal to 2?
False
Suppose 40 = -y - 14*v + 12*v, -3*y - 2*v = 136. Is y at least -2?
False
Suppose 0 = -4*i - 2*u + 214, 105 = 4*i - 2*i + 3*u. Let o be ((-2)/(-4))/((-15)/i). Which is greater: -1 or o?
-1
Let n be (-57)/(-26)*2 - 5. Is n > -2?
True
Let x be 14/(-140) - (-4419)/(-10). Which is greater: x or -440?
-440
Let r = 0.05 - 0.08. Let w = -10 + 39.9. Let y = w + -30. Is y <= r?
True
Let y = 12 - 0. Suppose z + 36 - y = 0. Let v be 3*(2 + 46/z). Is 3 at most as big as v?
False
Let n = -42.899 + -0.101. Let h = n + 43.4. Which is greater: 3/10 or h?
h
Let h = 707.9832 - 708. Which is smaller: h or 0.1?
h
Suppose -2*d - 6*w - 679 = -5*w, -20 = -4*w. Is d < -343?
False
Let b = 0.365 - -197.635. Which is greater: b or 1?
b
Suppose -4*q = 2*v + v, -2*v + q + 11 = 0. Suppose 19 = n + v*f, -2*f + 16 = 4*n + 2*f. Let l = 2862/13 + -220. Which is smaller: n or l?
n
Let y = 249 + -247.985. Let n = 0.015 - y. Suppose 4*c = 5*c + 7. Which is smaller: c or n?
c
Let s = 218761/15381 - 128/9. Do 0 and s have different values?
True
Let u be (-3)/2*(-44)/(-33). Let v(c) = -1 + 3*c - 4*c - 2. Let q be v(u). Does q = -1/4?
False
Let g(j) = 3*j**2 + 17*j + 3. Let k be g(-6). Which is greater: k or 52/5?
52/5
Let m be 3/(-6) + (-2 - (-155)/60). Let u(f) = f - 1. Let l be u(2). Which is greater: m or l?
l
Let r = 26 - 0. Let q = 26.1 - r. Let l = 6 - 5.7. Do l and q have different values?
True
Let r be -1*-4*2/(-8). Let c be (-12)/9*(-3)/(-9). Are r and c equal?
False
Let r be 4/(-6) - (3270/(-477))/10. Is -1 bigger than r?
False
Let v = 25 + -38. Let w = v - -12. Let x = 7 + -3. Which is smaller: w or x?
w
Let d = -5141/2 - -2571. Are 63/8 and d unequal?
True
Let l = -0.471 - -0.571. Which is greater: -489 or l?
l
Let c = -23795953/671833415 - -863/53458. Let p = c + 1/914. Suppose -h = 2*j - 127 + 123, -5*h - 10 = -5*j. Does h = p?
False
Let w = -63892 - -702244/11. Is -52 less than or equal to w?
True
Let s = 26 + -25.98. Let n = s + 0.08. Is 15 bigger than n?
True
Let o(x) = -x**3 - 11*x**2 + x + 14. Let l = 22 + -33. Let n be o(l). Suppose 2*u - 30 = 4*y, -n*y + 3*