1/1006?
y
Let a be 32/28 - 1/7. Is a greater than or equal to 7/36?
True
Let b(l) = l**3 - 6*l**2 + 9*l - 13. Let p be b(5). Which is smaller: p or 11?
p
Suppose -5*l = 2*j + 5, -3*j = -5*j. Let a be ((-116)/19 - -3) + 3. Which is smaller: a or l?
l
Let t = 33/20 - 7/5. Let b be 5*6/(-45)*-6. Let v = 5 + b. Which is smaller: t or v?
t
Let b(g) = -171*g + 3. Let m be b(3). Let o be 1 + m/22 + (-14)/(-77). Is -21 greater than o?
True
Let t be 38*(-4)/14 - (-40)/(-280). Let i be 0/t - (-4)/(-46). Is i >= 3?
False
Let j(c) = 45*c - 13*c + c**2 + 11 - 9*c. Let t be j(-23). Which is smaller: 2/7 or t?
2/7
Let r = 419 + -422. Let p = 39/16 + -67/16. Is r at least p?
False
Let v = 69 + -65. Let c be 4/(v - 0) + 29. Let j(a) = 3*a**2 + 5*a + 1. Let k be j(-4). Are c and k equal?
False
Let u = -10 + -1. Let g = -13 - u. Suppose 0 = -o + 1, -3*a - 5*o + 17 = -0*a. Which is smaller: g or a?
g
Suppose -8*l = -5*l. Which is greater: l or 2/15?
2/15
Suppose -m + 26 = 33. Let t = m + 41/6. Which is smaller: t or -3?
-3
Suppose d - 16 + 5 = -2*b, -5*b + 20 = -5*d. Let k = 22 + -13. Which is smaller: d or k?
d
Let g be 0 + (-120)/36*(-24)/670. Which is greater: g or 0?
g
Let l(h) = -3*h**3 - 3*h**2 - 3*h - 1. Let c be l(-2). Let r(x) = 2*x**2 + 25*x - 61. Let g be r(-15). Is g less than or equal to c?
True
Suppose -2*k = -y - 3*y + 142, -5*y + 179 = -3*k. Suppose -2*i + 46 = y. Which is bigger: 1 or i?
i
Let j be ((-6)/(-12))/(2*2/(-32)). Let h = -0.7 + 1. Let v = h - -0.7. Which is greater: j or v?
v
Let d(j) = 4*j**2 + 2*j - 2. Let l be d(-4). Suppose 2*p = l - 6. Suppose 0 = -t - t - p. Is t less than 0?
True
Suppose 0 = 1423*n - 1421*n + 774. Which is greater: n or -1938/5?
n
Let j(n) = -112*n - 586. Let z be j(-8). Which is smaller: 312 or z?
z
Suppose 0 = -l + 4*r + 17, -6*l - 2*r = -l + 3. Suppose d + 30 = -3*n, -4*d - 2 = -2*n - 22. Let p be (-4)/n - 12*56/2205. Which is smaller: p or l?
p
Let t = -530 - -529.3. Let w = 2 - 2.1. Let k = w - -0.3. Which is smaller: k or t?
t
Suppose 5*x - 5*j + 25 = 0, 3*x = -x - 4*j - 60. Let s be 136/6*(-13 - x). Is s at most as big as -69?
False
Suppose 0*f = 5*f - 10. Suppose 0 = -5*d + 4*b + 919, -f*d - b + 322 = -43. Let c = d + -1283/7. Is -1 >= c?
False
Let n be (-2)/(-6) + 32/24. Suppose -2*q + 3 = -3*w - 4, 3*q + 5*w = 20. Let m = n - q. Is m at most -2?
True
Let j = -139 - -190. Suppose j = 2*i + 63. Suppose -4*b - 7 - 25 = 0. Is i > b?
True
Let h(s) = s**2 - 7*s - 35. Let f be h(11). Let w = 3.3 + -3. Which is smaller: w or f?
w
Let u = -87 + 87. Let h be (-22)/14 + -5 + 6. Which is bigger: h or u?
u
Suppose -y + 95 = 4*y. Suppose 2*t + 1 = 3*t. Suppose 0 = 3*c - 9, 5*c - t = -5*q + y. Are 11/5 and q non-equal?
True
Suppose 0 = 2*h, -8*h = o - 10*h - 6. Which is bigger: 95 or o?
95
Let y(f) = -f**2 + 10*f - 1. Let s be y(10). Let q = s + 6. Suppose 0 = -q*d - 6 + 1. Is d > -3?
True
Suppose -18 - 21 = -3*g. Suppose -2*u + 6*u = -3*v + 26, 74 = 5*v - u. Is v less than or equal to g?
False
Let l = 37/2 - 19. Let g(h) = -h**2 + 5*h + 30. Let d(f) = -f + 1. Let o(s) = 3*d(s) + g(s). Let v be o(-5). Is v greater than l?
False
Let b be (-1 - (-2)/(-4))*46/(-345). Which is greater: b or 74?
74
Let b be (12/9)/((-2)/(-57)). Let t = 28/457 - -68895/1828. Let s = b - t. Which is bigger: 24 or s?
24
Let v be 4024/35*-1 - -2. Let b = 572/5 + v. Let i = 4 - 3. Which is greater: b or i?
b
Let p be 2 - 128/(-6) - (-1 - -6). Is 19 < p?
False
Let i be ((-13)/((-195)/10))/((-4)/(-3)). Which is greater: -1209 or i?
i
Let o = -12 - -11.2. Let i = -1.1 - o. Let u = 0.1 + i. Does u = -2/11?
False
Let p be (-4)/(-6)*15696/32. Let z = -145 + p. Let w be (z/65)/(1/5). Which is bigger: 15 or w?
15
Suppose 4*x = 2*a + 82, -3*a - 164 = -x - 46. Is -37 < a?
False
Suppose 227 = -i + 9*q - 4*q, 4*i - 2*q = -854. Let g be (-1)/(-1 + (-216)/i). Which is greater: -52 or g?
-52
Let t be (-9)/((-351)/4)*(-15)/40. Let y be (-5)/(-15) - (-1)/(-3). Do t and y have the same value?
False
Let q = -2307 + 2310. Let z = 0.5 + -0.3. Is z bigger than q?
False
Suppose -2*y + 6 = -4*q, -9*q + 5*q + 3*y = 11. Let l(b) = 5*b - 1. Let h be l(1). Suppose h*j + 15 = 7. Which is bigger: j or q?
q
Suppose 4*j - 6 = 6*j + 2*h, -h - 7 = 2*j. Let a be (16/(-18))/2*6. Which is smaller: j or a?
j
Let k(x) = x**3 + 8*x**2 + 7*x + 3. Let f be k(-7). Suppose f*t + 120 = -150. Let r = -629/7 - t. Which is smaller: r or 0.2?
r
Let h(q) = -3*q**2 - 52*q - 231. Let g be h(-6). Which is bigger: g or -242/9?
-242/9
Let f(r) = r**2 - 9*r + 6. Let s be f(-3). Is s not equal to 43?
True
Let b(q) be the first derivative of -q**3/3 + 5*q**2 - 5*q + 4. Let a be b(10). Let i be (a - -6) + 6/(-2). Which is smaller: i or -3?
-3
Let d = -0.8 + 4.7. Let q = d - 4. Suppose 0 = -6*u - 38 - 52. Which is smaller: u or q?
u
Let i = 2.36 + -0.46. Let z = -5.3 + i. Let h = -10.6 + z. Are h and -0.1 nonequal?
True
Let y = -619 - -531. Which is greater: y or 4/7?
4/7
Let j = -23 - -28. Let d be j/20*2/4. Is -1/7 > d?
False
Let a(x) = -14*x + 47. Let c be a(-5). Is 117 > c?
False
Let s be (-2)/(12/15*(-15)/6). Which is bigger: s or 4/249?
s
Let h(q) = -10*q**2 - 12*q - 8. Let n(m) = m**2 + 1. Let p(y) = h(y) + 8*n(y). Let b be p(-6). Which is greater: b or -3?
b
Let f(h) = -6*h**2 - 3*h + 12. Let t be f(-9). Which is smaller: -446 or t?
t
Let m = 56261/47 + -1197. Are -0.1 and m equal?
False
Let c = 14.8 - 13. Let h = 1.8 - c. Is -3/2 at most as big as h?
True
Let c be (2 + -10)/4*-94. Suppose 8*q + 268 = -c. Is -56 at least q?
True
Let x = -682/15 + 131/3. Suppose -2*u - 14 = 4*j + 3*u, -5*j = 4*u + 13. Let k be 2 + -3 - (j - -3). Which is smaller: k or x?
k
Let r = 10 + -7. Let b(w) = -w + 2*w + 5 - w**2 + w**3 + 0*w**r. Let s be b(0). Which is greater: 4 or s?
s
Let x(i) be the first derivative of i**4/4 - i**3 - 3*i**2/2 + i - 1. Let b be x(2). Let h be ((-6)/b)/(4/6). Is h at least 1?
True
Let f be 2 + -1 + (-5 - -6). Suppose 0 = -f*y - y + 3*d + 27, -5*y + 33 = -d. Suppose 2*c - 8 = -2*x, 6*c - 5 = -2*x + 3*c. Is x greater than or equal to y?
True
Let a = -250 - -249. Which is smaller: a or 3/104?
a
Suppose 0 - 6 = -6*z. Let j = -27/5 - -28/5. Is z less than j?
False
Let d(r) = -r**2 - 3*r + 220. Let o be d(0). Is 219 greater than or equal to o?
False
Let y be (7/3)/(4/286). Let t be (4/(-2))/((-51)/(-4233)). Let m = t + y. Is m at most 1?
True
Let j(s) be the third derivative of s**5/12 + 5*s**4/24 + s**3/6 - 4*s**2. Let k be j(-1). Which is bigger: 1/121 or k?
k
Let x = -1235 + 1232. Which is bigger: x or -5?
x
Suppose -66*v + 61*v = 0. Is -2/2077 < v?
True
Let n = -664/3663 + -2/3663. Which is bigger: n or 0.1?
0.1
Let z be 6 + -6 - (-6 - -3). Suppose -2*l = -5*l - z. Which is smaller: -4/31 or l?
l
Suppose 5*q + 682 = k, 3*q - 2*q + 1400 = 2*k. Suppose 0*g = 2*g + k. Let p be (-288)/g + (-2)/13. Which is greater: -2 or p?
p
Let s be (-2)/(-6) - (-46)/6. Let r be 6/s + -1 - -2. Let a = -1178 - -1180. Are a and r nonequal?
True
Let p = 6.7 + 1.5. Let c = p - 8.2. Which is smaller: 31 or c?
c
Let l = 81 + -39. Suppose -5*p - 3*w - w + l = 0, w = 4*p - 21. Suppose s + 7 = p. Which is greater: s or -10/3?
s
Let b = -23.019 + 0.019. Let w = b + 36. Let d = -14 + w. Which is smaller: 0.5 or d?
d
Let p(x) = -x**2 + 2*x. Let n be p(2). Suppose -2*j = -n*j. Which is bigger: j or -4/13?
j
Let m(g) = g**2. Suppose 17 = 2*i - 5*k, -3*i - 2*k = -k. Let s be m(i). Suppose -9 = 2*c - s. Which is greater: c or -8/3?
-8/3
Let h(x) = -x**2 - 4*x + 4. Let g be h(-4). Let i be 6352/2728 - (-1 + g). Let o = i + 18/31. Which is bigger: o or 1?
1
Let k = -2 - 1. Let h = 4 + k. Let n be ((-2)/6)/((-18)/297) + -4. Which is bigger: n or h?
n
Suppose 5 - 1 = -3*x - o, 0 = 2*x - 5*o - 20. Let c = -104/7 + 1061/70. Is x less than or equal to c?
True
Let u = 53 - 61. Which is bigger: u or -26/3?
u
Let k(f) = -2*f**2 - 25*f + 36. Let a be k(-16). Which is bigger: -75 or a?
-75
Suppose 0 = 4*n - t - 133, -5*t - 3 = 2. Let p = -161/5 + n. Which is greater: p or 1?
1
Let o = 57.14 + -1.14. Let v = 57 - o. Is v greater than -3.5?
True
Let o(s) = -21*s - 6. Let u be o(-4). Let h = u - 102. Which is smaller: -23 or h?
h
Suppose 7*i = i + 18. Suppose -3*y + 11 = -i*z - 7, -5*y = 3*z - 22. Is -3 less than z?
True
Let n(r) 