et z = l - 42. Which is greater: r or z?
r
Let f be (-5 - 5)*8/10 + 9. Is 2/6497 at most f?
True
Let l(t) be the first derivative of t**5/30 + t**4/24 + t**3/6 - t**2/2 + 1. Let x(d) be the second derivative of l(d). Let f be x(-2). Is f less than 7?
False
Suppose -c - 5 = -2*u, 0 = -c + u + 3*u - 11. Let n = -434 + 420. Is n < c?
True
Let m = -95 + 663/7. Let j = 1.38 - 56.68. Let u = 58 + j. Which is smaller: u or m?
m
Let x = 141/115 - 42/23. Which is bigger: x or 0.06?
0.06
Let g(r) = 21*r + 9. Let i be g(-20). Is -409 != i?
True
Suppose -2*q = 5*x - 134, -3*q - 72 = 3*x - 6*x. Suppose -2 + 26 = 5*v + 3*u, -3*u + 15 = 2*v. Suppose 2*j + v + x = l, -3*j = 5*l + 37. Is j >= -15?
True
Let f be (72/15)/((-102)/(-2740)). Let h = f + -129. Which is smaller: 0 or h?
h
Let z be 295*((-36)/5 - -7). Is z greater than -59?
False
Suppose -3*c = c - 160. Suppose 39*m - c*m - 8 = 0. Is -8 greater than or equal to m?
True
Suppose -86 = -2*i - m, -2*i + 156 = 2*i - 2*m. Is i at least as big as 239/6?
True
Let b = -20.08 + 0.08. Let k be (-5)/(-10)*-2 - (-6)/1. Let p be 1/k + 44/20 + -2. Is b < p?
True
Let u = 286 - 295.36. Let h = 0.36 + u. Is h less than or equal to 0?
True
Let u = -6.28 - 1.44. Let q = -0.28 + u. Which is greater: -0.5 or q?
-0.5
Let w = -5.44 - 0.56. Let k = 0 + 3. Let a = k + w. Which is smaller: a or -1/3?
a
Let b = 5.93 - 6. Let p(i) = -i**3 + 12*i**2 + 2. Let m be p(12). Let j be (m/(-16))/(14/28). Which is smaller: b or j?
j
Let h(x) = -x**3 + x**2 - x + 3. Let b be h(0). Let v be 24/(6/b)*1. Suppose v*r - 15*r = 0. Which is bigger: r or -2/7?
r
Let n = 23.66 - -6.34. Is 12 less than n?
True
Let f(o) = o**3 - 2*o**2 + o. Let k be f(1). Suppose c + 1 = -k*c. Let x be (-1)/14*(c + 2). Is x greater than or equal to 0?
False
Let k be -20 + 998/16 - 6/16. Is 61 equal to k?
False
Suppose -3*p - 2*k + 3*k + 18 = 0, 0 = 3*p + 3*k - 6. Let a be (159/265)/(9/10*2). Does a = p?
False
Let l be (-1 - 3 - 5) + -45. Which is greater: l or -68?
l
Suppose -4*q + 2*q - 20394 = 0. Let s be 8/6*q/(-80). Let j = s - 170. Are 0 and j equal?
False
Let k(t) = 29*t**2 - t**3 - 15*t**2 - 2*t - 4 + 3 - 12*t**2. Let h be k(2). Which is greater: h or -19/3?
h
Let v be 49/12 + (-84)/1008. Let q = -10.05 + 0.05. Which is greater: q or v?
v
Suppose 0 = -4*g - 32 - 4. Let k be (1014/117)/(4/(-6)). Is k at least g?
False
Let c(d) = 2*d**2 - 18*d + 64. Let o be c(12). Which is greater: o or 137?
137
Let a = -1552675/14466 + -3/4822. Let r = a - -3572/33. Is -1 smaller than r?
True
Let q(w) = -45*w + 68. Let n be q(3). Is n >= -67?
True
Suppose -20 = 5*s + 5*b - 0*b, s = -2*b - 4. Let k(j) = -3*j. Let v be k(-2). Let p be v/12 - 39/6. Which is smaller: p or s?
p
Let m(k) = -k**3 + 5*k**2. Let q be m(5). Is q at most -9/14?
False
Suppose 12 = -3*o + 3, -2*v = -5*o - 15. Is 6/37 greater than v?
True
Let z be (-1 - (-7)/3)/((-9550)/(-10887)). Which is smaller: 2 or z?
z
Suppose 6*g - 22 = -34. Let o = -1 + 0. Let i be ((-2)/6)/(o/(-3)). Does g = i?
False
Let q = -5299/225390 - 1/1366. Which is bigger: q or 0?
0
Let o = -13370/3 - -4397. Suppose -405 - 8 = -7*s. Let g = o + s. Which is greater: g or 1?
1
Let n = -2.08 - -2.1. Let l(k) = 9*k - 14. Let f be l(2). Is n at most as big as f?
True
Let c be -32 - (4 - (1 + -1)). Let j = -356 + 645/2. Let f = c - j. Is -1/2 > f?
True
Let f(u) = 3 - 17*u**2 + 16*u + 119*u**3 - 2 + 2 - 118*u**3. Let n be f(16). Is 17/7 at most n?
True
Let o = -102 - -106. Let l = o - 7.4. Is l bigger than 2?
False
Suppose 2*t + 5 = 3*d, 4*d - 9 + 4 = 3*t. Suppose 2*m + 2*o = 3*o + t, o + 5 = 0. Suppose 2 = k, m = -2*j - 2*k - 0*k + 4. Is j at most -2/7?
False
Suppose 0 = -5*o - 2*y - 977, 4*o + 652 = -5*y - 116. Are o and -192 non-equal?
True
Suppose 0 = -26*a - 36*a. Is a at most -20/103?
False
Let o = 1235.94 + -1236. Which is bigger: o or 191?
191
Let t(m) be the second derivative of m**4/12 + 7*m**3/6 + 4*m**2 - m. Let i be t(-6). Let n = 0.316 + 0.084. Which is smaller: n or i?
n
Let q = 12.6 - 8.8. Let u = -5.8 + q. Which is bigger: u or -0.02?
-0.02
Suppose -10*t - 20*t + 19740 = 0. Which is bigger: t or 657?
t
Suppose -13*z + 4 = -9*z. Suppose -5*r = -9 - z. Let t be (3/(-15))/((-2)/6). Which is bigger: r or t?
r
Let y be (-198)/(-225)*5 - (-6)/10. Is y at least as big as -1/9?
True
Let j be 848/(-144) + ((-28)/36)/7. Are -6 and j equal?
True
Suppose -89 = 87*h - 2. Let c = -16381/218790 + 326/1287. Let p = -4/51 + c. Is h greater than or equal to p?
False
Let n = 51 + -119. Let o = n + 51. Which is bigger: o or -18?
o
Let b be (-5)/(-15) + 28/6. Suppose 0 = b*k + 6 - 36. Let j be (-55)/(-44)*4/k. Which is smaller: j or -1?
-1
Suppose 2*v - d - 5 = -2*v, 2*v + d = 7. Let b be -2 - (5 - v/(-1)). Let p be (-2)/b + 39/(-54). Which is greater: -2 or p?
p
Let l = 6/25 - 43/75. Which is smaller: 0.1 or l?
l
Suppose -s + 2*q + 12 = -5*s, -5*s = q + 9. Let g be (-2 + s + 3)/(1 - 2). Which is bigger: 2/169 or g?
2/169
Let i(f) = f**3 + 2*f**2 + 3*f + 3. Let d be i(-2). Let k be (-8)/4 + d + -1. Are -6 and k equal?
True
Let f = 0.9 - -0.1. Let m = 0.8 - f. Let l = -539 - -538. Is l at least as big as m?
False
Let b = -29 + 11. Let u be (-13)/(-3) + 6/b. Suppose y - u*g = 5*y - 16, 3*g = 3*y + 6. Is 2 > y?
True
Let x = -22.3 - -22.36. Let z = -50 - -48.06. Let p = z - x. Which is greater: -4 or p?
p
Let v be 2*(196/(-8) - -4). Let k = v - -57. Suppose 0 = 4*g - k, -5*y = 2*g - 4*g - 57. Is 12 at least as big as y?
False
Let k = -700 + 738. Is k smaller than -6?
False
Let l = 1050 + -544. Is l >= 505?
True
Suppose -3*w + 8*j - 80 = 4*j, 5*w + 5*j + 110 = 0. Let m = w + 18. Let h be 0 - (-9)/(81/m). Which is bigger: 0 or h?
0
Let n = -556 + 516.5. Which is smaller: n or 0.1?
n
Let w = 20 - -58. Let t = w + -544/7. Is t smaller than 0?
False
Let j = -9.5 + -35.6. Let w = j + 37. Let r = w - -8. Which is bigger: r or 0.4?
0.4
Let p = 430 - 429. Is 5/223 less than or equal to p?
True
Let v(w) = 10*w**2 - 10*w - 30. Let p be v(13). Let t = p - 13798/9. Is -1 greater than or equal to t?
True
Let o = -4.51 + 0.46. Let u = -0.25 - -0.2. Let q = o - u. Are q and 0.2 equal?
False
Suppose a - 2 - 2 = 0. Suppose -5*s = 2*g + 2*g - 21, -3*s - a*g = -19. Let q be 4/(-6)*6/50. Is q greater than or equal to s?
False
Let y(c) = -c**3 - 15*c**2 - 16*c - 28. Let n be y(-14). Which is greater: n or -5/22?
n
Suppose -4*s - 4 = -8*s. Suppose -x - s - 10 = 0. Which is bigger: x or -10?
-10
Let q be 19/4 + (-9)/12. Suppose -z = 2*z - 2*m + 27, 0 = q*z - 5*m + 43. Let a = -8 - z. Is a < -1/10?
True
Let g = -882 + 879. Let c = -1 - -1. Let d be g - 1*(-4 + c). Is d != -5/12?
True
Let c = 3.94 + 0.06. Let r = 0.03 - -2.97. Let g = c - r. Is g greater than -0.13?
True
Suppose 2*z - 2*p - 22 = 0, 37 = 3*z + p - 6*p. Let q = z - 5. Suppose -q*n = 0, 0*u = -u - 3*n + 2. Which is smaller: 4 or u?
u
Suppose -3*l = 1 + 23. Let o be ((-16)/24)/((l/114)/(-2)). Which is greater: o or -16?
-16
Suppose -m - 2 + 3 = 0. Let t = -5/6 + 5/3. Is m equal to t?
False
Let t = 807 + -807. Which is smaller: 0.0032 or t?
t
Let f be ((-54)/(-12) + -5)*22. Which is smaller: -15 or f?
-15
Let k = 3.2 + -4. Let z = -1 - k. Let t be 12/42*(-49)/(-35). Is t greater than or equal to z?
True
Let p = -118 - -118.1. Which is smaller: 0.047 or p?
0.047
Let f = -5291 - -3069. Let w = 28906/13 + f. Let a = 74/65 - w. Is 1/2 < a?
False
Let p be (-4)/(-108)*-321 + (-3)/27. Let t(l) = 5*l**2 - l - 1. Let o be t(-1). Let r be ((-12)/o)/(4/20). Is p at most as big as r?
True
Let f = -5.2 + 53.2. Let l = f - 48.05. Is -2 equal to l?
False
Let w(f) = -f**2 + 5*f + 1. Let s be w(8). Suppose 6*b = 2*b - 88. Let o be b - ((2 - 6) + 4). Is s at most o?
True
Let a(b) = 3*b**2 + 2*b - 2. Let i be a(0). Let m be 82/(-3 - (i + 1)). Is -41 at least m?
True
Let n(z) = -6 - 4*z - 60 + 26 + 0*z. Let p be n(-10). Is p != 2/85?
True
Let l(d) = d**3 - 7*d**2 - 9*d + 41. Let b be l(9). Are 122 and b nonequal?
False
Let n = 404 + -386. Is n >= 2?
True
Let i = -29 + 29.013. Let y = -0.04744 + -0.05256. Is y greater than i?
False
Let l be (-4)/18 - (-52414)/236520. Is -2/3 at least as big as l?
False
Let g(o) = o**2 + 13*o + 13. Let y be g(-13). Suppose y*t = -5*t + 7*t. Which is smaller: -2/479 or t?
-2/479
Suppose 2*s = -2*s - 36.