han or equal to 0.1?
True
Let j = -49 + 345/7. Let l = 1 + -2. Let a = 1 + l. Are j and a unequal?
True
Suppose 4*i = -l + 33, -i + 12 = -0*l + l. Is 0.1 at least i?
False
Let u(m) = 2*m**3 + 3*m**2 - 5*m - 10. Let v be u(-3). Is -22 less than v?
False
Let a be (-3 - -1) + 36/17. Let u(v) = v + 4. Let j be u(-5). Is a < j?
False
Suppose 5*s + 3*n + 9 = 0, -9 = s + 3*n - 6*n. Let r = 6 + -3. Suppose 0*f - 3 = -r*f. Are f and s equal?
False
Let v = -0.2 + 0.1. Let k = 34.1 + -44.1. Which is smaller: v or k?
k
Let b = -1/4856 + 190599/4856. Let w = 39 - b. Does 0 = w?
False
Let u = 76 - 76. Let m(s) = -10*s + 3. Let a be m(2). Which is greater: u or a?
u
Let c = -266 - -797/3. Suppose -g + 3*t + 0*t + 2 = 0, -2*g + 4 = t. Suppose -g*r = 3*r. Are c and r unequal?
True
Suppose 2*x - 14 = -4*p, 0*p + 5*p = -5*x + 25. Which is smaller: 1 or p?
1
Let g(y) = -y**3 + y**2 - y - 2. Let o be g(-2). Suppose o = -3*k, 0 = -3*w - k - 2 + 4. Is 2 at most as big as w?
True
Let y be 3/(-18)*-16 - 3. Are y and 1 equal?
False
Suppose 3*p - 2*p = l - 6, 2*l = -5*p + 5. Let g be ((-4)/10)/(2/(-50)). Suppose 0 = -3*q - 4*a - 8, 4*a + a + g = -5*q. Is q not equal to p?
True
Suppose 4*a - 5 - 3 = 0. Let p = 60 - 57. Which is greater: a or p?
p
Let s = 11212/543 + 10/543. Let w = s + -83/4. Are w and 0 unequal?
True
Let l be 4/(-1) - (-450)/115. Which is smaller: l or 2/11?
l
Suppose -4 - 11 = -5*u. Suppose -13 - 5 = -u*y. Suppose y*o = o. Which is greater: o or 2/17?
2/17
Let p = 8 - 6. Suppose p*m + 9 = -s, 0 = -s - 2*s + 3*m + 9. Which is smaller: -1/3 or s?
s
Let k(n) = n**3 - 9*n**2 - 3. Let i be k(9). Suppose -5*m = 2*o + 6, 3*m + 2*o - 1 + 3 = 0. Is m less than i?
False
Suppose 43*b = 39*b + 8. Let n be (-2 - 0) + (-8)/(-3). Is b smaller than n?
False
Let c(o) = o - 10. Let p be c(0). Let s = -7 - p. Suppose -4*t - 15 = s*j - 0, 5*j - 3*t = -25. Does j = -5?
True
Let m = 0 + 2. Let h = 3 - m. Which is greater: h or 0?
h
Let k be 4/6 + (-25)/45. Let v(p) = -p**2 - 5*p. Let r be v(-5). Are k and r equal?
False
Let p = 2 - 5. Let k = 10 - 14. Is p at least k?
True
Let c be (-3 - (-2 + 0))*-4. Suppose 5*k = -2*o + 14, -2*k - k = c*o. Suppose 0 = -k*u - 15 - 5. Is -5 equal to u?
True
Let c = -8838/2765 - 2/553. Which is greater: c or -3?
-3
Let s be ((-8)/(-36) + (-2)/(-396))/1. Is 1 less than or equal to s?
False
Let n = 89 + -533/6. Which is bigger: n or 0?
n
Let s(u) = -u + 6. Let x be s(6). Let m = x - -1/10. Is 1 at most m?
False
Suppose 0 = -5*o + 7 + 8. Suppose 0 = b - 5*d - 3, -11 = o*b - 3*d + 16. Let k be 10/4*b/195. Is k bigger than 1?
False
Suppose 2*f = -2*f, -3*z = 3*f - 3. Let n = 4 + 2. Let h be (n/14)/(-2 + 1). Which is smaller: z or h?
h
Let k be (2/2)/((-2)/2). Suppose 3*w = 6*w - 8*w. Are w and k nonequal?
True
Let j be -1*(-2 + 3)*0. Do -1/2 and j have different values?
True
Let p(g) = -4*g**2 + 3*g. Let z be p(2). Let r be (-2)/z + (-9)/(-5). Suppose -y = -r*y. Which is bigger: -1/11 or y?
y
Let d(r) = -7*r**2 - 35*r - 9. Let u be d(-6). Which is greater: -50 or u?
-50
Suppose -5*d = -4*d - 1. Let b(a) = a**2 - 3*a + 3. Suppose 3*j + 0*j = 6. Let v be b(j). Is d greater than or equal to v?
True
Let c = 29/10 + 3/5. Suppose 24*g - 14 = 106. Which is bigger: g or c?
g
Let a(m) = 15*m - 1. Let v be a(6). Let l = v - 1159/13. Is 1 greater than or equal to l?
True
Suppose 4*k + 1 = 5. Let v be k/(-2)*4*3. Let x = -10 - v. Is -4 at least x?
True
Suppose 4*j = -95 + 35. Is j > -46/3?
True
Let h(z) = -z - 1. Let o be h(-3). Suppose o*f - 1 - 1 = -4*p, 0 = 3*p - 3*f - 24. Suppose 3*l - t + 4*t = -3, -1 = p*l + 2*t. Which is bigger: -1/7 or l?
l
Let t(b) = -b + 13. Let i be t(10). Suppose -25 = -5*k - p, -4*k = 4*p - 17 - i. Which is smaller: 6 or k?
k
Let u = 16 - 8. Let o = u - 12. Let v = 4 + o. Which is bigger: -2/5 or v?
v
Let a = -16 - -35. Is 19 less than a?
False
Let r = -40/11 - -109/33. Is -5/4 at most r?
True
Suppose q + 3 = 2*l, -4*l + 9 = -2*q + q. Suppose 4 + 4 = -2*v, -l*x - 5*v = 47. Are -9 and x unequal?
False
Let h be (4/20)/(8/(-10)). Which is bigger: -7 or h?
h
Let t be -1 - -2 - -1*5. Let u be t*((-2288)/54 + 1). Let v = 248 + u. Which is greater: -1 or v?
v
Let g = 6 + -8. Let l be 9*((-4)/(-2))/(-20). Let m = l + 2/5. Which is smaller: g or m?
g
Let q(r) = r**3 + 4*r**2 + 2*r - 4. Let v be q(-3). Is v at least as big as 0?
False
Let f = 62 - 39. Suppose -r = -5*h + 19, -4*h + 7 = -3*r - 6. Suppose 4*o + o = -w - f, -h*w = -3*o. Do w and -1 have the same value?
False
Let g(s) = -s**2 + 6*s + 8. Let q = 8 + -1. Let a be g(q). Let c be (-33)/(-27) + 4/(-18). Is c <= a?
True
Let q = 9 + -6. Let p = -10 + q. Is -0.1 at most p?
False
Let i = -3 + 4. Let d be -3 - (3 + 10/(-2)). Let k be d + 4 + (-61)/21. Which is bigger: k or i?
i
Let y = 7/85 + 2/17. Suppose -3*a + 0*a + 15 = 0. Suppose 2*s - a = 7*s. Which is smaller: s or y?
s
Let x = -23 + 23.2. Which is smaller: 13 or x?
x
Let h be 4 + 140/(-16) - 0/5. Which is smaller: h or -4?
h
Suppose -5*h - 6 = -8*h. Is h <= 8/7?
False
Let g be (4/(-6))/(16/(-30)). Let r = 18 - 16. Which is greater: r or g?
r
Let l = -6.2 + 6.35. Is l less than -0.1?
False
Let m = 143/5 + -29. Suppose 0 = 3*l - 4*o - 20, 0*l - l + 5*o + 14 = 0. Which is bigger: l or m?
l
Let t = 13 - 12. Which is smaller: t or -5?
-5
Let f(p) = -2*p - 33. Let x be f(-16). Let y = -1/35 + 6/35. Is x not equal to y?
True
Suppose -99 = 2*s + 95. Let f = s - -871/9. Is f smaller than -1/3?
False
Let o be 2/7 - (-91)/(-147). Which is smaller: 2 or o?
o
Let n be 2 - ((-30)/4)/(-5). Let c = -1 - 1. Let j = c + 1.9. Which is greater: n or j?
n
Let j(z) = z + 7. Let n(g) = 3*g + 3. Let k be n(-3). Let y be j(k). Let c = -105 - -837/8. Which is smaller: c or y?
c
Let v be 16/(-6) + 4/(-12). Let j = v - -5. Let o(w) = w + 1. Let t be o(j). Is 2 equal to t?
False
Let y(w) be the first derivative of -w**2/2 + 10*w - 8. Let i be y(9). Which is greater: i or -20?
i
Let s(m) = m**2 - 6*m + 4. Let f be s(3). Let t be -1 + 1 + (-2)/f. Is t equal to -1?
False
Let c = -93 - -91. Which is smaller: c or 10?
c
Let r = 1 - -1. Let s be 2 + -2 + 2 + -1. Which is smaller: s or r?
s
Let i = -252 - -120. Are i and -132 equal?
True
Let i be 2/(2 + (-4 - -3)). Let p = i - 8. Let g be 9/p - 2/4. Is g >= -2?
True
Let u be 1 + -1 - (-1 - -8). Let v = u - -11. Let f = 0.2 + -0.1. Is f greater than v?
False
Let l be (0 - 0/1) + 2. Suppose -l*y = -y. Are y and 2 nonequal?
True
Suppose z + z = 0. Let o = z + 0. Suppose -4*c - 2 = -2*c. Is c <= o?
True
Suppose 0 = 23*a - 29*a. Is a < 4/9?
True
Suppose -2*z - 9 = 3*i, -i - 5 = -0. Let p = z + -1. Suppose -l = p - 0. Which is bigger: -1 or l?
-1
Suppose -l - 4*n - 8 = 0, -2*l - 2*l = -n - 19. Which is bigger: l or 13?
13
Let s = 3 - 2.96. Let q = s + -2.04. Let b = q + 1. Is b < 1?
True
Let f be (4 + 0)/(1/(-1)). Let i = 6 + f. Suppose 5*j = i*j + 3. Which is smaller: -1/3 or j?
-1/3
Let z = -27 - -295/11. Suppose 0 = -i + 14 - 4. Suppose -i + 9 = x. Which is bigger: z or x?
z
Let b be 2/4 + (-5 - -3). Let j be (-6)/(((-2)/2)/(-1)). Let i be -3 + (j/(-3) - 0). Is b at most as big as i?
True
Let k = -13 + 16. Let j = 15 - 11. Let v = k - j. Does -1 = v?
True
Let y = 3 - 3. Suppose -z + 1 = -0. Which is smaller: y or z?
y
Suppose g + 3*g - 2*r - 4 = 0, 0 = -3*g - 3*r - 15. Let u be -1 - (-1 + (g - -1)). Is -1 < u?
True
Let i be (2/8)/(27/54). Let w = -0.8 + -0.2. Let s = w - -0.7. Are s and i non-equal?
True
Suppose o + o - 4*a - 22 = 0, -4*a - 23 = -3*o. Let r be (o/10)/((-3)/(-6)). Which is smaller: 1 or r?
r
Let g be 30/10*(-1)/3. Is g >= -3/5?
False
Let r = -77 + 173. Let k be (-6)/(-27) + r/(-189). Which is smaller: k or -1?
-1
Let q be 4/(-6)*(-3)/2. Let p be (-6)/(-26) + -1*(3 + -3). Is q smaller than p?
False
Let s = 345 - 5173/15. Which is smaller: 1 or s?
s
Suppose 33*l - 10*l = -11*l. Suppose 1 = 5*b + 4*h, 3*b = 3*h + 7 - 1. Which is bigger: b or l?
b
Suppose -w - 4 + 9 = 0. Suppose -4*c + 41 = 5*j - 0*c, -12 = -4*j + 2*c. Suppose -2*u + j = 1. Which is smaller: u or w?
u
Suppose 8*p - 85 = 3*p. Suppose 0*v = 5*k + v - 2, 0 = -2*k + 5*v + p. Is k at most 2?
True
Suppose 4*s = -s + 20. Let t = -9 - -11. Let c be (s/(-5))/(-4)*t. Is c less than 1?
True
Let c(y) = y - 8. Let p be c(5). Let g = -2 - p. Is g