5 + 2830. Let q = t + 24. Are x and q equal?
False
Let u = -0.2846 - -0.3846. Which is bigger: -6/53 or u?
u
Let s be 5/(3 - 2 - 2). Let w be (-52)/s + 6/(-15). Let i be (-111)/(-15) + (-4)/w. Which is smaller: i or 8?
i
Let p(r) = -4*r - 75. Let y be p(-19). Let s = -3231/35 - -473/5. Is y at least s?
False
Let x(n) = -15*n + 81. Let a be x(5). Is a less than 132/19?
True
Let r = 10/4979 - -102919/816556. Which is smaller: 1 or r?
r
Let t(y) = -y**2 + 8*y + 52. Let l be t(12). Let g be 3*((-44)/(-12) - l). Which is smaller: -1/62 or g?
g
Let y = -14.86 - -14.86. Which is smaller: y or 321?
y
Let k be 2/(-3) + (-21)/(-18). Let b = -11/6 + k. Which is smaller: 0.1 or b?
b
Let l(h) = -2*h + 13. Let i be l(8). Let j = i - -5. Let y be 8 - -2 - (-2 + j). Is y >= 9?
True
Suppose x + 2424 - 834 = 0. Let n = x - -68366/43. Which is smaller: n or -1?
-1
Let s(n) = -n + 12. Let u be s(11). Is 6/43 > u?
False
Suppose -7*y - 1656 = 1291. Is y >= -420?
False
Let l(x) = 121*x - 726. Let u be l(6). Is -26/35 > u?
False
Suppose 30 = -4*b - 2. Let o be (-1)/(-2)*b/38. Let c(s) = s**2 + s - 7. Let l be c(-3). Is l less than o?
True
Suppose 9*p + 0 = -18. Which is smaller: 6/11 or p?
p
Suppose 5*p + 4*x = p + 8, 4*p - 4*x + 24 = 0. Let i = -88693 - -793034/9. Let o = i + 577. Which is greater: o or p?
o
Let y = -3661 - -3193. Which is smaller: y or -465?
y
Let w be 18/117 - 118058/117. Let f = w - -1010. Let z(s) = s**2 - 7*s + 7. Let y be z(6). Is f at most as big as y?
False
Let x = 2 + -12. Let f(p) = -3*p**2 + p + 2. Let c = 14 - 12. Let d be f(c). Which is bigger: x or d?
d
Let w = 13 + -13. Let j(x) = x**2 - 2*x - 5. Let u be j(4). Let t be (u - 0)*(-1)/11. Which is greater: w or t?
w
Let f be 1/(-3) + (-220)/(-12). Let o be (-1)/3 + 980/60. Is f bigger than o?
True
Let c = 0.4 - 0.39. Let g = c - -1.93. Let l = g + -1.9. Which is greater: l or -0.1?
l
Let x(r) = r**3 + 8*r**2 + 9*r + 9. Let j be x(-6). Let t be j/63 + 1952/(-14). Let a = -413/3 - t. Are 0.04 and a equal?
False
Let v = 1 - 1. Suppose 4*p = 3*p - j - 7, -26 = 3*p + 4*j. Let t be 1 - (-3 - p) - 3. Which is smaller: t or v?
t
Let x = -7950.67 + 7983. Let f = -1.33 + x. Which is greater: -1/2 or f?
f
Let v = 37 + -29. Suppose -2*i = -5*c - 26, -2*c + v = -4*c. Let t be -3*(0 + 1/(-9)). Which is smaller: t or i?
t
Let t(o) = -o**3 + 9*o**2 - 16*o + 2. Let v be t(3). Is 3/8 not equal to v?
True
Let p = 20.9 + 6.1. Let k = p - 27. Let t = -3 + 2.6. Is k != t?
True
Let r = 11 + -21. Let s be 138/30 - (-6)/r. Suppose 0 = -5*p + p + s. Does -1.6 = p?
False
Let z be ((-3)/(-2))/((-4)/8). Let w = 78 + -79. Which is smaller: w or z?
z
Let v(o) = o**3 + 6*o**2 + 4*o - 1. Let d be v(-5). Let c be 9/(-201)*d/(-6). Which is bigger: -1 or c?
c
Let c(r) be the first derivative of -5*r**2/2 - 14*r + 1. Let h(w) = 11*w + 29. Let x(v) = 9*c(v) + 4*h(v). Let b be x(-5). Is -4 less than or equal to b?
False
Let s = -122 - -131. Do s and -5 have the same value?
False
Let j(z) = z**2 - 21*z + 175. Let s be j(8). Which is greater: s or 67?
s
Suppose 3*r - 53 = -2*a + 8*r, 5*a = 3*r + 123. Let z = 27 - a. Suppose 2*n - 2*i + z = 13, -13 = -n + 3*i. Is -1/13 < n?
True
Let w = 462 - 463. Which is smaller: -48/29 or w?
-48/29
Suppose -25*p = -2*p + 46. Which is smaller: p or 76?
p
Let n = 148 + -92. Suppose -3*b = 5*i + 16, 4*i + 2*b - 4*b + 4 = 0. Let s be 32/(-12)*i/n. Is -1 smaller than s?
True
Let z(t) = 2*t - 6. Let g be z(6). Suppose i = -5*q + 22, -4*q + 2*q = -4*i. Suppose 3*p - i*p + o = 4, -2 = p + 3*o. Is g equal to p?
False
Let d = 0.01 + 65.99. Let i = 57 - d. Is 0.01 less than i?
False
Let b = -1.78 - -1.6. Let i = 0.16 + b. Are 0.4 and i nonequal?
True
Let c be (2/6)/(7/147). Let a(t) = 6*t**3 + t**2 + 7*t - 1. Let f(j) = 12*j**3 + 2*j**2 + 15*j - 2. Let x(w) = 13*a(w) - 6*f(w). Let l be x(1). Is c equal to l?
True
Let g = 8 - 4.1. Let v = 4 - g. Suppose 2*a - a = 4. Which is greater: a or v?
a
Let t = -298370/111 - -2688. Which is greater: 1/4 or t?
1/4
Let l(a) = a**3 + 7*a**2 - 16*a - 23. Let u be l(-9). Let m be u/((-2 + 3)*-5). Is m < 8?
False
Let s = 30 + -31.9. Let v = 1.6 + s. Let o = -0.7 - v. Which is greater: o or 0.2?
0.2
Suppose 0*g - 4*g + 5*j + 3 = 0, 3*g - 6 = 3*j. Let m = g + -2. Suppose b + 0*b + m = -5*l, -5*b = 0. Is 2/23 at least l?
True
Suppose f = 4*f - 822927. Let z be (-2)/8 - f/(-1092). Let a = z - 251. Which is smaller: a or 1?
a
Let f be 4 + 1 + ((-2876)/412 - -2). Which is smaller: f or -1?
-1
Let z = -0.22 + 0.02. Which is smaller: z or -37?
-37
Let c = -9.04 + 9. Let l = c - 0.06. Let j = 2.2 - 2. Which is smaller: l or j?
l
Let f be (-3091)/(-33) + (-2)/(-9)*-3. Does 98 = f?
False
Let k be ((-2)/14 - (-470)/987)*-6. Let s(i) = -i**3 - 9*i**2 - 9*i - 6. Let z be s(-8). Suppose 3*c + 5 = z*c. Does c = k?
False
Suppose -c - 5*w + 96 = 0, -c + 3*w + 82 = -22. Let l = c + -101. Do 4/5 and l have different values?
True
Let h = 415.1 - 434. Let y = 19.55 + -0.55. Let n = h + y. Which is greater: -2/5 or n?
n
Let j(m) be the second derivative of -m**5/20 + m**4/2 + m**3 + m**2 + m. Let b be j(7). Let r be (98/(-12) + 7)*4 - -1. Which is greater: r or b?
r
Let g be 5 + -3 + (-34)/28. Let n = g + -15/14. Which is bigger: n or -1?
n
Let i(d) = 3*d**3 - 5*d**2 - 12*d + 7. Let g be i(3). Let b(n) = -5*n - 1. Let l be b(-2). Which is smaller: l or g?
g
Let f = -0.52 - -0.42. Which is bigger: f or -398?
f
Let o(r) = -r**3 + 3*r**2 + 3. Let z be o(3). Suppose l - z = -0*l. Let a be (-2)/l*(-15)/10. Which is smaller: -2/19 or a?
-2/19
Let z be 1300/(-125) - (-2)/5. Let p = -355 + 235. Let n be 2/(-4) + p/16. Which is smaller: z or n?
z
Let t(y) = -y + 2. Let k(j) = -3*j + 6. Let a(l) = 3*k(l) - 8*t(l). Let n be a(4). Let d be ((-5)/(-80))/(n/(-12)). Which is smaller: d or 1?
d
Let h = -421 - -422. Which is smaller: -3/179 or h?
-3/179
Let s(k) = k**3 - 11*k**2 + 2*k + 15. Let m be s(9). Which is bigger: m or -128?
-128
Let a(v) = v**3 + 45*v**2 + 22*v + 120. Let m be a(-44). Is m at least as big as 1087?
True
Let y(x) = 3*x**2 - 11*x + 5. Suppose -2*n - 19 = -27. Let m be y(n). Are m and 9 equal?
True
Let n be (-10)/2*6/15 + 8. Let p be ((-6)/(-4) - 0)/n. Which is greater: p or 1/6?
p
Let z be 65 + -97 + (-7)/(-1). Is z less than -25?
False
Suppose -3*w = 7 + 2. Let c be w/(4 - 5) + 4. Which is bigger: c or 2?
c
Let c = -516/5 + 14952/145. Which is bigger: 0 or c?
0
Let i = -7 - -12. Let g be (-1)/i + (-1088)/85. Which is greater: -16 or g?
g
Suppose -175*b + 169*b - 6000 = 0. Is -1000 greater than b?
False
Let p be ((-12)/9 - (-246)/171)*1. Is p at least as big as 7/11?
False
Let x be ((-368)/(-100) + -4)*(-7 + (-3399)/(-484)). Let b(k) = -k**2 + k + 1. Let z be b(0). Is x >= z?
False
Let v be (-2)/(-2) + (-4)/(-2). Suppose 0 = 2*p + r + 35, p + v*r = -2*r - 40. Let y be 4 - 69/p - 3. Which is smaller: y or 7?
y
Suppose -2 + 62 = -10*z. Which is smaller: 18 or z?
z
Let s be (-4)/(-10) - (-4)/(-10). Suppose 0 = t - 5*t - 12. Let k = t - -13/4. Which is smaller: k or s?
s
Suppose -3*i - 1 = 2. Let d = -2827/274108 - -4/2363. Which is greater: i or d?
d
Let i be 11/3 - (-3)/9. Suppose -i*a = -5*p - 6, 0 = -4*p - 4*a - 5 + 29. Let c be p - 28/(-44) - 3. Which is smaller: 1 or c?
c
Suppose 0 = -20*c + 8906 - 8786. Let l be (4/10)/((-1)/(-15)). Is c bigger than l?
False
Suppose 2*n - r - 156 = 0, -404 = -5*n - r - 0*r. Suppose 3*i - 8*i = 3*y - 127, -n = -2*y - i. Let t be 13/y - 2/4. Is t less than 1?
True
Suppose 0 = 9*l + l + 10. Which is smaller: l or -5/132?
l
Let n(i) be the second derivative of -i**7/2520 - i**6/80 - i**5/15 + 3*i**4/4 + 4*i. Let o(q) be the third derivative of n(q). Let a be o(-8). Is 2/9 > a?
True
Let b = 24410/14231 - 2/2033. Which is smaller: 1 or b?
1
Let k = 2099/2 - 1049. Is -105.6 greater than k?
False
Let b(p) = -8*p**3 - p. Let g be b(-1). Let v be -1*(g/(-9) - 12/(-10)). Is v equal to 1?
False
Let b = -1.51 - -15.51. Is b at most as big as -0.1?
False
Let i be -12 + (-2 - -2)/(-2). Let f(o) = -o**2 - 6*o - 3. Let s be f(-6). Let x(j) = j**2 + 7*j. Let b be x(s). Is b equal to i?
True
Let r = -5802 + 17162/3. Which is smaller: -82 or r?
-82
Suppose 4*c + 24 = 2*u, -5*u + 1 = -3*c - 3. Let s be 1/((-4)/c) - 2. Suppose -5*y = -s*y + 10. Is y >= 0?
False
Let 