t m be n(7). Let v be m/(-2)*(-8)/42. Is 0 bigger than v?
False
Let i be 1 + (1 - 416/108). Let r = i - -14/27. Is r smaller than 0?
True
Let s(f) = -2*f**2 + 6*f. Let n be s(3). Suppose 12*i = 7*i - 15. Are n and i non-equal?
True
Let g be 387/(-5) + 2/5. Let j = g - -304. Let o = j + -1583/7. Which is greater: 1 or o?
1
Suppose 2*p - 9 = -p. Suppose 32 = 7*g - p*g. Which is greater: g or 6?
g
Let l(j) = 2*j**2 + 3*j + 2. Suppose 3*t + 0*t = -3. Let v be l(t). Which is smaller: v or -1/3?
-1/3
Let z = 0.4 + -8.4. Let r = z - -6. Let c be (-2)/(-2) - (-36)/(-30). Is r smaller than c?
True
Let m = 30 + -57. Which is smaller: -28 or m?
-28
Let v be -3*(-3)/9 - 0. Let s be -3 + v + 1*2. Is -1 != s?
True
Let s be (26/(-65))/((-8)/10). Which is smaller: s or 1/8?
1/8
Let f(p) = -p**3 - 9*p**2 + 9*p - 10. Let c be f(-10). Let w be ((-2)/(-4))/(3/(-4)). Is c < w?
False
Let w = -851/7 + 122. Is w at least as big as 0?
True
Let x be (-2)/(-8) - 2/(-8)*1. Which is smaller: -3/5 or x?
-3/5
Let z(p) = -p**3 + 5*p**2 - p + 6. Let o = -12 + 17. Let a be z(o). Which is bigger: a or -0.02?
a
Let z(p) be the second derivative of -p**4/12 + 5*p**3/6 - 5*p**2/2 + p. Let a = 1 - -3. Let d be z(a). Is d at least -1?
True
Suppose 0 = -5*b - 130 - 160. Let v = b + 233/4. Let l = -4 - -4. Is l greater than or equal to v?
False
Let x(n) = n**3 - 6*n**2 + 5*n + 6. Let k be x(5). Let f = k - -3. Is f >= 10?
False
Suppose -5*f + 23 = s - 4*s, -4*f = -3*s - 22. Let z(h) = h**3 + 5*h**2 - 7*h - 6. Let w be z(s). Which is greater: w or -2/11?
w
Let f(z) = 12*z - 95. Let i be f(8). Are i and 1/46 unequal?
True
Suppose 0 = -g - 1 - 1. Let l = -403/3 - -132. Which is smaller: l or g?
l
Let m = -9 + 21. Let i(u) = -u**2 + m - 4*u + 0*u - 8. Let d be i(-5). Is 2/9 equal to d?
False
Let m = 6.1 + 1.9. Let z = m - 4. Let f = 0 + z. Is -1 >= f?
False
Let f be (-1)/1 + 316497906/(-315). Let n = f + 1004836. Let x = 403/5 - n. Do 1 and x have the same value?
False
Let t be 2*2/((-1168)/(-2)). Let d = t - 445/1022. Let m = -3 - -1. Which is smaller: m or d?
m
Let x = 16 + -17. Let i be (3/(-27))/(x + -1). Is i greater than -1?
True
Suppose t = -r, r + 4*r + t = 12. Let j = -81 - -84. Do r and j have the same value?
True
Let w(z) = -z**3 - 3*z**2 + 3*z + 2. Let k be w(-3). Let x = 9 + k. Let p be (1/x)/(2/(-24)). Which is smaller: -7 or p?
-7
Let i be -12 - (-1 + 4)/(-1). Let l = i + 5. Which is smaller: -3 or l?
l
Suppose 0 = -z - 5*h - 9, 0 = -4*z + 4*h + 36 - 0. Are z and 4 equal?
False
Let j(k) = 2*k**2 + 2*k - 1. Let d = 3 - 5. Let m be j(d). Let v = m - 2. Which is smaller: v or 0?
0
Suppose 1 + 4 = -i. Let o = i + 5. Is -3 less than o?
True
Suppose -u - 4*h - 17 = 0, 4*u + 125 = h + 2*h. Is -29 <= u?
True
Suppose 0 = 2*r - 7*r - 5. Suppose 4*j + 7 = -1. Let x be (j/18)/((-2)/4). Are r and x non-equal?
True
Let y = -7 - -8. Let z = -14.7 - -14. Let p = z + y. Which is smaller: p or -2/9?
-2/9
Let z be (-4)/(-18) - (-1750)/(-18). Let r = z + 222. Let w be (5/r)/(2/(-15)). Are 0 and w equal?
False
Let v be (-31)/6*2660/50. Let h = -275 - v. Is h smaller than 1?
True
Let k = -0.7 - -0.8. Let g be (8/144)/(1/(-4)). Which is smaller: g or k?
g
Let j = 1 - 1. Suppose 1 = q - j. Let h(c) = -c**2 - 3*c + 2. Let t be h(-3). Do q and t have the same value?
False
Let d be (-129)/(-12)*3 - 3. Let h = d + -31. Is h >= -1?
False
Let h(p) = 5*p + 25. Let z(f) = -f - 5. Let b(t) = 2*h(t) + 11*z(t). Let r be (1/2)/(4/(-48)). Let w be b(r). Which is smaller: -1 or w?
-1
Let b be ((-2)/2)/(11/99). Is b not equal to -6?
True
Suppose 7 = o - 6*o + 3*c, -3*c + 12 = 0. Does o = 3?
False
Let r = -7.3 - -6.3. Is r bigger than -38?
True
Let l(s) = -s**2 - 6*s - 1. Let r be 3/(-2) + 10/4. Let v = r - 7. Let a be l(v). Which is smaller: a or -6/7?
a
Let r be (-4 - -2)/(1/7). Let j = r - -12. Let b be 11/(-7) - (-3)/3. Is b greater than j?
True
Let i be 1/2*18/(-147). Let o = i - -61/196. Suppose 5*z + 0*r - 3*r - 15 = 0, 0 = -2*z + r + 5. Which is smaller: z or o?
z
Suppose 0 = -2*u - 1 - 3. Let x = u - -1. Is x not equal to 1/12?
True
Suppose 4*b = -0*b + 8. Suppose 3*x - 7 = b*x. Suppose 3*y + 3*c = -2*c - x, 4*y + 4*c = -4. Is -1/4 not equal to y?
True
Let g = -926/33 + 28. Suppose -2*l + 1 = 3. Is l not equal to g?
True
Let c be ((-2)/5)/(93/15). Let m = -61/496 + c. Which is greater: 1 or m?
1
Let j be ((-5)/58)/(2/8). Let c = j - -88/87. Let v = -4 - -6. Which is greater: c or v?
v
Let i = -5 - -8. Suppose 3*f = 0, f - 1 = -4*m + 3. Which is smaller: m or i?
m
Let k = 4 + -3. Let w = 229/56 - 35/8. Which is greater: k or w?
k
Let j(f) = -f**2 - 12*f - 15. Let o be j(-11). Let n(t) = -t**2 - 3*t + 4. Let u be n(o). Is u < -1/4?
False
Let l = -8 - -5. Let v = 3.1 + l. Suppose 0*j = j - 1. Which is smaller: v or j?
v
Let k be 2/5 + 108/(-20) + 4. Which is greater: 2/85 or k?
2/85
Let c(l) = l**3 + 9*l**2 + 7*l - 6. Let g be c(-8). Let y be ((-25)/2)/(-5) + -1. Is y at least g?
False
Let t be 38/14 - (-2)/7. Let o = -3 + t. Is 1.2 greater than or equal to o?
True
Suppose 0 = g - 0*g - 6. Let i be 20/35*g/8. Which is greater: -1 or i?
i
Let d(l) = l**3 + 17*l**2 + 12*l. Let j be d(-8). Suppose p + 209 = 2*n - 2*p, p = -5*n + j. Let z = n + -773/8. Are z and 0 unequal?
True
Suppose -5 = 5*p - 0*p. Let m be (-3 + 2)*(-1 - p). Suppose 0 = -m*h + 2*h + 4. Is 2 <= h?
False
Let l = -87 - -1137/13. Which is smaller: 1 or l?
l
Let q(t) = 7*t. Let p be q(0). Which is bigger: 12/11 or p?
12/11
Let b(t) = -t + 12. Let o be ((-5)/2)/((-1)/4). Let q be b(o). Let y be (5 + 0)*(1 - q). Which is bigger: -4 or y?
-4
Let w = -8 + 6. Let h = 8 + w. Let a be (h/(-10))/((-3)/(-2)). Is -1 smaller than a?
True
Let p = -2.2 - -0.9. Let w = p + 0.3. Let y = w - -0.6. Which is greater: 1 or y?
1
Let x be 14/35 + 2/(-5). Suppose x = c + 2*c. Which is bigger: c or 2/43?
2/43
Suppose -n = 2*q - 14, -3*q + 26 = 4*n - 5. Let f(p) = p**2 + 7*p + 9. Let o be f(-6). Which is bigger: q or o?
q
Suppose 0 = 28*j - 9*j - 19. Let l = -11552/33 + 350. Are j and l equal?
False
Let i(q) = -7*q**3 - 4*q**2 - 10*q + 2. Let v(y) = -8*y**3 - 4*y**2 - 11*y + 3. Let f(p) = -7*i(p) + 6*v(p). Let x be f(-3). Is x smaller than 2?
True
Let i = -7 - 1. Are i and -6 equal?
False
Let j = -2/637 + -1256/5733. Which is smaller: j or -1/11?
j
Let a be 3/(15/(-50))*(-4)/10. Suppose 0*s = 2*s. Which is bigger: a or s?
a
Let n be (-3)/15*(2 + -4). Let y be -2 + -1 + (4 - 5). Which is bigger: y or n?
n
Let g = -7 + 0. Are 2 and g unequal?
True
Let l(f) = -f**2 - 5. Let w be l(0). Let a(b) be the first derivative of b**3/3 - 5*b**2/2 - 2*b + 2. Let m be a(4). Which is smaller: m or w?
m
Let x be 1/(-2) - (-27)/6. Let u = x + -3. Let g be 0/(-1) - (-10)/(-25). Do g and u have different values?
True
Let w be (3/6)/((-1)/12). Are 0 and w unequal?
True
Suppose -5*u - 4*k = -4*u + 17, k = -4. Let p be (-55024)/38520 - 4/(-18). Let q = p + 2/321. Which is smaller: q or u?
q
Let r = -1.5 - -2.5. Let y = 0.9 + 5.1. Let k = r + y. Do k and 0 have the same value?
False
Suppose -k = -3*d + 6*d - 5, d + 3*k = -9. Let w be (0 + 1)*(0 + 0). Suppose w = 4*r + 4*j - j + 11, 9 = -3*r - d*j. Do r and -2 have the same value?
True
Let k be (-12)/(-3) + -3*1. Let a be 19/3 - 2/6. Let r be (-2)/a + (-21)/(-9). Are k and r unequal?
True
Let l = -67 + 66. Is l at least 1/6?
False
Suppose -2*f = -5*f + 96. Which is smaller: 33 or f?
f
Suppose h - 90 = -2*h. Let u be ((-36)/8)/(h/(-8)). Is u != 1?
True
Suppose -5 = -3*q + 4*q, 3*q + 23 = -4*u. Is -9/10 at most as big as u?
False
Let b = 47 + -46. Let h be -2 + 0 + 16/7. Is h bigger than b?
False
Let p = 118 + -102. Which is smaller: p or 18?
p
Let i(t) = 5*t**2 + 9*t + 11. Let d(n) = -11*n**2 - 19*n - 23. Let h(s) = -6*d(s) - 13*i(s). Let j be h(4). Let r = 5 - 7. Which is greater: j or r?
j
Suppose 8 = -4*w, i + 4*i - 4*w = 8. Which is smaller: -8/41 or i?
-8/41
Let k be -2 - (0 + (-284388)/27). Let i = -1019869/99 + k. Let x = i - 229. Which is smaller: 1 or x?
x
Let t = -2.5 + -0.5. Which is greater: 4 or t?
4
Let r be (-3)/(-5) + 34/10. Suppose -6 = -3*z - 3*s, -r*z + 2*s - s - 2 = 0. Is z smaller than 0?
False
Let i be -1 - (-11 + 3 + 2). Let d = 2 + 3. Is i less than or equal to d?
True
Let g = 30 + -29.66. Let t = g - 0.04. Which i