
True
Let j = -23.73 + 24. Let i = -0.03 - j. Which is greater: 0 or i?
0
Let q = 0.12 + -7.12. Let g = -6.9 - q. Is -4 at most as big as g?
True
Let t = 0.04 + -2.04. Let b = -0.3 - -0.1. Are b and t nonequal?
True
Suppose 0 = 4*n - 3*c + 87, 5*c = n + 3*n + 89. Let k be (-6)/n - 64/126. Which is bigger: k or 1?
1
Suppose -3*m - 2*x = 73, -2*m - 5*x - 52 = -3*x. Let h = m - -11. Let g be 5/(-4)*2/h. Is -1/2 smaller than g?
True
Suppose 23 = 3*s - 1. Let m(d) = -d**2 + 9*d - 8. Let l be m(s). Do 0.2 and l have different values?
True
Let y = 0.7 + 0.3. Let r = 3 - y. Let k = -152 - -152. Which is bigger: r or k?
r
Let g = 1.08 - -1.94. Let t = -0.02 + g. Which is smaller: -2/7 or t?
-2/7
Suppose t + 24 = 4*t. Let d = t - 6. Suppose d*l = -3 + 1. Which is greater: 1/5 or l?
1/5
Let t(n) be the second derivative of n**4/12 + 3*n**3/2 + 4*n**2 - n. Let k = -16 + 8. Let r be t(k). Which is smaller: 1/3 or r?
r
Suppose -4*o - 2*q = -22, -4*o - 2 = -3*q + 1. Which is bigger: 2 or o?
o
Suppose 3*d = 144 - 45. Suppose i = -2*y - 15, -i - d = -0*y + 5*y. Let u be (1/y)/((-5)/(-10)). Is u less than or equal to 0?
True
Let j be ((-7)/(126/(-690)))/((-2)/6). Are -115 and j nonequal?
False
Let t = -32 - -34.3. Let r = t - 4.4. Let y = r - -2. Does 0.1 = y?
False
Suppose 0 = 4*w + 16 + 4. Let x = -2 - w. Suppose -4*a + 5*r + 19 = 0, a - 7 = -x*a + r. Is a at least 1?
True
Let b = -8.07 - -6.77. Let r = -0.2 + 1.2. Which is bigger: b or r?
r
Let d(n) = -n**2 - n + 1. Let y be d(-3). Suppose 4*x + 4 = -q - 2*q, -5*q = -20. Which is smaller: x or y?
y
Suppose 0 = 2*c - 3*v - 6, 2*c + 3*c = -3*v + 36. Let y be (0 + -1)*c/(-72). Which is bigger: 1 or y?
1
Suppose 4*a + 16 = -2*l, 5*l - 12*a = -11*a - 51. Is -1 greater than l?
True
Let q = 372 + -376.98. Let p = q - -5. Which is bigger: p or 1?
1
Let n be 78/(-140) + 203/(-35) + 6. Is -1 less than or equal to n?
True
Let k(n) = -n**2 + n + 1. Let s be 2*2 - (-7 + 8). Let l be k(s). Which is smaller: l or -3?
l
Suppose 0 = -4*v + 14 + 2. Let p(o) = o**3 - 15*o**2 - o + 20. Let n be p(15). Suppose -17 = -2*z - 2*l + n*l, -3*z = -v*l - 23. Is 5/3 bigger than z?
True
Suppose 2*u + 16 = -6. Which is smaller: u or -13?
-13
Let b = 61 - 102. Let i = -121/3 - b. Let j = 1.1 - 0.8. Which is bigger: i or j?
i
Suppose i + 3 = 4. Is 1/26 greater than i?
False
Suppose 5*o = 2*b - 28, 2*o + 0*o + 3*b + 15 = 0. Let y = -6 - o. Which is bigger: 2/19 or y?
2/19
Let t = -5 + 5. Which is bigger: t or -18?
t
Suppose m + 1 = -0*m. Is 1/12 less than m?
False
Suppose 21 + 14 = 5*o. Is o < 6?
False
Suppose 0*a = 4*f + 3*a - 56, -16 = -4*a. Is -1 not equal to f?
True
Let l = 5 + -3. Suppose -3*g = -l*g - 4. Suppose -3*p - 28 = -2*u - 3*u, -3*p - 23 = -g*u. Is -4 less than p?
True
Let w(j) be the second derivative of -2*j - 1/6*j**3 + 0 - j**2. Let o be w(-4). Which is bigger: 1 or o?
o
Let f be (18/27 + (-10)/6)/14. Is f less than or equal to -1?
False
Suppose 8*t + 5*t = 13. Is t bigger than 2/117?
True
Let c(b) = b**2 + 5*b - 6. Let l be c(-6). Suppose -n - 2*n - 6 = l. Are n and -1 nonequal?
True
Let d = -7 - -5. Let t be d/(2/1)*-1. Is 1/3 at most t?
True
Let l = 27 - 21. Is l at most as big as 6?
True
Suppose 0 = 2*v - m, -2*m = 2 + 2. Suppose -4*f - 60 = -4*q - 5*f, -20 = -q + f. Which is smaller: q or v?
v
Suppose -5*q + 8 = -3*b, -5*q + 4*q + 5*b = -6. Which is smaller: 0.3 or q?
0.3
Let m be (-2*1)/(208/168) + 1. Which is smaller: -1 or m?
-1
Let x = -29 + 28.94. Is -1 less than x?
True
Let d = 2/247 - -954/4199. Which is greater: 0 or d?
d
Let j = 290 - 4932/17. Let g(p) = -p**2 - 4*p. Suppose -4*a = a + 5*x + 30, 3*a + 8 = 2*x. Let v be g(a). Which is smaller: j or v?
j
Let x(g) = g**2 + 5*g - 3. Let l be x(-4). Suppose a = 2*j - a + 8, j + 5*a + 16 = 0. Is j less than l?
False
Suppose 0 = -2*r - 2*r + 4. Let y be 1/r + (-2)/(-1). Suppose y*l - 4 - 4 = q, -2*l - 3*q + 9 = 0. Is l >= 3?
True
Let s be (-4 - 5) + (-4)/(-1). Let a be (-2)/12 - s/10. Which is smaller: a or -6?
-6
Let k = 0.6 - 2.6. Let h = 3 + 0. Let s = h + k. Do -0.1 and s have different values?
True
Let c(o) = 161*o**3 - 2*o**2 + 2*o + 3. Let i be c(-2). Let p be 8/28 - i/63. Let w = p + -184/9. Is -1 < w?
True
Let f(p) = 3*p**2 + 4*p + 3. Let q be f(-2). Let x = q + -7. Let n = 11/12 + -7/12. Which is smaller: n or x?
x
Let z be 2/(-5) + 2094/(-15). Let x = z - -95. Let f be x/(-25) - (-1)/5. Are f and 1 equal?
False
Let u = 11 - 10.95. Is u less than -0.2?
False
Suppose 1 = -o - 0. Let k be (o + -2)/(-2 - 1). Which is bigger: -2/45 or k?
k
Let k = 31 - 7. Suppose 4*g - 28 = 3*u, g + 2*g - 3*u = k. Suppose -3*t + 0*t = -2*w - g, 3*t - 10 = -4*w. Which is bigger: w or 3?
3
Let l be (-2)/8 + (-19)/4. Let h = l - -5. Suppose -4 = -2*j - h. Is j at least as big as 1/3?
True
Let n = 54 - 54. Let d(r) = r**3 - 4*r**2 - 5*r - 1. Suppose 0 = 4*g - 16, 4*g - 24 = -4*b + 3*g. Let q be d(b). Is n bigger than q?
True
Let x = -16/13 - -86/91. Let t(g) = -15*g**2 - 3*g + 5. Let z be t(-6). Let f = 10859/21 + z. Which is smaller: x or f?
x
Let l = 0.15 + 12.85. Let u = -7.1 + l. Let t = u - 6. Which is smaller: -7 or t?
-7
Suppose 5*i = -2*i - 28. Is i at most 7?
True
Let x = 9 - 15. Let w be (x/(-8))/(1/(-4)). Which is smaller: w or -2?
w
Let i = 84.9 - 80. Let g = -0.02 + 5.02. Let a = i - g. Which is greater: 0.3 or a?
0.3
Let p = 1.8 - 2. Let a = -21 - -15. Let q = a + 3. Is q less than p?
True
Let r(p) = -p**2 + 3*p - 2. Let o be r(3). Let k be (o/(-10))/((-2)/(-6)). Is k greater than -2/5?
True
Let j(r) be the first derivative of 3*r**2/2 + 3*r - 3. Let p be j(-8). Let b be ((-1)/p)/((-2)/6). Is 0 greater than or equal to b?
True
Let w(l) = -l**3 + 4*l**2 + 5*l - 3. Let s be w(5). Let h = s - -5. Which is smaller: h or 3?
h
Let f be (8/(-10))/((-2)/5). Let t = 12 - 18. Let c = t + 8. Are f and c equal?
True
Let g be 1 - (-3)/6*-2. Suppose -3 = 3*k + q + 2, g = k + 4*q - 2. Let p = -3 + 4. Which is bigger: p or k?
p
Let n be ((-20)/112)/((-3)/(-12)). Which is smaller: -1/3 or n?
n
Let l = -17/5 + 3. Which is smaller: l or 8/9?
l
Let l = 0.2 - -0.4. Is l != -1/2?
True
Let g be 5/(-10)*0 - 76/(-5). Which is bigger: g or 15?
g
Let t = -4 + 3.8. Let w = 0 - 3. Which is smaller: t or w?
w
Let x = 0.6 - 0.4. Suppose 0 = 2*o + 3 + 1. Let f be 0 - 1/(3 + o). Is f smaller than x?
True
Let k = -5 + 3. Is 0 >= k?
True
Let d = 4 + -4. Let m(n) = d*n + 0*n - 3 + 2 - n**2. Let o be m(-2). Is -6 greater than o?
False
Let q = 14.2 - 14. Let v = 3.98 + 0.02. Is v less than q?
False
Let l = -3.1 + 3. Let q = -0.9 + l. Let p(u) = -u - 2. Let s be p(-4). Which is greater: s or q?
s
Let l be 9/(81/24) - 2. Is -3/11 at least l?
False
Suppose 0 = 7*q - 3*q - 8. Suppose 0 = q*o + 4*m, -4*o + 11 = 2*m + 41. Is o bigger than -10?
False
Let f = 8 - 5. Let m be (-1)/(((-4)/(-22))/(-2)). Suppose 0 = -2*r + 5*g - m, -8*g + 3*g = -5*r - 5. Is f <= r?
False
Suppose 0*q + 6 = 3*q. Let d be 33/9 - (-4)/(-6). Suppose -2 = -2*b - q*m, d*m - m - 3 = -3*b. Which is greater: 1/2 or b?
b
Let k be (-12)/(-14)*((-8)/6)/(-4). Which is greater: 1 or k?
1
Let r be 2 - 2 - (-1 + 0). Let m be 0*r/3*-1. Let h = 3/10 - 1/20. Is m bigger than h?
False
Let d = -45 + 33. Are -14 and d nonequal?
True
Suppose 0*n - 3*n - 9 = 0. Which is bigger: 6 or n?
6
Let v be 30/(-72)*6/20. Does 1 = v?
False
Suppose 3*j = 5*m + 5, 7*m = 3*j + 4*m - 9. Let d = j + -6. Is d greater than -1?
False
Suppose -9*v = 29 - 11. Is -5 < v?
True
Suppose -4*s + s - 10 = -j, 0 = -5*s + 2*j - 16. Let p = 1 + 0. Let q = p + -4. Does q = s?
False
Suppose -3*i = -0*i - 3. Let y = 3/13 - 44/247. Which is smaller: i or y?
y
Suppose -3*s + 2*q + 4 = 0, q + 2 + 0 = 2*s. Suppose s = -t - 0*t + 3. Is t at most as big as 3?
True
Let f(v) = -4*v**2 + 2*v - 2. Let y be f(2). Which is greater: y or -16?
y
Suppose 3*j = 108 + 81. Are j and -1/2 equal?
False
Suppose -5*s - 10 = 15. Which is bigger: 0 or s?
0
Let n = -9/5 + 51/20. Let t be (-27)/3*(-2)/(-6). Let l be -3*t/9*1. Which is greater: n or l?
l
Let l(d) = 2*d + 2*d**2 + 1 - 4*d**2 - d**3 + 4*d**2. Let a be l(-1). Suppose 0 = -4*p - 10 - a, 11 = -4*m - p. Which is smaller: -3 or m?
-3
Suppose -4*h = -20 - 4. Suppose 4*q + 8 = 2*i, -2*i = -0*i - q - 11. Is h at least i?
True
Let k = -89 + 93.2. Do -1 and 