ent values?
False
Let d be 12*1 - 3/1. Let v be d/6*(-2)/6. Let i = 2 - 2.1. Is i at least v?
True
Suppose 0 = 116*f - 121*f - 205. Is f at most -40?
True
Let b = -2 + 2.04. Let j = b + -0.44. Which is greater: 0.1 or j?
0.1
Let a = 66 + -71. Let x = -4 + -1. Is a smaller than x?
False
Let w = 9 + -6. Suppose -w*k + 0*k = -6. Which is greater: 10/7 or k?
k
Let a be (8/(-32))/((-6)/(-28)). Which is smaller: a or 0?
a
Let u = 24 + -12. Let o be ((-2)/(-2))/((-4)/u). Is -4 != o?
True
Let d = -185 - -175.02. Let j = 45 - 35. Let s = j + d. Does s = -1?
False
Suppose 2*y = -2*y + 8. Suppose 3*k + y = k. Which is smaller: k or -4?
-4
Let h(b) = -b + 5. Let c be h(0). Let n(g) = -g**2 + 8*g - 8. Let u = 16 - 10. Let o be n(u). Is o < c?
True
Let s be (52/(-20) + 3)*35. Let x be (24/(-40))/(s/10). Which is smaller: 0 or x?
x
Let g = -7 + 13. Let i be (-3)/(-6)*g + -3. Which is smaller: i or -1?
-1
Let d = 0 + 0. Let z = -2 + 2. Let y = z + d. Which is smaller: 2/3 or y?
y
Suppose -4*b + 2 = -2. Let w be 8/6 - (b + 0). Is -0.1 greater than or equal to w?
False
Let q = -299 - -2698/9. Which is bigger: 1 or q?
1
Let o = -11 + 11. Let h = -21 - -104/5. Is o smaller than h?
False
Let d = 65/6 + -21/2. Let q(h) = -h**3 - 4*h**2 - 2*h + 3. Let i be q(-3). Let j be ((-2)/(-4)*i)/(-1). Which is smaller: d or j?
j
Suppose 0 = 3*a + 107 - 32. Do a and -26 have the same value?
False
Let j(p) be the second derivative of -p**3/2 - p**2/2 - p. Let f be j(-1). Let r = 4 + -2. Is f at most r?
True
Suppose g - h = -1, -5*g + 1 = -2*h - 3. Let p = -2 + g. Is p != 1?
True
Let k be -4*(4/(-8) - 0). Suppose 4*a - 10 = -a. Is a at least k?
True
Let h = -3/2 + 11/6. Is h greater than or equal to 4?
False
Let w(g) = 3*g**3 + 2*g**2 + 2*g + 2. Let i(d) = -4*d**3 - d**2 - 2*d - 3. Let n(a) = 2*i(a) + 3*w(a). Let r be n(-3). Are r and 1 equal?
False
Let p(q) = q**3 - q**2 - 2*q - 1. Let m be p(-1). Let n be (-2)/2 - 0/m. Does n = -1?
True
Suppose 3*n - 3*m = 18, 0 = -n + 4*m + 16 + 5. Are n and -2/11 equal?
False
Suppose -3 + 1 = -o. Let l be ((-1)/o)/((-2)/4). Is l > -3/10?
True
Let u = -19249445785/3212 - -5992978. Let s = 1/292 + u. Is s < 0?
True
Let m(s) = -5*s - 5. Let z be m(4). Let c = 128/5 + z. Let o be (-20)/70 - 2/(-7). Which is smaller: o or c?
o
Let x be 12/30*(-8)/(-2)*50. Do 79 and x have different values?
True
Let g(q) = -q**2 - 5*q + 1. Let k be g(-5). Let f(j) = -j. Let d be f(k). Let c be (-2 + 3 - 0)*d. Which is bigger: c or 2?
2
Let v be 570/(-35) + (-6)/(-21). Are v and -16 unequal?
False
Let c(g) = g + 2. Let a(h) = -h**2 + 10*h + 6. Let s be a(9). Suppose -4*v = -0*v - 3*p + 20, 0 = 3*v - p + s. Let t be c(v). Does -3 = t?
True
Let y be (-312)/(-16)*3/(-12). Do -5 and y have different values?
True
Let t be 2*3/(-36)*-2 + 0. Is t bigger than -6?
True
Let j(t) = t**3 + 3*t**2 - 1. Let l be j(-3). Which is smaller: -1/114 or l?
l
Let a be 3/(-2)*80/(-36). Let v = a + -2. Which is greater: v or 2?
2
Let g = -0.5 + 0.2. Let u = g - -0.4. Which is smaller: 0 or u?
0
Let m(c) = c**3 + 8*c**2 + 12*c - 3. Let q be m(-6). Let f(j) = 3*j - 1. Let s be f(-1). Are q and s nonequal?
True
Let c be (-1)/1*(-18)/(-21). Let u(t) = -t**2 - t. Let r be u(0). Which is bigger: c or r?
r
Suppose 3*p - 12 = 0, -18 = 3*u - p + 46. Is -22 less than or equal to u?
True
Let p = 0.23 - 0.2. Let b = -3.03 + p. Is 0.1 bigger than b?
True
Let s be 6/16*4/(-6). Let g = 186 - 183. Which is smaller: s or g?
s
Let c = -25 + 24. Which is smaller: 2.6 or c?
c
Let r(l) = -l**3 - 6*l**2 + 7*l. Let b(o) = o**2 + 9*o - 7. Let f be b(-9). Let n be r(f). Is n at most as big as -8/11?
False
Let n = -1.3 - -2. Let z = n + -0.1. Is z smaller than -1/4?
False
Let v = -0.7 + 6.7. Let w = v - 5.92. Let m = w + 1.92. Is m at least 1/2?
True
Let s = 1.16 - 1.12. Is s less than -2?
False
Let a = -1 + 1. Let t = 15.9 + -16. Let y = t - a. Is 1/4 less than or equal to y?
False
Let a = -21 - -46. Let k = a + -17. Suppose 4*m = i + i - k, -5*i = -10. Is m bigger than 0?
False
Suppose 4 + 0 = 2*m, 0 = 3*c + m - 14. Suppose i + 0*i - w = 8, 2*w + c = 0. Is i at most 5?
False
Let n(c) = -11*c - 18. Let u be n(-2). Suppose 2*s - 13 = 3*w, -4*s + 5*w = -9 - 16. Which is bigger: s or u?
s
Let p be (-2*(-27)/(-36))/((-21)/4). Is p <= 2/27?
False
Let i(d) = d**2 + 3*d + 2. Let f be i(-2). Which is greater: 2/57 or f?
2/57
Let h = 2.6 - 1.4. Let b = -1.4 + h. Which is smaller: -8/3 or b?
-8/3
Let u be 14 - 3/3*-1. Let d be ((-2)/8)/(u/(-36)). Is d greater than 0?
True
Suppose -4*a - 3*y = 0, 0 = 2*a - 3*a + 2*y. Let s = 5352/7 + -6274/7. Let c = s + 132. Do c and a have the same value?
False
Let a = 11.1 + -8.1. Which is greater: -0.2 or a?
a
Let u = -69 - -194. Let b = -775 + 4502/5. Let r = u - b. Which is greater: 1 or r?
1
Let g be ((-3)/6)/(1/10). Let n = g + 4. Let o be 32/14 + (-2)/1. Which is smaller: o or n?
n
Let l = 0.014 + -2.954. Let b = 0.05 + -0.11. Let t = b + l. Which is smaller: 1 or t?
t
Let s be 1/((-8)/10 + 1). Let c(u) = u. Let j be c(5). Is j bigger than s?
False
Let w = 5.2 + -5.5. Which is smaller: w or -15?
-15
Let y = 0.36 + 1.72. Let m = 0.08 - y. Let t = m - 0. Is -2 > t?
False
Let t = -0.17 + 0.27. Let i = 117/124 - 6/31. Is t less than or equal to i?
True
Let h = 0.66 + -0.06. Let a = h + 0. Let f = -0.6 + a. Is -6 at most f?
True
Let b = 12 - 16. Is b < -4?
False
Suppose -3*g + 9 = x + 3*x, -x - 15 = -5*g. Is x less than -12/11?
False
Let b = -6 + 6. Is 1/26 != b?
True
Let p = 120 - 1562/13. Let r(o) = o - 9. Let y be r(11). Suppose y*h - 3*l - 20 = 2*l, 16 = 4*h - 4*l. Which is bigger: p or h?
h
Let c = 242.98 + -250. Let o = -7 - c. Which is smaller: o or 2/5?
o
Let t(u) = u + 1. Let x be t(0). Let i = -1 + 0. Let z = i + x. Is -1/4 at most as big as z?
True
Let z = 0 - 1. Let w be ((-12)/(-4))/(2 - 1). Is z at least as big as w?
False
Suppose -2*m = 2*m - 8. Suppose 4*q = -3*o + 3, o + 4*q = -o + m. Which is bigger: -1/8 or o?
o
Let s = 2 + -1. Let n = 1/15 + 4/15. Which is greater: n or s?
s
Let k be 1*(5 + -3) - 0. Let q be (-4 + 3 + -3)/k. Is -2 greater than q?
False
Suppose 0 = -0*x + 3*x - 15. Suppose -5*w = -0 - x. Suppose 0 = 116*n - 122*n + 18. Is w at least n?
False
Let j = 0.47 - 0.47. Which is greater: -3.9 or j?
j
Let p(o) = -o**3 + 7*o**2 + 9*o - 11. Let q be p(8). Let b(i) be the first derivative of -i**2/2 - 2. Let r be b(q). Is r equal to -1?
False
Let k = -11/49 - 767/294. Is -3 >= k?
False
Let q be (-7)/(-7)*(-2 - -1). Let h = 334/763 + -1/109. Is q bigger than h?
False
Let f be 3/6 - 3/6. Which is bigger: 3/5 or f?
3/5
Suppose -2*x + 12 = 8. Let w = 1/61 - -178/305. Which is smaller: w or x?
w
Let m(i) = -i**3 - 4*i**2 - 4*i + 1. Let f(x) = x - 10. Let a be f(7). Let r be m(a). Is r < 4?
False
Let s(r) = 3*r + 4. Let c be s(4). Let p = c - 24. Let n = 7 + p. Which is smaller: n or 2/13?
n
Suppose -5 = z - 5. Let i be ((-2)/2)/(31/2). Which is greater: z or i?
z
Let k = -1 + 2. Let v = k + 0. Let g = -13.5 + 13.8. Which is greater: g or v?
v
Let c(v) = -v**3 + 5*v**2 + 4*v + 10. Let p be c(6). Which is smaller: -14/11 or p?
p
Let s(n) = -n**3 + 4*n**2 - n - 4. Let a(x) = -x**2 - x + 13. Let o be a(0). Suppose 5*d - o = -2*b, 0*d + 3*b = -d. Let v be s(d). Which is bigger: 1 or v?
v
Let q be (-1)/1*(-1)/(-1). Let r = -995 + 9929/10. Let m = r - -8/5. Which is bigger: m or q?
m
Let b be 354/(-1386) + 4/14. Are b and -1 unequal?
True
Suppose t + 3*t = 3*v + 3, 0 = 3*t - 4*v + 3. Suppose -h = -t*h. Do h and 3/2 have different values?
True
Suppose -2*r - 2 = 3*u, -2*r - 7*u + 2*u - 10 = 0. Is r bigger than 5?
False
Let x = -59 - -128. Suppose s + 5 = n, 0 = -5*n - 3*s - 4 + x. Let k be ((-1)/n)/((-1)/2). Which is greater: -1 or k?
k
Let v = -8 - -11. Let g = -5 + v. Is 2 less than or equal to g?
False
Suppose -4*h - 4*j = 12, -h + 3*j - j + 9 = 0. Suppose -1 = o + h. Is o at least -2?
True
Let s(l) = 5*l - 7. Let v(r) = 4*r - 6. Let w(m) = -2*s(m) + 3*v(m). Let b(c) = -c + 5. Let p(k) = -3*b(k) - 2*w(k). Let j be p(-8). Which is bigger: -1/4 or j?
j
Suppose 11*s - 1 = 12*s. Is s less than 3/7?
True
Let q be 26/3 - 3/(-9). Suppose 3*w - 3*f = 9, -4*w + q*f = 4*f - 17. Let l be w + 4 + 2/(-2). Is l < 1?
False
Let a = -106 - -110.3. Let b = a + -4. Let j = -1.3 + b. Whi