154?
1/154
Let s be 5 + 6*1/2. Let p = s - 11. Is p >= -3?
True
Let o = -3 - -4. Let a = 0.17 - 2.17. Let m = o - a. Is 2/5 <= m?
True
Suppose 4*m = -5*m. Which is greater: m or -10?
m
Suppose 4*z + q + 3 = 0, 3*z - 4*q = -4 - 3. Let v be -4 + (z - (-103)/21). Which is smaller: v or -1?
-1
Let d = 0.93 - 0.8. Let c = -0.03 + d. Is c <= 2/5?
True
Let g = -3/328 - 605/5576. Which is greater: g or 2?
2
Let g be 1 - 2/2 - 2. Let v = g - -1. Let c = 1 + 0. Is v at least as big as c?
False
Suppose 7 = -0*p + p. Let q be (-2)/p - 6/(-21). Let v = 2 + q. Is v at least as big as 2?
True
Let t = -672/5 + 34282/255. Do 0 and t have the same value?
False
Let g(u) = -u**3 + 9*u**2 - u + 9. Let z be g(9). Is z greater than -2?
True
Let m = -30 - -22. Which is greater: 0.1 or m?
0.1
Let o = -0.1 + -0.9. Let j = 58 - 59.03. Let x = j - -0.03. Is o > x?
False
Suppose 19*m + 208 = -20. Is m equal to -23/2?
False
Suppose -4*i - 5*x = -31, 4*x - 5*x = 3*i - 15. Suppose i*a - 3*a = 1. Which is smaller: a or 1/4?
1/4
Let i be -244 - ((-2)/(-1) - 0). Let q be i/11*2/6. Let b = -716/99 - q. Is b equal to 2/7?
False
Let k be (-2 + -1)/((-9)/(-6)). Let l be 6/((-4 - k) + 4). Suppose 4*y - l = 1. Which is smaller: y or 0?
0
Let q = -5.05 - -0.05. Let k = q - -6. Is k != 0?
True
Let b(g) = -3*g**2 + 8*g - 4. Let j(s) = -s**2 + s + 1. Let o(i) = b(i) - 2*j(i). Let v be o(5). Is -1 less than v?
False
Let h = -0.05 - -0.05. Let d be (-5 + 4)*53*-1. Let i = -317/6 + d. Which is bigger: i or h?
i
Let x be 0 - (0 - 116/(-24)). Let p = x - -22/3. Which is smaller: 2 or p?
2
Let p = 14 - 13.94. Which is greater: p or -2?
p
Suppose -p - 1 = -2. Let s be (45/9)/20 + (-7)/44. Which is smaller: p or s?
s
Suppose -4*z - 4 + 8 = 0. Suppose 0 = -4*s - 0*s + 8. Let g = s - z. Which is smaller: -1 or g?
-1
Suppose 5*n = -4*u + 2*u + 18, 3*u - 4*n + 19 = 0. Let d be 12/(-1)*169/(-10791). Let w = d + -2/327. Which is smaller: w or u?
u
Let f = 20 - 20. Suppose f = -0*j + 4*j. Let n = -64/87 - -2/29. Which is smaller: j or n?
n
Let h = 0.29 + -3.49. Which is bigger: -2/5 or h?
-2/5
Suppose 2*p = 3*q - 4*q + 1, 5*q = -2*p - 11. Let c be p + -1 - -1 - 0. Is 3 at most as big as c?
False
Let v = 150 + -52. Let b be v/21*(-2)/21. Suppose -4*t = -2*t. Which is bigger: b or t?
t
Let b(m) = -2*m**2 - 2*m - 2. Let h be b(-3). Let x be h/(-8) - 2/(-8). Suppose 0*i = x*i. Is i at most 1?
True
Suppose 4*i = -5*b + 21, -2*i + 0*b - 4*b = -18. Let j = -3 - i. Does j = -3?
False
Let x = 2 - 2.12. Let m = 0.78 - x. Which is bigger: -1/4 or m?
m
Let f = -43 - -217/5. Let q(x) = x**3 - 7*x**2 + 5*x + 7. Let v be q(6). Which is smaller: v or f?
f
Suppose -8 = 2*v - 34. Which is bigger: 1 or v?
v
Let s = 867/11 - 79. Let k(h) = -h - 3. Let n be k(-5). Let c be (-1 + 1)/(n - 1). Is c > s?
True
Let p be 1/((-18)/4 + 4). Which is smaller: p or 8?
p
Let c be 11 - (0 - (2 + -5)). Suppose -3*g - c = -2*x - 0*g, 0 = -2*x + 5*g + 12. Which is smaller: -1 or x?
-1
Let l be (2/(-7))/((-2)/14). Which is smaller: l or 1?
1
Let w = 18 + -17. Which is greater: w or -2/7?
w
Let r = -66 - -66.03. Which is greater: 6 or r?
6
Let z = 58 - 38. Let v be (-30)/z*4/(-15). Suppose -1 = u - 2. Is v not equal to u?
True
Let r = -25 - -22. Let t be ((-1)/r)/(5/(-60)). Let x = 0 + 0.2. Is x at least as big as t?
True
Suppose -y + 5*y = -24. Suppose -2*x - 8 = -6*x. Let w be y/(-21) - x/7. Do w and -1 have different values?
True
Let s be (0 + -3)*28/(-6). Let c = s - 29/2. Suppose -5*k = 3 + 2, 0 = -4*z + 4*k - 4. Does z = c?
False
Let r = 1276/9 - 142. Let f = -7 + 7. Which is bigger: f or r?
f
Let k be 5/2*4/(-5). Let w be -7 + 4 + (-8)/k. Suppose -z = z + 2*t - 4, -5*z + 3*t + 2 = 0. Is z equal to w?
True
Suppose 6*o = 272 + 88. Which is smaller: 61 or o?
o
Let y = 0.06 + -0.2. Let z = 2.14 + y. Is -1/5 smaller than z?
True
Let k be (-11)/((-33)/(-2)) + (-136)/(-15). Is 7 at most as big as k?
True
Let f = 0.25 + -0.2. Let m = 1.95 + f. Which is smaller: -0.3 or m?
-0.3
Let z be ((-2)/(-5))/(3/5). Which is bigger: -0.05 or z?
z
Let w(h) = h**3 - h**2 + 7. Let f be w(0). Let m be -1 + 0 - (-5)/f. Let z = -6 - -5. Which is greater: z or m?
m
Let w = 6 - 8. Let v = 2.1 + w. Do v and 0.1 have different values?
False
Let w = -138 + 39. Is -98 > w?
True
Let y(a) = a + 6 + 6 - 4. Let t be y(-7). Is -1 >= t?
False
Let r(l) = 2*l**3 + 2*l**2 - 6*l - 4. Let n be r(-2). Which is smaller: n or 2/31?
n
Let r = 0.89 - -0.11. Let n = -13/40 - -659/2520. Let i = n - 2/9. Which is bigger: r or i?
r
Let l(f) = -f**2 + 8*f - 3. Let m be (-6)/(-21) + 12/7. Let k(r) = -4*r**2 + 32*r - 13. Let c(u) = m*k(u) - 9*l(u). Let w be c(8). Which is bigger: -1 or w?
w
Suppose -3*c + 3*x - 4*x + 17 = 0, -4*c = -2*x - 36. Suppose 5*s - 5*w - 5 = 0, c = 2*s - 5*w + 2*w. Let f be 4 + s + 1/3. Which is bigger: f or 1?
1
Let f = 3.2 + -3. Are 5 and f equal?
False
Let r = 0.3 + -0.2. Let i = 0.02 + 0.88. Let x = i + r. Are -0.1 and x unequal?
True
Let x be (-4)/6 + (-3)/(-9). Let c = x + 5/3. Which is smaller: 0 or c?
0
Suppose 4*m + 8*f - 5*f - 158 = 0, -2*m + 5*f = -66. Let l = m - 457/12. Let y = -3 + 4. Is l at most y?
True
Let i be (6/9)/(332/(-12)*1). Suppose -5 = 2*n + 3*n. Which is smaller: n or i?
n
Let d = -7.2 - -0.2. Which is smaller: d or -1?
d
Let f = 0.1 - 1.1. Let n be 2/(-4) + 9/2. Suppose -2*g - g = -r - 4, n*r - 14 = -3*g. Are g and f non-equal?
True
Let n = 1985/29699 + -3412900741/3266890. Let q = n + 5217/5. Let a = 8/11 + q. Which is bigger: a or -1?
a
Let m be 2*-1*1/(-2). Which is bigger: m or 1/4?
m
Let m = 0.208 + -0.008. Do m and -13 have the same value?
False
Let s = 788 + -2390/3. Do -10 and s have the same value?
False
Let x be -2*2/8 + 2. Let z(f) = 3*f**2 + 3*f - 4. Let q be z(1). Which is greater: q or x?
q
Let m = 547 - 12579/23. Is 1 bigger than m?
True
Suppose 2 + 6 = -8*x. Which is smaller: 3/11 or x?
x
Let m(j) = 2*j**2 + j - 3. Let c be m(3). Suppose -3*o - c = -3*z, 18 = -2*o + 2*z + 2*z. Is -4 bigger than o?
False
Let k = -5 - -7. Let i be (-35)/37 + k/2. Which is bigger: i or -1?
i
Let d = -0.5 + 0.3. Let p = d - -0.2. Let w = -0.4 + -1.6. Which is bigger: p or w?
p
Let v = 1 - 1. Let c = -7/3 + 31/12. Which is bigger: c or v?
c
Suppose -5*s = -x - 0*s + 2, 0 = -x - 2*s + 2. Suppose 0 = 2*t + x*t - 8. Do 5 and t have different values?
True
Let u be (2 + -1)*(4 - 4). Let v = -18 - -34. Let s be (-1)/(-3)*6/v. Is u bigger than s?
False
Let s(u) = -2*u**2 - 7*u - 7. Let h(c) = -c**2 - 4*c - 4. Let p(w) = -7*h(w) + 4*s(w). Let g be p(1). Which is greater: g or 1/2?
1/2
Let v(w) = w**3 + 6*w**2 + 3*w - 8. Let n be v(-5). Suppose -n*m + 21 = m. Which is smaller: 9 or m?
m
Let d be 0*(1 + -2) + -1. Suppose 4*g - 16 = -5*f, 2*f + 0*f = -g + 4. Suppose -g*y - 2*c = -4, -3*y = -4*c + 3*c + 2. Are y and d equal?
False
Let i = -0.82 + -0.18. Which is smaller: 7 or i?
i
Let w = -21 + 25. Which is smaller: -0.7 or w?
-0.7
Let z = -1.2 + 0.2. Let j = 2 + z. Let t = -1.8 - 0.2. Is t > j?
False
Let f = 11 + -8. Let w = f + -3.11. Which is greater: 0.2 or w?
0.2
Let i(p) be the second derivative of p**4/12 - p**3/3 + p. Let v be i(3). Let q be v*((-8)/3)/(-4). Which is bigger: q or 1/2?
q
Let f be 5*(42/10 + 1). Suppose f - 1 = -5*u. Which is smaller: u or -4?
u
Let x = 52 + -73. Let o = x - -32. Is o less than or equal to 11?
True
Let h = -8 - -7. Let r = -1 + h. Which is bigger: r or -1/2?
-1/2
Let l = 0.22 + -0.12. Suppose -15 = -2*j - 1. Which is smaller: l or j?
l
Let o(a) = a - 1. Let j be o(4). Suppose 2*k = 2*l + 8, -j*l + 2 - 17 = -4*k. Let b be -15 + 12 + (-22)/(-8). Is b != l?
True
Let j(f) = -f**2 + f + 4. Let t be j(0). Suppose -8 = -t*h + 8*h. Let m be 0/(-2)*1/2. Is m smaller than h?
False
Let j = -8 + 10. Let y be (-4 + 2)*j/(-4). Suppose 5*w + 4 + 1 = 0. Which is greater: y or w?
y
Let w(a) be the second derivative of -a**3/6 + 17*a**2/2 + 3*a. Let x be w(7). Let l be (8/(-20))/(26/x). Do l and 1 have the same value?
False
Let o be -1*(-1 + -2 + (-4)/(-2)). Is o not equal to 26?
True
Suppose -6*i - 18 = -0*i. Is i at least -1?
False
Let p(q) = -q**3 + 3*q**2 + q - 3. Let l be p(3). Suppose 2*k + l*k = -2. Is k bigger than -8/5?
True
Let j = 12 - 17. Let k = -19 + 16. Let h(g) = -g - 7. Let s be h(k). Which is smaller: s or j?
