p. Let o = -8 - t. Let l be -1 + 20/9 + -1. Is l less than or equal to o?
False
Suppose -4*k = -4*d + 40, -5*d - k + 4*k = -40. Let v(r) = r**3 - 6*r**2 - 7*r + 3. Let t be v(d). Let j = -515/9 - t. Which is smaller: j or -1?
-1
Let a = 0.14 + -11.14. Let l = 10 + a. Is l at most as big as 2?
True
Suppose u - 5 = -3. Suppose l = -5*s + 19, 4*s + l - 13 = -2*l. Suppose u = -w - 3*j, -5*j - 1 = s. Which is smaller: -1 or w?
-1
Let i = 98 + -100. Which is bigger: i or -13?
i
Let k = -13 - -15. Which is smaller: k or 0?
0
Let l = -18 + 10. Let y be -4 - -7 - l/(-2). Which is greater: -0.1 or y?
-0.1
Let o = -171/652 + 2/163. Which is smaller: o or 28?
o
Let x be ((-1)/(-4))/(8/32). Let t be (-6)/(-40) - (-4)/(-10). Which is bigger: t or x?
x
Suppose 6*f - f = 0. Suppose 4*d - 3*h + 0*h = 14, -5*h + 30 = 4*d. Suppose f = -d*g + 5. Is g not equal to 0?
True
Let t(n) = 2*n**2 - 1. Let h be t(1). Is -5/11 <= h?
True
Suppose 3*a = 3, 0*a + 3*a - 9 = -2*r. Suppose q - r*b - 4 - 2 = 0, 5*q = -b + 30. Which is smaller: q or 5?
5
Let l = 28 - 37. Which is smaller: -41/5 or l?
l
Let a = 1 + 2. Suppose -3*i + a = -6*i. Let r(u) = -u**3 + 2*u**2 + 3*u - 1. Let o be r(3). Is i < o?
False
Suppose -2*p = -8*p - 66. Is p at least 2/7?
False
Suppose 8 = -i - 2. Does i = 0.2?
False
Let q(f) be the first derivative of -f**4/4 + f**3/3 - f**2/2 + f + 1. Let u be q(0). Let g = 200/483 - -1/69. Which is smaller: u or g?
g
Let d be (-2 - 6/(-4))*-10. Suppose 5*i + 0 = -d. Is i equal to -1?
True
Let t = -2 - -2. Let x = t + 0.2. Let k = 6 - 6.1. Are k and x equal?
False
Let v = 0 - -2. Suppose 2*n - v = 8. Suppose 4*s - n + 1 = 0. Which is bigger: s or 2/7?
s
Let t = -657/2 - -335. Let f = -7 + t. Is 0.1 at least f?
True
Suppose 0 = m + 8*m + 396. Is m equal to 0.1?
False
Let s be (7 + -9)/((-8)/(3 - 2)). Which is greater: -62 or s?
s
Suppose 3*l + 10 = 4. Suppose 9 = -5*r - 16. Does l = r?
False
Suppose 2*d + 116 = 6*d. Let a = d - 28. Which is smaller: a or -3/14?
-3/14
Let z(g) = g**2 - 6*g - 6. Let f be z(7). Let h be ((-3)/(-2))/((-1)/(-2)). Let m be (-14)/(-6) + h/(-9). Which is smaller: f or m?
f
Let r = 5.07 - 0.07. Let m = 0.3 + -3.3. Let g = r + m. Is -1 at least g?
False
Let j = -5 + 3. Let t = 8.2 + -6. Let q = j + t. Which is smaller: 2 or q?
q
Suppose 0 = b - 6 + 2. Suppose 2*q + 1 = q - 2*n, -q = -4*n - 17. Suppose -q*k + k + 20 = 0. Which is smaller: b or k?
b
Suppose 11 + 2 = -13*d. Is d at most as big as 1/55?
True
Let i = -10.97 + 11. Do -8 and i have different values?
True
Let m = 667/4 + -161. Is m at most 6?
True
Let r(f) = -f + 5. Let s = 1 - -5. Let u be r(s). Suppose -15 = 5*h, -4*h - 10 = -2*z - 0*z. Do u and z have different values?
False
Let u = 0.2 - 0.4. Let z = -90 + 88. Are z and u equal?
False
Let g(z) = -z - 9. Let y be g(-11). Suppose 3*q - 4*u = 0, -3*q + y*u = -6*q. Which is bigger: -5/4 or q?
q
Let b = 1.7 + -1.3. Which is smaller: b or 1/3?
1/3
Let y = -0.85 + -0.15. Which is bigger: y or -0.1?
-0.1
Suppose 0*n = 2*n - 92. Let j be n/(-35) + 3/2. Let p = -1/10 - j. Which is bigger: -1 or p?
p
Let d(w) = -w**2 - 3*w - 1. Let z be d(-3). Is z < -1/27?
True
Suppose 14*d + 5 = 19*d. Let h = 27 + -18. Suppose 4*x = -h + 25. Are d and x equal?
False
Let b = 26198/31 + -845. Is b not equal to 1?
True
Let j(c) = 7*c + 3*c**3 - 4 - 5*c - 4*c**3 + 3*c**2. Let b be j(3). Which is smaller: 7/5 or b?
7/5
Let i = -657 + 651.02. Let j = 6 + i. Do j and -0.1 have the same value?
False
Suppose 5*c - 27 + 7 = 0. Is c != 2?
True
Let l = -4 - -3.92. Let b = l - -0.18. Which is greater: 1 or b?
1
Suppose 3*n - 17 = -4*i, -2*i + 1 = 2*n - 3*n. Suppose f = -n*f. Is -6 at most as big as f?
True
Suppose -5*v + 0 = -5. Is v bigger than -2/131?
True
Let q = 5605 + -1474117/263. Which is smaller: -1 or q?
-1
Let v = 0 + 3/5. Let j be 3/9 + (-1)/3. Which is smaller: j or v?
j
Let i be (4 - 5)*4/18. Do 0.1 and i have different values?
True
Let o be (-6)/10 - 18/(-30). Which is greater: o or 1/3?
1/3
Suppose 0 = 3*o - 5*o - 6. Is -5 less than o?
True
Let b = -638/5 - -128. Let w = 4 - 3.2. Let m = -0.8 + w. Is m > b?
False
Let x be 5/25 - (-156)/(-5). Are 1/2 and x equal?
False
Let m(t) = -t**3 - 7*t**2 - 4*t - 8. Let h be m(-6). Let l = -28 - h. Which is smaller: -7 or l?
l
Let z = -1/15 + 11/156. Let q = 511/2340 + z. Suppose -4*m - 3 = 1. Is m equal to q?
False
Let s = 1 - -1. Suppose -4*f = -3*i + 15, -2*i + f + 10 = -s*f. Let y = -2 + i. Which is smaller: 1 or y?
1
Let p = -60091/2380 + -1/595. Are -26 and p nonequal?
True
Suppose 3*i + 4 = -2. Let a = -4 - i. Let d be 0/(-4) + a/9. Is -0.1 greater than or equal to d?
True
Suppose -2*c - 8 + 6 = 0. Which is bigger: c or 4?
4
Let o be (-1)/3 + 4/(-6). Let a be 1/(-5)*62/(-4). Let f = -18/5 + a. Which is bigger: o or f?
f
Let b = 7 - -29. Which is smaller: b or 35?
35
Let s = -403/9 + 45. Which is smaller: 4/7 or s?
s
Suppose c - 3*o + 9 = -o, -o = 3*c - 8. Let k be ((-11)/110)/((-22)/(-24) + -1). Which is bigger: c or k?
k
Suppose c + 3*k = 3*c + 21, 4*k = -5*c + 5. Let r(n) = n**2 + 4*n + 3. Let g be r(-3). Which is bigger: g or c?
g
Let x be ((-3)/2)/(6/(-8)). Let w = 1151/501 - -6/167. Is x at most as big as w?
True
Suppose 2*x - x + 5 = 0. Let i(u) = -u**3 - 4*u**2 + 4*u - 5. Let l be i(x). Does l = 0?
True
Suppose -4 = 2*z + 2*q, 2*z - 3*q - 21 = -0*q. Suppose -2*y + 30 = z*y. Let c be (1/3)/(2/y). Are 0 and c equal?
False
Let r be 7/2 + 2/4. Let z = 224 - 226. Which is smaller: z or r?
z
Suppose 8 = -4*a - 4*s, a = s - 4*s - 10. Suppose 7*b - 4 = 5*b. Let u = b + a. Is 3 smaller than u?
True
Let g = 5254943 - 16074871035/3059. Let r = -4/161 - g. Is r >= -1?
True
Suppose -6*k = -k - 5. Let n = -1/30 + 2/15. Is n equal to k?
False
Suppose 0 = -4*r + 23 - 3. Let m = -7 + r. Which is smaller: m or -2/3?
m
Let i = 2 + -5. Is -2 != i?
True
Let o be ((-55)/44 + 1/(-4))*2. Which is smaller: o or -17/7?
o
Let x be (10/(-8))/((-4)/(-16)). Is x less than or equal to -4?
True
Let s = 45 - 21. Let a = s + -47/2. Let q = -618/5 + 124. Which is smaller: a or q?
q
Let r(d) = d + 5. Let w be r(-6). Let c be w + -1 + 0/(-2). Let b be (c/16)/(4/(-8)). Which is greater: 1 or b?
1
Let p be -2 + ((-2)/(-11))/(13/156). Which is smaller: p or -0.2?
-0.2
Let i(p) = -4*p - 4. Let d be i(-10). Let u be ((-2)/3)/(8/d). Is u less than -4?
False
Let w = 2/13 + 16/65. Let b be (-4)/1 + 2 + 1. Let r be (b/2)/((-1)/(-2)). Which is greater: w or r?
w
Suppose 0 = i - 5*i - 24. Is -5 != i?
True
Let b = 11 + -9. Let a be 4/12 + 1 + -1. Which is greater: a or b?
b
Let q be ((-1)/3 - 0)*-15. Suppose q*i = i. Are -2/11 and i nonequal?
True
Let q = 12 + -27. Let b be 6/4 - q/(-30). Which is greater: 20 or b?
20
Let a(t) = -t**2 + 11*t - 19. Let l be a(3). Suppose x - 5 + 1 = 0. Is x at most as big as l?
True
Let w be -3*((-5)/15 - 0). Is w smaller than 8?
True
Let x = -10.2 - -28.2. Which is bigger: x or 2/5?
x
Suppose 4 = -2*f + 2. Is f at most as big as 2/33?
True
Let p(x) = x + 8. Let u be p(-4). Suppose 3*a + 23 = -2*s + 7, 5*s = -u*a - 33. Let v be (s/55)/((-2)/4). Is 1 bigger than v?
True
Let s = 8 - 5. Let k(h) = h**3 - 3*h**2 + 2*h - 2. Let p be k(s). Is 4 <= p?
True
Let l = 0.62 - 0.72. Is l not equal to -2/37?
True
Let c = 123 - -48. Let w = 1195/7 - c. Which is smaller: -1 or w?
-1
Let w be 3/3 + 7/5. Which is bigger: w or 1?
w
Let s be (6/(-44))/(21/(-28)). Let c(r) = r**2 - 2*r + 2. Let y be c(3). Let o = -6 + y. Which is smaller: s or o?
o
Suppose 4*t - y + 1 = -6, -5*t - 2*y = -1. Let x = 23/3 - 10. Is x equal to t?
False
Suppose 0 = -u - 7 + 4. Let q be ((-27)/3 - -3) + u. Let n be (-3)/((-5)/((-60)/q)). Is n smaller than 5?
True
Let l = 215/152 + -15/19. Is 2 less than l?
False
Let q = -69 + 37/3. Let s = q - -56. Is -1 greater than s?
False
Let d = 2.92 + 0.08. Let u = -3 + d. Let f = 6 + -5. Which is smaller: u or f?
u
Let w be (-1)/(-4) - 158/(-8). Let a = w - 12. Suppose -j = -5*j - a. Is j >= -2?
True
Suppose 6*q = 2*q + 4. Suppose 0 = -3*u - 4 + q. Let z = 0.11 + -2.11. Does z = u?
False
Suppose -4*r - 6 = 2*n, 5*n - 2*r = -r + 7. Let t = 161 + -159.99. Let y = t + -0.01. Does n = y?
True
Let w = 6466/7 - 922. Is 3 greater than or equal to w?
True
Let i = 7.7 + -8. Let o = i + 0. Let p be 4/(1/(1/10)). Is o less th