 p?
False
Let t = 0 - -4. Suppose 0*y + t = -4*y. Which is smaller: -1/5 or y?
y
Let s = -1.2 - -8.2. Let n = 1.7 + 1.3. Let l = s - n. Is 1/2 not equal to l?
True
Let q = 3.25 + -1.17. Let m = -6 + 4. Let b = q + m. Which is greater: 2/3 or b?
2/3
Suppose -10 - 10 = -4*n - 5*f, 2*n + 5*f - 20 = 0. Suppose n = 2*u - 1 + 3. Suppose 3 = 5*m + v, 5*m - 1 = 5*v + 14. Are m and u unequal?
True
Let y be 1/2 + 2/(-4). Suppose y = -o - o. Is o at least -1/6?
True
Let s(b) = -3*b + 3. Let j be s(-3). Suppose -3*c - j = -d - 2*d, 0 = c + 4. Suppose -f + d + 2 = 0. Is f less than 1?
False
Let y(v) = -v + 4. Let q = 18 - 13. Let x be y(q). Is x < 0?
True
Suppose 262*m = 267*m + 5. Which is smaller: m or -1/9?
m
Let p = -3.61 - 0.49. Let m = -44 - -40. Let q = m - p. Is 2 > q?
True
Let r = 7 - 4. Suppose -f = 2*o + 3*f - 2, r*o = 5*f - 8. Which is smaller: -2/3 or o?
o
Let l(u) = -u - 6. Let f be l(-7). Is f less than 3?
True
Let n(t) = -t**3 - 8*t**2 - 6*t + 7. Let s be n(-7). Let m = s - 2. Let v be m/(-1 + 1 + 2). Which is bigger: v or 1?
1
Let d(s) = s**2 - 8*s + 6. Let b be d(7). Which is bigger: 2/13 or b?
2/13
Let r = 14 + -3. Suppose -2*n - 1 = -r. Is n less than or equal to 5?
True
Suppose -4*x - 8 = -3*x. Let l(q) = -q - 3. Let d be l(x). Is 4 equal to d?
False
Let s = 20 - 12. Suppose 0 = p - 4 - s. Is p greater than 13?
False
Let z be (-13)/5*3/(-9). Let h = z - 6/5. Does h = 1?
False
Suppose 2*d = -2*d + 4. Suppose -3*g - d = -4. Let z = 0.4 - 0.3. Which is smaller: g or z?
z
Let t = 6731/4 - 1691. Let c = t + 289/36. Suppose 4*q = 4*w + 4, -5*q = 4*w - w + 3. Is q not equal to c?
True
Let h(m) = m**3 - 5*m**2 + 2*m + 1. Let t be h(3). Let g be (-3)/((0 - 1)*t). Which is smaller: g or -0.1?
g
Let y = -19/18 - -5/9. Is y at most 1/2?
True
Let h be (3/9)/((-3)/(-18)). Let g = h + 0. Is 0.4 < g?
True
Suppose 63 + 27 = 5*j. Which is bigger: j or 55/3?
55/3
Let h = -0.17 + -12.83. Let g be (6/10)/((-31)/(310/(-12))). Is g at least h?
True
Let u be (1/(-4))/(9/(-12)). Does -1 = u?
False
Suppose 5*w + x - 18 = 0, 4*w = w + x + 6. Suppose -2*a = w*a + 10. Suppose 3*o - 4*o - 3 = 0. Which is smaller: o or a?
o
Suppose -b + 2*l + 9 = -0*b, 5*b = -l + 12. Which is smaller: 9 or b?
b
Let b = 24 - 35. Let s(a) = a**2 + 12*a + 13. Let f be s(b). Is f at least 1?
True
Let y be 5*((-18)/(-60))/(6/(-8)). Is -1 greater than y?
True
Let k be 9/(-9) - 2/(-8). Which is smaller: k or 0?
k
Let j be (-1 - -2)*(-1 - -1). Let d be 2 + ((-4)/10)/(2/10). Is d > j?
False
Let b(n) = 2*n - 2. Let h be b(2). Suppose -4*i + 0*y = 4*y - 4, 0 = -h*i - y + 2. Which is smaller: i or -2/5?
-2/5
Let w = 18 - 29. Let b = w - -11.2. Let c(g) = g**2 + 7*g + 7. Let k be c(-6). Which is smaller: b or k?
b
Let u = -0.01 + -7.99. Let o = u - -5. Which is smaller: -0.1 or o?
o
Let o = -20.853 + -0.047. Let n = o - -21. Suppose 4*k + 19 = -3*b, -b = -1 + 6. Which is smaller: k or n?
k
Let c = 0.08 - -0.92. Which is bigger: -3 or c?
c
Let t be 18/(-14) - (-3 - -2). Is 17 > t?
True
Suppose 5*a = a. Suppose a = -9*h + 4*h - 10. Do h and 0 have different values?
True
Let f = -5 - -5.06. Let n = f + 0. Which is greater: n or 0.1?
0.1
Suppose 2*c = t - 9, 12 = 3*t - 3*c - 0*c. Let a = 0 + 2. Suppose -u - 1 = a. Which is bigger: u or t?
t
Suppose 10 = 3*a + 4*b, -4*a = 2*b + 2*b - 16. Suppose a*i - 5*i = 0. Which is bigger: 2/19 or i?
2/19
Let l be 181/2*5/(-30). Let a = l + 46/3. Which is bigger: -1/5 or a?
a
Let a = 27 + -27.22. Let y = a - 0.08. Let l = -0.2 - y. Which is bigger: l or -0.2?
l
Let u = -21 - -20.5. Is -1 < u?
True
Let r = -23.2 + 23. Is 1 at least r?
True
Suppose -2*d - x + 4*x + 144 = 0, -5*d + x = -386. Which is smaller: d or 79?
d
Let j(b) be the first derivative of -b**4/4 - 5*b**3/3 + 4*b**2 - 3*b - 1. Let n be j(-6). Let l be (3 - 1) + 20/n. Which is bigger: l or -2/5?
l
Suppose 0*l = 3*l + 3. Let a be 9/(-10)*135/438. Let j = a + 2/73. Which is smaller: l or j?
l
Let s = -1 + 0.75. Let g = 24 + -23.95. Let j = g + s. Are 1 and j non-equal?
True
Let p be (-38)/(-3)*(-21)/14. Which is greater: p or -20?
p
Let f be ((20/(-6))/1)/4. Which is bigger: -2 or f?
f
Let c(a) = -a**2 + 5*a - 5. Suppose 5*q = q + 16. Let d be c(q). Is -2 at least as big as d?
False
Suppose 0 = -3*z + 32 + 16. Let k = z + -16. Let v be 1*(-2 - -1)*0. Does k = v?
True
Let j = -19 + 21. Suppose -5*k - 5 = -25. Let d be 3*(j - 6/k). Is d less than 1?
False
Let u = 452 - 446. Let q be 13/2 - 1/2. Do q and u have different values?
False
Suppose 9 = -3*v - 0*v, 0 = 2*u - 3*v - 615. Let h = 1509/5 - u. Which is smaller: h or -1?
h
Let c be (-9)/(-6)*(-1 - -13). Suppose -s + c = s. Which is greater: 8 or s?
s
Let i = 41/30 + -7/10. Which is greater: i or 7/13?
i
Let h be (2/3 + 0)*15. Let d = h + -10. Which is smaller: -1.2 or d?
-1.2
Let m = -0.3 - -0.2. Let k = 569.2 + -569. Is k at most as big as m?
False
Let f(p) = p**3 + 5*p**2 + p + 5. Let h be f(-5). Let x = 13/2 + -20/3. Do h and x have different values?
True
Let w = -752/7 + 107. Which is greater: w or 1?
1
Let y = 64 - 64.31. Let x = y - -0.01. Which is smaller: 0 or x?
x
Let h = -1.8 - -2. Let f = h - 0.6. Let w be ((-26)/6 - -1) + 4. Is w less than or equal to f?
False
Let h be 3 + (-23)/3 + 5. Let d = 5057/15 - 337. Which is bigger: d or h?
h
Let v be (3 - 42/10) + 1. Which is smaller: -8 or v?
-8
Let k = 0.8 + -1. Which is smaller: 0.3 or k?
k
Let l be 1 - -2*9/(-6). Let t be -3*l/6 + 0. Are t and 4/5 nonequal?
True
Suppose 15 + 15 = 4*b + 3*h, -2*b = -5*h - 2. Does b = -1/2?
False
Let p(b) = -b**3 - 6*b**2 - 9*b - 4. Let k be p(-6). Suppose 0 = 2*m + x + 3*x - k, -m + 27 = 3*x. Let f be (-1 - m/(-12))*-1. Is -2 equal to f?
False
Let g = -12 + -4. Let f = 17 + g. Which is smaller: f or 11?
f
Let u = 0.2 - 0.1. Let w be (-150)/(-9)*15/(-10). Let o be 42/45 - (-15)/w. Which is greater: o or u?
o
Let u = 145 - 144.9. Which is smaller: -41 or u?
-41
Suppose -2*a = -0*a - 2. Which is greater: -3/10 or a?
a
Let t = 4.9 - -1.1. Let d = t - 5.7. Let g = 0.3 - d. Are g and -0.1 non-equal?
True
Let b = 13.1 + -14. Let l = b - 0.1. Let z = 1.1 + l. Which is smaller: 1 or z?
z
Let o = -1 + 3. Let l be 147/(-2) - (-1)/o. Let s = -514/7 - l. Is 3/4 at most s?
False
Suppose 5*a - 3*w + 27 = 0, 0*a + w = -4*a - 8. Suppose 0 = 5*z - 0 + 15. Is a > z?
False
Suppose -6 = x - 12. Let h be (x - 4)*2/(-4). Which is smaller: h or -2/5?
h
Let r = 0 - -4. Let z = 0.2 - 0.08. Let v = -0.02 + z. Which is greater: v or r?
r
Let j = 13 + -7. Let r(m) = m + 5. Let k be r(-5). Suppose k = 4*n - q - 22, 2*q + 1 = n - 8. Is n > j?
False
Suppose -7*o + 2*o + 56 = 2*g, g = o - 7. Is o smaller than 10?
False
Suppose -15 = -g - 4*g. Suppose 0 = -b - 4*m + 2 - 0, 3*b + 3*m = -g. Let v(a) = -3*a**2 - 2*a + 1. Let q be v(1). Which is greater: q or b?
b
Let t = 2 - 3. Let i = -1.1 - t. Which is smaller: -2/3 or i?
-2/3
Let r(s) = s**2 - 5*s + 2. Let g be r(4). Let n be ((-3)/(-9))/(g/(-18)). Let f be (-2 + n)*(-8)/20. Which is smaller: 0.4 or f?
f
Suppose -d + 5 = 3*p, -2*d = -p - p + 22. Is -7 less than d?
False
Let n = 21 + -21. Is n greater than or equal to -1.7?
True
Let a = 2.2 - 1.2. Is a at most -5/6?
False
Let y be -3 + (-3)/(36/87). Is -10 greater than y?
True
Suppose -7*g = -3*g - 96. Is g less than or equal to 25?
True
Let l(z) = -z**3 + z**2 + 4*z + 2. Let a be l(-3). Let k be (1*-1)/(2/a). Let q = k + 9. Which is smaller: q or -3?
q
Let q = -182521/75300 - -549/251. Let a = q - 1/75. Is 2 <= a?
False
Let s(m) = m - 3. Let f be s(5). Suppose -f*r - 3 = -1. Which is bigger: 0 or r?
0
Suppose -17*p = -13*p + 100. Which is smaller: p or -24?
p
Suppose 8 + 0 = x. Let g = x - 11. Let v = -5 - g. Is v < -1?
True
Let u = -4 - -14. Is u >= 10?
True
Suppose -2*o + 6*o + 8 = 0. Let h be -2*o/(-6)*3. Which is greater: h or -1?
-1
Let i = 1/36 - 13/36. Let x(t) = -t**2 - 5*t + 5. Let g be x(-5). Suppose 0*d + g*d = 0. Is d < i?
False
Suppose -4 - 8 = -4*p, 3*p = -h - 11. Which is greater: -19 or h?
-19
Let k be (-4)/(3*(-3)/9*67). Is 0.1 less than or equal to k?
False
Let g = -6 + 9. Is g at least as big as 0?
True
Let y be (2/3)/(1/18). Let v be (-3)/6 - (-10)/y. Let s(z) = -z + 3. Let r be s(2). Which is smaller: v or r?
v
Suppose -2*k = k + 6. Let z = k - -3. Is 0 not equal to z