: p or -1?
-1
Let l = 4 + -4. Let f = 1 - 0. Which is smaller: f or l?
l
Let j(o) = 18*o - 1. Let v be j(-3). Does -55 = v?
True
Let m = 71/33 + -20/11. Is 0.2 != m?
True
Let n be (-6)/(-92)*(-24)/(-18). Are -1 and n nonequal?
True
Let s = 0.1 - 0.2. Suppose -r + j = r - 39, 2*r = 2*j + 42. Let l be (-8)/126 + (-4)/r. Which is smaller: s or l?
l
Let u = 331 + -1317/4. Which is bigger: u or 1?
u
Suppose u + 11 = -u + 3*d, -3*u - 4*d + 26 = 0. Let t(x) = x**2 - 1. Let v be t(u). Which is greater: 6 or v?
6
Suppose -2*g + 5 = -d, -2*g = 3*d - 2 + 9. Is 1/125 < g?
True
Let z be (6/4)/((-3)/4). Let t = z + 4. Suppose 3*m = m - t. Which is smaller: m or 1?
m
Let v = 15 - 3. Let q be v/(-91) + 6/21. Let t(a) = -a**2 - a + 1. Let h be t(-2). Is q <= h?
False
Let f be 5*(21/15)/1. Let m = f - 9. Is -2 at least as big as m?
True
Let i(p) = p + 3. Let x = -2 - 0. Let z be i(x). Let n be 0/(-5) + (-16)/(-12). Which is smaller: z or n?
z
Suppose -5*q - 69 - 1 = 0. Let g = q - -10. Are -2 and g non-equal?
True
Suppose 5*f = 3*g + g - 1, -4*g = -f - 13. Suppose 5*h - 22 = -3*z, 6 = 2*h + h. Which is bigger: f or z?
z
Suppose -5*z - 15 = 0, -5*h + 2*z + 271 = 5*z. Which is greater: h or 55?
h
Let v(u) = u + 3. Let w be v(-5). Which is greater: -5 or w?
w
Let q = -26 - -40. Which is smaller: q or 12?
12
Let l = -8.9 - -9. Let c = l + -0.1. Which is smaller: -0.1 or c?
-0.1
Suppose 4*r = -3*h - 16, 4*r = 4*h + 15 - 3. Suppose -4*u - 10 - 2 = 0. Let a = u - 2. Is h less than a?
False
Suppose 2*u = -3*u. Let d be (-6)/(-12)*u/(-1). Which is bigger: d or 1/3?
1/3
Let s(t) be the third derivative of t**6/120 + t**5/15 - t**4/6 - t**3/3 - 2*t**2. Let k be s(-5). Let o be (-2)/k - (-8)/70. Which is greater: o or -1?
o
Suppose -3 = 3*s - r, 4*s + 1 = -r + 4. Let d be 5/(-7) - (1 - 2). Is d greater than s?
True
Let y(s) be the third derivative of s**4/8 - s**3/6 - s**2. Let r be y(1). Let d be ((-128)/(-15))/(-4) + r. Is d != 0?
True
Suppose -5*n + 3*c + 0*c + 1 = 0, 4*n + 12 = -4*c. Which is bigger: n or -5/3?
n
Let c = -45 + 134. Let k be (-8)/6*c/28. Let m = k + 25/7. Which is smaller: 1 or m?
m
Suppose 0 = -4*r + 3*z + 2*z + 9, z = 4*r - 5. Let y be (2 - (-32)/(-14))*r. Let m = 8.9 + -9. Is m less than or equal to y?
False
Let i(f) = -f + 24. Let x be i(13). Is 12 at least x?
True
Let y = 15 - 15. Which is bigger: 1/89 or y?
1/89
Let k = 435/76 + 29/19. Which is greater: 0.1 or k?
k
Let h = 2 - 3. Which is bigger: -19 or h?
h
Let k = -12 + 7. Is k smaller than 0?
True
Let d = -22 + 24. Are 2/3 and d non-equal?
True
Let w(h) = -h**2 - 3*h + 1. Let g be w(-3). Let l be (12/10)/((-4)/(-10)). Is g greater than l?
False
Let k = -3.3 - -0.3. Let p = k - -2.9. Suppose -3*u + 0*b + 1 = -4*b, 5*b + 2 = 3*u. Which is smaller: p or u?
u
Let h be (-9)/6 - (-3)/2. Suppose -d - 3*d = h. Which is smaller: d or -2?
-2
Suppose 3*f + 4 + 2 = 0. Let y be (f - 60/(-21))*7. Let v be ((-4)/y*-3)/4. Which is greater: v or 2?
2
Let g(z) = -z**3 - 3*z**2 - 8*z - 10. Let j be g(-4). Is 38 at least as big as j?
True
Let i = 3 - 3. Let b be (23 + 0)*(-18)/6. Let a be 0 - (b/24 - -3). Is i greater than a?
True
Suppose -3*c - 32 = c. Let a = c - -12. Let n be (6/(-4))/(3/a). Which is bigger: -1 or n?
-1
Let a = -26 + 26. Which is greater: a or -1/15?
a
Let v = 0.03 + 2.97. Let r = -1.6 + 1.6. Which is bigger: r or v?
v
Let t be (-33)/(-6) - 1*5. Which is greater: t or -3/19?
t
Let f be (2 + 1 - 1)*-1. Let p be f + 3/3*1. Which is smaller: p or 1?
p
Let z(c) = 5*c - 4 + c**3 + 7*c**2 - 10*c + 7*c + 13. Suppose -b + 0*b = 7. Let a be z(b). Do -4 and a have the same value?
False
Let c be (-1*78/14)/(-9 + 10). Which is bigger: -6 or c?
c
Suppose 2*g - 7 = -3*w - 3, 2*g = 2*w + 14. Let u(h) = h**2 + h + 29. Let k be u(0). Suppose 9 = -3*d, k = -5*y - g*d - 1. Are y and -3 unequal?
False
Let k be (48703 + -7)*(2 - -1). Let d = 3067273/21 - k. Let o = d + 83/3. Which is bigger: 1 or o?
1
Let n = -0.7 + -0.3. Let a be -2 + ((-2)/(-1))/1. Which is greater: n or a?
a
Let u = 48 + -30.2. Let m = u - 20. Let f = -0.2 - m. Which is greater: f or 1?
f
Suppose -c + 2*b - b = -38, -2*c + 5*b + 64 = 0. Which is smaller: c or 1/2?
1/2
Let o be ((-762)/150 - -5)*10/(-2). Is o less than or equal to -7?
False
Let r = 6 - -2. Let m = r - 7.9. Does m = -1/3?
False
Let k = -5 + 2. Let w = k + 3. Is 0 less than w?
False
Let k = -96 - -27358/285. Let c = k + -2551/1995. Which is bigger: c or 0?
0
Let w(u) = u**2 - 2*u - 2*u - 5 + u. Let n be w(4). Which is greater: n or -2/3?
-2/3
Let h be 2/7 - (-15)/21. Let q be h - 10/42*3. Which is bigger: q or 0.3?
0.3
Let t be (-18)/(-4) - 0/20. Which is smaller: 5 or t?
t
Let f(l) = -l**3 - 3*l**2 - 3*l - 1. Let k be f(-2). Suppose -3*i = k + 2. Let n be i/(7 - (-3)/(-3)). Which is bigger: n or 1?
1
Suppose m - 2 = 4*r - 12, 0 = 3*r + m - 11. Suppose 2 = r*x - x - 5*z, -1 = -x + z. Do x and -2/5 have different values?
True
Let v be (-8478)/105 + 4/(-10). Let q = v - -81. Which is greater: 0 or q?
0
Let l be (-4)/(-22) + 2/(-495)*-10. Is -1 less than or equal to l?
True
Let g be 3 + (9/(-3) - -1). Let p be (-1)/3 - (-7)/27. Let c = p + 35/108. Which is greater: g or c?
g
Let i = 2 + -2.1. Which is smaller: i or 8?
i
Let p be (-2*(-1)/6)/((-2)/12). Which is smaller: p or -3/5?
p
Suppose 5*r + 54 = -r. Is -10 greater than r?
False
Let t = 10 - 10. Which is smaller: t or 15?
t
Let m = -31 - 93. Is m equal to -124?
True
Suppose 4*f - j - 7 = 0, 2*j - 3 = 2*f + 1. Suppose 8 = f*w - 3*u + u, -3*u - 12 = 0. Let s be 1/(-2)*6/9. Which is smaller: w or s?
s
Suppose -d + 3 = -2*d. Let h be d/4 + 1/(-4). Which is smaller: h or -3/7?
h
Let n be -2 + 29 - (2 + -4). Let u = -25 + n. Let f be 2/3 - (-4)/3. Which is greater: f or u?
u
Let p = 627 - 16931/27. Which is smaller: 1 or p?
p
Suppose 0 = -2*g - 5 + 3, -7 = 4*u - g. Let l be 686/(-452) - -2 - 2. Let q = l + 2/113. Which is smaller: u or q?
u
Suppose -4*u + 18 = -2*r, -5*u + 8 = -r - 10. Let o = 64 + -66. Which is smaller: o or r?
r
Suppose -2*w - w = -9. Let f be 6/10*(-4)/w. Which is smaller: -0.1 or f?
f
Let w(h) be the first derivative of 5/2*h**2 - 1/3*h**3 + 1 - 2*h. Let d be w(5). Are d and -2 equal?
True
Let j = -63 - -61. Which is smaller: j or -80?
-80
Suppose 2*q = 5*n - 2, 2*q + 5*n + 20 = n. Let d = q + 11. Suppose 5*c + 0 - d = 0. Is -2 < c?
True
Suppose 10*n - 18 = 7*n. Let h be n/4*(-8)/(-240). Which is greater: h or 1?
1
Let o(i) = -3*i**3 + 2*i + 2*i**3 + 9 - 6*i**2 - 9. Let p be o(-6). Which is greater: 0.1 or p?
0.1
Let t be ((-21)/(-49))/((-3)/(-21)). Suppose g - t*g = -34. Is 16 greater than g?
False
Let s(q) = -8*q**2 + 5*q - 22. Let u be s(4). Are u and -129 equal?
False
Let f = -154 - -103. Is f < -51?
False
Let v(s) = 7*s + 48. Let d be v(-5). Which is smaller: d or 10?
10
Let w be ((-1)/2)/(1/2). Which is smaller: -3/13 or w?
w
Let b = 1.7 + 19.3. Let h = b + -23. Which is smaller: 4 or h?
h
Suppose -5*b = 4*c - 42, -3*c - 3*b + 22 = -c. Let q = 14 - c. Let n = 3 - -2. Is n not equal to q?
True
Let j be 8/90 - 2/15. Is 1 < j?
False
Let v be 3*2*(-4)/(14 + -2). Is -4/3 bigger than v?
True
Let p = -8 + 5. Let c = p - -9. Let j be -3 - 4*(-3)/c. Are -1 and j unequal?
False
Suppose 0 = -3*k + 4*k - 4. Suppose 0 = 3*v - v + k. Let g be 1 + v*(-4)/(-2). Is -4 at most g?
True
Suppose 2*w - 4 = 4*j, -2*w + 7 = -5*j + w. Let d be 3/2*2*7. Let g be 6/d - 8/14. Is g at least as big as j?
False
Let w be 2 - 2 - (0 - -1). Let j = -1/39 + -35/156. Which is smaller: w or j?
w
Let u = 1/333 + -33/37. Let k = -10/9 - u. Let t = 1 - 0. Is k greater than or equal to t?
False
Let p(k) = 3 + 7*k**2 + 2*k**3 + 1 - 3*k**3 - 6*k. Let h be p(6). Suppose o - 5*o = h. Is o smaller than -0.02?
True
Let l = -0.1 - -0.3. Let m = l - 0.2. Let p = -162/7 + 160/7. Is p < m?
True
Suppose z - 4 - 10 = 0. Suppose 17*s = z*s. Which is smaller: 3/4 or s?
s
Let s = 2 - 0. Let p be 3/(-2)*(-4 + s). Let c = p + -2. Is c at least as big as 0?
True
Let c be (-336)/(-2480) - (-2)/(-10). Let r(s) = -s**2 + s + 2. Let x be r(2). Is c less than x?
True
Let a = -3 - -2. Suppose 4*g + 4 = -5*r - 29, 0 = -3*g + 5*r + 19. Let y be (g + 1)*1 + 0. Are a and y unequal?
False
Let w = 14 - 8. Let l be (-9)/(-15) - w/(-15). Suppose -5*n = 5*a + 20, -5*a - 2*n + 7