s y smaller than r?
True
Let u(a) = a**3 + 6*a**2 - 5*a - 11. Let g be u(-8). Let w = -92 - g. Is w > 8?
False
Suppose 98 = 2*s + 5*s. Suppose -6 = -4*c + s. Which is greater: c or 4?
c
Let x be (5/(-2))/((-56)/16 + -2). Let h(w) = -w**3 - 6*w**2 + 6*w - 8. Let a be h(-7). Is x < a?
False
Suppose -2*u = -4*c + 104, -u - 4 = c - 36. Suppose -22*l + 12 = -c*l. Is l smaller than -2?
False
Suppose -i - 4*y - 2 = i, -i - 2 = 3*y. Let n = -138 + 127. Which is smaller: i or n?
n
Let p = -20 + 26. Is -2 at most p?
True
Let b(s) = s**3 + 5*s**2 + 6*s + 4. Let p be b(-4). Let h(n) be the second derivative of -n**4/12 - n**3/3 + 11*n**2/2 + n. Let g be h(-5). Are p and g equal?
True
Let k = -578/7 - -217913/2639. Which is smaller: k or 1?
k
Suppose 0 = 24*c - 19*c + 50. Let a be 2/c + 9/15. Does -4 = a?
False
Suppose -d + 3*y - 26 = 0, -5*d - 110 + 16 = -3*y. Let w = 21 + d. Which is bigger: 6 or w?
6
Suppose -5*l + 5*w + 367 = 2*w, -4*l + 5*w + 304 = 0. Let b = -37 + l. Suppose 3*t = 4*j - 3*j - b, 0 = -3*j + 3*t + 78. Is j <= 22?
True
Let g be 2 + (2/1 - 0). Suppose -g*c + 3 - 7 = 0. Let x = -68/3 + 23. Which is greater: c or x?
x
Suppose w - 8 = 3*z - 2, -2*w = 3*z - 3. Let d(f) = 13*f**2 + f. Let x be d(-1). Which is bigger: x or w?
x
Suppose 5*a = 4*n - 210, 0*n = -2*n. Let m be (a/(-63))/(5/(-3)). Is m at least as big as -1?
True
Let p(j) = 3*j. Let d be p(-6). Suppose 14*i = 10*i - 76. Let r = i - d. Which is smaller: 3/10 or r?
r
Suppose 5*a + 0*a = 90. Suppose -3*s + 5*k = -46 - 25, 31 = 3*s + 5*k. Are s and a non-equal?
True
Let x(c) = -c**3 - 8*c**2 - 1. Let g be x(-8). Which is greater: g or -3/44?
-3/44
Let i be 39/(-52) - (-523)/(-12). Are -45 and i equal?
False
Let s = 4344 + -26137/6. Is s at least as big as -11?
False
Suppose 168 = 103*p - 104*p. Let v be (6 + -1)*(p/(-15))/(-7). Which is smaller: v or -3?
v
Let m(k) = 43*k + 300. Let z be m(-7). Is z <= -8/89?
True
Let y = 12 - 10. Suppose 4*j + y = 18. Which is smaller: 1 or j?
1
Suppose 0 = -2*w + 4*w - 756. Let x = -1884/5 + w. Suppose 5*p - 81 = -71. Is x greater than p?
False
Let c = 0.452 + -1.112. Which is greater: c or 10?
10
Let u be (2/1)/(74/1). Let v = -39 + 38. Is v at least as big as u?
False
Let z be 6/(-1826)*(13 + (-266)/21). Which is smaller: 1 or z?
z
Let s(b) = 5 - 2*b**2 + 39*b + 20 - 1 + 13*b. Let y be s(26). Which is smaller: y or 25?
y
Let t(v) = v**2 + 3*v - 6. Let k be t(-5). Let y be (5 + -1)/(k - 2). Let q be -1 - (-1 + 3 + 58/(-16)). Is y > q?
True
Let o = 69 - 74. Let h(f) = f**3 + 6*f**2. Let w be h(o). Which is greater: w or 23?
w
Suppose 5*p - 89 = -2*n, 2*n + p - 91 = 2. Suppose -v - 69 = -2*v - 4*c, 0 = 2*v + 2*c - 108. Is v at most as big as n?
False
Let m = 6 + -31. Let g = -24 - m. Is g less than or equal to -1/13?
False
Suppose -2*r + 5*r = 30. Let d be 352/r + (12/15)/(-4). Is 35 less than or equal to d?
True
Let i = -0.06 - 0.41. Let z = i + 0.77. Which is smaller: z or 0?
0
Let n(u) = u**3 - 10*u**2 - 7*u - 14. Let l be n(12). Which is greater: 189 or l?
l
Let z be (4 - 0) + (-440)/100. Which is bigger: 1/1566 or z?
1/1566
Let p(j) = 84*j - j**2 - 78*j + 7 + 14. Let c be p(11). Which is smaller: c or -1/3?
c
Let f be -3*3/(-18)*-4. Let z = -9 - -7. Is f >= z?
True
Let o(y) = -36*y + 73. Let h be o(2). Which is bigger: h or 2/205?
h
Suppose 0 = -3*q + 6*q + 102. Let l = -13 - q. Do l and 21 have the same value?
True
Let m be (-1)/7 - 5/(-35). Suppose m = -c - c - 16. Let q(o) = o**2 + 9*o - 11. Let t be q(c). Which is smaller: -20 or t?
-20
Let m be 0/(14/(0 + -7)). Let y = 7788/46655 - -6/1333. Let n = 8/35 + y. Are n and m nonequal?
True
Let p be (-6)/16 + 436/992. Let i be ((-10)/(-35))/((-2)/(-14)). Let y be (-8)/i - (-5 - -2). Is y greater than p?
False
Let p be 3*-1*(-2 - -3). Let f = -16621/3955 - -2/791. Is f not equal to p?
True
Let j(z) = 6*z. Let g be j(2). Suppose s = -s + g. Suppose -2 + s = -2*y. Are y and -5/7 equal?
False
Suppose r + 14*r - 420 = 0. Which is greater: r or 27?
r
Let w(v) = -2*v + 48. Let k be w(-7). Let b = k - 60. Let l = 3 - 2. Is l equal to b?
False
Let t(l) = l**3 - 8*l**2 - 7*l. Let o be t(7). Suppose -23*i = -23*i - 11*i - 1078. Is o <= i?
True
Let u be -4 + (-790)/794 + (-10)/(-2). Is 1 smaller than u?
False
Let w be (6/8)/(-1 + 23/24). Is -18 != w?
False
Suppose -3*f + 12 = -3*k - 0*k, -4*k + 4 = f. Let o = 33 - 23. Which is smaller: o or k?
k
Let i = -33 - -36. Suppose i*x - 4*x - 3*x = 0. Which is greater: x or -1?
x
Suppose 0*i - 121 = -11*i. Which is smaller: i or 9?
9
Suppose -37*i - 2380 = -17*i. Which is bigger: -588/5 or i?
-588/5
Let z(g) = g**2 - 3. Let y be z(0). Let p = -379 - -374. Is y smaller than p?
False
Let w be -10*(-10)/500*5. Is w > -9/118?
True
Let k = -1513 + 1285. Is -1139/5 smaller than k?
False
Let z = 584.02 + -575. Let c = 2.08 + z. Let d = 11 - c. Which is smaller: 2/3 or d?
d
Suppose -4*o - 26 = -5*k, k - 5*o - 4 = -3*o. Suppose 0 = -k*y - 126 + 204. Suppose 0 = -c - c + 24. Is c less than y?
True
Let b = 3220 - 3232. Let w = -0.3 + 0.2. Is w < b?
False
Let i = -58.9 - -54.9. Is i at most 16/11?
True
Let j(t) = t**2 - 4*t - 1. Let l be j(3). Let r be (l/(-130))/((-3)/75). Let z = -142 - -141. Is z > r?
False
Suppose 82*u + 10 = 83*u. Let d(r) = r**3 + 6*r**2 + 4*r + 5. Let j be d(-5). Is u at least as big as j?
True
Suppose 0*l = -2*l + r - 4, 4*l = -3*r + 2. Let h be (-1 - l) + (5 - (-28)/(-7)). Which is smaller: -30 or h?
-30
Let q be ((-6)/22476)/((-3)/(-12)). Is q > -1?
True
Let s = 333 + 117. Which is greater: 449 or s?
s
Let a = -5131802/43737 - 2/14579. Is a smaller than -117?
True
Let b(w) = w - 1. Let p be b(-6). Let k = 7 + p. Let c be k*(-3)/12 + -1. Which is smaller: 0 or c?
c
Suppose -40*d = 7*d - 282. Is 3/38 less than d?
True
Let g(q) = q**3 + 4*q**2 - 2*q + 2. Let d be g(3). Is 58 at least as big as d?
False
Let k = -154 + 124. Let x be (12/230)/(12/k). Which is greater: x or 1?
1
Let p = -9 - -12. Let c(q) = -q**2 + 5*q - 1. Let x be c(p). Suppose -2*j + 6 = 0, 3*j + j = -2*a + 20. Which is smaller: x or a?
a
Suppose 30*r + 30*r = 240. Suppose -5*p = -0 - 30. Do p and r have the same value?
False
Let u(m) = m**2 - 43. Let d be u(6). Is -97/16 less than d?
False
Let l = -12.5 + -2. Let b = l + -17.7. Let d = -32 - b. Is 1.2 < d?
False
Let x = -6.06 - -6. Let t = -1.69 + 3.75. Let m = t + x. Is m less than or equal to 1?
False
Suppose 0 = -0*j - j + 2. Let m be (21/210)/(8/60). Is m bigger than j?
False
Suppose -5*l = -37 + 27. Suppose 4*d + l*c = 2, 3 = c + 2. Which is smaller: -3/34 or d?
-3/34
Let l = -233.09 - -230. Let d = l - -0.09. Are -4 and d non-equal?
True
Let q = -41 + 40.96. Let t = -60.4 + 60. Which is bigger: t or q?
q
Let y = 226/7 + -33. Does -2 = y?
False
Suppose -4*j - k - 25 = -163, k - 172 = -5*j. Is j at least as big as -7?
True
Suppose 0 = -z + 7*b - 4*b, -z + 4*b = -2. Is z at least 0?
False
Let h = -194 + 2327/12. Let k be -5 - -3 - (1 + -3). Suppose 4*p + k*p = 0. Which is smaller: h or p?
h
Let w = 5 - 5. Suppose 10 = -5*a - 5*k - w*k, -3*k - 22 = -5*a. Let o be a*(-3 + 2 + -2). Is 2/7 >= o?
True
Let a = -255 + 290. Is a less than 36?
True
Let d = 322 + -317. Which is bigger: 1/5 or d?
d
Let b = -7 + 6. Let c be (-1180)/1680 + (-4)/(-14). Which is smaller: b or c?
b
Let z be ((190/15)/1)/(80/12). Which is smaller: z or -0.04?
-0.04
Let f(j) = j**3 + 12*j**2 + 9*j - 15. Let k be f(-11). Suppose 5*h - b = 1, -14 = 5*h - k*h - 3*b. Let r = 19 - 18. Is r greater than h?
False
Let b be (8/(-54))/(-1)*24/(-16). Is b < 1/48?
True
Let i(w) = w + 9. Let c(a) = 2*a + 18. Let f(q) = -3*c(q) + 5*i(q). Let d be f(-8). Let m = 2 + d. Does 6/13 = m?
False
Let a = 31.25 + -0.25. Let q = 47.3 - a. Let i = 16 - q. Is i greater than or equal to -1/2?
True
Suppose 0 = -3*u + 3*l, 0*l = -2*l + 4. Let s be 45/6 + 1/u. Let i(f) = -f**2 - 67*f - 985. Let q be i(-45). Which is greater: s or q?
s
Let w = 880 + -879.4. Let d = 5 + -5.08. Is w not equal to d?
True
Let v be (-2 - 1)*2/6. Let c be v*(-2 - 0 - 0). Let m be -1*(56/29 - c). Which is smaller: m or 0?
0
Suppose 5*r = 2*t - 4*t, 0 = 5*r - t. Suppose -4*q = -8, r*z - q - 7 = -3*z. Suppose -k + z = 2. Is k at least -1/9?
True
Suppose 0 = 2*l + 5*a + 11, 2*a + 1 - 3 = 0. Suppose 0 = 4*c - 2*y + 24, c + 