n or equal to p?
True
Let w = -9.865 + 0.165. Let z = w + 0.7. Let d = 8 + z. Is d bigger than 1?
False
Let r be (-6 + 324/45)/((-4)/10). Suppose 12 = -3*u - u. Is u not equal to r?
False
Suppose 5*u + 18 = 2*u. Which is smaller: -5 or u?
u
Let f = -0.07 + 0.08. Which is smaller: f or -3?
-3
Let m(c) = -c**3 - 3*c**2 + 4*c. Let l be m(-4). Is l not equal to -1?
True
Let b(t) = -t**3 + t**2 - t + 5. Let y be b(0). Suppose -4*x + 27 = -y. Suppose q + 3 = p, 3*q = -0*p + 2*p - x. Is p equal to 5/6?
False
Suppose 75 = -3*x - 4*z - 97, -281 = 4*x - 5*z. Let m be (x/30 - -2)*-3. Let q be (-1)/((12/(-2))/(-2)). Is q at least m?
False
Let l = -426451/105 + 28521/7. Let j = -90/7 + l. Suppose -7*d = 3 + 4. Is j less than or equal to d?
False
Let x be ((-16)/10)/(10/(-25)). Suppose -m - 3*m = -x. Which is smaller: m or -1/4?
-1/4
Let t be (-19)/20 + (-4 - -5). Is t != -1?
True
Let b be 435/100*2/(-42). Let s = 1/140 - b. Is s greater than or equal to -1?
True
Let g = 51 - 49. Let i = 3 - 4. Which is smaller: i or g?
i
Suppose 0 = 8*x - 110 + 22. Is x less than or equal to 11?
True
Let x be 0 - (2/2 - 3). Let q be (5/(-45))/(1/x). Which is smaller: 1/2 or q?
q
Let b(d) = d**3 + 6*d**2 - 5*d + 10. Let y be b(-7). Is y greater than or equal to -5?
True
Suppose 4*d + 0*t - 2*t = 16, -4*t - 10 = 3*d. Is 8/9 <= d?
True
Suppose 0 = -p + 5*p + 4. Let c = -1 - p. Are -4/3 and c nonequal?
True
Let b = -113.139 - -0.139. Is b equal to -0.1?
False
Let i = -86 - -254/3. Suppose -3*v - 11 = 5*c, 5*c - 3 = 4*v - 35. Let h be (-4)/v - 4/(-12). Is i greater than or equal to h?
False
Let o(s) = 2*s - 17. Let l(z) = z - 9. Let p(d) = -5*l(d) + 3*o(d). Let b be p(6). Is 2/5 < b?
False
Suppose 0*t - 5*k + 37 = -2*t, 21 = -t + 5*k. Which is greater: t or -17?
t
Let c be ((-2)/8)/(36/(-32)). Is c bigger than -13?
True
Let o(b) = -b - 18. Let l be o(-10). Is -1 smaller than l?
False
Let v = -8 + 7. Does v = -3.4?
False
Let z = 72 - 47. Is z greater than -1/2?
True
Let k(s) = s + 7. Let c be k(-20). Is c >= -12?
False
Let a(q) = -3*q - 20. Let u be a(7). Which is smaller: -39 or u?
u
Let n = -1.3 + 0.3. Let r = 0.5 + -0.1. Let l = r + -0.1. Does n = l?
False
Let g = 0.066 - -1.934. Is -0.5 at least g?
False
Suppose -33 = 4*o - 3*o. Let z = 22291/5 - 4425. Let y = o + z. Does y = -0.1?
False
Let w(z) = -z**3 - 4*z**2 - z + 3. Let p be w(-3). Suppose 0*j + 1 = j. Let q = j - 3. Which is bigger: p or q?
q
Let v = -8 - -13. Suppose -4*a + 3*i = 5 - 15, -v = a + 3*i. Let t be (1/(-4))/((-22)/16). Which is smaller: t or a?
t
Let j = -22 - -21. Is -2 at least j?
False
Let z = 2/33 + 20/33. Do -0.3 and z have the same value?
False
Let t = -113 + 112.8. Do -6 and t have different values?
True
Let x be 1/1 - 1 - -1. Let r(h) = h**2 - 3*h + 1. Let u be r(x). Let m be (-1)/(1/2) - 0. Is m bigger than u?
False
Let u be (-6*12/(-26))/(-1 - -3). Which is greater: 0 or u?
u
Let k be 6/(-27) + 88/(-9). Let l = k - -11. Which is smaller: -1/11 or l?
-1/11
Let r be 30*((-24)/(-15) - 2). Suppose 3*j = -2*q - 27, -2*q + 4*j - 1 - 19 = 0. Is q at most as big as r?
True
Let z(m) = m + 5. Let h be z(-6). Let s = -258/5 + 5408/105. Which is smaller: s or h?
h
Let c(b) = -b**3 - 11*b**2 + 4*b - 16. Let l be c(-11). Let o be (3/l)/((-2)/(-4)). Is 0 greater than o?
True
Suppose -3*r = -2*f + r + 22, -5*f + 23 = -2*r. Suppose -2*i = -0*i - 4. Which is smaller: f or i?
i
Let p(o) be the third derivative of -o**5/60 + o**4/8 + 7*o**3/6 + 2*o**2. Let u be p(5). Let h be (-2 - -1)/(4 + u). Do h and -1/8 have different values?
True
Let t be (-5)/6 + 2/4. Suppose -13 + 13 = -2*r. Is t >= r?
False
Let b = 78 + 4. Is 82 > b?
False
Let t = 75 + -73.8. Which is smaller: t or -5?
-5
Let k = 26 - 20. Which is smaller: 14/3 or k?
14/3
Let g(f) = f**2 - 4*f - 9. Let s be g(4). Let r be (-32)/18 - (-2)/s. Which is greater: -3 or r?
r
Suppose 0 = -2*x - x + 9. Suppose 5*u - 9 = -2*v - x, -3 = -v - 5*u. Suppose 0 = -t + 2*f + 10, 3*t - 2*t = -4*f - 14. Which is bigger: v or t?
v
Suppose -2*g - 14 = 4*n, -6*n + 4*n - 6 = 0. Which is smaller: 5 or g?
g
Suppose -5*s = 6 + 4. Let f = 73109/5349 + -2/1783. Let n = f + -15. Is n at least as big as s?
True
Let c = 53 - 29. Which is bigger: c or 2/3?
c
Let u be (6/110)/((-2)/5). Which is greater: 1 or u?
1
Let r = 3.14 + -0.34. Let w = r + -3. Which is greater: w or 1?
1
Let g(r) = -2*r. Let d be g(-2). Which is smaller: d or -4?
-4
Suppose -2 = -4*x + 6. Let n(d) = d**3 - 2*d**2 - d - 1. Let h be n(x). Is -3 less than h?
False
Let q = 775/7 - 111. Let g = -33 + 36. Does g = q?
False
Let f = 14 + -13.6. Do 0.4 and f have different values?
False
Let h = 5.9 - 6. Which is greater: h or 9?
9
Let q = -21 - -19.9. Let h = 4.98 + -4.88. Which is smaller: h or q?
q
Suppose 5*n = 4*m - 5*m + 11, m + 2*n - 5 = 0. Which is bigger: m or 12?
12
Let k = -1 - -3. Suppose 0 = -2*f + 2, k*a + 3 + 3 = 4*f. Is a < 1/5?
True
Suppose -2*z = -2 + 10, -2*p + 3*z = -2. Which is smaller: p or -6?
-6
Let b be (-1 - -1) + (5 - 4). Is 3/5 > b?
False
Let g be 126/(-236) - 10/(-20). Which is smaller: g or 1?
g
Suppose 6*m = -y + m + 24, 27 = -2*y + 5*m. Let h be 0/(2/(2/y)). Let j be (2/(-32))/((-2)/4). Which is greater: j or h?
j
Suppose -d = 3*f - 10, -f + 4*d + 4 = -2*f. Which is smaller: 3 or f?
3
Let n(h) = h**3 + 5*h**2 + 4*h - 2. Let m be n(-4). Let f = -355 - -352. Which is greater: f or m?
m
Let q(w) be the second derivative of -w**5/20 - w**4/3 + w**3 + 2*w**2 + 2*w. Let t be q(-5). Is -2 smaller than t?
True
Let f = 23 - 3. Let z = 15 - f. Which is bigger: 1 or z?
1
Suppose 5*w = 4*c + 81, 2*w + c - 22 = -0*c. Is w at most 10?
False
Let a = 18 + -19. Is a < -4/3?
False
Let j = -28 + 10. Let g be (-1)/(-2) + (-51)/j. Do 2 and g have different values?
True
Suppose 0 = 2*g - 3 - 3. Suppose 2*t - 1 = g. Suppose 5*d = 4*b + 3*d - 14, 0 = -t*d - 6. Is 2 not equal to b?
False
Suppose -11 = -d - 12. Is -20/17 less than d?
True
Let f be 58/4 + 12/(-6). Let i = f + -123/10. Let w = 0 - 0. Is i at most w?
False
Let k be (2/18)/(40/(-48)). Let f be 1/((-2)/(-2) + 0). Is f at most as big as k?
False
Let w = 160/119 + -9/7. Suppose -2 - 3 = 5*u. Are w and u unequal?
True
Let c = -0.08 + 0.12. Is -1 greater than c?
False
Let k = 4 + 26. Let o be k/(-7) - (1 - 5). Which is smaller: -1 or o?
-1
Let w = -30 + 30. Is w > 2/53?
False
Let d be (26/7 + -4)*-14. Which is smaller: -2/3 or d?
-2/3
Let s = 2 + -1. Let j be (3 - 2)/((-1)/(-5)). Let c = 6 - j. Are c and s unequal?
False
Let q(o) = -29*o**2 - o. Let t be q(-1). Let n = -33 - t. Is -19/3 >= n?
False
Let r be 2/(-4) + 88/16. Let f(n) = -4*n - 15. Let m be f(-5). Does m = r?
True
Let d be (-8)/36 + (-19)/(-45). Suppose -r = -2*b + 2, 4*r - b + 1 = -0. Suppose -h + 4*o + 20 = r, -h - 4*h + o = -5. Which is bigger: h or d?
d
Suppose -i - 5 = -5*o, 4*o - 16 = 6*o - 4*i. Suppose 2*d - 10 = q, 25 = 3*d - 2*q - 2*q. Is d bigger than o?
True
Let s(t) = -t**2 - 4*t - 2. Let a be s(-3). Let p = 208 + -1868/9. Which is greater: p or a?
a
Suppose 6*k = -1 - 5. Let i be (k + 4)/(-3 - -8). Is 0 < i?
True
Let q be (0 + (-6)/7)*-7. Let s be q/(-9)*3 - -3. Is s at most 1?
True
Let y be (-3 - 21/(-2))/(2/12). Is y at most as big as 134/3?
False
Suppose 41 - 51 = -w. Is w bigger than 13?
False
Let t = 29 - 18. Let k = 11.08 - t. Does 0 = k?
False
Let b = -18 - -21. Which is smaller: b or 3/4?
3/4
Suppose -93 = 10*w + 307. Which is smaller: 0.1 or w?
w
Let f(u) = u**2 - 2*u - 2. Let w be f(3). Suppose -g + 4 + 4 = 2*i, -5*g = -3*i - w. Suppose -4*b + 28 = 4*r, 3*r = 2*b - 3 - 1. Is g bigger than r?
False
Let j(q) = -q - 1. Let y be j(2). Let v = -2 - y. Which is bigger: -2/5 or v?
v
Let y be (2/5)/(72/132). Do 2/7 and y have different values?
True
Suppose 0 = 2*t - t. Suppose -5*o + 3*q + 0 + 25 = t, -o + 27 = -5*q. Which is smaller: 2/3 or o?
2/3
Let p be (-550)/16*520/(-284). Let j = p + -120/71. Let a = j + -61. Which is smaller: -1 or a?
-1
Let m = 92 + -92. Let a = 10/81 + -16/567. Which is bigger: m or a?
a
Suppose -12 = -2*i + 2. Suppose 0 = 2*s - 8, 2*s - 32 = -3*q - 6. Is q > i?
False
Let x(r) = -2*r**2 + 11*r - 11. Let v be x(4). Let t = 2763 + -290113/105. Which is smaller: t or v?
t
Let f = 36 + -23. Let j = f - 9. Which is bigger: j or 3?
j
Let o = 2 + -2. Let r b