least as big as -1?
False
Suppose -4*t + 3 = -1. Let c = 14 + -13. Suppose -c + 3 = -b. Is t equal to b?
False
Let c = -0.3 - -0.2. Let b = -2.09 - -0.09. Which is smaller: c or b?
b
Let k = -3 - -7. Suppose k*p = 4*u - p - 9, u - 16 = 4*p. Is -2 != u?
True
Let g = 7 - 12. Let u be (4/10)/(g/25). Is -3 smaller than u?
True
Let x be 72/(-5 + 2) + 0. Let u be (-2)/(-12) - 26/x. Let k be 0/(-3) - 3/(-3). Are k and u unequal?
True
Let d = -2/41 - 191/287. Which is smaller: d or -1?
-1
Let i be ((-65)/(-15) - 4)*-99. Is -3 not equal to i?
True
Let f(r) = 3*r**3 - r. Let o be f(1). Suppose o = a + 5. Let j be 2*(-4)/a + -3. Is j bigger than -0.01?
False
Let c be -2*(0 + (-3)/2). Let i be c - 4*(-1)/(-2). Let j be -2 + -1 - 704/(-220). Is j less than i?
True
Suppose -f + 9 = -10. Suppose -f - 5 = -4*l. Is 6 less than or equal to l?
True
Suppose -3*q = 5*q + 160. Is q >= -17?
False
Let u = 10 + -6. Let m = -0.05 + 6.05. Let t = u - m. Is t <= -1?
True
Let h(y) = y**2 - 1. Let c(f) = -4*f**2 - f - 4. Let j(k) = -c(k) + 3*h(k). Let b be j(-1). Suppose -b*n - 22 = p - 3*n, -5*p = 3*n + 25. Is 0 less than p?
False
Let n be (3 - (2 + 0))*4. Suppose 5*w = -n*z + 18, -z - 4*z - w + 12 = 0. Let u(y) = -2*y + 73. Let m be u(36). Which is bigger: z or m?
z
Let l = 6/31 + -105/62. Suppose -1 = -t + 2*t. Which is bigger: t or l?
t
Let j be (-12)/8*(-4)/45. Let r = -9 - -8. Is r < j?
True
Suppose -3*p + 6*p - 2*l = 46, -74 = -5*p + 4*l. Let v = -17 + p. Is 2/3 at most as big as v?
True
Let f = -1 - -5. Suppose -5*m - m + 30 = 0. Suppose -4*o - 5*u + 40 = 0, m*o = -5*u + 19 + 26. Is f bigger than o?
False
Suppose -2*d = 2*d - 5*x - 9, -2 = 2*x. Let c be (-2 - (1 + d))/(-1). Suppose -2*n - c*g + 6 = 0, 5*n = n + 3*g + 1. Which is smaller: n or 0?
0
Let o = 0 + 1. Let b = -30 + 25. Which is smaller: b or o?
b
Let i = -57 - -117/2. Let c = -3 - -4. Which is smaller: c or i?
c
Suppose -13*o = -2*o + 11. Is -1/2 bigger than o?
True
Let v = -0.15 + -0.75. Which is greater: 1 or v?
1
Let y be (-2 + 1 - 0)/(-1). Let c = 4 - 2. Let k be 0 - -2*y/c. Which is bigger: k or 2/3?
k
Suppose 0 = -0*z + 2*z. Which is bigger: z or 5/4?
5/4
Let x(v) = 2*v + 7. Let d be x(-5). Let a be 1 - (d + 9)/(-3). Suppose 3*f - 6*f = a. Is 0 bigger than f?
True
Let n(l) = -l**3 - 6*l**2 - 3*l - 7. Let o be n(-6). Which is smaller: 13 or o?
o
Let f be 7/((-126)/(-4)) - (-34)/(-72). Which is smaller: f or -2/29?
f
Let k = -45 - -45.3. Is 5 at least as big as k?
True
Let j(y) = -y - 1. Let f(t) = 7*t + 6. Let q(r) = f(r) + 6*j(r). Let p be q(-1). Let o = -414/7 - -59. Is o less than or equal to p?
False
Let x = 1 - 3. Let s be (-1)/(x*(-3)/6). Which is bigger: s or 0?
0
Let w(d) = d**2 - 10*d + 12. Let s be w(9). Suppose 4 + 6 = 5*p. Are s and p nonequal?
True
Suppose -2*j - d = -20, -5*j + 40 = -3*d - 32. Which is bigger: 11 or j?
j
Suppose -26*d = -23*d + 12. Let o be 3/(2/4*-3). Which is bigger: d or o?
o
Suppose 5 - 3 = 2*z. Let t = 1 - -2. Suppose -g - 2*g + t = 0. Is z greater than or equal to g?
True
Let z be ((-14)/385)/(21/(-10) - -2). Is -1 greater than or equal to z?
False
Let y = 32 + -32. Is y < 0?
False
Let b(m) = -m**3 - 5*m**2 + 6*m - 7. Let a be b(-6). Let l(r) = -r. Let d(o) = 2*o + 1. Let z(c) = a*l(c) - 3*d(c). Let s be z(5). Is 2/5 > s?
False
Let f be -16*(-8)/(64/(-6)). Which is smaller: -4 or f?
f
Suppose m = -3*d - 4, 4*d - d = 4*m + 1. Is -2 smaller than d?
True
Let d = 50 + -48. Is d greater than or equal to 3?
False
Let j be ((-9)/12)/((-252)/32). Which is greater: j or 0?
j
Suppose 5*j - 5*l + 10 = 0, j = l - 6*l - 8. Let m be (j + 3 + -1)*1. Suppose 0*t = 2*t. Which is bigger: t or m?
t
Let o = 113 - 563/5. Let i be 3/(-1 - (-7)/10). Let d be ((-2)/20)/(5/i). Which is bigger: o or d?
o
Let t = 63 + -46. Which is smaller: 16 or t?
16
Let r = 0.004 + 0.016. Which is greater: 1.6 or r?
1.6
Let g = 4 - 4.2. Which is bigger: -1 or g?
g
Let o be 2*(-1 + 2) + 0. Suppose 2 = -10*i + 11*i. Does i = o?
True
Let f be (3 + (-4)/(-1))*-1. Let w be (1 - 0)/(f + 8). Which is bigger: w or 2?
2
Let w = 20/309 + 163052/1545. Let g = -113 + 219. Let t = w - g. Are 3 and t unequal?
True
Let p = 17 - -7. Let v = -40 + p. Which is bigger: 0.1 or v?
0.1
Let h = -94/21 + 36/7. Let z = 6 - 13/2. Is z greater than or equal to h?
False
Let o = -60 + 65.8. Let x = o - 6. Let z = -1 - -2. Is x <= z?
True
Let h = 0.83 + -0.03. Let p = 0.4 - h. Let x = p + 0.7. Do x and 0.2 have the same value?
False
Let w = -11 + 8. Let i be (-13)/(-5) + 6/(-10). Suppose 1 = -i*m + h - 2, -9 = 3*h. Is m < w?
False
Let s = 10/259 + -12/37. Is 2 at most s?
False
Let c(z) = -z**2 + 26*z - 25. Let j be c(25). Is 1/69 < j?
False
Let j(s) be the first derivative of -s**2/2 - 2*s - 1. Let i be j(3). Suppose -4*b + 3 = -2*q - 3, -b - 3 = q. Is i >= q?
False
Let i(z) = z**3 + z**2 - z. Let x be i(0). Suppose s = -5*s. Is x smaller than s?
False
Let q(c) = c**3 + 8*c**2 + 7*c - 6. Let i be q(-6). Let v be 17/i - 6/18. Which is smaller: -0.2 or v?
-0.2
Let r = -3.1 + 0.1. Let p = r - -11. Is p not equal to 0?
True
Suppose -2*z - 7 - 83 = 0. Let i be 18/z + 31/65. Which is smaller: i or 0?
0
Let f(l) = -l**3 + 5*l**2 - 3*l - 3. Let u be f(3). Suppose -o = -u*o - 5. Which is bigger: 2/9 or o?
2/9
Let k = 426 + -267. Is 158 != k?
True
Let t = 2.52 + 0.48. Is -2 less than or equal to t?
True
Let i = 26 + -20.8. Let t = 5 - i. Are t and 0.4 non-equal?
True
Let a = 1438/3 - 480. Let p = -0.7 + 0.2. Which is smaller: a or p?
a
Let l(g) = g**3 - 7*g**2 - 13*g + 4. Let x be l(9). Let y be 231/x + (-2)/(-7). Do 4 and y have the same value?
False
Let c = -8 + 5. Let m be (-15)/10*2/c. Which is greater: m or -2/15?
m
Suppose 0 = 2*v + 5*o + 15, -6 = 3*o - o. Let d = -7/16 - 1/16. Are v and d non-equal?
True
Let u = -1511/48 + 95/3. Let o(m) = m**2 + 13*m + 12. Let x be o(-12). Which is greater: u or x?
u
Let s(h) = -h**2 + h - 1. Let w be s(2). Which is bigger: -2 or w?
-2
Let k = -0.36 + 0.16. Which is smaller: 1 or k?
k
Let z(w) = w**3 - 3*w**2 + 2*w + 2. Let v be z(3). Suppose 5*h - 4*o + 2 = 0, 2*h = -6*o + 4*o - 8. Let y be h + (-10)/v*-1. Which is bigger: 0 or y?
0
Let x(h) = 3*h - 9. Let v be x(3). Suppose -4*n - 10 + 6 = v. Is 2/17 bigger than n?
True
Let y(i) = -i**2 - 12*i + 18. Let m be y(-13). Suppose -2*s = 2*n - 2 - 6, 0 = -m*n + 15. Which is smaller: -2/27 or s?
-2/27
Let s = 3102/5 + -626. Let q = 89/15 + s. Is 1 not equal to q?
True
Let w = -90 + 91. Does w = -0.13?
False
Let b be 2/(-7) + (-4)/(-14). Let l = -11/312 - 1/24. Which is bigger: l or b?
b
Let j = -3/155 + 489/1240. Which is smaller: 0 or j?
0
Let l(h) = -h**2 + 7*h + 6. Let t be l(8). Let v be (t - -3) + (0 - 1). Which is greater: -1 or v?
v
Let k be (1 - -1)*(-2)/(-4). Let d be 0/3 - 5/k. Suppose 4*t + 12 = -3*n, 4*t = -0*n + 3*n + 12. Do d and n have the same value?
False
Let w = -5.126 - -0.126. Is w greater than 1?
False
Let u be -2 - -2 - 0/(-1). Is 1/16 greater than or equal to u?
True
Let l be 3 - ((-1)/(-21))/((-7)/(-609)). Which is smaller: 2 or l?
l
Suppose c - 33 + 0 = 0. Suppose x - c = -6. Let q be (3 - 75/x)/(-1). Are 0 and q equal?
False
Let p = 12 - 10. Is p < 7/6?
False
Let f(z) = z**3 + 6*z**2 + 1. Let v be f(-6). Suppose 40 = -5*j - 3*x, 0 + 8 = -j + x. Let t be (4/j)/(1/(-4)). Are t and v equal?
False
Let d(f) = -7*f**2 - 7*f + 2 + 8*f**2 + 1. Let i be d(6). Let w be (-6)/(-153)*i*-1. Which is greater: w or 1?
1
Let w be (-1 + 2)*1 + 25. Suppose -2*x + 74 = 4*c - 3*x, 4*x + w = c. Let z be (-1)/3 - (-78)/c. Which is bigger: 2 or z?
z
Let j be (-2)/(-5) + (-96)/15. Suppose -l + 12 = 5*b, 3*l = b + b - 32. Let v = j - l. Are 2 and v equal?
True
Let v = -16 - -15.93. Let y = v - -0.57. Which is smaller: y or 0?
0
Let a = 57 + -227/4. Suppose 2*o - 5*o = -2*o. Is o greater than or equal to a?
False
Let f be 1*(-26)/10 + 3. Suppose 3 = g + 3*g + 3*u, -4*u - 27 = -5*g. Which is greater: g or f?
g
Let a be 66/8 - 3/12. Let b(q) = -q**3 + 7*q**2 + 7*q + 9. Let p be b(a). Let x = -2.9 - -3. Do p and x have the same value?
False
Let c = 1.8 + -4.8. Which is smaller: 1/9 or c?
c
Suppose -j - 2*j - 4*h + 7 = 0, -33 = -5*j + 4*h. Suppose -a + 4*a - 27 = -j*m, -4*a + 1 = -5*m. Suppose m = -6*r + 9*r. Which is bigger: r or 1/2?
r
Let u = 71 - 65. Su