eater than p?
True
Let n = -4.6 + 5.22. Let w = n + -0.6. Let f = 2.02 - w. Which is bigger: f or -0.1?
f
Let x(v) = v**3 + 7*v**2 - 1. Let f be x(-7). Let l = 3/46 - -7/69. Are f and l non-equal?
True
Let s(b) = 3*b. Let t be s(0). Which is smaller: t or 1?
t
Let h(r) = 2*r - 2. Let m be h(2). Let f be (-21)/(-14)*m/3. Which is smaller: f or 2?
f
Let n = -4 - 20. Let q = 23 + n. Is q less than -0.1?
True
Suppose -5*f = -8*f. Suppose g + 4*g - 5 = 0. Let l = g + -1. Is f <= l?
True
Suppose 3 = -k + 4*k - c, -4*k - 3*c = -17. Let g(s) = -3*s - s**2 - 3*s + s**3 + 5*s**2 - k. Let m be g(-5). Which is bigger: 2 or m?
m
Let w be ((-1)/1)/(-1 - 0). Let f be (-2 + w)/((-6)/(-3)). Let g = -2/17 - -40/51. Is g greater than f?
True
Let w = -3377/27 - -125. Let h = 7/27 - w. Which is smaller: -5 or h?
-5
Suppose 2*h - 3*j = 16, 5*h + 3*j + 2 = -0. Let i = 101/133 - 9/19. Which is greater: h or i?
h
Suppose 5*v = 2*v - 6. Let y(l) = 4*l + l**2 + l + 4 - 1. Let f be y(v). Is -4 not equal to f?
True
Let d = 4 - 2. Suppose i = d*i - 1. Which is greater: -2/3 or i?
i
Let d(t) = t**3 - 4*t**2 - 5*t + 3. Let p be d(5). Let h(a) = a - 10. Let v be h(12). Do p and v have the same value?
False
Let c be (-2757)/4 + (-3)/(-12). Let y be (6/(-10))/(40/45928). Let q = c - y. Which is smaller: q or 0?
q
Let h be (-1)/1*(4 - 5). Let d = -11/63 - 1/9. Are h and d equal?
False
Let y be (1 - 1) + 4/18. Let l(o) = o**2 + 5*o + 3. Suppose 4*d + 2 = -14. Let n be l(d). Which is greater: y or n?
y
Let g = 4 - 4. Suppose -4*m - m = g. Is m equal to 1/2?
False
Let k = 5.09 + -1.69. Is k at least as big as 0.1?
True
Suppose 6 = -3*v + 3. Let n = 262/5 + -52. Are v and n nonequal?
True
Let w = 1.8 + 0.2. Let h = w + -2. Is -2 at least h?
False
Let u(k) = -2*k**2 - 7*k - 5. Let b be u(-5). Let w be 2/4*8/b. Suppose 3 = 2*v + 7, -2*v = 4*d + 8. Is w not equal to d?
True
Let x be (-28)/(-9)*12/10. Let h = -1034/285 + x. Let d(a) = -a**3 - 8*a**2 + 9*a + 1. Let i be d(-9). Is i greater than h?
True
Let k = 9.9 - 10. Which is bigger: k or 3/11?
3/11
Let z = 105 + -736/7. Let q be 0 - (0 + 3/1). Let p be q/(-1) + (-6)/2. Which is smaller: p or z?
z
Let w = 19/2 - 149/14. Is w at most 0?
True
Let v = 1/6 + -2/3. Is 0 at least v?
True
Suppose 2*x = 5*c - 6, -5 = -5*c + x + 3. Let y = 1 - 1. Let o = 1 - y. Is o greater than or equal to c?
False
Let x be (0 + 1 + 21)*(-19 + 18). Is x > -22?
False
Let r = 1.9 - 2. Let w be ((-2)/5)/(1/(-45)). Let g be (2 + (-34)/w)*-2. Is g not equal to r?
True
Suppose 7*g = 2*g + 5. Let k = 8/29 + 55/116. Is k equal to g?
False
Suppose l = -1 + 7. Let k be 9/2*l/9. Let c = k + -4. Which is smaller: -2 or c?
-2
Suppose k + 0*k + 1 = 0. Let q be -4 - k - (-29)/9. Which is bigger: -1/4 or q?
q
Let f = -3 - -3. Let m be (f/2 - -2) + -3. Is -2/7 at least m?
True
Suppose 5*b = 3*b - 2*q - 8, b = -2*q - 8. Suppose -2*d + 3*n - 24 = b, -3*d - 3*n - n - 53 = 0. Is -15 >= d?
True
Let u be -169*(10/(-14) + 0). Let h be (-3)/(-2) - (-717)/6. Let a = h - u. Is -1 < a?
True
Let g be 14/10 + (-2)/1. Let p = -6 - -1. Let s = p - -4. Is s >= g?
False
Let y = 0.74 + 0.16. Let r = -1 + y. Let m = -7 + 1. Which is bigger: m or r?
r
Let z = -0.0308 - -7.0508. Let x = z - 0.02. Let r = 7.3 - x. Is r less than -1?
False
Let u(f) = f**3 - 5*f**2 - 8*f + 7. Let g be u(6). Let d be (-36 - -37)*((0 - -1) + -6). Let k = d - g. Which is smaller: k or 2/3?
k
Suppose 8*m = 22 + 18. Are -6 and m equal?
False
Let b = -65 + 67. Is 14/19 at most b?
True
Let h = 0.2 - 0.1. Do h and 1 have the same value?
False
Let w(f) = -f - 2. Let b be w(13). Is -15 <= b?
True
Let m(v) = -v**2 + 3*v + 12. Let q be m(5). Let o = -3 - -2. Let s = o + 2. Which is greater: q or s?
q
Let r = -41 - -42. Is r bigger than -3/52?
True
Let h = 16 - 15.7. Let u be (9/2)/((-3)/(-54)). Let c = 565/7 - u. Do c and h have the same value?
False
Let t be (1 - 1)/(21 + -23). Suppose t = -2*n + 6*n + 32. Suppose 4*w = 2*w - 14. Which is smaller: w or n?
n
Let m = 10 - 5. Suppose 9 = -m*z - 6. Let a be (2/6)/(z/(-9)). Which is smaller: a or 1/2?
1/2
Let z = 15/2 + -8. Let g = 0.19 - 0.2. Which is smaller: z or g?
z
Let y = 8 + -14. Let c = -4 - y. Which is smaller: c or 7/6?
7/6
Let d(q) = q. Let b = 1 + -2. Let k be d(b). Let f = 0 - k. Is f > 2/9?
True
Let y = -2 + 2. Suppose b + 3*d - 21 + 3 = y, 4*b + d = 50. Let x be 2/1 + b/(-4). Which is smaller: -2 or x?
-2
Let s be (-16)/90*174/4. Let f be (-2)/(-7) + 444/63. Let n = f + s. Which is smaller: -1 or n?
-1
Let z(b) = -b**3 + 6*b**2 + 3*b - 18. Let y be z(6). Which is greater: y or 2/3?
2/3
Let i = 15 + -16. Which is bigger: 2/27 or i?
2/27
Let f = -0.15 + 1.35. Let n = 0.2 - f. Which is smaller: n or 2?
n
Let v = 14 - 8. Is 1 >= v?
False
Suppose 0 = -12*d + 10*d + 2. Is d equal to 3?
False
Let w = 12 - 5. Is 1 <= w?
True
Let c = -5 - -1. Which is bigger: c or 1/7?
1/7
Let l = -13 - -12. Which is bigger: -1/11 or l?
-1/11
Let p = -3609/14 + 258. Is p at least 1?
False
Let i be ((-1)/2)/(7/98). Is -5 less than or equal to i?
False
Suppose -3*o = -o + 8, -r - 5*o - 24 = 0. Let l be (7 + (3 - 0))/2. Let d = r + l. Do d and 2/7 have different values?
True
Suppose -4*s + 5*s - 2 = 0. Let i = -1 - -2. Which is greater: i or s?
s
Let x = -8 + 7.9. Let z be 6/27 - (-53)/(-36). Does x = z?
False
Let p = -1/13 + -23/39. Let g = -2.9 + 0.9. Is p greater than or equal to g?
True
Let u be (-20)/14 + (-6)/(-14). Are 3/5 and u non-equal?
True
Suppose 2*t - 8 = -2*z - 0, t = 0. Suppose -g - g + z = 0. Suppose 2 = 2*h - 0. Is h less than g?
True
Let x(f) be the third derivative of -f**6/120 + f**5/60 + f**4/24 + f**3/6 - 2*f**2. Let i be x(-1). Let t = 0.97 + 0.03. Does t = i?
False
Let w = -0.8 + -0.3. Which is smaller: w or 1?
w
Let s be (-1)/3 - -2*30/168. Which is smaller: 0 or s?
0
Let w be (-1)/(-2) - (-72)/16. Suppose w*r = -2*m - 9, -m - r + 3 = m. Which is smaller: m or 2?
2
Let i be 38/10 + (-4)/(-20). Suppose 0 = -t - i*w + 22, -w = -3*t + 2 - 1. Suppose y = 3*q + 5 + 3, -t = -y. Is -2 equal to q?
True
Let a be (82/6)/(42/63). Is 21 > a?
True
Let p be 5/15*6 + -5. Which is smaller: 0 or p?
p
Let o(x) = -x**3 + 7*x**2 - 5*x - 5. Suppose 5*t - 24 = -0*t + 2*n, -4*t = -3*n - 15. Let s be o(t). Is 4/3 at least as big as s?
True
Let o be (-5)/2*-1*2. Suppose o*b - d = 3 + 3, -5*b + 2*d = -7. Is -1 <= b?
True
Let c be 1/(-4) - (-5)/4. Suppose 305 = 5*i - 5*h, -3*h - 2 = -h. Let x be (-8)/40 + 2/i. Is x less than c?
True
Let f = 5 + -1. Suppose -f*l + 0*l = 0. Let n be (-3)/4 - (-9)/12. Is n at least l?
True
Suppose 0 = 2*c - 4*c. Is c smaller than 2/3?
True
Let o be (-1)/(-3)*(1 - -1). Let i(g) = -g**3 + 7*g**2 - 7*g + 7. Let z be i(6). Is o at least as big as z?
False
Let o be (-10)/8*(-4 - 0). Suppose -2*h + o*i = -5 - 10, i = -2*h - 3. Suppose -4*q + 2*d + 1 = 3*d, h = -3*q + 5*d - 5. Is 4 greater than or equal to q?
True
Suppose 0 = -2*g - 8, 4*g = 3*h + 7*g + 3. Suppose -h*t = t - 32. Which is smaller: t or 6?
6
Let v be 172/16 + -6 + -5. Let y(l) = -3*l + 2*l - 6 + 2*l. Let c be y(6). Which is smaller: v or c?
v
Let j = 8 + -7.4. Let q = j - 0.4. Which is smaller: -2 or q?
-2
Let n be (63/30)/1 - -1. Let w = -13/5 + n. Is w > 2?
False
Suppose 4*n + 5 = 1. Let c(p) = -3*p. Let b be c(n). Suppose -b*a = 3 - 9. Which is bigger: 0.1 or a?
a
Let o be 1 + -5 + 66/16. Let v = -63/2 - -32. Is v at least as big as o?
True
Let j = -7 - -4. Let k(q) = q**3 + 8*q**2 + 7*q + 1. Let s be k(-7). Suppose -3 + s = r. Is r at most as big as j?
False
Let m = 36 - 37. Is m equal to 0.03?
False
Suppose 0*c + 3*c - 15 = 0. Let g = -7 + c. Does -2/3 = g?
False
Let z = -0.4 + 1.7. Let a = -4.7 - z. Which is smaller: -0.1 or a?
a
Let p = 16 - 2. Is p bigger than 14?
False
Let f = 3.7 - 3.7. Is -2/3 smaller than f?
True
Let p = -6 - -12. Let c be p/8 + 12/(-16). Suppose 4*q + 5*g - 61 = c, q + g - 5*g + 11 = 0. Which is bigger: 8 or q?
q
Let i = -12/127 + 1099/10287. Is i bigger than 0?
True
Let p be ((16 + -1)*-1)/14. Let i = p - -4/7. Which is bigger: i or -1?
i
Let m(k) = -8*k**2 - 4*k - 4. Let g be m(-2). Which is smaller: -30 or g?
-30
Let w(d) = d**2 - 28. Let h be w(6). Is -5 equal to h?
False
Let r be 38/(-6) - 4/(-12). Let d(o) = o**3 + 7*o**2 + 6*o - 2. Let k be d(r). Let q(x) = x - 1. L