: p or 0?
p
Let t be (-2)/(-3) + 2/6. Let i be (0 - t) + (-6)/(-7). Let x = 2 - 3. Is i smaller than x?
False
Let a = 3 - 4. Let h be a*(0 + 1) - 0. Let j be 4/(3 - -1)*-4. Is h greater than j?
True
Let f = -0.034 - -9.034. Is f greater than or equal to -0.2?
True
Let n(w) = -2*w**3 - 2*w**2 - w + 2. Let f be n(1). Are -3 and f equal?
True
Let i = 42 - 42. Which is greater: i or -4?
i
Let c = 0.7 + -0.56. Is -3 less than or equal to c?
True
Suppose 0*l - 5*u = 3*l - 17, -1 = -u. Suppose -2*m + 12 = -l*c, -2*m - 3*m = -5*c - 40. Let j be 4/m - (-10)/(-25). Are j and -1/3 unequal?
True
Let v be (44/10)/((-17)/85). Is -22 bigger than v?
False
Let v(o) = -2*o - 13. Let a be v(-8). Let f be 2 - (-1 + (-4)/10). Which is greater: f or a?
f
Suppose 2*l - 4 = 2, -l - 2 = -5*j. Let z be (j - 11)*(-8)/10. Is z less than or equal to 8?
True
Suppose w = 4*w - 12. Let q = w - 1. Is -1/3 <= q?
True
Let x = -848 + 19516/23. Which is smaller: 2 or x?
x
Suppose 10 = c - 2*h, 5*c - 19 - 19 = 4*h. Which is bigger: 14 or c?
14
Let c be 18/((32/(-28))/1). Are -17 and c equal?
False
Let w be 0/(-2) + (-2)/(-7). Let u(n) = -3*n + 5. Let i be u(0). Are w and i unequal?
True
Suppose -3*h + 11 = 5*g, 5*h - 9 = 2*g - g. Let m be (8/(-6))/(4/(-6)). Suppose -h = -m*v - 0. Is -1/10 at most as big as v?
True
Let i = 10 + -6. Suppose -d + q - i = 5*q, 4*q + 4 = -3*d. Does -1/15 = d?
False
Let o be 1*(2 - 4) + 4 + 0. Let l = 1 - 1. Is l != o?
True
Suppose 0 = -3*o + 5*f - 20, -4*o + 0*f - 23 = -3*f. Let a = -11/2 - o. Is 0 at most as big as a?
False
Let w = 3.9 - 3.9. Is w greater than 0?
False
Suppose -3*l - l = 3*w + 6, -2*w - 4 = 4*l. Suppose 2 = n - l*n. Let a be ((-4)/16)/((-3)/36). Which is greater: a or n?
a
Let c be 2/(-5) - (-36)/(-10). Is c greater than or equal to -3?
False
Suppose 0*t + 2*t = -5*n - 9, 0 = 3*n + 15. Let l be 10/8 - 2/t. Is l at most -2/11?
False
Let p = -290 - -203. Let m = p + 171/2. Which is smaller: m or 1?
m
Let z = 195 + -1757/9. Is z < 1?
True
Let h = -10 + 26. Let m = -10 + h. Suppose 0 = -2*d - d + m. Which is bigger: 1 or d?
d
Suppose m + 6 = 11. Is 7 less than m?
False
Let o = 1009485079/1821963 + -1/58773. Let l = -554 + o. Which is smaller: 0 or l?
0
Suppose 0 = 5*a - 2*q + 51, q - 17 = 5*a + 36. Let b be (-1)/(48/44 + -1). Is b not equal to a?
False
Suppose 4*w - 2 - 9 = b, w = 3. Let a = 2 - 0. Which is smaller: a or b?
b
Let d(y) be the first derivative of y**3/6 - 4*y**2 + 2*y + 3. Let o(w) be the first derivative of d(w). Let g be o(6). Which is greater: g or -3?
g
Let h be (-16)/(-28)*42/(-12). Let v be h/(-10) + 186/120. Let z be ((-3)/(-9))/(4/3). Which is smaller: z or v?
z
Let z = 102 + -63. Which is bigger: z or 0.1?
z
Let r be (-29)/(-33) + 2/(-6). Which is greater: 2 or r?
2
Let k be (-2*9/(-4))/((-15)/(-20)). Suppose -4*l - 1 = -q - 6*l, l + 10 = 3*q. Suppose q*j = 0, 0 = 3*t - 3*j - 20 + 5. Is k at most as big as t?
False
Suppose -2*c + 4*h + 12 = 2, -5*h = 15. Does c = -6/17?
False
Let t(l) = 3*l**2 - l - 9. Let h be t(3). Is h at least 14?
True
Suppose 5*w - 15 = a, -2*a + 4*w = w + 2. Is 6 greater than a?
True
Let b be (-4)/(-2) + 4 + -9. Let w be 0 + (b + 0 - -3). Let d be (w - 0)/(-3 + 4). Is d at least 2?
False
Let r be (-10)/15*478/3. Suppose -3*i - 4*d = 2*i - 542, 4*i = 3*d + 415. Let a = i + r. Is 0 <= a?
False
Let c be 7/(-1) - (-7 - -2). Which is smaller: -14 or c?
-14
Let q be ((-20)/30)/((-2)/12). Are 14 and q nonequal?
True
Let u = 1 + -8. Which is bigger: 0 or u?
0
Suppose -5*v + 10 + 0 = 0. Let i be 0 - (-4 + 3 - v). Do 3 and i have the same value?
True
Suppose 5*t + 191 = 2*w, w + 2*w + 3*t - 339 = 0. Let l be 105/w + 4/(-18). Let b = -70/9 + 8. Is b <= l?
True
Suppose -a = -5*a + 8. Let u = 75 + -45. Let w be (-1 + -2)/(u/(-20)). Is w >= a?
True
Suppose -5*f - 5 = -z - 2*f, 15 = -3*z + 3*f. Is -9 <= z?
False
Let u = 11.02 + -11. Which is bigger: u or -2/9?
u
Let o(d) = -d**3 + 5*d**2 - 3*d. Let s be o(4). Are 5 and s non-equal?
True
Let d = 1 + -5. Suppose -17 = 4*j + 3*k + 15, -j - k - 9 = 0. Let t = j - d. Which is greater: t or 3/7?
3/7
Let x(k) = 5*k**2 + 7*k - 5. Let s(u) = -u**2 - u + 1. Suppose 2*o - 5 = 7. Let l(r) = o*s(r) + x(r). Let a be l(0). Is -1/8 < a?
True
Let m(w) = w**3 - 7*w**2 + 5*w + 4. Let c be m(6). Let t = c + 3. Let r = 68/5 + -617/45. Which is bigger: r or t?
t
Suppose 5*x + 31 = -4*a, 10*x + 30 = 5*x - 5*a. Suppose -4*r + 1 = 21. Let m = r - x. Is m != 2?
False
Suppose 5*f - 30 = -g + 6*g, 3*g = -4*f + 17. Let t = -49 + 73. Let b = -314/13 + t. Do b and g have the same value?
False
Let g be (160/12)/(2 - (-5)/(-3)). Is 41 less than or equal to g?
False
Let m = -5/2 + 5. Which is smaller: 4 or m?
m
Let v(m) = -m - 8. Let w(c) = 4*c + 4. Let h be w(-3). Let p be v(h). Suppose -21 = -p*r - 5*r + 2*z, 0 = 4*r - 5*z - 27. Is 3 greater than r?
False
Let k = -757/3 - -255. Which is greater: 1 or k?
k
Let t = -12.7 + -2.3. Let k = -16 - t. Do 2 and k have the same value?
False
Suppose -4*x - 3*m = -2 - 0, 3*x + 3*m = 0. Suppose -x*t = -f - 11, 0 = -f + t - 6*t + 17. Let i = -2 + f. Is -7/2 smaller than i?
False
Let w(r) = 2*r**2 - 18*r + 42. Let q be w(6). Suppose 3*o - 21 = -4*f + 5, 0 = 4*f - 8. Is o at least as big as q?
True
Suppose 0 = d - i + 3, 4*d + 0 + 16 = 3*i. Which is bigger: d or -3?
-3
Suppose 3*h + h - 16 = 0. Are h and 22/7 equal?
False
Let h(j) = -j**2 + 5*j + 1. Let c be h(5). Suppose -82*w = -84*w - 4. Which is greater: c or w?
c
Let m be (-3)/12 - 24827055/(-756). Let u = -32840 + m. Let y = u - 1/18. Is y less than 0?
True
Let u(m) = -10*m. Let f be u(-3). Let z = f - 61/2. Do z and 0.6 have the same value?
False
Let x be 60/(-52) - 6/(-39). Is 0 > x?
True
Let z(a) = -4*a**2 + 2*a**3 + 2*a**2 + 1 + 3*a - 6*a**3. Let i be z(3). Let f = 467/4 + i. Which is bigger: f or 0?
f
Let y = 48 - 239/5. Let o be 1/4*4/(-5). Which is bigger: y or o?
y
Let y = 16/13 + -187/78. Which is smaller: y or 3?
y
Let s = -52 - -51. Let v = -139 + 2083/15. Which is smaller: v or s?
s
Let g = -44 - -43.89. Let j = 1 + -0.99. Let n = g + j. Do n and -1/6 have the same value?
False
Let g = -0.02 - 4.98. Let y = -14 - -8. Let w = y - g. Is -0.2 less than w?
False
Let i be (-2)/(-1)*5/6. Let u be (-4 - -5)/(2/(-12)). Let j be (-2)/u*(5 - -1). Which is smaller: i or j?
i
Let n be 0/(-2) + (-4)/2. Suppose -2*y + 6*q - 15 = 3*q, 4*y - 4*q = -20. Let r = y + n. Is r greater than -2?
False
Let b = -18 + 15. Let o(q) = 5*q**2 - 4*q**2 + 5*q**2 - 5*q - q**3 - 5. Let a be o(5). Which is smaller: b or a?
a
Let u be 22/(-12) + 5 + -3. Let d(h) = h**3 - 7*h**2 + 6*h - 1. Suppose 4*c - 24 + 0 = 0. Let i be d(c). Is u greater than i?
True
Let t be 2/1 + -4 + 2. Let k = 2 + t. Let c be (16/108)/(k/3). Is c at least 2?
False
Let m = -22 + 57. Suppose -n = -4*a - 0*a - 8, -5*n = 5*a + m. Let s = a - -2. Which is bigger: -3/2 or s?
s
Let m = 1 + -0.6. Let z = 0.01 + 0.19. Which is greater: m or z?
m
Let y = -8 + -1. Let p = 0.82 - 0.72. Which is smaller: p or y?
y
Let v be 1/(-2) - (-9)/(-6). Let d = v + 7. Suppose 1 = -d*m + 11. Is 0.2 greater than or equal to m?
False
Let z be 1 - (-3 - 1 - 0). Suppose z*y + i = 16, y - 4 = -y - i. Is 3 greater than or equal to y?
False
Suppose 0*f - 2*f = -20. Is f >= 10?
True
Suppose -18 = 3*h - h. Does h = -8?
False
Let i = 2 - -8. Let c = i + -10. Suppose 0 = -0*a + 2*a. Is a >= c?
True
Let k be 4/30 + (-6)/45. Let y be ((-3)/6)/((-26)/(-4)). Is k != y?
True
Let i(c) = -c + 4. Let u = -7 - -12. Let s be i(u). Is s >= 1?
False
Let x(g) = g**3 - 5*g**2 + 4*g - 4. Let w be x(4). Are -4 and w nonequal?
False
Let c(u) be the second derivative of -11/2*u**2 + 0 + 2*u - 7/6*u**3 + 1/12*u**4. Let n be c(8). Which is smaller: -2 or n?
n
Let c = -59/2 - -29. Suppose -w + 54 = -7*w. Is w <= c?
True
Let h be (1 - 10/8)/((-11)/(-44)). Let g(n) = -4*n**3 - 2*n**2 - 2*n - 1. Let l be g(-1). Let r(t) = t**2 - 3*t - 1. Let k be r(l). Is h >= k?
True
Let u = -3/158 + -205/5846. Let d = -41/74 - u. Which is smaller: d or 5?
d
Let q(u) = -u**2 + 2*u. Let n be q(2). Let z = 5 - 6. Is z > n?
False
Let m(w) = w**3 + 3*w**2 - 3*w + 3. Let x be m(-4). Let q = 0 - 0. Are q and x nonequal?
True
Suppose 3*z = 12, -3*z + 5 + 7 = 2*s. Suppose s*r - 1 = r. Is r <= -1?
True
Let z be -3 + (-1)/((-