r: 1 or p?
1
Let l(b) = b**2 - 2*b - 6. Let f be l(0). Suppose 3*h + 18 = -0*h. Is f bigger than h?
False
Let t = -4 - -565/142. Let m = 349/284 - t. Is 2 <= m?
False
Let s be -1 - -3 - (-1 - 14). Suppose 2*w + m = -3*w + 1, w - s = 4*m. Let h be -5 + (1 - 70/(-18)). Which is smaller: h or w?
h
Suppose -5*o - 5*v = -45, -4*o + v + 1 = -3*o. Suppose -7*l + 10 = -2*l. Suppose 7 = -l*z - o. Are z and -5 equal?
False
Let t be 1/2*12/(-87). Let f = -3 - -4. Which is bigger: t or f?
f
Suppose -2*d + d = -4. Let i = 9 - 10. Which is smaller: i or d?
i
Let g be (-18)/(-21) - (-12)/(-42). Which is greater: 2 or g?
2
Suppose -22 = -4*d + 4*b + 10, -d + 3*b = -14. Suppose -d = 5*a - j, 2*a - j + 4 = -2*a. Which is smaller: a or -4/9?
a
Let r = -1.9 + 1.7. Let z = -1.97 + -0.03. Which is smaller: z or r?
z
Let f be 56/(-90) - 8/(-20). Let p be (-62)/4 + (-3)/(-6). Let t be p/28 + (-3)/(-12). Which is smaller: f or t?
t
Let k be 0 + -3*(-3)/(-27). Which is smaller: k or -3?
-3
Let h(l) be the first derivative of -l**4/4 + 7*l**3/3 - l**2/2 + 7*l - 3. Let w be h(7). Which is greater: 3 or w?
3
Let s be -3 - (-24)/((-6)/2). Let m(p) = -p**2 - 13*p - 14. Let k be m(s). Is 7 at least as big as k?
False
Let n = -110 + 111.7. Is -2/7 less than n?
True
Let y(v) = v**3 + 14*v**2 - 18*v - 35. Let r be y(-15). Is r smaller than 11?
True
Suppose 5 + 10 = 3*m. Suppose c = -2*y - 1, -m*c = 2*y - 0*c + 5. Which is smaller: -1/3 or y?
-1/3
Let n = -3/59 + -103/295. Which is greater: -44 or n?
n
Let t = -7 + 13. Let u = 15 - t. Let g be ((-9)/(-24))/(u/(-4)). Which is bigger: g or 0?
0
Suppose 0 = 4*d - 5 - 7. Suppose 5*l + 22 = -d*u, -2*l = 4*u + u + 24. Suppose 0*p - 5*h - 8 = 2*p, 4*p + h + 16 = 0. Is p at most u?
True
Let m be (-7)/(-6) + 1/2. Let v be ((-15)/(-10))/((-1)/(-2)). Does m = v?
False
Let c(a) = -a**3 - 9*a**2 + 11*a + 11. Let w be c(-10). Let z = 3098 - 9436/3. Let u = 47 + z. Is u at least as big as w?
False
Suppose -4*f - 2 = 5*x + 2, -2*f = -4*x - 24. Suppose 0 = -l + f*l + 3. Is -1/20 smaller than l?
False
Suppose -4*t - 8 = -h, -2*h - 2*t - 3 = 1. Which is smaller: 2/73 or h?
h
Let k = -7 + 12. Let p = k - 7. Suppose 5*b - 4 = -29. Is p greater than b?
True
Let o = -52 + 53. Let u = -5/42 + -3/14. Is u at least o?
False
Let l = 0.033 - 0.031. Which is bigger: -1 or l?
l
Let b(y) = -y**2 - 4*y + 1. Let r(n) = n**3 + n**2. Let u be r(-2). Let d be b(u). Which is bigger: -4 or d?
d
Let o(n) be the third derivative of n**4/12 + 10*n**3/3 + 9*n**2. Let l be o(-9). Which is bigger: l or 1?
l
Let f = 0.6 - 0.3. Let p = -2.04 - -0.04. Let z = -1.9 - p. Is f bigger than z?
True
Suppose 8 = -3*a - 5*c + 52, -4*c - 61 = -5*a. Let i = -14 + a. Do 7 and i have different values?
True
Let h = -64 - -63. Let x be 3/(-5) - 2/(-2). Is x <= h?
False
Let s = -24 + 36. Suppose 2*o - s = 6*o. Let n be (8/o)/(-4) + 0. Which is greater: 1 or n?
1
Suppose -3 = w - 2. Let u = 87/8 + -815/72. Is w != u?
True
Let m = 6 - 3. Let l be (m/(-4))/((-45)/8). Are 0 and l non-equal?
True
Let y(t) = t**2 + 8*t + 15. Let c be y(-7). Which is bigger: 6 or c?
c
Let y(p) = p**2 + 3*p + 2. Let o be y(-2). Let l = -4/253 + -23011/759. Let s = 31 + l. Is o > s?
False
Let u = -82/117 - -12/13. Suppose 29*a - 30*a = -1. Which is smaller: u or a?
u
Suppose -l + b + 1 = 0, -3*l + 5*b + 2 - 5 = 0. Let m be (l - 2)/((-15)/12). Suppose -r = -6*r - 3*n + 5, -r - 2*n + 8 = 0. Is m at least r?
True
Let b(g) = 2*g + 2. Let z be b(-2). Suppose 0 = -5*n - 5 - 5. Is n != z?
False
Let s be (-8)/(-12) + 209/(-6). Let i(f) = -f**3 + 10*f**2 - 13*f + 10. Let a be i(8). Let u = a + s. Which is bigger: u or -1?
u
Let n = -27/2 + 14. Which is smaller: n or -15?
-15
Let t = 0.22 - 0.33. Which is bigger: 2/5 or t?
2/5
Let u = 1.96 + -2. Let z = u - -0.44. Let h = -0.02 - 0.98. Is h greater than z?
False
Let k = -71/6 - -9. Which is smaller: -2 or k?
k
Let v(t) = 2*t**2 + 3*t + 1. Let x be v(-2). Suppose x*q - q = 6. Suppose 2*z = z - q. Which is bigger: z or -4?
z
Suppose -3*m + 14 + 25 = 0. Suppose -5*b + 34 = -31. Is m not equal to b?
False
Let x be 120/2*(48/10)/4. Is 72 less than or equal to x?
True
Let i(v) = v**3 + v**2 - v + 1. Let o be i(1). Let a(j) = -j**2 + 9*j - 2. Let y be a(9). Let m be 1/(-2)*1*y. Are m and o unequal?
True
Let u(n) = -n**2 - n + 3. Let g be u(-3). Let m be 1 + g + 2 + 4. Let w = -5 + m. Is w > -1/8?
False
Suppose -3*v + 50 = -0*o - 5*o, 2*o = 2*v - 36. Let k be v/(-18) + (-6)/9. Let y = 10/9 + k. Is -4 greater than y?
False
Let q = -17 + -4. Let w = q - -22. Let p = 67/172 - 6/43. Is w <= p?
False
Let f be (-3)/(-6) + 3/(-2). Let s be 1/((f/(-4))/(-1)). Suppose -q + 28 = -8*q. Is s > q?
False
Suppose b - 5*a + 59 = 0, b = -a - 3*a - 59. Which is smaller: b or -58?
b
Let k be (-16)/90 - 22/99. Let q = 0.06 + -0.09. Which is smaller: k or q?
k
Let d(n) = -n**3 + n**2 - n + 1. Let o(b) = -7*b**3 + 10*b**2 - 8*b + 5. Let k(q) = 6*d(q) - o(q). Let x be k(3). Is -4 at least x?
False
Suppose 5*b + 4*o + 13 = -1, -b - o = 3. Which is bigger: b or 1/2?
1/2
Let g(l) = -l + 1. Let a be g(0). Let k be 1*1/(a - 2). Let i be ((-8)/(-28) - -2) + -2. Do k and i have the same value?
False
Let c be (24/224)/((-14)/8). Let q = c + 2/147. Is -1 <= q?
True
Let b = -5 - 0. Let d = b - -1. Let q = d - -3.8. Is 3 at most as big as q?
False
Let h = -10 - -68/7. Is h bigger than 1/15?
False
Suppose s = -5*j + 15, -s = s + 5*j - 10. Let u be 1/(-2)*10/s. Are u and 1 equal?
True
Let s = 19 + 5. Is s greater than 24?
False
Let u = -1 - -0.3. Let t = u - -0.6. Which is greater: -0.2 or t?
t
Suppose -2*i + 4*i = 4. Which is smaller: 12 or i?
i
Let s be 87/(-9)*(1 + -4). Which is bigger: s or 28?
s
Suppose 21 = b + 6*b. Is b != 5?
True
Suppose 0 = -2*s - 3*s + 15. Suppose -11 = -s*p - 2*r, -3*r - r + 13 = -3*p. Is p >= -4/11?
True
Let l = 26 + -25.1. Which is bigger: l or -1?
l
Suppose 14 = -l - l. Let y be l + 4 - (-58)/18. Let i = 0.5 - 0.7. Which is smaller: y or i?
i
Let u = 1 - 1. Suppose 0 = -v - z + 2 + 4, u = 2*v - z. Are 1/2 and v equal?
False
Let h = -0.06 + 0. Let b = h - -0.03. Let d = -0.13 - b. Which is greater: d or 1/5?
1/5
Let r = -86.035 + 86. Are r and 0 non-equal?
True
Suppose 17 = -2*z + 3. Is z >= -2/7?
False
Let i(b) be the third derivative of -b**5/60 - 5*b**4/24 - 5*b**3/6 + 2*b**2. Let k be i(-4). Let q be (2*k*1)/(-4). Is 2 greater than q?
True
Let x be 0 + -3 + 1*3. Suppose p + 1 = -x*p. Let k be (7/(-2) + 3)/p. Is 0.1 at least k?
False
Let n = 31/22 + -10/11. Let r(y) = -2*y - 5. Let d be r(-5). Let k be ((-2)/5)/(d/(-25)). Which is smaller: k or n?
n
Let b be 1/(-2) + 11/2. Let y be (-1)/(-2 - 3/(-2)). Suppose -a - y*a - u = -7, b*a + u = 11. Is a bigger than 2?
False
Suppose 0 = 4*z - 35 - 81. Is z >= 30?
False
Let z be (-1)/3*(-30)/(-5). Let i = 5 + z. Suppose 0 = 4*y + 3*w + 1, -2*y - 2 = i*w - 3. Which is greater: 1/6 or y?
1/6
Let i(v) = -v**2 + 6*v + 7. Let f be i(7). Let h be 1 - f/(1 + -2). Let k = -18 + 53/3. Are h and k nonequal?
True
Suppose 0*z = -z - 2. Which is smaller: z or 1?
z
Suppose 0 = -t - 2*x + 5*x + 17, -t + 2*x + 14 = 0. Suppose 8*o + 198 = -122. Let k be (4/(-10))/(t/o). Which is bigger: 5 or k?
5
Let v(s) = s**3 - 6*s**2 + 2*s + 3. Let c be v(6). Which is smaller: c or 16?
c
Let n be (-4)/(-20) - 12/(-15). Is n at most as big as 3?
True
Let x be (0 - -4*1)/((-4)/8). Let m = -7 + 2. Let z = x - m. Which is greater: z or -2?
-2
Let j(f) be the second derivative of f**5/20 + 7*f**4/12 - 3*f**3/2 - 5*f**2/2 + 2*f. Let d be j(-8). Let i = -4 + d. Which is greater: i or -1/2?
-1/2
Let a be 3*2/14 - (-102)/154. Which is smaller: a or -2?
-2
Suppose -d + 6 + 5 = 0. Which is bigger: d or 10?
d
Let a = -1.2 + 0.2. Let r = -357 - -356. Is a greater than r?
False
Suppose 15 + 15 = 3*p. Let y = -12 + p. Is -2 at least y?
True
Let v = 108 + -118.6. Does -1/4 = v?
False
Let u be (-4)/20 - (-973)/(-35). Which is smaller: -109/4 or u?
u
Let o = -194/3 + 64. Let q = -0.1 - 1.9. Are q and o nonequal?
True
Suppose -97*t = -101*t + 4. Let r = 102/763 + 1/109. Does t = r?
False
Let g = -2 - -1. Let f be (-13)/(-21) + (-10)/35. Which is bigger: g or f?
f
Suppose 0 = 3*a + 5 - 2. Is -1/10 >= a?
True
Let v be (43 + 2)*8/24. Which is greater: 16 or v?
16
Let v(g) = -6*g - 6. Let k 